moon/zygotec/tests, 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 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 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 merge work/bench: make bench, bench-check, bench-selftest; baseline at 89f35bd 2026-10-14T16:06:30+00:00 zinc zinc@downsta.ir 2026-10-14T16:06:30+00:00 urn:sha1:fbfbb687c22e8193541301784811c316906f9890 bench: drop committed pycache, ignore __pycache__ 2026-10-14T16:04:16+00:00 zinc zinc@downsta.ir 2026-10-14T16:04:16+00:00 urn:sha1:28c88e210a691ace1e59692ec4e243f6ee28accb bench: idle re-save of baseline at 89f35bd 2026-10-14T15:50:55+00:00 zinc zinc@downsta.ir 2026-10-14T15:50:55+00:00 urn:sha1:3832b3aff413bffa91c9bf6e80ebec91ee693ca0