outcomeA TypeScript question list that cannot be read drops whole with a warning
spec:model.open-question-fields.dropped-list-warnsPacks: pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/model/open-question-fields.dropped-list-warns.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
a TypeScript Spec carrier whose blocking open question meets {construct: "a non-static question text"}When
the extractor reifies the carrier
Then
the extractor reports {findingId: "extract/non-static-section"} at severity {severity: "warning"}
the Spec stays in the graph with {questionCount: 0} open questionsComposing needs the script.
Intent
- Execute the lossy drop on a blocking question whose text is not static, so the question leaves the graph with only a warning.
Behavior
Examples
Given a TypeScript Spec carrier whose blocking open question meets {construct: "a non-static question text"}
When the extractor reifies the carrier
Then the extractor reports {findingId: "extract/non-static-section"} at severity {severity: "warning"}
Then the Spec stays in the graph with {questionCount: 0} open questionsVerification
Verifier bindings
- test:protocol.open-question-fields.dropped-list-warns · anchored · test anchor binding present ·
test/self-hosting-carrier.test.ts:367External run evidence from
test/self-hosting-carrier.test.tsTest 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
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:model.open-question-fields.dropped-list-warns: A TypeScript question list that cannot be read drops whole with a warning · declared Spec
- spec:model.open-question-fields: An open question may name who decides it, its links, a provisional reading and a re-entry trigger · declared Spec
- test:protocol.open-question-fields.dropped-list-warns: test:protocol.open-question-fields.dropped-list-warns · anchored test binding · binding present ·
test/self-hosting-carrier.test.ts:367 - spec:model.open-question-fields.dropped-list-warns refines spec:model.open-question-fields · declared
- spec:model.open-question-fields.dropped-list-warns verifies spec:model.open-question-fields · declared
- test:protocol.open-question-fields.dropped-list-warns verifies spec:model.open-question-fields.dropped-list-warns · 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
- E2: verifies · declared
The diagram as text
- spec:model.open-question-fields: An open question may name who decides it, its links, a provisional reading and a re-entry trigger
- spec:model.open-question-fields.dropped-list-warns: A TypeScript question list that cannot be read drops whole with a warning
- spec:model.open-question-fields.dropped-list-warns refines spec:model.open-question-fields · declared
- spec:model.open-question-fields.dropped-list-warns verifies spec:model.open-question-fields · 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
- refines · spec:model.open-question-fields · 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 | An open question may name who decides it, its links, a provisional reading and a re-entry triggerspec:model.open-question-fields · resolves | declared | None | None |
| verifies · outgoing | An open question may name who decides it, its links, a provisional reading and a re-entry triggerspec:model.open-question-fields · resolves | declared | None | droppedListWarning |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.open-question-fields.dropped-list-warns · anchored ·
test/self-hosting-carrier.test.ts:367· 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.