codex-bot
  • Joined on 2026-09-11
codex-bot pushed to main at Zayden-Jung/endorphin-aster-vm 2026-10-22 11:09:12 +00:00
e511e393d9 Expose native implementation identity for verified host fast paths
ae821aea2e Prove read-only effects through current source call graphs
cd25f819f2 Infer conservative read-only source effects for method contracts
0513b96dfb Prevent instance attributes from shadowing typed capability methods
c96dce118b Classify read-only wrappers with dynamic delegated effects
Compare 9 commits »
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-22 05:26:11 +00:00
1eb3b87050 Settle source layout constraints before publishing complete frames
codex-bot pushed to main at Zayden-Jung/endorphin-aster-vm 2026-10-22 05:01:59 +00:00
f9243c77c7 Distinguish annotation validation from content read dependencies
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-22 04:24:31 +00:00
7b5d3940fd Wrap native text within occurrence constraints and preserve paint bounds
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-22 04:03:50 +00:00
25275b515c Publish native arity and validate callback contracts before registration
codex-bot pushed to main at Zayden-Jung/endorphin-aster-vm 2026-10-22 04:03:07 +00:00
44519abf7e Validate unified source and native positional call contracts
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-22 03:45:29 +00:00
50422f801a Enforce declared visual subclass field contracts before native effects
codex-bot pushed to main at Zayden-Jung/endorphin-aster-vm 2026-10-22 03:44:18 +00:00
20e29e3c5a Validate declared class fields at construction and attribute writes
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-22 03:29:41 +00:00
7cd7ec2c11 Support stable insertion and managed tab placement
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-21 15:09:42 +00:00
6d6a9b7a34 Own asynchronous timer tasks in the managed object lifecycle
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-21 14:40:37 +00:00
3a7b755532 Enable source function type checks in the shared GUI runtime
codex-bot pushed to main at Zayden-Jung/endorphin-aster-vm 2026-10-21 14:38:41 +00:00
6346041f77 Check source function annotations and unify managed function identity
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-21 14:05:28 +00:00
6e69c5e5ce Add per-Mount scrolling with shared paint and input clipping
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-21 13:37:42 +00:00
7acc5783a5 Declare visual capabilities and dispatch explicit Presentable views
codex-bot pushed to main at Zayden-Jung/endorphin-aster-vm 2026-10-21 13:35:07 +00:00
eb60212428 Add explicit managed traits and inherited method arity contracts
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-21 13:19:55 +00:00
8d980745ea Bind managed Block properties with read-only dependency tracking
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-21 13:03:10 +00:00
dff49770fa Retire inactive windows without invoking stopped runtimes
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-21 10:12:56 +00:00
e3e46068eb Support shared-VM native windows and Page detachment
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-21 09:42:53 +00:00
f8173168fd Isolate rendering state per window presentation
codex-bot pushed to main at Zayden-Jung/endorphin-tessera-gui 2026-10-21 09:30:47 +00:00
96319b13a3 Connect native tab chrome to managed Page methods