Independent outcome
Double-pendulum dynamics
Drag to orbit · scroll to zoom
Interactive nonlinear benchmark · declared numerical model · Not peer reviewed
Set a double pendulum in motion. OIG freezes its forecast first; then an independent solver reveals a held-out outcome. Compare what was promised with what actually appeared.
Evidence ladder
Prepare the trial
Angles are measured from downward vertical. The held-out perturbation remains hidden until the forecast is frozen.
Ensemble calibration
N = 1 preserves the detailed single-outcome wind tunnel. Larger N runs a deterministic seeded finite ensemble.
The wind tunnel
Independent outcome
Drag to orbit · scroll to zoom
First-order numerical forecast · sealed before observation
unsealedFinite-ensemble audit
Empirical numerical coverage over a finite seeded ensemble. A whole-horizon survival interval appears only for an eligible declared iid sample. This is not certified probability or physical truth.
| Member | s | ξ | Base offset | Known-design offset | Total initial offset | Tube coverage | First persistent exit | Endpoint classification | Resolution |
|---|---|---|---|---|---|---|---|---|---|
| No ensemble outcome yet. | |||||||||
Prediction / result
Run a trial to compare a frozen local forecast with a held-out outcome.
Local response geometry
——hidden until run—Independent numerical check
Initial-condition atlas
The seams meet: +π and −π are the same angle. The selected launch is marked on a committed 13 × 13 evidence field.
Toroidal angle slice
Drag to orbit · select a torus cell to prepare that launch
Active experimental design
Live recommendation for resolving the current launch-angle geometry—not a certified global optimum.
at , with projected squared information floor .
Runs remain synthetic, finite, seeded, and numerical. They can expose failure patterns; they do not establish physical adequacy or certified probability laws.
| N | T | Law | α | Repeats | Member-time coverage | Whole-horizon survival | Status |
|---|---|---|---|---|---|---|---|
| No completed jobs yet. | |||||||
Committed Tier-3 result
The certified result belongs to the fixed five-output A+B physical-parameter protocol with exact preparation and one shared clock direction. Slider-selected launch-angle trials remain live or refined evidence.
Inspect the certificate artifactAuditable record
| Test | Frozen claim | Observed | Verdict |
|---|---|---|---|
| No trial recorded. The ledger begins when a forecast is frozen. | |||
A mismatch can be falsified or unresolved; the interface does not silently convert either into agreement.
What is being benchmarked?
The equations are deterministic, yet finite knowledge of the launch can make the future practically unpredictable. The animation shows that complex world.
OIG is tested on a harder question: which changes a sensor can see, which remain quiet, how uncertainty amplifies, and whether those claims survive an independent outcome.
A physical pendulum would add the next layer: calibration error, sensor behavior, preparation uncertainty, and the possibility that the declared model itself is inadequate.
Formal research and reproduction
The browser chamber is a public numerical interface. The formal scope, theorem/Tier boundaries, adversarial audits, and exact artifact records remain available as immutable reproduction material. This research is not peer reviewed, and the repository has no third-party reuse license; TGN is displaying the package under the owner's publication authorization.