{
  "corpus": "SREG_Play_Log_001-018_Canonical.md",
  "sha256": "492116e0b8496ec471281aaf12dfacc7e23122befc20e6da10856ee0b2447dca",
  "sreg_runs": 18,
  "states": 1080,
  "state_min": 1,
  "state_max": 1080,
  "lines": 31998,
  "bytes": 252647,
  "display_math_blocks": 5010,
  "unique_operatorname_labels": 389,
  "top_operatorname_labels": [
    [
      "id",
      296
    ],
    [
      "Fix",
      252
    ],
    [
      "End",
      112
    ],
    [
      "Hom",
      85
    ],
    [
      "fin",
      72
    ],
    [
      "im",
      65
    ],
    [
      "Spec",
      59
    ],
    [
      "Aut",
      55
    ],
    [
      "Perf",
      52
    ],
    [
      "Map",
      43
    ],
    [
      "ev",
      40
    ],
    [
      "Rec",
      36
    ],
    [
      "rec",
      30
    ],
    [
      "Tr",
      30
    ],
    [
      "Orb",
      29
    ],
    [
      "tr",
      29
    ],
    [
      "rep",
      29
    ],
    [
      "Obs",
      27
    ],
    [
      "NF",
      26
    ],
    [
      "colim",
      26
    ],
    [
      "Idem",
      25
    ],
    [
      "Cl",
      24
    ],
    [
      "Ob",
      20
    ],
    [
      "Sub",
      20
    ],
    [
      "Mod",
      19
    ],
    [
      "PSh",
      19
    ],
    [
      "Def",
      19
    ],
    [
      "Nat",
      18
    ],
    [
      "HH",
      18
    ],
    [
      "Core",
      18
    ]
  ],
  "motif_state_counts": {
    "fixed_point": 172,
    "idempotence": 110,
    "equivalence_isomorphism": 404,
    "transfinite_limit": 428,
    "reconstruction_recursion": 122,
    "normalization_projection": 282,
    "dynamics_orbit": 118,
    "adjunction_reflection": 41,
    "endomorphism_automorphism": 105,
    "quotient_coequalizer": 17
  },
  "motif_state_rates": {
    "fixed_point": 0.15925925925925927,
    "idempotence": 0.10185185185185185,
    "equivalence_isomorphism": 0.37407407407407406,
    "transfinite_limit": 0.3962962962962963,
    "reconstruction_recursion": 0.11296296296296296,
    "normalization_projection": 0.2611111111111111,
    "dynamics_orbit": 0.10925925925925926,
    "adjunction_reflection": 0.03796296296296296,
    "endomorphism_automorphism": 0.09722222222222222,
    "quotient_coequalizer": 0.01574074074074074
  },
  "notes": [
    "Counts are regex-assisted descriptive metrics, not semantic proof annotations.",
    "Motif categories overlap; one state may count in multiple categories.",
    "The corpus is a pilot generation trace, not a proof-checked theorem corpus."
  ]
}