{
 "claims": [
  {
   "claim": "a mission compiles into a bounded specification, a minimal organization and a gated workflow; real governed agents are provisioned (authority <= mission envelope <= sponsor), their consequential tasks run through the kernel and E8 with E38 action proofs, and a retired agent cannot act",
   "evidence": [
    "E39_MISSION_COMPILER.json",
    "E39_FACTORY_PROOFS/DEPLOYMENT_MANIFEST.json",
    "E39_AGENT_PROOFS/ACTION_PROOFS.json"
   ],
   "id": "C42-E39-PIPELINE",
   "level": "TESTED"
  },
  {
   "claim": "evaluation is independent (self-certification refused), promotion is decided by CAIN on a registered passed evaluation plus proof, policy, risk, envelope and lifecycle gates; the factory cannot certify its own output",
   "evidence": [
    "E39_FACTORY_PROOFS/EVALUATIONS.json",
    "E39_CONFORMANCE/CONFORMANCE.json"
   ],
   "id": "C42-E39-NO-SELF-CERTIFICATION",
   "level": "TESTED"
  },
  {
   "claim": "3441 of 3441 adversarial scenarios held; 1041 of 1041 invariants; mutation 16 of 16; chaos 15 of 15 faults kept authority bounded",
   "evidence": [
    "E39_ATTACKS.json",
    "E39_INVARIANTS.json",
    "E39_MUTATION.json",
    "E39_CHAOS.json"
   ],
   "id": "C42-E39-BENCH",
   "level": "TESTED"
  },
  {
   "claim": "an independent verifier with no CAIN imports re-derives minimum authority, organization delegation, workflow gating, evaluation and promotion evidence, and the factory proof from the published material",
   "evidence": [
    "E39_CLEANROOM/verify_e39.py.txt"
   ],
   "id": "C42-E39-CLEANROOM",
   "level": "REPRODUCIBLE"
  },
  {
   "claim": "in-process scale runs (missions, agent records, simulated decisions)",
   "evidence": [
    "E39_SCALE/SCALE.json"
   ],
   "id": "C42-E39-SCALE",
   "level": "SIMULATED"
  }
 ],
 "status": "PRE-PRODUCTION: TESTED library, not hosted"
}