The Observation Theory EncyclopediaFrom TSKAboutBy kindBy chapterBy Lean fileLedgerProvenance

drift concept

DefinitionA change over time in what a consumer reads or in the data it reads. Chapter 8 tests a drift claim against its null and finds half of it was noise.
ExampleA read operator measured at rank one moved to correlation 0.667 with its earlier self, against a null of 0.933.
BookData Mining as Observation, draft 0.2, commit f3914f0; entry id drift, kind concept.
Statusrefutes or corrects [refuted]; refutes or corrects [void]. Corrections: 2 item(s), see below.
Defining equation

Book equation 13.1.

Assumptions and scope
  • A drift is a change over time in what a consumer reads or in the data it reads, and its damage is the read distortion of the drift, so it is consumer-relative. The same drift is read as its full squared size by one consumer and as nothing by another, and a drift confined to the nuisance is read as zero however large.
  • The operator-drift claim was tested against a paired null and half of it was noise. The rank-one drift held in fourteen of sixteen cells on one model, and the refresh intervention derived from it was refuted, which the ledger carries.
Prior artnone recorded
Evidencegeometric-observation/claims/LEDGER.md:36, geometric-observation/claims/LEDGER.md:48, readscope/CALIBRATION.md:600-660, readscope/calibration/records/c11c-operator-drift.json, lean/DataMiningAsObservation/Drift.lean
Reviewednot yet reviewed; generated 2026-09-10 from records at the commits on the provenance page.
timestale for this readermeasuredre-measured
The read operator moving over time, so an old certificate no longer describes the reader.

Equation

Book equation 13.1.

\[\mathrm{FC}=\Pr\big[W\ \text{refutes}\ \big|\ \mathcal C_t\ \text{clears}\big],\qquad d_O(\Delta)=\operatorname{tr}\big(P_C\,M_{\mathrm{drift}}(\Delta)\big),\qquad M_{\mathrm{drift}}(\Delta)=\mathbb E\big[\delta_\Delta\delta_\Delta^{\top}\big].\]

Conditions

Conditions are curated in entries.toml rather than read from a record.

Ledger

First stated

Volume 14, chapter 19, geometric-observation/chapters/ch19_the_certificate_that_ages.md, DOI 10.5281/zenodo.21776291, and the operator-drift record in readscope, readscope/calibration/records/c11c-operator-drift.json.

Measurements

Where the book states it Numbers, as the book’s sources table records them Source
chapter 11 section 11.9 drift at rank one 0.667 vs null 0.933, sixteen cells readscope/CALIBRATION.md:600-660 F-24; readscope/calibration/records/c11c-operator-drift.json

Failures and corrections

Invariance envelope

none declared

Machine checked

lean/DataMiningAsObservation/Drift.lean, theorems damage_rank_one, same_drift_two_consumers, damage_eq_zero_of_nuisance, damage_nonneg, at observation-data-mining f3914f0; what the check covers is stated in the book’s appendix C.

Used in

Data Mining as Observation chapters 2, 8, 11, 13, 14.

Related

coherence time; freshness; certificate; read distortion.

See also

Book equations stated beside the entry’s terms, not defining it: 0.10.

Sources-table rows that share a record with the entry without naming it: chapter 8 section 8.4, chapter 11 section 11.9, chapter 13 section 13.2.

Status

Generated 2026-09-10 by encyclopedia/generate.py; book at observation-data-mining f3914f0; the commit of every record is listed in the encyclopedia’s provenance.

← dot productearly stopping →