axis 3 · oracle · operational
Is this ONE well-defined algorithm — would two honest implementations agree? Terry msg 428, verbatim: "algorithm-invariant. Two correct implementations of the same feature should converge to the same answer."
| test | question | demo result |
|---|---|---|
| A — no-dispatch (static) | Does the code switch estimator on a data condition? | FAIL on if len≥500: app else perm · PASS on clean feature |
| B — convergence oracle | Do two independent implementations agree to ~1e-9? | PASS hjorth (Δ 6.9e-18) · petrosian (Δ 0.0) · FAIL unpinned embedding (Δ 3.3%) |
| C — doc/code consistency | Does the declared algorithm match the implemented one? | FAIL declared DFA vs implemented R/S (the real lookback_hurst case) |
if n≥500 example fails both, by design.A dispatch/divergence FAIL is conclusive. But a full PASS needs a second independent reference implementation registered per candidate — until then the axis reports PENDING, never a faked pass. Registering reference impls is the open work item.
Deep dive: AXIS-3-AGNOSTIC.md