Spec Studio

A publisher's --help prints its help and touches no root

spec:consumers.command-line.verb-help-touches-nothingExample / Scenario · storyready floor ready

Packs: pack:adopter-speed-v1, pack:self-hosting-v1

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

Findings: no errors, no warnings

specs/consumers/command-line.verb-help-touches-nothing.sdp.md

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

Intent
outcome
Execute the help rule on a publisher whose build would otherwise remove every projection root.
assumptions
  • The world writes the extraction root and stale pages of the generate example, runs sdp view --help on it, checks that standard output holds the view's usage line and its paragraph from sdp --help, and that every stale page is still in place.
Behavior

Examples

Given an extraction root holding two authored Specs and {roots: "a stale page in each of the five projection roots"}
When the command {command: "sdp view --help"} runs at that root
Then the command exits {exitCode: 0}
Then the stale pages survive: {staleSurvive: true}
Then the roots holding the current pages for those Specs are {currentRoots: ""}
Then the absent projection roots are {absentRoots: ""}
Then standard output opens with the line {firstLine: "Usage:"}
Verification

Verifier bindings

  • test:protocol.command-line.verb-help-touches-nothing · anchored · test anchor binding present · test/self-hosting-command-line.test.ts:192

    External run evidence from test/self-hosting-command-line.test.ts

    Test anchors: test:protocol.command-line.generate-check-failure, test:protocol.command-line.generate-writes-every-root, test:protocol.command-line.verb-help-touches-nothing. Specs verified by those bindings: spec:consumers.command-line, spec:consumers.command-line.generate-check-failure, spec:consumers.command-line.generate-writes-every-root, spec:consumers.command-line.verb-help-touches-nothing.

    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

    NameSuiteResultDuration
    executes the bound example against a fresh worldOne run of sdp generate leaves all five roots current (spec:consumers.command-line.generate-writes-every-root)passed101.27 ms
    executes the bound example against a fresh worldA root that fails its check is removed while sdp generate writes the others (spec:consumers.command-line.generate-check-failure)passed68 ms
    executes the bound example against a fresh worldA publisher's --help prints its help and touches no root (spec:consumers.command-line.verb-help-touches-nothing)passed1.61 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:consumers.command-line.verb-help-touches-nothing
The diagram as text
  • spec:consumers.command-line.verb-help-touches-nothing: A publisher's --help prints its help and touches no root · declared Spec
  • spec:consumers.command-line: Every verb answers --help, and one verb writes every projection root · declared Spec
  • test:protocol.command-line.verb-help-touches-nothing: test:protocol.command-line.verb-help-touches-nothing · anchored test binding · binding present · test/self-hosting-command-line.test.ts:192
  • spec:consumers.command-line.verb-help-touches-nothing refines spec:consumers.command-line · declared
  • spec:consumers.command-line.verb-help-touches-nothing verifies spec:consumers.command-line · declared
  • test:protocol.command-line.verb-help-touches-nothing verifies spec:consumers.command-line.verb-help-touches-nothing · 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:consumers.command-line.verb-help-touches-nothing
  • E2: verifies · declared
The diagram as text
  • spec:consumers.command-line: Every verb answers --help, and one verb writes every projection root
  • spec:consumers.command-line.verb-help-touches-nothing: A publisher's --help prints its help and touches no root
  • spec:consumers.command-line.verb-help-touches-nothing refines spec:consumers.command-line · declared
  • spec:consumers.command-line.verb-help-touches-nothing verifies spec:consumers.command-line · 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 · outgoingEvery verb answers --help, and one verb writes every projection root
spec:consumers.command-line · resolves		declaredNoneNone
verifies · outgoingEvery verb answers --help, and one verb writes every projection root
spec:consumers.command-line · resolves		declaredNoneverbHelp, oneHelpText

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.command-line.verb-help-touches-nothing · anchored · test/self-hosting-command-line.test.ts:192 · 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.