outcomeA regeneration removes a note that left the graph and keeps a person's notes
spec:consumers.obsidian-vault.person-notes-survivePacks: 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.person-notes-survive.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: "an intent note and Obsidian settings outside the generated folder"}
the member {change: "leaves the corpus"}When
the vault command runs at that root
Then
the run exits {exitCode: 0}
the member's note is present: {memberNote: false}
every file the person wrote is byte-identical: {personFilesKept: true}
every link a generated note writes resolves inside the vault: {linksResolve: true}Composing needs the script.
Intent
- Execute synchronization on a vault holding a person's intent note and Obsidian's settings while a Spec leaves the corpus.
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: "an intent note and Obsidian settings outside the generated folder"}
Given the member {change: "leaves the corpus"}
When the vault command runs at that root
Then the run exits {exitCode: 0}
Then the member's note is present: {memberNote: false}
Then every file the person wrote is byte-identical: {personFilesKept: true}
Then every link a generated note writes resolves inside the vault: {linksResolve: true}Verification
Verifier bindings
- test:protocol.consumers.obsidian-vault.person-notes-survive · anchored · test anchor binding present ·
test/vault-examples.test.ts:660External 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 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
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:consumers.obsidian-vault.person-notes-survive: A regeneration removes a note that left the graph and keeps a person's notes · 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.person-notes-survive: test:protocol.consumers.obsidian-vault.person-notes-survive · anchored test binding · binding present ·
test/vault-examples.test.ts:660 - spec:consumers.obsidian-vault.person-notes-survive refines spec:consumers.obsidian-vault · declared
- spec:consumers.obsidian-vault.person-notes-survive verifies spec:consumers.obsidian-vault · declared
- test:protocol.consumers.obsidian-vault.person-notes-survive verifies spec:consumers.obsidian-vault.person-notes-survive · 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.person-notes-survive: A regeneration removes a note that left the graph and keeps a person's notes
- spec:consumers.obsidian-vault.person-notes-survive refines spec:consumers.obsidian-vault · declared
- spec:consumers.obsidian-vault.person-notes-survive 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 | ownedFolder, synchronize |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.consumers.obsidian-vault.person-notes-survive · anchored ·
test/vault-examples.test.ts:660· 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.