Repository navigation
Repair apply determinism workflow - #21
Merged
verifrax-systems merged 1 commit intoAug 29, 2026
Merged
verifrax-systems merged 1 commit into
verifrax-systems merged 1 commit into
Conversation
verifrax-systems
approved these changes
Aug 29, 2026
verifrax-systems
left a comment
Member
There was a problem hiding this comment.
Independent exact-head governance review.
Candidate head: 749cb7c
Accepted base: 2ec7024
Candidate tree: f4bf449eeb0a74891a71af93d4eaa8d9fbe2ee31
Patch SHA-256: 6a8323be66f22e62d390eedc154a788fc617407ed840f5a9ddf314699dcd966c
Scope: exactly .github/workflows/determinism-check.yml
Verified before approval:
- accepted-main determinism failure was a current-main zero-job workflow-definition defect
- candidate commit signature valid
- candidate parent exactly accepted main
- exact one-file workflow scope
- escaped shell body restored inside YAML run block
- escaped Python heredoc restored inside YAML run block
- PY2 terminator restored inside YAML run block
- repaired build step passes bash syntax validation
- local build A and B produce identical SHA-256 tree hashes
- recursive artifact comparison passes
- immutable actions/checkout pin present
- read-only contents permission preserved
- CNAME unchanged
- package manifests unchanged
- public surface unchanged
- surface-system unchanged
- Pages deployment workflow unchanged
- exact-head Surface projection validation green
- exact-head Determinism Check green
- exact-head determinism job instantiated and all steps passed
- exact-head Identity green
- all required branch-protection checks satisfied
- SPEEDKIT admission quarantine preserved
- VERIFRAX PR #345 preserved
Approval authorizes governed acceptance of this exact head only.
Accepted-main push must reproduce green determinism and all instantiated push CI.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Purpose
Repair the current-main APPLY determinism workflow definition.
Machine-proven defect
Accepted main:
2ec7024ff5365a7f07008f6ccfd9114fd0d90414Flagged run:
26185853188The workflow fails before job instantiation with zero jobs.
The accepted
Build artifact twice and compare digestsstep has shell commands, Python heredoc content, and thePY2terminator outside the surrounding YAMLrun: |block.Exact repair scope
Exactly one file changes:
.github/workflows/determinism-check.ymlThe repair:
actions/checkoutto immutable commit11d5960a326750d5838078e36cf38b85af677262contents: readpermissionIt does not modify:
Validation
bash -n6a8323be66f22e62d390eedc154a788fc617407ed840f5a9ddf314699dcd966cGovernance
No direct write to
main.No merge performed.
No workflow dispatch or rerun performed.
Independent exact-head review by
verifrax-systemsis required.