Repository navigation

Preserve native ownership across actor graphs, views, and checked suites - #280

Closed

vycdev wants to merge 88 commits into

codex/native-caller-ownership-repairsfrom

codex/native-resource-reference-lifecycle

Closed

Preserve native ownership across actor graphs, views, and checked suites#280
vycdev wants to merge 88 commits into
codex/native-caller-ownership-repairsfrom
codex/native-resource-reference-lifecycle

Commits on Oct 4, 2026
- Add checked Resource reference ownership lifecycle
  vycdev
  committed
  7157f56
- Add private native Resource custody protocol core
  vycdev
  committed
  9242106
- Execute checked Resource scopes and custody transport
  vycdev
  committed
  f4d0484
- Preserve checked Resource hook identity through HIR and MIR
  vycdev
  committed
  82bb262
- Validate and issue native Resource layout metadata
  vycdev
  committed
  5124207
- Authenticate Resource ownership plans against original checked source
  vycdev
  committed
  4cf0486
- Connect native Resource context to checked custody operations
  vycdev
  committed
  4aafe1d
Commits on Oct 5, 2026
- Reduce recursive lowering stack frames on Windows
  vycdev
  committed
  1a51a0b
- Derive original Resource caller closure and emit checked native layout
  vycdev
  committed
  c94437e
- Connect native Resource Source calls and exact custody leaves
  vycdev
  committed
  ed38393
- Plan ordinary companions from fresh Resource custody proofs
  vycdev
  committed
  ab40235
- Emit and execute direct Resource lifecycles natively
  vycdev
  committed
  cc06aa1
- Validate Resource replacements before running finalizers
  vycdev
  committed
  2b9442b
- Compile Resource assignment through native codegen
  vycdev
  committed
  cda86ac
- Retain native output capture handles
  vycdev
  committed
  b20bb38
- Preserve native Resource calls across handled arguments
  vycdev
  committed
  a30ca97
Commits on Oct 6, 2026
Commits on Oct 7, 2026
- Fix exact required hook fixture proof assertions
  vycdev
  committed
  77359de
- Lower borrowed Resource optional and result payload views
  vycdev
  committed
  d1ffd08
- Add measured GNU Resource acceptance gate
  vycdev
  committed
  35bef5e
- Lower nested Resource payload view lifetimes
  vycdev
  committed
  c373ab8
- Clarify current native parity scope and acceptance
  vycdev
  committed
  c453297
- Fix strict typing in Resource archive measurements
  vycdev
  committed
  69719a6
- Implement native borrowed optional and result payloads
  vycdev
  committed
  2c9f9aa
- Reconcile accepted JSON parser status in the native audit
  vycdev
  committed
  5d01097
Commits on Oct 8, 2026
Commits on Oct 12, 2026
- Implement native actor identity equality
  vycdev
  committed
  1dde961
- Preserve occupied Resource struct ownership through construction
  vycdev
  committed
  c141de2
- Measure and pin native Resource archives on Windows MSVC
  vycdev
  committed
  70a53c6
- Reconcile actor equality status in native parity tracking
  vycdev
  committed
  bb4dba5
- Validate exact concrete arguments before erased interface dispatch
  vycdev
  committed
  7ff46cc
- Reuse identical native Resource programs across script cases
  vycdev
  committed
  00c0de5
- Validate lazy reflected callback returns across native execution
  vycdev
  committed
  24f1b0b
- Own native Resource startup attempts through completion
  vycdev
  committed
  3df3677
Commits on Oct 13, 2026
- Fix adapter forgery test after owned proof transition
  vycdev
  committed
  7e1c630
- Reuse explicit runtime bundles in native integration tests
  vycdev
  committed
  0eb3ce5
Commits on Oct 14, 2026
Commits on Oct 15, 2026
- Authenticate required values in inline bodies and refinement predicates
  vycdev
  committed
  5d96d49
- Reject equality after interface erasure
  vycdev
  committed
  10e9c7e
- Preserve checked callbacks through native Verify and Property suites
  vycdev
  committed
  9921908
- Restrict list.sum to its defined numeric domain
  vycdev
  committed
  b612399
- Preserve typed secret redaction in reference observations
  vycdev
  committed
  e4af458
- Implement checked owned field updates through native codegen
  vycdev
  committed
  132f9d9
- Redact secrets in pending sum receiver failures
  vycdev
  committed
  999004a
- test: align pending secret owner oracle with typed redaction
  vycdev
  committed
  525bf30
- feat: retain checked ownership for actor field updates
  vycdev
  committed
  a26523c
- feat: support views backed by mutable owned values
  vycdev
  committed
  099571f
- fix: retain scoped ownership facts for reflected views
  vycdev
  committed
  d499bd7
- docs: select lexical lifetime for temporary local views
  vycdev
  committed
  f865e3f
Commits on Oct 16, 2026
- feat: borrow sum payloads from mutable owned bindings
  vycdev
  committed
  027661c
- fix: bound retained HIR storage for Windows CLI lowering
  vycdev
  committed
  2f59802
- test: refresh frontend controls after owned-view support
  vycdev
  committed
  c83faed
- fix: retain rejected value in checked actor send errors
  vycdev
  committed
  7db0ea4
- fix: join checked canonical owners for field reflection
  vycdev
  committed
  76d3007
- Retain whole temporary owners for ordinary local byte views
  vycdev
  committed
  291ccbb
- Transport checked temporary list views through generic observers
  vycdev
  committed
  7b6846b
- Replay canonical conversions without reminting callable proofs
  vycdev
  committed
  a8498b9
- Preserve canonical native suites across Resource execution scopes
  vycdev
  committed
  5d7bb8a
- Preserve checked actor required-value owners and closure closedness
  vycdev
  committed
  2e0ebb0
- Bake closed actor required values through native execution
  vycdev
  committed
  44ebf13
- Preserve actor handler identity through initial callable sealing
  vycdev
  committed
  8827c57
- Measure native Resource acquisition and Property call history
  vycdev
  committed
  e9162a5
- Finalize retained temporary owners through initial actor sealing
  vycdev
  committed
  268ec7a
- Replace owned Resource sums through checked retirement
  vycdev
  committed
  2124573
- Execute unchanged pure Resource replacement suites natively
  vycdev
  committed
  4f83c2b
- Record ordinary supervision refusal and accepted cleanup
  vycdev
  committed
  6cc0830
- Admit exact same-local Resource sum reseating in MIR
  vycdev
  committed
  7f7ca39

Commits

Commits on Oct 4, 2026

Commits on Oct 5, 2026

Commits on Oct 6, 2026

Commits on Oct 7, 2026

Commits on Oct 8, 2026

Commits on Oct 12, 2026

Commits on Oct 13, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 16, 2026