actorHQ hands a settled piece to a detailed session
spec:hq.session-handoffNext rung ready: nothing blocks; it waits only for the author's statement.
Packs: none
Design: no design entries · no pinned declarations · 2 decisions
Findings: no errors, no warnings
design/hq/hq/session-handoff.sdp.md
1 open question and no blocking questions; implementation binding none, verifier binding none, and expected-outcome oracle none.
This is the seam of the design. Everything HQ plans reaches a repository through it, and the recovery was about this kind of seam: delivery from one repository into another, where the trouble probably came from misreading how the target's tests work. If HQ cannot deliver into one external repository, it cannot deliver into any of the fifty.
Intent
- HQ, starting work; the agent leading a detailed session.
problem- A session that starts from copied context builds on stale status and misses how the target repository works, and its result does not come back to the plan.
outcome- A settled piece of the plan reaches the engineering environment as a session that names its Specs and its target, works by the target's own rules, and comes back as a pull request HQ can read.
Open questions
- non-blocking ·
question.sessionModelsline 36 · design/hq/hq/session-handoff.sdp.md:36· Which harness and models does a detailed session run on?Decider: delegatedProvisional: The session's lead chooses per task, under the orchestration aspect's rules.
Workflow
rule.selectsline 42 ·design/hq/hq/session-handoff.sdp.md:42- HQ selects a settled entry from the roadmap and names the target repository, the Specs it rests on and what the session must return.
no example exercises it
rule.startsline 43 ·design/hq/hq/session-handoff.sdp.md:43- HQ starts a project session in the target repository's checkout in the engineering environment through T3's MCP.
no example exercises it
rule.worksline 44 ·design/hq/hq/session-handoff.sdp.md:44- The session does the detailed planning, design and execution there, under that repository's own instructions, skills, tests and gate.
no example exercises it
rule.returnsline 45 ·design/hq/hq/session-handoff.sdp.md:45- The session returns the pull request's URL, head commit, and checks and reviews, plus any new standing directions, decision points and cross-project context, which HQ routes to their one home.
no example exercises it
rule.updatesline 46 ·design/hq/hq/session-handoff.sdp.md:46- HQ reviews the pull request against the named Specs and the target's gate, and names the work delivered only after it merges.
no example exercises it
rule.targetOwnsDetailline 47 ·design/hq/hq/session-handoff.sdp.md:47- Detailed design lands in the target repository, in its own SDP corpus where it has one; this corpus names it and copies none of it.
no example exercises it
rule.targetGateline 48 ·design/hq/hq/session-handoff.sdp.md:48- A session answers to the target repository's own tests and gate, and HQ's plan never stands in for them.
no example exercises it
rule.briefNamesSpecsline 49 ·design/hq/hq/session-handoff.sdp.md:49- A session's brief names Specs, a Pack and the target, and carries a read-only projection of them, the context bundle (recipe 36); it copies no status and no other plan text.
no example exercises it
rule.lockedDesignline 50 ·design/hq/hq/session-handoff.sdp.md:50- An approved part of the graph reaches the target repository as a read-only projection, regenerated from this corpus and refused by the target's gate if edited.
no example exercises it
0 unkeyed rules.
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.
Arrows: refines (declared).
The diagram as text
- spec:hq.session-handoff: HQ hands a settled piece to a detailed session · declared Spec · no satisfying binding
- spec:decisions.design-locked-by-projection: An approved part of the graph reaches engineering as a read-only projection · declared Spec
- spec:hq.headquarters: HQ plans and designs across every project, and starts the engineering work · declared Spec
- spec:decisions.design-locked-by-projection refines spec:hq.session-handoff · declared — settles how a settled design reaches the engineering repository and stays locked
- spec:hq.session-handoff refines spec:hq.headquarters · declared — realizes how HQ starts the work it does not do itself
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
- An approved part of the graph reaches engineering as a read-only projection
When a part of the graph reaches an agreed status, it is delivered to the target repository as a read-only projection: the selected Specs with their ancestors, the decisions behind them and every Spec their text mentions. The repository refines and implements against it, and its own gate refuses any edit to it.
- HQ does the core design and starts detailed work in the engineering environment
HQ does long-term planning, high-level design and cross-project context. When a piece settles, HQ starts detailed planning and execution as sessions in the engineering environment, and does not do that work itself.
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
Shown as text: this drawing exceeds the height budget of 2000 pixels after folding.
The diagram as text
- spec:decisions.design-locked-by-projection: An approved part of the graph reaches engineering as a read-only projection
- spec:decisions.hq-starts-engineering: HQ does the core design and starts detailed work in the engineering environment
- spec:hq.delivery-planning: SDP carries delivery planning across projects
- spec:hq.engineering-environment: The engineering environment runs apart from HQ
- spec:hq.environment: HQ runs in an isolated environment that infra manages
- 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.session-handoff: HQ hands a settled piece to a detailed session
- spec:hq.session-handoff constrainedBy spec:hq.isolation · declared — the requirement makes a session the way detailed work leaves HQ
- spec:hq.session-handoff decidedBy spec:decisions.design-locked-by-projection · declared — the ruling makes a read-only projection how an approved design reaches the session
- spec:hq.session-handoff decidedBy spec:decisions.hq-starts-engineering · declared — the ruling makes the session the only way detailed work leaves HQ
- spec:hq.session-handoff dependsOn spec:hq.engineering-environment · declared — detailed sessions run there
- spec:hq.session-handoff dependsOn spec:hq.environment · declared — the handoff starts from an isolated HQ
- spec:hq.session-handoff refines spec:hq.headquarters · declared — realizes how HQ starts the work it does not do itself
- spec:hq.delivery-planning dependsOn spec:hq.session-handoff · declared — a project joins the plan through a detailed session started in it
- spec:decisions.design-locked-by-projection refines spec:hq.session-handoff · declared — settles how a settled design reaches the engineering repository and stays locked
Rests on
- refines · spec:hq.headquarters · stated defined, floor ready
- dependsOn · spec:hq.engineering-environment · stated defined, floor ready
- dependsOn · spec:hq.environment · stated defined, floor ready
- constrainedBy · spec:hq.isolation · stated defined, floor ready
- decidedBy · spec:decisions.design-locked-by-projection · stated defined, floor ready
- decidedBy · spec:decisions.hq-starts-engineering · stated defined, floor ready
Rested on by
Distance 1
- spec:decisions.design-locked-by-projection
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:hq.delivery-planning
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
Distance 2
- spec:decisions.sdp-holds-the-plan
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
Distance 3
- spec:hq.headquarters
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
Distance 4
- spec:architecture.cc-agents
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:architecture.inbox
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:architecture.relay
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:decisions.hq-starts-engineering
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:decisions.recovery-closed
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:decisions.separate-repositories
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:hq.context
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:hq.engineering-environment
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:hq.environment
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:hq.infra
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:hq.model
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:hq.orchestration
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
Distance 5
- spec:cc-agents.hq-links
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:decisions.client-material-deferred
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:decisions.coordination-native-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:decisions.isolated-infra-manages-hq
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:decisions.orchestration-leaves-infra
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
- spec:hq.isolation
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: None
Relations
| Relation and direction | Other end | Claim | Reason | Exercised keys |
|---|---|---|---|---|
| constrainedBy · outgoing | HQ works apart from detailed work, and infra manages its environmentspec:hq.isolation · resolves | declared | the requirement makes a session the way detailed work leaves HQ | None |
| decidedBy · outgoing | An approved part of the graph reaches engineering as a read-only projectionspec:decisions.design-locked-by-projection · resolves | declared | the ruling makes a read-only projection how an approved design reaches the session | None |
| decidedBy · outgoing | HQ does the core design and starts detailed work in the engineering environmentspec:decisions.hq-starts-engineering · resolves | declared | the ruling makes the session the only way detailed work leaves HQ | None |
| dependsOn · outgoing | The engineering environment runs apart from HQspec:hq.engineering-environment · resolves | declared | detailed sessions run there | None |
| dependsOn · outgoing | HQ runs in an isolated environment that infra managesspec:hq.environment · resolves | declared | the handoff starts from an isolated HQ | None |
| refines · outgoing | HQ plans and designs across every project, and starts the engineering workspec:hq.headquarters · resolves | declared | realizes how HQ starts the work it does not do itself | None |
| dependsOn · incoming | SDP carries delivery planning across projectsspec:hq.delivery-planning · resolves | declared | a project joins the plan through a detailed session started in it | None |
| refines · incoming | An approved part of the graph reaches engineering as a read-only projectionspec:decisions.design-locked-by-projection · resolves | declared | settles how a settled design reaches the engineering repository and stays locked | None |
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.