Repository navigation

Take the singleton directly, and join the prerequisite bounds oracle to its rows - #8174

Merged

briansrls merged 42 commits into

mainfrom

session/quiet-badger-563-surface-derivation

Aug 13, 2026

Merged

Take the singleton directly, and join the prerequisite bounds oracle to its rows#8174
briansrls merged 42 commits into
mainfrom
session/quiet-badger-563-surface-derivation

Commits on Aug 12, 2026
- Model firmware targets, boot diagnostics, and memory part selection
  
  Brian Searls
  and
  claude
  committed
  02ef008
- Fix import placement, ground firmware/price units on std.measure
  
  Brian Searls
  and
  claude
  committed
  4ce9d10
- Annotate observed_failures with its type
  
  Brian Searls
  and
  claude
  committed
  1414f81
- Ground the obmc push artifact byte count on ByteSize
  
  Brian Searls
  and
  claude
  committed
  6b93208
- Derive the BMC Redfish surface from firmware instead of storing it per host
  
  Brian Searls
  and
  claude
  committed
  8c2749e
- Move source annotations to module-item grain
  
  Brian Searls
  and
  claude
  committed
  053b642
- Merge annotation-grain fix
  Brian Searls
  committed
  62fc8b1
- Carry the firmware prerequisite's evidence as data, not prose
  
  Brian Searls
  and
  claude
  committed
  e1bc9da
- Execute the prerequisite gate and the loop-cause fold
  
  Brian Searls
  and
  claude
  committed
  97669f6
- Merge witness coverage
  Brian Searls
  committed
  61e6153
- Keep observations immutable; split inventory from image; refuse duplicate keys
  
  Brian Searls
  and
  claude
  committed
  7829ac8
- Grade the memory refusal by evidence and scope it to the board
  
  Brian Searls
  and
  claude
  committed
  c6383d5
- Merge memory-selection recut
  Brian Searls
  committed
  3f65687
- Carry the supervisor interval on Second, not bare Nat
  
  Brian Searls
  and
  claude
  committed
  fb4aadf
- Merge interval carrier fix
  Brian Searls
  committed
  7a0516a
- Stop fabricating evidence bounds; add the two missing witness imports
  
  Brian Searls
  and
  claude
  committed
  edf0eb8
- Declare ExternalModelScope on the new extdeps modules; fix optional imports
  
  Brian Searls
  and
  claude
  committed
  ce9d230
- Restore the deleted contradiction fn; rebind drift fixtures to 2.07.00
  
  Brian Searls
  and
  claude
  committed
  88d0356
- Join the prerequisite oracle to the catalog instead of copying it
  
  Brian Searls
  and
  claude
  committed
  42e44ce
- Declare ExternalModelScope on the new extdeps modules; fix optional imports
  
  Brian Searls
  and
  claude
  committed
  fa289c6
- Merge scope-gate fix from parent branch
  
  Brian Searls
  and
  claude
  committed
  6530e44
- Merge main into session/quiet-badger-563
  
  Brian Searls
  and
  claude
  committed
  f112272
- Merge parent branch (including main)
  Brian Searls
  committed
  a034041
- Drop two dead surface imports from the live-receipts witness
  
  Brian Searls
  and
  claude
  committed
  7a75586
- Make population admission true multiset equality
  
  Brian Searls
  and
  claude
  committed
  8c7335a
- Merge multiset admission fix
  Brian Searls
  committed
  d7722ac
- Flatten the multiset comparison onto one line
  
  Brian Searls
  and
  claude
  committed
  3da7e58
- Merge parse fix
  Brian Searls
  committed
  c52fd06
- Stop conflating admitted with undominated in the frontier witness
  
  Brian Searls
  and
  claude
  committed
  3799d4f
- Merge frontier witness fix
  Brian Searls
  committed
  7867d74
- Take the money carrier at the helper's parameter, not inside it
  
  Brian Searls
  and
  claude
  committed
  48e48b3
- Merge money-carrier parameter fix
  Brian Searls
  committed
  06988d4
- Import Present/Absent explicitly in host_boot_supervision
  
  Brian Searls
  and
  claude
  committed
  cfe597e
- Merge explicit optional import
  Brian Searls
  committed
  da47848
- Merge main after #8171 squash-merge
  
  Brian Searls
  and
  claude
  committed
  c8cb810
- Fix the parse error CI found, and make the order control discriminating
  
  Brian Searls
  and
  claude
  committed
  51cc0cf
Commits on Aug 13, 2026
- Reclassify srv3's install path as unestablished, not refused-forever
  
  Brian Searls
  and
  claude
  committed
  b28b73c
- Bisect the annotation gate: strip this branch's new comment blocks
  
  Brian Searls
  and
  claude
  committed
  ab627dd
- Revert "Bisect the annotation gate: strip this branch's new comment blocks"
  Brian Searls
  committed
  50a5e67
- Join the prerequisite bounds oracle to its rows instead of transcribing them
  
  Brian Searls
  and
  claude
  committed
  d3c3b2d
- Take the singleton directly instead of folding a fabricated init over it
  
  Brian Searls
  and
  claude
  committed
  cc69a4f
- Merge origin/main into surface-derivation
  
  Brian Searls
  and
  claude
  committed
  06fc580

Commits

Commits on Aug 12, 2026

Commits on Aug 13, 2026