work-in-progress programming language. https://git.downsta.ir/moon/zygotec/atom?h=work%2Fprover 2026-10-14T05:55:19+00:00 2026-10-14T05:55:19+00:00 zinc zinc@downsta.ir 2026-10-14T05:55:19+00:00 urn:sha1:05f7b7e09ad503e4eac4f757de0d7329174f6437 an owned local can now move into a released owner declared in the same or an outer block, and g = m*x lends a local owner to a global until the global is assigned again in the same block. leaving that block, giving the local away, or returning while the lend is open is an error. recasting a plain local now names it and says it has no ownership to recast. methdef and syntax_resident use the supported spellings, so make genome reaches its fixpoint from a clean checkout. runerr.sh reads the first // expect: line, since the include headers moved it off line 1.