{
  "title": "Shared Clocks and Historical Targets",
  "version": "0.2",
  "date": "2026-11-09",
  "type": "explanatory integration appendix",
  "site_reading_copy": 1,
  "slug": "shared-clocks-historical-targets",
  "proposed_order": 9.9,
  "placement": "MIND common-time qualification and Acquirable historical-target example. Synthesis/application, not standalone new theory.",
  "original_byline": "B-Theory research programme",
  "source_sha256": "2cc36587772a48453b6cbd15824bb8010e5e0c378861d83c33729208b767687a",
  "latex_sha256": "348483b383415545798d24463d64e2b466921be49fa896e7548ca5cc28e6e17d",
  "pdf_sha256": "3cc9b0ddd04e02a09cd7cff63cbf9697c5a5c87a0b88fd63383f21e3b9321e8f",
  "approved_public_archive_sha256": "97182aac7a4e5f812e592337ed657b0d940026dfeedafcd7fe8c1364bc62a248",
  "approved_public_archive_bytes": 272212,
  "archive_entries": 21,
  "manifest_payload_hashes_verified": 19,
  "checksum_entries_verified": 20,
  "reader_html_sha256": "df3787795d61b8ceb4535123f95e69c1f9fe4c90215510825d10f4d66beb3766",
  "project_page_sha256": "b51426df7177d4cc09dd480f03075b89b135aa531dbd423d8808071e020a5ac6",
  "all_original_public_files_byte_preserved": true,
  "status": "Prepared for central integration. Publication and browser QA are recorded separately.",
  "frozen_source_status": "Original source/package not-uploaded wording is retained as historical release metadata.",
  "review": {
    "mathematical": "PASS against exact actual source",
    "hostile": "PASS against exact actual source; recorded correction and closure retained in sanitized summary",
    "type": "Internal AI review; not external peer review or formal certification",
    "exclusions": [
      "reviewers did not certify executable reproduction",
      "reviewers did not certify PDF layout",
      "historical priority not established"
    ]
  },
  "reader": {
    "complete_prose": true,
    "source_prose_blocks_verified": 47,
    "mathematical_expressions": 107,
    "exact_source_tex_annotations": 107,
    "section_subsection_headings": 10,
    "references": 10,
    "presentation_repairs": {
      "named_operators": [
        "Ham",
        "max",
        "max"
      ],
      "exists_operator": 1,
      "opening_fences": 1,
      "cases_final_row_restored": "v,&a=1.",
      "hidden_final_row_css_removed": true,
      "byline_wrap": true
    },
    "mathjax_or_script_dependency": false
  },
  "reproduction": {
    "all_runs": "PASS",
    "runs": [
      {
        "iteration": 1,
        "checker": "checks.py",
        "status": "PASS",
        "output_equal_original": true,
        "sha256": "4579032425a928c60d188d31b1fa9dba100e2a98c1233befdf47de9a9a57312c",
        "byte_equal_original": true
      },
      {
        "iteration": 2,
        "checker": "checks.py",
        "status": "PASS",
        "output_equal_original": true,
        "sha256": "139718597f4282a474bd286e6b0ceae867fff6883b493a54abad155f0f2ebd9f",
        "byte_equal_original": true
      },
      {
        "iteration": 3,
        "checker": "checks.py",
        "status": "PASS",
        "output_equal_original": true,
        "sha256": "fc3f6fb7953d2e6c7db4a3627424772a4e77287898baaa915bb49da1285e9c42",
        "byte_equal_original": true
      },
      {
        "iteration": 3,
        "checker": "independent_checks.py",
        "status": "PASS",
        "output_equal_original": true,
        "sha256": "5565090945060fce940ba9d70c970684889c16b4d67efcc32b4fd221011805e4",
        "byte_equal_original": true
      }
    ],
    "manifest_payload_hashes_verified": 19,
    "checksum_entries_verified": 20,
    "scope": "Fresh isolated copies of the three main checkers and the independent iteration-3 checker; finite corroboration, not proof or priority certification."
  },
  "pdf_inspection": {
    "pages": 5,
    "all_pages_visually_inspected": true,
    "result": "No clipping, overlap or missing glyphs observed",
    "tagged": false
  },
  "browser_qa": {
    "status": "PASS in central local preview",
    "desktop_width": 1247,
    "mobile_width": 390,
    "mobile_document_width": 375,
    "case_rows_visible": 2,
    "named_operator_tokens_visible": [
      "Ham",
      "max"
    ],
    "existential_operator_visible": true,
    "whole_document_overflow": false,
    "MIND_project_crosslink": "Visually checked",
    "viewport_reset": true,
    "deployment_verification": "Separate from local QA"
  },
  "privacy_audit": {
    "public_text_files_scanned": 24,
    "text_local_path_or_raw_identifier_matches": 0,
    "pdf_text_metadata_scanned": true,
    "archive_entries_allowlisted": 21,
    "archive_build_or_private_members": 0,
    "patterns": "Local workstation paths, Codex/internal file URLs, UUID-shaped raw review IDs, credential/private-key markers; this is a bounded automated scan."
  },
  "license": "No additional reuse license is granted by this release.",
  "downloads": {
    "AI_REVIEW_AND_RESPONSES.md": {
      "sha256": "59ddb553fd8366e16d1d23d3837ea846991a0f5772586af0cb9ba8f33edf4a91",
      "bytes": 2705
    },
    "appendix.css": {
      "sha256": "3ee51c71ee4ae705f3964222d78cb75e8a41bf5f50640703c142256f98d0e21e",
      "bytes": 8724
    },
    "appendix.md": {
      "sha256": "2cc36587772a48453b6cbd15824bb8010e5e0c378861d83c33729208b767687a",
      "bytes": 16726
    },
    "appendix.tex": {
      "sha256": "348483b383415545798d24463d64e2b466921be49fa896e7548ca5cc28e6e17d",
      "bytes": 17690
    },
    "build_pdf.py": {
      "sha256": "30d0f2db77bc7c77d4461019ed387919155187b1511ab76dc9e34c1cf0a14fbf",
      "bytes": 3133
    },
    "INCLUSION_ASSESSMENT.md": {
      "sha256": "18cf7eb86213b519895af638dcc2441c4388d22fe378cedb7de1777194541948",
      "bytes": 6987
    },
    "ORIGINAL_INPUT_HASHES.json": {
      "sha256": "2cd27c778f1f50fdb2df8b33f37b4036cca7c12e878d2f9a38619d1ee348b27a",
      "bytes": 1513
    },
    "public-package-v0.2.zip": {
      "sha256": "97182aac7a4e5f812e592337ed657b0d940026dfeedafcd7fe8c1364bc62a248",
      "bytes": 272212
    },
    "README.md": {
      "sha256": "6185076f9033637acff35d81a410811862f3d817eb910a70647d49b6ed99dfe9",
      "bytes": 2280
    },
    "RELEASE_MANIFEST.json": {
      "sha256": "f0912e517ec6f8405dc86e46f9102732f878a940cd2501035935d197b4d34789",
      "bytes": 5460
    },
    "REPRODUCTION_RESULTS.json": {
      "sha256": "7be95262487fb364dfc66c3bdf42792606133b50b6e5f5d5f0093889a13369cd",
      "bytes": 1287
    },
    "SHA256SUMS.txt": {
      "sha256": "0fb88da3593fdfb4c40c93c708b9a9088cec1ce00a553ae0ca4115fdf890a338",
      "bytes": 1898
    },
    "shared-clocks-historical-targets-v0.2.pdf": {
      "sha256": "3cc9b0ddd04e02a09cd7cff63cbf9697c5a5c87a0b88fd63383f21e3b9321e8f",
      "bytes": 243498
    },
    "site-qa.json": {
      "sha256": "cf1fc68035d4dc5de3235b096440b3b886b016504606afafa03eb208b555b095",
      "bytes": 5131
    },
    "site-reproduction.json": {
      "sha256": "e6bbe2f5a6daab03fe6bc37e5d96ff25737b2634e2d634966780d11b06348012",
      "bytes": 1309
    },
    "SOURCE_PROOF_LEDGER.md": {
      "sha256": "6b261455a560efc3e091b498d9c4bb1778cc4fbaf03794ee60567304fe05a7ed",
      "bytes": 1636
    },
    "SOURCE_SNAPSHOTS.json": {
      "sha256": "f8bdb5940a0052d1b609176a47f50a11c9ab900f8e5542a0206a4a7982dec7b3",
      "bytes": 1931
    },
    "reproduce/iteration_01/checks.json": {
      "sha256": "4579032425a928c60d188d31b1fa9dba100e2a98c1233befdf47de9a9a57312c",
      "bytes": 4364
    },
    "reproduce/iteration_01/checks.py": {
      "sha256": "b60fb48fcd5e50c0e6ef968cb49e50fc2aa30ce450c6761660e607f398a4c300",
      "bytes": 11242
    },
    "reproduce/iteration_02/checks.json": {
      "sha256": "139718597f4282a474bd286e6b0ceae867fff6883b493a54abad155f0f2ebd9f",
      "bytes": 10033
    },
    "reproduce/iteration_02/checks.py": {
      "sha256": "19f19b0666f7e5c01e49b98df259b1cc8cd949f79cdc3a17c2910ccd0fa61d69",
      "bytes": 15367
    },
    "reproduce/iteration_03/checks.json": {
      "sha256": "fc3f6fb7953d2e6c7db4a3627424772a4e77287898baaa915bb49da1285e9c42",
      "bytes": 11752
    },
    "reproduce/iteration_03/checks.py": {
      "sha256": "e8408c5e154f22a00773674064bea2aaf6973b0b45d88506d83b5956f2da0d7d",
      "bytes": 4761
    },
    "reproduce/iteration_03/independent_checks.py": {
      "sha256": "450f9e4ff08bbe7629d0de9402d9a99b7e0a2ea592ea5bea78a23b4d17235d90",
      "bytes": 3466
    },
    "reproduce/iteration_03/independent_results.json": {
      "sha256": "5565090945060fce940ba9d70c970684889c16b4d67efcc32b4fd221011805e4",
      "bytes": 7792
    }
  }
}