Evidence
Different claims need different evidence
Paper acceptance, computational agreement, and machine-checked theorems are different kinds of evidence. This page keeps them separate.
Three evidence layers
The program keeps peer review, executable agreement, and machine-checked laws separate.
Adversarial review
Every manuscript links to its PDF, source, reproducibility record, related work, and review report.
Executable agreement
One fixture corpus checks path, mapping, instance, loss, and schema-diff behavior in two implementations.
Selected formal laws
Nine path and mapping theorems are checked independently of axioms in the recorded build.