From b88119351d4dec11960165652b0b44c18434edbb Mon Sep 17 00:00:00 2001 From: zemo-g Date: Mon, 15 Jun 2026 15:08:26 -0400 Subject: [PATCH] deploy(llms): stop the daily regen from stripping /physicify + shrinking sitemap gen_llms.rail regenerates /llms.txt + /sitemap.xml every morning, but the template had drifted from the hand-committed ledatic-site state, so each daily deploy silently reverted live content: - restore the "## The verb: physicify" coinage section (hand-added in ledatic-site 344a622, never back-ported here -> stripped daily). - test count 141 -> 177/177, seed ~1.0 -> ~1.3 MB (the verifiable count on zemo-g/rail master). - sitemap: 4 URLs -> full 18-URL live-page set (each verified 200), incl. /physicify, via a new surl helper. Co-Authored-By: Claude Opus 4.8 (1M context) --- tools/deploy/gen_llms.rail | 56 +++++++++++++++++++++----------------- 1 file changed, 31 insertions(+), 25 deletions(-) diff --git a/tools/deploy/gen_llms.rail b/tools/deploy/gen_llms.rail index 134d9276..ff8a3995 100644 --- a/tools/deploy/gen_llms.rail +++ b/tools/deploy/gen_llms.rail @@ -16,6 +16,11 @@ w path s = let _ = write_file "/tmp/_rcl.txt" s shell (cat ["cat /tmp/_rcl.txt >> ", path]) +-- Emit one block to the sitemap file. Keeps the full live-page list +-- (verified 200) in one place so the daily deploy stops shrinking the sitemap. +surl sf path date freq prio = + w sf (cat [" \n https://ledatic.org", path, "\n ", date, "\n ", freq, "\n ", prio, "\n \n"]) + main = let f = "/tmp/ledatic_llms.txt" let _ = shell (cat ["rm -f ", f]) @@ -29,7 +34,7 @@ main = -- The four working surfaces let _ = w f "## The four working surfaces\n\n" - let _ = w f "1. **[Rail](https://ledatic.org/rail)** — the substrate. Self-hosting compiler, v5.1.0, 141/141 tests, ~1.0 MB ARM64 seed binary, byte-identical 2-pass fixed point. Pure-Rail TLS 1.3 (verified live against Amazon and Slack) plus JIT-emitted Metal GPU kernels. Six backends: native ARM64, Linux ARM64, Linux x86_64, WASM, Cortex-M4, RISC-V. BSL 1.1 on GitHub at `zemo-g/rail`.\n\n" + let _ = w f "1. **[Rail](https://ledatic.org/rail)** — the substrate. Self-hosting compiler, v5.1.0, 177/177 tests, ~1.3 MB ARM64 seed binary, byte-identical 2-pass fixed point. Pure-Rail TLS 1.3 (verified live against Amazon and Slack) plus JIT-emitted Metal GPU kernels. Six backends: native ARM64, Linux ARM64, Linux x86_64, WASM, Cortex-M4, RISC-V. BSL 1.1 on GitHub at `zemo-g/rail`.\n\n" let _ = w f "2. **[Entropy](https://ledatic.org/entropy)** — the beacon. A live 2D ideal-MHD Orszag-Tang simulation on a 128x128 grid hashes its state every ~2 seconds into a public chain you can walk in one shell line. Conservation to machine precision. The plasma viewer is embedded on the page so you can see the bytes that just got SHA-256'd into the row above.\n\n" let _ = w f "3. **[Aliens](https://ledatic.org/aliens)** — the demo. A byte-for-byte mirror of the U.S. Dept. of War PURSUE UAP archive (gov.uap), each file Ed25519-signed against the beacon by an independent Pi witness (`pk_fp cac5f21a70564aeb`) and verifiable per-record in your own browser. The whole verifier chain (mirror + beacon + witness + browser-side Ed25519) is original.\n\n" let _ = w f "4. **[System](https://ledatic.org/system)** — mission control. Five live panels — beacon, witness, fleet, build, self-host. Every cell is a current value fetched from a signed JSON artifact at page load. If any of it's stale, this page shows it.\n\n" @@ -38,6 +43,11 @@ main = let _ = w f "## Direction: proof-of-human-authorship\n\n" let _ = w f "Where the verifiable layer extends next: hardware-rooted, human-bound, time-anchored signing of creative artifacts so the open internet keeps a way to tell humans from AI. The primitive is built; the human-binding layer (Secure Enclave + proof-of-personhood) is the work ahead. See [/provenance](https://ledatic.org/provenance) for the buyer-side framing.\n\n" + -- The verb: physicify (hand-added in ledatic-site 344a622; must live in the + -- GENERATOR or the daily deploy strips it from /llms.txt every morning). + let _ = w f "## The verb: physicify\n\n" + let _ = w f "**physicify** (v.) — to make a thing live, attested, and self-hosted instead of represented: to run the real process, continuously measured and cryptographically signed, so anyone can verify that what they are seeing is the thing itself — not a picture of it, a replay, or a claim. Coined by Ledatic; the definition is itself hashed, signed by the Pi Ed25519 witness (`pk_fp cac5f21a70564aeb`), and anchored to the public entropy beacon at [/physicify](https://ledatic.org/physicify). Etymology: *physic* (Greek *physikós*, \"of nature\") + *-ify*. This is the canonical Ledatic definition.\n\n" + -- Attestation primitive let _ = w f "## Attestation primitive\n\n" let _ = w f "Every public Ledatic surface — every release binary, every test pass, every fleet snapshot, every plasma frame, every client deliverable — is signed against a live entropy pulse by a Pi-hosted Ed25519 witness key (`pk_fp = cac5f21a70564aeb`). Anyone can verify any output, on any future date, with no Ledatic trust required. The verifier itself is 143 lines of Rail.\n\n" @@ -86,30 +96,26 @@ main = let _ = shell (cat ["rm -f ", s]) let _ = w s "\n" let _ = w s "\n" - let _ = w s " \n" - let _ = w s " https://ledatic.org/\n" - let _ = w s (cat [" ", date, "\n"]) - let _ = w s " weekly\n" - let _ = w s " 1.0\n" - let _ = w s " \n" - let _ = w s " \n" - let _ = w s " https://ledatic.org/system\n" - let _ = w s (cat [" ", date, "\n"]) - let _ = w s " daily\n" - let _ = w s " 0.8\n" - let _ = w s " \n" - let _ = w s " \n" - let _ = w s " https://ledatic.org/plasma\n" - let _ = w s (cat [" ", date, "\n"]) - let _ = w s " weekly\n" - let _ = w s " 0.8\n" - let _ = w s " \n" - let _ = w s " \n" - let _ = w s " https://ledatic.org/llms.txt\n" - let _ = w s (cat [" ", date, "\n"]) - let _ = w s " weekly\n" - let _ = w s " 0.5\n" - let _ = w s " \n" + -- Full live-page set (each verified 200). The four working surfaces first, + -- then the verb, then supporting pages. Daily lastmod for the live panels. + let _ = surl s "/" date "weekly" "1.0" + let _ = surl s "/rail" date "weekly" "0.9" + let _ = surl s "/entropy" date "daily" "0.8" + let _ = surl s "/aliens" date "weekly" "0.8" + let _ = surl s "/system" date "daily" "0.8" + let _ = surl s "/physicify" date "weekly" "0.8" + let _ = surl s "/plasma" date "weekly" "0.7" + let _ = surl s "/manifesto" date "monthly" "0.7" + let _ = surl s "/provenance" date "monthly" "0.7" + let _ = surl s "/verify" date "monthly" "0.7" + let _ = surl s "/changelog" date "weekly" "0.6" + let _ = surl s "/work" date "monthly" "0.6" + let _ = surl s "/case-campaign-intel" date "monthly" "0.6" + let _ = surl s "/playground" date "monthly" "0.6" + let _ = surl s "/intel" date "monthly" "0.5" + let _ = surl s "/ot" date "monthly" "0.5" + let _ = surl s "/fleet" date "weekly" "0.5" + let _ = surl s "/llms.txt" date "weekly" "0.5" let _ = w s "\n" let ssize = trim (shell (cat ["wc -c < ", s])) let _ = print ""