feat(lattice): TINI over a Lattice record and down-closed observers, with a certified laws census - #10

feat(lattice): TINI over a Lattice record and down-closed observers, with a certified laws census#10

hyperpolymath merged 8 commits into

mainhyperpolymath/secret-types:mainfrom

claude/serene-sagan-un5t4qhyperpolymath/secret-types:claude/serene-sagan-un5t4qCopy head branch name to clipboard