{
 "_doc": "The figures of the lab's certificate for this result, copied field for field (names and values unchanged), with the certificate's own sha256. The certificate's path carries a former internal project name that collides with a third party's name, so the name is printed as [removed]; the bytes it hashes are the lab's, unchanged. The program that produced the figures is identified by its own sha256; it is not published here.",
 "id": "interconnect-lab:adversarial-admission-farm",
 "certificate": {
  "source": {
   "lab": "interconnect lab",
   "commit": "888ad0eb026a1b54e5c0b0a1899902f3b35875d6",
   "file": "results/data/[removed]/adversarial_farm_cert.json",
   "sha256": "6f2e75dbc53e43a3dc3b9bd386e71f25e8dee25fd37fe2703c4f14d705527d62",
   "bytes": 1637
  },
  "artifact": "native_adversarial_farm_certificate",
  "status": "MEASURED",
  "subject": "X3 native adversarial farm: a std-only Rust port of the conjunct-weakening impossibility mill re-certifies, over ~2e9 adversarial admission inputs, that the composed gate (tenant AND MemGate = X1's fullAdmit) admits ZERO unsafe inputs while every proper conjunct-weakening leaks — bit-for-bit matched to the Python oracle at the shared bound.",
  "honesty_tag": "🟡 EXHAUSTIVE-TO-BOUND over the enumerated input space, NOT a kernel-checked ∀-inputs theorem — the Lean tight bounds (TenantGate, MemGate, FullAdmit.full_admits_safe) are the ∀-inputs backstop. The genus is conjunct-weakening of the two Bool gates; counts are the ACTUAL modeled space.",
  "python_oracle": {
   "full_gates_all_clean": true,
   "every_weakening_breaks": true,
   "n_variants": 16,
   "n_weakenings": 14
  },
  "native_farm": {
   "native_status": "MEASURED",
   "cargo_test_passed": true,
   "differential_bounds": {
    "tenant": 2,
    "mem_radix": 3
   },
   "scale_bounds": {
    "tenant": 125,
    "mem_radix": 150
   },
   "tenant_full_states": 976562500,
   "mem_full_states": 1012500000,
   "tenant_full_escapes": 0,
   "mem_full_escapes": 0,
   "weakenings_broken": 14,
   "weakenings_total": 14
  },
  "native_differential_match": true,
  "scale_inputs_explored": 1989062500,
  "certified": true,
  "verdict": "CERTIFIED: composed-gate impossibility holds — 0 escapes over 1,989,062,500 native adversarial inputs, all 14 conjunct-weakenings broken, native mill bit-for-bit == Python oracle."
 },
 "program": {
  "lab": "interconnect lab",
  "commit": "888ad0eb026a1b54e5c0b0a1899902f3b35875d6",
  "file": "rustcheck/src/mill.rs",
  "sha256": "02176c80b67e570170a762910de3f8c6e4d259e5d4837e575b49119125538603",
  "bytes": 13628,
  "language": "Rust"
 },
 "display": {
  "tenant_full_states": "976,562,500",
  "mem_full_states": "1,012,500,000",
  "scale_inputs_explored": "1,989,062,500"
 },
 "sum_check": {
  "tenant_full_states_plus_mem_full_states": 1989062500,
  "equals_scale_inputs_explored": true
 }
}