2 Commits

Author	SHA1	Message	Date
Tianyi Cui	0c08e34a4a	fix(invariants): harden runtime contracts and gates	2026-07-21 00:25:38 +08:00
Tianyi Cui	e92b34bd7e	fix(invariants): enforce runtime relationships	2026-07-20 23:16:08 +08:00