ABET — Proof Index · every part, every URL, live

One directory tying every proof to a clickable URL: each book × each service (live verdicts + the actual scraper endpoint), the marrying engine, every board, every backend module, every skill — and the honest 50→17 reckoning, computed (not asserted) from the live data.

① The honest count

② Every book × every service — live proof matrix

each cell links to the live scraper endpoint · book name → its 4-source proof page
BookState CFCF-propsHuggingFaceOracle VMGitHub

③ The boards & proof surfaces

④ The backend — every module (source on GitHub)

ModuleWhat it proves / does

⑤ The skills (the repeatable loops)

⑥ Is it just tables + SQL/hashmaps?