Jelmini Labs

2026 foundation · Exp 001–006, 008

Experiments

Each hypothesis is registered with prediction P, acceptance A, and failure F. The baseline is pre-registered. Discovering that the baseline is better is a legitimate result.

No runs stored. Execute the suite to write evidence records.

  • EXP-001

    Deterministic Dynamics

    open
    Hypothesis
    An RK4 twin of the damped oscillator reproduces the closed form on [0,20].
    Prediction P
    RMSE < 1e-3 at dt=0.01, ζ=0.15, ω=1, x0=(1,0).
    Acceptance A
    RMSE < 1e-3 and all states finite.
    Failure F
    RMSE ≥ 1e-3 or non-finite state.

  • EXP-002

    Noisy Dynamics

    open
    Hypothesis
    One-step F remains superior to persistence under isotropic process noise.
    Prediction P
    RMSE(F) < RMSE(persistence) at σ=0.05.
    Acceptance A
    Proposed RMSE strictly below baseline.
    Failure F
    Proposed RMSE ≥ baseline.

  • EXP-003

    Change Detection

    open
    Hypothesis
    CUSUM detects a known N(0,1)→N(2.5,1) shift with delay ≤ 30 and no early FA.
    Prediction P
    First alarm in (90, 130], FA before t=90 is 0.
    Acceptance A
    Delay bound and zero early false alarms.
    Failure F
    Miss, late detect, or early false alarm.

  • EXP-004

    Drift Detection

    open
    Hypothesis
    A rolling-mean drift alarm detects linear mean drift before t=150.
    Prediction P
    Detect in (20,150) with no alarm in the first 12 samples.
    Acceptance A
    Detection window met; early FA = 0.
    Failure F
    Undetected or early false alarm.

  • EXP-005

    Anomaly Detection

    open
    Hypothesis
    A radial anomaly score attains AUROC ≥ 0.9 and does not lose to max-|z|.
    Prediction P
    AUROC ≥ 0.9 and ≥ baseline AUROC.
    Acceptance A
    Both inequalities.
    Failure F
    AUROC < 0.9 or below baseline.

  • EXP-006

    Emergent Synchronization

    open
    Hypothesis
    The architecture detects Kuramoto synchronization at high K and not at low K.
    Prediction P
    r(K=3)>0.75 and r(K=0.05)<0.45 after 500 steps.
    Acceptance A
    Both order-parameter bounds.
    Failure F
    Either bound violated.

  • EXP-008

    Mathematical Compiler

    open
    Hypothesis
    The compiler implements [n]_q including the q→1 removable discontinuity.
    Prediction P
    [4]_{1/2}=15/8; [7]_1=7; limit test k=4..8 holds.
    Acceptance A
    All compiler unit tests pass.
    Failure F
    Any unit test fails.

Separate suites share the same evidence engine: Quantum EXP-Q01–Q08 · Agriculture EXP-A01–A05 · Subsurface EXP-S01–S05 · Horizon EXP-B01–B06 · Excel EXP-X01–X06 · Organs EXP-O01–O05 · Accelerator EXP-P01–P05 · Life EXP-L01–L05 · Planet EXP-M01–M05 · NAVIS EXP-N01–N05.