Spec Studio

Prose after structured content is refused

spec:carrier.markdown-body-grammar.trailing-prose-refusedExample / Scenario · storyready floor ready

Packs: pack:self-hosting-v1

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

Findings: no errors, no warnings

specs/carrier/markdown-body-grammar.trailing-prose-refused.sdp.md

No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.

Intent
outcome
Execute the prose-ownership rule on a paragraph that follows a section's first list entry.
Behavior

Examples

Given a Markdown Spec carrier whose {owner: "Behavior"} section holds {construct: "a paragraph after the first bullet"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/unowned-prose"} whose message contains {reason: "prose after structured content has no owner"} at line {line: 16}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph
Verification

Verifier bindings

  • test:protocol.markdown-body-grammar.trailing-prose-refused · the trailing-prose point verifies the prose-ownership rule · anchored · test anchor binding present · test/self-hosting-markdown-grammar.test.ts:245

    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 391 · Branch: cursor/media-plan-and-articles-09b1 · Commit: 076cd4f1f85640d8236e5cca1bffffa68ab79a33 · Start: 2026-10-31T15:32:20.471Z · Stop: 2026-10-31T15:34:02.073Z

    NameSuiteResultDuration
    executes the bound example against a fresh worldA table under a section is refused (spec:carrier.markdown-body-grammar.table-refused)passed12.41 ms
    executes the bound example against a fresh worldA bullet wrapped onto a second line is refused (spec:carrier.markdown-body-grammar.continuation-line-refused)passed3.13 ms
    executes the bound example against a fresh worldAn ordered list is refused (spec:carrier.markdown-body-grammar.ordered-list-refused)passed2.76 ms
    executes the bound example against a fresh worldA fence other than gwt or gwt-vocabulary is refused (spec:carrier.markdown-body-grammar.foreign-fence-refused)passed2.79 ms
    executes the bound example against a fresh worldAn H3 under Design is refused (spec:carrier.markdown-body-grammar.h3-refused)passed2.62 ms
    executes the bound example against a fresh worldA plain bullet under an open section is refused (spec:carrier.markdown-body-grammar.plain-bullet-refused)passed2.52 ms
    executes the bound example against a fresh worldA keyed bullet under a plain-bullet owner is refused (spec:carrier.markdown-body-grammar.keyed-bullet-refused)passed2.33 ms
    executes the bound example against a fresh worldProse after structured content is refused (spec:carrier.markdown-body-grammar.trailing-prose-refused)passed1.87 ms
    executes the bound example against a fresh worldA repeated single-valued field is refused (spec:carrier.markdown-body-grammar.repeated-field-refused)passed2.43 ms
    executes the bound example against a fresh worldAn unrecognized heading is refused with a suggestion (spec:carrier.markdown-body-grammar.unrecognized-heading-refused)passed8.41 ms
    executes the bound example against a fresh worldA second primary owner is refused (spec:carrier.markdown-body-grammar.second-primary-owner-refused)passed2.67 ms
    executes the bound example against a fresh worldRaw HTML outside a code span is refused (spec:carrier.markdown-body-grammar.raw-html-refused)passed2.13 ms
    executes the bound example against a fresh worldA second description across Behavior and Example space is refused (spec:carrier.markdown-body-grammar.shared-description-refused)passed1.85 ms
    executes the bound example against a fresh worldAn integer-like Model term is refused (spec:carrier.markdown-body-grammar.integer-term-refused)passed2.02 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:carrier.markdown-body-grammar.trailing-prose-refused
Requirement drawing for spec:carrier.markdown-body-grammar.trailing-prose-refusedrefines, verifies · declaredverifies · anchoredDeclared verifying examplesspec:carrier.markdown-body-grammar.trailing-prose-refusedProse after structuredcontent is refused…carrier.markdown-body-grammar.trailing-prose-refuseddeclared SpecTest or oracle bindingstest:protocol.markdown-body-grammar.trailing-prose-refusedthe trailing-prose pointverifies theprose-ownership rule…protocol.markdown-body-grammar.trailing-prose-refusedanchored test binding ·binding presentOutside the selected setspec:carrier.markdown-body-grammarThe Markdown body acceptsone closed form per section…carrier.markdown-body-grammardeclared Spec
The diagram as text
  • spec:carrier.markdown-body-grammar.trailing-prose-refused: Prose after structured content 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.trailing-prose-refused: the trailing-prose point verifies the prose-ownership rule · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:245
  • spec:carrier.markdown-body-grammar.trailing-prose-refused refines spec:carrier.markdown-body-grammar · declared
  • spec:carrier.markdown-body-grammar.trailing-prose-refused verifies spec:carrier.markdown-body-grammar · declared
  • test:protocol.markdown-body-grammar.trailing-prose-refused verifies spec:carrier.markdown-body-grammar.trailing-prose-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
Relations of spec:carrier.markdown-body-grammar.trailing-prose-refused
  • E2: verifies · declared
Relations of spec:carrier.markdown-body-grammar.trailing-prose-refusedrefines · declaredE2Outgoing refinesspec:carrier.markdown-body-grammarThe Markdown body acceptsone closed form per section…markdown-body-grammarSubjectspec:carrier.markdown-body-grammar.trailing-prose-refusedProse after structuredcontent is refused…markdown-body-grammar.trailing-prose-refused
The diagram as text
  • spec:carrier.markdown-body-grammar: The Markdown body accepts one closed form per section
  • spec:carrier.markdown-body-grammar.trailing-prose-refused: Prose after structured content is refused
  • spec:carrier.markdown-body-grammar.trailing-prose-refused refines spec:carrier.markdown-body-grammar · declared
  • spec:carrier.markdown-body-grammar.trailing-prose-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

Rested on by

No Spec rests on this Spec.

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingThe Markdown body accepts one closed form per section
spec:carrier.markdown-body-grammar · resolves		declaredNoneNone
verifies · outgoingThe Markdown body accepts one closed form per section
spec:carrier.markdown-body-grammar · resolves		declaredNonesectionProse

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.markdown-body-grammar.trailing-prose-refused · the trailing-prose point verifies the prose-ownership rule · anchored · test/self-hosting-markdown-grammar.test.ts:245 · 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.