Spec Studio

A Markdown Pack twin matches its TypeScript manifest

spec:carrier.markdown-pack-authoring.markdown-ts-parityExample / 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-pack-authoring.markdown-ts-parity.sdp.md

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

Intent
outcome
Execute Markdown↔TypeScript Pack parity on one probe pack, the file field aside.
Behavior

Examples

Given an extraction root holding the pack carrier {carrierSource: "the Markdown twin of a TS manifest"}
When the extractor derives the graph
Then the graph holds the pack {packId: "pack:probe.parity"} whose membership names {memberId: "spec:probe.member"}
Then the Markdown and TypeScript Pack nodes are equal apart from carrier file paths, and their membership edges are equal: {equal: true}
Verification

Verifier bindings

  • test:protocol.markdown-pack-authoring.markdown-ts-parity · the parity point verifies equal Markdown and TypeScript Pack derivation · anchored · test anchor binding present · test/self-hosting-pack-markdown.test.ts:241

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

    Test anchors: test:protocol.markdown-pack-authoring.markdown-ts-parity, test:protocol.markdown-pack-authoring.spec-envelope-refused. Specs verified by those bindings: spec:carrier.markdown-pack-authoring, spec:carrier.markdown-pack-authoring.markdown-ts-parity, spec:carrier.markdown-pack-authoring.spec-envelope-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 Markdown Pack twin matches its TypeScript manifest (spec:carrier.markdown-pack-authoring.markdown-ts-parity)passed29.16 ms
    executes the bound example against a fresh worldA Spec key on a Pack envelope is refused (spec:carrier.markdown-pack-authoring.spec-envelope-refused)passed1.66 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:carrier.markdown-pack-authoring.markdown-ts-parity
The diagram as text
  • spec:carrier.markdown-pack-authoring.markdown-ts-parity: A Markdown Pack twin matches its TypeScript manifest · declared Spec
  • spec:carrier.markdown-pack-authoring: A Pack has a Markdown manifest carrier · declared Spec
  • test:protocol.markdown-pack-authoring.markdown-ts-parity: the parity point verifies equal Markdown and TypeScript Pack derivation · anchored test binding · binding present · test/self-hosting-pack-markdown.test.ts:241
  • spec:carrier.markdown-pack-authoring.markdown-ts-parity refines spec:carrier.markdown-pack-authoring · declared
  • spec:carrier.markdown-pack-authoring.markdown-ts-parity verifies spec:carrier.markdown-pack-authoring · declared
  • test:protocol.markdown-pack-authoring.markdown-ts-parity verifies spec:carrier.markdown-pack-authoring.markdown-ts-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.

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-pack-authoring.markdown-ts-parity
  • E2: verifies · declared
The diagram as text
  • spec:carrier.markdown-pack-authoring: A Pack has a Markdown manifest carrier
  • spec:carrier.markdown-pack-authoring.markdown-ts-parity: A Markdown Pack twin matches its TypeScript manifest
  • spec:carrier.markdown-pack-authoring.markdown-ts-parity refines spec:carrier.markdown-pack-authoring · declared
  • spec:carrier.markdown-pack-authoring.markdown-ts-parity verifies spec:carrier.markdown-pack-authoring · 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 · outgoingA Pack has a Markdown manifest carrier
spec:carrier.markdown-pack-authoring · resolves		declaredNoneNone
verifies · outgoingA Pack has a Markdown manifest carrier
spec:carrier.markdown-pack-authoring · resolves		declaredNoneNone

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.markdown-pack-authoring.markdown-ts-parity · the parity point verifies equal Markdown and TypeScript Pack derivation · anchored · test/self-hosting-pack-markdown.test.ts:241 · 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.