Repository navigation

mtcollins1 read-only SMpro pass: per-socket boot stage over IPMI Master Write-Read, as a bundle section - #12222

Merged

gunbai-bot[bot] merged 16 commits into

mainfrom

session/quick-hawk-854

Sep 24, 2026

Merged

mtcollins1 read-only SMpro pass: per-socket boot stage over IPMI Master Write-Read, as a bundle section#12222
gunbai-bot[bot] merged 16 commits into
mainfrom
session/quick-hawk-854

Commits on Sep 23, 2026
- mtcollins1 boot bundle: console stat size crosses Int->Nat via checked_int_magnitude, not an evaluator-refused cast
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4a66d46
- WIP: mtcollins1 boot: a failed post-boot SEL read aborts the job and loses th
  gunbc-ci-auto-heal
  committed
  fe3cb68
- mtcollins1 boot bundle: delete the committed claim script; SDR-cached SEL reads; Redfish from the service root; evaluator-refusal frontier
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  050090d
- Merge remote-tracking branch 'origin/main' into witty
  gunbc-ci-auto-heal
  committed
  d338d2b
- Merge remote-tracking branch 'origin/session/witty-newt-61' into session/quick-hawk-854
  gunbc-ci-auto-heal
  committed
  476735a
- mtcollins1 socket 1: Ampere CPER header decode, firmware boot summary, two-socket reference comparison, IPMI per-socket sensor reads
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7b6d50a
- Floor cost: the reference claims supply excerpts, one claim reads the committed capture whole
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b7c46de
Commits on Sep 24, 2026
- Merge remote-tracking branch 'origin/main' into session/quick-hawk-854
  gunbc-ci-auto-heal
  committed
  98a2c34
- Delete ampere_ras_header_is_type: the witness matches the error-type variant directly (review 70756)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cefc7a1
- Merge remote-tracking branch 'origin/main' into session/quick-hawk-854
  gunbc-ci-auto-heal
  committed
  29a8d1e
- Merge origin/main into witty: console_size_of_stat takes #12166's checked_int_to_nat
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fd74166
- bmc_all_reads_failed folds every BMC channel: any answered read means the BMC answered
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  dfa53fd
- Merge remote-tracking branch 'origin/witty' into session/quick-hawk-854
  gunbc-ci-auto-heal
  committed
  ef1d01b
- Merge remote-tracking branch 'origin/main' into session/quick-hawk-854
  gunbc-ci-auto-heal
  committed
  da2c153
- mtcollins1 read-only SMpro pass: boot stage per socket over IPMI Master Write-Read, as a bundle section
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f088e73
- SMpro pass: order by data dependence, malformed is an answer, CUR_BOOTSTAGE and BOOTSTAGE independent
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cf664f1

Commits

Commits on Sep 23, 2026

Commits on Sep 24, 2026