moon/zygotec, branch work/prover work-in-progress programming language. https://git.downsta.ir/moon/zygotec/atom?h=work%2Fprover 2026-10-14T17:16:17+00:00 wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, affine i*n+k); unbuilt and untested 2026-10-14T17:16:17+00:00 zinc zinc@downsta.ir 2026-10-14T17:16:17+00:00 urn:sha1:900c59c4d72c692e0bb8e0d3a28cc52547e58c9b detach doc comments on internal bounds helpers (genome size); todo: reuse capture_scan in the body scanner 2026-10-14T16:34:11+00:00 zinc zinc@downsta.ir 2026-10-14T16:33:35+00:00 urn:sha1:70400c5f382f23c1a72e8a948b41d8039e39e94d explain-checks: the record writer moves to src/lib/explain.zc, embedded and compiled only in that mode; the genome keeps the call sites and a hook 2026-10-14T16:34:08+00:00 zinc zinc@downsta.ir 2026-10-14T16:33:11+00:00 urn:sha1:6a7fe0898a2bde8abd3c28697e28c9fc0cb1e7b2 jit_x64_test: link tests, src and examples into the scratch directory so embed and include programs compile; list the programs whose compile error is expected 2026-10-14T16:34:08+00:00 zinc zinc@downsta.ir 2026-10-14T16:19:46+00:00 urn:sha1:1a0af8a98894175d53928bd4e1e40c90fb773eea todo: callee generation guard for direct o3 calls, region 474..692 and fib diagnosis; icon test with an o3 caller across find_replace 2026-10-14T16:34:08+00:00 zinc zinc@downsta.ir 2026-10-14T15:13:45+00:00 urn:sha1:4c2c7ad06a1132900bf0994a5d8ce492e7f6ae3e jit_x64_test: a compile error on either core counts as a difference 2026-10-14T16:34:00+00:00 zinc zinc@downsta.ir 2026-10-14T15:13:45+00:00 urn:sha1:93e659d63593716d0eb127244b94130b52e1d6f2 todo: work/checks status, self-modifying region caveat, zyrdump off, next direct o3 calls 2026-10-14T16:34:00+00:00 zinc zinc@downsta.ir 2026-10-14T14:52:04+00:00 urn:sha1:f1867b8b8e1e2d11557ce0f4e8e11b894b7f20e5 bounds: body scan, loop-entry hoisting, pointer proofs from requested size, --explain-checks v1 (non-o3 code) 2026-10-14T16:33:38+00:00 zinc zinc@downsta.ir 2026-10-14T14:52:04+00:00 urn:sha1:459b7661aaa0d65d01be064bd4b9976c4f045a5c zy: nonzero exit on compile errors 2026-10-14T16:25:03+00:00 zinc zinc@downsta.ir 2026-10-14T16:25:03+00:00 urn:sha1:35d1811c7ef8e41baddb9ce0fbb1d28970ddc213 merge work/exactsize: exact-size heap bounds 2026-10-14T16:06:30+00:00 zinc zinc@downsta.ir 2026-10-14T16:06:30+00:00 urn:sha1:7e9abb014169b77cba5174ae92ddc3d1eca4d667