Repository navigation

Board identity: bound host's FRU board reaches its per-board authority (delete closed BaseboardModel) - #13507

Closed

gunbai-bot[bot] wants to merge 21 commits into

mainfrom

session/sleek-carp-686

Commits on Oct 6, 2026
- Board identity: a bound host's FRU board reaches its per-board authority; delete the closed BaseboardModel enum
  
  Brian Searls
  and
  claude
  committed
  8ef49ab
- Board authority witness: a WIWYNN FRU naming another product refuses
  
  Brian Searls
  and
  claude
  committed
  c425c92
- Board FRU receipt has one home; the committed Collins observation is pinned to its digest-checked capture
  
  Brian Searls
  and
  claude
  committed
  4267d8a
- BoardFruReceipt carries a Sha256Digest: no empty-digest default arm
  
  Brian Searls
  and
  claude
  committed
  5dd7fc9
- Retire the dynatron ampere_lga4926_cooling_mount unimported-bare-provider debt row (file changed)
  
  Brian Searls
  and
  claude
  committed
  64776b4
Commits on Oct 7, 2026
- board_fru_observation_of_text: enumerate FruCaptureGap arms, no wildcard over a closed coproduct
  
  Brian Searls
  and
  claude
  committed
  557a2be
- w_unread_compatibility: resolve against the single-socket recipe (the wall does not depend on 32 DIMM positions); under the new-witness step budget
  
  Brian Searls
  and
  claude
  committed
  55b0e83
- FRU gap grains: a field read can only be Absent|Repeated|Empty; capture-level gaps wrap it; delete the fru_gap_is_absent predicate
  
  Brian Searls
  and
  claude
  committed
  1668f4e
- Merge origin/main into session/sleek-carp-686
  
  Brian Searls
  and
  claude
  committed
  baf59fa
- Make five latent T? == T sites explicit (Present) so the floor subject reaching them compiles
  
  Brian Searls
  and
  claude
  committed
  102950f
- Merge origin/main into session/sleek-carp-686
  
  Brian Searls
  and
  claude
  committed
  1e44343
Commits on Oct 8, 2026
- grounded_principal witness: grant/step counts follow the ci_runner_sudo_binaries roster (10 grants, 11 preflight steps); first() sites match explicitly
  
  Brian Searls
  and
  claude
  committed
  2844bf5
- witnesses: compare first() through an explicit match (the Present-literal form compiled but evaluated false); socket/controller stay plain Nat
  
  Brian Searls
  and
  claude
  committed
  d927e67
- One carrier for FRU capture failures: board lookup wraps gunbc.ipmitool_fru_text FruCaptureGap and its single digest check; hub drops BoardCapture* causes
  
  Brian Searls
  and
  claude
  committed
  de18f22
- Fallout from #13179: latent T? == T sites and a stale roster count on main
  
  Brian Searls
  and
  claude
  committed
  e4b25be
- grounded_principal witness: counts join ci_runner_sudo_binaries (review 77831)
  
  Brian Searls
  and
  claude
  committed
  4a499e1
- Merge fallout-13179-optional-equality into session/sleek-carp-686
  
  Brian Searls
  and
  claude
  committed
  6a3838c
- tailscale credential + design witness: unwrap bindings.first() once via match; grounded_principal grants join the closed roster both ways (review 77846)
  
  Brian Searls
  and
  claude
  committed
  04f939b
- Merge fallout-13179-optional-equality into session/sleek-carp-686
  
  Brian Searls
  and
  claude
  committed
  3c8558c
- Merge origin/main into session/sleek-carp-686
  
  Brian Searls
  and
  claude
  committed
  69e8654
- gigabyte: carry the candidate-board dissolution trigger onto the surviving authority row (review 78107)
  
  Brian Searls
  and
  claude
  committed
  a32a233

Navigation Menu

Repository navigation

Board identity: bound host's FRU board reaches its per-board authority (delete closed BaseboardModel) - #13507

Board identity: bound host's FRU board reaches its per-board authority (delete closed BaseboardModel)#13507
gunbai-bot[bot] wants to merge 21 commits into
mainfrom
session/sleek-carp-686

Commits on Oct 6, 2026

Board identity: a bound host's FRU board reaches its per-board authority; delete the closed BaseboardModel enum

Board authority witness: a WIWYNN FRU naming another product refuses

Board FRU receipt has one home; the committed Collins observation is pinned to its digest-checked capture

BoardFruReceipt carries a Sha256Digest: no empty-digest default arm

Retire the dynatron ampere_lga4926_cooling_mount unimported-bare-provider debt row (file changed)

Commits on Oct 7, 2026

board_fru_observation_of_text: enumerate FruCaptureGap arms, no wildcard over a closed coproduct

w_unread_compatibility: resolve against the single-socket recipe (the wall does not depend on 32 DIMM positions); under the new-witness step budget

FRU gap grains: a field read can only be Absent|Repeated|Empty; capture-level gaps wrap it; delete the fru_gap_is_absent predicate

Merge origin/main into session/sleek-carp-686

Make five latent T? == T sites explicit (Present) so the floor subject reaching them compiles

Merge origin/main into session/sleek-carp-686

Commits on Oct 8, 2026

grounded_principal witness: grant/step counts follow the ci_runner_sudo_binaries roster (10 grants, 11 preflight steps); first() sites match explicitly

witnesses: compare first() through an explicit match (the Present-literal form compiled but evaluated false); socket/controller stay plain Nat

One carrier for FRU capture failures: board lookup wraps gunbc.ipmitool_fru_text FruCaptureGap and its single digest check; hub drops BoardCapture* causes

Fallout from #13179: latent T? == T sites and a stale roster count on main

grounded_principal witness: counts join ci_runner_sudo_binaries (review 77831)

Merge fallout-13179-optional-equality into session/sleek-carp-686

tailscale credential + design witness: unwrap bindings.first() once via match; grounded_principal grants join the closed roster both ways (review 77846)

Merge fallout-13179-optional-equality into session/sleek-carp-686

Merge origin/main into session/sleek-carp-686

gigabyte: carry the candidate-board dissolution trigger onto the surviving authority row (review 78107)