repair-evidence.json

back to table · edit · history · where entries came from · files · download

2224 bytes, as of the version from 2026-11-01 18:35 (current). Recorded here, not run.

{
  "table": "T657",
  "stored": true,
  "controls": {
    "known_square_lattice": true,
    "Euler_empty_product": true,
    "known_linear_factor": true,
    "deliberately_wrong_or_wide_rejected": 4
  },
  "skill_manifest": "agents/runs/20261101T183009Z-repair-skills/manifest.json",
  "skill_sha256": {
    "local": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
    "live": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
  },
  "sage": "10.9",
  "pari": "[2, 17, 1]",
  "numberdb": "0.1.10",
  "real_product_bits": 768,
  "product_terms": 160,
  "hilbert_PARI_and_arb_matches": 10,
  "canonical_PARI_matches": 5,
  "entries": 100,
  "exact_AB_relations": 50,
  "certified_factor_checks": 100,
  "companion_enclosures": 100,
  "minimum_product_accuracy_bits": 753,
  "minimum_generator_accuracy_bits": 630,
  "repair_run": "20261101T183009Z",
  "enumeration_and_all_values_match": true,
  "attribution_environment_test": true,
  "method": "Re-ran the unchanged attached independent checker on the live repair snapshot; this is repair verification, not a fresh independent critique.",
  "instruction_binding": {
    "manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-dependency-review/agents/runs/20261101T183009Z-repair-skills/manifest.json",
    "manifest_sha256": "2ed18a5ba549629b2149341ece7834c3c10445d5345622bccc42c66178a837ba",
    "versions": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
      }
    ],
    "critique_sidecar_sha256": "b1dabff1372750e5464b0dc0ec3255903698bbd0d52145222d9c070cecc1e069"
  },
  "generated_source_sha256": "b0c96856bc1cf95e213e79009a4cc942a0084a43abf891b09ed3d3b8f53e9ea1",
  "table_snapshot_sha256": "9594610e5d316b5800033048e86a19b6b1768ee853e58a47d7251dcf3ef458a5",
  "longest": {
    "g": "13A",
    "r": 8,
    "degree": 28,
    "characters": 888,
    "factor_multiplicity": 1,
    "product_accuracy_bits": 756,
    "generator_accuracy_bits": 632
  }
}