Repository navigation

model(v4): ctrl#1533 phase-1 — value-carrier declarations (M-A) + identity laws (M-C) with executable witnesses - #4660

Merged

briansrls merged 17 commits into

mainfrom

session/neat-ibex-297

Jun 11, 2026

Merged

model(v4): ctrl#1533 phase-1 — value-carrier declarations (M-A) + identity laws (M-C) with executable witnesses#4660
briansrls merged 17 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

Commits

Commits on Jun 10, 2026

Commits on Jun 11, 2026