moon/zygotec/tests/test.sh, branch main work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=main2026-10-15T15:02:30+00:00js vm: syscall 7 (exit) stops the run with its status, so a runtime fault no longer runs on past the fault (js vm trace check)2026-10-15T15:02:30+00:00zinczinc@downsta.ir2026-10-15T15:02:30+00:00urn:sha1:012cbf7146f452690045dd07acd6775dbdf4f76chold: 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:b6af0e942dcde433db96a298a25490aa44e88173lsp: hold and shared hovers, completion of the keywords, shared variables marked in hover and completion; tmLanguage keywords; hold_lsp_test.js2026-10-15T11:05:19+00:00zinczinc@downsta.ir2026-10-15T11:05:19+00:00urn:sha1:ee4900f847eec5a050c1cf909d5662efe82930f4test.sh: hold fixtures on interp, micro, x86-64 jit and llvm2026-10-15T11:03:46+00:00zinczinc@downsta.ir2026-10-15T11:03:46+00:00urn:sha1:4b8a082d11b175f1732b9537d6f4835498254e0clsp: 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:e1e0a265e931637f452ac05bb7d912e07bcee574analyzer: 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:6bbac2edf7c50dac4d755a364b6dfd16471284d7std: 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.
prover: len/cross-array/fixed-new/affine proofs; keep facts past call loops2026-10-15T01:53:36+00:00zinczinc@downsta.ir2026-10-15T01:53:36+00:00urn: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.
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:54d316a531ddb8e293711761e4f29e93d282599c