moon/zygotec/src/compiler/decl.zc, branch work/uninit-locals work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=work%2Funinit-locals2026-10-15T18:45:38+00:00definite 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/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:d36190a5f3b8fa33fe3381771cd1efb9a1335e50analyzer: a .u (declared or inferred) function can't return a borrowed parameter or a value derived from one; fixtures2026-10-15T11:31:29+00:00zinczinc@downsta.ir2026-10-15T11:31:29+00:00urn:sha1:5aaf70abdda0026a7b4d647746a109d94b25f7a0analyzer: infer .u from returns of fresh objects in the body (prescan guess, then checked as .u)2026-10-15T11:28:36+00:00zinczinc@downsta.ir2026-10-15T11:28:36+00:00urn:sha1:2b9e79db9e1f4d1f74c6ca99c794ba4886e9f003hold blocks: top-level hold { shared let ...; fn ... } monitors; shared values kept by the host and copied in/out at the outermost call, reentrant per-block locks in declaration order (core, micro)2026-10-15T11:02:10+00:00zinczinc@downsta.ir2026-10-15T11:02:10+00:00urn:sha1:253ac862c696d73fb17c14a847270b6e08aa8769analyzer: check borrow returns of forward-called functions at the unit's end; borrows clause for prototypes, definitions, externs and function types, checked against the body2026-10-15T06:26:19+00:00zinczinc@downsta.ir2026-10-15T06:26:19+00:00urn:sha1:6bbac2edf7c50dac4d755a364b6dfd16471284d7fndef: b.2.13 unnamed prototype parameters in fewer ops (402197 -> 402112 words, same behaviour)2026-10-14T17:45:16+00:00zinczinc@downsta.ir2026-10-14T16:16:41+00:00urn:sha1:2a5c19fbfcb8f62173160758d9b4965a35db3f50bounds: 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:459b7661aaa0d65d01be064bd4b9976c4f045a5c