A run after a stopped synchronization finishes it

spec:consumers.obsidian-vault.interrupted-run-recovered

Example / Scenario · storyready floor ready

Packs: pack:obsidian-vault-v1, pack:self-hosting-v1

Design: no design entries · no pinned declarations · no decisions

specs/consumers/obsidian-vault.interrupted-run-recovered.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 a run stopped at its first rename left"}
the vault holds {extra: "an intent note and Obsidian settings outside the generated folder"}
the member {change: "changes its title"}

When

the vault command runs at that root

Then

the run exits {exitCode: 0}
the generated folder is byte-identical to a fresh vault's, the file list included: {matchesFresh: true}
every file the person wrote is byte-identical: {personFilesKept: true}

Composing needs the script.

Intent

outcome: Execute the recovery from a run stopped at its first rename, which left the file list recording both contents and a whole temporary beside its target.

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 a run stopped at its first rename left"}
Given the vault holds {extra: "an intent note and Obsidian settings outside the generated folder"}
Given the member {change: "changes its title"}
When the vault command runs at that root
Then the run exits {exitCode: 0}
Then the generated folder is byte-identical to a fresh vault's, the file list included: {matchesFresh: true}
Then every file the person wrote is byte-identical: {personFilesKept: true}

Verification

Verifier bindings

test:protocol.consumers.obsidian-vault.interrupted-run-recovered · anchored · test anchor binding present · test/vault-examples.test.ts:695

External run evidence from `test/vault-examples.test.ts`

Test 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.

Requirement drawing for spec:consumers.obsidian-vault.interrupted-run-recovered

The diagram as text

spec:consumers.obsidian-vault.interrupted-run-recovered: A run after a stopped synchronization finishes it · 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.interrupted-run-recovered: test:protocol.consumers.obsidian-vault.interrupted-run-recovered · anchored test binding · binding present · test/vault-examples.test.ts:695
spec:consumers.obsidian-vault.interrupted-run-recovered refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.interrupted-run-recovered verifies spec:consumers.obsidian-vault · declared
test:protocol.consumers.obsidian-vault.interrupted-run-recovered verifies spec:consumers.obsidian-vault.interrupted-run-recovered · 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.

Mermaid source for Requirement drawing for spec:consumers.obsidian-vault.interrupted-run-recovered

requirementDiagram
  requirement n0 {
    text: "A run after a stopped synchronization finishes it · declared Spec · spec:consumers.obsidian-vault.interrupted-run-recovered"
  }
  element n1 {
    type: "test:protocol.consumers.obsidian-vault.interrupted-run-recovered · anchored test binding · binding present · test:protocol.consumers.obsidian-vault.interrupted-run-recovered"
  }
  requirement n2 {
    text: "An Obsidian vault lets a person iterate on designs from the one graph · declared Spec · spec:consumers.obsidian-vault"
  }
  %% claim: declared
  n0 - refines -> n2
  %% claim: declared
  n0 - verifies -> n2
  %% claim: anchored
  n1 - verifies -> n0

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

Relations of spec:consumers.obsidian-vault.interrupted-run-recovered

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.interrupted-run-recovered: A run after a stopped synchronization finishes it
spec:consumers.obsidian-vault.interrupted-run-recovered refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.interrupted-run-recovered 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.

Mermaid source for Relations of spec:consumers.obsidian-vault.interrupted-run-recovered

flowchart TB
  n0["An Obsidian vault lets a person iterate on designs from the one graph · spec:consumers.obsidian-vault"]
  n1["A run after a stopped synchronization finishes it · spec:consumers.obsidian-vault.interrupted-run-recovered"]
  n1 -->|"refines · declared"| n0
  n1 -->|"verifies · declared"| n0

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 graph `spec:consumers.obsidian-vault` · resolves	declared	None	None
verifies · outgoing	An Obsidian vault lets a person iterate on designs from the one graph `spec:consumers.obsidian-vault` · resolves	declared	None	`interruptedRun`, `synchronize`

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

test:protocol.consumers.obsidian-vault.interrupted-run-recovered · anchored · test/vault-examples.test.ts:695 · 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.

Examples

Verifier bindings

External run evidence from test/vault-examples.test.ts

Run 1: external run evidence from vitest 4.1.10

Requirement drawing

Decisions

Rests on

Rested on by

Relations

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

External run evidence from `test/vault-examples.test.ts`