outcomeA generated note a person changed refuses the regeneration and keeps the edit
spec:consumers.obsidian-vault.changed-note-refusedPacks: pack:obsidian-vault-v1, pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/consumers/obsidian-vault.changed-note-refused.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
an extraction root holding a Pack and its member Specs, among them {member: "spec:probe.member"}
a vault whose generated folder holds {generated: "the files an earlier run wrote"}
the vault holds {extra: "a generated note a person changed"}
the member {change: "stays in the corpus"}When
the vault command runs at that root
Then
the run exits {exitCode: 1}
the run refuses the path {refusedPath: "sdp/specs/probe/spec.probe.member.md"} as {refusal: "changed"}
every file the person wrote is byte-identical: {personFilesKept: true}Composing needs the script.
Intent
- Execute the guard on a generated note whose bytes a person changed after the command wrote it.
Behavior
Examples
Given an extraction root holding a Pack and its member Specs, among them {member: "spec:probe.member"}
Given a vault whose generated folder holds {generated: "the files an earlier run wrote"}
Given the vault holds {extra: "a generated note a person changed"}
Given the member {change: "stays in the corpus"}
When the vault command runs at that root
Then the run exits {exitCode: 1}
Then the run refuses the path {refusedPath: "sdp/specs/probe/spec.probe.member.md"} as {refusal: "changed"}
Then every file the person wrote is byte-identical: {personFilesKept: true}Verification
Verifier bindings
- test:protocol.consumers.obsidian-vault.changed-note-refused · anchored · test anchor binding present ·
test/vault-examples.test.ts:674External run evidence from
test/vault-examples.test.tsTest anchors:
test:protocol.consumers.obsidian-vault.bases.views-match-sources,test:protocol.consumers.obsidian-vault.changed-note-refused,test:protocol.consumers.obsidian-vault.failed-extraction-keeps-notes,test:protocol.consumers.obsidian-vault.failed-extraction-recovered,test:protocol.consumers.obsidian-vault.fresh-vault,test:protocol.consumers.obsidian-vault.hidden-file-refused,test:protocol.consumers.obsidian-vault.interrupted-run-recovered,test:protocol.consumers.obsidian-vault.iteration.watch-rewrites-changed-notes,test:protocol.consumers.obsidian-vault.iteration.watch-source-anchor,test:protocol.consumers.obsidian-vault.notes.case-collision-refused,test:protocol.consumers.obsidian-vault.notes.entry-address-link,test:protocol.consumers.obsidian-vault.notes.term-address-link,test:protocol.consumers.obsidian-vault.notes.unresolved-mention-stays,test:protocol.consumers.obsidian-vault.person-notes-survive,test:protocol.consumers.obsidian-vault.unknown-note-refused,test:protocol.consumers.obsidian-vault.vault-in-build-path-refused. Specs verified by those bindings: spec:consumers.obsidian-vault, spec:consumers.obsidian-vault.bases, spec:consumers.obsidian-vault.bases.views-match-sources, spec:consumers.obsidian-vault.changed-note-refused, spec:consumers.obsidian-vault.failed-extraction-keeps-notes, spec:consumers.obsidian-vault.failed-extraction-recovered, spec:consumers.obsidian-vault.fresh-vault, spec:consumers.obsidian-vault.hidden-file-refused, spec:consumers.obsidian-vault.interrupted-run-recovered, spec:consumers.obsidian-vault.iteration, spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes, spec:consumers.obsidian-vault.iteration.watch-source-anchor, spec:consumers.obsidian-vault.notes, spec:consumers.obsidian-vault.notes.case-collision-refused, spec:consumers.obsidian-vault.notes.entry-address-link, spec:consumers.obsidian-vault.notes.term-address-link, spec:consumers.obsidian-vault.notes.unresolved-mention-stays, spec:consumers.obsidian-vault.person-notes-survive, spec:consumers.obsidian-vault.unknown-note-refused, spec:consumers.obsidian-vault.vault-in-build-path-refused.Run 1: external run evidence from vitest 4.1.10
Build: CI 391 · Branch: cursor/media-plan-and-articles-09b1 · Commit: 076cd4f1f85640d8236e5cca1bffffa68ab79a33 · Start: 2026-10-31T15:32:20.471Z · Stop: 2026-10-31T15:34:02.073Z
Name Suite Result Duration keeps incomplete oracle points unspecified not recorded passed 1.97 ms executes the bound example against a fresh world A fresh vault is written the same way twice and every link resolves (spec:consumers.obsidian-vault.fresh-vault) passed 40.74 ms executes the bound example against a fresh world A regeneration removes a note that left the graph and keeps a person's notes (spec:consumers.obsidian-vault.person-notes-survive) passed 21.7 ms executes the bound example against a fresh world A note a person wrote inside the generated folder refuses the regeneration (spec:consumers.obsidian-vault.unknown-note-refused) passed 5.97 ms executes the bound example against a fresh world A generated note a person changed refuses the regeneration and keeps the edit (spec:consumers.obsidian-vault.changed-note-refused) passed 5.29 ms executes the bound example against a fresh world A person's file under a temporary's name refuses the regeneration (spec:consumers.obsidian-vault.hidden-file-refused) passed 6.73 ms executes the bound example against a fresh world A vault directory the build removes refuses the run and keeps a person's notes (spec:consumers.obsidian-vault.vault-in-build-path-refused) passed 1.17 ms executes the bound example against a fresh world A run after a stopped synchronization finishes it (spec:consumers.obsidian-vault.interrupted-run-recovered) passed 34.66 ms executes the bound example against a fresh world A failed extraction keeps the notes and says so on the index (spec:consumers.obsidian-vault.failed-extraction-keeps-notes) passed 12.45 ms executes the bound example against a fresh world The run after a failed extraction passes the guard and restores the index (spec:consumers.obsidian-vault.failed-extraction-recovered) passed 22.28 ms executes the bound example against a fresh world An entry address in prose opens the entry's block in its Spec's note (spec:consumers.obsidian-vault.notes.entry-address-link) passed 14.02 ms executes the bound example against a fresh world A mention of an entry that does not exist stays as written (spec:consumers.obsidian-vault.notes.unresolved-mention-stays) passed 9.02 ms executes the bound example against a fresh world A keyed Model term gets a note, and its address in prose opens the term's block (spec:consumers.obsidian-vault.notes.term-address-link) passed 11.72 ms executes the bound example against a fresh world Two Specs whose notes differ only in case refuse the run (spec:consumers.obsidian-vault.notes.case-collision-refused) passed 2.38 ms executes the bound example against a fresh world Each standing view selects what its source selects (spec:consumers.obsidian-vault.bases.views-match-sources) passed 30.9 ms executes the bound example against a fresh world A carrier edit under watch rewrites only the notes it changes (spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes) passed 486.87 ms executes the bound example against a fresh world An anchor added in a source file under watch rewrites the Spec's note (spec:consumers.obsidian-vault.iteration.watch-source-anchor) passed 626.34 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:consumers.obsidian-vault.changed-note-refused: A generated note a person changed refuses the regeneration and keeps the edit · declared Spec
- spec:consumers.obsidian-vault: An Obsidian vault lets a person iterate on designs from the one graph · declared Spec
- test:protocol.consumers.obsidian-vault.changed-note-refused: test:protocol.consumers.obsidian-vault.changed-note-refused · anchored test binding · binding present ·
test/vault-examples.test.ts:674 - spec:consumers.obsidian-vault.changed-note-refused refines spec:consumers.obsidian-vault · declared
- spec:consumers.obsidian-vault.changed-note-refused verifies spec:consumers.obsidian-vault · declared
- test:protocol.consumers.obsidian-vault.changed-note-refused verifies spec:consumers.obsidian-vault.changed-note-refused · anchored
Mermaid source
Copyable source; the Studio draws static SVG.
Preferred and chosen syntax: requirementDiagram; exact refines, satisfies and verifies, with claim words in nodes and per-edge comments.
Decisions
No decision record named.
Runtime
No implementation neighborhood recorded.
Runtime observation: not tracked.
Evidence
Runtime observation: not tracked.
Build attestations: not tracked.
Deployments: not tracked.
Bills of materials: not tracked.
Impact
- E2: verifies · declared
The diagram as text
- spec:consumers.obsidian-vault: An Obsidian vault lets a person iterate on designs from the one graph
- spec:consumers.obsidian-vault.changed-note-refused: A generated note a person changed refuses the regeneration and keeps the edit
- spec:consumers.obsidian-vault.changed-note-refused refines spec:consumers.obsidian-vault · declared
- spec:consumers.obsidian-vault.changed-note-refused verifies spec:consumers.obsidian-vault · declared
Mermaid source
Copyable source; the Studio draws static SVG.
Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.
Rests on
- refines · spec:consumers.obsidian-vault · stated ready, floor ready
Rested on by
No Spec rests on this Spec.
Relations
| Relation and direction | Other end | Claim | Reason | Exercised keys |
|---|---|---|---|---|
| refines · outgoing | An Obsidian vault lets a person iterate on designs from the one graphspec:consumers.obsidian-vault · resolves | declared | None | None |
| verifies · outgoing | An Obsidian vault lets a person iterate on designs from the one graphspec:consumers.obsidian-vault · resolves | declared | None | guard |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.consumers.obsidian-vault.changed-note-refused · anchored ·
test/vault-examples.test.ts:674· test anchor
Expected-outcome oracle: none
Runtime observation: not tracked.
Run results: not recorded in the graph.
Findings
None.
Composing (0)
Composing needs the script.