moon/zygotec/src/tools/parity.sh, branch work/prover work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=work%2Fprover2026-10-14T13:32:54+00:00conformance and parity: a known entry that passes again is stale and fails the run2026-10-14T13:32:54+00:00zinczinc@downsta.ir2026-10-14T13:32:54+00:00urn:sha1:29d5b69d730c151c43df95183af104131b633b4bline 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:7c54e48bca711a6596be4bb17fcaa4330b9928e3parity: clear links from earlier runs so a program's writes never reach the tree2026-10-14T10:48:07+00:00zinczinc@downsta.ir2026-10-14T10:48:07+00:00urn:sha1:095ba2b5b6cacb4599e928831d055e5aa600b454parity: compare what zc0 and the self-hosted compiler print2026-10-14T09:43:55+00:00zinczinc@downsta.ir2026-10-14T09:43:55+00:00urn:sha1:52972fe525abde6e107d7240be91a8985abf0683
src/tools/parity.sh compiles each program of tests/programs, examples and
examples/learn with zc0 (runtime, program, mkgenome, a microcore with the image
embedded, kept under build/parity/) and runs it beside build/bin/zy < prog.zc,
then compares stdout. what zc0 rejects is skipped and counted. tests/parity.known
lists the differences that are by design (zc0 has no ownership analysis or
memdebug checks). make parity runs it. tests/programs/parity_ops.zc pins operator
precedence and associativity across every binary operator, unary operators,
assignment and short-circuit order; its output matches a c compiler's.