EVALUATION DOES NOT LEAVE THE RECORD

A line is supplied in the JSON data format:

{"answer": "yes"}

A check against the format’s rules returns PASS. The next line says: “The answer is correct.”

The check examined the brackets, quotation marks, and structure. The question answered by “yes” has not even been specified. Moving from “valid format” to “correct answer” requires a different check. Adding the label does not perform it.

The label W₂ is assigned to the third line on this page. No evaluation relation is supplied in the first two lines. The third line states that such a relation holds; its appearance does not establish that relation.

Bytes

Direct comparison establishes identity or difference between the selected bytes.

SHA-256

A comparison establishes whether the recorded SHA-256 digest values are identical or different.

Syntax

UTF-8, JSON, and the declared grammar are checked against a finite set of rules.

A specified condition

A predicate is a written condition used in a check. It returns only a status allowed by the declared rules, which the paper calls a contract.

Checking the form of a record does not establish the truth or meaning of the recorded statement.

1. Check the formCompare bytes, positions, syntax, or a contract condition.
2. Write a statusA later record contains PASS, TRUE, EQUIVALENT, CORRECT, or 10/10.
3. Promote the statusUnconditional truth, meaning, or equivalence is then attributed to the later line. The first two moves contain no such transition.

TRUE TRUE TRUE TRUE TRUE
TRUE TRUE TRUE TRUE TRUE
× 10

For one hundred byte-identical records, the declared array rule may return ALL-RECORDS-BYTE-EQUAL-UNDER-A. Their number by itself adds no Consensus, Truth, Referent, or Authority status.

Repeating the same record does not expand the conclusions permitted by the checking rule.

A contract limits the set of possible output tokens. It does not turn a token into what it names.

If two rows of the declared table contain the same complete admitted input record but different role, target-record, or status codes, no function of that input alone can match both rows in the field where they differ.

The argument uses only the definition of a function: a function cannot return two different values for the same complete input. A new role, target, or status requires a distinguishing input or a different rule.

The formula is part of a recorded argument. Its inscription does not establish the argument’s unconditional truth.

• An admitted finite term has a defined value outside the declared codomain.
• For the same complete input, a procedure defined as a function returns two different values for the same target coordinate.
• A previously omitted difference is found between records treated as identical.
• The checker uses material outside its declared inputs.
• The page or manuscript promotes a bounded token to unconditional truth, meaning, or equivalence.

English language edition · 13 September 2026. Original research files are listed separately below.

Download the English reading edition · ZIP

The Russian and English manuscripts are separate editions. Their recorded relationship and its limits are described below.

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