Spec Studio

HQ's vocabulary

spec:hq.modelDomain Model · featuredefined floor ready

Next rung ready: nothing blocks; it waits only for the author's statement.

Packs: none

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

Findings: no errors, no warnings

specs/hq/model.sdp.md

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

Intent
outcome
Every aspect of HQ's design and plan speaks of the same things in the same words.
Model
HQ line 19 · specs/hq/model.sdp.md:19
The owner's isolated headquarters: where long-term planning, core design and cross-project context live, and from which engineering work is started.
HQ plan line 20 · specs/hq/model.sdp.md:20
This SDP corpus: HQ's core design and its plan for all software delivery, kept in a small repository outside the project suite.
aspect line 21 · specs/hq/model.sdp.md:21
One area of the owner's delivery that HQ plans, carried here as a feature that refines the HQ epic.
engineering environment line 22 · specs/hq/model.sdp.md:22
One of the fleet's engineering environments, reached through T3 Code, where agents edit repositories, build and test.
detailed session line 23 · specs/hq/model.sdp.md:23
A planning, design or execution session HQ starts in the engineering environment, in one target repository, for one settled piece of the plan.
infra line 24 · specs/hq/model.sdp.md:24
The repository and the isolated environment that deliver configuration, skills and services to every machine, HQ's environment included.
Kontrapunkt line 25 · specs/hq/model.sdp.md:25
The owner's private, full-context chief-of-staff repository, and the first attempt at HQ's delivery; it holds private context and client facts that this corpus never copies.
assistant capability line 26 · specs/hq/model.sdp.md:26
What handles the owner's recurring work outside engineering, on schedules.
Relay line 27 · specs/hq/model.sdp.md:27
The plugin that runs jobs on other providers' models, GPT, Grok, Kimi and GLM through ZCode among them, from the Claude Code harness.
cc-agents line 28 · specs/hq/model.sdp.md:28
Relay's rewrite to the official Claude Code mods extension standard, meant to replace Relay.
projection line 29 · specs/hq/model.sdp.md:29
A view derived from one source of truth and never edited by hand: infra's delivered configuration and SDP's rendered views are both projections.
the recovery line 30 · specs/hq/model.sdp.md:30
The effort of 29 and 30 October to recover one failed orchestration, delivery from infra to Kontrapunkt, with its master plan, briefs and scans.
Verification

Verifier bindings

No verifier binding recorded.

Design view

Requirement drawing

  • Declared verifying examples: no declared verifying example.
  • Satisfying or referencing units: no recorded binding.
  • Test or oracle bindings: no recorded binding.
Requirement drawing for spec:hq.model

Arrows: refines (declared).

The diagram as text
  • spec:hq.model: HQ's vocabulary · declared Spec · no satisfying binding
  • spec:hq.headquarters: HQ plans and designs across every project, and starts the engineering work · declared Spec
  • spec:hq.model refines spec:hq.headquarters · declared — names what the HQ design speaks of
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:hq.model
The diagram as text
  • spec:hq.headquarters: HQ plans and designs across every project, and starts the engineering work
  • spec:hq.isolation: HQ works apart from detailed work, and infra manages its environment
  • spec:hq.model: HQ's vocabulary
  • spec:hq.model refines spec:hq.headquarters · declared — names what the HQ design speaks of
  • spec:hq.isolation dependsOn spec:hq.model · declared — the requirement is stated in the model's terms
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

Distance 1

  • spec:hq.isolation

    Implementing units

    None.

    Referencing units

    None.

    Enabled verifiers: None

    Packs: None

Distance 2

Distance 3

Distance 4

Distance 5

Distance 6

Distance 7

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingHQ plans and designs across every project, and starts the engineering work
spec:hq.headquarters · resolves
declarednames what the HQ design speaks ofNone
dependsOn · incomingHQ works apart from detailed work, and infra manages its environment
spec:hq.isolation · resolves
declaredthe requirement is stated in the model's termsNone

Bindings

Implementation binding: none

Design reference: none

Verifier binding: none

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.