feat: route OPY workflows through first-party provider - #252
Conversation
…der-workflows # Conflicts: # crates/wright-driver/Cargo.toml
Select the first-party provider for ordinary OPY check and compile workflows, and refuse check-only provider loads for WIR consumers. Refs #245
Teakowa
left a comment
There was a problem hiding this comment.
Major — The provider cutover fixes the two previous findings, but the new head introduces a required CI regression: OPY integration (N-level + owner) now fails in scripts/v1-gates.py because real-world/overpy-cake diverges after normalization, while the previous head was green. Fix the post-cutover OPY gate/workflow so it validates the intended provider-backed contract and returns green without weakening the compatibility expectation or simply accepting a changed snapshot.
Normalize the provider's explicit unit-up vector against the pinned oracle alias while keeping the compatibility snapshot unchanged. Refs #245
Teakowa
left a comment
There was a problem hiding this comment.
Major — The provider-backed N-level regression is fixed, but the cutover still breaks the clean installed CLI path required by #245. In the current CI, the isolated npm package installs successfully, then npx wright compile compatibility/fixtures/synthetic/basic-rule/source.opy --profile compat exits 4 on macOS (and the Windows distribution smoke fails at the same stage), while Ubuntu passes. Fix the provider acquisition/resolution path for packaged clean installs so ordinary OPY compile/check works without a preinstalled/manual provider, and restore the distribution matrix without falling back to native OPY semantics.
Load platform certificate stores for first-party OPY provider downloads so packaged clean installs bootstrap on macOS and Windows without weakening HTTPS verification or falling back to native OPY semantics. Refs #245
Summary
.opycheckandcompileworkflows through first-party LPP 1.1 project loading;ureqnative certificate loading so clean packaged installs can acquire the OPY provider through platform trust stores without weakening HTTPS verification.Verification
cargo fmt --allgit diff --checkcargo test --workspace— all tests passed, 2 external-corpus tests ignoredcargo clippy --workspace --all-targets --all-features -- -D warningsreal-world/overpy-cake; recorded snapshots unchangedUp↔Vector(0, 1, 0)ablation-entry-disabledand exit 4python3 scripts/test-npm.py --binaries-dir target/debug— clean isolated npm install,npx wright compile,npx wright check, Node API, and multi-platform archive packaging checks passedReal-project status
src/main.opyprovider check passes with zero diagnostics.opy-rsowner artifact issue:#!definesymbols remain in settings and Wright rejects the resulting non-canonical Workshop artifact.ow1-emulator/src/1v1_main.opycurrently exposesopy-rsowner diagnostics for an unsupportedappendreceiver and an owner warning surfaced as an error.These owner-side blockers remain explicit; Wright does not add a semantic workaround or fallback. The remaining #245 acceptance work is to fix those owner issues and rerun the real-project workflows.
Refs #245