moon/zygotec/tests/conformance/6-ownership, branch main work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=main2026-10-15T14:59:55+00:00duplicate 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:00zinczinc@downsta.ir2026-10-15T14:59:55+00:00urn:sha1:e7fe081efaae893ed46548fdbc3bfa39b2879878prescan: guess an owned return only from a local declared from new/heap, not a global assigned one (fixes lsp self-check); xref baseline for the new writers2026-10-15T11:49:17+00:00zinczinc@downsta.ir2026-10-15T11:49:17+00:00urn:sha1:d36190a5f3b8fa33fe3381771cd1efb9a1335e50tests: alias_scope expects the block-end message; plain_return now covers a forwarding owned return called early; direct owned return before its body is accepted2026-10-15T11:32:33+00:00zinczinc@downsta.ir2026-10-15T11:32:33+00:00urn:sha1:0c047b14a6488c4bda405cead225b7a700647c1aanalyzer: a .u (declared or inferred) function can't return a borrowed parameter or a value derived from one; fixtures2026-10-15T11:31:29+00:00zinczinc@downsta.ir2026-10-15T11:31:29+00:00urn:sha1:5aaf70abdda0026a7b4d647746a109d94b25f7a0analyzer: a back link (container's owner stored into it) stays a plain reference, fixing a compile hang on a<->b and a leak; ending an owner kills its owned children too (fixes use after reassigning a container); escape fixtures2026-10-15T11:29:31+00:00zinczinc@downsta.ir2026-10-15T11:29:31+00:00urn:sha1:8703e2c85a8ecdea9e869e876e347ebd4cb6ef88analyzer: infer .u from returns of fresh objects in the body (prescan guess, then checked as .u)2026-10-15T11:28:36+00:00zinczinc@downsta.ir2026-10-15T11:28:36+00:00urn:sha1:2b9e79db9e1f4d1f74c6ca99c794ba4886e9f003analyzer: an outer owner moved into a deeper container can take it back (loop-built lists); block-end frees name the owner (why 9) in messages and LSP related info2026-10-15T11:27:42+00:00zinczinc@downsta.ir2026-10-15T11:27:42+00:00urn:sha1:0432ac6aefccbc5a9af25bd4ed2d4451611c4ff4rt: 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 landed2026-10-14T23:14:26+00:00zinczinc@downsta.ir2026-10-14T23:14:26+00:00urn:sha1:a175ffd5d18d2883279c94d727f5966ecda409abdestructors: nothing moves out of a value with a drop: pop on an array with a drop, or on an array field of a value with a drop, is error: a: can't move out of a value with drop (fields were already borrowed projections); spec 6.15.5, four conformance programs2026-10-14T23:10:51+00:00zinczinc@downsta.ir2026-10-14T23:05:44+00:00urn:sha1:3de6ae4a6a74b2c4fa14c3f2d6fbfff3bb83c5f5destructors: reassigning an m owner that still holds a value frees the old value first, running its drop (right side first, then the free, then the store), with hint: x: reassigning frees the old value; a new value that is part of the old one is an error; u, d and captured owners keep the leak error; the new value's size, leaf type and drop are recorded like a declaration's; spec 6.8.5, 6.15.22026-10-14T23:10:51+00:00zinczinc@downsta.ir2026-10-14T23:05:04+00:00urn:sha1:31ae48845492c12f2745c7f4c0cd2ea448e0942a