{
  "schema_version": "hr.article-evidence-bundle/0.1",
  "bundle_id": "nine-became-eight-evidence-v0.1",
  "article_slug": "nine-became-eight",
  "version": "0.1",
  "created_at": "2026-07-21T06:46:37.132740+00:00",
  "status": "public_evidence_companion",
  "claims": {
    "working_strict_core": 8,
    "attempted_erdos_records": 353,
    "frozen_snapshot_core": 9,
    "oeis_claimed_successes": 44,
    "oeis_attempted_records": 492,
    "oeis_public_result_files": 38,
    "oeis_unique_sequence_ids": 37
  },
  "trend_readiness": {
    "ready": false
  },
  "files": [
    {
      "path": "LICENSES.md",
      "bytes": 2712,
      "sha256": "e1ae5cd1aa42844899868a255587bc59bf6479a7a2f543041b7b93a408dc9cb7",
      "media_type": "text/markdown",
      "role": "method",
      "source_path": "generated public licence and rights notice",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "README.md",
      "bytes": 2265,
      "sha256": "a97c5db24282bedb79430a2e3eeb86f85046e2b83a3848db522eeae32d73b3e9",
      "media_type": "text/markdown",
      "role": "method",
      "source_path": "generated public reader guide",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "data/oeis/public_result_inventory.csv",
      "bytes": 5296,
      "sha256": "bee9d680ac5e243333a8be7bf7149795bca126c36973179dd924cdc3a5e863e7",
      "media_type": "text/csv",
      "role": "source_metadata",
      "source_path": "data/alphaproof_nexus_oeis_inventory.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "data/oeis/theorem_mapping_join.csv",
      "bytes": 3634,
      "sha256": "011bc35019f23fc0eb5083708f58c65f7ad2ca6533f36dff6bf0ef5dc61c2626",
      "media_type": "text/csv",
      "role": "derived_classification",
      "source_path": "data/alphaproof_nexus_oeis_theorem_mapping.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "data/sources/registry_observations.csv",
      "bytes": 4107,
      "sha256": "82120d24f2b7dff69e06bc2de17998bc311305e82d930c2389aaa7686c64d577",
      "media_type": "text/csv",
      "role": "source_metadata",
      "source_path": "data/registry_observations.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "data/sources/source_capture_receipts.csv",
      "bytes": 19766,
      "sha256": "85766b316bea61cf23d73ad2898c401e5a23167686a9318eda10547a40c953d3",
      "media_type": "text/csv",
      "role": "source_metadata",
      "source_path": "data/source_capture_receipts.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "data/sources/source_register.csv",
      "bytes": 6468,
      "sha256": "cf21aa7a895e8f2343b5c5e8f92b6afd118f222f72a42ed28aba8e22d8a5d6cd",
      "media_type": "text/csv",
      "role": "source_metadata",
      "source_path": "data/source_register.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "data/working/ai_math_events.csv",
      "bytes": 7102,
      "sha256": "9c4e3bd303d388daad50bedd79e8790a776a7aab76ec4b46e201900d83cdbdfb",
      "media_type": "text/csv",
      "role": "derived_classification",
      "source_path": "data/ai_math_events.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "data/working/erdos_artifacts.csv",
      "bytes": 6176,
      "sha256": "998705c47d3ef6bcbd40a73faaa87ac5895dff76d30539b417def1c26b9fff53",
      "media_type": "text/csv",
      "role": "source_metadata",
      "source_path": "data/alphaproof_nexus_erdos_artifacts.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "data/working/erdos_row_audit.csv",
      "bytes": 6560,
      "sha256": "a7bc7d4f000008968a36d305426b31c12b47f968e585302b4df2c74c0f29d74f",
      "media_type": "text/csv",
      "role": "derived_classification",
      "source_path": "data/alphaproof_nexus_erdos_row_audit.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "data/working/metric_definitions.csv",
      "bytes": 979,
      "sha256": "e4c59d184729c10ffa92e7bc97058d7cdd2cddf51304e7e5028dbd216b2c2878",
      "media_type": "text/csv",
      "role": "derived_classification",
      "source_path": "data/metric_definitions.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "data/working/metrics_summary.json",
      "bytes": 923,
      "sha256": "7e6a77533344ff4974d090f4c039743a0722d04bb73d21a3edbc3f2b9b82a509",
      "media_type": "application/json",
      "role": "derived_metric",
      "source_path": "output/metrics_summary.json",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "data/working/problem_universes.csv",
      "bytes": 1532,
      "sha256": "ea666c33e4a311299a9b903c0ac696c075cad4645a4f9705a21d900044f24925",
      "media_type": "text/csv",
      "role": "derived_classification",
      "source_path": "data/problem_universes.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "figures/do-not-repair-the-photograph.svg",
      "bytes": 3210,
      "sha256": "fc15021cb92a1e68412914da49689d4b71d630bf5f1ee6c3d15f623c9b016102",
      "media_type": "image/svg+xml",
      "role": "article_asset",
      "source_path": "output/visuals/do-not-repair-the-photograph.svg",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "figures/nine-became-eight.svg",
      "bytes": 3186,
      "sha256": "dcceecce1159ea9f396ca090ff4ddbca87949ce882af60e13b0ec55865fd6212",
      "media_type": "image/svg+xml",
      "role": "article_asset",
      "source_path": "output/visuals/nine-became-eight.svg",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "method/classification-rubric.md",
      "bytes": 2050,
      "sha256": "fb927790e31df23341e5500bfb3ac1bd872403a98914a7f8728a078bbc2774c6",
      "media_type": "text/markdown",
      "role": "method",
      "source_path": "docs/05_CLASSIFICATION_RUBRIC.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "method/falsification-and-kill-conditions.md",
      "bytes": 2618,
      "sha256": "b9f7a6fa10e812717122c209b90187f162d0b361dde4278d93b5438a7d1a1f9e",
      "media_type": "text/markdown",
      "role": "method",
      "source_path": "docs/07_FALSIFICATION_AND_KILL_CONDITIONS.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "method/method-and-baseline.md",
      "bytes": 3468,
      "sha256": "668025d5f88b042af68815dfb1f97e3a1d3d4ef6fcbf4e4c0b5950e75c73778a",
      "media_type": "text/markdown",
      "role": "method",
      "source_path": "docs/04_METHOD_AND_BASELINE.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/baseline-audit.md",
      "bytes": 17279,
      "sha256": "50a31b55d68e1b22723c745f80daa6e1daf36c25abc54a1879e95221b3573744",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/BASELINE_AUDIT_2026-07-20.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/erdos-rows/12-i.md",
      "bytes": 5179,
      "sha256": "864830d9eaf1600f938fbe0e06416243782cfbf7cbf45d48fe989440575af28e",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/ERDOS_ROW_AUDIT_12_I_2026-07-20.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/erdos-rows/12-ii.md",
      "bytes": 5472,
      "sha256": "b48519eeb5cf124caa2324ea0eae0809aa16f01ab45709f84d38bb378715a427",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/ERDOS_ROW_AUDIT_12_II_2026-07-21.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/erdos-rows/125-lower-density.md",
      "bytes": 6289,
      "sha256": "c5be78f2a2784060f3ee79739fbcaaaa77269569b3f876a85037cd9fb89216cc",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/ERDOS_ROW_AUDIT_125_LOWER_DENSITY_2026-07-21.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/erdos-rows/138-difference.md",
      "bytes": 6486,
      "sha256": "af27c41d50993c7b8499770df17b91d7e1de588c59a354a7bfcfe56f74cf760a",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/ERDOS_ROW_AUDIT_138_DIFFERENCE_2026-07-21.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/erdos-rows/152.md",
      "bytes": 7218,
      "sha256": "9c46bb213d28b736c135bd0301b860b4e6c72d6251c619416732268969e3ceca",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/ERDOS_ROW_AUDIT_152_2026-07-21.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/erdos-rows/26-weak-density.md",
      "bytes": 8673,
      "sha256": "509c60886cc4c6f039888474ca99afb92130f45b4a6bec5847b4c382336d6535",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/ERDOS_ROW_AUDIT_26_WEAK_DENSITY_2026-07-21.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/erdos-rows/741-i-upper-density.md",
      "bytes": 8815,
      "sha256": "7b61bf441a182deeb01e10a323e12c42fb435ba7ba980fc24b96c07b5d55e4a7",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/ERDOS_ROW_AUDIT_741_I_UPPER_DENSITY_2026-07-21.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/erdos-rows/741-ii.md",
      "bytes": 8979,
      "sha256": "8ee0861d5049a1eb4e397f9a31565c40ad85091aa8b72601bd34fa791a08dba8",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/ERDOS_ROW_AUDIT_741_II_2026-07-21.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/erdos-rows/846.md",
      "bytes": 7870,
      "sha256": "e6f5f1d06026467008015a10ad89212165f6b43cddeaeaf435e370c2cf96a6e4",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/ERDOS_ROW_AUDIT_846_2026-07-21.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/limitations.md",
      "bytes": 13685,
      "sha256": "d51521f27afd849752997768d32ee2563aa64348b59f1c055d48dac86914bc6c",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/LIMITATIONS_2026-07-21.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/oeis-reconciliation.md",
      "bytes": 4629,
      "sha256": "6681fd8cab328f0b5e2acc191e347b61ff94961b415d0bd610aaeae0f389fc3a",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/OEIS_RECONCILIATION_2026-07-20.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "reports/strongest-counterargument.md",
      "bytes": 9670,
      "sha256": "de586dc1ba16090d8fdd633c94dc5e467ad17b10ca401edf38597da1e8946dee",
      "media_type": "text/markdown",
      "role": "derived_classification",
      "source_path": "output/STRONGEST_COUNTERARGUMENT_2026-07-21.md",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "scripts/verify_public_bundle.py",
      "bytes": 18960,
      "sha256": "eae69e162bdf1b5d7bdf3b00f2cfd0f8bc6aaab6c4c801bc6ded3829355185e5",
      "media_type": "text/x-python",
      "role": "method",
      "source_path": "scripts/verify_public_bundle.py",
      "license_scope": "MIT"
    },
    {
      "path": "tests/test_public_bundle.py",
      "bytes": 9332,
      "sha256": "8ef68f90b12d702d488235fbd42afef7305f2659fb07208990613b3366660937",
      "media_type": "text/x-python",
      "role": "method",
      "source_path": "tests/test_public_bundle.py",
      "license_scope": "MIT"
    },
    {
      "path": "tracker/PFT-2026-07-20/inputs/ai_math_events.csv",
      "bytes": 4091,
      "sha256": "7451b476032e3d0ac96698a4624dc353a2e76bffd7344c78aeeebc2ac84a5d6b",
      "media_type": "text/csv",
      "role": "frozen_observation",
      "source_path": "tracker/snapshots/2026-07-20/inputs/ai_math_events.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "tracker/PFT-2026-07-20/inputs/alphaproof_nexus_erdos_artifacts.csv",
      "bytes": 5454,
      "sha256": "fc4a12c85857255a20676f79a92975edbf6ded335d3a5856a91305c236463f69",
      "media_type": "text/csv",
      "role": "frozen_observation",
      "source_path": "tracker/snapshots/2026-07-20/inputs/alphaproof_nexus_erdos_artifacts.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "tracker/PFT-2026-07-20/inputs/alphaproof_nexus_oeis_inventory.csv",
      "bytes": 5296,
      "sha256": "bee9d680ac5e243333a8be7bf7149795bca126c36973179dd924cdc3a5e863e7",
      "media_type": "text/csv",
      "role": "frozen_observation",
      "source_path": "tracker/snapshots/2026-07-20/inputs/alphaproof_nexus_oeis_inventory.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "tracker/PFT-2026-07-20/inputs/problem_universes.csv",
      "bytes": 1532,
      "sha256": "ea666c33e4a311299a9b903c0ac696c075cad4645a4f9705a21d900044f24925",
      "media_type": "text/csv",
      "role": "frozen_observation",
      "source_path": "tracker/snapshots/2026-07-20/inputs/problem_universes.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "tracker/PFT-2026-07-20/inputs/registry_observations.csv",
      "bytes": 4107,
      "sha256": "82120d24f2b7dff69e06bc2de17998bc311305e82d930c2389aaa7686c64d577",
      "media_type": "text/csv",
      "role": "frozen_observation",
      "source_path": "tracker/snapshots/2026-07-20/inputs/registry_observations.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "tracker/PFT-2026-07-20/inputs/source_capture_receipts.csv",
      "bytes": 3891,
      "sha256": "967e040e7cc5d0578f7a30f3f6ba5a3578473af22d2c959f7fb656bfe325ef08",
      "media_type": "text/csv",
      "role": "frozen_observation",
      "source_path": "tracker/snapshots/2026-07-20/inputs/source_capture_receipts.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "tracker/PFT-2026-07-20/snapshot-index.csv",
      "bytes": 263,
      "sha256": "2c64e59b5062e3f3111035503188dac158401aff5791d627039d1a04db07a89a",
      "media_type": "text/csv",
      "role": "frozen_observation",
      "source_path": "tracker/snapshot-index.csv",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    },
    {
      "path": "tracker/PFT-2026-07-20/snapshot.json",
      "bytes": 7087,
      "sha256": "25b3e006bf9535e84ea4d3e97c037160506aa88bb124d1903f30007fda1cb0f9",
      "media_type": "application/json",
      "role": "frozen_observation",
      "source_path": "tracker/snapshots/2026-07-20/snapshot.json",
      "license_scope": "CC BY 4.0 for Hedegreen Research-authored selection, arrangement, annotations and derived material; underlying third-party works retain own terms"
    }
  ]
}