Fix Proof Before Action placeholder credential staging#175
Merged
Conversation
Agent Permission Diff
Gate DecisionNo findings were produced. FindingsNo agent-facing permission findings. |
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.
Summary
Closes the remaining Proof Before Action placeholder credential staging bypasses found in the commit-scoped security scan, while preserving legitimate external placeholder workflows.
Changes
${{ github.token }}and structured JSONAuthorization: Bearer $VARheaders without turning them into safety claims.[Unreleased].Checklist
uv run pytest,uv run ruff check,uv run mypy .)[Unreleased]Security implications
This tightens Proof Before Action's staging boundary. Unknown, stale, masked, unmatched, unobservable, or syntactically suspicious evidence still does not become a safety claim: placeholder headers are accepted only when the effective sensitive value is the placeholder, and local placeholder variables are rejected if staged text defines them as literal credential material. The repair remains local-first and does not add network, package publication, release, or deployment authority.
Security limitations that remain intentional: Proof Before Action is still a bounded evidence collector, not a general sandbox; clean final-state filesystem/database/network evidence can remain
unknown; synthetic fixture strings in tests are not evidence of real credential material.Codex Security diff scan
bca792dc-48ac-46f8-934d-b0ceaeca4fe6reported one low finding at scanned revisionc84528d8900ed393e789df2c5a5bc5048bbe302afor neutral placeholder variable assignment. Current PR head65bd13a6f73fee0b9de7c22a3289beb79b5053f1adds the targeted repair and focused regression tests for that finding.Test plan
uv sync --dev --locked-> passuv run pytest -q-> 1051 passeduv run pytest tests/test_proof_before_action.py -q-> 154 passeduv run pytest tests/test_connector.py -q-> 27 passeduv run pytest tests/test_proof_before_action.py::test_placeholder_authorization_header_rejects_alternate_literal_assignment_syntax tests/test_proof_before_action.py::test_placeholder_authorization_header_rejects_same_file_literal_assignment tests/test_proof_before_action.py::test_placeholder_authorization_alias_cycle_is_staged -q-> 11 passeduv run ruff check .-> passuv run ruff format --check .-> passuv run mypy .-> passuv lock --check-> passuv run python scripts/verify_release.py-> release metadata verified for 2.5.0uv build --clear && uv run python scripts/verify_release.py --commit 65bd13a6f73fee0b9de7c22a3289beb79b5053f1 --dist-dir dist-> pass; wheel and sdist verifiedproof-before-action inspectemitted JSON with expected v1unknownverdict and capsule rootb192706a51b175038a1a8cd9ca19ab86a926af2184c33ef16965345d60e804c5; capsule containedcapsule.json,capsule-index.json, and offlinereport.html;proof-before-action verifyreturnedvalid: trueandauthority: anchoredwith expected subject commit, producer commit, schema, and root hash.verifyexited 1 withartifact_tampered,capsule_noncanonical,comparison_mismatch,payload_tampered, andreport_projection_mismatch.ok: false,inspection_blocked, exit 2.git diff --check origin/main..HEADpassed; diff secret/private-path pattern scan found no matches.Related issues
N/A