Repository navigation

model: ctrl#1533 phase-1 follow-up — M-B carrier-cost facts on PrimitiveContract + M-D name-interning declarations - #4666

Merged

briansrls merged 19 commits into

mainfrom

session/neat-ibex-297

Jun 11, 2026

Merged

model: ctrl#1533 phase-1 follow-up — M-B carrier-cost facts on PrimitiveContract + M-D name-interning declarations#4666
briansrls merged 19 commits into
mainfrom
session/neat-ibex-297

Commits on Jun 10, 2026
- WIP: memory usage
  Brian Searls
  committed
  d35203a
- WIP: memory usage
  Brian Searls
  committed
  f44f732
Commits on Jun 11, 2026
- Merge remote-tracking branch 'origin/main' into session/neat-ibex-297
  Brian Searls
  committed
  6cec92e
- WIP: memory usage
  Brian Searls
  committed
  343365d
- WIP: memory usage
  Brian Searls
  committed
  b3490b4
- WIP: memory usage
  Brian Searls
  committed
  b180276
- WIP: memory usage
  Brian Searls
  committed
  c439198
- feat(interp): phase-0 memory measurement harness (ctrl#1533)
  
  Brian Searls
  and
  claude
  committed
  0a126b6
- WIP: memory usage
  Brian Searls
  committed
  9023718
- fix(interp): one copy-work definition per primitive; delta-scope fm_flatten in claim_batch
  
  Brian Searls
  and
  claude
  committed
  a44739f
- Merge remote-tracking branch 'origin/main' into session/neat-ibex-297
  Brian Searls
  committed
  6e61ac9
- Merge remote-tracking branch 'origin/main' into session/neat-ibex-297
  Brian Searls
  committed
  7e9bfe4
- WIP: memory usage
  Brian Searls
  committed
  a41fccb
- WIP: memory usage
  Brian Searls
  committed
  52563e4
- Merge origin/main into session/neat-ibex-297 (provenance wave-2)
  Brian Searls
  committed
  1aa21e5
- review: explicit collection imports + free-function concat in value_carrier_laws; strengthen insert-order witness to 3 keys
  
  Brian Searls
  and
  claude
  committed
  fe4d4c6
- Merge remote-tracking branch 'origin/main' into session/neat-ibex-297
  Brian Searls
  committed
  c8a7a0a
- Merge origin/main (post-#4660) into session/neat-ibex-297
  Brian Searls
  committed
  2ee2025
- model: ctrl#1533 phase-1 follow-up — M-B carrier-cost facts on PrimitiveContract + M-D name-interning declarations
  
  Brian Searls
  and
  claude
  committed
  b8d43e2

Commits

Commits on Jun 10, 2026

Commits on Jun 11, 2026