# CHANGELOG

## v0.5 — 2026-08-14

### Added
- generated Boolean program-synthesis hypothesis space;
- MDL prior and evidence-triggered hypothesis-space expansion;
- `MODEL_CRITICISM` experiment branch;
- explicit state-changing `SET:*` interventions;
- horizon-based trajectory task quotient;
- generated partner-adapter family: bijection × inversion bits;
- HIPG-CERT-0.5;
- semantic certificate consistency checks;
- SymPy SAT-backed contract verification;
- protocol-regret benchmark.

### Preserved
- all v0.4 canonical benchmarks;
- SUCCESS / INFEASIBLE / UNKNOWN separation;
- exact-bit and Fano information-bound terminal behavior;
- counterfactual relaxation never mutates the original case.

### Not claimed
- no B-TSDPC proof;
- no general program synthesis;
- no general bisimulation theorem;
- no universal partner ontology learner;
- no general SMT/Lean verification.