Evidence Library
Status:[DEF]Definition

Corpus Explorer

Search, Filter, and Inspect All 14 Corpus Artifacts

Executive Summary (Plain English)

An interactive explorer for all 14 documents in the Foundations Audit corpus. Filter by authority tier, program, and public status, and inspect word counts, paragraph counts, and cryptographic hashes.

Evidence Class: Historical Ledger·Scope: Interactive catalog of corpus manuscripts and extracts
Last Audited: 2026-09-18

Claim Boundary & Exclusions Audit

Scope: Interactive catalog of corpus manuscripts and extracts

What Is Claimed (Within Scope)

  • •Interactive filtering across Controlling, Supporting, Planning, and Historical tiers.
  • •Displays short filenames, historical long filenames, byte counts, and SHA-256 digests.

What Is NOT Claimed (Prohibited Inferences)

  • •Corpus extracts represent historical and research records, not unconditioned assertions.

Technical Exposition & Formulation

The corpus comprises 14 primary Word documents (.docx) and their synchronized Markdown extracts (.md), totaling over 5,000 paragraphs of mathematical proofs, countermodels, and research ledgers.

Assumptions & Input Data

  • Data matches CORPUS_CATALOG.json.

Declared Complete Carrier (K3)

The complete corpus catalog.

Verified Corpus Artifact Directory (14 Files)

File IDAuthority TierOriginal FilenameSHA-256 DigestStatus
FA-AUTH-01.docxCONTROLLINGETP_MANUSCRIPT_AUTHORITY_REGISTER_Truth_First_V14_OIRP-Closure_Successor_MS1-Synchronized-Successor-01_CP4R2C-Synchronized-Successor-01.docxebc3e96308...0011ccPublic
FA-SYN-01.docxCONTROLLINGETP_Final_Synthesis_Draft-20_OIRP-S2-CP3S-R_Synchronized_Successor-004_MS1-Synchronized-Successor-01_CP4R2C-Synchronized-Successor-01.docx02a884082f...f608ffPublic
FA-LRT-01.docxCONTROLLINGETP_Local_Relational_Time_Version_59_OIRP-Conditional-Closure_Successor_MS1-Synchronized-Successor-01_CP4R2C-Synchronized-Successor-01.docxa61bfef579...1881f4Public
FA-LRG-01.docxCONTROLLINGETP-Local-Relational-Geometry-Research-Blueprint-v13_OIRP-Closure_Successor_MS1-Synchronized-Successor-01_CP4R2C-Synchronized-Successor-01.docxcc5ceaee0b...d77a27Public
FA-SYN-02.docxPLANNING-ONLYETP_Final_Synthesis_Outline_Truth_First_Paper0_OIRP-Closure_Successor_MS1-Synchronized-Successor-01_CP4R2C-Synchronized-Successor-01.docxb87963b11a...64e394Public
FA-CB-02.docxSUPPORTINGCausal_Bounds_Topology_Controlled_Manuscript_JMP_V9_CPR5-2_Submission_Frozen_Successor-07_OIRP-Closure-Successor_MS1-Synchronized-Successor-01_CP4R2C-Synchronized-Successor-01.docx4391bae99e...9e77d6Public
FA-CB-01.docxHISTORICALCausal_Bounds_Topology_Controlled_Manuscript_JMP_V9_CPR5-2_Submission_Frozen_Successor-07.docxacb065cf26...575df2Restricted
FA-CS-01.docxUNRECONCILEDCausal_Structure_Superposed_Topologies_Submission_OIRP-Closure-Successor_MS1-Synchronized-Successor-01.docx57b05360d0...f87076Restricted
FA-HCOD-02.docxSUPPORTINGHCOD_ETP_PRXQ_V16_CPR5-2_Submission_Frozen_Successor-06_OIRP-Closure-Successor_MS1-Synchronized-Successor-01_CP4R2C-Synchronized-Successor-01.docx4601ab4764...ab00fePublic
FA-HCOD-01.docxHISTORICALHCOD_ETP_PRXQ_V16_CPR5-2_Submission_Frozen_Successor-06.docx50b84b9ec1...a416aaRestricted
FA-QD-PRXQ-01.docxSUPPORTINGQD_Submission_Paper_PRXQ_V13_Truth_First_Layer1_Interface_Successor-02_OIRP-Closure-Successor_MS1-Synchronized-Successor-01_CP4R2C-Synchronized-Successor-01.docxee34578464...507a55Public
FA-QD-PS-01.docxSUPPORTINGQD_Postselection_Tradeoff_Theorem_Report_2_Truth_First_TargetIII_Successor-01_OIRP-Closure-Successor_MS1-Synchronized-Successor-01_CP4R2C-Synchronized-Successor-01.docxd2045192ae...17f058Public
FA-QD-ST-01.docxSUPPORTINGQuantum_Darwinism_Survival_Theorem_Revised2_Truth_First_Layer1_Successor-01_OIRP-Closure-Successor_MS1-Synchronized-Successor-01_CP4R2C-Synchronized-Successor-01.docxbd21de6a65...655aefPublic
OIRP_LEDGER.mdCONTROLLINGOIRP_PROGRAM_MASTER_LEDGER 4(13).md6c2b66e346...6a5c1cPublic

Source Provenance & Verification Hashes

CORPUS_CATALOGCONTROLLING

catalog.json

SHA-256:4915...4915
Corpus Details

Challenge This Claim Ceiling

Identified an unstated carrier or a counterexample? Submit a formal challenge.

Submit a Challenge