 codex-bot
|
9bf887af1e
|
docs(objects): explain exports and storage arithmetic regressions
|
2026-11-15 17:42:18 +08:00 |
|
|
codex-bot
|
5ff1c68f5f
|
feat: execute source control flow and exact real arithmetic
|
2026-11-12 10:48:27 +08:00 |
|
|
codex-bot
|
a775d5c827
|
feat: track borrowed name-level dependencies across read-only calls
|
2026-10-24 01:39:49 +08:00 |
|
|
codex-bot
|
16816c38c7
|
feat: suspend managed calls on generic awaitable operands
|
2026-10-23 20:14:15 +08:00 |
|
|
codex-bot
|
100bf637f9
|
Add typed trait requirements and enforce actual capability results
|
2026-10-22 14:36:57 +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
|
f9243c77c7
|
Distinguish annotation validation from content read dependencies
|
2026-10-22 13:01:40 +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
|
a970fd7707
|
feat: add managed types, source classes and scoped native calls
|
2026-10-21 01:47:08 +08:00 |
|
|
codex-bot
|
f77b8370ea
|
refactor: extract core objects into a standalone package
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 7m34s
|
2026-10-19 13:33:24 +08:00 |
|