moon/zygotec/src/compiler/stmt.zc, branch main work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=main2026-10-15T14:59:55+00:00duplicate case labels are an error (b.2.15); unterminated string literal reported where it starts (b.2.11); an unreachable droppable cycle drops whole in one collection (6.15.3)2026-10-15T14:59:55+00:00zinczinc@downsta.ir2026-10-15T14:59:55+00:00urn:sha1:e7fe081efaae893ed46548fdbc3bfa39b2879878constant expressions: c precedence and / % ^ (b.1.3); local const usable in constant expressions (b.1.7, b.2.16); zc0 matches2026-10-15T14:55:36+00:00zinczinc@downsta.ir2026-10-15T14:55:36+00:00urn:sha1:08173d7f88f8551caca81594ed8af79d82d3f71fwip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, affine i*n+k); unbuilt and untested2026-10-15T01:47:02+00:00zinczinc@downsta.ir2026-10-14T17:16:17+00:00urn:sha1:a1d546cc74a72abc4973bf96f72bbd529320d711o3: break and continue out of an o3 { } block call rt.o3_leave for each block they leave (the loop records the o3 depth it began at), so the depth returns to 0 and pending collections and drops run; spec 4.10.3, o3_break_continue_leave.zc2026-10-14T23:10:51+00:00zinczinc@downsta.ir2026-10-14T23:09:49+00:00urn:sha1:7ff224faa88725fe59441e73c70dfa4eedd76345destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop methods, collector drops after the sweep (once, resurrection), freed blocks forget their drop, temporaries drop at statement end with a hint, actor send check; o3: no collection inside a region (pending until the outermost exit), no drops set or ended inside o3; spec 3.11.6, 4.10.3-4, 6.152026-10-14T19:40:49+00:00zinczinc@downsta.ir2026-10-14T19:40:49+00:00urn:sha1:8af3174b04f18d858653ad70669dced71f5eaa99defer: any single statement (if/else, loops, switch, unchecked, unbounded), not just an expression or a block2026-10-14T17:54:34+00:00zinczinc@downsta.ir2026-10-14T16:26:53+00:00urn:sha1:a3450d687628661aa0316cfc995934f6ce0c4e90bounds: body scan, loop-entry hoisting, pointer proofs from requested size, --explain-checks v1 (non-o3 code)2026-10-14T16:33:38+00:00zinczinc@downsta.ir2026-10-14T14:52:04+00:00urn:sha1:459b7661aaa0d65d01be064bd4b9976c4f045a5cmerge bounds checking2026-10-14T12:39:07+00:00zinczinc@downsta.ir2026-10-14T12:39:07+00:00urn:sha1:e228e7609929763d5acddb728ba543832fcffc6amerge: seven self-hosted compiler fixes from conformance2026-10-14T12:33:48+00:00zinczinc@downsta.ir2026-10-14T12:33:48+00:00urn:sha1:29eb9e50d33d417035e133dcebb7111074a23b24bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main in o3call, o3 tests expect no check, boundsrules, bounds_fixed, bounds_heap and zc0unbounded tests2026-10-14T12:28:58+00:00zinczinc@downsta.ir2026-10-14T12:28:58+00:00urn:sha1:d55b5fdf92a674a6495878f97a09e95bafdcba3f