docs(certora): research-backed next-steps recommendation#35

Merged

Noc2 merged 12 commits into

mainfrom

certora-followup-research-2

Jun 8, 2026

Commits on Jun 8, 2026

docs(certora): research-backed next-steps recommendation

Noc2
and
claude
committed
test(certora): Track E ProtocolConfig role-gate proofs

Noc2
and
claude
committed
test(certora): Track E LoopReputation supply-cap + access-control proofs

Noc2
and
claude
committed
test(certora): Track B LaunchDistributionPool cap-invariant lemmas

Noc2
and
claude
committed
test(certora): Track C LaunchDistributionPool pool conservation

Noc2
and
claude
committed
test(certora): Track D QuestionRewardPoolEscrow claim-flag proof (proof deferred)

Noc2
and
claude
committed
ci(certora): Track G add new green confs to matrix + status docs

Noc2
and
claude
committed
docs(certora): round-2 verification results + security notes

Noc2
and
claude
committed
test(certora): close legacy-pool conservation gap (Track C follow-up)

Noc2
and
claude
committed
docs(certora): record low-confidence-item investigation outcome

Noc2
and
claude
committed
Merge remote-tracking branch 'origin/main' into certora-followup-research-2
Noc2
committed
style(foundry): forge fmt test files flagged by CI lint

Noc2
and
claude
committed