{
  "scope": "One head-a branch typed-template enumeration through K=1; all mixed binary push/pop histories through depth 4 for d=1..3, with old versions retained; proper-list catenation witness n=1..12. No proof-assistant verification or unbounded completeness check.",
  "typed_template_state_counts": [
    1,
    50
  ],
  "pop_cache_minimum_in_test": 1,
  "history_checks": [
    {
      "d": 1,
      "mixed_calls_through_depth_four": 120
    },
    {
      "d": 2,
      "mixed_calls_through_depth_four": 1554
    },
    {
      "d": 3,
      "mixed_calls_through_depth_four": 7380
    }
  ]
}