Release pf-core 0.7.0 reward-binding (multi-commit) - #1

Merged

fraware merged 18 commits into

mainfrom

release/pf-core-0.7.0-reward-binding

Jul 24, 2026

Commits on Jul 24, 2026

docs: add ADR 001 for reward-binding ownership (PF-VA-00).
fraware
committed
ddb8191
docs: add PF-VA-00 baseline inventory for reward-binding.
fraware
committed
cbadfd9
docs: update mission and claim/trusted boundaries for reward-binding.
fraware
committed
385110f
docs: refresh assumptions, audit brief, and release checklist.
fraware
committed
a895e75
pcs: mirror reward evidence schemas under adapters/pcs.
fraware
committed
642cfeb
pcs: add reward_binding_adapter with valid fixtures.
fraware
committed
9f57cf9
schemas: add reward_binding_input schema and examples.
fraware
committed
2bb15ca
validator: implement reward_binding predicates and decision schema.
fraware
committed
3e24055
cli: add check-reward-binding command entrypoint.
fraware
committed
8c37dff
lean: add RewardBinding model and Assumption updates.
fraware
committed
6e5b707
lean: add RewardBindingCertificate and soundness theorems.
fraware
committed
62b35cc
lean: add RewardBindingReplay golden scenarios.
fraware
committed
58bd1d7
validator: add certificate schema and emit/replay path.
fraware
committed
23f0f1b
docs: document certificate semantics, theorems, and threat model.
fraware
committed
ff79697
pcs: add adversarial reward-binding fixtures.
fraware
committed
d570e92
pcs: add LabTrust and OVK companion fixtures.
fraware
committed
e143393
docs: add companion PR specs for pcs-core, LabTrust, and OVK.
fraware
committed
74ab4a5
release: bump pf-core to 0.7.0 with CHANGELOG and VA-08 inventory.
fraware
committed
63c5f7f