work-in-progress programming language. https://git.downsta.ir/moon/zygotec/atom?h=work%2Funinit-locals 2026-10-15T18:45:38+00:00 2026-10-15T18:45:38+00:00 zinc zinc@downsta.ir 2026-10-15T18:45:38+00:00 urn: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