{
  "all_ok": true,
  "axioms": {
    "FrerRecoveryFloor.attribution_floor_at_width_two": [
      "propext",
      "Quot.sound"
    ],
    "FrerRecoveryFloor.attribution_strictly_above_discard_only": [],
    "FrerRecoveryFloor.digit3_injective": [],
    "FrerRecoveryFloor.discard_all_kills_first_copies": [
      "propext"
    ],
    "FrerRecoveryFloor.highest_seq_only_cannot_recover": [
      "propext",
      "Quot.sound"
    ],
    "FrerRecoveryFloor.highest_seq_only_collides": [
      "propext"
    ],
    "FrerRecoveryFloor.history_window_attains_the_floor": [
      "Quot.sound"
    ],
    "FrerRecoveryFloor.pass_all_fails_to_eliminate": [
      "propext"
    ]
  },
  "build_rc": 0,
  "build_seconds": 2.2,
  "build_tail": [
    "Build completed successfully (7 jobs)."
  ],
  "executed": true,
  "explicit_non_claim": "re-typechecks the transferred instance on this host; does NOT establish the meta-theorem's provenance",
  "libs": [
    "TTEInjectivityFloor",
    "TTEFrerRecoveryFloor",
    "TTEFrerRecoveryFoils"
  ],
  "n_theorems": 8,
  "namespace": "FrerRecoveryFloor",
  "ownership": "meta-theorem TTEInjectivityFloor: sibling estate (AST-F5-23); instance + foils: this repository",
  "schema": "frer-local-check",
  "skipped": false,
  "sorry_dependent": []
}