{
  "claims": [
    "FPRD-D30",
    "FPRD-T68",
    "FPRD-T69",
    "FPRD-T70",
    "FPRD-T71"
  ],
  "counts": {
    "boundary_vertex_hostile_examples": 1,
    "causal_poset_subsets": 502,
    "hostile_spacing_examples": 1,
    "integer_cycle_duality_triangles": 343,
    "late_index_frontier_cases": 38,
    "online_adversary_completions": 2,
    "palindrome_recurrence_extensions": 65534,
    "pointwise_height_counterexamples": 1,
    "sharp_height_families": 30,
    "spaced_selector_positions": 20490,
    "stationary_lineage_steps": 64770
  },
  "status": "passed"
}