3 Commits

Author	SHA1	Message	Date
codex-bot	ae821aea2e	Prove read-only effects through current source call graphs	2026-10-22 15:55:44 +08:00
codex-bot	cd25f819f2	Infer conservative read-only source effects for method contracts	2026-10-22 15:40:44 +08:00
codex-bot	e26e227dd0	Validate method substitution before definition updates and execution	2026-10-22 14:13:46 +08:00