 codex-bot
|
057228a0fd
|
docs(tests): correct nominal and native contract scenario boundaries
|
2026-11-15 20:00:13 +08:00 |
|
|
codex-bot
|
57cd32eb5c
|
docs: explain match assertions and annotation type distinctions
|
2026-11-15 19:14:55 +08:00 |
|
|
codex-bot
|
0c69dd83ba
|
docs(core): explain dynamic contract and effect graph regressions
|
2026-11-15 18:08:27 +08:00 |
|
|
codex-bot
|
5ccdf3ee2c
|
docs(core): explain method substitution and update regression scenarios
|
2026-11-15 18:07:05 +08:00 |
|
|
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 |
|