[
  {
    "publication": "fprd-program-overview",
    "id": "ref-steinberg2013",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-almeidklima2025",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-ganty2019",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-angluin1987",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-colcombetpetrisan2017",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-hora2024",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-burns2022",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-frenchormespavlov2015",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-french2015",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-firicel2011",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-balle2015",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-labaimakowsky2016",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-kruger2024",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "fprd-program-overview",
    "id": "ref-simao2009",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-stacks-scaffolding",
    "id": "ref-ford2004peg",
    "text": "Source",
    "urls": [
      "https://bford.info/pub/lang/peg.pdf"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-stacks-scaffolding",
    "id": "ref-galil1978palindrome",
    "text": "Source",
    "urls": [
      "https://doi.org/10.1016/0022-0000(78)90042-9"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-stacks-scaffolding",
    "id": "ref-leong1981new",
    "text": "Source",
    "urls": [
      "https://dl.acm.org/doi/10.1145/322234.322246"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-stacks-scaffolding",
    "id": "ref-loff2020computational",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-stacks-scaffolding",
    "id": "ref-rosenberg1967realtime",
    "text": "Source",
    "urls": [
      "https://research.ibm.com/publications/real-time-definable-languages"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-stacks-scaffolding",
    "id": "ref-slisenko1977simplified",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "gapcvp-parameter-retuning",
    "id": "ref-openai-ten",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "gapcvp-parameter-retuning",
    "id": "ref-fprd-gapcvp-code",
    "text": "",
    "urls": [],
    "check": "Historical pinned repository evidence retained; no GitLab access or artifact rerun in this pass."
  },
  {
    "publication": "gapcvp-parameter-retuning",
    "id": "ref-boxlab-gapcvp-fork",
    "text": "",
    "urls": [],
    "check": "Historical pinned repository evidence retained; no GitLab access or artifact rerun in this pass."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-bargetz",
    "text": "Source",
    "urls": [
      "https://pmc.ncbi.nlm.nih.gov/articles/PMC11108961/"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-pavlovic",
    "text": "Source",
    "urls": [
      "https://www.sciencedirect.com/science/article/pii/S0304397501000226"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-klene",
    "text": "Issue archive",
    "urls": [
      "https://www.invariants.org.uk/archive"
    ],
    "check": "MT22 issue archive located; article identity, text and pagination not independently confirmed in this pass."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-mo-existence",
    "text": "Source",
    "urls": [
      "https://mathoverflow.net/questions/16214/is-there-an-associative-metric-on-the-non-negative-reals"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-mckay",
    "text": "Source",
    "urls": [
      "https://blog.computationalcomplexity.org/2015/06/a-metric-group-product.html"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-ivanov",
    "text": "Source",
    "urls": [
      "https://www.mathnet.ru/eng/sm2765"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-elliott",
    "text": "Source",
    "urls": [
      "https://www.cambridge.org/core/journals/canadian-journal-of-mathematics/article/autometrization-and-the-symmetric-difference/844E2DB674FE702B1F9432D406C89BE9"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-gustafson-laitoch",
    "text": "Source",
    "urls": [
      "https://dml.cz/handle/10338.dmlcz/120312"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-balcerzak",
    "text": "Source",
    "urls": [
      "https://arxiv.org/pdf/2304.07824"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-chatyrko",
    "text": "Source",
    "urls": [
      "https://arxiv.org/pdf/2308.12799"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-kakeya",
    "text": "Source",
    "urls": [
      "https://www.jstage.jst.go.jp/article/ptmps1907/7/14/7_14_250/_pdf"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-glab",
    "text": "Source",
    "urls": [
      "https://www.ams.org/journals/proc/2013-141-06/S0002-9939-2012-11574-6/S0002-9939-2012-11574-6.pdf"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "metric-group-regularity",
    "id": "ref-neeb",
    "text": "Source",
    "urls": [
      "https://www.heldermann-verlag.de/jlt/jlt07/NEEBPL.PDF"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "direct-palindrome-scaffolding",
    "id": "ref-ChomskySchutzenberger1963",
    "text": "Source",
    "urls": [
      "https://www-igm.univ-mlv.fr/~berstel/Mps/Travaux/A/1963-7ChomskyAlgebraic.pdf"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "direct-palindrome-scaffolding",
    "id": "ref-DSST1989",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "direct-palindrome-scaffolding",
    "id": "ref-Ford2004",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "direct-palindrome-scaffolding",
    "id": "ref-Galil1978",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "direct-palindrome-scaffolding",
    "id": "ref-GayStacks2026",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "direct-palindrome-scaffolding",
    "id": "ref-KT1999",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "direct-palindrome-scaffolding",
    "id": "ref-LMR2020",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "direct-palindrome-scaffolding",
    "id": "ref-RubinchikShur2018",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "direct-palindrome-scaffolding",
    "id": "ref-Slisenko1977",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "direct-palindrome-scaffolding",
    "id": "ref-VWGP2025",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-ArdilaOwenSullivant2012",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-AriolaKlop1996",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-Brzozowski1964",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-ChomskySchutzenberger1963",
    "text": "Source",
    "urls": [
      "https://www-igm.univ-mlv.fr/~berstel/Mps/Travaux/A/1963-7ChomskyAlgebraic.pdf"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-DaciukEtAl2000",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-DSST1989",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-Ford2004",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-FritzLiang2023",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-GayDirect2026",
    "text": "[9] Joshua Gay. Persistent receipts and simultaneous records: a direct scaffold for even palindromes. FPRD Lab review paper, Draft 4 corrected reading edition, 10 September 2026.",
    "urls": [
      "/publications/direct-palindrome-scaffolding"
    ],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-GayStacks2026",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-KaplanTarjan1999",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-LMR2020",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-Nerode1958",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-PinMPRI",
    "text": "",
    "urls": [],
    "check": "Historical citation retained; author-hosted file inaccessible; exact snapshot not reverified."
  },
  {
    "publication": "persistent-scaffold-causal-algebra",
    "id": "ref-Rutten2000",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "unary-scaffold-coherent-cubical-algebra",
    "id": "ref-AOS2012",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "unary-scaffold-coherent-cubical-algebra",
    "id": "ref-DupontMalbos2022",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "unary-scaffold-coherent-cubical-algebra",
    "id": "ref-GayScaffold2026",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "unary-scaffold-coherent-cubical-algebra",
    "id": "ref-GuiraudMalbos2009",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "unary-scaffold-coherent-cubical-algebra",
    "id": "ref-LMR2020",
    "text": "",
    "urls": [],
    "check": "Source identity and publication metadata checked against primary paper, publisher, or author record. This is not a full source-proof audit; historical retrieval/version dates are retained where not independently established."
  },
  {
    "publication": "residual-counts-and-access",
    "id": "KimPark2026",
    "text": "Kim and Park, Separating Parsing Expression Grammars using Cell-Probe Lower Bounds",
    "urls": [
      "https://arxiv.org/html/2608.29592v1"
    ],
    "check": "Source text inspected; role and applicability recorded in publication-audit.md and the combined residual audit. External full proofs not independently re-proved."
  },
  {
    "publication": "residual-counts-and-access",
    "id": "Ko2026",
    "text": "Ko, A Cell-Probe Lower Bound for Dynamic Boolean Data Structures",
    "urls": [
      "https://arxiv.org/html/2603.25914v1"
    ],
    "check": "Source text inspected; role and applicability recorded in publication-audit.md and the combined residual audit. External full proofs not independently re-proved."
  },
  {
    "publication": "residual-counts-and-access",
    "id": "LMR2020",
    "text": "Loff, Moreira and Reis, The computational power of parsing expression grammars",
    "urls": [
      "https://arxiv.org/pdf/1902.08272"
    ],
    "check": "Source text inspected; role and applicability recorded in publication-audit.md and the combined residual audit. External full proofs not independently re-proved."
  },
  {
    "publication": "residual-counts-and-access",
    "id": "Ford2004",
    "text": "Ford, Parsing Expression Grammars",
    "urls": [
      "https://bford.info/pub/lang/peg.pdf"
    ],
    "check": "Source text inspected; role and applicability recorded in publication-audit.md and the combined residual audit. External full proofs not independently re-proved."
  },
  {
    "publication": "residual-counts-and-access",
    "id": "HorvathNagy2010",
    "text": "Horvath and Nagy, Pumping lemmas for linear and nonlinear context-free languages",
    "urls": [
      "https://arxiv.org/pdf/1012.0023"
    ],
    "check": "Source text inspected; role and applicability recorded in publication-audit.md and the combined residual audit. External full proofs not independently re-proved."
  }
]