moon/zygotec/docs/SPEC.md, branch main work-in-progress programming language. https://git.downsta.ir/moon/zygotec/atom?h=main 2026-10-15T15:02:38+00:00 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:00 zinc zinc@downsta.ir 2026-10-15T15:02:38+00:00 urn:sha1:3bda259888f0df91e3c6860b718c659c9bee410e duplicate 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:00 zinc zinc@downsta.ir 2026-10-15T14:59:55+00:00 urn:sha1:e7fe081efaae893ed46548fdbc3bfa39b2879878 constant expressions: c precedence and / % ^ (b.1.3); local const usable in constant expressions (b.1.7, b.2.16); zc0 matches 2026-10-15T14:55:36+00:00 zinc zinc@downsta.ir 2026-10-15T14:55:36+00:00 urn:sha1:08173d7f88f8551caca81594ed8af79d82d3f71f merge work/demo-fixes: analyzer ownership fixes (back links, loop-built lists, .u inference), Io.print any args, block-end borrow messages 2026-10-15T14:20:10+00:00 zinc zinc@downsta.ir 2026-10-15T14:20:10+00:00 urn:sha1:251b0212f626d0f92eda51906d353712ef4a63b8 hold: 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 actor 2026-10-15T11:55:23+00:00 zinc zinc@downsta.ir 2026-10-15T11:55:23+00:00 urn:sha1:b6af0e942dcde433db96a298a25490aa44e88173 std.Io.print/println take any mix of printable arguments (compiler expands per type); docs, conformance 2026-10-15T11:30:36+00:00 zinc zinc@downsta.ir 2026-10-15T11:30:36+00:00 urn:sha1:a5a5029a80a14be46c244b5bcca63e5e2cd9026f docs: hold blocks in LEARN.md (36-hold), spec 5.16, ACTOR.md; TODO: m:n scheduler and follow-ups 2026-10-15T11:06:10+00:00 zinc zinc@downsta.ir 2026-10-15T11:06:10+00:00 urn:sha1:24a21f7520ce91681e573833b7f33156e308964a analyzer: check borrow returns of forward-called functions at the unit's end; borrows clause for prototypes, definitions, externs and function types, checked against the body 2026-10-15T06:26:19+00:00 zinc zinc@downsta.ir 2026-10-15T06:26:19+00:00 urn:sha1:6bbac2edf7c50dac4d755a364b6dfd16471284d7 analyzer: use-after-end messages name the borrower, the owner and how the owner ended (freed, moved, .d parameter, push, global, reassignment), with fixtures 2026-10-15T06:18:10+00:00 zinc zinc@downsta.ir 2026-10-15T06:18:10+00:00 urn:sha1:0a87c4663fc52bf60f3d440200b3b3ad6b39bd3e wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, affine i*n+k); unbuilt and untested 2026-10-15T01:47:02+00:00 zinc zinc@downsta.ir 2026-10-14T17:16:17+00:00 urn:sha1:a1d546cc74a72abc4973bf96f72bbd529320d711