Commit Graph

37 Commits

Author SHA1 Message Date
codex-bot f3e1670c58 docs: describe synchronous precise read results and compatibility 2026-10-24 02:17:02 +08:00
codex-bot 1aecc7e952 feat: expose precise observations for synchronous read-only calls 2026-10-24 02:17:02 +08:00
codex-bot ee68a0c54c fix: exercise precise region tracking through its ObjectStore owner 2026-10-24 01:41:36 +08:00
codex-bot 42c27d083d docs: specify precise read observations and conservative compatibility 2026-10-24 01:39:49 +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 ae75c54707 docs: specify await ownership and add parked operand regression 2026-10-23 20:14:15 +08:00
codex-bot 16816c38c7 feat: suspend managed calls on generic awaitable operands 2026-10-23 20:14:15 +08:00
codex-bot b33d322690 docs: specify managed coroutine ownership and interleaving regressions 2026-10-23 20:01:58 +08:00
codex-bot e6b27ba7b6 feat: manage independently resumable call frames in the object graph 2026-10-23 20:01:58 +08:00
codex-bot 1c729b4128 feat: retain read-only execution frames across instruction slices 2026-10-23 00:59:23 +08:00
codex-bot e511e393d9 Expose native implementation identity for verified host fast paths 2026-10-22 19:02:27 +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 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 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 20e29e3c5a Validate declared class fields at construction and attribute writes 2026-10-22 11:44:09 +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 ff49f266a2 feat: protect existing objects during read-only calls and track reads 2026-10-21 14:17:38 +08:00
codex-bot 44a02c9fd6 feat: expose validated class registration to VM hosts 2026-10-21 02:40:18 +08:00
codex-bot be9a032647 feat: inherit native allocators and forward managed field storage 2026-10-21 02:05:52 +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 7c842789c0 feat: support opt-in shared reference assignment for host objects 2026-10-20 20:55:25 +08:00
codex-bot aa3257bfe6 feat: connect source compilation and VM execution
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 7m56s
2026-10-19 14:50:37 +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
codex-bot 78fc859825 docs: clarify interpreted execution and platform resource versions
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 6m46s
2026-10-19 13:23:07 +08:00
codex-bot 0b3a480555 Add token-based PEG frontend and CLI source parsing
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 7m30s
2026-10-19 02:48:23 +08:00
codex-bot e24909a56e Add bytecode function creation with defaults and shared closures
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 6m28s
2026-10-19 02:29:39 +08:00
codex-bot 18cd24a203 Align package and executable names with workspace directories
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 15m7s
2026-10-18 21:15:10 +08:00
codex-bot 8bbe78e01e Organize living documentation and directory guides
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 13m40s
2026-10-18 20:58:42 +08:00
codex-bot 6fa95b64b0 Implement validated wordcode execution with shared code objects and frames
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 14m27s
2026-10-18 20:41:56 +08:00
codex-bot 50e8fcb5e7 Shorten crate directory names and update workspace paths
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 14m53s
2026-10-18 19:57:21 +08:00