moon/zygotec, branch work/uninit-locals work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=work%2Funinit-locals2026-10-15T19:00:16+00:00lsp: initialize locals set under a found flag (definite assignment)2026-10-15T19:00:16+00:00zinczinc@downsta.ir2026-10-15T19:00:16+00:00urn:sha1:c55497afe921a4979290dc495e5811b045e0a14auninit: track aggregate fills per part, sticky computed-index fills, &a[k] and method calls set the aggregate; fix test/example hits; docs2026-10-15T18:58:06+00:00zinczinc@downsta.ir2026-10-15T18:58:06+00:00urn:sha1:5a4dc62a79af6135c7050e81a82dbfdfb0a7d4e0definite assignment: reading a local before it is initialized is a compile error (spec 4.1.5, b.1.9)2026-10-15T18:45:38+00:00zinczinc@downsta.ir2026-10-15T18:45:38+00:00urn:sha1:be43babc1886fc5efee898b2a3d0285012e511fb
track linited per local alongside the ownership state; snapshots, exit records and joins carry it, and a join keeps a local set only when every reaching path set it. x = e, a declaration initializer, &x (out-parameter), a full array initializer, or using an aggregate as an address set a local; field and element writes do not set the aggregate. while/for bodies that may run zero times do not count; do/while does. compiler, runtime, std, actor and lsp sources initialize the locals the rule flagged; zc0 accepts = {} brace lists (zeroed). tests: tests/errors/uninit_*.zc, tests/conformance/4-statements/uninit_*.zc
merge work/known-bugs: constant-expression precedence, local const in constant expressions, duplicate case labels, unterminated strings, droppable cycles in one collection, js vm exit, docs, actors_demo order2026-10-15T18:14:40+00:00zinczinc@downsta.ir2026-10-15T18:14:40+00:00urn:sha1:f3dcfd9805e1bd23b002f648d4391ec397122d9cexamples/actors_demo: print the fan-out replies in worker order, not arrival order (the x86-64 jit vs interpreter check flaked on it under load)2026-10-15T16:53:23+00:00zinczinc@downsta.ir2026-10-15T16:53:23+00:00urn:sha1:35538c83c1f9f9c95a850a2b4a78002c5b467653xref baseline: lkval (local const values) and xcval folded in bin2026-10-15T16:00:58+00:00zinczinc@downsta.ir2026-10-15T16:00:58+00:00urn:sha1:9a745b50399be3948c5c4e139c73d1808029b000seed: regenerate after known-bugs fixes (image d5ab2ac3)2026-10-15T15:05:23+00:00zinczinc@downsta.ir2026-10-15T15:05:23+00:00urn:sha1:cc45ad4e1b4af9eff24906edeb7a0114934cea6ddocs: appendix b.1.2, b.1.4, b.1.5, b.1.6, b.1.8 prose fixed in README (b.1.9 left for Acorn's decision)2026-10-15T15:02:38+00:00zinczinc@downsta.ir2026-10-15T15:02:38+00:00urn:sha1:3bda259888f0df91e3c6860b718c659c9bee410ejs vm: syscall 7 (exit) stops the run with its status, so a runtime fault no longer runs on past the fault (js vm trace check)2026-10-15T15:02:30+00:00zinczinc@downsta.ir2026-10-15T15:02:30+00:00urn:sha1:012cbf7146f452690045dd07acd6775dbdf4f76cduplicate 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:e7fe081efaae893ed46548fdbc3bfa39b2879878