Repository navigation

mtcollins1 boot: integration of #12533, #12556, #12555, #12554, #12553, #12730, #12786, #12437 - #12800

Merged

gunbai-bot[bot] merged 125 commits into

mainfrom

session/eager-owl-205-mtcollins1-integration

Oct 1, 2026

Merged

mtcollins1 boot: integration of #12533, #12556, #12555, #12554, #12553, #12730, #12786, #12437#12800
gunbai-bot[bot] merged 125 commits into
mainfrom
session/eager-owl-205-mtcollins1-integration

Commits on Sep 27, 2026
- fleet-converge: gate the reset-return dispatch admission on its own mode
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f9db76b
- Merge remote-tracking branch 'origin/main' into session/still-lynx-170
  gunbc-ci-auto-heal
  committed
  160143b
- fleet-converge witness: the admission step's gate must equal the reset job's gate
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6bb3a12
Commits on Sep 28, 2026
- Merge origin/main into still-lynx-170-drift-witness: #12419 has squash-landed, so the diff reduces to the drift witness
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e231098
- Modeled operation realization: file transport arm + gunbc.filesystem_model
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  911abc4
- Boot dry realization: environment, local/remote exact-invocation, remote host, wall clock models
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cd5bdd5
- Witness the boot-world models' own semantics (calendar, backward step, remote request, coreutils formats, parent rule)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3967705
- Boot world: expanded BMC model (override, SEL, SOL session, cycle restore), ipmitool observed-output rows, SOL collector/process table, SDR dump, SMpro, uptime, host console
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  96ba551
- MegaRAC media model + adapter; mtcollins1 boot acceptance matrix over the real entry (deadline refusal, pinned SOL-teardown defect, held-unit contender)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a712a75
- Matrix: media, observation, resource and interruption cases asserting each case's own cause; media withdrawal and SOL-drop events
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cb2f3b1
- Floor: rename the covering-grant binder and the matrix grant helper (UnimportedBareProvider on 'grant')
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1574a97
- Matrix floor pricing (cost-debt admissions + declared eval-step drop); wall clock on std.measure carriers; seed-growth row covers the file arm
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  41b5730
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbai-bot[bot]
  authored
  c116346
- Matrix cost: bindings indexed once at admission, SOL drop armed by the host's boot (one attempt), stale cost-debt rows removed, drop population = the 8 over-budget cases, rung-drop projection regen…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a0e46d8
- Merge auto-heal regeneration; keep the projection regenerated from the current authority
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ef2c744
- Floor: import the map operations from v2.std.collection (map_lookup, the total form)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  52b2850
- Matrix cost: remember each frame's handler selections; advance does nothing when nothing is due
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  53c1ce6
- WIP: clock jumps and cd_error_code model parameters (not yet cased)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3f24cfc
- mtcollins1 media: a listing naming the image twice is its own typed cause with both identities, not invalid JSON (#12533 finding 5)
  
  Brian Searls
  and
  claude
  committed
  fb71819
- mtcollins1 boot: a presentation affirmed lost after a confirmed handoff is the attempt's named cause (#12533 finding 4)
  
  Brian Searls
  and
  claude
  committed
  cfe9618
- mtcollins1 unit hold: a boot's hold names its process, and a successor recovers it only once that process is observed dead (#12533 finding 2)
  
  Brian Searls
  and
  claude
  committed
  60dbd2b
- BMC model: an event a transition schedules is kept (power restore keeps its SOL drop)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e25a17d
- Merge #12533 fix into the stacked branch
  gunbc-ci-auto-heal
  committed
  c35737a
- Merge #12533 (session/swift-deer-358-pr2) so the matrix case flips in this PR
  Brian Searls
  committed
  c879259
- Matrix: the duplicate-listing case asserts its own cause with both identities (finding 5 flips)
  
  Brian Searls
  and
  claude
  committed
  9df49eb
- Merge #12533 (session/swift-deer-358-pr2) so the matrix case flips in this PR
  Brian Searls
  committed
  63919b6
- Matrix: a presentation lost after the handoff is the reported cause (finding 4 flips; identity renamed in its cost-drop row)
  
  Brian Searls
  and
  claude
  committed
  5b8e3bf
- Merge #12533 (session/swift-deer-358-pr2) so the matrix case flips in this PR
  Brian Searls
  committed
  fdcbe73
- Dry world models the boot worker's procfs identity and its death; the interrupted case flips to recovery, with live and unobservable holder controls (finding 2)
  
  Brian Searls
  and
  claude
  committed
  c41d5e4
- Matrix: backward/forward wall-clock cases and cd_error_code cases over the real boot entry
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fb19e11
- Fix the floor's refusals: optional list reads, the tag literal's process, callers of boot_run_owner; the held-unit case's other run is live in procfs
  
  Brian Searls
  and
  claude
  committed
  2dbba79
- File arm refuses a pathless dispatch; modeled byte_count is a ByteSize of UTF-8 bytes
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e597579
- Matrix: the lost-presentation case asserts the named cause wherever it appears in the reason, at either post-handoff look
  
  Brian Searls
  and
  claude
  committed
  5ccd728
- Merge #12533 review fixes into the stacked branch
  gunbc-ci-auto-heal
  committed
  3660767
- Matrix: move the live-holder note above its declaration (annotations are module-item grain)
  
  Brian Searls
  and
  claude
  committed
  355cd9d
- Unit hold: the holder's identity carries its pid namespace; a missing pid is death only when read from that namespace, otherwise unobservable (review 72326)
  
  Brian Searls
  and
  claude
  committed
  441d653
- Hold witness takes its report generation from an observation; the recovery cases (and the duplicate-listing case, now over by procfs reads) join the boot-matrix cost-drop roster, measured by floor …
  
  Brian Searls
  and
  claude
  committed
  b4cc96d
- Matrix: the held-unit case matches the owner's run id followed by its process identity, and asserts the holder was observed alive
  
  Brian Searls
  and
  claude
  committed
  1720c65
Commits on Sep 29, 2026
- Merge branch 'main' into session/nimble-raven-273
  briansrls
  authored
  1947a96
- Merge branch 'main' into session/swift-deer-358-pr2
  briansrls
  authored
  020149f
- Regenerate the std.measure stage0 mirror for SecondDisplacement
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  72b84eb
- Merge remote-tracking branch 'origin/session/swift-deer-358-pr2' into session/nimble-raven-273
  Brian Searls
  committed
  ba0ac10
- Merge #12533 (with its std_measure.rs regeneration and main)
  Brian Searls
  committed
  108c033
- Merge #12533 (with its std_measure.rs regeneration and main)
  Brian Searls
  committed
  728e678
- Cost-drop rationale matches its rows: the five #12555 members and why each exceeds the budget (review 72465)
  
  Brian Searls
  and
  claude
  committed
  b12eb7c
- Merge main: one BmcWorld carries both the boot state and #12490's web surface
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  376798f
- Merge remote-tracking branch 'origin/session/swift-deer-358-pr2' into session/nimble-raven-273
  Brian Searls
  committed
  20d3d14
- Merge remote-tracking branch 'origin/session/swift-deer-358-pr2' into session/nimble-raven-273-media-loss
  Brian Searls
  committed
  a10c0b6
- Merge remote-tracking branch 'origin/session/swift-deer-358-pr2' into session/nimble-raven-273-dead-holder
  Brian Searls
  committed
  36a50b7
- Duplicate-listing arm in the two listing matches main's #12546 enumerated (enumeration decision: the ambiguity; presence: listed)
  
  Brian Searls
  and
  claude
  committed
  c39cb24
- One Gregorian calendar: extdeps.units.iso8601 owns both directions (review 72483)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c2ab8ad
- Merge session/swift-deer-358-pr2 (main, the bmc_model union, the iso8601 calendar)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3df2c51
- wall_clock_model: name the reading helper wall_clock_printed (the floor's AmbiguousBareNameRead)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7c60c3d
- Name String's declarer: extdeps.systemd.journalctl and extdeps.units.iso8601 import std.string_type
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f96ba04
- Matrix: with_clock_jump takes the jump instant as a Second (review 72522)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a7492a2
- iso8601 keeps String through std.types: it is in the stage0 closure (Stage0EmittedEdgesNotCovered)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0227a71
- Calendar in extdeps.units.iso8601_calendar, off the compiler seed's closure
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2c5d045
- Merge session/swift-deer-358-pr2 (calendar in iso8601_calendar; journalctl back to main)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fcb17c6
- journalctl names the declarers of String and Unit (floor AmbiguousBareNameRead)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6e9568a
- Rung-drop row: the route prefix is per-world, not a repeated computation (review 72549)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  826011d
- Merge remote-tracking branch 'origin/session/swift-deer-358-pr2' into HEAD
  gunbc-ci-auto-heal
  committed
  3639680
- Six new matrix rows cite a measured run; rung-drop projection regenerated (reviews 72536, 72555)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  488e12b
- roadmap_served_observation names Filesystem's declarer (floor AmbiguousBareNameRead)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d75894e
- Merge main (#12517, #12482, #12586): both eval-step drop lists; rung-drop projection regenerated
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e43e6cb
- Merge remote-tracking branch 'origin/session/swift-deer-358-pr2' into session/nimble-raven-273
  Brian Searls
  committed
  d87aa5b
- Merge #12533 (main at e43e6cbdacd)
  Brian Searls
  committed
  02727b3
- Merge #12533 (main at e43e6cbdacd)
  Brian Searls
  committed
  f15c997
- Rung-drop row: the shared world construction is measured, and owes no hoist (review 72606)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b7c671c
- Merge main; the host-command model renders words through argv_words (#12602)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  66f58d5
Commits on Sep 30, 2026
- Merge main (#12434 and others)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  680e3da
- Matrix: bind #12434's SOL route; the two pinned SOL cases flip to controls
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bd99cbb
- Merge remote-tracking branch 'origin/session/swift-deer-358-pr2' into session/nimble-raven-273
  Brian Searls
  committed
  f42ca80
- Merge #12533 at bd99cbb4899 (main with #12434): keep #12434's clean-release success arm, the media-loss attribution stays on the failure arm
  
  Brian Searls
  and
  claude
  committed
  1cf19cf
- Merge #12533 at bd99cbb4899 (main with #12434): the worker's procfs stat is rendered by the world's one proc_stat_line; #12533 now carries the duplicate-listing cost row
  
  Brian Searls
  and
  claude
  committed
  b3bf1ff
- Merge session/swift-deer-358-pr2 (#12434 route bound); re-measure this PR's cases on it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0e75b05
- Matrix: the SOL-loss case requires exactly one teardown, after the power action and within 60 s
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  45d967d
- Matrix: six cases admitted to the enrolment dead band under one declared drop; two eval-step rows
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a67a3dc
- Merge remote-tracking branch 'origin/main' into session/swift-deer-358-pr2
  gunbc-ci-auto-heal
  committed
  d6c5146
- SOL establishment allowance is a monotonic deadline on /proc/uptime, not a count of polls
  
  Brian Searls
  and
  claude
  committed
  1552bf5
- Integrate #12636: uptime answers over the file transport; one path resolution for wet and modeled
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  82ec7d4
- Merge remote-tracking branch 'origin/session/swift-deer-358-pr2' into session/nimble-raven-273
  Brian Searls
  committed
  a14d8db
- Merge #12533 at 82ec7d4d605 (enrolment dead band, #12636): the renamed lost-presentation case keeps its dead-band and eval-step rows, citing this PR's own run
  
  Brian Searls
  and
  claude
  committed
  eb1bbe4
- Merge #12533 at 82ec7d4d605 (enrolment dead band, #12636): the recovered-hold case joins the matrix dead-band group at its own CI CPU
  
  Brian Searls
  and
  claude
  committed
  a000439
- SOL establishment: read the clock before admitting a banner, consume the pace result and refuse a stalled clock, keep the deadline a Millisecond (std.measure second_to_millisecond) (review 53605261…
  
  Brian Searls
  and
  claude
  committed
  1114e93
- Merge session/swift-deer-358-pr2 (#12636, dead band); re-measure this PR's cases on it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  23d4ba0
- Retire the stale unimported-bare-provider roster row for std/measure.dag#Time (ImportsFixed), which the touched-file gate now checks
  
  Brian Searls
  and
  claude
  committed
  88c0717
- Retire dag/std/measure.dag#Time from the unimported-bare-provider roster as NotAReference
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c308d7f
- std.measure second_to_millisecond at #12492's position with its regenerated stage0 mirror (byte-identical to #12492, so the two merge without a duplicate)
  
  Brian Searls
  and
  claude
  committed
  d5442ea
- Eval-step drop: the interrupted-attempt case is back, at CI's 75,263
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a94b82e
- Merge session/swift-deer-358-pr2 (interrupted-attempt row); this PR's eight rows re-added (nineteen)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  021b6fd
- Merge remote-tracking branch 'origin/main' into session/swift-deer-358-pr2
  gunbc-ci-auto-heal
  committed
  4171e87
- Merge origin/main (#12492): its std.measure second_to_millisecond and roster disposition stand; no second definition
  
  Brian Searls
  and
  claude
  committed
  9ce4ec7
- Merge remote-tracking branch 'origin/session/swift-deer-358-pr2' into session/nimble-raven-273
  Brian Searls
  committed
  e62330b
- Merge main: the duplicate-listing arm joins main's restructured enumeration loop and presentation_still_served's enumerated arms; std_measure.rs takes both sides' additions
  
  Brian Searls
  and
  claude
  committed
  7c7df2b
- Merge #12533 at 4171e87289; the rung-drop doc carries this PR's own dead-band reason (fixes the generated drift)
  Brian Searls
  committed
  707ac6a
- Merge main: std_measure.rs takes both sides' additions
  
  Brian Searls
  and
  claude
  committed
  7f95460
- Merge #12533 at 4171e87289: #12533's re-added pinned interrupted-attempt row does not apply here (that case is the recovery case on this branch)
  Brian Searls
  committed
  59a7413
- Merge main: std_measure.rs takes both sides' additions
  
  Brian Searls
  and
  claude
  committed
  606fdc2
- SolEstablishmentClockStalled carries the uptime as a Millisecond, not a bare Nat (review 73135)
  
  Brian Searls
  and
  claude
  committed
  963f940
- Merge main: the media-loss witness imports join main's StalePowerOffNotNeeded import; rung-drop doc takes main's new D0 section beside this branch's rows
  
  Brian Searls
  and
  claude
  committed
  e500734
- Merge main: rung-drop doc takes main's new D0 section
  Brian Searls
  committed
  41dff34
- Merge main: rung-drop doc takes main's new D0 section
  Brian Searls
  committed
  92f3522
- mtcollins1 KVM observer: log in through the context request client, not inside the UI root page
  
  Brian Searls
  and
  claude
  committed
  cb144c1
- mtcollins1: read-only fleet-converge mode fetches the BMC's own UI bundle (source.min.js)
  
  Brian Searls
  and
  claude
  committed
  9a580e5
- Merge main (#12492 KVM observer and others); std_measure.rs is the union of both sides
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  caa9f6c
- WIP (wind-down): supplied toolchain resolution, cwd-resolving filesystem model, hostname; KVM dry observer not yet built
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e067378
- WIP: mtcollins1 boot: executing acceptance matrix over the real orchestrator
  gunbc-ci-auto-heal
  committed
  d24efbb
- Integrate #12533
  gunbc-ci-auto-heal
  committed
  6533e6c
- Integrate #12556
  gunbc-ci-auto-heal
  committed
  4dc876f
- Integrate #12555
  gunbc-ci-auto-heal
  committed
  9839294
- Integrate #12554
  gunbc-ci-auto-heal
  committed
  236aae6
- Integrate #12553
  gunbc-ci-auto-heal
  committed
  815a18c
- Integrate #12730
  gunbc-ci-auto-heal
  committed
  dca5b8b
- Integrate #12786
  gunbc-ci-auto-heal
  committed
  52660c4
- Integrate #12795
  gunbc-ci-auto-heal
  committed
  7393c8e
- Integrate #12437
  gunbc-ci-auto-heal
  committed
  cae3f5f
- Integration: fs_make_parents carries refused_reads (#12533 x #12555); drop the uncommitted-intent zz_probe scratch probes from #12533's WIP commit
  gunbc-ci-auto-heal
  committed
  ec1b819
- Merge remote-tracking branch 'origin/main' into fc881-integ
  gunbc-ci-auto-heal
  committed
  daa459e
- mtcollins1 boot matrix: dry KVM observer, toolchain NotReady/Unresolved cases, #12437 claim split, regenerated rung drops
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6cac35e
- #12800 floor: build-job membership drop (operator option 1), matrix cost rows re-cited from CI, dead-band/cost-debt reclassified, seed-growth cache named
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b907f7d
- Dry KVM observer: a pass that sees no new file neither scans nor takes an instant
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bb497a1
- Drop gunbc#12795's UI-bundle mode from the integration (review 73415)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a980fa6
- Matrix dead band: the four cases that straddle the enrolment margin between runners
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8042d17
- Matrix dead band: media_that_never_becomes_ready straddles the margin
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  46a252c
Commits on Oct 1, 2026
- Merge origin/main (gunbc#12853) into the mtcollins1 integration; re-cite the interrupted-attempt row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  85c4f89

Commits

Commits on Sep 27, 2026

Commits on Sep 28, 2026

Commits on Sep 29, 2026

Commits on Sep 30, 2026

Commits on Oct 1, 2026