DO NOT MERGE — proof runs for paiml/.github Arbiter R2a artifact rows (paiml/infra#532) - #612

Closed

noahgift wants to merge 8 commits into

mainfrom

r2a-proof-do-not-merge

Commits on Sep 23, 2026

DO NOT MERGE — R2a proof run 1: sovereign-ci @arbiter-r2a-artifact-rows (paiml/.github) on stock forjar
noahgift
committed
f6b07ca
DO NOT MERGE — R2a proof run 2: re-run against paiml/.github@arbiter-r2a-artifact-rows 26ac2cb (junit diagnostic)
noahgift
committed
1378f28
DO NOT MERGE — R2a proof run 3: paiml/.github@arbiter-r2a-artifact-rows 6828e46 (continue-on-error, safe diagnostic)
noahgift
committed
8c96193

Commits on Sep 24, 2026