{
  "schema": "mdlxdcc.public-evidence.safe.v1.1",
  "date": "2026-09-07",
  "privacy": "No trading strategy content, research controller/solver code, internal checkpoint paths or exact controller replay is bundled. Public tour outputs and their standalone validity checker are included.",
  "E1": {
    "type": "artifact validation",
    "label": "TSP audited tours",
    "passed": 11,
    "method": "Independent exact-decimal integer EUC_2D rounding, city-ID permutation, closing edge; no project solver import; reference optima taken from supplied materials, not reproved.",
    "download": "MDLxDCC_TOUR_CHECKS_20260907.zip"
  },
  "E2": {
    "type": "artifact comparison",
    "label": "8zipLab native v0.2.4",
    "files": 320,
    "native_bytes": 18275337,
    "controlled_7z_bytes": 18374488,
    "saved_bytes": 99151,
    "boundary": "One specified mixed corpus; full private research artifacts not included."
  },
  "E3": {
    "type": "source-audit receipt",
    "label": "TSP ↔ 8zipLab controller conformance",
    "verdict": "PASS",
    "tests": [
      {
        "test": "LZ primitive: Lab v021, compatibility v022, TSPES, DEV23",
        "status": "PASS",
        "cases": 8191,
        "scope": "All binary strings length 0..12; finite conformance, not a general mathematical proof."
      },
      {
        "test": "BB full reachable-state one-step transition coverage at/around all branch thresholds",
        "status": "PASS",
        "cases": 896,
        "systems": [
          "Lab v021",
          "Lab v022 compatibility",
          "TSPES"
        ]
      },
      {
        "test": "BB state trajectory and midpoint JSON restore",
        "status": "PASS",
        "cases": 10000
      },
      {
        "test": "ratchet full reachable-state one-step transition coverage at/around all branch thresholds",
        "status": "PASS",
        "cases": 896,
        "systems": [
          "Lab v021",
          "Lab v022 compatibility",
          "TSPES"
        ]
      },
      {
        "test": "ratchet state trajectory and midpoint JSON restore",
        "status": "PASS",
        "cases": 10000
      },
      {
        "test": "ADSR full reachable-state one-step transition coverage at/around all branch thresholds",
        "status": "PASS",
        "cases": 896,
        "systems": [
          "Lab v021",
          "Lab v022 compatibility",
          "TSPES"
        ]
      },
      {
        "test": "ADSR state trajectory and midpoint JSON restore",
        "status": "PASS",
        "cases": 10000
      },
      {
        "test": "hysteresis full reachable-state one-step transition coverage at/around all branch thresholds",
        "status": "PASS",
        "cases": 896,
        "systems": [
          "Lab v021",
          "Lab v022 compatibility",
          "TSPES"
        ]
      },
      {
        "test": "hysteresis state trajectory and midpoint JSON restore",
        "status": "PASS",
        "cases": 10000
      },
      {
        "test": "BB state trajectory Lab vs DEV23 with matched thresholds",
        "status": "PASS",
        "cases": 10000
      },
      {
        "test": "ratchet state trajectory Lab vs DEV23 with matched thresholds",
        "status": "PASS",
        "cases": 10000
      }
    ],
    "source_hashes": [
      {
        "label": "lab021",
        "sha256": "34ea6a3aeb2d3d78fca5a1f265977a196956562ae07858dab4b011c074b8f8eb"
      },
      {
        "label": "lab022",
        "sha256": "2b49ac306f8a5a18f4f6edbaedccf4b287301b3017f50c77db5c4e60e2f2b8eb"
      },
      {
        "label": "TSPES",
        "sha256": "1a6df9787d0fd35eb8143f31fdd86b93c703b98f4051584b754c689f8c08954b"
      },
      {
        "label": "DEV23base",
        "sha256": "4aa09661b18b81fe4c64640c4c4761718f1ba2dd67c8452fbe9b50d6e1049932"
      },
      {
        "label": "DEV23laws",
        "sha256": "5356eb1f11df04b3466a75f730818f9d7afecc24668c61a5fbd6f275f1e032ea"
      }
    ],
    "download": "MDLxDCC_KERNEL_CHECKS_20260907.zip",
    "boundary": "Source code intentionally withheld; this is an audit receipt, not a source release."
  },
  "editorial_version": "1.2",
  "scope": "Editorial v1.2: class hypothesis, representation feedback, evidence ladder and optional encrypted reviewer notes. Project performance campaigns were not rerun in this build.",
  "E4": {
    "type": "reported candidate accounting",
    "label": "A valid candidate can still cost too much",
    "boundary": "Values from supplied candidate table; the CDC compression campaign was not rerun in this build.",
    "evidence_relation": "retained prior audit; not rerun by this editorial revision"
  },
  "E5": {
    "type": "source inspection and bounded prior tests",
    "label": "DNA Scanner / Validator",
    "mechanism": "Model parameters, representation, alignment, mismatch and residual; separate fixed-model and refit-on-null checks.",
    "boundary": "Estimated code length is not a delivered lossless genome codec. Historical scanner holdout selection needs correction; do not treat its selected-test gain as confirmatory biology.",
    "evidence_relation": "retained prior audit; not rerun by this editorial revision"
  },
  "E6": {
    "type": "source-audit handoff",
    "label": "AI8 governance",
    "mechanism": "Candidate separation, explicit budget, sealed evaluation, verifier boundaries and persistent evidence.",
    "boundary": "Organizational implementation, not a demonstrated universal numerical DCC.",
    "evidence_relation": "retained prior audit; not rerun by this editorial revision"
  },
  "E7": {
    "type": "internal development code and supplied matched evidence",
    "label": "ARC-AGI-3 v0.5.5 R2",
    "mechanism": "Interactive description ledger; specialist/phase/compute controller; governor configurations compete.",
    "boundary": "Internal synthetic development panels are not official hidden ARC benchmark scores. Online resurrection policy can be harmful.",
    "evidence_relation": "retained prior audit; not rerun by this editorial revision"
  },
  "E8": {
    "type": "source-audit handoff",
    "label": "APSV v0.5.3",
    "mechanism": "Explicit engineering complexity/resource ledger and protected search lanes.",
    "boundary": "Engineering cost surrogate, not a literal universal prefix code. Current lane weights are largely fixed; no full online DCC reallocation demonstrated.",
    "evidence_relation": "retained prior audit; not rerun by this editorial revision"
  },
  "E9": {
    "type": "finite research arena audit",
    "label": "AC–WFP v0.3.1a1",
    "mechanism": "Candidate description plus prediction/recovery, stability and representation checks.",
    "boundary": "Finite effective-part discovery, not evidence for AC ontology or phenomenal consciousness. Proposal-stage compute ledger is not fully charged in final score. Cross-arm online DCC is not active.",
    "evidence_relation": "retained prior audit; not rerun by this editorial revision"
  },
  "E11": {
    "type": "early source-audit handoff",
    "label": "RouteSignal Scout v0.5",
    "mechanism": "Contextual residuals and evidence quality rank expert attention.",
    "boundary": "Fixed ranking weights, no demonstrated online DCC loop. Latest ZIP was not executed in that audit.",
    "evidence_relation": "retained prior audit; not rerun by this editorial revision"
  },
  "E12": {
    "type": "prior bounded artifact checks",
    "label": "8Z audio",
    "measurements": "Eight short synthetic round trips across .8za and vFLAC; exact PCM.",
    "boundary": "Codec correctness on selected fixtures, not a music-corpus compression win.",
    "evidence_relation": "retained prior audit; not rerun by this editorial revision"
  },
  "E10": {
    "type": "earlier documented result and development records",
    "label": "Sudoku v1.4 / R6 v1.3 / 8zCoding A0-A5",
    "evidence_relation": "Prior documented review; solver and coding campaigns not rerun in editorial v1.1.",
    "sudoku_v14": {
      "puzzles": 2048,
      "policies": 50,
      "rows": 102400,
      "A01_vs_M04_mean_PAR2_change_pct": -10.58,
      "F10_vs_F00_mean_PAR2_change_pct": -10.77,
      "A02_vs_M08_mean_PAR2_change_pct": -9.19,
      "A02_vs_M08_recorded_CPU_change_pct": 57.51,
      "A04_vs_C05_mean_PAR2_change_pct": 5.82,
      "source": "Technical monograph v1.4, 2026-09-05, sections 54 and 131-136",
      "boundary": "Audited completed diagnostic export, not a newly produced final experiment. Named portfolio effects are not isolated MDL-sensor gains or wall-clock speedups."
    },
    "coding": {
      "source_url": "https://www.mdlxdcc.org/crp/8zcoding",
      "source_page_date": "2026-09-04",
      "controller_replay_version": "A2-A5 v0.2",
      "A0_A1_wrong_candidates_rejected": 11,
      "status": "A0/A1 verifier PASS; A2/A3/A5 ENGINEERING PASS; A4 provisional; DCC/LZ not promoted; A6 not yet run in cited report"
    },
    "R6": {
      "source_url": "https://www.mdlxdcc.org/crp/ai8_sudoku_r6",
      "version": "research architecture v1.3",
      "status": "pre-builder research basis; not the source of the v1.4 result"
    },
    "public_digest": "MDLxDCC_PRIOR_EVIDENCE_v1_1_20260907.html",
    "monograph_guide": "MDLxDCC_MONOGRAPH_READING_GUIDE_20260907.md",
    "full_monograph_access": "v1.5 download returned 404; this release supplies only an explicitly labeled reading guide and access contact, not the full text."
  },
  "E13": {
    "type": "reading guide",
    "label": "Technical monograph v1.4, 2026-09-05",
    "source": "Supplied versioned archive; full content not published in this deployment",
    "boundary": "Navigation and historical evidence only; no v1.5 substitution."
  },
  "E14": {
    "type": "prospective research hypothesis",
    "label": "Large structured search spaces with unknown representation or search policy",
    "status": "Proposed; not a completed prospective transfer experiment",
    "protocol": "MDLxDCC_TRANSFER_HYPOTHESIS_v1_2_20260907.md"
  },
  "E15": {
    "type": "review history",
    "label": "Public-only review followed by source inspection",
    "source": "MDLxDCC_PUBLIC_SUMMARIES_v3_20260907.zip",
    "boundary": "BD × AI workflow history, not independent institutional endorsement."
  }
}