moon/zygotec/docs/design, 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 actor: a declared actor without its own drop gets one that awaits owed replies and closes the endpoint; the handler reaches the struct through endpoint.state so the struct isn't shared; spawn hint skips mailbox structs 2026-10-14T23:21:54+00:00 zinc zinc@downsta.ir 2026-10-14T23:21:54+00:00 urn:sha1:fc89e5ea115d6da2217b52a87ba8eb73c207e916 rt: gc_drops finalizes a droppable value that reaches itself (a cycle, or a drop capturing its own value), one per collection, each once; before, each waited for the other forever; spec 6.15.3, drop_gc_cycle.zc, drop_gc_self_capture.zc, design doc lists what landed 2026-10-14T23:14:26+00:00 zinc zinc@downsta.ir 2026-10-14T23:14:26+00:00 urn:sha1:a175ffd5d18d2883279c94d727f5966ecda409ab docs: destructors: the free paths clear the entry in dropfree, right after the drop and before the children 2026-10-14T20:47:37+00:00 zinc zinc@downsta.ir 2026-10-14T20:47:37+00:00 urn:sha1:24b6dfd8e8e1ba678e79e1789583f78b3e2dda9d destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop methods, collector drops after the sweep (once, resurrection), freed blocks forget their drop, temporaries drop at statement end with a hint, actor send check; o3: no collection inside a region (pending until the outermost exit), no drops set or ended inside o3; spec 3.11.6, 4.10.3-4, 6.15 2026-10-14T19:40:49+00:00 zinc zinc@downsta.ir 2026-10-14T19:40:49+00:00 urn:sha1:8af3174b04f18d858653ad70669dced71f5eaa99 docs: destructors: clear drop entry and bits on free; planned reuse test 2026-10-14T19:05:10+00:00 zinc zinc@downsta.ir 2026-10-14T18:07:34+00:00 urn:sha1:ee13eba61d36b373c801218933b72b348b3a5a78 docs: destructors: value and type drops both run, side table storage, F_HASDROP/F_DROPPED bits 2026-10-14T19:05:10+00:00 zinc zinc@downsta.ir 2026-10-14T18:06:55+00:00 urn:sha1:65b44a70ed3f4b6b202d983f27ef7a068fb56aa5 docs: revise destructors draft to acorn's rulings (drop on any heap value, heap() builtin, gc runs drops) 2026-10-14T19:05:10+00:00 zinc zinc@downsta.ir 2026-10-14T17:38:02+00:00 urn:sha1:1b7da03c1442053637243bcd6743a0d885d83095 docs: draft design for destructors on heap objects 2026-10-14T19:05:10+00:00 zinc zinc@downsta.ir 2026-10-14T17:03:50+00:00 urn:sha1:c1328eec5a03ed1693820d29a477baddf275415f docs: remove temporary notes and fix onboarding drift 2026-10-14T09:29:04+00:00 zinc zinc@downsta.ir 2026-10-14T09:28:59+00:00 urn:sha1:f13f84044be1bd18160f4845a739592219638862 - delete TASKLIST.md and docs/design/handoff.md; the handoff content lives in README.md - move docs/BOOTSTRAP-OWNERSHIP.md to docs/history/ and index it in docs/history/README.md - point ONBOARD.md, docs/BORROW.md and the ticked TODO.md item at the new path - ONBOARD.md section 9 no longer mentions TASKLIST.md - ONBOARD.md section 3 and 4 markers are now `// ...` (line comments lost their colon) verified from a clean build: make clean, make (fixpoint 376903 words), the section 0-7 commands (section 4 after the marker fix), and the rejection suites. make check was started but did not complete (stopped before it finished).