Skip to content

Reconcile authoritative Opsle research ledger - #26

Merged
sneakocom merged 2 commits into
mainfrom
reconciliation/20260911-program-ledger
Sep 11, 2026
Merged

Reconcile authoritative Opsle research ledger#26
sneakocom merged 2 commits into
mainfrom
reconciliation/20260911-program-ledger

Update Affected Verification head invariant

426ba7d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar