fix(coq/cno): tier-0 rebuild - Coq 8.18 build repair + state_eq relaxation + eval_deterministic discharge (Refs standards#124)#25

hyperpolymath wants to merge 2 commits into

mainhyperpolymath/absolute-zero:mainfrom

fix/coq-cno-tier0-rebuild-2026-05-20hyperpolymath/absolute-zero:fix/coq-cno-tier0-rebuild-2026-05-20Copy head branch name to clipboard