A build that never renders still takes the old view down

outcome

Execute the up-front half of the invalidation on a command that writes no view, where a surviving directory would describe a graph that has moved.

Examples

Given an extraction root holding {corpus: "one authored spec"} and a stale view page {stalePage: "spec/probe.departed.md"}
Given the stale page is planted {planted: "before the run"}
When the {command: "build"} command runs at that root
Then the run exits {exitCode: 0}
Then the view directory survives: {viewSurvives: false}
Then the stale page survives: {staleSurvives: false}
Then a temporary view sibling survives: {temporarySurvives: false}

Verifier bindings

• test:protocol.wholesale-view-rewrite.build-invalidates-view · the build point verifies the up-front invalidation on a command that renders no view · anchored · test anchor binding present · test/self-hosting-projections.test.ts:1064

  External run evidence from test/self-hosting-projections.test.ts

  Test anchors: test:protocol.binding-language-views.bound-spec-page, test:protocol.binding-language-views.pack-member-table, test:protocol.derived-readiness-banner.dishonest-divergence, test:protocol.derived-readiness-banner.honest-headroom, test:protocol.derived-readiness-banner.idea-floor-unmet, test:protocol.design-review.pure-projection, test:protocol.diagnostic-rendering.composed-location, test:protocol.diagnostic-rendering.table-cell-location, test:protocol.wholesale-view-rewrite.build-invalidates-view, test:protocol.wholesale-view-rewrite.failed-run-view-removed, test:protocol.wholesale-view-rewrite.late-stale-page, test:protocol.wholesale-view-rewrite.stale-page-removed. Specs verified by those bindings: spec:consumers.binding-language-views, spec:consumers.binding-language-views.bound-spec-page, spec:consumers.binding-language-views.pack-member-table, spec:consumers.derived-readiness-banner, spec:consumers.derived-readiness-banner.dishonest-divergence, spec:consumers.derived-readiness-banner.honest-headroom, spec:consumers.design-review, spec:consumers.design-review.pure-projection, spec:consumers.wholesale-view-rewrite, spec:consumers.wholesale-view-rewrite.build-invalidates-view, spec:consumers.wholesale-view-rewrite.failed-run-view-removed, spec:consumers.wholesale-view-rewrite.late-stale-page, spec:consumers.wholesale-view-rewrite.stale-page-removed, spec:validation.diagnostic-rendering, spec:validation.diagnostic-rendering.composed-location, spec:validation.diagnostic-rendering.table-cell-location.

  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
  executes the bound example against a fresh world	The view is the graph read twice, and the corpus is untouched by reading it (spec:consumers.design-review.pure-projection)	passed	101.88 ms
  executes the bound example against a fresh world	An overstated rung raises the banner and names the clause that refused (spec:consumers.derived-readiness-banner.dishonest-divergence)	passed	2.27 ms
  executes the bound example against a fresh world	A rung the structure overshoots renders as information, not as a banner (spec:consumers.derived-readiness-banner.honest-headroom)	passed	1.1 ms
  renders a Spec whose idea floor is unmet with no rung and a below-idea banner	not recorded	passed	0.71 ms
  executes the bound example against a fresh world	A fully bound Spec renders binding language on the page and in the index (spec:consumers.binding-language-views.bound-spec-page)	passed	1.66 ms
  executes the bound example against a fresh world	The Pack member table speaks the page's binding language, not a shorthand (spec:consumers.binding-language-views.pack-member-table)	passed	1.74 ms
  executes the bound example against a fresh world	A page from an earlier run does not survive the next one (spec:consumers.wholesale-view-rewrite.stale-page-removed)	passed	10.06 ms
  executes the bound example against a fresh world	A page the build's invalidation never saw still does not survive the swap (spec:consumers.wholesale-view-rewrite.late-stale-page)	passed	3.7 ms
  executes the bound example against a fresh world	A run that cannot produce a current view leaves no view at all (spec:consumers.wholesale-view-rewrite.failed-run-view-removed)	passed	2.69 ms
  executes the bound example against a fresh world	A build that never renders still takes the old view down (spec:consumers.wholesale-view-rewrite.build-invalidates-view)	passed	2.62 ms
  executes the bound example against a fresh world	One finding, three location shapes, one composition rule (spec:validation.diagnostic-rendering.composed-location)	passed	0.73 ms
  executes the bound example against a fresh world	The same three location shapes, rendered as table cells (spec:validation.diagnostic-rendering.table-cell-location)	passed	0.57 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.