moon/zygotec/README.md, branch work/uninit-locals work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=work%2Funinit-locals2026-10-15T18:58:06+00:00uninit: 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
docs: 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:3bda259888f0df91e3c6860b718c659c9bee410econstant 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:08173d7f88f8551caca81594ed8af79d82d3f71flsp: borrow errors ranged on the use, with related information for where the owner ended and was declared; vscode client passes relatedInformation through2026-10-15T06:41:56+00:00zinczinc@downsta.ir2026-10-15T06:41:56+00:00urn:sha1:e1e0a265e931637f452ac05bb7d912e07bcee574std: add std.Io (print, println, nl, put_*, put_f, get_c, eof, read, getline) with test, learn example and docs2026-10-15T06:12:25+00:00zinczinc@downsta.ir2026-10-15T06:12:25+00:00urn:sha1:de4da84ca3159ad0ebcf13729716be5f4d7bbc2ax86-64 jit: inline new_k, recycle_leaf and own fast paths, in o3 regions and plain blocks2026-10-15T04:00:53+00:00zinczinc@downsta.ir2026-10-15T04:00:53+00:00urn:sha1:63ff1aacf764e692a7a29a7c0043278f637f1dbb
a call to rt.new_k / rt.recycle_leaf with a constant class, or to rt.own,
does its class-list pop or push (or owner store) inline and goes on after
the call; an empty list, memdebug, a held range, a block outside memory, a
translated word or a type/class mismatch takes the ordinary call. in a
region this replaces the o3_invoke round trip. o3 frees of leaf objects now
use recycle_leaf too (new_k stamps the type inside o3 since b86db60).
ZYNOFASTALLOC=1 turns it off; ZYPERFMAP=1 writes a perf map of translated code.
tests/programs/o3_freelist.zc: reuse, zeroing, an empty list, untyped
neighbours, memdebug; jit vs ZYNOFASTALLOC vs ZYO3INTERP.
std: File, the first user of drops: std.Host.open(path, mode) returns an owned std.File (or null) with write and read, and its drop closes the descriptor; Host.writefile is built on it; file_drop.zc, learn and readme2026-10-14T23:16:57+00:00zinczinc@downsta.ir2026-10-14T23:16:57+00:00urn:sha1:54d316a531ddb8e293711761e4f29e93d282599crt: memreport marks a leaked value whose drop never ran with (drop); spec 4.11, readme, memdebug_report_drop.zc2026-10-14T23:10:51+00:00zinczinc@downsta.ir2026-10-14T23:07:51+00:00urn:sha1:fd18cb8fa5117b98939db553c2f61dd83b84d7d8genmap: default genome reservation 0x70000 words (the genome had 197 words left); the map constants in rt.zc and the README table move by 0x8000; gc.zc's reclaim bound is 900 (937 with the heap higher, 952 before) and the run-only section rewrites whatever its number2026-10-14T23:10:51+00:00zinczinc@downsta.ir2026-10-14T23:04:57+00:00urn:sha1:4ff9e3b89fa1dca5d5981a22e5d41ac5f36ad11d