 codex-bot
|
fce5ccf883
|
docs(objects): explain native contracts and scoped root transfers
|
2026-11-15 17:27:15 +08:00 |
|
|
codex-bot
|
e511e393d9
|
Expose native implementation identity for verified host fast paths
|
2026-10-22 19:02:27 +08:00 |
|
|
codex-bot
|
c96dce118b
|
Classify read-only wrappers with dynamic delegated effects
|
2026-10-22 15:07:50 +08:00 |
|
|
codex-bot
|
100bf637f9
|
Add typed trait requirements and enforce actual capability results
|
2026-10-22 14:36:57 +08:00 |
|
|
codex-bot
|
e26e227dd0
|
Validate method substitution before definition updates and execution
|
2026-10-22 14:13:46 +08:00 |
|
|
codex-bot
|
6b4cce1fee
|
Represent nullable and union native contracts with traced alternatives
|
2026-10-22 14:00:48 +08:00 |
|
|
codex-bot
|
680caf81e3
|
Enforce native type signatures and effects across delegated calls
|
2026-10-22 13:51:42 +08:00 |
|
|
codex-bot
|
44519abf7e
|
Validate unified source and native positional call contracts
|
2026-10-22 12:02:41 +08:00 |
|
|
codex-bot
|
6346041f77
|
Check source function annotations and unify managed function identity
|
2026-10-21 22:38:22 +08:00 |
|
|
codex-bot
|
eb60212428
|
Add explicit managed traits and inherited method arity contracts
|
2026-10-21 21:34:46 +08:00 |
|
|
codex-bot
|
4a2f81cb48
|
fix: preserve plain reference rebinding during read-only calls
|
2026-10-21 14:30:06 +08:00 |
|
|
codex-bot
|
2b5539cd06
|
feat: create scoped language functions from native calls
|
2026-10-21 02:19:30 +08:00 |
|
|
codex-bot
|
a970fd7707
|
feat: add managed types, source classes and scoped native calls
|
2026-10-21 01:47:08 +08:00 |
|