Repository navigation

Replace monolithic Windows validation with a compiled contract runner - #956

Merged

coneilen merged 46 commits into

mainfrom

coneilen-compiled-validation-runner

Nov 3, 2026

Merged

Replace monolithic Windows validation with a compiled contract runner#956
coneilen merged 46 commits into
mainfrom
coneilen-compiled-validation-runner

Commits on Nov 2, 2026
- Add production-backed compiled activation contract family
  
  coneilen
  and
  Copilot
  committed
  7c5279b
- Initialize activation fixture diagnostics under nullable checks
  
  coneilen
  and
  Copilot
  committed
  a6fab30
- Add compiled validation host with fail-closed coverage ledger
  
  coneilen
  and
  Copilot
  committed
  dfea333
- Normalize compiled host sources and isolate owned SDK caches
  
  coneilen
  and
  Copilot
  committed
  eae3d1e
- Integrate frozen Cards production dependencies by verified three-way merge
  
  coneilen
  and
  Copilot
  committed
  85658af
- Migrate complete UI native helpers and case-level input contracts
  
  coneilen
  and
  Copilot
  committed
  163bf51
- Add held-job child supervision and compiled ownership cases
  
  coneilen
  and
  Copilot
  committed
  4481af5
- Add protected suite adapters and compiled fixture ABI
  
  coneilen
  and
  Copilot
  committed
  4ceadef
- Exercise shared owned cleanup authority with negative controls
  
  coneilen
  and
  Copilot
  committed
  ef6b73d
- Normalize shared cleanup coordinator to LF
  
  coneilen
  and
  Copilot
  committed
  9228042
- Add supervised PowerShell UI contracts and bounded source assertion oracle
  
  coneilen
  and
  Copilot
  committed
  896bdbf
- Preserve ownership PowerShell semantics in protected focused adapters
  
  coneilen
  and
  Copilot
  committed
  185e524
- Share compiled production bindings across UIA packaging and validation
  
  coneilen
  and
  Copilot
  committed
  0f1a551
- Preserve functional UI cases and verify consumed production source linkage
  
  coneilen
  and
  Copilot
  committed
  b02bba9
- Latch live descendant retention before owned cleanup
  
  coneilen
  and
  Copilot
  committed
  28a772c
- Complete production-backed UI derived contracts and full case correspondence
  
  coneilen
  and
  Copilot
  committed
  f313395
- Preserve hidden target standard handles and retain unknown gate authority
  
  coneilen
  and
  Copilot
  committed
  dabe363
- Preserve original pipe bytes before strict protocol decoding
  
  coneilen
  and
  Copilot
  committed
  1083da5
- Expose owned focus control primitive without duplicating focus policy
  
  coneilen
  and
  Copilot
  committed
  d09b349
- Derive composite coverage from current invocation and verify compiled source provenance
  
  coneilen
  and
  Copilot
  committed
  0d4adb0
- Support same-invocation suite composition without double-counting derived proof
  
  coneilen
  and
  Copilot
  committed
  a86714e
- Implement six compiled host root contract families
  
  coneilen
  and
  Copilot
  committed
  ca86b23
- Preserve residual packaging task wiring in compiled validation
  
  coneilen
  and
  Copilot
  committed
  e71e886
- Add production-backed mixed UI policy and geometry contracts
  
  coneilen
  and
  Copilot
  committed
  7eb1d63
- Emit byte-stable UTF-8 mixed UI case protocol
  
  coneilen
  and
  Copilot
  committed
  04f5009
- Exercise actual mixed native edit Rename and metadata policies with inert transports
  
  coneilen
  and
  Copilot
  committed
  1e07958
- Bind measured mixed UI results to canonical root coverage group
  
  coneilen
  and
  Copilot
  committed
  1881f68
- Map every original mixed validation contract to measured focused cases
  
  coneilen
  and
  Copilot
  committed
  d982f84
- Cut Windows validation CI over to the full compiled runner
  
  coneilen
  and
  Copilot
  committed
  6b663f2
- Scope private SDK runtime roots for the compiled validation caller
  
  coneilen
  and
  Copilot
  committed
  fd0c35a
- Bootstrap the exact compiled validation SDK in an owned tool root
  
  coneilen
  and
  Copilot
  committed
  55bdfdd
- Prepare owned Pester 5 before canonical compiled validation
  
  coneilen
  and
  Copilot
  committed
  c5be4f5
- Load compatible UIA runtime dependencies and expose recovery fixture failures
  
  coneilen
  and
  Copilot
  committed
  a36ac1d
- Load UIA runtime dependencies at the verified production assembly boundary
  
  coneilen
  and
  Copilot
  committed
  a3ead8a
- Require normal full proof and cover final host prerequisites
  
  coneilen
  and
  Copilot
  committed
  29becee
- Allow measured full compiled validation runtime in CI
  
  coneilen
  and
  Copilot
  committed
  f9b21f2
- Document the canonical compiled validation entry
  
  coneilen
  and
  Copilot
  committed
  43cc05e
Commits on Nov 3, 2026
- Compare Delete Select wrappers consistently across checkout line endings
  
  coneilen
  and
  Copilot
  committed
  4c5d367
- Retain hidden compiled validation evidence in scoped CI uploads
  
  coneilen
  and
  Copilot
  committed
  ae92163
- Wait for original held roots after owned job termination
  
  coneilen
  and
  Copilot
  committed
  c3237b9
- Preserve native validation failure and lifecycle semantics
  
  coneilen
  and
  Copilot
  committed
  8553112
- Restore the visible canvas after Delete selection
  
  coneilen
  and
  Copilot
  committed
  cfbe45a
- Require owned Delete canvas restoration and successful stress-job release
  
  coneilen
  and
  Copilot
  committed
  374c22c
- Use exact control root authority while preserving immediate-parent hit resolution
  
  coneilen
  and
  Copilot
  committed
  0bf9e39
- Limit the explicit control click fixture to one activation attempt
  
  coneilen
  and
  Copilot
  committed
  5a7a3bd
- Publish compiled assembly at the real Windows validation boundary
  
  coneilen
  and
  Copilot
  committed
  90479b3

Commits

Commits on Nov 2, 2026

Commits on Nov 3, 2026