========================================================================
REPRODUCE-LOG — Yukon Heesch leader "hex15" (campaign heesch-leader-optimality)
========================================================================
Host: aarch64 Linux, Python 3.11.2, venv /workspace/venv
Repos:
  challenge harness : /workspace/research/heesch/heesch
                      (https://github.com/Layr-Labs/heesch, stdlib-only)
  solver + witnesses: /workspace/research/heesch/gsqs
                      (https://github.com/kannaka-labs/ghost-signals-quantum-session -b heesch-solver)
Leader artifact: /workspace/research/heesch/heesch/submission/best.heesch
  sha256 87d35cd173835f0f775cc632921423f6d511dea88352eca30124010cb02b3572
  = 15-cell polyhex, "~ 4 4 1", "#DEFECT 5 3 3 254", "#PROOF 1" (F(S,5) DRAT)
Campaign expectation: Heesch number 4, ring-5 coverage 251/254, score 4.988189.

------------------------------------------------------------------------
[1] Official witness verifier CLI (stdlib):
    $ cd /workspace/research/heesch/heesch && /workspace/venv/bin/python -m heesch_verify submission/best.heesch
------------------------------------------------------------------------
{"canonical_digest":"432fe86cb0dfdade5f49076181e1a10d05bc928ee999e5f630d07dd02f41b394","cell_count":15,"census_hc":null,"census_hh":null,"claim_discrepancy":false,"conventions":{"central_identity_required":false,"contact":"point","corona_mode":"hc_primary_hh_computed","inner_holes":"never","reflections":"allowed","revision":"v1","tile_disk":true},"defect_block_present":true,"defect_corona_level":0,"defect_enabled":true,"defect_hc":0,"defect_hh":0,"defect_partial_tiles":0,"defect_pocket_cells":0,"defect_required":0,"exact":false,"gate_tier":"none","grid":"H","hc_claimed":4,"hc_verified":4,"hh_claimed":4,"hh_exact":false,"hh_verified":4,"non_tiler_evidence":"","patch_size":72,"proof_checkers":[],"proof_cnf_digest":"","proof_core_clauses":0,"proof_format":"","proof_format_detected":"","proof_m":0,"proof_sha256":"","proof_status":"","record_eligible":false,"record_exact":false,"reflections_used":true,"resource_profile":"","span_x":8,"span_y":5,"symmetry_order":1,"tier":"","verified_claim":"hc>=4, hh>=4 (lower bound)"}

  -> hc_verified = 4, hh_verified = 4 (byte-identical to the claim).
  NOTE (documented in the solver repo README): `python -m heesch_verify` never
  calls verify_defect, so defect_* fields keep defaults here. The defect is
  scored by verify_defect, exercised below exactly as harness/verify.py does.

------------------------------------------------------------------------
[2] Official defect scoring path — same call sequence as harness/verify.py
    (verify_witness -> verify_defect -> yukon_score), via
    /workspace/research/heesch/scripts/score_driver.py:
    $ /workspace/venv/bin/python scripts/score_driver.py submission/best.heesch
------------------------------------------------------------------------
{
  "file": "submission/best.heesch",
  "hc_verified": 4,
  "hh_verified": 4,
  "cells": 15,
  "grid": "H",
  "defect_level": 5,
  "defect_hc": 3,
  "defect_required": 254,
  "pocket_cells": 0,
  "partial_tiles": 46,
  "covered": "251/254",
  "yukon_score": 4.988188976377953,
  "gate_verdict": "Verdict.INCONCLUSIVE",
  "gate_detail": "evaluated:no_factorization"
}

  -> defect_hc = 3 of required = 254  =>  covered 251/254
     yukon_score = 4.988188976377953  =>  rounds to 4.988189.  HOLDS (exact).

------------------------------------------------------------------------
[3] Full benchmark harness entry point:
    $ cd /workspace/research/heesch/heesch && /workspace/venv/bin/python -m harness.verify
------------------------------------------------------------------------
REJECTED: CHECKER_UNAVAILABLE: proof checkers not available: cake_lpr (looked in /workspace/research/heesch/heesch/tools/bin)

  Expected, documented behaviour (AGENTS.md): this host is aarch64, so the
  x86-64-only formally-verified checker cake_lpr cannot be built; the proof
  gate fails closed with CHECKER_UNAVAILABLE. The witness and #DEFECT block
  verified before the gate (steps 1-2 run the identical code path); the
  #PROOF block's CNF digest is re-encoded and checked only on the x86-64
  runner. drat-trim and lrat-check were built successfully into tools/bin.

------------------------------------------------------------------------
[4] gsqs control witness (the solver's own reproduction of the leader
    configuration): /workspace/research/heesch/gsqs/witnesses/decide_control.heesch
    sha256 162c7a26ca90cbb421a382890303b6b592add98e44444b3698ffa0169aa3202e
    $ /workspace/venv/bin/python scripts/score_driver.py decide_control.heesch
------------------------------------------------------------------------
{
  "file": "/workspace/research/heesch/gsqs/witnesses/decide_control.heesch",
  "hc_verified": 4,
  "hh_verified": 4,
  "cells": 15,
  "grid": "H",
  "defect_level": 5,
  "defect_hc": 3,
  "defect_required": 254,
  "pocket_cells": 0,
  "partial_tiles": 46,
  "covered": "251/254",
  "yukon_score": 4.988188976377953,
  "gate_verdict": "Verdict.INCONCLUSIVE",
  "gate_detail": "evaluated:no_factorization"
}

  -> identical: defect_hc 3/254 => 251/254 => score 4.988189.  HOLDS.

------------------------------------------------------------------------
[5] Caveat on the name "hex15-kaplan": the solver repo file
    witnesses/heesch-witness-20260926-183519__hex15-kaplan-hc4hh4-a.joint.heesch
    (sha256 ec1a065f15486aa31b7fc7753d52bafc0dba95fef83c198dba5bf50f6ffa3642)
    is a DIFFERENT 15-hex witness: hc_verified=4 but defect 7/164 =>
    score 4.957317. The 4.988189 leader is the challenge repo's
    submission/best.heesch (sha256 87d35cd1...), whose configuration the
    gsqs control witnesses reproduce exactly.

VERDICT ON REPRODUCTION: leader verified — hc=4, 251/254, score 4.988189
(byte-identical scalar; full-precision 4.988188976377953).