Skip to content

Commit 21b5cb2

Browse files
inaciovasquez2020inaciovasquez2020
committed
docs: align wording on shared reproducibility infrastructure
1 parent db6a6d6 commit 21b5cb2

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

‎README.md‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
# Chronos Certificates
22

33
This repository is intentionally **certificate-only**. As of tag `chronos-certificates-frozen`, the Chronos depth constants and related artifacts are frozen, cryptographically signed, and treated as canonical. The files `chronos_constants.json` and `Chronos/Cert/ChronosDepthConstants.lean`, together with their corresponding `.minisig` signatures, constitute the complete, verifiable Chronos certificate set. No Chronos theory is developed here: all mathematical definitions, transport lemmas (including the PSH → boundary-overlap conditional), and proofs live upstream in `urf-core`. Any modification to the frozen artifacts requires an explicit unfreeze decision, regeneration of signatures, and a new freeze tag.
4+
5+
This project relies on shared tooling and reproducibility infrastructure provided by the scientific-infrastructure repository; it contains domain-specific research code only.

0 commit comments

Comments
 (0)