{
  "analytics": false,
  "creates_scientific_evidence": false,
  "external_runtime_service": false,
  "fixture": "the sixteen-box game",
  "formal_suite": {
    "name": "TreasureBench",
    "role": "formal-instrument",
    "route": "treasurebench.html"
  },
  "modules": [
    {
      "claim_ids": [
        "DD-C-0004",
        "DD-C-0005",
        "DD-C-0006"
      ],
      "formal_term": "Information aggregation versus one-answer action compression.",
      "id": "better-maps",
      "limitation": "Exact only for the declared sixteen-box model, signal process, and protocol definitions.",
      "study_id": "DD-000",
      "title": "Better maps, one shovel hole"
    },
    {
      "claim_ids": [
        "DD-C-0004",
        "DD-C-0006"
      ],
      "formal_term": "Duplication, distinct action coverage, and group discovery.",
      "id": "split-crew",
      "limitation": "Coverage is valuable only through the declared target-success objective; no universal diversity rule is implied.",
      "study_id": "DD-002",
      "title": "Split the crew"
    },
    {
      "claim_ids": [
        "DD-C-0057",
        "DD-C-0058"
      ],
      "formal_term": "Common-source correlation and source diversity.",
      "id": "copied-maps",
      "limitation": "The exact threshold theorem uses the frozen three-target, homogeneous-source, equal-split model.",
      "study_id": "DD-008B",
      "title": "Copied maps"
    },
    {
      "claim_ids": [
        "DD-C-0059",
        "DD-C-0060"
      ],
      "formal_term": "Selective audience and the one-reader discovery theorem.",
      "id": "one-reader",
      "limitation": "The theorem is not about unrestricted policies, correlated signals, dynamics, or human attention.",
      "study_id": "DD-012",
      "title": "One map reader"
    },
    {
      "claim_ids": [
        "DD-C-0071",
        "DD-C-0072"
      ],
      "formal_term": "Threshold-team technology and diversified viable action portfolios.",
      "id": "minimum-crew",
      "limitation": "The capacity statement is exact for deterministic threshold opening with no replication value.",
      "study_id": "DD-016",
      "title": "Minimum digging crew"
    }
  ],
  "name": "Treasure Hunt",
  "role": "interactive-companion",
  "schema_version": 1,
  "separate_benchmark": false,
  "source_run_id": "20260720T202314Z_DD-000_88613408_217c602fa0"
}