Repository navigation

Model firmware targets, boot diagnostics, and memory part selection - #8171

Merged

briansrls merged 15 commits into

mainfrom

session/quiet-badger-563

Aug 12, 2026

Merged

Model firmware targets, boot diagnostics, and memory part selection#8171
briansrls merged 15 commits into
mainfrom
session/quiet-badger-563

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
- Move source annotations to module-item grain
  
  Brian Searls
  and
  claude
  committed
  053b642
- Execute the prerequisite gate and the loop-cause fold
  
  Brian Searls
  and
  claude
  committed
  97669f6
- Grade the memory refusal by evidence and scope it to the board
  
  Brian Searls
  and
  claude
  committed
  c6383d5
- Carry the supervisor interval on Second, not bare Nat
  
  Brian Searls
  and
  claude
  committed
  fb4aadf
- Declare ExternalModelScope on the new extdeps modules; fix optional imports
  
  Brian Searls
  and
  claude
  committed
  fa289c6
- Merge main into session/quiet-badger-563
  
  Brian Searls
  and
  claude
  committed
  f112272
- Make population admission true multiset equality
  
  Brian Searls
  and
  claude
  committed
  8c7335a
- Flatten the multiset comparison onto one line
  
  Brian Searls
  and
  claude
  committed
  3da7e58
- Stop conflating admitted with undominated in the frontier witness
  
  Brian Searls
  and
  claude
  committed
  3799d4f
- Take the money carrier at the helper's parameter, not inside it
  
  Brian Searls
  and
  claude
  committed
  48e48b3
- Import Present/Absent explicitly in host_boot_supervision
  
  Brian Searls
  and
  claude
  committed
  cfe597e

Commits

Commits on Aug 12, 2026