outcomesdp validate --watch ignores, and show the Spec's note gaining its binding while every other note keeps its bytes.spec:consumers.obsidian-vault.iteration.watch-source-anchorPacks: 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.iteration.watch-source-anchor.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
a vault the vault command wrote from an extraction root and now watches
When
the Spec {specId: "spec:probe.member"} is edited by {edit: "an anchor added in a source file"}Then
the note of that Spec shows an implementation binding: {bindingShown: true}
every note whose bytes the change leaves alone keeps its modification time: {othersUntouched: true}
the watch process stays alive and exits {exitCode: 0} on SIGINTComposing needs the script.
outcomesdp validate --watch ignores, and show the Spec's note gaining its binding while every other note keeps its bytes.Given a vault the vault command wrote from an extraction root and now watches
When the Spec {specId: "spec:probe.member"} is edited by {edit: "an anchor added in a source file"}
Then the note of that Spec shows an implementation binding: {bindingShown: true}
Then every note whose bytes the change leaves alone keeps its modification time: {othersUntouched: true}
Then the watch process stays alive and exits {exitCode: 0} on SIGINTtest/vault-examples.test.ts:761test/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.
Build: CI 380 · Branch: feature/roadmap-and-slices-v0 · Commit: 34909918bf0be0e849959644401797191cae379f · Start: 2026-10-22T17:40:31.456Z · Stop: 2026-10-22T17:42:16.171Z
| Name | Suite | Result | Duration |
|---|---|---|---|
| keeps incomplete oracle points unspecified | not recorded | passed | 1.89 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 | 39.02 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 | 20.74 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.75 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 | 4.83 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.02 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.15 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 | 33.58 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 | 10.21 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 | 20.42 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 | 15.36 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.95 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 | 14.06 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.55 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 | 24.64 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 | 446.54 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 | 516.04 ms |
test/vault-examples.test.ts:761Copyable 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.
No decision record named.
No implementation neighborhood recorded.
Runtime observation: not tracked.
Runtime observation: not tracked.
Build attestations: not tracked.
Deployments: not tracked.
Bills of materials: not tracked.
Copyable source; the Studio draws static SVG.
Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.
No Spec rests on this Spec.
| Relation and direction | Other end | Claim | Reason | Exercised keys |
|---|---|---|---|---|
| refines · outgoing | A design pass is followed and answered from the vaultspec:consumers.obsidian-vault.iteration · resolves | declared | None | None |
| verifies · outgoing | A design pass is followed and answered from the vaultspec:consumers.obsidian-vault.iteration · resolves | declared | None | watch, inPlace |
test/vault-examples.test.ts:761Runtime observation: not tracked.
Run results: not recorded in the graph.
None.
Composing needs the script.