# Active judge claims

At immutable challenge revision `7b5b56aebf3abe590eab9f2c241a796125cab928`, both `claims.json` and `claims_anchored.json` contain the target key. The judge merge policy is anchored-overrides-default, so the two default entries are retained only as pinned provenance and are not active. The six active records are copied exactly into `evidence/active_claims.json`, with their supplied status left as `unverified`.

The active claims concern Theorems 1 through 4: the train-time forgetting bound; the associated width, sample and iteration regime; small per-task misclassification error; a delayed generalisation-gap bound; a sharper self-bounded-loss result; and the decomposition of test-time forgetting. They are precise obligations for review, not results established by this static package.

The offline verifier checks the exact six strings and statuses, the revision, and the selected source. A change to a claim text, its status, or the declared active source therefore fails local verification.