outcomeA # sub-part without its section is refused with its reason named
spec:model.stable-ids.unsectioned-address-refusedPacks: pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/model/stable-ids.unsectioned-address-refused.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
the authored identifier {identifier: "spec:orders.create-order#valid-cart"}When
the identifier is parsed
Then
parsing {outcome: "is refused"}
the refusal names the reason {reason: "entry address must be <section>.<key> with section design, ui, question, rule, or term"}Composing needs the script.
Intent
- Execute the entry-address clause of the ID grammar on a sub-part that names no section.
Behavior
Examples
Given the authored identifier {identifier: "spec:orders.create-order#valid-cart"}
When the identifier is parsed
Then parsing {outcome: "is refused"}
Then the refusal names the reason {reason: "entry address must be <section>.<key> with section design, ui, question, rule, or term"}Verification
Verifier bindings
- test:protocol.stable-ids.unsectioned-address-refused · the unsectioned point verifies the entry-address section refusal · anchored · test anchor binding present ·
test/self-hosting-model.test.ts:139External run evidence from
test/self-hosting-model.test.tsTest anchors:
test:protocol.anchors.lookalike-refusal,test:protocol.anchors.physical-identity,test:protocol.stable-ids.malformed-refusal,test:protocol.stable-ids.namespaced-round-trip,test:protocol.stable-ids.unsectioned-address-refused. Specs verified by those bindings: spec:model.anchors, spec:model.anchors.lookalike-refusal, spec:model.anchors.physical-identity, spec:model.stable-ids, spec:model.stable-ids.malformed-refusal, spec:model.stable-ids.namespaced-round-trip, spec:model.stable-ids.unsectioned-address-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 executes the bound example against a fresh world A namespaced dotted path with a sub-part survives parsing unchanged (spec:model.stable-ids.namespaced-round-trip) passed 2.33 ms executes the bound example against a fresh world An uppercase namespace is refused with its reason named (spec:model.stable-ids.malformed-refusal) passed 0.39 ms executes the bound example against a fresh world A `#` sub-part without its section is refused with its reason named (spec:model.stable-ids.unsectioned-address-refused) passed 0.3 ms executes the bound example against a fresh world A consumer-local lookalike builder mints no anchor and no finding (spec:model.anchors.lookalike-refusal) passed 19.13 ms executes the bound example against a fresh world A deep relative import that resolves to the Protocol builders is trusted (spec:model.anchors.physical-identity) passed 8.59 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:model.stable-ids.unsectioned-address-refused: A # sub-part without its section is refused with its reason named · declared Spec
- spec:model.stable-ids: Stable IDs are the Protocol's durable join key · declared Spec
- test:protocol.stable-ids.unsectioned-address-refused: the unsectioned point verifies the entry-address section refusal · anchored test binding · binding present ·
test/self-hosting-model.test.ts:139 - spec:model.stable-ids.unsectioned-address-refused refines spec:model.stable-ids · declared
- spec:model.stable-ids.unsectioned-address-refused verifies spec:model.stable-ids · declared
- test:protocol.stable-ids.unsectioned-address-refused verifies spec:model.stable-ids.unsectioned-address-refused · 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:model.stable-ids: Stable IDs are the Protocol's durable join key
- spec:model.stable-ids.unsectioned-address-refused: A # sub-part without its section is refused with its reason named
- spec:model.stable-ids.unsectioned-address-refused refines spec:model.stable-ids · declared
- spec:model.stable-ids.unsectioned-address-refused verifies spec:model.stable-ids · 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:model.stable-ids · 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 | Stable IDs are the Protocol's durable join keyspec:model.stable-ids · resolves | declared | None | None |
| verifies · outgoing | Stable IDs are the Protocol's durable join keyspec:model.stable-ids · resolves | declared | None | idGrammar |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.stable-ids.unsectioned-address-refused · the unsectioned point verifies the entry-address section refusal · anchored ·
test/self-hosting-model.test.ts:139· 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.