One finding, three location shapes, one composition rule

outcome

Execute the composition and both degradations on one finding, so the rule is read as one law rather than three renderings.

Examples

Given a finding naming the validator {validatorId: "honesty/readiness-floor"} at severity {severity: "error"} carrying the message {message: "The stated rung is not earned."}
When the {renderer: "command-line"} renderer formats that finding once per location shape
Then the finding carrying the file {file: "specs/probe.sdp.md"} and the line {line: 7} renders {withLocation: "specs/probe.sdp.md:7 — [error] honesty/readiness-floor — The stated rung is not earned."}
Then the same finding carrying the file alone renders {fileOnly: "specs/probe.sdp.md — [error] honesty/readiness-floor — The stated rung is not earned."}
Then the same finding carrying neither renders {bare: "[error] honesty/readiness-floor — The stated rung is not earned."}

Verifier bindings

• test:protocol.diagnostic-rendering.composed-location · the composed-location point verifies the one rendering rule and both degradations · anchored · test anchor binding present · test/self-hosting-projections.test.ts:1277

  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 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
  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	99.39 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.14 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.17 ms
  renders a Spec whose idea floor is unmet with no rung and a below-idea banner	not recorded	passed	0.85 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.85 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.91 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	7.25 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	4.19 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.63 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.79 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.65 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.43 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.