{
  "title": "Finite Noisy Audits with Learned Baselines: Exact risk, interface-dependent memory, and a matched compiled controller",
  "manuscript_version": "1.0",
  "manuscript_date": "2026-11-09",
  "manuscript_date_timezone": "Asia/Bangkok",
  "site_reading_copy": 1,
  "status": "Prepared for centralized site integration; publication is a separate coordinated action.",
  "type": "Technical addendum to Reflective Self-Models",
  "byline": "B-Theory technical addendum; no individual author line assigned",
  "routes": {
    "project": "/finite-noisy-audits/",
    "reader": "/manuscripts-html/finite-noisy-audits/",
    "pdf": "/manuscripts/finite-noisy-audits-v1.0.pdf",
    "public_release": "/manuscripts/finite-noisy-audits-v1.0-public.zip",
    "parent": "/reflective-self-models/"
  },
  "review": {
    "final_actual_text_proof_review": "pass",
    "final_actual_text_hostile_review": "pass",
    "supported_remaining_major_or_minor_mathematical_repairs": 0,
    "independent_internal_AI_reviewers": 2,
    "external_human_peer_review": false,
    "priority_clearance": false,
    "physical_validation": false,
    "review_summary": "ai-review-summary.txt",
    "responses": "responses-to-reviewers.txt"
  },
  "presentation": {
    "source": "manuscript.txt",
    "source_based_complete_reader": true,
    "source_blocks_verified_exactly": 57,
    "principal_formula_MathML_instances": 21,
    "MathML_source_annotations": "exact original text/plain expressions",
    "other_inline_notation": "retained in original source spelling",
    "propositions": 5,
    "proof_content": "Complete; four separately marked proofs plus the induction proof in Proposition 4.",
    "references": 10,
    "PDF_pages": 6,
    "original_PDF_unchanged": true,
    "original_source_unchanged": true,
    "original_public_ZIP_unchanged": true,
    "original_author_HTML": "Unchanged in the complete public ZIP.",
    "accessibility": "Native MathML and semantic table headers supplied; specialist assistive-technology testing not performed; no accessibility conformance certification."
  },
  "fresh_verification": {
    "status": "passed",
    "package_hashes_verified": 18,
    "ZIP_members_verified": 19,
    "archive_exact_public_allowlist": true,
    "privacy_scan_findings": 0,
    "checkers": [
      "check_addendum.py",
      "audit_checks.py",
      "independent_checks.py"
    ],
    "weighted_ROM_transitions": 783360,
    "count_tuples": 65536,
    "independent_truth_error_pairs": 65536,
    "ROM_regeneration": "Byte-identical to both shipped ROMs",
    "exact_results": "Equal excluding elapsed_seconds"
  },
  "limits": [
    "Supplied structural equalities and trusted scalar ports",
    "Fresh known independent noise and fixed mechanisms",
    "Fixed blocked schedules; no globally optimal allocation",
    "Memory minimum depends on exact optimal output interface; clock separately charged",
    "Dense encoding is not minimum code/hardware cost",
    "Specified hidden-defect family only; fair output randomness additional",
    "No physical validation, architectural advantage or consciousness result",
    "Focused source comparison is not an exhaustive novelty search",
    "PDF not certified tagged-accessible; HTML/text alternatives supplied"
  ],
  "unchanged_downloads": [
    {
      "path": "/manuscripts/finite-noisy-audits-v1.0-public.zip",
      "bytes": 136581,
      "sha256": "64ff1b5cc3b0033f89fe8b6a9b5b2bae6e250e9cc2b46d99bf85909351e533fd"
    },
    {
      "path": "/manuscripts/finite-noisy-audits-v1.0.pdf",
      "bytes": 91446,
      "sha256": "9439ad244b8b71360d5abf4a5124ac4f2d393b0bd3116c515e74c754575bca00"
    },
    {
      "path": "/manuscripts-html/finite-noisy-audits/ai-review-summary.txt",
      "bytes": 2064,
      "sha256": "836eb2db7fff3e2c6d696e35ada8271615c0c16451f196d795ab94653588638b"
    },
    {
      "path": "/manuscripts-html/finite-noisy-audits/bibliography.txt",
      "bytes": 3306,
      "sha256": "3c87db055b3b50cdef629a3da64d322a06826d51ad367dcb2db1a78cc6c1ecaf"
    },
    {
      "path": "/manuscripts-html/finite-noisy-audits/manuscript.txt",
      "bytes": 20485,
      "sha256": "139fd3e6b149b5338e380a2c9479beae0a00b655bd5b9985a641df26f183ecd7"
    },
    {
      "path": "/manuscripts-html/finite-noisy-audits/publication-manifest.json",
      "bytes": 6595,
      "sha256": "1db60a12341d66cee7a1c5d7343607c53b143f9917cc8b0551a3a40820213ca5"
    },
    {
      "path": "/manuscripts-html/finite-noisy-audits/REPRODUCE.txt",
      "bytes": 2219,
      "sha256": "e28d11564061d5b4af1f39bca3ab4f2692a1b845f10ce3c6a4ce178bf8a35ed6"
    },
    {
      "path": "/manuscripts-html/finite-noisy-audits/responses-to-reviewers.txt",
      "bytes": 2413,
      "sha256": "09ee3ebeab97e19162f51ada1a8fff3018070fce3459fc3ee97863ae6207ff4d"
    },
    {
      "path": "/manuscripts-html/finite-noisy-audits/source-proof-ledger.json",
      "bytes": 10396,
      "sha256": "b73ef2285c43e353acb7797f77c989d48c4ce309772b7016d4d2ec3ba9281b72"
    }
  ],
  "reader_sha256": "7411add1dd475df7a9663f348dca10061ce0c1168ba61a96c5cf31cf26cbd50c",
  "strict_final_file_review": {
    "review_date": "2026-11-09",
    "timezone": "Asia/Bangkok",
    "source_sha256": "139fd3e6b149b5338e380a2c9479beae0a00b655bd5b9985a641df26f183ecd7",
    "actual_complete_file_read_by_each_reviewer": true,
    "independent_internal_ai_reviewers": 2,
    "proof_review": "No required mathematical revisions",
    "adversarial_review": "No required mathematical revisions",
    "fatal_findings": 0,
    "major_findings": 0,
    "required_minor_findings": 0,
    "source_pdf_and_archives_unchanged": true,
    "external_human_peer_review": false,
    "review_summary": "final-file-review.txt",
    "review_receipt": "final-file-review.json",
    "review_summary_sha256": "faedf3e25be09ac1653583f27caba42cfc6f06fffb746f34ae8cb3b91ee3eb3b",
    "review_receipt_sha256": "bd89d842831539906882e7fe24627ca4a54f19df6f22a5d06f8cc4f031f1e861"
  }
}