<feed xmlns='http://www.w3.org/2005/Atom'>
<title>moon/zygotec/TODO.md, branch work/prover</title>
<subtitle> work-in-progress programming language.
</subtitle>
<id>https://git.downsta.ir/moon/zygotec/atom?h=work%2Fprover</id>
<link rel='self' href='https://git.downsta.ir/moon/zygotec/atom?h=work%2Fprover'/>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/'/>
<updated>2026-10-14T16:34:11+00:00</updated>
<entry>
<title>detach doc comments on internal bounds helpers (genome size); todo: reuse capture_scan in the body scanner</title>
<updated>2026-10-14T16:34:11+00:00</updated>
<author>
<name>zinc</name>
<email>zinc@downsta.ir</email>
</author>
<published>2026-10-14T16:33:35+00:00</published>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/commit/?id=70400c5f382f23c1a72e8a948b41d8039e39e94d'/>
<id>urn:sha1:70400c5f382f23c1a72e8a948b41d8039e39e94d</id>
<content type='text'>
</content>
</entry>
<entry>
<title>todo: callee generation guard for direct o3 calls, region 474..692 and fib diagnosis; icon test with an o3 caller across find_replace</title>
<updated>2026-10-14T16:34:08+00:00</updated>
<author>
<name>zinc</name>
<email>zinc@downsta.ir</email>
</author>
<published>2026-10-14T15:13:45+00:00</published>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/commit/?id=4c2c7ad06a1132900bf0994a5d8ce492e7f6ae3e'/>
<id>urn:sha1:4c2c7ad06a1132900bf0994a5d8ce492e7f6ae3e</id>
<content type='text'>
</content>
</entry>
<entry>
<title>todo: work/checks status, self-modifying region caveat, zyrdump off, next direct o3 calls</title>
<updated>2026-10-14T16:34:00+00:00</updated>
<author>
<name>zinc</name>
<email>zinc@downsta.ir</email>
</author>
<published>2026-10-14T14:52:04+00:00</published>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/commit/?id=f1867b8b8e1e2d11557ce0f4e8e11b894b7f20e5'/>
<id>urn:sha1:f1867b8b8e1e2d11557ce0f4e8e11b894b7f20e5</id>
<content type='text'>
</content>
</entry>
<entry>
<title>todo: correct self-modifying region caveat</title>
<updated>2026-10-14T14:46:34+00:00</updated>
<author>
<name>zinc</name>
<email>zinc@downsta.ir</email>
</author>
<published>2026-10-14T14:46:34+00:00</published>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/commit/?id=c8d23e5cba8eb7d5882d6c8bedadd4b39f14c26c'/>
<id>urn:sha1:c8d23e5cba8eb7d5882d6c8bedadd4b39f14c26c</id>
<content type='text'>
</content>
</entry>
<entry>
<title>todo: sync open list with 2026-10-14 work</title>
<updated>2026-10-14T14:33:01+00:00</updated>
<author>
<name>zinc</name>
<email>zinc@downsta.ir</email>
</author>
<published>2026-10-14T14:33:01+00:00</published>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/commit/?id=074a95a5e3aec808bbc6f05d865775d44a3938af'/>
<id>urn:sha1:074a95a5e3aec808bbc6f05d865775d44a3938af</id>
<content type='text'>
</content>
</entry>
<entry>
<title>x86-64 o3 regions: header comment, readme, bench note and todo</title>
<updated>2026-10-14T13:39:45+00:00</updated>
<author>
<name>zinc</name>
<email>zinc@downsta.ir</email>
</author>
<published>2026-10-14T13:39:45+00:00</published>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/commit/?id=a9c6512c552379c25860f77eb98e1ca534d1c205'/>
<id>urn:sha1:a9c6512c552379c25860f77eb98e1ca534d1c205</id>
<content type='text'>
</content>
</entry>
<entry>
<title>merge work/jit2: x86-64 jit inline enhancements</title>
<updated>2026-10-14T13:13:37+00:00</updated>
<author>
<name>zinc</name>
<email>zinc@downsta.ir</email>
</author>
<published>2026-10-14T13:13:37+00:00</published>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/commit/?id=98e2c7610e3e4dcaf4f1644f26f9979d1ffc929d'/>
<id>urn:sha1:98e2c7610e3e4dcaf4f1644f26f9979d1ffc929d</id>
<content type='text'>
</content>
</entry>
<entry>
<title>x86-64 jit: header comment and todo for inlined enhancements</title>
<updated>2026-10-14T13:10:51+00:00</updated>
<author>
<name>zinc</name>
<email>zinc@downsta.ir</email>
</author>
<published>2026-10-14T13:10:51+00:00</published>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/commit/?id=c54244a6501f90dc4e4a005ba70eac8a25c3806c'/>
<id>urn:sha1:c54244a6501f90dc4e4a005ba70eac8a25c3806c</id>
<content type='text'>
</content>
</entry>
<entry>
<title>todo: zc0 gaps done</title>
<updated>2026-10-14T13:05:05+00:00</updated>
<author>
<name>zinc</name>
<email>zinc@downsta.ir</email>
</author>
<published>2026-10-14T13:05:05+00:00</published>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/commit/?id=d2963fe811ebd6a402f626e7e40055f7845bcf18'/>
<id>urn:sha1:d2963fe811ebd6a402f626e7e40055f7845bcf18</id>
<content type='text'>
</content>
</entry>
<entry>
<title>merge bounds checking</title>
<updated>2026-10-14T12:39:07+00:00</updated>
<author>
<name>zinc</name>
<email>zinc@downsta.ir</email>
</author>
<published>2026-10-14T12:39:07+00:00</published>
<link rel='alternate' type='text/html' href='https://git.downsta.ir/moon/zygotec/commit/?id=e228e7609929763d5acddb728ba543832fcffc6a'/>
<id>urn:sha1:e228e7609929763d5acddb728ba543832fcffc6a</id>
<content type='text'>
</content>
</entry>
</feed>
