moon/zygotec/src/core/core.c, branch work/prover work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=work%2Fprover2026-10-14T16:33:38+00:00bounds: 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:459b7661aaa0d65d01be064bd4b9976c4f045a5cx86-64 o3 regions: header comment, readme, bench note and todo2026-10-14T13:39:45+00:00zinczinc@downsta.ir2026-10-14T13:39:45+00:00urn:sha1:a9c6512c552379c25860f77eb98e1ca534d1c205x86-64 jit: compile o3 regions (vars in their frame slots, six value registers); ZYO3INTERP=1 keeps the region interpreter2026-10-14T13:24:21+00:00zinczinc@downsta.ir2026-10-14T13:24:21+00:00urn:sha1:999a1ffa7c77ce63d1b6f2eb6c42be6057b2fb69x86-64 jit: header comment and todo for inlined enhancements2026-10-14T13:10:51+00:00zinczinc@downsta.ir2026-10-14T13:10:51+00:00urn:sha1:c54244a6501f90dc4e4a005ba70eac8a25c3806cx86-64 jit: inline enhancements (micro-ops lowered to registers, literal specialization, ZYNOENH=1 to call xrun); enh_ops test; jit_x64_test in test.sh2026-10-14T13:10:41+00:00zinczinc@downsta.ir2026-10-14T13:10:41+00:00urn:sha1:25ce902e2d57d9fb3a0b44f71ef258cfb290a9b7core: an enhancement's ld reads 0 past 2^32 in xexec too (mread took an int), as the jits and the microcore do2026-10-14T13:10:41+00:00zinczinc@downsta.ir2026-10-14T13:10:41+00:00urn:sha1:c971a3b4389967c1b545ee17604ce1cf92b9bc5eline tables and backtraces: port agent/line-tables onto main, op 56 on the x86-64 jit, docs, measurements, tests; default genome reservation 0x680002026-10-14T12:22:01+00:00zinczinc@downsta.ir2026-10-14T12:22:01+00:00urn:sha1:7c54e48bca711a6596be4bb17fcaa4330b9928e3x86-64 jit: zyi target, ZYNOO3, bench and test timeouts, docs; drop a stray file2026-10-14T10:30:45+00:00zinczinc@downsta.ir2026-10-14T10:30:45+00:00urn:sha1:44e60a7afc4673c88890997d5779aa7c6c06f330x86-64 jit: translate ordinary vm blocks to x86-64 on linux, o3 regions on the region interpreter2026-10-14T10:00:13+00:00zinczinc@downsta.ir2026-10-14T10:00:13+00:00urn:sha1:e52a9a399762e5715c261c45d7ecd8e3a68ad50cbuild: embed images with #embed, keep everything generated in build/2026-10-14T07:28:39+00:00zinczinc@downsta.ir2026-10-14T07:28:39+00:00urn:sha1:7451eb090d890fb5ea5e4d40627a1b4df15a49de
the cores take their genome in with c23 #embed through src/core/genome.h,
so images are plain little-endian word files (genome.bin) instead of
generated c headers. zc0 writes that format, mkgenome checks an image
against its map and shows a compiler's diagnostics when it gets them,
and the javascript vm and the editor's vm host read the same files.
src/tools/findcc.sh picks a compiler with #embed (clang 19 or gcc 15).
zc gets an embed declaration, embed "file" as [type] name, for globals
and locals: a byte string by default, char*, numbers read little-endian,
and arrays of numbers. the compiler and language server carry their
library and source texts through it, so embed.sh and the text it
spliced into compiler.zc are gone.
make writes executables to build/bin, the default map to build/core/map,
the web page to build/web and the extension staging to build/vsix, and
the genome now rebuilds when its sources change. the test suite lays
out its own map and bootstrap and reads nothing from build/.
also: rt.put_s of a byte string in zc0 images, retained function
sources no longer count as live objects, a missing include no longer
cascades into undefined-name errors, consecutive comment lines join
into one hover paragraph, and stale test fixtures follow the include
format.