Repository navigation

Reduce the micro-VM module to the grant authorization rule FCI-2 owns - #10674

Merged

briansrls merged 29 commits into

mainfrom

session/nimble-swift-27-vm-lifecycle

Sep 9, 2026

Merged

Reduce the micro-VM module to the grant authorization rule FCI-2 owns#10674
briansrls merged 29 commits into
mainfrom
session/nimble-swift-27-vm-lifecycle

Commits on Sep 6, 2026
- Compose the micro-VM launch plan, and mint the credential last
  
  Brian Searls
  and
  claude
  committed
  bee4dae
- temp: diagnostic arm probes for the launch fixture
  
  Brian Searls
  and
  claude
  committed
  2736ed7
- Take the VMM reserve as an input, and state that production admits no guest
  
  Brian Searls
  and
  claude
  committed
  a8dcf32
- Observe whether a runner host can measure a VMM's footprint
  
  Brian Searls
  and
  claude
  committed
  adaf876
- Import systemctl_version_command, which no local gate had checked
  
  Brian Searls
  and
  claude
  committed
  908e7b2
- Model the VMM footprint probe, sampled across guest sizes
  
  Brian Searls
  and
  claude
  committed
  e85366b
- Convert mebibytes to bytes explicitly; pin the sizes in absolutes
  
  Brian Searls
  and
  claude
  committed
  046250f
- Convert the one mebibyte site a digits-only regex could not match
  
  Brian Searls
  and
  claude
  committed
  0c8dfd3
Commits on Sep 7, 2026
- Merge remote-tracking branch 'origin/main' into session/nimble-swift-27-vm-lifecycle
  Brian Searls
  committed
  db0166b
- Re-read the launch control now that the reserve is declared
  
  Brian Searls
  and
  claude
  committed
  d61de7e
- Require the execution grant, so the micro-VM is a realization under the fabric
  
  Brian Searls
  and
  claude
  committed
  d567eeb
- Move the VMM footprint measurement to its own branch
  
  Brian Searls
  and
  claude
  committed
  9ff38d4
Commits on Sep 8, 2026
- Join the grant to the reservation it authorizes, and split planning from authorization
  
  Brian Searls
  and
  claude
  committed
  6d0480b
- Merge remote-tracking branch 'origin/main' into session/nimble-swift-27-vm-lifecycle
  Brian Searls
  committed
  aab8d97
- Reduce to the authorization rule, and file what the two homes cost
  
  Brian Searls
  and
  claude
  committed
  b1dd9d6
- Record the count-first merge check on the two-homes row
  
  Brian Searls
  and
  claude
  committed
  0823ebd
- Merge remote-tracking branch 'origin/main' into session/nimble-swift-27-vm-lifecycle
  Brian Searls
  committed
  5c93a55
- Restore two dark roster rows, and cut the launch-plan residue
  
  Brian Searls
  and
  claude
  committed
  a1ecaad
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  53b8f56
- Give the Demand and Offer joins their own discriminating REDs
  
  Brian Searls
  and
  claude
  committed
  aa56c4d
- Merge remote-tracking branch 'origin/main' into session/nimble-swift-27-vm-lifecycle
  Brian Searls
  committed
  53c913f
- Delete the unconsumed seal, and restore two more dark roster rows
  
  Brian Searls
  and
  claude
  committed
  6fd817f
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  2a3d0da
- Declare the frontier for the rule this module keeps, and record a false annotation as false
  
  Brian Searls
  and
  claude
  committed
  26cb9df
- Merge remote-tracking branch 'origin/main' into session/nimble-swift-27-vm-lifecycle
  Brian Searls
  committed
  5c2e903
- Home the grant-authorization join beside the issuer, with typed refusal variants
  
  Brian Searls
  and
  claude
  committed
  404195d
- Scope the append-only-carrier corollary to carriers that are still a list
  
  Brian Searls
  and
  claude
  committed
  7064d71
- Fence the money reservation with the money generation, not the lease's
  
  Brian Searls
  and
  claude
  committed
  6744bb5
- Merge remote-tracking branch 'origin/main' into session/nimble-swift-27-vm-lifecycle
  Brian Searls
  committed
  a316d39

Commits

Commits on Sep 6, 2026

Commits on Sep 7, 2026

Commits on Sep 8, 2026