{
  "title": "Sequential Certificate Risk for Declared RF Carriers: A finite-horizon technical addendum",
  "site_reading_copy": 1,
  "manuscript_version": "0.1 release candidate",
  "manuscript_date": "2026-11-09",
  "scope": "Supporting technical addendum to Acquirable Predictive Models; cross-reference from Diagnosing While Repairing. Not a broad standalone theory.",
  "publication_status": "Prepared for central website integration; deployment verification is separate.",
  "pdf": {
    "url": "/manuscripts/sequential-certificate-risk-v0.1-2026-11-09.pdf",
    "sha256": "e0f032a04f8bf6cb06daa388e9c459818658a9abbf27ac720c755ca2b656a689",
    "pages": 8,
    "unchanged": true
  },
  "source": {
    "url": "/manuscripts-html/sequential-certificate-risk/addendum.tex",
    "sha256": "dc3e2a4d161e3ccac86ccd22a8b838f33bc526430929ac4abb1008062f26e7cd",
    "unchanged": true
  },
  "original_public_archive": {
    "filename": "noisy-rf-carriers-addendum-v0.1-public.zip",
    "sha256": "df30be1a7483ac16abcd6b7021ba23e271f33fcc1e2e2f1c6a5fd8d5ea159bce",
    "preserved": true
  },
  "publication_archive": {
    "url": "/manuscripts-html/sequential-certificate-risk/public-package-v0.1.zip",
    "sha256": "b09f4b2abe4f8c0b0436e63391ca5831e4ba4a99e514ca15e7c2bc3641a64bb9",
    "entries": [
      "README.txt",
      "addendum.pdf",
      "addendum.tex",
      "code/check_examples.py",
      "code/check_horizons.py",
      "code/fresh_check.py",
      "code/optimizer.py",
      "code/realization_lp.py",
      "code/regenerate.py",
      "code/verify.py",
      "code/verify_independent.py",
      "data/certificates.json",
      "data/contract_comparison.json",
      "data/cost_curve_n3.json",
      "data/fixed_error_costs.json",
      "data/risk_curve_n3.json",
      "examples_verified.json",
      "fresh_results.json",
      "inclusion_and_proof_ledger.json",
      "inclusion_and_source_ledger.txt",
      "independent_verification.json",
      "pdf_quality.json",
      "preservation_summary.json",
      "publication_manifest.json",
      "reviews/review_and_response.txt",
      "sources.json",
      "verification.json"
    ]
  },
  "publication_manifest": {
    "url": "/manuscripts-html/sequential-certificate-risk/publication_manifest.json",
    "sha256": "21da4c6597a035864e522e6d89be3ba75d6c11533ae3e2b11b8275323e7f74a7"
  },
  "metadata_presentation": {
    "scope": "Whitespace-only corrections in a separate publication copy; manifest file hashes and lengths refreshed afterward. Original package unchanged.",
    "non_whitespace_equality_verified": true,
    "changed_files": [
      {
        "path": "inclusion_and_proof_ledger.json",
        "original_sha256": "716c5eb897324dde4b2f759d98a880a51309ff7a34003440dc33a98ccd58e529",
        "publication_sha256": "acf6caf2d75759994be0e37001cdb92bfbd98ceb3881a8f2e55c4bca137f1f6c",
        "change": "Whitespace only"
      },
      {
        "path": "inclusion_and_source_ledger.txt",
        "original_sha256": "2041ffb889b8616f260a07c2b9356e8e8b97f5d501ad47e58531f97cfbee80cf",
        "publication_sha256": "b955a6e3bb107a380415b1f6b40e5f139232158ed573e04ad697964d0b953b06",
        "change": "Whitespace only"
      },
      {
        "path": "pdf_quality.json",
        "original_sha256": "f4399c0d034bc741abd66ffa543b8598b9740eceae3094656e9b4ef593f42c18",
        "publication_sha256": "b3a1ee057a66fd4ffbf163cebdde991dd401ba7ea96b5b14b51aa4536828bf7b",
        "change": "Whitespace only"
      },
      {
        "path": "publication_manifest.json",
        "original_sha256": "2d665f4ebcb61127c1ad13039bd2e4f740759b18f16d70179a865a2a99ce0fb4",
        "publication_sha256": "21da4c6597a035864e522e6d89be3ba75d6c11533ae3e2b11b8275323e7f74a7",
        "change": "Whitespace only; file hash/byte-count fields refreshed"
      },
      {
        "path": "README.txt",
        "original_sha256": "c8239ed8e490989d955ee736484511e3ea4592e050a4c6ac397271a471045b42",
        "publication_sha256": "5fb1e87057f42ec3f391150d661dc6eb057f1cbf1c717dc27f7f68aa5e74e283",
        "change": "Whitespace only"
      },
      {
        "path": "sources.json",
        "original_sha256": "7e97960b86219a6499870a34b8e721dd31fce3adde1f7d0d7ee792cb20865c47",
        "publication_sha256": "4e0d91a4fdc7a4b9ea2b5fda5a9f8e4a15da6c3356ddf2ab6c714f7383ec63d2",
        "change": "Whitespace only"
      },
      {
        "path": "reviews/review_and_response.txt",
        "original_sha256": "7897d62e9cd36d881781f884df38457ae60ddbf6d51a15c894766e54d5a4aa3e",
        "publication_sha256": "df5468841b7fa06c6b2f462303bf5892d7d3ad3a12e3590905920fc92d269d73",
        "change": "Whitespace only"
      }
    ],
    "scientific_files": "Reviewed TeX, PDF, all scripts and all numeric data remain byte-for-byte unchanged."
  },
  "reader": {
    "sha256": "64fbbccef319a4eac9bf6e1fdf8b8eaca6ef9e3f38523164923f321f109d2c3e",
    "conversion": "Installed TeX4ht from the unchanged reviewed source; package installation and shell escape disabled. Navigation, responsive styling, equation numbering and exact-source display fallbacks added separately. Ligatures expanded for accessible text.",
    "coverage": {
      "mathml_elements": 252,
      "display_formulas": 19,
      "numbered_equations": 14,
      "array_final_rows_preserved": true,
      "split_rows": [
        2,
        2
      ],
      "data_table_rows_including_header": [
        6,
        7,
        8
      ],
      "sections": [
        [
          "abstract",
          "Abstract"
        ],
        [
          "section-1",
          "1 Increment beyond the existing manuscripts"
        ],
        [
          "section-2",
          "2 Fixed model and policy information"
        ],
        [
          "section-3",
          "3 First exclusions and the conditional contract"
        ],
        [
          "section-4",
          "4 Complete finite-history linear formulation"
        ],
        [
          "section-5",
          "5 Exact benchmarks and certificate method"
        ],
        [
          "section-6",
          "6 Two exclusions and bounded immediate-cap equivalence"
        ],
        [
          "section-7",
          "7 The specified PPR comparison and a tailored gate"
        ],
        [
          "section-8",
          "8 Scope, correction and release limits"
        ],
        [
          "appendix-a",
          "A Earlier finite frontiers retained as exact supporting data"
        ],
        [
          "references",
          "References"
        ]
      ],
      "references": 7,
      "internal_fragments": "PASS",
      "raw_tex_math_fallbacks": 19,
      "script_free": true,
      "images_required": false
    },
    "source_prose_tokens_verified_in_order": 2688,
    "accessibility": "Native MathML and source fallbacks supplied; specialist screen-reader review outstanding. PDF is untagged.",
    "central_browser_repairs": "Ten unchanged operator names moved from raw mrow text into native MathML mi tokens so they render in Chrome. Redundant embedded equation tags hidden in favor of the single outer label. Byline wraps on narrow screens; equation styling scoped to the HTML container. Mathematical text, source fallbacks and original reviewed files unchanged."
  },
  "verification": {
    "exact_certificates": 47,
    "conditional_nodes": 254,
    "independent_N5_certificates": 5,
    "frontier_supporting_duals": 13,
    "N5_N6_all_reachable_risk_check": "PASS",
    "independently_reconstructed_HC_rows": 85,
    "floating_LP_variables": 599,
    "example_and_gate_checks": "PASS",
    "unchanged_pdf_visual_review": "All eight pages rendered and individually inspected during central staging; no clipping or overlap observed.",
    "qualification": "Existing supplied checkers rerun on isolated copies; this integration step is not a new independent proof implementation. Episode-only comparator HC violations are expected."
  },
  "review": {
    "final_proof_and_hostile_closures_inspected": true,
    "bound_source_sha256": "dc3e2a4d161e3ccac86ccd22a8b838f33bc526430929ac4abb1008062f26e7cd",
    "scope": "Independent internal AI proof and hostile reviews closed requested mathematical repairs on the final source. Not human peer review, proof-assistant certification or historical-priority clearance."
  },
  "remaining_limits": [
    "Known positive independent BSC noise and static state only",
    "Public-history conditioning stated explicitly; seed-aware components checked separately",
    "One specified raw PPR comparator, not every confidence-sequence method",
    "No all-horizon theorem or optimized maximal-carrier value gap",
    "Certificate coverage is not physical safety",
    "No subjective-awareness or consciousness conclusion",
    "Historical priority, authorship approval and physical applicability remain unresolved in the preserved source"
  ],
  "privacy": "Only the enumerated sanitized public package is distributed. Raw private reviews, local paths, credentials, machine identifiers and private research scratch are excluded."
}