gHashTag · gHashTag · Apr 6, 2026 · Apr 6, 2026
@@ -2,6 +2,8 @@ name: PHI Loop CI
 on:
   pull_request:
     branches: [master]
+  push:
+    branches: [master]
 
 jobs:
   build-and-test:
@@ -16,6 +18,26 @@ jobs:
         working-directory: bootstrap
         run: cargo build --release
 
+      - name: Install Zig
+        uses: goto-bus-stop/setup-zig@v2
+        with:
+          version: 0.13.0
+
+      - name: "E2E: seed.t27 -> t27c gen -> zig test -> GREEN (#150)"
+        run: |
+          set -euo pipefail
+          echo "--- Phase 1: Generate Zig from seed ---"
+          ./bootstrap/target/release/t27c gen specs/base/seed.t27 \
+            > gen/zig/seed_e2e_test.zig
+          echo "--- Phase 2: Verify generation ---"
+          test -f gen/zig/seed_e2e_test.zig || \
+            { echo "FAIL: gen output missing"; exit 1; }
+          echo "--- Phase 3: Zig compile + test ---"
+          zig test gen/zig/seed_e2e_test.zig
+          echo "--- E2E GREEN ---"
+
+      - name: Ensure tri shim is executable
+
       - name: Ensure tri shim is executable
         run: chmod +x scripts/tri
 

@@ -5,3 +5,4 @@
 {"ring": 44, "task": "create-evidence-package", "spec_paths": ["docs/CLARA-EVIDENCE-PACKAGE.md", "docs/CLARA-PROPOSAL-TECHNICAL.md"], "actions": ["create-evidence-291-lines", "enhance-proposal-deliverables", "add-budget-2M"], "verdict": "clean", "timestamp": "2026-04-05T14:30:00Z"}
 {"ring": 45, "task": "create-demo-pipeline", "spec_paths": ["scripts/clara/demo.sh", "scripts/clara/README.md"], "actions": ["create-7-phase-demo", "20-20-pass"], "verdict": "clean", "timestamp": "2026-04-05T15:00:00Z"}
 {"ring": 47, "task": "phi-identity-flocq-phase-b", "spec_paths": ["coq/Kernel/PhiFloat.v", "scripts/validate_phi_f64.py", "conformance/phi_identity_vectors.json"], "actions": ["phi_f64-b64_mult-b64_plus", "phi_identity_contract-vm_compute", "coqchk-ci", "validate_phi_f64.py"], "verdict": "clean", "timestamp": "2026-04-06T16:00:00Z"}
+{"ring":46,"task":"E2E CI loop: seed.t27 → t27c gen → zig test → GREEN","verdict":"clean","timestamp":"2026-04-06T21:30:00+07:00"}
@@ -0,0 +1,10 @@
+{
+  "gen_hash_c": "sha256:5cbc1782743b8b4991711ef40f0d0f2d88543e2648731d659d927a9f9153aa9f",
+  "gen_hash_verilog": "sha256:54d95f29cd690dd5bfa498ed054a3bcb83495b30f8fceae5059055369ccbae87",
+  "gen_hash_zig": "sha256:19870431e637661fb9662dd19cbf9c0cd7e0491c6c82337db0e3172f523f44b7",
+  "module": "AgentRunner",
+  "ring": 12,
+  "sealed_at": "2026-04-06T14:43:48Z",
+  "spec_hash": "sha256:6896908fcaeb8407df560c64eb693eadf05d054c5c40b38ab20631dbafba5718",
+  "spec_path": "specs/server/agent-runner.t27"
+}
@@ -0,0 +1,10 @@
+{
+  "gen_hash_c": "sha256:d87de4b439b1870df91a155fc747238eeae1fa0eedd0417d3407508cb4ec973b",
+  "gen_hash_verilog": "sha256:49b1f0242669a3195a84d4aa262a9aeabb2deff179f5a97dc020d2b124b25c5b",
+  "gen_hash_zig": "sha256:d020ff6e43472b637dc6aa7122b7e36638c67e903b8ecb7f7334ad4f9a656fc5",
+  "module": "Api",
+  "ring": 12,
+  "sealed_at": "2026-04-06T14:43:48Z",
+  "spec_hash": "sha256:b9f18717ddd5c0f5c44289bb5f6c0225499ad94694771519e27b71257b6eaffc",
+  "spec_path": "specs/server/api.t27"
+}
@@ -1,10 +1,10 @@
 {
   "gen_hash_c": "sha256:2b9f66ad4ad67899c89fe637ea16160e4fd500f75751d82f1a9696b1ba4dc741",
   "gen_hash_verilog": "sha256:ff1649071efc35271eb0efe211b034ab575fdaecdec4dba92b64ce0be102c146",
-  "gen_hash_zig": "sha256:bbf0647aac1a336f829a7c351675edced46e99f918413ce5fefeb742c0c20fd4",
+  "gen_hash_zig": "sha256:e5a71e63e4ede6bc360cededdbcd05a30196f8a87c1bfaeca43fd59ebaf7ee00",
   "module": "AspSolver",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:bb946bdf57d38b74c2b7b7c5cdff1023c802ae75d29c5b7f3d94b0dc55d4ba05",
   "spec_path": "specs/ar/asp_solver.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:9ac7e3354bce19794f1969c3dbea88489a51937421c63063660d5990e8797338",
-  "gen_hash_verilog": "sha256:a7572b4aba8c53be511d9e88589b8040a7b3b7f7184e10fa0d35656f48945bbc",
-  "gen_hash_zig": "sha256:f7d19a5e12a60a8434b27dbf5dfdd17226df060350a38fba8ede6f4fe9a47c6d",
+  "gen_hash_c": "sha256:9ae0c962b73a8ebad43080b23982c2de59ff331f5119b2e34b71d3c0f8f91cc2",
+  "gen_hash_verilog": "sha256:2960664a08998f0a47fb7d0ee45ae39612fed8dcd3ca36fcf8d65b48f0f6ebfd",
+  "gen_hash_zig": "sha256:da92a8e010b1a6554b9ae19a518545e75ccbe7f409e3cbc745d35728500f966e",
   "module": "Composition",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:2fb9382777d17c70796a78aba5de5f8ab72fb10ada959a72457b0c9e44f50112",
   "spec_path": "specs/ar/composition.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:02fb8c70e31a2069bede2e7d722db9dd595ad0c0d3c9a693dbccee8b0c1b0725",
-  "gen_hash_verilog": "sha256:bfe994a8ea035698f71a2239daedd88fef6e69b5891c9afd3c9905d39b58c0ec",
-  "gen_hash_zig": "sha256:6e0ab05b1caedca7c164a6218424acacecf3703b4443331c5684ca8557d24cb6",
+  "gen_hash_c": "sha256:0bdc0caa950877a83ac51608455e5ea1ff56068b8f25469c28bf1511583b74fe",
+  "gen_hash_verilog": "sha256:a6e638930b1552f9d21c1a9b3996548538a0fa880985dd2e7be87dcd874310b4",
+  "gen_hash_zig": "sha256:a9ccacf0fc31e555a68fdde8e8f0fc0a39ee6e8c31adadf5c436a4f7f08c0a92",
   "module": "Constants",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:6bf826d00d7993c592564b19bbac3fe1880ef71b1e51df62560cbda0165b888e",
   "spec_path": "specs/math/constants.t27"
 }
@@ -1,10 +1,10 @@
 {
   "gen_hash_c": "sha256:2edd21c4dd71ddf840d3432ec8a34bfc809926702b538e32c75bdcb31ae28af4",
   "gen_hash_verilog": "sha256:dec0ec5d8f2ba5c73b7877113bda8064bd88ae32bd9796de2055b951a3887dce",
-  "gen_hash_zig": "sha256:8e8a7bf83475d48ff20e104c8490dd17299028b2674eb252887edf7bf4e0644a",
+  "gen_hash_zig": "sha256:37164005062ba42a444b02073bbbd04d9b3ffc7a7a81f6bedc50018179b875fb",
   "module": "DatalogEngine",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:30f9ede1d2afebc229f303f07941c3154e1dc3342f5a58e7cbd0cc57a000d5d6",
   "spec_path": "specs/ar/datalog_engine.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:542f43f33c333f3b81f15b6728fe7fb16bc013ed7899ae2712dc87e65de422b6",
-  "gen_hash_verilog": "sha256:3c02efd131603e53049037019f0f849e5af4f37aaa9a047d4b6979dccdc89ddf",
-  "gen_hash_zig": "sha256:a04282f52a98d1f3e097f1ec3dc4cbbaf7682f0a61c9001e29742631ef899f9e",
+  "gen_hash_c": "sha256:1055c085fdb1eee0947c7882f8507f92b25a9115f750fc08b707ef78cd329a29",
+  "gen_hash_verilog": "sha256:8525aa6187b8901d709b3d6670526d157bf858e8bdf1ea29b11a5c97669ddaab",
+  "gen_hash_zig": "sha256:b5d9fdec6f47b61c9bd8389e6727d747191d1f85b09f67ae8481284b835106a6",
   "module": "E8LieAlgebra",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:25b6ee00d06cbaa426e8f668867d19b4fd8ca2f4efc28d20527105a54e5daf99",
   "spec_path": "specs/math/e8_lie_algebra.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:829dbfec64111c3808e9413b9e9e46e0ae2b0f17a9c66e72036df197010e989b",
-  "gen_hash_verilog": "sha256:9395e0b523e60ec80ea8c7af08faa1647184861219e2e109cc2842920025a963",
-  "gen_hash_zig": "sha256:b1bd5131974a66ef35f243eb82007129de04c4c66d04cf2aa2bc037527102e87",
+  "gen_hash_c": "sha256:8d3c9df37347fc8a6d1edb865840b63d3cc92da23c1e075a95aadb8e3ce993bd",
+  "gen_hash_verilog": "sha256:e5ef47c9f6fbd6e535e68830bea9daddfc03616d9aa686c97d96f31b10e05511",
+  "gen_hash_zig": "sha256:ecd4396ab24d4247f170fc9d036175add79f8502be5a13660f20f94543e34915",
   "module": "Explainability",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:db364b8cbad87d73e5b3146e841c7e8d1ee15e385f8d9a2a95e78b33f4b25c90",
   "spec_path": "specs/ar/explainability.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:251517a515bf19bee61dd99d6ca9d4b1ae499ccc57eb1fbcc42951d7a7164543",
-  "gen_hash_verilog": "sha256:d9fa00d95fa046a04736bbd0cd6cfd9e793ab39e0359aa4216381a55c6e68286",
-  "gen_hash_zig": "sha256:2eb57c2a29fd079aeb00e97839e18acd917f491b88ea61aff0bdf5e1de291576",
+  "gen_hash_c": "sha256:e94cc2dc3a76037425184c917cff1f8f1ef710b2c139400213dcc5e85c9d4ec1",
+  "gen_hash_verilog": "sha256:1def3b574d380fbf619416478d8eb9c381fce411a056eec26fc68eda78075505",
+  "gen_hash_zig": "sha256:bdb915be9adbf83824a5771e57d67df553714450a3572df714376b31059aa11d",
   "module": "FPGA_Bridge",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:55eb424b792db0bb3c5efae81066cc2ecfe8dfc08bd6e0331d2a72fe7f632a80",
   "spec_path": "specs/fpga/bridge.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:0d70a2c517345a2e4bdca3c8106d169e134788aa6cf183b9b6e1baeac8056a58",
-  "gen_hash_verilog": "sha256:301d5939f973b4877c825135928d7cb005c8dbf0b0ba9c8ab6ccbe89a7eec7e2",
-  "gen_hash_zig": "sha256:537112eabc3da830b743be6d459b4898dc6ee7b7ea0149606de12207bcd33898",
+  "gen_hash_c": "sha256:7266dfd9cf05ea4d08e5851727c66cf83da5082b971ba072232de20728c0d459",
+  "gen_hash_verilog": "sha256:18ffc4810b2104aba0ed033bf8be380e2e93936cbec02f990570803756f39453",
+  "gen_hash_zig": "sha256:412f40492537a9848937e92f2aa4f36b649e0fb86ea7bf617e0bbc729d380308",
   "module": "GF12",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:115133d8685eeb29f662462b26688e1cf306a523412358e27cece0952c80ac35",
   "spec_path": "specs/numeric/gf12.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:03e4a487bbbb359d151b5be5d3bc69b0fe9b61fc51e64b29ddb4f37ac76a913b",
-  "gen_hash_verilog": "sha256:3d3c07f836bbba1b1dd1d495f643dc3f2b67958737c5ce2bf62eaecbd7749911",
-  "gen_hash_zig": "sha256:efdc5197b1f69f36f08cb8c075818e38412cd92a5f6529a5cc23e70d48b096b9",
+  "gen_hash_c": "sha256:5b1d1efe1c5b9eec4b1e8ee5fd6706b21f016d6e2deb55d73d01c77182e61c55",
+  "gen_hash_verilog": "sha256:b700f382e881428c44eb444baeae93155dbabe41f10eb1a423ec0710c529d2c8",
+  "gen_hash_zig": "sha256:ffb5c5dfb70f0f234cf1d7147153f3267b42bc3c96bbf03e76e07986c151fef8",
   "module": "GF20",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:5e595b03714e279746f53610a9a94af1980fa86086a727839afb59bd0672d031",
   "spec_path": "specs/numeric/gf20.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:e8ac6dcf9299067caed5d13f763c5ddfb1f6e5ffd0e0c5058c3b650f8c3b3fac",
-  "gen_hash_verilog": "sha256:4cb909a4cf4787e7dff533a24a59615e26b2b23eb6d0b1d74c928ea7aebf110b",
-  "gen_hash_zig": "sha256:3792307d9e45507d4f53b1e342d9db73fa5653e830f82e551e26ecc657d80b44",
+  "gen_hash_c": "sha256:936a01f00d806ee403f15af9f9702bc4e313910dc78e5f3b2225c68912a96e4d",
+  "gen_hash_verilog": "sha256:50a15ecd4346023286c2e1c5ab2f0116fdf43f53579b25383900ddd6dc70bf1c",
+  "gen_hash_zig": "sha256:b874e33db7bf95fe7490ec99e52f6d9a121f28c793eb78932fbbc77374a20869",
   "module": "GF24",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:90c26b6e25af5216e9c6f952f94e52bf19c821eb37a690688b0b623e7a7f0d0d",
   "spec_path": "specs/numeric/gf24.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:e057d2a6859c5eec2f7355ab76da6fef832093f7be6191df8aa8320c4724e39f",
-  "gen_hash_verilog": "sha256:d3011d24a4637fd57d3da7bcd73fa9a44b3157f4c3d12b5b0d9467a86200a11c",
-  "gen_hash_zig": "sha256:bc26deb55e7bdf2019e744533e1c8fdadf975e7ee7ef56e5c9791f4d0517b206",
+  "gen_hash_c": "sha256:5eaa2e66dc28e4808d894cfe83112b068978068622553b28696fbbb1f97b36be",
+  "gen_hash_verilog": "sha256:ccfc05687ac2582cacd46edb5069d103f6cd1954093510a90308c5122359c1ea",
+  "gen_hash_zig": "sha256:05453429fcaeb8fe56c16b18be73c96c2725471e0e4601a1b56f280939226023",
   "module": "GF32",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:05d7ba7bf4f27fee619f68e3876fe0353d489cc7e80085c8278f91b6431a19b8",
   "spec_path": "specs/numeric/gf32.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:0e8a332ae2e1f0d9dab3a404c89a23f78c76496f1e5ccc6df66e26ca4a9353d0",
-  "gen_hash_verilog": "sha256:b5c5094b96697e788ebf5e68a645b7c5458208199af2291e9b0b42cb2f93995b",
-  "gen_hash_zig": "sha256:91983467d48818d30f06deda166d3433419d4e1210e823872f6a2138a8ddc58c",
+  "gen_hash_c": "sha256:7a3079dc991fad324c49b7ab859f933a930dfd7d04d6826725ae4f8b0ce2acdf",
+  "gen_hash_verilog": "sha256:804992d34ff79de9a6a4cf0c113e8c09b4e87cd2e054e3f566a876b19fe1a5c4",
+  "gen_hash_zig": "sha256:11b30d0ba3acc977dade15d1419bce905280116ecad088e863a525b95957168f",
   "module": "GF4",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:0d7009c7d29746a59d4ecee013524681d5fdf5638ba885f6c3d6d8e727e24aa8",
   "spec_path": "specs/numeric/gf4.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:4d416d8cc7355288f583e1f8cbe843a0a7c4b77c6cf59d7cf64e8676b37db5fa",
-  "gen_hash_verilog": "sha256:5dcbfbb35407629f1a152baa205b8b02a59356eeb441bd57a2e4e657167f3daa",
-  "gen_hash_zig": "sha256:1cf9a34b2a8abe17fce6cf279c0e0fb59b68fb7a468019d019887993158f84aa",
+  "gen_hash_c": "sha256:3029c9f02b3314ba66a4861ec800e45aa84b799096c2fab5bd6e9209e52c346c",
+  "gen_hash_verilog": "sha256:4fd18846f8f7bdfe0aa0a3e091a7a2f5e337f5f86446124d4012ee1aebc99241",
+  "gen_hash_zig": "sha256:2397ff65d9e9f7e936b22f51ca78b6eb24396a446b584f5c930edb322477fb4c",
   "module": "GF8",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:0538c88ed55d82d9fbe3da29ff75ada7c744f78c65ba33755de228f3c026e112",
   "spec_path": "specs/numeric/gf8.t27"
 }
@@ -1,10 +1,10 @@
 {
   "gen_hash_c": "sha256:293c9ba185ed09501329fe00c0de34b6e7463b56ebd893542781d180b566a7bc",
   "gen_hash_verilog": "sha256:21e7d3196fe65d48861ca326a1def27a180859a815cc4130056ec189f4b17722",
-  "gen_hash_zig": "sha256:b957300669cf22109de33ae04137575106af611d0120eef07c6e287fab0b3a53",
+  "gen_hash_zig": "sha256:6a09c7d9b6422f98f7e89ce906712bb2f23aaa44a6d22d0e2f9312bb96fa1fbc",
   "module": "GoldenFloatFamily",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:37c5b5303bee350796f227724559dabbf12c5f4e30287521caa564307b6fa482",
   "spec_path": "specs/numeric/goldenfloat_family.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:2c9d6bb85107e27b84ae66552439bebf4a9bc2816941a448694f6fd9732cf576",
-  "gen_hash_verilog": "sha256:560e3cdcfb4bbb13c10cab75e1a99c36c56f921423c1f8d120a3b0ca408e979a",
-  "gen_hash_zig": "sha256:5261fa64dfea6005657b198b91a368e348147bca01c2dc27399d1a87fa9e60d9",
+  "gen_hash_c": "sha256:9b9c49875dd2f1bb5409e305a658e05d879582a482ae87e4057e27463b154bff",
+  "gen_hash_verilog": "sha256:fcd662607a1d6bb8b902c5dc20ea48b1c16ed394eb6404d3ac01fd19d14ed466",
+  "gen_hash_zig": "sha256:2ad280ef48ce06acf8346ad0eaf2eff6b78d1ca66ef5751cb6558111d6ee810b",
   "module": "HSLM",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:b330b7482ef3d92f88d57a40bb97e1a0cd62a62687da483c83558c72d59153d1",
   "spec_path": "specs/nn/hslm.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:6a5cce6b004827683216eed0374e289cb710c28eeff48b47c5d35b9aaa5f9667",
-  "gen_hash_verilog": "sha256:b172789e1e7c11dd5e38ebe987de092fa60dfea724c403e647daddfbacf239a1",
-  "gen_hash_zig": "sha256:42702ecf2749a65934deb7dee9fbb0c3dd8274b1fac8f887ddd41d432f48f069",
+  "gen_hash_c": "sha256:ca72db071435cde41597bda0947e41be5d3802af96ba42035b1072f0f9eeb73d",
+  "gen_hash_verilog": "sha256:68ccb2e92db88d8bfde298d64d5723aaf654b190d94859aee81eef40d09ceee3",
+  "gen_hash_zig": "sha256:e6927adcaf24e837c6c55c5e499ec3ceb623d410e733e88c3cf806fa8f7062b4",
   "module": "ISARegisters",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:7bb12b72319d35b5c28a8dc9f44542e681418b372f6edb2d0a54b31ed336cb64",
   "spec_path": "specs/isa/registers.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:de74b8ec39b6e7d6de3763d78e7a320813635f034225d7e78bfb95023091b752",
-  "gen_hash_verilog": "sha256:dcbcd6f122055b7e3dfb0881574c3e9a43f7edd79cb2210ae833ccd505ba676b",
-  "gen_hash_zig": "sha256:414860a19a3ebce484b900f1b2c3cac8a48c5859cc0c2285a1094ba82981661c",
+  "gen_hash_c": "sha256:86dfcbed00effad4b992cbcbde93ecf7e660cfec3fcab5524b9c5c9fdd468037",
+  "gen_hash_verilog": "sha256:bf5a92524702be43adb32bf69b7b37a5d90221ac7b2df49287d5d177bdd52cfe",
+  "gen_hash_zig": "sha256:7870e05f4bc37d1c4451e523526b13a978e4066c25ad0a9a6696198ff6d9dbb4",
   "module": "JonesTopologyFilter",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:5f9dcca7c0b19732e333b1882571f153d6d17055ceadd36d40f09ae44a74c94a",
   "spec_path": "specs/demos/jones_vsa_demo.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:5c9f8e5c934f870d60e106c48aa9c333eaa68d94de1c426f83b98259f1f51f6e",
-  "gen_hash_verilog": "sha256:1fb80b04ccee6a9dacca34847b6c36be00dde430975436707a224a4c4d6182fd",
-  "gen_hash_zig": "sha256:b412e0f0e522c34caaf3d0442a8c4bcbd0268b2784140ffe470bd85f98df484e",
+  "gen_hash_c": "sha256:fcbf74f3921a6451e1fb374922cb3829b4358ff935549c324e6e320226c0fcf8",
+  "gen_hash_verilog": "sha256:0771e0834a96c59b7801aa7b615fdda9b93a7895e265ec4e371075c5548fc95e",
+  "gen_hash_zig": "sha256:e80bbf748e8aa35e6e810906ad378ac8e33ba0036951cf0be482e234b5f4844d",
   "module": "MAC_Testbench",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:3e7706e5e58b49744b70465956a1a932550aaa37215ce9a2050ef64bcab51ec2",
   "spec_path": "specs/fpga/testbench/mac_tb.t27"
 }
@@ -1,10 +1,10 @@
 {
-  "gen_hash_c": "sha256:9f0d25c71d6f5df8d4bbe5cd5fd2a420baebe0704940f4dcc2c0a8c165322101",
-  "gen_hash_verilog": "sha256:20013d40bb1f1da4d71c13efc5d70daf8b9035a23da5b5fd92bacd42c8ecd4e4",
-  "gen_hash_zig": "sha256:89d4a2a98bc545907222881790299c83578ff5c578ef9ccee63ad9725caafcec",
+  "gen_hash_c": "sha256:5b75126289362d6704c3ac5cef58333982b9161cfb86d20afd48aadaef3af610",
+  "gen_hash_verilog": "sha256:ab2467b5b43f43fa01834d714eac2c11d4d9beb75dbf32875ba8ce8b3ef8c50c",
+  "gen_hash_zig": "sha256:e2db6753e9d975d46637c103c096554e8afc4262f0d2dab5dc0105722c9b2946",
   "module": "Parsing",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:0627bf6a53f9f8f4166c9e3a54d6b31fe435c4aa755c4697e081c3cb16245536",
   "spec_path": "specs/compiler/parser.t27"
 }
@@ -1,10 +1,10 @@
 {
   "gen_hash_c": "sha256:2a10fb47ec7b317fa9018aef7d90a0408d618ad6568020a54cef26d8a33e6a2b",
   "gen_hash_verilog": "sha256:99f7ab5fcd1f062937c1b8d360db156f59f350c394c6562cd5d79910eca80d27",
-  "gen_hash_zig": "sha256:a5d09b18a1947d480d9c346a675175b81e39cd9a44c9587d888447671d29a9d8",
+  "gen_hash_zig": "sha256:161794fcf46d6b623eb757eb8f6ced6649856e305f17241b9015fde0f5bd098f",
   "module": "PhiRatio",
   "ring": 12,
-  "sealed_at": "2026-04-06T09:46:30Z",
+  "sealed_at": "2026-04-06T14:43:48Z",
   "spec_hash": "sha256:c9446edec8d2a50aee43922023fc3d34bec36ff05b671678d687939e89e7c5c5",
   "spec_path": "specs/numeric/phi_ratio.t27"
 }
@@ -0,0 +1,10 @@
+{
+  "gen_hash_c": "sha256:cbe0c52fadd6f8d860b2830b89bb2bfe4dc0f7fc65d408104cc92c6d69d6ad0c",
+  "gen_hash_verilog": "sha256:d4fa7a2d61b63471a7fb7efd5eae060c66db6a53eb05d2a18dac3855c750f3c4",
+  "gen_hash_zig": "sha256:b29b3a59edcf6b7781947796d02880a4b4e5dddf34115172c78463b206ae842f",
+  "module": "Project",
+  "ring": 12,
+  "sealed_at": "2026-04-06T14:43:48Z",
+  "spec_hash": "sha256:acf4ba1b7ab9f14eb47c1a2596048de73c2da7f58c5b54f58a8c5a2d0222b8c4",
+  "spec_path": "specs/server/project.t27"
+}