{
  "checked_at": "2026-08-30T00:02:15Z",
  "source_repository": "https://github.com/reuellee/finite-certificates",
  "source_commit": "d047359e7892106021022b0401554f56eb4e4d8a",
  "source_tree": "af221cc4a3c2d81ce2c58ecb71bdf2e029b4b929",
  "pinned_source": "https://github.com/reuellee/finite-certificates/tree/d047359e7892106021022b0401554f56eb4e4d8a/ai/maxout",
  "upstream_problem_source": "https://arxiv.org/abs/2509.21286",
  "environment": {
    "main_audit": {
      "python": "3.13.7",
      "container": "python@sha256:9ba6d8cbebf0fb6546ae71f2a1c14f6ffd2fdab83af7fa5669734ef30ad48844",
      "dependencies": "Python standard library only"
    },
    "transport_check": {
      "python": "3.13.7",
      "container": "python@sha256:5f55cdf0c5d9dc1a415637a5ccc4a9e18663ad203673173b8cda8f8dcacef689",
      "dependencies": {
        "numpy": "2.3.3",
        "scipy": "1.16.2",
        "sympy": "1.14.0",
        "mpmath": "1.3.0"
      }
    },
    "isolation": {
      "network": "disabled during every verifier run",
      "source_mount": "read-only",
      "root_filesystem": "read-only",
      "linux_capabilities": "all dropped",
      "no_new_privileges": true,
      "memory_limit_gib": 4,
      "cpu_limit": 4,
      "process_limit": 128
    }
  },
  "artifacts": {
    "check_om35_uniqueness_py_sha256": "d19bd97389fb23c5bd8fc0f3adb6c5b8d079c26ac48bc670d87e0d38f318fb5b",
    "check_split_orbits_py_sha256": "bcf58e7565cd648c38896c955676d3ec9e876be7ad730db1686feacc62b4e1ef",
    "independent_audit_py_sha256": "b7110055a372ff57934b30ab948c0624491adb2007b8ecad6b39e2102cd7e49e",
    "pinned_source_independent_audit_report_sha256": "81c8d6f5d9f70e91254d07120b89d3164ed81320ef185bbb7cae2639e5127ef5",
    "check_transport_py_sha256": "4afcb9a962fba87a61c754f123f01e31615315251b6d1e655fd0f691c9518d42",
    "verify_c66_new_cases_py_sha256": "eee375a9d206c974f97bdc689306cfffe38496eb3a4a59231c6dec7a050e1cc2",
    "cert_35_42_json_sha256": "49ac162de0e8e7743902bdca820f22b9d005f8c30f3a16a7bb76567472e56297",
    "maxout35note_tex_sha256": "9fcb3e30d1e9101a5c17cbf432dbd2a8952dd4b924b8cb917bee79bf60390c5d"
  },
  "checks": {
    "uniform_rank_3_chirotopes": 384,
    "chirotope_reorientation_classes": 1,
    "split_stabilizer_order": 10,
    "valid_labeled_side_patterns": 33140,
    "upper_bound_certificates": 132560,
    "independent_audit": {
      "result": "passed",
      "checks_ok": 132869,
      "checks_failed": 0,
      "coverage_complete": true,
      "canaries_passed": true,
      "partial_run": false,
      "elapsed_seconds": 137.4
    },
    "transport": {
      "result": "passed",
      "sampled_certificate_or_family_items": 37,
      "group_certificate_pairs": 2220,
      "family_criterion_transports": 1380,
      "stabilizer_elements": 10
    },
    "attainment": {
      "result": "passed",
      "dimension": 3,
      "generators": 5,
      "candidate_points": 64,
      "vertices": 42,
      "non_vertices": 22,
      "arithmetic": "exact rational"
    }
  },
  "result": "The pinned certificate suite passed every replayed check. Under the source's stated row model and reduction arguments, the artifacts certify an upper bound of 42 vertices for a (3,5)-zonoboxtope candidate. The exact rational witness certifies attainment by 42 vertices.",
  "scope": "This is an isolated replay of author-supplied exact certificates and verifier programs at a pinned public commit. It independently rechecks the serialized certificate library with the source's separate audit implementation. It does not independently derive the 25-by-8 row model, the valid-side-pattern definition, or the reduction to four split representatives. It is not peer review or publication acceptance."
}