Skip to content

test: matrix (a) new bundle x new Action - #15

Closed
ryanjmichie-git wants to merge 2 commits into
release/v1.3.0from
forgeproof/matrix-a-new-x-new
Closed

ryanjmichie-git wants to merge 2 commits into
release/v1.3.0from
forgeproof/matrix-a-new-x-new

Conversation

@ryanjmichie-git

Copy link
Copy Markdown
Owner

Integration matrix case (a): v1.3.0 attestation bundle (format 1.1.0) verified by the NEW Action pin (v1.1.0, 6101dd7).

Expected: forgeproof-verify check green; report shows the Attestation section. A follow-up commit tampers the artifact and must turn the check red. Draft is closed after results are recorded in the release PR.

@github-actions

github-actions Bot commented Aug 22, 2026 •

Copy link
Copy Markdown

❌ TAMPER DETECTED

Bundle: issue #996 — v1.3.0 attestation fixture

Checks

Check Status Detail
format ok forgeproof-rpack v1.1.0
root_digest ok recomputed digest matches bundle content
signature ok Ed25519 signature valid for stored root digest
chain_hash ok chain file matches sealed chain_hash
chain_linkage ok verified 5 blocks
artifacts fail 1 tampered/unreadable, 1 checked, 0 missing
coverage ok requirement coverage 100%
attestation ok in-toto statement, 1 subject(s)
attestation_signature ok DSSE signature valid under the bundle's own key
attestation_subjects ok 1 subject(s) match the bundle; chain byproduct matches the sealed chain_hash

Provenance timeline

# Action Timestamp
0 genesis 2026-08-21T04:32:11.082194+00:00
1 file-edit 2026-08-21T04:32:11.184886+00:00
2 test-result 2026-08-21T04:32:11.289300+00:00
3 approval 2026-08-21T04:32:11.401815+00:00
4 finalize 2026-08-21T04:32:11.712146+00:00

Artifacts

Path SHA-256 Status
src/example4.py 60b1e438f6e569f7 tampered

Decisions

No decisions recorded in this bundle.

Evaluation (recorded claims)

These are the claims recorded at signing time; verification proves they are unaltered, not that they are true.

  • Status: pass
  • Tests passed: 1
  • Tests failed: 0
  • Lint errors: 0
  • Requirement coverage: 100%

Attestation

Approvals (agent-recorded — the AI asserts the human approved; not cryptographic proof of consent):

Reproduce this check without ForgeProof (cosign):

cosign verify-blob-attestation --key .forgeproof/issue-996.pub.pem \
  --bundle .forgeproof/issue-996.sigstore.json \
  --type slsaprovenance1 --insecure-ignore-tlog <artifact-path>

Strict mode: on · Complete: yes · Anchor: .

@ryanjmichie-git

Copy link
Copy Markdown
Owner Author

Matrix result — recorded for the v1.3.0 release PR.

  • Deploy commit: forgeproof-verify check green, report as expected for this case (see the Action's PR comment above / first check run).
  • Tamper commit (one artifact byte flipped): check red.

Full matrix (all three drafts, Action pin v1.1.0 6101dd7 unless stated):

Case Deploy Tamper
(a) #15 v1.3.0 bundle × new Action green — attestation checks ok, ### Attestation section rendered red
(b) #16 frozen v1.0.1+v1.1.0 bundles × new Action green — attestation skipped silently, zero warnings red
(c) #17 v1.3.0 bundle × old Action v1.0.2 0bd8aae green — exactly one warning (Version mismatch: expected 1.0.0, got 1.1.0) red

Closing this draft; the branch is deleted. Check runs remain attached to this PR for the audit trail.

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