{"id":32721819,"url":"https://github.com/towre676-cloud/tau_crystal","last_synced_at":"2026-04-09T22:47:55.740Z","repository":{"id":312976732,"uuid":"1049517892","full_name":"towre676-cloud/tau_crystal","owner":"towre676-cloud","description":"Lean 4 CI: 3× faster Mathlib caching (Linux, containerized) with one-file workflow","archived":false,"fork":false,"pushed_at":"2025-10-12T19:37:13.000Z","size":309959,"stargazers_count":0,"open_issues_count":1,"forks_count":0,"subscribers_count":0,"default_branch":"public/main-seeded","last_synced_at":"2025-10-12T20:01:14.139Z","etag":null,"topics":["bash","cryptographic-manifests","cryptography","github-actions","github-pages","lake","lean4","numerical-relativity","reproducibility","verification"],"latest_commit_sha":null,"homepage":"https://towre676-cloud.github.io/tau_crystal","language":"Shell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/towre676-cloud.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":"SECURITY.md","support":"SUPPORT.md","governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2025-09-03T05:18:59.000Z","updated_at":"2025-10-05T01:31:47.000Z","dependencies_parsed_at":"2025-09-03T07:21:39.967Z","dependency_job_id":"6b6cdec2-292f-429d-9bb1-589db977042d","html_url":"https://github.com/towre676-cloud/tau_crystal","commit_stats":null,"previous_names":["towre676-cloud/tau_crystal"],"tags_count":48,"template":false,"template_full_name":null,"purl":"pkg:github/towre676-cloud/tau_crystal","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/towre676-cloud%2Ftau_crystal","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/towre676-cloud%2Ftau_crystal/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/towre676-cloud%2Ftau_crystal/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/towre676-cloud%2Ftau_crystal/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/towre676-cloud","download_url":"https://codeload.github.com/towre676-cloud/tau_crystal/tar.gz/refs/heads/public/main-seeded","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/towre676-cloud%2Ftau_crystal/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":282357608,"owners_count":26656057,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-11-02T02:00:06.609Z","response_time":64,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["bash","cryptographic-manifests","cryptography","github-actions","github-pages","lake","lean4","numerical-relativity","reproducibility","verification"],"created_at":"2025-11-02T21:01:14.725Z","updated_at":"2025-11-02T21:02:18.560Z","avatar_url":"https://github.com/towre676-cloud.png","language":"Shell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# τ‑Crystal\n\nτ‑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.\n\nEach 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.\n\n### Getting Started\n\nClone the repo and run the hammer:\n\n\\```bash\ncd tau_crystal\nbash scripts/ops/next_hammer.sh\n\\```\n\nIf everything passes, you'll see a tidy table like this:\n\n    organ        status    last_ok_utc             last_error\n    phasehead    ok        2025‑09‑21T12:34:56Z     -\n    ckm          ok        2025‑09‑21T12:34:56Z     -\n    capsules     ok        2025‑09‑21T12:34:57Z     -\n\nIf something fails, the table will show which organ failed and why. The system does not hide drift — it signs and stores it.\n\n### Repository Layout (Plain Words)\n\nThe first time you open this tree, you’ll see some unfamiliar folders. Here’s what they mean:\n\n- `analysis/` is the result pile. TSVs, plots, receipts, summaries. Don’t edit this — it’s a record, not a source.\n- `.tau_ledger/` is the cryptographic log. Every sealed run, every signed receipt, every Merkle root lands here.\n- `scripts/ops/next_hammer.sh` is the entry point. This is the main command. It runs every gate in a fixed order.\n- `scripts/gates/` are the small, focused checks (e.g., CKM matrix unitarity, boundary signatures, capsule hashing).\n- `scripts/meta/` contains helpers that print the table, seal capsules, or update the ledger.\n\nCapsules 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.\n\n### Quick Ritual\n\nTo test that the system is wired correctly, run this from the repo root:\n\n\\```bash\nbash scripts/ops/next_hammer.sh \u0026\u0026 bash scripts/meta/progress_print.sh\n\\```\n\nYou’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.\n\n_Last updated: 2025-09-22T20:05:29Z UTC_\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftowre676-cloud%2Ftau_crystal","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftowre676-cloud%2Ftau_crystal","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftowre676-cloud%2Ftau_crystal/lists"}