A one-literal group in a vocabulary is a binding that declares nothing

outcome

Execute the one-literal reading on a vocabulary step, from the parse to contract generation.

Examples

Given the step text {stepText: "the cart is in {mode: 'only'} mode"}
When the notation parses the step text
Then the notation finds {slotCount: 1} slot groups
Then the first group has the form {form: "bound"} and the name {slotName: "mode"}
Then the step skeleton is {skeleton: "the cart is in {mode} mode"}
Then contract generation declares {dimensionCount: 0} dimensions and reports {generationFinding: "contracts/untyped-vocabulary-slot"}

Verifier bindings

• test:protocol.slot-notation.one-literal-binding · anchored · test anchor binding present · test/self-hosting-carrier.test.ts:258

  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 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	One finding class is shared while the carriers' outcomes stay their own (spec:carrier.markdown-parser.bounded-parity)	passed	43.71 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	1.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.45 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.74 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	11.66 ms
  drops the whole question list for a non-static question text	not recorded	passed	6.04 ms
  drops the whole question list for a non-static blocking flag	not recorded	passed	6.76 ms
  drops the whole question list for a spread in the list	not recorded	passed	8.19 ms

Requirement drawing

• Satisfying or referencing units: no recorded binding.

Decisions

No decision record named.

No implementation neighborhood recorded.

Runtime observation: not tracked.

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.