# CHANGELOG

## v0.8 — 2026-08-14

### Added
- behavioral truth-table operator invention;
- joint reward/dynamics value-aware experiment selection;
- unlabeled finite HMM model comparison with latent permutation equivalence;
- unknown intervention semantics $[(\rho,h,\iota)]_{\equiv}$;
- terminal `UNKNOWN_EQUIVALENCE_CLASS`;
- grounded intervention-semantic identification;
- diagnostic evidence bundle;
- explicit finite temporal model checker;
- operator retirement under task-stream drift;
- HIPG-CERT-0.8 semantic checks.

### Preserved
- all 42 v0.7 benchmark cases;
- exact information lower-bound terminal behavior;
- OOD diagnostic abstention;
- mixed SAT+LP bridge;
- counterfactual lineage integrity;
- SUCCESS / INFEASIBLE / UNKNOWN separation.

### Not claimed
- no B-TSDPC proof;
- no universal operator invention;
- no general HMM/POMDP identifiability theorem;
- no general causal discovery;
- no Z3/Lean/cvc5 backend;
- no general temporal logic solver.