{
  "title": "When Delayed Threshold Sensing Cannot Help: An Exact Scalar Acquisition-Timing Addendum",
  "manuscript_version": "1.1",
  "manuscript_date": "2026-11-09",
  "site_reading_copy": 1,
  "status": "Prepared for central integration; publication is recorded separately.",
  "source_sha256": "3aff3b12f899fc68f02dc1a84a3a3dc40d9ad37881a55ed119c8a6b2d1890b3b",
  "pdf_sha256": "a286589465274ebf120c01cf3b864e9a1cb77ca2117b8d4e5472be5e52b4c9c5",
  "original_public_archive_sha256": "35ba1fcc83640e4e3cc49c0db6ea69508e32a37ca142b9d434047c7cc529e5d5",
  "html_sha256": "440e8bdd66524414c655757bfa775c0f2afacdbb95a788b4092f3f551489d5a7",
  "pdf_pages": 7,
  "byline": "Prepared for Brian Theory / AI-assisted mathematical development and internal review",
  "source_and_pdf_unchanged": true,
  "original_public_archive_unchanged": true,
  "archive_members": 14,
  "manifest_payload_files_verified": 13,
  "reader": {
    "complete_manuscript": true,
    "source_math_expressions": 142,
    "html_math_expressions": 142,
    "exact_source_tex_annotations": 142,
    "numbered_sections": 6,
    "numbered_results": 5,
    "proofs": 5,
    "references": 9,
    "cases_dimensions": [
      3,
      2
    ],
    "presentation_repairs": {
      "named_operators": 7,
      "bare_union": 0,
      "opening_fences": 1,
      "negations": 0,
      "function_applications": 7,
      "restored_cases_row": "\\lceil\\log_2 K\\rceil,&\\text{otherwise}.",
      "roman_probe_subscripts": 11,
      "responsive_author_line": "Allow the unchanged long source byline to wrap on narrow screens; no source text changed."
    },
    "prose_preserved_from_converter": true,
    "specialist_screen_reader_testing": "not performed",
    "pdf_tagged": false
  },
  "review_scope": "Independent internal AI proof and hostile reviews closed their supported objections to this exact source; not external peer review or formal certification.",
  "priority": "Unresolved; bounded source search, with Hu/Tucker full text not inspected.",
  "related_companion": "https://www.b-theory.com/manuscripts-html/diagnosing-while-repairing/",
  "historical_status_note": "Unchanged source and archive retain older unpublished wording and missing companion location; site framing supplies current context.",
  "fresh_exact_checks": {
    "original_checker": {
      "status": "PASS",
      "arithmetic": "exact fractions.Fraction",
      "original_geometry": {
        "action_words_through_H6": 1092,
        "robust_different_word_pairs": 7182,
        "first_difference_counts": {
          "1": 5930,
          "2": 982,
          "3": 270
        },
        "violations": 0,
        "scope": "finite corroboration; all-horizon proof in report"
      },
      "extended_instance": {
        "inputs": [
          "1/2",
          "-1"
        ],
        "thresholds": [
          "1"
        ],
        "initial_intervals": [
          [
            "21/20",
            "23/20"
          ],
          [
            "37/20",
            "39/20"
          ]
        ],
        "checkpoint1_intervals": [
          [
            "29/40",
            "7/8"
          ],
          [
            "9/8",
            "51/40"
          ]
        ],
        "first_forecast": 1,
        "second_forecasts_by_query_answer": [
          0,
          1
        ],
        "online_minimum_total_probes": 1,
        "batch_budget": "infinity",
        "exact_DP_states": 8
      },
      "script_sha256": "95f1bf07618da88081c52e2021bae1e1e35d7e987d1f591ea690886cc6dbaa45",
      "runtime_seconds": 0.380174
    },
    "independent_checker": {
      "closed_prefix_endpoint_cases": 13284,
      "extended_instance_half_open_intervals": {
        "left_checkpoint1": [
          "29/40",
          "7/8"
        ],
        "left_checkpoint2": [
          "-3/16",
          "-1/80"
        ],
        "right_checkpoint1": [
          "9/8",
          "51/40"
        ],
        "right_checkpoint2": [
          "1/80",
          "3/16"
        ]
      },
      "integer_representations": 10,
      "ordered_tree_DP_instances": 21845,
      "scope": "Finite exact corroboration; universal claims depend on analytical proofs.",
      "script_sha256": "98acfe4ac9002628e2f25fc3bc311aa968af5f3b6d2c91e6c0d60af7b013ef70",
      "status": "PASS"
    },
    "scope": "Fresh execution in copies; finite exact corroboration, not a substitute for the analytical universal proofs."
  },
  "privacy_audit": {
    "archive_flat_members": true,
    "public_text_files_scanned": [
      "checks.py",
      "checks_results.json",
      "independent_checks.py",
      "independent_checks_results.json",
      "layout_qa.json",
      "manuscript.css",
      "manuscript.tex",
      "proof_ledger.json",
      "provenance.json",
      "publication_manifest.json",
      "README.txt",
      "responses.txt",
      "review_summary.txt",
      "site-reproduction.json",
      "sources.txt",
      "verify_package.py"
    ],
    "local_path_or_internal_identifier_matches": 0,
    "pdf_text_and_metadata_scanned": true
  },
  "downloads": {
    "checks.py": {
      "sha256": "95f1bf07618da88081c52e2021bae1e1e35d7e987d1f591ea690886cc6dbaa45",
      "bytes": 3915
    },
    "checks_results.json": {
      "sha256": "d974dacdd8aa1949eb2786e13507f49559798bc0401c11801776a83e0c814d64",
      "bytes": 1086
    },
    "independent_checks.py": {
      "sha256": "98acfe4ac9002628e2f25fc3bc311aa968af5f3b6d2c91e6c0d60af7b013ef70",
      "bytes": 5323
    },
    "independent_checks_results.json": {
      "sha256": "24c50eddea250a5a71ac0f952a85beedb067191700fcd7aaa9c398f956d4c302",
      "bytes": 629
    },
    "layout_qa.json": {
      "sha256": "3fd9064b624829c21c738c500243ece258fb692adaa07056b50a271d1e57b0f8",
      "bytes": 1483
    },
    "manuscript.css": {
      "sha256": "fba960d1a66a1874a676b7fe7660a2ee6a9eb559e28f4ff491b54686b6d14713",
      "bytes": 9967
    },
    "manuscript.pdf": {
      "sha256": "a286589465274ebf120c01cf3b864e9a1cb77ca2117b8d4e5472be5e52b4c9c5",
      "bytes": 258273
    },
    "manuscript.tex": {
      "sha256": "3aff3b12f899fc68f02dc1a84a3a3dc40d9ad37881a55ed119c8a6b2d1890b3b",
      "bytes": 21864
    },
    "proof_ledger.json": {
      "sha256": "fe8bf9383b7e06b27c8ec8bc776adbe35f1c5cb2ad4005670475a6f7f6fa5c0e",
      "bytes": 5074
    },
    "public-package-v1.1.zip": {
      "sha256": "35ba1fcc83640e4e3cc49c0db6ea69508e32a37ca142b9d434047c7cc529e5d5",
      "bytes": 224303
    },
    "publication_manifest.json": {
      "sha256": "7704d863290d40e977caa1cd9f386d11f76c69ac772394d9240e09ed4d8fa2cf",
      "bytes": 4775
    },
    "README.txt": {
      "sha256": "426e293af760d9ebb63d6ec757bf77c6c713ed188a374a5206209f83dd60559b",
      "bytes": 4140
    },
    "responses.txt": {
      "sha256": "b41057e0852be6434a62461cb028495be71550c3e3da1e96f4fd134cf101200f",
      "bytes": 3202
    },
    "review_summary.txt": {
      "sha256": "c2c3d7b0c8f437feedfddc32fd555a62cc2a9447c3caecc650d9be8e96b830d1",
      "bytes": 2859
    },
    "site-reproduction.json": {
      "sha256": "e387c1799470b9ae39c3a1ef117d57a89eb517e207750c862bdb7da146bc4a0f",
      "bytes": 2050
    },
    "sources.txt": {
      "sha256": "9bcdbc362f43f2e288475e9c37787442d66dd1c10be88aea11a1d01daf3dd909",
      "bytes": 5798
    },
    "verify_package.py": {
      "sha256": "fab06b6aba97ba9ae37a4087b4839fe642e0a370bac307f48f5bf473e5beb3b9",
      "bytes": 910
    }
  },
  "integration_validation": {
    "prose_comparison": "PASS: 2634 source/reader alphabetic tokens including MATH placeholders, exact order after documented command/citation/heading/punctuation normalization.",
    "source_tex_annotations_exact": true,
    "source_math_count": 142,
    "reader_math_count": 142,
    "results": 5,
    "proofs": 5,
    "numbered_sections": 6,
    "bibliography_entries": 9,
    "cases_rows": 3,
    "cases_columns": 2,
    "unchanged_original_payload_files": 14,
    "fresh_original_checks_equal_except_runtime": true,
    "fresh_independent_checks_equal": true,
    "local_links_resolve_against_staging_and_reference_checkout": true,
    "unique_ids_and_fragment_links": true,
    "pdf_pages_rendered_and_visually_inspected": 7,
    "pdf_layout": "All seven pages inspected at 100 dpi; no clipping, overlap, blank omission or visibly broken equations. The three-case formula is complete. One harmless underfull bibliography line was already recorded by production.",
    "pdf_author_metadata": "",
    "pdf_encrypted": false,
    "pdf_forms": false,
    "pdf_javascript": false,
    "browser_rendering": "Rendered desktop and mobile site checks remain outstanding at preparation time; site publication checks are recorded separately.",
    "astro_check_and_build": "Combined site check and build are recorded separately.",
    "screen_reader_testing": "Not performed; no conformance claim."
  },
  "project_markdown_sha256": "a16d1c05b769fc0c75efdeb45b0088cce45ee621d303a8bd42a1967019ee0c34"
}