sync: adopt v12.17 core engine as canonical main - #87

Merged

dcccrypto merged 226 commits into

mainfrom

sync/v12.17-core

Apr 20, 2026

Commits on Feb 23, 2026

kani: make settle_warmup full model branch-accurate
aeyakovenko
committed

Commits on Feb 27, 2026

fix: liquidation path must reset warmup slope per spec §5.4

aeyakovenko
and
claude
committed

Commits on Mar 4, 2026

fix(kani): strengthen i5 warmup assertion, clarify i8 equity comments

aeyakovenko
and
claude
committed

Commits on Mar 5, 2026

Add fees_earned_total to Account for LP reward tracking

aeyakovenko
and
claude
committed

Commits on Mar 6, 2026

Commits on Mar 13, 2026

feat: implement v9.4 spec — lazy A/K ADL + wide arithmetic + deferred resets

aeyakovenko
and
claude
committed

Commits on Mar 15, 2026

Commits on Mar 16, 2026

Commits on Mar 17, 2026

Commits on Mar 19, 2026

feat: v11.21 spec compliance — off-chain shortlist keeper, split equity, matured warmup

aeyakovenko
and
claude
committed

Commits on Mar 20, 2026

Commits on Mar 21, 2026

Commits on Mar 24, 2026

Commits on Mar 28, 2026

Commits on Mar 30, 2026

chore: make accrue_market_to public

aeyakovenko
and
claude
committed

Commits on Apr 3, 2026

Commits on Apr 4, 2026

Commits on Apr 5, 2026

Commits on Apr 6, 2026

Commits on Apr 8, 2026

fix: proof_buffer_masking_blocked was vacuous (cover unsatisfied)

aeyakovenko
and
claude
committed

Commits on Apr 10, 2026

feat: comprehensive margin enforcement proof (all 3 risk categories)

aeyakovenko
and
claude
committed

Commits on Apr 11, 2026

Commits on Apr 12, 2026

Commits on Apr 13, 2026

Commits on Apr 14, 2026

Commits on Apr 16, 2026

Commits on Apr 17, 2026

docs(threat-model): update deferred findings with resolution status

dcccrypto
and
claude
committed

Commits on Apr 19, 2026

fix(engine): cap LIQ_BUDGET_PER_CRANK at 24 to stay under 1.4M CU

dcccrypto
and
claude
committed

Commits on Apr 20, 2026

merge: adopt v12.17 core engine from laptop as canonical main
dcccrypto
committed