Repository navigation

cr150 L15a: bar views staging, accessor and guard (no caller yet) - #418

Merged

luisleo526 merged 6 commits into

core/cr150-p00-contractsfrom

core/cr150-l15a

Oct 18, 2026

Merged

cr150 L15a: bar views staging, accessor and guard (no caller yet)#418
luisleo526 merged 6 commits into
core/cr150-p00-contractsfrom
core/cr150-l15a

Commits on Oct 18, 2026
- feat(cr150): resolve contract OPEN items V1 and V2
  luisleo526
  committed
  ee3083d
- test(cr150): add L15a view binding red witness
  luisleo526
  committed
  100a605
- feat(cr150): implement L15a pending bar view bindings
  luisleo526
  committed
  2539102
- fix(cr150): list L15a kernel sources on separate lines
  luisleo526
  committed
  4e20934
- docs(cr150): carry all L15a source citations to the new tree
  luisleo526
  committed
  ae868d6
- test(cr150): keep FX index pins and expect the L15a tail
  luisleo526
  committed
  ddc9c94