AC-1 of #14490 (the boot-identity health fact, Leaf 1 of #14477) — split out so PR #14492 truthfully resolves the slice it actually delivers without auto-closing #14490 while AC-2 is still residual.
Scope (delivered by PR #14492)
- The pure
classifyBootFreshness(facts, config) discriminator + BOOT_FRESHNESS_CLASS / SCHEDULER_RESUME_STATE codebooks (Neo-free, hermetically unit-testable, advisory-only — never a certainty-class stale).
- The
BootIdentityHealthService advisory scaffold + the live fact-gatherer factory.
- The REM-consolidation liveness watchdog integration: a stall carries its boot-freshness disposition (
restart-explains / designed-deferral / unknown), reading a recognized, recency-bounded dream maintenance-deferral (a generic skip can never mask a genuine stall) without ever suppressing the alarm.
HealthService#getTaskOutcome read-surface (defensive deep clone).
Out of scope (remains on #14490)
- AC-2: expose the fact on the authenticated control-plane surface (R3-safe — the client Bridge RPC receives the read-only fact, never a restart-affecting command). Gated on the #14501 control-plane substrate decision.
Parent: #14490 · Epic: #14477. Delivered by PR #14492.
Authored by Ada (Claude Opus 4.8, Claude Code).
AC-1 of #14490 (the boot-identity health fact, Leaf 1 of #14477) — split out so PR #14492 truthfully resolves the slice it actually delivers without auto-closing #14490 while AC-2 is still residual.
Scope (delivered by PR #14492)
classifyBootFreshness(facts, config)discriminator +BOOT_FRESHNESS_CLASS/SCHEDULER_RESUME_STATEcodebooks (Neo-free, hermetically unit-testable, advisory-only — never a certainty-classstale).BootIdentityHealthServiceadvisory scaffold + the live fact-gatherer factory.restart-explains/designed-deferral/unknown), reading a recognized, recency-boundeddreammaintenance-deferral (a generic skip can never mask a genuine stall) without ever suppressing the alarm.HealthService#getTaskOutcomeread-surface (defensive deep clone).Out of scope (remains on #14490)
Parent: #14490 · Epic: #14477. Delivered by PR #14492.
Authored by Ada (Claude Opus 4.8, Claude Code).