Menu

beforeword / mathematics / phases 0–7

Mathematical Records

Kirill Shebetov · English language edition · September 13, 2026

A formula, its written conditions, and its written conclusion remain records.

Read the example Conclusion · Phase 7 PDF
On this page

Where to start

The example below shows how a result depends on stated conditions. The formal analysis then examines a specific calculus—a set of record types and permitted rules—called MRB-0. Phase 7 presents the conclusion. Read phases 0–7 in order to follow the full argument.

Phases 0–7Formal analysis

One expression, two conditions

A worked example using ordinary integer addition. Both cases start with the same expression:

x + 1

Case 1

Added condition
x = 1
Calculation under this condition
1 + 1 = 2

Case 2

Added condition
x = 2
Calculation under this condition
2 + 1 = 3

The conditions are part of the calculation. Without them, x + 1 does not select between the results 2 and 3. Adding a condition expands the written record.

The condition x = 1, the result 2, and this explanation are also written. A correct calculation does not turn the record into what it names. The example illustrates dependence on stated conditions; it is not a proof of the MRB-0 result.

What is being distinguished

The written word mathematics, a formula, and the word theorem are part of a record. Claims about their meaning, truth, or application call for a separate examination: what is written, what reading is proposed, and what supports it. A reading may be justified; an addition is not necessarily an error.

MRB-0 is the calculus specified in the publication. It distinguishes formal records from records of their application; moving to the latter type requires a separately registered ground. The result concerns these types and rules.

tau denotes a checkable mapping between this calculus and another practice under examination. Applying the result requires showing how their rules, types, and dependencies correspond. The series supplies no universal mapping for everything called mathematics.

“MATHEMATICS REFUTED” is the title of the original publication. The title, a written proof, the reading rule, and this explanation remain records. Their presence does not establish the external facts they name. This boundary does not invalidate calculations, formal derivations, or technical results.

Phases 0–7

The phase titles and subtitles are retained from the publication. The links open PDFs from the English language edition dated September 13, 2026.

  1. 00

    MATHEMATICS DID NOT LEAVE THE RECORD

    No Autonomous Export from a Formal Record: The Complete MRB-0 Result and Its Parametric MRB-* Extension.Open PDF · Phase 0
  2. 01

    MATHEMATICS DID NOT LEAVE THE RECORD

    Projection Indistinguishability and the Minimal Added Channel.Open PDF · Phase 1
  3. 02

    A DIFFERENCE MUST HAVE AN ANCESTOR

    Ancestral Separation and the First Selectable Stage.Open PDF · Phase 2
  4. 03

    A CYCLE IS NOT A SOURCE

    The Least-Provenance Theorem for Cyclic Records and the Boundary of Self-Reference.Open PDF · Phase 3
  5. 04

    THE ABSENCE OF A RECORD IS NOT A RECORD OF ABSENCE

    The Maximal-Extension Theorem, Negative Provenance, and the Boundary of Proofs of Absence.Open PDF · Phase 4
  6. 05

    A PROOF DOES NOT PRESENT WHAT IT PROVES

    The Contract-Dependent Proof-Status Theorem and the Boundary of Formal Derivation.Open PDF · Phase 5
  7. 06

    A ROCKET DOES NOT PROVE MATHEMATICS

    The Application-Status Dependence Theorem and the Boundary of the “It Works” Argument.Open PDF · Phase 6
  8. 07

    Title of the original publication · the result’s scope is stated above

    MATHEMATICS REFUTED

    The claim that a record read as mathematical carries autonomous truth, force, significance, or authority ends here · This line is itself a record; it receives no exemption and proves nothing by appearing · “ALL AGREE” DOES NOT SELECT “ALL”.Open PDF · Phase 7
How the formal result depends on its input

Two cases for a deterministic procedure

A distinguishing coordinate is an input that specifies a difference needed for the result. The question in this setup is whether the procedure reads that input.

  1. The procedure reads the distinguishing inputIf the procedure reads an input specifying an interpretation, a bridge, a target, or evidence, the result depends on that input. The marks alone are not sufficient.
  2. The procedure does not read the distinguishing inputThe same complete ReadSet cannot determine two different required target values. A deterministic procedure given that same input cannot correctly return both.
  3. These are the two cases in this setupAdding a word, formula, number, MATCHED, a Bayes factor, unanimity, or a working artifact does not introduce a third case within this argument.

The claim concerns a deterministic procedure and its complete declared ReadSet. It does not, on its own, establish where the model applies beyond those conditions.

MRB-0: model, reading rule, and statuses

The reading rule and the formal result

The public reading rule

The publication assigns REFUTED to the claim that a record retains independent evidentiary authority after the conditions under which it is read have been removed.

This is the reading assigned to the publication title. It is a stated rule for reading, not an MRB-0 checker output or a theorem about everything called mathematics. The rule applies to itself; writing it down does not prove it.

The formal result

MRB-0 separately records a design-and-provenance invariant for inputs admitted by its declared finite calculus. The M/A distinction is specified as an input to the model. The study does not establish it as the uniquely correct way to classify every practice ever called mathematics.

Applying that formal result to a particular practice outside the model requires a checkable mapping tau. The series supplies no universal tau covering everything the word mathematics might name.

The exact fields from the corresponding publication record are retained below. These are declared statuses; displaying them does not run a check.

PUBLIC-KNIFE-STATUS: NOT-THEOREM
PUBLIC-KNIFE-AUTHORITY: NOT-WORLD-CERTIFICATE
PUBLIC-KNIFE-PROOF-EFFECT: NONE
PUBLIC-CUT-BASIS: SUPPLIED-SELF-APPLYING-READING-CONTRACT
PUBLIC-CUT-DERIVATION-FROM-MRB-0: NOT-CLAIMED
COMPANION-PUBLIC-CUT: NO-RECORD-READ-AS-MATHEMATICAL-ADMITTED-AS-AUTONOMOUS-EXPORT-CONSTRUCTOR
PUBLIC-CUT-EXPORT-DIMENSIONS: TRUTH-FORCE-SIGNIFICANCE-AUTHORITY-APPLICATION-PURPOSE
MATHEMATICS-WORLD-FALSITY-CLAIM: NONE
MATHEMATICS-WORLD-POWERLESSNESS-CLAIM: NONE
MATHEMATICS-WORLD-INSIGNIFICANCE-CLAIM: NONE
MATHEMATICS-EXISTENCE-OR-NONEXISTENCE-CLAIM: NONE
SELF-APPLICATION: NO-EXEMPTION
APPLICATION-TO-UNBOUNDED-MATHEMATICS: APPLICABILITY-UNSPECIFIED-WITHOUT-TAU
What the publication records about novelty

Novelty statuses

The phase materials contain the following fields. Status records, comparison maps, and query logs can be checked under their respective protocols. The presence of the word “novelty” does not establish either novelty or its absence.

PHASE-0  novelty_status: NOT EVALUATED
PHASE-1  novelty_status: INDETERMINATE
PHASE-2–7  NOVELTY-STATUS: NOT-ASSESSED
Conditions for responding to the public challenge

Public challenge

SHOW MATHEMATICS.

Not only the word mathematics.
Not only a number, a formula, or the word theorem.
Not only a record of agreement, flight, or unanimity.

Specify the relation or input under which those marks are read as bearing on a referent, external truth, application, or purpose.

If that transition requires a separate condition, the result still depends on that condition. The marks alone are not sufficient.

If the relation is claimed to be internal to the record or constitutive of it, provide an independent criterion for that reading. Such a response must be considered under the stated condition for overturning the claim; calling it a record is not enough to dismiss it.

If neither the transition nor such a criterion is supplied, the word truth does not replace them.

A written criterion, its explanation, and a written response also fall within this examination. A supported response must be assessed under the stated conditions; calling it a “record” is not grounds for automatically dismissing it.

Downloads

English language edition · September 13, 2026

Based on English Reading Companion 7.2.4. The eight phase links above open the PDFs from this edition.

Complete archive · EnglishZIP · 6.7 MB

Russian Source Publication 7.2.1

Complete archive · RussianZIP · 73.5 MB
English Reading Companion 7.2.4
Complete archive · English Reading Companion 7.2.4ZIP · 45.2 MB
Original releases: checksums and records

The original releases’ quality-check record reports BYTE-IDENTICAL for the listed file pairs. That report and the checksums below do not cover the English language edition dated September 13, 2026. Displaying the report does not repeat the comparison.

SHA-256 checksums for the original web files

English Reading Companion 7.2.4

Detached release anchorJSON · 599 bytes

SEPARATE READING COMPANION · NOT A REPLACEMENT · 45,154,376 BYTES

ZIP SHA-256 · 20c06e20abca31316ff0315e64f9fce8a7b176719aa10a9f086a2e29a3e9f6f1 ANCHOR SHA-256 · a2834d87c6c77adc0e6a2c041869f985870ecc6b880c39e1f033bd46b689468a

Russian Source Publication 7.2.1

Detached release anchorJSON · 749 bytes

SOURCE · NOT REBUILT · 73,496,067 BYTES

ZIP SHA-256 · 01afb84d74d1e75e5fda962526f5abf7abec63e5ab21c5aeeee2c6831c067545 ANCHOR SHA-256 · 73149811826e9dbeb55624da4a5bb5f1fe6bbb2b312667f476168956b43f867d

The Phase 1 source-comparison layer cannot be reproduced from the original source ZIP alone: referenced source folders are missing. The Russian Phase 0 manuscript and formal specification are available as source Markdown files on the Russian page; the source archive contains no separate PDF.

Reproduction limits in the supplied files

Limits of the supplied files

  • APPLICATION-TO-UNBOUNDED-MATHEMATICS: APPLICABILITY-UNSPECIFIED-WITHOUT-TAU
  • The Phase 1 comparison layer refers to SOURCE_MANIFEST.sha256, sources/, extracted/, and hilbert_1926_ocr/. Those paths are missing from the original complete package, so that comparison cannot be reproduced from its ZIP alone.
  • The Russian Phase 0 source archive contains no release/ directory and provides no separate PDF for reading. Its manuscript and specification are available byte-for-byte as Markdown downloads on the Russian page. The English companion does not add a PDF to the original source archive.
  • LICENSE-GRANT-IN-THIS-PACKAGE: NONE. This line states that the supplied package contains no separate file granting a license. It does not determine the licensing terms for publication elsewhere.
  • Checker results, including PASS, remain outputs produced under the checkers’ declared rules. This page does not run those checkers or present the external facts their outputs name.
How the Russian and English editions are related

The source and the English editions

The line MATHEMATICS REFUTED and the Russian line МАТЕМАТИКА ОПРОВЕРГНУТА are distinct written records. This page records an editorial correspondence between them. The mapping does not establish semantic identity, a shared referent, a truth-value, or authority.

Russian Source Publication 7.2.1 remains the source. English Reading Companion 7.2.4 is a separate English release. The language edition dated September 13, 2026 revises the companion’s English prose; both original archives are preserved separately.

Citation

Original publication title: “MATHEMATICS REFUTED”.

Shebetov, K. (2026). Beforeword / Mathematics / Phases 0–7 (English language edition, 13 September 2026; based on English Reading Companion 7.2.4 and Source Publication 7.2.1). beforeword. https://beforeword.xyz/research/mathematics-phases-0-7/en/

This is a suggested citation for this edition. Its presence does not authenticate the details it contains.

Related research

Research FULL STOP · The Boundary of a Presented Record The record comes first. Reading follows. Later material does not become literal content of the earlier record merely because it was read from that record. research · 2026 Evaluation Does Not Leave the Record The word “evaluation” does not establish the relation it describes. All research

A mathematical record remains a record: from the general boundary to P versus NP