https://github.com/towre676-cloud/tau_crystal
Lean 4 CI: 3× faster Mathlib caching (Linux, containerized) with one-file workflow
https://github.com/towre676-cloud/tau_crystal
bash cryptographic-manifests cryptography github-actions github-pages lake lean4 numerical-relativity reproducibility verification
Last synced: 3 months ago
JSON representation
Lean 4 CI: 3× faster Mathlib caching (Linux, containerized) with one-file workflow
- Host: GitHub
- URL: https://github.com/towre676-cloud/tau_crystal
- Owner: towre676-cloud
- License: other
- Created: 2025-09-03T05:18:59.000Z (10 months ago)
- Default Branch: public/main-seeded
- Last Pushed: 2025-10-12T19:37:13.000Z (9 months ago)
- Last Synced: 2025-10-12T20:01:14.139Z (9 months ago)
- Topics: bash, cryptographic-manifests, cryptography, github-actions, github-pages, lake, lean4, numerical-relativity, reproducibility, verification
- Language: Shell
- Homepage: https://towre676-cloud.github.io/tau_crystal
- Size: 296 MB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
- Citation: CITATION.cff
- Security: SECURITY.md
- Support: SUPPORT.md
Awesome Lists containing this project
README
# τ‑Crystal
τ‑Crystal is a Bash‑only harness for reproducible science and research verification. It runs a set of precise checks (called 'gates') across a repository, seals cryptographically verifiable bundles (called 'capsules'), and records a small, four‑column table showing which subsystems are passing.
Each run produces a signed receipt, a Merkle root, and a compact audit trail that survives across platforms and architectures. The system requires no Docker, no Python environment, and no internet access. Everything it produces can be re‑verified using Bash and coreutils alone.
### Getting Started
Clone the repo and run the hammer:
\```bash
cd tau_crystal
bash scripts/ops/next_hammer.sh
\```
If everything passes, you'll see a tidy table like this:
organ status last_ok_utc last_error
phasehead ok 2025‑09‑21T12:34:56Z -
ckm ok 2025‑09‑21T12:34:56Z -
capsules ok 2025‑09‑21T12:34:57Z -
If something fails, the table will show which organ failed and why. The system does not hide drift — it signs and stores it.
### Repository Layout (Plain Words)
The first time you open this tree, you’ll see some unfamiliar folders. Here’s what they mean:
- `analysis/` is the result pile. TSVs, plots, receipts, summaries. Don’t edit this — it’s a record, not a source.
- `.tau_ledger/` is the cryptographic log. Every sealed run, every signed receipt, every Merkle root lands here.
- `scripts/ops/next_hammer.sh` is the entry point. This is the main command. It runs every gate in a fixed order.
- `scripts/gates/` are the small, focused checks (e.g., CKM matrix unitarity, boundary signatures, capsule hashing).
- `scripts/meta/` contains helpers that print the table, seal capsules, or update the ledger.
Capsules are created in `analysis/capsules/`. Each one includes a boundary.txt, its matching boundary.sig, and a capsule.receipt.json. These folders are portable, tamper‑evident, and can be replayed anywhere with Bash.
### Quick Ritual
To test that the system is wired correctly, run this from the repo root:
\```bash
bash scripts/ops/next_hammer.sh && bash scripts/meta/progress_print.sh
\```
You’ll see a full-status table. If you’re curious, open the latest capsule directory and inspect the receipt. If you’re not, the table is already your witness.
_Last updated: 2025-09-22T20:05:29Z UTC_