feat(proofs): L-T27-SYNC-L1 — bootstrap trinity proofs subtree from trios#586

Open

gHashTag wants to merge 8 commits into

feat/l-t27-sync-l1

Commits on Apr 29, 2026

fix(ui): upgrade dioxus 0.5 -> 0.6, fix UR-00/UR-01/UR-02 (#365)
gHashTag
authored

Commits on May 8, 2026

fix(coq): L-COQ47 sweep-1 — close 8/11 Admitted in ExactIdentities.v (#550)
gHashTag
authored
fix(coq): L-COQ47/exid-cleanup — DELETE 3 R8-blocked per queen ruling (#555)
gHashTag
authored
fix(coq): L-COQ-UNITARITY — close 2 Admitted via R8 falsification (#564)
gHashTag
authored
fix(coq): L-COQ-QUARKS — close 4 Admitted via R8 falsification (#565)
gHashTag
authored
fix(coq): L-COQ-CONSISTENCY — close 7 Admitted (3 Qed + 4 R8) (#566)
gHashTag
authored
chore(proofs): remove stale proofs/trinity in preparation for trios subtree
Dmitrii Vasilev
committed
feat(proofs): import trinity Coq base from trios via git-subtree (L1 bootstrap)
Dmitrii Vasilev
committed