A plain bullet under an open section is refused

spec:carrier.markdown-body-grammar.plain-bullet-refused

Example / Scenario · storyready floor ready

Design: no design entries · no pinned declarations · no decisions

specs/carrier/markdown-body-grammar.plain-bullet-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: "Design"} section holds {construct: "a plain bullet"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "open section keys must be lower-camel ASCII"} at line {line: 14}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Intent

outcome: Execute the keyed-entry rule of open sections on a bullet with no lower-camel key.

Behavior

Examples

Given a Markdown Spec carrier whose {owner: "Design"} section holds {construct: "a plain bullet"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "open section keys must be lower-camel ASCII"} at line {line: 14}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Verification

Verifier bindings

test:protocol.markdown-body-grammar.plain-bullet-refused · the plain-bullet point verifies the open-section key rule · anchored · test anchor binding present · test/self-hosting-markdown-grammar.test.ts:229

External run evidence from `test/self-hosting-markdown-grammar.test.ts`

Test 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.

Requirement drawing for spec:carrier.markdown-body-grammar.plain-bullet-refused

The diagram as text

spec:carrier.markdown-body-grammar.plain-bullet-refused: A plain bullet under an open section 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.plain-bullet-refused: the plain-bullet point verifies the open-section key rule · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:229
spec:carrier.markdown-body-grammar.plain-bullet-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.plain-bullet-refused verifies spec:carrier.markdown-body-grammar · declared
test:protocol.markdown-body-grammar.plain-bullet-refused verifies spec:carrier.markdown-body-grammar.plain-bullet-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.

Mermaid source for Requirement drawing for spec:carrier.markdown-body-grammar.plain-bullet-refused

requirementDiagram
  requirement n0 {
    text: "A plain bullet under an open section is refused · declared Spec · spec:carrier.markdown-body-grammar.plain-bullet-refused"
  }
  element n1 {
    type: "the plain-bullet point verifies the open-section key rule · anchored test binding · binding present · test:protocol.markdown-body-grammar.plain-bullet-refused"
  }
  requirement n2 {
    text: "The Markdown body accepts one closed form per section · declared Spec · spec:carrier.markdown-body-grammar"
  }
  %% claim: declared
  n0 - refines -> n2
  %% claim: declared
  n0 - verifies -> n2
  %% claim: anchored
  n1 - verifies -> n0

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

Relations of spec:carrier.markdown-body-grammar.plain-bullet-refused

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.plain-bullet-refused: A plain bullet under an open section is refused
spec:carrier.markdown-body-grammar.plain-bullet-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.plain-bullet-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.

Mermaid source for Relations of spec:carrier.markdown-body-grammar.plain-bullet-refused

flowchart TB
  n0["The Markdown body accepts one closed form per section · spec:carrier.markdown-body-grammar"]
  n1["A plain bullet under an open section is refused · spec:carrier.markdown-body-grammar.plain-bullet-refused"]
  n1 -->|"refines · declared"| n0
  n1 -->|"verifies · declared"| n0

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 section `spec:carrier.markdown-body-grammar` · resolves	declared	None	None
verifies · outgoing	The Markdown body accepts one closed form per section `spec:carrier.markdown-body-grammar` · resolves	declared	None	`openSectionKeys`

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

test:protocol.markdown-body-grammar.plain-bullet-refused · the plain-bullet point verifies the open-section key rule · anchored · test/self-hosting-markdown-grammar.test.ts:229 · 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.

Examples

Verifier bindings

External run evidence from test/self-hosting-markdown-grammar.test.ts

Run 1: external run evidence from vitest 4.1.10

Requirement drawing

Decisions

Rests on

Rested on by

Relations

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

External run evidence from `test/self-hosting-markdown-grammar.test.ts`