{
  "cain/govfederation/core.py": {"role": "AFO (co-signed), contract, boundary, assurance, revocation events, trust attenuation, verifier diversity, disputes, fork detection", "status": "TESTED"},
  "cain/govfederation/negotiate.py": {"role": "AGN signed hash-chained negotiation + state machine", "status": "TESTED"},
  "cain/govfederation/domain.py": {"role": "SovereignDomain: register / evaluate (gate) / mcpgate / revocation / dispute / emergency / reconcile / event log", "status": "TESTED"},
  "cain/govfederation/replay.py": {"role": "time machine: REPRODUCED / DIVERGED / INCONCLUSIVE", "status": "TESTED"},
  "cain/govfederation/lab.py": {"role": "30 attacks + 30 invariants against the real objects", "status": "TESTED"},
  "cain/govfederation/races.py": {"role": "10 races, exhaustive + 100 seeded schedules, independent oracle", "status": "TESTED"},
  "cain/govfederation/vectors.py": {"role": "canonical test vectors from real runs", "status": "TESTED"},
  "cain/govfederation/scale.py": {"role": "in-process performance + SIMULATION scale", "status": "MEASURED / SIMULATION"},
  "cain/govfederation/publictruth.py": {"role": "claim scanner for bundle text", "status": "TESTED"},
  "cain/govfederation/fixtures.py": {"role": "deterministic two-domain fixture + E34 boundary adapter", "status": "TESTED"},
  "verification/govfederation/cleanroom/verify_e37.py": {"role": "zero-CAIN-import clean-room verifier", "status": "REPRODUCED (same author)"},
  "scripts/cain42_e37/e37.py": {"role": "CLI: e37 federation replay <fid> <epoch>", "status": "TESTED by bundle build"},
  "scripts/cain42_e37/build_e37_bundle.py": {"role": "bundle generator", "status": "IMPLEMENTED"},
  "tools/e30/boundary/*": {"role": "E34 out-of-process tool boundary used for execution (owned by E34)", "status": "TESTED"}
}