Repository navigation

microVM lifecycle controller decisions + host-local CellReadiness store; admission consumes cell readiness - #11670

Merged

gunbai-bot[bot] merged 20 commits into

mainfrom

session/tidy-wolf-685

Sep 20, 2026

Merged

microVM lifecycle controller decisions + host-local CellReadiness store; admission consumes cell readiness#11670
gunbai-bot[bot] merged 20 commits into
mainfrom
session/tidy-wolf-685

Commits on Sep 19, 2026
- microVM lifecycle controller decisions + host-local CellReadiness store; admission consumes cell readiness
  
  Brian Searls
  and
  claude
  committed
  0cee7da
- lifecycle: the slot network is read back quiescent, not absent (ruling A); tap/conntrack/nft readback is the networking lane's
  
  Brian Searls
  and
  claude
  committed
  14552a6
- lifecycle: residue found at start names no attempt and no invented generation; it records an unattributed quarantine at the admitted generation (review on #11670)
  
  Brian Searls
  and
  claude
  committed
  94af326
- lifecycle: declare the module-level frontier with its named consumer and trigger (review 68092)
  
  Brian Searls
  and
  claude
  committed
  bba3398
- runner_microvm admission keeps host withdrawal, cell withdrawal and recovery-required as distinct typed arms (review 68119)
  
  Brian Searls
  and
  claude
  committed
  e02c661
- sanitation: slot-scoped network owes SlotNetworkQuiescent, not NetworkNamespaceRemoved; the readback declares its network scope. readiness store: same-generation settle takes the settled write's fi…
  
  Brian Searls
  and
  claude
  committed
  0907956
- lifecycle binds identity to the admitted cell (sealed CellBoundIdentity) before any start; readiness store is indexed store-wide (duplicates, incoherent records) before any cell is projected (side-…
  
  Brian Searls
  and
  claude
  committed
  13d9308
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-685
  Brian Searls
  committed
  97d8b92
- microVM lifecycle: recovery and writes carry a sealed CellBoundAttempt validated at store read; teardown settles only through a sealed AttemptTeardownReadback joined against the attempt's subjects …
  
  Brian Searls
  and
  claude
  committed
  c254efd
- readiness store: an in-flight record is discharged only by its own attempt's settlement; a higher-generation settle or residue quarantine over it refuses (review 68576)
  
  Brian Searls
  and
  claude
  committed
  8684774
- lifecycle: move the network-gap annotation above ObservedTeardown (DESIGN 4c: annotations are module-item grain only; required-ci parse refused it inside the body)
  
  Brian Searls
  and
  claude
  committed
  8420ccb
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-685
  Brian Searls
  committed
  38edb86
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-685
  Brian Searls
  committed
  ae1dc69
Commits on Sep 20, 2026
- lifecycle teardown consumes BoundSlotNetworkReadback and joins its slot against the attempt before mapping the result (#11675 landed); network module gains the per-fact wire word its consumers need
  
  Brian Searls
  and
  claude
  committed
  05f44fd
- lifecycle: restore the observed-subject records the network rewrite deleted; std.content_hash is the digest's home
  Brian Searls
  committed
  15ab2b4
- lifecycle: one blank annotation line between the two network paragraphs
  Brian Searls
  committed
  48e261d
- lifecycle witness: the converged receipt carries its nft digest
  Brian Searls
  committed
  06f1d4b
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-685
  Brian Searls
  committed
  a912599
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbai-bot[bot]
  authored
  ae52b87
- Merge remote-tracking branch 'origin/main' into session/tidy-wolf-685
  Brian Searls
  committed
  4623091

Commits

Commits on Sep 19, 2026

Commits on Sep 20, 2026