Skip to content

test(pre1): bind packaged execution to immutable artifacts and case proofs - #140

Merged
RobLe3 merged 13 commits into
mainfrom
codex/pre1-packaged-sdk-execution
Sep 18, 2026
Merged

RobLe3 merged 13 commits into
mainfrom
codex/pre1-packaged-sdk-execution

Conversation

@RobLe3

@RobLe3 RobLe3 commented Sep 16, 2026

Copy link
Copy Markdown
Owner

Summary

Qualification-tooling-only changes: separately pin harness provenance while preserving frozen product bytes. SDK drivers execute installed/extracted artifacts and emit exact-assertion package-proof v2 rather than treating zero exit or artifact presence as success. Management/Directory changes only synchronize the named tooling allowlist; their packaged adapters remain open.

Verification

The owning repository portable local gate and workflow lint passed through check_ci_change_preflight --changed-only --run-local on September 16. Root source closure passed all 76 commands. Full actual SDK driver campaigns passed 218/218 native macOS arm64 cases across four Python, two Node and two Rust runtimes. Rehearsals grant zero final qualification or environment readiness credit. Existing skips are not counted as qualification.

Review boundary

Draft for review, not a stable release or deployment. Product versions/artifacts unchanged. Do not merge based on absent hosted checks, waive required checks, or activate hosted publishers. No automatic issue closure.

Current tested tooling — September 18

The latest head separates qualification-tool identity from unchanged frozen product artifacts, binds installed payload and fixture inputs, and emits or consumes exact packaged-case proofs. Missing or unimplemented behavior still fails closed. These changes do not declare stability, authorize deployment, or complete component qualification.

Affected-repository portable CI and workflow lint passed locally before this push. Current-head GitHub-required results are being verified separately; earlier green heads are not reused.

@RobLe3
RobLe3 marked this pull request as ready for review September 18, 2026 15:52
@RobLe3
RobLe3 merged commit 8fb869e into main Sep 18, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant