cjc0013/laplacian-matching-theorem-frontier-v18

Laplacian Matching Theorem Frontier v18 This immutable successor to v17 is independently reproduced end to end. It packages the complete computational dependency closure behind the one-Konig-Egervary theorem archive: exact input rows, symbolic checks, Z3, cvc5, Lean 4.32.0, graph-atlas replay, adversarial replay, Hall-polynomial replay, paper source, and SHA-backed expected outputs. Run the pinned workflow with the command in REPRODUCE.md. Reproduction verifies the archive's… See the full description on the dataset page: https://huggingface.co/datasets/cjc0013/laplacian-matching-theorem-frontier-v18.