3 Commits

Include renames

Author	SHA1	Message	Date
Tianyi Cui	d897adac87	fix(invariants): keep registration gate final-head clean	2026-07-20 20:16:22 +08:00
Tianyi Cui	3b7ce2e682	fix(invariants): require justified empty companions	2026-07-20 18:39:37 +08:00
Tianyi Cui	433670a754	feat(invariants): require package-owned companions	2026-07-19 22:13:50 +08:00