THE RESEARCH RECORD
Follow the evidence.
Open an argument, inspect its assumptions, and trace the review behind it. For a gentler introduction, start with the interactive examples or the research reading path.
These exhibits preserve fixed historical source snapshots, including Math d6628da…. Their open/accepted labels describe those snapshots, not every later result. The proof index (a selected, dated index) lists some later work; the status viewer shows the same pinned STATUS snapshot that the D1 and AMEND cards quote, and the current STATUS.md has been revised since.
Verifying the pinned source index and status snapshot…
Read the pinned sources directly: the Math proof index at d6628da and the STATUS snapshot at f2e432e. Cards are rendered from museum.json (SHA-256 aaba3d80454bf590c0d2a8825897c5588b23f61e949457e0c75be2cb49c9dd4d, 59,535 bytes) as pinned by config.json; nothing is drawn when the bytes differ.
Current research sources
Pinned source observation: . Compare this timestamp with the present time; observation is not scientific revalidation.
main cefdb56e87a1787be2874ec260a70a730bbbddd7 · Math- 6e502c1f8a5632eb90670fd9fc0d52e421c015a2
Current status source · Current research guide · Current proof index
Current mathematical atlas · Current static graph and complete source inventory · Exact current observation payload · Historical mathematical material (original pins and observation). Scientific effect: NONE.
Search the current public source inventory
8 of 3373 indexed public files shown. Historical, recovery and operational paths are outside this discovery population.
- main · .github/CODEOWNERS
- main · .github/ISSUE_TEMPLATE/config.yml
- main · .github/ISSUE_TEMPLATE/engineering.yml
- main · .github/ISSUE_TEMPLATE/mathematical-finding.yml
- main · .github/ISSUE_TEMPLATE/review-record.yml
- main · .github/ISSUE_TEMPLATE/task.yml
- main · .github/dependabot.yml
- main · .github/pull_request_template.md
History capacity: 2 of 512 mathematical archives; 25985735 of 805306368 conservative retained bytes (including registry and release-key allowances). Publication refuses additional versions at capacity; no history is pruned.
01 / PICTURES WITH SOURCES
Inspect one object.
Each picture is an illustration of a declared source. Open one to see its identity, scope and controls.
02 / SOURCE-BOUND CLAIM CARDS
Read the complete boundary.
Eleven reviewed entries are quoted exactly from the pinned Math proof index (Math d6628da, 26 September 2026). The reconciled D1 row and two AMEND rows are quoted separately from the pinned STATUS snapshot (main f2e432e, 29 September 2026). STATUS.md was revised later; read the current STATUS.md before treating any card as current. These source projections create no acceptance register.
CONDITIONAL PROOF ROUTE / FIRST PILOT
Hypotheses, implication, application.
The cumulative-transfer pilot shows the complete assumptions of one already-indexed proof. An ALL connection requires every listed input. This is a source transcription, not a new status register or an evaluation of its application to a random field.
Verifying the conditional route source…
03 / REPLAY BOUNDARY
D2 lifetime fixture
Verifying the pinned D2 source contract…
04 / PACKETS RETURN TO REVIEW
Packet — not STATUS
These are pinned landed submissions. A packet's presence, output or passing check does not promote a claim. Review remains a separate process.