Each standing view selects what its source selects

outcome

Execute the corpus Base, a Pack's Base and the closed clause grammar against the sources the views mirror, over one graph.

Examples

Given a corpus holding a Pack of {members: 6} Specs, with a Spec in every standing view
When the vault command writes the vault
Then each standing view of the corpus Base selects the Specs its source selects: {viewsMatch: true}
Then the Pack's Base selects every member and nothing else: {packMatches: true}
Then every filter clause belongs to the closed grammar: {closedClauses: true}

Verifier bindings

• test:protocol.consumers.obsidian-vault.bases.views-match-sources · anchored · test anchor binding present · test/vault-examples.test.ts:747

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

Requirement drawing

• Satisfying or referencing units: no recorded binding.

Decisions

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.