moon/zygotec/TODO.md, branch main work-in-progress programming language. https://git.downsta.ir/moon/zygotec/atom?h=main 2026-10-15T14:59:55+00:00 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 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 TODO: implicit namespace at the top 2026-10-15T11:29:48+00:00 zinc zinc@downsta.ir 2026-10-15T11:29:48+00:00 urn:sha1:0ff4ef026c2bc26efda21af7d38a6d0366423538 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 todo: overnight freelist-inline done-gate met with trees timings 2026-10-15T05:18:37+00:00 zinc zinc@downsta.ir 2026-10-15T05:18:37+00:00 urn:sha1:e8562dc690b693c70866ff199244013054b08ca4 Mark native freelist pop/push inline done (c31a07d/63ff1aa), record x86-64 jit trees ~3× win and llvm/C comparison ratios; clear the overnight still-open line. todo: overnight 5:27 queue verified; find_replace hardening noted 2026-10-15T02:45:57+00:00 zinc zinc@downsta.ir 2026-10-15T02:45:57+00:00 urn:sha1:e67497b821732696f8f9b376b4c2806ec273a399 drop-check trees/sieve timings vs e67671d, reassignment and o3 drop/GC checks, plain new_k confirmation, and 1db57f7; freelist-inline still open. todo: overnight prover/rcall/alloc status 2026-10-15T01:56:39+00:00 zinc zinc@downsta.ir 2026-10-15T01:56:39+00:00 urn:sha1:d442b978345a2fce41d10b2949dd73c45ce0c1dc prover: len/cross-array/fixed-new/affine proofs; keep facts past call loops 2026-10-15T01:53:36+00:00 zinc zinc@downsta.ir 2026-10-15T01:53:36+00:00 urn:sha1:fe43cc41876ffdb3e714de8efc8a2907d456b5db Rebased the prover WIP onto main. lafact_keep restores undirtied allocation facts even when the loop body might free (so a later touch() no longer drops every length fact). proven_p uses ptr_still so an outer call keeps the check. entry_fact still supplies the size for the "might free" explain reason. bounds_prover.zc and explain_prover.zc land with test.sh coverage. o3: use new_k (size-class free lists) like plain code 2026-10-15T01:46:53+00:00 zinc zinc@downsta.ir 2026-10-15T01:46:53+00:00 urn:sha1:b86db60d8b2a50b179d9a3e69a0b4951e0c196f9 Constant-size typed new inside o3 now calls rt.new_k instead of always taking new_t/new_raw. new_k and recycle_leaf skip the o3 argument-fatten path the way free/recycle already do. trees o3 new/free on the x86-64 jit dropped from about 4.1 ms to about 2.7 ms per iter (matches plain).