PF-Core release evidence hardening and PCS completion gates - #23

Merged

fraware merged 24 commits into

mainfrom

pf-core-release-evidence-hardening

Jul 23, 2026

Commits on Jul 23, 2026

Add certificate mode status policy for gated PF-Core modes.
fraware
committed
21c669f
Propagate lean-check-result fields through release validation.
fraware
committed
a427a46
Tighten handoff delegated_capabilities and evidence selection.
fraware
committed
1e47205
Add PFCoreResolvedEvidence for explicit evidence selection.
fraware
committed
3d329e2
Project contract semantics_layer into semantic evidence.
fraware
committed
50edead
Add PFCoreEffectFrame.v0 and effect-frame certificate evidence.
fraware
committed
54dd7d5
Enforce FramePreserved stepState transition evidence.
fraware
committed
f659189
Bind theorem manifests to proof obligations for release.
fraware
committed
7d84089
Close PF-Core release bundles with verify-bundle results.
fraware
committed
0eedb22
Align TraceSafe and TraceSafeR across Python, Rust, and TypeScript.
fraware
committed
01d16c9
Require PCS projection binding for Lean release catalogs.
fraware
committed
76ef778
Verify ResultArtifact payload digests against on-disk bytes.
fraware
committed
bb3fffa
Add asset resolver and verifier wheel/OCI distribution paths.
fraware
committed
75f95f6
Make release profiles declarative and engine-driven.
fraware
committed
02726b8
Separate legacy and release canonical JSON hash APIs.
fraware
committed
ce11872
Add ArtifactIntegrity Ed25519 checks and CertifyEdge pin machinery.
fraware
committed
a7054f3
Add release provenance binding and SLSA attestation scripts.
fraware
committed
db43da7
Split CI and release workflows into focused job matrices.
fraware
committed
1615894
Advance compositional PF-Core Lean proofs and research suites.
fraware
committed
f5e70de
Add operator release gates and runbook checks.
fraware
committed
7fa3726
Wire CLI and validators to new evidence schemas.
fraware
committed
2c34a34
Refresh release-chain fixtures for strengthened obligations.
fraware
committed
4c52736
Update trust docs and gap audit for evidence hardening.
fraware
committed
ad086a7
Sync local smoke and materialize scripts with new gates.
fraware
committed
64f6989

Navigation Menu

Uh oh!

PF-Core release evidence hardening and PCS completion gates - #23

PF-Core release evidence hardening and PCS completion gates#23
fraware merged 24 commits into
mainfrom
pf-core-release-evidence-hardening

Commits on Jul 23, 2026

Add certificate mode status policy for gated PF-Core modes.

Propagate lean-check-result fields through release validation.

Tighten handoff delegated_capabilities and evidence selection.

Add PFCoreResolvedEvidence for explicit evidence selection.

Project contract semantics_layer into semantic evidence.

Add PFCoreEffectFrame.v0 and effect-frame certificate evidence.

Enforce FramePreserved stepState transition evidence.

Bind theorem manifests to proof obligations for release.

Close PF-Core release bundles with verify-bundle results.

Align TraceSafe and TraceSafeR across Python, Rust, and TypeScript.

Require PCS projection binding for Lean release catalogs.

Verify ResultArtifact payload digests against on-disk bytes.

Add asset resolver and verifier wheel/OCI distribution paths.

Make release profiles declarative and engine-driven.

Separate legacy and release canonical JSON hash APIs.

Add ArtifactIntegrity Ed25519 checks and CertifyEdge pin machinery.

Add release provenance binding and SLSA attestation scripts.

Split CI and release workflows into focused job matrices.

Advance compositional PF-Core Lean proofs and research suites.

Add operator release gates and runbook checks.

Wire CLI and validators to new evidence schemas.

Refresh release-chain fixtures for strengthened obligations.

Update trust docs and gap audit for evidence hardening.

Sync local smoke and materialize scripts with new gates.