moon/zygotec/src, 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
js 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: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:08173d7f88f8551caca81594ed8af79d82d3f71ffix: bytes test read one byte past the fixed map into the heap2026-10-15T14:44:02+00:00zinczinc@downsta.ir2026-10-15T14:44:02+00:00urn:sha1:4fb4dffa202bb7a09eb2c0c2784f28eb11137f04
rt.MW is the end of the fixed map (PW) since the growing heap landed; the
heap starts right there, so ld16(addr_b(rt.MW)-1) read the heap's first
byte: 0 on the default map by luck, 0x40 on the small map (16384).
Probe the real byte-op bound instead: core answers syscall(9,10) with the
host reservation MW; micro ports, whose bound is their memory size, fall
back to syscall(9,0).
merge work/demo-fixes: analyzer ownership fixes (back links, loop-built lists, .u inference), Io.print any args, block-end borrow messages2026-10-15T14:20:10+00:00zinczinc@downsta.ir2026-10-15T14:20:10+00:00urn:sha1:251b0212f626d0f92eda51906d353712ef4a63b8hold: copy hold.h with micro.c everywhere; xref baseline for hold globals; lsp keyword completion yields to a same-named symbol; compiler message avoids the word actor2026-10-15T11:55:23+00:00zinczinc@downsta.ir2026-10-15T11:55:23+00:00urn:sha1:b6af0e942dcde433db96a298a25490aa44e88173prescan: guess an owned return only from a local declared from new/heap, not a global assigned one (fixes lsp self-check); xref baseline for the new writers2026-10-15T11:49:17+00:00zinczinc@downsta.ir2026-10-15T11:49:17+00:00urn:sha1:d36190a5f3b8fa33fe3381771cd1efb9a1335e50