EXP-002VALIDATED
Advantage Decomposition / Cost provenance

Lazy frontier ladder from R55 to R52

The exact lazy mechanism remains valid before R56, while measured savings reveal where dependency cost begins to dominate.

Claim statusNO MINING ADVANTAGE CLAIM

Diagnostic work, exact algebra and local capabilities are not treated as end-to-end mining advantage.

Date2026-08-14
HardwareClassical deterministic verifier
Run scopeSix registered variants
ReproducibilityRecreate each frozen frontier, evaluate 6,000 free and 2,000 reachable records per frontier with identical bit order, retain reject-stage counts, and require zero lazy/eager, eager/oracle and false-reject discrepancies before comparing paired work totals.
01 / Question & hypothesis

What was tested?

The exact lazy mechanism remains valid before R56, while measured savings reveal where dependency cost begins to dominate.

02 / Scientific basis

Why the test is meaningful

Moving the observation frontier backward exposes more SHA-256 dependencies. At each earlier round, the first requested target bit depends on additional schedule, Choice, Majority, rotation and modular-addition terms. A correct phase diagram therefore compares lazy and eager evaluation at the same frontier and on the same records rather than comparing raw runtimes across different programs.

ρᵣ = E[W_lazy,r] / E[W_eager,r]diagnostic saving sᵣ = 1 − ρᵣR52 reachable: ρ₅₂ = 0.948609, s₅₂ = 0.051391
Lazy frontier ladder from R55 to R52Visual reading of the published metrics and gates for EXP-002; it summarizes the registered result, not a mining advantage.EXP-002 / LAZY FRONTIER LADDER FROM R55 TO R52R56 SAVING10.38%R52 SAVING5.14%FALSE REJECTS0
FIGURE / RESULT READINGVisual reading of the published metrics and gates for EXP-002; it summarizes the registered result, not a mining advantage.
03 / Method

How it was tested

The frozen V1 evaluator was extended through R55, R54, R53 and R52. For every frontier, 6,000 free-validation and 2,000 reachable-Bitcoin records were evaluated with the same bit order, eager byte baseline and full suffix oracle. Operation-level provenance counted demanded schedule, Ch, Maj, Σ0, Σ1, T1, T2 and word-bit evaluations; partial prefix motors were also checked against the golden B8 decision.

04 / Observed result

What happened

R56 saving10.38%
R52 saving5.14%
False rejects0

All frontier comparisons were exact: total false rejects and full-decision mismatches were zero. On reachable records, diagnostic savings declined from 9.33% at R55 to 7.34% at R54, 6.04% at R53 and 5.14% at R52; the earlier R56 reference was 10.38%. At R52, mean lazy work was 5,676.476 units versus 5,984 eager units, showing that the lever remains exact while dependency resolution consumes most of the eager byte cost.

05 / Validation

Exactness and statistical controls

Each frontier used paired records: W_lazy and W_eager were measured on the same state, so the relevant contrast is within-record rather than an unpaired population mean. Free and reachable cohorts were reported separately. The preregistered 5% materiality gate was passed at R52 only for the matched diagnostic consumer; the canonical report explicitly forbids interpreting 5.14% as SHA-256 or mining speedup.

06 / Interpretation

What the result means

The lever persists but becomes more expensive to resolve earlier. The measured ratios motivate transport research, not a speedup claim.

Limitations

  • Diagnostic work units are implementation-specific and are not native instructions or energy.
  • The experiment evaluates B8 selectivity, not the complete 256-bit target.
  • Per-job setup, memory traffic, dispatch and ASIC integration are outside this phase diagram.
07 / Reproduction

Evidence trail

Recreate each frozen frontier, evaluate 6,000 free and 2,000 reachable records per frontier with identical bit order, retain reject-stage counts, and require zero lazy/eager, eager/oracle and false-reject discrepancies before comparing paired work totals.

Canonical variants

SUBENGINE-V2ASUBENGINE-V2BSUBENGINE-V2CSUBENGINE-V2DSUBENGINE-V2ESUBENGINE-V2F

Source: internally audited canonical reports. Local filesystem structure, private headers and operational identifiers are excluded from publication.