Examples

This page brings the released demos and the smaller single-file scripts into one place. Start here if you want to see the package in use before reading the full documentation.

Quick run

Released demos

Run these from the repository root. Each one ships with frozen outputs plus machine-readable summary and audit files.

python -m examples.entanglement_hidden_load.run_all
python -m examples.bell_common_gluing.run_all
python -m examples.arrow_rank_deficiency.run_all

Released demo

Entanglement as hidden load

This example shows the Gaussian identity tau = 2 I(A:B) on the stated families and checks the hidden contraction route directly.

Run: python -m examples.entanglement_hidden_load.run_all
What it shows: the released example summary reports the expected identity on the documented family.
Outputs: summary JSON, audit JSON, validation JSON, and frozen figures.

Scope

This is a family-specific Gaussian example.

It is not presented as a universal theorem about all quantum states.

Released demo

Bell / common-gluing

This example shows that correlator compatibility can hold while full-law Gaussian common gluing still fails.

Run: python -m examples.bell_common_gluing.run_all
What it shows: a structural gap between correlator-level and full-law compatibility.
Outputs: summary JSON, audit JSON, comparison tables, and frozen figures.

Scope

This is a structural separation example.

It does not claim to be a complete Bell theory outside the stated Gaussian setting.

Released demo

Arrow rank deficiency

This synthetic worked example compares plurality, approval, and ranked-choice observers on one latent preference geometry.

Run: python -m examples.arrow_rank_deficiency.run_all
What it shows: different observers erase different latent directions.
Outputs: summary JSON, audit JSON, observer tables, and frozen figures.

Scope

This is explicitly synthetic.

It is not an empirical claim about real elections.

Single-file scripts

Smaller examples

These scripts are useful when you want direct API contact without the full released-demo wrapper.

Visible precision

`python examples/minimal_visible_precision.py`

Smallest path from latent precision and observer map to visible precision.

Local calculus

`python examples/local_calculus.py`

Shows the local visible calculus and determinant-curvature split.

Hidden transport

`python examples/hidden_load_transport.py`

Shows hidden transport and the determinant clock relation.

DV bridge

`python examples/finite_dv_bridge.py`

Small bridge example for the Donsker-Varadhan surface.

Quotient coarsening

`python examples/quotient_coarsening.py`

Checks visible precision loss and Gaussian contraction under coarser observation.