Finding
The local OneDev coordinator rejects a retry for semcod/planfile PR #80 with retry target is not a configured PR profile. GitHub checks are green, but they are not evidence of the protected local verification required for publication.
Plan
- Add a protected Planfile PR profile that validates the exact head, base and merge result.
- Execute the existing focused test suite and required Python matrix from an immutable, networkless image with pinned dependency inputs.
- Deploy the profile and obtain a successful canary on a deliberately valid PR.
- Record the Validator receipt bound to repository, PR, ticket, head SHA and approval key.
Acceptance
PRs are not merged on the basis of hosted checks alone; the independent local Validator can verify a current Planfile PR and report an auditable receipt.
Finding
The local OneDev coordinator rejects a retry for
semcod/planfilePR #80 withretry target is not a configured PR profile. GitHub checks are green, but they are not evidence of the protected local verification required for publication.Plan
Acceptance
PRs are not merged on the basis of hosted checks alone; the independent local Validator can verify a current Planfile PR and report an auditable receipt.