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
Propagate lean-check-result fields through release validation.
fraware
committed
Tighten handoff delegated_capabilities and evidence selection.
fraware
committed
Add PFCoreResolvedEvidence for explicit evidence selection.
fraware
committed
Project contract semantics_layer into semantic evidence.
fraware
committed
Add PFCoreEffectFrame.v0 and effect-frame certificate evidence.
fraware
committed
Enforce FramePreserved stepState transition evidence.
fraware
committed
Bind theorem manifests to proof obligations for release.
fraware
committed
Close PF-Core release bundles with verify-bundle results.
fraware
committed
Align TraceSafe and TraceSafeR across Python, Rust, and TypeScript.
fraware
committed
Require PCS projection binding for Lean release catalogs.
fraware
committed
Verify ResultArtifact payload digests against on-disk bytes.
fraware
committed
Add asset resolver and verifier wheel/OCI distribution paths.
fraware
committed
Make release profiles declarative and engine-driven.
fraware
committed
Separate legacy and release canonical JSON hash APIs.
fraware
committed
Add ArtifactIntegrity Ed25519 checks and CertifyEdge pin machinery.
fraware
committed
Add release provenance binding and SLSA attestation scripts.
fraware
committed
Split CI and release workflows into focused job matrices.
fraware
committed
Advance compositional PF-Core Lean proofs and research suites.
fraware
committed
Add operator release gates and runbook checks.
fraware
committed
Wire CLI and validators to new evidence schemas.
fraware
committed
Refresh release-chain fixtures for strengthened obligations.
fraware
committed
Update trust docs and gap audit for evidence hardening.
fraware
committed
Sync local smoke and materialize scripts with new gates.
fraware
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

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.