Skip to content

fo-core: defer Status Viewer + Issue Filing into a lazily-loaded reference#452

Merged
clkao merged 1 commit into
mainfrom
spacedock-ensign/entity-status
Jun 30, 2026
Merged

fo-core: defer Status Viewer + Issue Filing into a lazily-loaded reference#452
clkao merged 1 commit into
mainfrom
spacedock-ensign/entity-status

Conversation

@clkao

@clkao clkao commented Jun 30, 2026

Copy link
Copy Markdown
Collaborator

Defer the Status Viewer and Issue Filing guidance out of the boot-resident FO core — ~1,900 chars off every greet, loaded only when the FO answers a status question, mutates state, or files an issue.

What changed

  • Move ## Status Viewer (incl. Captain-Facing State Display) and ## Issue Filing verbatim into a new host-neutral references/fo-status-viewer.md, replaced in the boot core by a deferred-module pointer.
  • Register the reference's content anchors in the closure test (content-carriage, not just file existence).
  • Add a behavioral greet-independence oracle: an offline multi-delta fixture + the live shallow-boot lane.

Evidence

  • Live shallow-boot lane GREEN (131s real model run): the FO greets-and-stops with no pre-greet Read of the deferred reference.
  • Boot core −1908 chars (moves byte-identical); contractlint closure 2/2 + reproduced drop-one RED; full go test ./... green.
  • Detached adversarial audit: CLEAN.

Review guidance

Greet-independence is the load-bearing claim — proven by the live lane plus a multi-delta-negative oracle, not a prose assertion.


84

…t FO core

Move the `## Status Viewer` (incl `### Captain-Facing State Display`) and
`## Issue Filing` sections verbatim out of first-officer-shared-core.md into a
new host-neutral references/fo-status-viewer.md, reached by a deferred-module
pointer (AC-1: boot core -1908 chars, net-negative vs origin/main).

Register fo-status-viewer.md's three anchors in foReferenceCores so the
content-carriage closure guard proves the reference CARRIES the moved sections,
not merely that it exists (AC-3).

Add assertGreetReadsNoDeferredStatusReference + a committed multi-delta negative
fixture (pre-greet Read of fo-status-viewer.md on a later delta); extend
ClaudeTurn with per-turn read targets so the oracle can detect a pre-greet read;
wire the oracle into the shallow-boot live lane alongside assertShallowBoot (AC-2).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@clkao
clkao merged commit 701f0bb into main Jun 30, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant