First result · 2026-09-28 09:30 UTC
falsum-ref — ⊥(<ref>): mark a claim dead when its falsifier fires
Not yet counting in evidence decisions. This row remains available for assessment, but does not currently carry a counting evidence result.
- What was measured
- token cost ·
token_delta
How does the wording change tokenizer units for the declared tokenizer population? - Reported result
- -7.5 tokens per declared item
Reported interval: -9.875 to -7.5.Fewer tokens on the named current tokenizers; this is the encoded-length difference, not the proposal decision.
- English comparison
- English comparison not recorded as a structured label
Declared by the submitter; not a certification of equivalent information.
- Tokenizer conditions
- Literal encoding cost on the named current tokenizers; not comprehension.
- Named instruments
cl100k_base,o200k_base,p50k_baseReader population not separately declared.
- Conditions covered
- Separate outcomes retained for all 1 declared conditions
falsum-refAn overall average can hide a weak condition. A condition list is not proof that every form or claim in the proposal was tested.
- Settlement role
- Awaiting independent settlement
An original reports one result. It does not confirm itself.
- Is this result within the cost allowance?
- No numerical allowance is available in this proposal’s current structured evidence declaration. A prose prediction is not silently converted into a bound.
This compares Ainglish minus English with the current declaration, which may differ from the declaration when the result was filed. It checks the headline only: inspect any required per-form and per-tokenizer results too.
- Has the original estimate been independently reproduced?
- Awaiting independent settlement.
An original reports one result. It does not confirm itself.
Reproduction asks whether fresh-input findings agree under the settlement rule. It does not ask whether either value satisfies the cost allowance.
Being within the cost allowance is not a completed prerequisite. Reproducing an original estimate is a separate check, not proof that the allowance is met. Current evidence status, settlement and every declared result still determine readiness.
How can one check pass while the other does not?
For example, an allowance of at most +3 tokens and an original estimate of +3 ask different questions. A replication of −0.5 is within that allowance but may disagree with the original. A replication of +3.25 may reproduce +3 within the settlement tolerance while exceeding the allowance.
These are illustrative numbers, not a new settlement rule. A cost saving is not a comprehension result, and a reproduced premium does not by itself mean a proposal should be adopted or rejected.
Does the overall result hide differences between conditions?
| Condition | Reported difference | Reported interval |
|---|---|---|
falsum-ref | -7.5 | Not recorded |
A missing condition interval is not zero uncertainty. An overall interval cannot substitute for agreement in every load-bearing condition.
Inspect actual inputs and recorded answers
The comparison label is the submitter’s declaration, not a semantic certification. Check that both versions preserve the information needed to answer the same question.
Numbers count only readable inputs attached to this receipt. They are not the experiment’s declared sample size or the number of reader calls.
Showing 1–6 of 24 readable, inline study items, in stored order—not a selection of successes. 0 control items are kept separate.
Each result has its own input pages. Positions across the two studies do not imply matched cases.
Input 1 · subsea-pressure
- English input
- The claim subsea-line-pressure-stable is refuted by the observation named transducer-N44, whose observable delta is: pressure climbed from 118 to 151 bar; replay transducer N44 from 04:10 to 04:25.
- Ainglish input
- subsea-line-pressure-stable ⊥(transducer-N44→pressure climbed from 118 to 151 bar; replay transducer N44 from 04:10 to 04:25)
- Condition
- falsum-ref
Input 2 · runway-friction
- English input
- The claim runway-friction-above-floor is refuted by the observation named friction-cart-Pine, whose observable delta is: the coefficient fell from 0.48 to 0.31; repeat friction-cart Pine on the north wheel track.
- Ainglish input
- runway-friction-above-floor ⊥(friction-cart-Pine→the coefficient fell from 0.48 to 0.31; repeat friction-cart Pine on the north wheel track)
- Condition
- falsum-ref
Input 3 · gene-run
- English input
- The claim sequence-run-contamination-free is refuted by the observation named blank-control-Quartz, whose observable delta is: the blank gained 384 mapped reads; inspect control Quartz in the demultiplexed FASTQ export.
- Ainglish input
- sequence-run-contamination-free ⊥(blank-control-Quartz→the blank gained 384 mapped reads; inspect control Quartz in the demultiplexed FASTQ export)
- Condition
- falsum-ref
Input 4 · bond-ledger
- English input
- The claim bond-ledger-reconciled is refuted by the observation named cashflow-query-Raven, whose observable delta is: scheduled principal exceeds the trustee file by 18000 GBP; rerun cashflow query Raven for series B.
- Ainglish input
- bond-ledger-reconciled ⊥(cashflow-query-Raven→scheduled principal exceeds the trustee file by 18000 GBP; rerun cashflow query Raven for series B)
- Condition
- falsum-ref
Input 5 · avalanche-link
- English input
- The claim beacon-network-complete is refuted by the observation named receiver-Sable, whose observable delta is: beacon A17 is present in raw bursts but absent from the roster; replay receiver Sable interval 07:20-07:35.
- Ainglish input
- beacon-network-complete ⊥(receiver-Sable→beacon A17 is present in raw bursts but absent from the roster; replay receiver Sable interval 07:20-07:35)
- Condition
- falsum-ref
Input 6 · dome-tracking
- English input
- The claim dome-tracking-synchronized is refuted by the observation named encoder-Thorn, whose observable delta is: the dome azimuth trails the telescope by 4.7 degrees; compare encoder Thorn with mount log 62.
- Ainglish input
- dome-tracking-synchronized ⊥(encoder-Thorn→the dome azimuth trails the telescope by 4.7 degrees; compare encoder Thorn with mount log 62)
- Condition
- falsum-ref
Recorded input digest: ea3396ec0dbb584c622129fbba04b5282a3678707507f1ed18bf6a0edababf22
Prompts, reference material and other context can live elsewhere in the specification. Inputs and keys alone do not reconstruct every reader call or establish a fair comparison.
Declared population, method and retained outcomes
- Compared with
- <claim> ⊥(<instrument>→<delta>) versus the registered complete English mapping with identical claim, instrument and load-bearing observable delta
- Tested population
- 24 frozen complete refutation notices across 24 domains; each names a claim, instrument, observed change and executable re-check path
- Unit tested
- one complete claim/instrument/delta refutation notice
- How results combine
- equal item mean per tokenizer, then least-favourable maximum tokenizer mean; retain the single falsum-ref stratum
These are the study author’s declarations. A finding applies to this tested scope; this summary does not establish that another study is comparable.
Absolute arm results, reader-specific results and condition results below are retained values, not a newly pooled analysis. Accuracy arms use fractions from 0 to 1; their difference uses percentage points.
Absolute arm results
Not recorded
Reader or tokenizer results
[
{
"model": "cl100k_base",
"value": -9.875
},
{
"model": "o200k_base",
"value": -8.875
},
{
"model": "p50k_base",
"value": -7.5
}
]
Condition results
[
{
"id": "falsum-ref",
"weight": 1,
"share": 1,
"value": -7.5,
"value_lo": null,
"value_hi": null,
"arms": null,
"resolution_bound": "not_applicable"
}
]
Exact result and immutable specificationExperiment history
Attempt 1c6b880f-369f-46d6-be4a-83c67fd84838
Content 9f6c54ca511ddfc130368cc8c71181c1607ee2ccb48908df0aef4496f15ea926