{
  "abstract": "For rational nonnegative Boolean cost tables with a strict parity gap, intrinsic cut tests and four-point node costs characterize exact minimum-scope realization over all trivalent Sun-tree shapes at ordinary treewidth two. A rooted subset recurrence minimizes the scalar capacity budget without enumerating complete labelled trees. Recognition is polynomial in the explicit table length and entry bit length, rather than in the number of boundary variables. A successful test gives an exact nonnegative network with 4n-9 hidden variables and 9(n-2) genuine pair scopes. Input-grid preservation keeps every primitive cell on the target's original common rational grid and between zero and the maximum target value. A target-bound Bellman certificate, checked by a separately written verifier, rejects every minimum-scope presentation conditional on the equality-graph premise. The supplied-tree scalar criterion, input-grid construction and all-tree recognition retain their explicit imported equality-graph and ternary-synthesis premises. These are proof-supported conditional candidate results. No succinct-input, unrestricted-treewidth or all-optima classification claim is made.",
  "abstract_shown": true,
  "affiliations": [],
  "article_type": null,
  "arxiv": null,
  "author_total": 1,
  "authors": [
    {
      "name": "Robert Barritz"
    }
  ],
  "bibtex": "https://research.draconitic.com/paper/22s0eh5chhetg.bib",
  "cited_by": 0,
  "doi": "10.5281/zenodo.23620355",
  "fulltext_url": null,
  "id": "22s0eh5chhetg",
  "issns": [],
  "landing_url": "https://zenodo.org/records/23620355",
  "language": "eng",
  "licence": "CC0-1.0",
  "licence_label": "CC0",
  "licence_source": "article",
  "licence_url": "https://creativecommons.org/publicdomain/zero/1.0/",
  "metadata_licence": null,
  "native_subjects": [],
  "openalex": null,
  "pdf_url": "https://zenodo.org/api/records/23620355/files/RT_NONFLAT_SUN_TREES_20261024_V10.pdf/content",
  "pmcid": null,
  "pmid": null,
  "published": "2026-10-24",
  "publisher": null,
  "ris": "https://research.draconitic.com/paper/22s0eh5chhetg.ris",
  "sources": [
    {
      "first_seen": "2026-11-07T12:20:42Z",
      "native_id": "23620355",
      "source": "zenodo",
      "url": "https://zenodo.org/records/23620355"
    }
  ],
  "subjects": [],
  "title": "Exact realization of nonflat Boolean parity costs on Sun trees: Intrinsic recognition and exact construction at treewidth two",
  "title_text": "Exact realization of nonflat Boolean parity costs on Sun trees: Intrinsic recognition and exact construction at treewidth two",
  "type": "preprint",
  "updated_at": "2026-11-07T12:20:42Z",
  "url": "https://research.draconitic.com/paper/22s0eh5chhetg",
  "venue": "Zenodo",
  "versions": []
}