Skip to content

CHANGELOG.md

Latest commit

 

History

History
20 lines (13 loc) · 769 Bytes

CHANGELOG.md

File metadata and controls

20 lines (13 loc) · 769 Bytes
Raw

CHANGELOG

0.7.0 — 2026-07-24

Added

  • Reward-binding layer (parallel to TraceSafe): normalized RewardBindingInput, four predicates, multi-outcome decider, Lean model + soundness, pf-core.reward_binding_certificate.v0.
  • CLI: pf core check-reward-binding, emit-reward-binding-certificate, replay-reward-binding.
  • Untrusted PCS reward-binding adapter + mirrored schemas under adapters/pcs/.
  • Assumptions A11–A14; ADR-001 reward-binding ownership; companion PR specs for pcs-core / LabTrust / OVK.
  • Adversarial and LabTrust/OVK-shaped fixtures (offline).

Changed

  • Claim-boundary and audit forbidden phrases extended for reward overclaims.
  • pf-core/VERSION MINOR bump from 0.6.0.

Frozen

  • pf-core.certificate.v0 unchanged.