Draft / Experimental: Zith documentation describes a language under active development. Check Implementation Status before relying on a feature.
The specification defines Node Resource Analysis (NRA) and the memory qualifiers mut, lend, view, unique, share, and belong. NRA is no longer purely specification-only, but it is not finished either.
The qualifiers parse anywhere a type is written and are carried in the type table as a qualified type. HIR and code generation strip the qualifier, so a qualified value has the same representation as an unqualified one. One rule is enforced today: writing through a view binding reports E4004.
fn peek(value: view i32): i32 {
value
}The pipeline boundary that ownership proof needs is also in place. The stable order is sema -> comptime/solve -> NTA/NRA -> HIR: semantic facts are accumulated and consumed before final lowering, and residual ownership facts attach to side tables rather than introducing ownership nodes into HIR.
The alive/dead/lent state machine and the rest of the ownership diagnostics (E4001 use-after-move, E4002 borrow conflict, E4003 double borrow) are not implemented. Do not present ownership examples as compiler-enforced behaviour beyond the view write rule.
Read the Memory Model reference for the design and Implementation Status for the boundary.