Skip to content

Phase 7 PR-2: Forensic gate in release pipeline#10

Open
fraware wants to merge 5 commits into
mainfrom
phase7/forensic-release-gate
Open

Phase 7 PR-2: Forensic gate in release pipeline#10
fraware wants to merge 5 commits into
mainfrom
phase7/forensic-release-gate

Conversation

@fraware

@fraware fraware commented Jun 19, 2026

Copy link
Copy Markdown
Member

Summary

  • Add .github/workflows/pf-core-forensic-gate.yml to emit PF-Core artifact bundles and run verify_bundle on release paths
  • Gate fails when certificate.safe: false or trace_hash is tampered
  • Invoke forensic gate from main CI after build/validation

Test plan

  • CI green on PR (requires pf-core-v0.6.0 clone)
  • Golden MCP sidecar bundle passes
  • Unsafe and tampered bundles fail as expected

fraware added 5 commits June 18, 2026 20:59
Validate emit-artifacts layout: required files, certificate.safe,
trace_hash binding, hash chain continuity, and audit.jsonl cross-refs.
Optional pf_core schema and hash recomputation when schemas are provided.
Parse --bundle-dir and --pf-core-version flags and delegate to
scripts/verify_pf_core_bundle.py after checking required files exist.
Emit golden MCP sidecar bundle from provability-fabric-core, verify
pass path, and assert tampered trace_hash and unsafe certificate fail.
Emit golden MCP sidecar bundle from provability-fabric-core tag,
run verify_bundle, and fail on unsafe certificate or tampered trace_hash.
Wire reusable pf-core-forensic-gate workflow after build and validation.
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