outcomeThe Pack member table speaks the page's binding language, not a shorthand
spec:consumers.binding-language-views.pack-member-tablePacks: pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/consumers/binding-language-views.pack-member-table.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
the graph holds a spec {specId: "spec:probe.bound-surface"} bound by {bindings: "an implementing code anchor and a verifying test anchor"}
the graph holds a pack {packId: "pack:probe.review-aggregate"} listing that spec beside an unbound memberWhen
the Design Review renders the graph
Then
the pack member table repeats those binding values for the spec: {memberTableRepeats: true}
the internal delivery-fact name {factName: "implemented"} appears as rendered label text: {factNameRendered: false}Composing needs the script.
Intent
- Execute the aggregate half of the rule on the surface a reviewer reads a whole Pack from, where a two-column yes/no shorthand would be cheapest to reach for.
Behavior
Examples
Given the graph holds a spec {specId: "spec:probe.bound-surface"} bound by {bindings: "an implementing code anchor and a verifying test anchor"}
Given the graph holds a pack {packId: "pack:probe.review-aggregate"} listing that spec beside an unbound member
When the Design Review renders the graph
Then the pack member table repeats those binding values for the spec: {memberTableRepeats: true}
Then the internal delivery-fact name {factName: "implemented"} appears as rendered label text: {factNameRendered: false}Verification
Verifier bindings
- test:protocol.binding-language-views.pack-member-table · the pack-member point verifies the aggregate half of the rendered binding vocabulary · anchored · test anchor binding present ·
test/self-hosting-projections.test.ts:799External run evidence from
test/self-hosting-projections.test.tsTest 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
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:consumers.binding-language-views.pack-member-table: The Pack member table speaks the page's binding language, not a shorthand · declared Spec
- spec:consumers.binding-language-views: Views speak binding language, never the internal fact name · declared Spec
- test:protocol.binding-language-views.pack-member-table: the pack-member point verifies the aggregate half of the rendered binding vocabulary · anchored test binding · binding present ·
test/self-hosting-projections.test.ts:799 - spec:consumers.binding-language-views.pack-member-table refines spec:consumers.binding-language-views · declared
- spec:consumers.binding-language-views.pack-member-table verifies spec:consumers.binding-language-views · declared
- test:protocol.binding-language-views.pack-member-table verifies spec:consumers.binding-language-views.pack-member-table · 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.binding-language-views: Views speak binding language, never the internal fact name
- spec:consumers.binding-language-views.pack-member-table: The Pack member table speaks the page's binding language, not a shorthand
- spec:consumers.binding-language-views.pack-member-table refines spec:consumers.binding-language-views · declared
- spec:consumers.binding-language-views.pack-member-table verifies spec:consumers.binding-language-views · 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.binding-language-views · 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 | Views speak binding language, never the internal fact namespec:consumers.binding-language-views · resolves | declared | None | None |
| verifies · outgoing | Views speak binding language, never the internal fact namespec:consumers.binding-language-views · resolves | declared | None | None |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.binding-language-views.pack-member-table · the pack-member point verifies the aggregate half of the rendered binding vocabulary · anchored ·
test/self-hosting-projections.test.ts:799· 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.