Skip to content
Shadow Theory

Where a source becomes
a recorded history.

The Atlas connects equilibrium, event histories and physical records to the wider source-to-readout architecture. The two construction routes below sit alongside equilibrium uniqueness, conditional preparation, quantitative nonequilibrium records and the analytic tools for retained sources.

The source / readout distinction supplies the question.

Each constitution supplies additional dynamics and preparation. The dashed context connection makes no derivation of these laws from incompleteness.

This is a schematic of the arguments, with no numerical or experimental claim. The solid links show steps inside a declared constitution. The two branches meet at questions about outputs and faithful records; their axioms and actual path spaces remain distinct.

Solid · Mathematical dependence

A source construction, theorem or comparison supplies an input or consequence under named hypotheses. Read its domain, horizon, output space and error estimate in the node details.

Dashed · Conceptual relationship

A connection identifies context or a related question. It transfers no theorem. In particular, material records still need the Atlas’s wider objectivity and reconstruction criteria before they serve as geometric input.

Why the Born measure?

Control consistency singles out a regular density assignment using local scalar controls and fixed interactions. Preparation returns single out an arbitrary Borel law at an engineered reference preparation. They answer different statistical questions.

What survives beyond equilibrium?

Two finite record models bound both the joint calibrated symbolic history and failure to retain an actual earlier label. Their Hamiltonians, input domains and numerical constants stay separate.

Prepare, record, transport and estimate

These papers examine the complete retained experiment from four directions. Preparation keeps the archive, resetting keeps the correlations, transport keeps the original law, and current estimates keep the quantum source and its feedback.

Conditional Gaussian preparation →

A smooth reversible construction prepares a writer conditionally on its retained archive under physical score and moment assumptions. Its instrument result uses a separate receiver and covers one admitted unknown input.

Repeated position records →

A finite protocol writes and preserves distinct receiver records through copying, calibrated wave reset and later operations. The whole-bank law and retained correlations remain part of the theorem.

Deterministic flows →

Complete currents select reference-compatible histories under explicit regularity and boundary assumptions. Reweighting those paths transports admitted original laws, including applications with singular interactions and retained sources.

Complete-current estimates →

Coherent response estimates retain source motion, interference, reciprocal feedback and continua. The coupled Coulomb electron and oscillator example gives quantitative current bounds for its declared parent.

The links describe conditional interfaces. A prepared writer does not establish the repeated-record bank premises; wave reset does not renew actual independence; current comparison needs the stated geometry and flow before it controls a history probability. Portfolio paper labels P1 to P4 are distinct from the pilot interaction axioms with those names.

Quantum Measurement · Equilibrium, events and records

Inspect in the interactive Atlas ↗

Equilibrium, conditional preparation, deterministic histories and faithful physical records define the expanded measurement programme.

The October papers extend the September monograph and companions. Control consistency and engineered exact returns characterize equilibrium under distinct statistical premises. Hybrid and equilibrium constructions control complete Bell paths and retained records, while two effective models cover restricted nonequilibrium laws. The 9 October portfolio adds conditional Gaussian preparation with archives, repeated position records and calibrated reset, deterministic flows with singular interactions, and complete-current estimates for coherent sources. Each result keeps its own preparation, analytic and control requirements.

Assumptions and domain
Declared source dynamics, physical constitution and complete preparation
What follows
Actual paths, Born-compatible outputs and retained material histories within each constitution
Scope
Each result retains its own model, statistical premises, horizon and observable. Independent assessment and material realization are separate research steps.

Source dynamics and individual currents

Inspect in the interactive Atlas ↗

A coherent source supplies individual currents. A population continuity equation still leaves the actual event law undetermined.

In the pilot construction a primitive canonical bond action and its binary interaction premises fix edge torques. Conservative exporters turn the individual currents into signed packets. Net population change alone allows balanced surplus traffic and different waiting laws; those are resolved only by the additional physical mechanisms and initial ensemble.

Assumptions and domain
Fixed ordinary configuration graph, coherent amplitudes and an admitted Hermitian programme
What follows
Weights w and individual currents J with a continuity equation
Scope
The bond-action and interaction assumptions belong to the pilot constitution; they are not consequences of source/readout incompleteness.

Pilot medium · Declared interactions

Inspect in the interactive Atlas ↗

Signed export, independently prepared spatial contacts, finite recombination and residence tracking supply the Bell limit.

Under P1–P4, deterministic contacts are drawn from the initial spatial gas rather than resampled during the run. Recombination suppresses opposite-packet surplus. Calibrated carrier populations supply the residence denominator. Finite members retain memory and controlled deviations; the theorem compares complete tagged paths in unchanged physical time on a fixed graph and horizon.

Assumptions and domain
P1–P4; fixed graph and programme; bounded-variation currents; calibrated census; independent finite gas; retained resource budgets
What follows
A finite material process whose tagged-path law approaches the minimal Bell process
Scope
The finite device has controlled deviations from the Bell law. The smooth contact-module result does not realize the entire hybrid source with asynchronous exports.

The controlled Bell event law

Inspect in the interactive Atlas ↗

The positive current determines event direction; residence weight determines the rate; the theorem also fixes the complete conditional timing law.

Complete path convergence controls every measurable common stopped output, including reversals and null intervals. For an ideal history event of probability p>0, ΔN<p ensures a finite-model conditioning event and an error at most min(1,2ΔN/p). This is stronger than matching endpoints and does not claim uniform convergence on arbitrarily rare histories.

Assumptions and domain
Pilot-medium hypotheses and tag law ν dominated by the initial coherent weight
What follows
Complete tagged jumps and natural conditional holding/transition laws

Massive configuration · Guidance and equilibrium

Inspect in the interactive Atlas ↗

A separate continuum constitution uses Schrödinger dynamics, kinetic-momentum guidance and complete initial equilibrium.

All source contacts, recorders, fuel, reset receivers and the retained controller use one massive, semibounded material inventory. Actual coordinates move continuously; internal spin labels remain in the wave. Smooth traps write and protect records. A finite autonomous controller has stated output and archive-flux errors. The construction derives neither discrete Bell jumps nor a Bell waiting law.

Assumptions and domain
Universal spinor Schrödinger inventory; the stated guidance law; complete initial |Ψ|² equilibrium and finite independent ready stock
What follows
Conservative actual motion, pointer outputs and retained material histories
Scope
The guidance and equilibrium premises are not derived from incompleteness. Equivariant rivals can keep reliable records while having mutually singular microscopic paths.

Born statistics and preparation

Inspect in the interactive Atlas ↗

Two uniqueness theorems characterize Born equilibrium; two effective nonequilibrium models reproduce calibrated records under their own restricted law classes.

The control-consistency theorem characterizes a regular density assignment across states; the exact-return theorem characterizes all Borel laws at an engineered preparation. Each needs its stated statistical premise. The pilot Bell law preserves coherent weights for an equilibrium tag; the massive flow transports complete initial equilibrium. The periodic and radial record models use distinct restricted nonequilibrium laws, with calibrated coarse records and retained fine-grained information.

Assumptions and domain
Control-consistent assignment, invariant preparation law, equilibrium construction or restricted nonequilibrium law, as specified separately in each theorem
What follows
Complete output distributions and positive-probability conditional laws
Scope
Matching Born outputs does not uniquely determine microscopic dynamics; endpoint probabilities, complete paths and faithful records are different conclusions.

Physical records and retained histories

Inspect in the interactive Atlas ↗

A reliable endpoint must also be a faithful copy of a specified actual past. Each construction proves that extra requirement separately.

For the limiting Bell process on the pilot programme’s finite clock graph in initial equilibrium, monomial copy cuts are crossed once on the first pass. Finite pilots inherit controlled record/history error through path comparison; clock recurrence limits storage. In the massive programme, stationary conditional traps protect archives and absolute surface-current bounds control historical corruption. Both retain finite fuel, pending and loss states, reset receivers, an inaccessible reference and noncommuting continuation.

Assumptions and domain
The specified pilot first-pass clock programme or smooth massive writer/controller programme, with all receiving systems retained
What follows
Copied past labels and complete continued outputs; joint symbolic holding-path bounds for the separate periodic and radial models
Scope
The programme's apparatus records connect conceptually to the Atlas objective archive. Broader redundancy, persistence and geometric reconstruction require the existing archive criteria as well.