{
  "boundary": "Exact for the declared finite catalogue and supported briefs; no empirical wildlife-monitoring or safety validation.",
  "counts": {
    "adjacent_monotonicity_pairs": 1344,
    "architecture_results": 784,
    "architectures_per_brief": 8,
    "briefs": 98,
    "candidate_count_triples_per_architecture": 9009,
    "catalogue_feasible_results": 726,
    "catalogue_unavailable_results": 58,
    "compatible_available_count_triples": 1892418,
    "first_pass_incomplete_results": 672,
    "hot_witnesses_checked_in_mild": 392,
    "integer_count_triples_examined": 7063056,
    "interface_comparisons": 4704,
    "recorded_trace_transitions": 3203,
    "resource_ceiling_queries": 24076
  },
  "default": {
    "architectures": [
      {
        "architecture": "standard-standard-air",
        "available": true,
        "first_pass_counts": [
          8,
          3,
          6
        ],
        "first_pass_failed_interfaces": [
          "energy",
          "conversion"
        ],
        "least_counts": [
          9,
          4,
          7
        ],
        "resources": [
          3390,
          384
        ]
      },
      {
        "architecture": "standard-standard-liquid",
        "available": true,
        "first_pass_counts": [
          8,
          3,
          3
        ],
        "first_pass_failed_interfaces": [
          "conversion"
        ],
        "least_counts": [
          9,
          4,
          4
        ],
        "resources": [
          3480,
          324
        ]
      },
      {
        "architecture": "standard-efficient-air",
        "available": true,
        "first_pass_counts": [
          8,
          3,
          5
        ],
        "first_pass_failed_interfaces": [
          "energy",
          "conversion"
        ],
        "least_counts": [
          9,
          4,
          6
        ],
        "resources": [
          3520,
          356
        ]
      },
      {
        "architecture": "standard-efficient-liquid",
        "available": true,
        "first_pass_counts": [
          8,
          3,
          3
        ],
        "first_pass_failed_interfaces": [
          "conversion"
        ],
        "least_counts": [
          8,
          4,
          3
        ],
        "resources": [
          3245,
          274
        ]
      },
      {
        "architecture": "compact-standard-air",
        "available": true,
        "first_pass_counts": [
          6,
          3,
          7
        ],
        "first_pass_failed_interfaces": [
          "energy",
          "conversion"
        ],
        "least_counts": [
          7,
          4,
          8
        ],
        "resources": [
          4740,
          256
        ]
      },
      {
        "architecture": "compact-standard-liquid",
        "available": true,
        "first_pass_counts": [
          6,
          3,
          4
        ],
        "first_pass_failed_interfaces": [
          "conversion"
        ],
        "least_counts": [
          6,
          4,
          4
        ],
        "resources": [
          4200,
          168
        ]
      },
      {
        "architecture": "compact-efficient-air",
        "available": true,
        "first_pass_counts": [
          6,
          3,
          6
        ],
        "first_pass_failed_interfaces": [
          "conversion"
        ],
        "least_counts": [
          6,
          4,
          6
        ],
        "resources": [
          4240,
          200
        ]
      },
      {
        "architecture": "compact-efficient-liquid",
        "available": true,
        "first_pass_counts": [
          6,
          3,
          4
        ],
        "first_pass_failed_interfaces": [
          "conversion"
        ],
        "least_counts": [
          6,
          4,
          4
        ],
        "resources": [
          4360,
          152
        ]
      }
    ],
    "brief": "p750-h8-hot",
    "frontier": [
      "standard-efficient-liquid",
      "compact-standard-liquid",
      "compact-efficient-liquid"
    ]
  },
  "empty_frontier_briefs": [
    "p1500-h24-hot",
    "p2000-h24-mild",
    "p2000-h24-hot"
  ],
  "input_sha256": {
    "atlas.json": "d6b67b4c98aa36463b919286e5711ad9291a36f3f51f8a00cd6b9e0b9846aa20",
    "build_atlas.py": "bc04c91b85cb763f888cc62e9251f8f41fe6a886acb6bb88a2126fa6a09f0ade",
    "contract.json": "d2dc8f2eb348439eea23904a6e64c26e8616902c9b1a5af19199168f38fde0d5",
    "model.py": "a95f0bfa4d2c019443b52c82208ea70553f9115bf3e870e999f33d5f353d44db",
    "oracle.py": "ab8ad9912c9c970e76cc14b8e5d17584f96f198c7d55f662303cc6693a2b8459"
  },
  "scope": "Independent finite integer enumeration; no package or model imports",
  "status": "PASS",
  "unavailable_examples": [
    {
      "architecture": "compact-standard-air",
      "brief": "p750-h24-hot",
      "caps": [
        32,
        12,
        20
      ],
      "least_counts": [
        23,
        5,
        23
      ]
    },
    {
      "architecture": "compact-efficient-air",
      "brief": "p750-h24-hot",
      "caps": [
        32,
        12,
        20
      ],
      "least_counts": [
        23,
        5,
        23
      ]
    },
    {
      "architecture": "standard-standard-air",
      "brief": "p1000-h24-hot",
      "caps": [
        32,
        12,
        20
      ],
      "least_counts": [
        41,
        6,
        25
      ]
    },
    {
      "architecture": "standard-standard-liquid",
      "brief": "p1000-h24-hot",
      "caps": [
        32,
        12,
        20
      ],
      "least_counts": [
        35,
        5,
        12
      ]
    },
    {
      "architecture": "standard-efficient-air",
      "brief": "p1000-h24-hot",
      "caps": [
        32,
        12,
        20
      ],
      "least_counts": [
        39,
        6,
        23
      ]
    }
  ],
  "zero_demand": {
    "briefs": 14,
    "equal_resource_architecture_witnesses_per_brief": 8
  }
}