Skip to content

build: pin published Core v0.0.10 - #70

Merged
BernardLowe merged 1 commit into
mainfrom
codex/core-v0.0.10-pin
Oct 10, 2026
Merged

BernardLowe merged 1 commit into
mainfrom
codex/core-v0.0.10-pin

Conversation

@BernardLowe

Copy link
Copy Markdown
Contributor

Pin the runtime to published Core v0.0.10 instead of its pre-merge pseudo-version. The previous Core commit and the released tag have identical complete source trees; this makes the dependency reproducible through the formal release without changing runtime behavior. Update the migration note and batch/receipt profile names accordingly.

Validation: standalone full tests, vet and build passed with GOWORK=off. The selected released Core/runtime/Gateway/evaluator workspace also passed each module's full tests, vet and build, the 292-path migration audit, and all 15 parity vectors. A fresh independent review reported no actionable findings.

Replace the pre-merge pseudo-version with the tree-equivalent published release and document the current batch and receipt profiles. Standalone and cross-repository tests, vet and build pass.

Co-authored-by: Codex <codex@openai.com>
Copilot AI balanced review requested due to automatic review settings October 10, 2026 06:59

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@BernardLowe
BernardLowe merged commit d2654a4 into main Oct 10, 2026
5 checks passed
@BernardLowe
BernardLowe deleted the codex/core-v0.0.10-pin branch October 10, 2026 07:31
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.

2 participants