r2il-mask-abi-probe: the W0B mask-ABI differential (CallMask vs mask-risc) - #1254

Merged

AdaWorldAPI merged 19 commits into

mainfrom

claude/fold-distillation-pr-wave-s57uj7

Sep 20, 2026

Commits on Sep 20, 2026

r2il-mask-abi-probe: the W0B mask-ABI differential (CallMask vs mask-risc)
claude
committed
72f7591
ci: run the r2il-mask-abi-probe differential (excluded tier)
claude
committed
8500a2a
knowledge+agent: the CARGO COMPUTE SUBSTRATE LAW, measured
claude
committed
92499a4
hooks: two-sided test for the anti-pattern-matching guard (pre-disable checkpoint)
claude
committed
80f6c7d
knowledge+hooks: FIRST-HAND SOURCE LAW -- search disarmed epistemically
claude
committed
a9d66d5
hooks+law: authority-label guard (pre-disable checkpoint)
claude
committed
7c753e9
epistemic pass: one home for the source law; authority is not evidence
claude
committed
ad8000b
reduction audit: 214 -> 106; the tail carve-out is retracted, the gap is named
claude
committed
f53ecc5
Replace the tail-30 output rule with root-diagnostic discipline
claude
committed
ad7864a
Fix the two prompts that read failure analysis off a tail
claude
committed
ad9e323
Add the workspace-wide closeout rule: one line, a mirror, and an Epiphany gate
claude
committed
68ca76e
Remove the probe CI step until OGAR #305 is on main; record the follow-up
claude
committed
e59ff9b
Revive board/entries as the transient tier: generated index, CI falsifiers, one promotion rule
claude
committed
62daf0f
Review round on #1254: fix 5 verified findings, reject 2 as unfounded
claude
committed
181bb2c
board: one historical findings catch-up, then a SHA watermark and delta-only closeout
claude
committed
2374b1d
board: reduction pass on the findings k-frame — retire the one-shot instrument
claude
committed
3f1e90d
board: close two review findings on the provenance gate and the deny hook
claude
committed
e0cbaef
board: the merge-base assertion was vacuous under its own disable
claude
committed
eae7f36
board: the two new comments cited the wrong PR number
claude
committed
afa5e9d

Navigation Menu

r2il-mask-abi-probe: the W0B mask-ABI differential (CallMask vs mask-risc) - #1254

r2il-mask-abi-probe: the W0B mask-ABI differential (CallMask vs mask-risc)#1254
AdaWorldAPI merged 19 commits into
mainfrom
claude/fold-distillation-pr-wave-s57uj7

Commits on Sep 20, 2026

r2il-mask-abi-probe: the W0B mask-ABI differential (CallMask vs mask-risc)

ci: run the r2il-mask-abi-probe differential (excluded tier)

knowledge+agent: the CARGO COMPUTE SUBSTRATE LAW, measured

hooks: two-sided test for the anti-pattern-matching guard (pre-disable checkpoint)

knowledge+hooks: FIRST-HAND SOURCE LAW -- search disarmed epistemically

hooks+law: authority-label guard (pre-disable checkpoint)

epistemic pass: one home for the source law; authority is not evidence

reduction audit: 214 -> 106; the tail carve-out is retracted, the gap is named

Replace the tail-30 output rule with root-diagnostic discipline

Fix the two prompts that read failure analysis off a tail

Add the workspace-wide closeout rule: one line, a mirror, and an Epiphany gate

Remove the probe CI step until OGAR #305 is on main; record the follow-up

Revive board/entries as the transient tier: generated index, CI falsifiers, one promotion rule

Review round on #1254: fix 5 verified findings, reject 2 as unfounded

board: one historical findings catch-up, then a SHA watermark and delta-only closeout

board: reduction pass on the findings k-frame — retire the one-shot instrument

board: close two review findings on the provenance gate and the deny hook

board: the merge-base assertion was vacuous under its own disable

board: the two new comments cited the wrong PR number