# Frozen Claim Hierarchy

This file freezes the claim hierarchy before the new experiments are run.
Changes require an entry in `CHANGELOG.md` explaining whether the change was
made before or after observing the affected result.

## Primary claim

For a typed sequence that alternates between controllable actions and
exogenous chance events, the autoregressive factorization of a trajectory
energy and the KL-regularized control readout use different chance-node
operators. Their value gap admits an exact local-to-global recursion that
separates a local entropic risk premium from propagated downstream gap.

## Secondary claim

A reference-measure audit distinguishes joint trajectory typicality from
action quality: event likelihood cancels when the inverse energy is defined
relative to the environment-aware base measure, but remains in a counting-base
energy.

## Supporting claims

1. Realized reward has an exact pathwise decomposition into soft action
   advantages and mean-zero event innovations.
2. Uniform reward and transition-model errors yield a finite-horizon control
   value and regret bound. A support-restricted corollary separates estimation
   error from the opportunity cost of excluding unsupported actions.

## Claims explicitly not made

- Optimism under stochastic control-as-inference is not claimed as a new
  phenomenon.
- Reference-measure ARM-EBM factorization is not claimed as a new general
  bijection.
- The trajectory decomposition is not claimed as the first martingale reward
  decomposition.
- A synthetic experiment is not evidence that human life outcomes are
  causally identifiable or safely optimizable.
- Environment entropy alone is not claimed to cause the generative-control
  gap. The relevant object is the conditional distribution of continuation
  return.

