Embed the stage-report protocol in the dispatch artifact - #764
Closed
clkao wants to merge 3 commits into
Closed
Conversation
Pi-dispatched ensigns missed the stage report on real dispatches because
skill="ensign" is discoverable, not auto-loaded, and the dispatch body
carried no stage-report format. build.go step 8 now emits a
### Stage Report format block (the ## Stage Report: {stage} heading +
DONE/SKIPPED/FAILED/Summary structure, sourced from
ensign-shared-core.md) conditional on host=="pi", and the Pi firstActionBlock
is narrowed from the full ensign discipline overclaim to the stage-report
format template only (the ensign skill supplies the rest).
AC-2: a fixture test in internal/dispatch builds an artifact with a
non-self-describing checklist for host=pi and asserts the body carries
## Stage Report:, - DONE:, - SKIPPED:, - FAILED:, ### Summary; the same
test asserts host=claude and host=codex do NOT carry the embedded block.
AC-1/AC-3: a non-self-describing live-lane variant in internal/ensigncycle
dispatches a Pi worker with a checklist equal to a real entity's acceptance
criteria (no skill-path, heading, or format hints) and asserts the worker
still writes a complete ## Stage Report: implementation with a clean
state-checkout commit. An offline build guard asserts the body carries the
protocol while the checklist stdin carries no format hint. Reverting the
body embed makes the Pi fixture and the offline guard RED (claude/codex stay
green) — the tautology the existing self-describing lanes could not close.
Registry: register the pi-non-self-describing-dispatch runtime proof and its
pi/non-self-describing-smoke fixture.
clkao
force-pushed
the
spacedock-ensign/embed-stage-report-protocol-in-dispatch
branch
from
August 26, 2026 16:16
90694e6 to
430ab47
Compare
…oor-smoke step AC-1 (a Pi-dispatched ensign writes a complete stage report on a real, non-self-describing dispatch) was only proven offline / by the adversarial revert; no CI step's -run filter selected TestLivePiNonSelfDescribingDispatch (the front-door-smoke step ran TestLivePiFrontDoorSmoke, the common-journeys step ran ^TestLiveCommon). Extend the front-door-smoke step's -run to 'TestLivePiFrontDoorSmoke|TestLivePiNonSelfDescribingDispatch' so AC-1 is auto-proven in CI on every pi-live cadence and PR, reusing the shared front- door fixture infra. CI-wiring only — no test or production code changed.
This was referenced Aug 27, 2026
Drop the Pi-only stageReportFormatBlock() embed and its step-8a conditional from the dispatch body. The body no longer carries the stage-report protocol template; a stacked follow-up layer rewrites the Pi firstActionBlock to invoke the ensign skill instead. Remove the body-presence assertions that depended on the embed: - TestBuildPiArtifactCarriesStageReportProtocol (internal/dispatch) - TestPiNonSelfDescribingDispatchBuildBodyCarriesProtocol (internal/ensigncycle) Keep TestBuildPiFirstActionNarrowedToStageReportFormat (overclaim gone), the live lane (TestLivePiNonSelfDescribingDispatch), and the CI wiring. The live lane will fail in pi-live until the follow-up layer rewrites firstActionBlock to invoke the skill — that is the point (the lane proves the fix).
Collaborator
Author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Pi-dispatched ensigns missed the required
## Stage Reportsection on real dispatches becausedispatch build's artifact body omitted the stage-report protocol while its## First actionblock falsely claimed it carried it. Claude auto-loads viaSkill()and Codex has a load-bearing$spacedock:ensign; thenbootstrap edge; Pi had neither, so 3/4 workers wrote summaries in their result messages instead of stage reports in the entity files. This embeds the protocol in the Pi artifact body and narrows the false claim.What changed
internal/dispatch/build.go: newstageReportFormatBlock()emits the## Stage Report: {stage}+ DONE/SKIPPED/FAILED/Summary template (sourced fromensign-shared-core.md); step 8a appends it conditionally onhost == "pi"; the PifirstActionBlockoverclaim ("shared ensign discipline entry points (stage-report format, polling, worktree ownership, and completion protocol)") is narrowed to the stage-report format template (the ensign skill supplies the rest).internal/dispatch/build_stage_report_protocol_test.go(new):TestBuildPiArtifactCarriesStageReportProtocol(AC-2 — pi body carries the tokens; claude/codex do not) +TestBuildPiFirstActionNarrowedToStageReportFormat.internal/ensigncycle/pi_nonself_describing_build_test.go(new):TestPiNonSelfDescribingDispatchBuildBodyCarriesProtocoloffline guard (asserts the body carries the protocol while the checklist stdin carries no format hint).internal/ensigncycle/pi_nonself_describing_live_test.go(new,//go:build live):TestLivePiNonSelfDescribingDispatch(AC-1/AC-3 — a non-self-describing dispatch writes a complete stage report).docs/runtime-live-ci-registry.md: registered thepi-non-self-describing-dispatchruntime proof.Evidence
TestBuildPiArtifactCarriesStageReportProtocol— pi body carries## Stage Report:/- DONE:/- SKIPPED:/- FAILED:/### Summary; claude/codex do not.go test ./internal/dispatch/...ok (26.7s).if host == "pi"embed makes the pi subtest + the ensigncycle build guard FAIL (claude/codex stay green); restored, both pass.-tags liveand its build guard passed; the live dispatch was auth-blocked locally (no Pi API key in the sandbox) — deferred to CI on this PR.go test ./internal/dispatch/... ./internal/ensigncycle/...ok;gofmt -lclean;go vetclean; race clean.t4