Evidence kernel
Claims ledger schema, proof levels, citation and retraction checks, and golden-vector test runners.
- Repository
evidence-kernelon GitHub- Cite
- doi:10.5281/zenodo.24035685 (all versions, via Zenodo)
- Layer
- Meta
- Licence
- Apache-2.0
- Status
- released
Claims
| Claim | Level | Statement | Evidence |
|---|---|---|---|
evidence:RUNNERS-AGREE v1.0.0 | T | The Rust, Python and JavaScript golden-vector runners give the same verdict on every shared conformance case: numbers inside and outside tolerance, nested arrays and objects, strings, booleans versus numbers, null, and expected or unexpected errors. | |
evidence:LEDGER-CHECKED v1.0.0 | T | `ek validate` rejects a ledger that breaks the claims@1 schema, repeats an id, uses another repo's prefix, points to a missing proof, check or test file, has an R claim without a DOI or PMID, or depends on a claim that is missing or at another major version. | |
evidence:RETRACTIONS-FAIL v1.0.0 | T | `ek resolve` exits with an error when a cited DOI or PMID does not resolve, or when Crossref or PubMed marks it as retracted or withdrawn. | |
evidence:LEAN-NAMES-EXIST v1.0.0 | T | `ek lean-links` reports every P claim whose theorem Lean does not know, and always deletes its temporary Lean file. | |
evidence:README-TABLE-CURRENT v1.0.0 | T | The README claims table depends only on `claims.yaml`, and `ek readme-table --check` fails whenever the table is out of date. | |
evidence:VECTORS-CHECKED v1.0.0 | T | `ek vectors` rejects a vector file that breaks the golden-vectors@1 schema or cites a claim that is not in the ledger. | |
Depends on
.githubactive
Used by
rhythm-unitsreleasedpitch-mathreleasedaudio-safety-mathreleasedbiological-rhythms-datasetreleasedfrequency-therapy-evidenceplannedsonification-manifestplanned
Posts about this repo
No posts about this repo yet.