Repository navigation

Consolidate native codegen at a verified Windows MSVC revision - #281

Draft

vycdev wants to merge 492 commits into

mainfrom

codex/native-codegen

Draft

Consolidate native codegen at a verified Windows MSVC revision#281
vycdev wants to merge 492 commits into
mainfrom
codex/native-codegen

This pull request is big! We're only showing the most recent 250 commits

Commits on Sep 29, 2026
Commits on Sep 30, 2026
- Verify transparent borrows and small refined interface values
  vycdev
  committed
  b8657af
- Reject unsupported direct collection and sum equality
  vycdev
  committed
  7dffa42
- Record explicit struct methods for enum payload equality
  vycdev
  committed
  12368e1
- Dispatch explicit struct equality inside enum payloads
  vycdev
  committed
  073b430
- Reserve owned results from indirect native calls
  vycdev
  committed
  edf9670
- Record unresolved projected assignment contract
  vycdev
  committed
  d2bd521
- Validate whole sum refinements before extraction
  vycdev
  committed
  3a70864
- Record unimplemented global constant execution
  vycdev
  committed
  a8f9d13
- Clarify compile-time-only global constant contract
  vycdev
  committed
  68f5bbb
- Align constant acceptance audit with design
  vycdev
  committed
  c24ce37
- Preserve secrecy and nominal layouts in enum equality
  vycdev
  committed
  9456be6
- Reject mutable namespace-level bindings
  vycdev
  committed
  dd01002
- Bake primitive namespace constants during compilation
  vycdev
  committed
  9554c63
- Preserve primitive widths in list summation
  vycdev
  committed
  0306ee9
Commits on Oct 1, 2026
- Guard native access to pending aggregates
  vycdev
  committed
  8fdfa02
- Record unresolved list summation type contracts
  vycdev
  committed
  b82fdbd
- Reject writes through readonly projected roots
  vycdev
  committed
  f0ec803
- Align native list ordering with checked value types
  vycdev
  committed
  eef3483
- Support all primitive numeric math aggregates natively
  vycdev
  committed
  7037e04
- Lower uninhabited collection iteration without runtime binders
  vycdev
  committed
  b7c2cab
- Lower uninhabited sum handlers while preserving checked value shapes
  vycdev
  committed
  ddfca8f
- fix(codegen): preserve reflected and secret interface owners
  vycdev
  committed
  997771b
- fix(compiler): preserve qualified interface method values
  vycdev
  committed
  2a8d920
- fix(typecheck): reject known borrowed value escapes
  vycdev
  committed
  aee75f3
- fix(hir): preserve contextual secret constructor types
  vycdev
  committed
  a2de570
- feat(codegen): preserve immutable local view aliases
  vycdev
  committed
  abe966b
- fix(native): reject pending graphics scene and config values
  vycdev
  committed
  e616efe
- fix(codegen): check pending Graphics authority before config
  vycdev
  committed
  22fcbf1
- fix(mir): preserve borrowed qualification alias origins
  vycdev
  committed
  c553d83
- fix(native): check implicit display result readiness
  vycdev
  committed
  7cdf24b
- docs: record passing native workspace checkpoint
  vycdev
  committed
  a3a6ab1
- fix(native): check implicit equality result readiness
  vycdev
  committed
  62fbea6
- fix(hir): preserve qualified struct constructor targets
  vycdev
  committed
  e53c0ab
- fix(codegen): validate secret aggregate field qualification
  vycdev
  committed
  65c6ba6
- docs(native): refresh verified parity checkpoint
  vycdev
  committed
  b6bd260
- fix(hir): preserve qualified bitfield and machine constructors
  vycdev
  committed
  3b3142b
- docs: record alias constructor call ambiguity
  vycdev
  committed
  c7b9d13
- fix(native): preserve qualified result join boundaries
  vycdev
  committed
  2414534
- fix(hir): preserve secret validating struct result contracts
  vycdev
  committed
  52bd4dc
- fix(comptime): reuse checked refinement proofs at direct boundaries
  vycdev
  committed
  a57d69a
- fix(comptime): transport refinement proofs through calls safely
  vycdev
  committed
  768fdb1
Commits on Oct 2, 2026
- fix(native): validate newly refined function returns
  vycdev
  committed
  8ad7b1e
- fix(interpreter): keep source calls out of large expression frames
  vycdev
  committed
  57e0b00
- fix(comptime): reuse declared ancestor proofs for reflected reads
  vycdev
  committed
  c9fa1d6
- fix(native): validate refined reflected field reads in calls and pipelines
  vycdev
  committed
  f8e7072
- docs(native): record verified reflected producer checkpoint
  vycdev
  committed
  b064d76
- fix(native): share reflection observer metadata in pipelines
  vycdev
  committed
  44d5488
- fix(reflection): compare repeated type arguments independently
  vycdev
  committed
  cabf8bc
- fix(native): preserve declared whole-machine local storage
  vycdev
  committed
  cca40a2
- docs(native): record installed Windows linker timeout
  vycdev
  committed
  b733296
- fix(native): honor build modes in compiled test suites
  vycdev
  committed
  e1da312
- fix(parser): recognize complete nested type annotations
  vycdev
  committed
  ba52393
- fix(native): validate recursive reflected container refinements
  vycdev
  committed
  3bc23e6
- fix(debug): isolate compiler observations from application stdout
  vycdev
  committed
  b1cf894
- fix(json): complete qualified machine source dispatch
  vycdev
  committed
  23ac34c
- test(native): cover qualified machine JSON wrappers
  vycdev
  committed
  a0f0c98
- fix(native): preserve immutable struct field view aliases
  vycdev
  committed
  a0bf12d
- fix(native): preserve exact machine-state field view aliases
  vycdev
  committed
  774b13e
- fix(native): serialize inferred uninhabited JSON slots
  vycdev
  committed
  05494ed
- fix(native): parse inferred uninhabited JSON slots
  vycdev
  committed
  08f9f7e
- fix(native): support bitfield projected local views
  vycdev
  committed
  5d91905
- fix(native): preserve secret-owner field view qualification
  vycdev
  committed
  cb617ec
- docs(native): record clean owner-view workspace acceptance
  vycdev
  committed
  194ce06
Commits on Oct 3, 2026
- fix(native): retain uninhabited-input callback descriptors
  vycdev
  committed
  d14b830
- fix(native): validate absent function results as metadata
  vycdev
  committed
  90d8270
- fix(native): scope eager view arguments across handlers
  vycdev
  committed
  5502791
- fix(native): validate latent nested callback bodies
  vycdev
  committed
  72237c4
- fix(reflection): preserve opaque resource kind tags
  vycdev
  committed
  62de650
- feat(compiler): bind private resource hook identities
  vycdev
  committed
  616b51b
- fix(typecheck): enforce resource ownership boundaries
  vycdev
  committed
  b7180bd
- fix(typecheck): seal checked resource program handoff
  vycdev
  committed
  94bb6b2
- fix(driver): retain checked program through reference execution
  vycdev
  committed
  a9a6cd6
Commits on Oct 4, 2026
- fix(compiler): preserve checked caller ownership through native lowering
  vycdev
  committed
  e40daf9
- fix(compiler): rejoin caller provenance after native staging
  vycdev
  committed
  0222c56
- Preserve call view owners across handled conversion and builder replacement
  vycdev
  committed
  a63f891
- 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 on Oct 17, 2026
- Prepare consolidated native-codegen review handoff
  vycdev
  committed
  d406fbf
- Use canonical struct identity when finishing native builders
  vycdev
  committed
  7d2bbf8
- Find original closure source inside inherent struct methods
  vycdev
  committed
  bc1a980
- Separate native builder identity from reflection metadata
  vycdev
  committed
  dd0d415
- Set the test profile optimization level explicitly
  vycdev
  committed
  2a8909c
- Archive the native codegen campaign notes
  vycdev
  committed
  638d62a
Commits on Oct 19, 2026
- Use Cargo-built launchers for actor graph tests
  vycdev
  committed
  f8e21af
- Repair the archived Resource runner link
  vycdev
  committed
  de48529

Commits

Commits on Sep 29, 2026

Commits on Sep 30, 2026

Commits on Oct 1, 2026

Commits on Oct 2, 2026