outcomeAn ordered list is refused
spec:carrier.markdown-body-grammar.ordered-list-refusedPacks: pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/carrier/markdown-body-grammar.ordered-list-refused.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
a Markdown Spec carrier whose {owner: "Contract"} section holds {construct: "an ordered list item"}When
the extractor reifies the carrier
Then
the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "nested or unsupported Markdown structure"} at line {line: 14}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graphComposing needs the script.
Intent
- Execute the list-entry rule on an ordered list item under a primary owner.
Behavior
Examples
Given a Markdown Spec carrier whose {owner: "Contract"} section holds {construct: "an ordered list item"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "nested or unsupported Markdown structure"} at line {line: 14}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graphVerification
Verifier bindings
- test:protocol.markdown-body-grammar.ordered-list-refused · the ordered-list point verifies the list-entry rule · anchored · test anchor binding present ·
test/self-hosting-markdown-grammar.test.ts:205External run evidence from
test/self-hosting-markdown-grammar.test.tsTest anchors:
test:protocol.markdown-body-grammar.continuation-line-refused,test:protocol.markdown-body-grammar.foreign-fence-refused,test:protocol.markdown-body-grammar.h3-refused,test:protocol.markdown-body-grammar.integer-term-refused,test:protocol.markdown-body-grammar.keyed-bullet-refused,test:protocol.markdown-body-grammar.ordered-list-refused,test:protocol.markdown-body-grammar.plain-bullet-refused,test:protocol.markdown-body-grammar.raw-html-refused,test:protocol.markdown-body-grammar.repeated-field-refused,test:protocol.markdown-body-grammar.second-primary-owner-refused,test:protocol.markdown-body-grammar.shared-description-refused,test:protocol.markdown-body-grammar.table-refused,test:protocol.markdown-body-grammar.trailing-prose-refused,test:protocol.markdown-body-grammar.unrecognized-heading-refused. Specs verified by those bindings: spec:carrier.markdown-body-grammar, spec:carrier.markdown-body-grammar.continuation-line-refused, spec:carrier.markdown-body-grammar.foreign-fence-refused, spec:carrier.markdown-body-grammar.h3-refused, spec:carrier.markdown-body-grammar.integer-term-refused, spec:carrier.markdown-body-grammar.keyed-bullet-refused, spec:carrier.markdown-body-grammar.ordered-list-refused, spec:carrier.markdown-body-grammar.plain-bullet-refused, spec:carrier.markdown-body-grammar.raw-html-refused, spec:carrier.markdown-body-grammar.repeated-field-refused, spec:carrier.markdown-body-grammar.second-primary-owner-refused, spec:carrier.markdown-body-grammar.shared-description-refused, spec:carrier.markdown-body-grammar.table-refused, spec:carrier.markdown-body-grammar.trailing-prose-refused, spec:carrier.markdown-body-grammar.unrecognized-heading-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 executes the bound example against a fresh world A table under a section is refused (spec:carrier.markdown-body-grammar.table-refused) passed 18.95 ms executes the bound example against a fresh world A bullet wrapped onto a second line is refused (spec:carrier.markdown-body-grammar.continuation-line-refused) passed 3.89 ms executes the bound example against a fresh world An ordered list is refused (spec:carrier.markdown-body-grammar.ordered-list-refused) passed 2.85 ms executes the bound example against a fresh world A fence other than gwt or gwt-vocabulary is refused (spec:carrier.markdown-body-grammar.foreign-fence-refused) passed 2.72 ms executes the bound example against a fresh world An H3 under Design is refused (spec:carrier.markdown-body-grammar.h3-refused) passed 5.54 ms executes the bound example against a fresh world A plain bullet under an open section is refused (spec:carrier.markdown-body-grammar.plain-bullet-refused) passed 2.46 ms executes the bound example against a fresh world A keyed bullet under a plain-bullet owner is refused (spec:carrier.markdown-body-grammar.keyed-bullet-refused) passed 2.19 ms executes the bound example against a fresh world Prose after structured content is refused (spec:carrier.markdown-body-grammar.trailing-prose-refused) passed 1.9 ms executes the bound example against a fresh world A repeated single-valued field is refused (spec:carrier.markdown-body-grammar.repeated-field-refused) passed 2.37 ms executes the bound example against a fresh world An unrecognized heading is refused with a suggestion (spec:carrier.markdown-body-grammar.unrecognized-heading-refused) passed 6.39 ms executes the bound example against a fresh world A second primary owner is refused (spec:carrier.markdown-body-grammar.second-primary-owner-refused) passed 5.58 ms executes the bound example against a fresh world Raw HTML outside a code span is refused (spec:carrier.markdown-body-grammar.raw-html-refused) passed 2.05 ms executes the bound example against a fresh world A second description across Behavior and Example space is refused (spec:carrier.markdown-body-grammar.shared-description-refused) passed 2.2 ms executes the bound example against a fresh world An integer-like Model term is refused (spec:carrier.markdown-body-grammar.integer-term-refused) passed 2.57 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:carrier.markdown-body-grammar.ordered-list-refused: An ordered list is refused · declared Spec
- spec:carrier.markdown-body-grammar: The Markdown body accepts one closed form per section · declared Spec
- test:protocol.markdown-body-grammar.ordered-list-refused: the ordered-list point verifies the list-entry rule · anchored test binding · binding present ·
test/self-hosting-markdown-grammar.test.ts:205 - spec:carrier.markdown-body-grammar.ordered-list-refused refines spec:carrier.markdown-body-grammar · declared
- spec:carrier.markdown-body-grammar.ordered-list-refused verifies spec:carrier.markdown-body-grammar · declared
- test:protocol.markdown-body-grammar.ordered-list-refused verifies spec:carrier.markdown-body-grammar.ordered-list-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:carrier.markdown-body-grammar: The Markdown body accepts one closed form per section
- spec:carrier.markdown-body-grammar.ordered-list-refused: An ordered list is refused
- spec:carrier.markdown-body-grammar.ordered-list-refused refines spec:carrier.markdown-body-grammar · declared
- spec:carrier.markdown-body-grammar.ordered-list-refused verifies spec:carrier.markdown-body-grammar · 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:carrier.markdown-body-grammar · 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 | The Markdown body accepts one closed form per sectionspec:carrier.markdown-body-grammar · resolves | declared | None | None |
| verifies · outgoing | The Markdown body accepts one closed form per sectionspec:carrier.markdown-body-grammar · resolves | declared | None | oneLineEntries |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.markdown-body-grammar.ordered-list-refused · the ordered-list point verifies the list-entry rule · anchored ·
test/self-hosting-markdown-grammar.test.ts:205· 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.