One finding class is shared while the carriers' outcomes stay their own

spec:carrier.markdown-parser.bounded-parity

Example / Scenario · storyready floor ready

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

specs/carrier/markdown-parser.bounded-parity.sdp.md

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

Given

the paired carrier probes named {probe: "unrecognized-property"}

When

both carriers reify their probe

Then

both carriers report the finding class {findingId: "extract/unrecognized-property"}
the TypeScript carrier reports severity {typeScriptSeverity: "warning"} and extracts {typeScriptSpecs: 1} specs
the Markdown carrier reports severity {markdownSeverity: "error"} and extracts {markdownSpecs: 0} specs

Composing needs the script.

Intent

outcome: Execute one same-class row of the parity matrix, including each carrier's severity and extraction outcome.

Behavior

Examples

Given the paired carrier probes named {probe: "unrecognized-property"}
When both carriers reify their probe
Then both carriers report the finding class {findingId: "extract/unrecognized-property"}
Then the TypeScript carrier reports severity {typeScriptSeverity: "warning"} and extracts {typeScriptSpecs: 1} specs
Then the Markdown carrier reports severity {markdownSeverity: "error"} and extracts {markdownSpecs: 0} specs

Verification

Verifier bindings

test:protocol.markdown-parser.bounded-parity · the bounded-parity point verifies one shared finding class and its split outcomes · anchored · test anchor binding present · test/self-hosting-carrier.test.ts:149

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

Test anchors: test:protocol.markdown-parser.bounded-parity, test:protocol.open-question-fields.dropped-list-warns, test:protocol.slot-notation.one-literal-binding, test:protocol.slot-notation.refused-guess, test:protocol.slot-notation.typed-declaration. Specs verified by those bindings: spec:carrier.markdown-parser, spec:carrier.markdown-parser.bounded-parity, spec:carrier.slot-notation, spec:carrier.slot-notation.one-literal-binding, spec:carrier.slot-notation.refused-guess, spec:carrier.slot-notation.typed-declaration, spec:model.open-question-fields, spec:model.open-question-fields.dropped-list-warns.

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	One finding class is shared while the carriers' outcomes stay their own (spec:carrier.markdown-parser.bounded-parity)	passed	27.95 ms
executes the bound example against a fresh world	A typed declaration normalizes to the skeleton its binding shares (spec:carrier.slot-notation.typed-declaration)	passed	0.52 ms
executes the bound example against a fresh world	A stray brace stays prose while an unusable group stays a named slot (spec:carrier.slot-notation.refused-guess)	passed	0.38 ms
executes the bound example against a fresh world	A one-literal group in a vocabulary is a binding that declares nothing (spec:carrier.slot-notation.one-literal-binding)	passed	2.37 ms
executes the bound example against a fresh world	A TypeScript question list that cannot be read drops whole with a warning (spec:model.open-question-fields.dropped-list-warns)	passed	8.41 ms
drops the whole question list for a non-static question text	not recorded	passed	4.35 ms
drops the whole question list for a non-static blocking flag	not recorded	passed	3.64 ms
drops the whole question list for a spread in the list	not recorded	passed	6.65 ms

Design view

Requirement drawing

Satisfying or referencing units: no recorded binding.

Requirement drawing for spec:carrier.markdown-parser.bounded-parity

The diagram as text

spec:carrier.markdown-parser.bounded-parity: One finding class is shared while the carriers' outcomes stay their own · declared Spec
spec:carrier.markdown-parser: The Markdown parser reifies the ruled subset · declared Spec
test:protocol.markdown-parser.bounded-parity: the bounded-parity point verifies one shared finding class and its split outcomes · anchored test binding · binding present · test/self-hosting-carrier.test.ts:149
spec:carrier.markdown-parser.bounded-parity refines spec:carrier.markdown-parser · declared
spec:carrier.markdown-parser.bounded-parity verifies spec:carrier.markdown-parser · declared
test:protocol.markdown-parser.bounded-parity verifies spec:carrier.markdown-parser.bounded-parity · 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-parser.bounded-parity

requirementDiagram
  requirement n0 {
    text: "One finding class is shared while the carriers' outcomes stay their own · declared Spec · spec:carrier.markdown-parser.bounded-parity"
  }
  element n1 {
    type: "the bounded-parity point verifies one shared finding class and its split outcomes · anchored test binding · binding present · test:protocol.markdown-parser.bounded-parity"
  }
  requirement n2 {
    text: "The Markdown parser reifies the ruled subset · declared Spec · spec:carrier.markdown-parser"
  }
  %% 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-parser.bounded-parity

E2: verifies · declared

The diagram as text

spec:carrier.markdown-parser: The Markdown parser reifies the ruled subset
spec:carrier.markdown-parser.bounded-parity: One finding class is shared while the carriers' outcomes stay their own
spec:carrier.markdown-parser.bounded-parity refines spec:carrier.markdown-parser · declared
spec:carrier.markdown-parser.bounded-parity verifies spec:carrier.markdown-parser · 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-parser.bounded-parity

flowchart TB
  n0["The Markdown parser reifies the ruled subset · spec:carrier.markdown-parser"]
  n1["One finding class is shared while the carriers' outcomes stay their own · spec:carrier.markdown-parser.bounded-parity"]
  n1 -->|"refines · declared"| n0
  n1 -->|"verifies · declared"| n0

Rests on

refines · spec:carrier.markdown-parser · 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 parser reifies the ruled subset `spec:carrier.markdown-parser` · resolves	declared	None	None
verifies · outgoing	The Markdown parser reifies the ruled subset `spec:carrier.markdown-parser` · resolves	declared	None	None

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

test:protocol.markdown-parser.bounded-parity · the bounded-parity point verifies one shared finding class and its split outcomes · anchored · test/self-hosting-carrier.test.ts:149 · 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-carrier.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-carrier.test.ts`