{
  "schema": "idea_provenance.v1",
  "as_of": "2026-10-10",
  "repository_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "scope": "mathematical ancestry and public process disclosure; no correctness verdicts",
  "actual_discovery_chronology": "unknown",
  "documented_source_acquisition_events": [],
  "interpretation_not_observed_process": "structural recombination and parameter choice in finished argument",
  "nodes": [
    {
      "id": "brannen1996",
      "kind": "external_source",
      "url": "https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/S002557930001175X",
      "checked_scope": "publisher abstract"
    },
    {
      "id": "ludwig2002",
      "kind": "external_source",
      "url": "https://dmg.tuwien.ac.at/ludwig/projection.pdf",
      "checked_scope": "author-hosted text pp2,5 equations1,6"
    },
    {
      "id": "saroglou2014",
      "kind": "external_source",
      "url": "https://arxiv.org/html/1409.4347v2",
      "checked_scope": "introduction and section3"
    },
    {
      "id": "henk2025",
      "kind": "external_source",
      "url": "https://link.springer.com/article/10.1007/s10473-025-0107-9",
      "checked_scope": "publisher abstract, fullproof inaccessible"
    },
    {
      "id": "feng2026",
      "kind": "external_source",
      "url": "https://archive.ymsc.tsinghua.edu.cn/pacm_download/743/12781--2026.8.26.pdf",
      "checked_scope": "introduction and section4 construction, not wholeproofaudit"
    },
    {
      "id": "facet_formula",
      "kind": "manuscript_ingredient",
      "anchor": "lem:facets",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/A-product-counterexample-to-the-simplex-maximum-for-projection-body-volume-September-24-2026/build/main.tex"
    },
    {
      "id": "affine_covariance",
      "kind": "manuscript_ingredient",
      "anchor": "lem:affine",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/A-product-counterexample-to-the-simplex-maximum-for-projection-body-volume-September-24-2026/build/main.tex"
    },
    {
      "id": "simplex_value",
      "kind": "manuscript_ingredient",
      "anchor": "prop:simplex",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/A-product-counterexample-to-the-simplex-maximum-for-projection-body-volume-September-24-2026/build/main.tex"
    },
    {
      "id": "product_identity",
      "kind": "manuscript_ingredient",
      "anchor": "prop:product",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/A-product-counterexample-to-the-simplex-maximum-for-projection-body-volume-September-24-2026/build/main.tex",
      "prior_exact_attribution": "unresolved"
    },
    {
      "id": "product_witness",
      "kind": "manuscript_claim",
      "anchor": "thm:counterexample",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/A-product-counterexample-to-the-simplex-maximum-for-projection-body-volume-September-24-2026/build/main.tex",
      "independent_novelty": "unestablished"
    },
    {
      "id": "block_extension",
      "kind": "manuscript_claim",
      "anchor": "cor:exponential-excess",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/A-product-counterexample-to-the-simplex-maximum-for-projection-body-volume-September-24-2026/build/main.tex"
    },
    {
      "id": "readme",
      "kind": "public_process_record",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/README.md"
    },
    {
      "id": "family088",
      "kind": "catalogue_entry",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/CONTENTS.md",
      "dedicated_public_reasoning_summary": false
    }
  ],
  "edges": [
    {
      "from": "brannen1996",
      "to": "product_witness",
      "relation": "research_question_origin",
      "evidence": "explicit publisher abstract"
    },
    {
      "from": "ludwig2002",
      "to": "facet_formula",
      "relation": "exact_mathematical_antecedent",
      "evidence": "p5 Eq6"
    },
    {
      "from": "saroglou2014",
      "to": "facet_formula",
      "relation": "exact_mathematical_antecedent",
      "evidence": "introduction, section3"
    },
    {
      "from": "ludwig2002",
      "to": "affine_covariance",
      "relation": "exact_mathematical_antecedent",
      "evidence": "p2 Eq1, attributes Petty"
    },
    {
      "from": "feng2026",
      "to": "simplex_value",
      "relation": "same_known_benchmark",
      "evidence": "p2 Eq1.3"
    },
    {
      "from": "feng2026",
      "to": "product_witness",
      "relation": "earlier_published_counterexample_claim",
      "evidence": "Theorem1.3 and distinct section4 construction; prior proof not correctness-audited"
    },
    {
      "from": "henk2025",
      "to": "block_extension",
      "relation": "related_exponential_growth_precedent",
      "evidence": "abstract only; exact repetition mechanism not checked"
    },
    {
      "from": "facet_formula",
      "to": "product_identity",
      "relation": "published_argument_dependency"
    },
    {
      "from": "product_identity",
      "to": "product_witness",
      "relation": "published_argument_dependency"
    },
    {
      "from": "simplex_value",
      "to": "product_witness",
      "relation": "published_argument_dependency"
    },
    {
      "from": "product_identity",
      "to": "block_extension",
      "relation": "published_argument_dependency"
    },
    {
      "from": "simplex_value",
      "to": "block_extension",
      "relation": "published_argument_dependency"
    },
    {
      "from": "readme",
      "to": "family088",
      "relation": "collection_level_process_context",
      "evidence": "compute average not specific manuscript timing"
    }
  ]
}