Spec Studio

A stray brace stays prose while an unusable group stays a named slot

spec:carrier.slot-notation.refused-guessExample / 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/slot-notation.refused-guess.sdp.md

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

Intent
outcome
Execute the refuse-to-guess posture where a stray brace precedes an unparsable group.
Behavior

Examples

Given the step text {stepText: "a stray { then {n: maybe} line items"}
When the notation parses the step text
Then the notation finds {slotCount: 1} slot groups
Then the first group has the form {form: "malformed"} and the name {slotName: "n"}
Then the step skeleton is {skeleton: "a stray { then {n} line items"}
Verification

Verifier bindings

  • test:protocol.slot-notation.refused-guess · the refusal point verifies prose braces and the unusable slot · anchored · test anchor binding present · test/self-hosting-carrier.test.ts:231

    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

    NameSuiteResultDuration
    executes the bound example against a fresh worldOne finding class is shared while the carriers' outcomes stay their own (spec:carrier.markdown-parser.bounded-parity)passed27.95 ms
    executes the bound example against a fresh worldA typed declaration normalizes to the skeleton its binding shares (spec:carrier.slot-notation.typed-declaration)passed0.52 ms
    executes the bound example against a fresh worldA stray brace stays prose while an unusable group stays a named slot (spec:carrier.slot-notation.refused-guess)passed0.38 ms
    executes the bound example against a fresh worldA one-literal group in a vocabulary is a binding that declares nothing (spec:carrier.slot-notation.one-literal-binding)passed2.37 ms
    executes the bound example against a fresh worldA TypeScript question list that cannot be read drops whole with a warning (spec:model.open-question-fields.dropped-list-warns)passed8.41 ms
    drops the whole question list for a non-static question textnot recordedpassed4.35 ms
    drops the whole question list for a non-static blocking flagnot recordedpassed3.64 ms
    drops the whole question list for a spread in the listnot recordedpassed6.65 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:carrier.slot-notation.refused-guess
The diagram as text
  • spec:carrier.slot-notation.refused-guess: A stray brace stays prose while an unusable group stays a named slot · declared Spec
  • spec:carrier.slot-notation: Slot notation declares, binds, and refuses to guess · declared Spec
  • test:protocol.slot-notation.refused-guess: the refusal point verifies prose braces and the unusable slot · anchored test binding · binding present · test/self-hosting-carrier.test.ts:231
  • spec:carrier.slot-notation.refused-guess refines spec:carrier.slot-notation · declared
  • spec:carrier.slot-notation.refused-guess verifies spec:carrier.slot-notation · declared
  • test:protocol.slot-notation.refused-guess verifies spec:carrier.slot-notation.refused-guess · 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.slot-notation.refused-guess
  • E2: verifies · declared
The diagram as text
  • spec:carrier.slot-notation: Slot notation declares, binds, and refuses to guess
  • spec:carrier.slot-notation.refused-guess: A stray brace stays prose while an unusable group stays a named slot
  • spec:carrier.slot-notation.refused-guess refines spec:carrier.slot-notation · declared
  • spec:carrier.slot-notation.refused-guess verifies spec:carrier.slot-notation · 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 · outgoingSlot notation declares, binds, and refuses to guess
spec:carrier.slot-notation · resolves
declaredNoneNone
verifies · outgoingSlot notation declares, binds, and refuses to guess
spec:carrier.slot-notation · resolves
declaredNoneslotName, unusableSlot, localDegradation

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.slot-notation.refused-guess · the refusal point verifies prose braces and the unusable slot · anchored · test/self-hosting-carrier.test.ts:231 · 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.