logos.mem.writ.check

fn writ_check(v: WAny) -> bool

Recursively validates structural invariants of the writ value graph reachable from v. Returns false on the first violation found (unknown pod code, null/corrupt ref, bad container size/capacity, non-string map key, unset type tag); true if all sound.