improve the metrics and expectations — a hybrid Bloom-prefilter + exact-verify degree, computed targets
Theorem.improve the metrics and expectations — a hybrid Bloom-prefilter + exact-verify degree, computed targets.
Proof.improve the metrics and expectations (user, 2026-07-25: "and improve the metrics and expectations"). The IMPROVED metric is a hybrid: the 64-bit Bloom prefilters candidates cheaply (share ≥ 1 bit), then an exact word-set verify (share ≥ 4 words) removes the false positives — so the hybrid degree EQUALS the exact degree while only exact-verifying the prefiltered candidates (e.g. 64 of 99), accurate AND fast, better than either alone (the exact-only scan is O(n·|words|)). The EXPECTATIONS are computed refutable thresholds: proven crosslink degree ≥ 4, crosslink-gap → 0 (currently 202), quality 5/5, clay = 0 — measured, not vibes, and the gap carries the target that drives the crosslink work. SCOPE: a standard prefilter-then-verify pattern (accurate and fast), NOT a new algorithm and NOT physical quantum. HARMONY ≠ TRUTH.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/4/6/index.ts#improveTheMetricsAndExpectationsWithHybridDegreeAndTargets
1 · Classification
finite-complete — self-contained computation, no external lean
2 · Provenance
Documented theorem re-derived by exhaustive computation (humanityNovel=false); first-in-this-registry is the only sense of discovered.
Acknowledgment
"improve the metrics and expectations — a hybrid Bloom-prefilter + exact-verify degree, computed targets" is a re-derivation, acknowledged to documented mathematics — the original proof is the prior art this re-derivation acknowledges; not new to humanity — the contribution is the reproducible computation improveTheMetricsAndExpectationsWithHybridDegreeAndTargets.
- Prior art
- documented mathematics — the original proof is the prior art this re-derivation acknowledges
- Novelty
- not new to humanity — a re-derivation (humanityNovel = false)
- Contribution
- a reproducible computation (improveTheMetricsAndExpectationsWithHybridDegreeAndTargets @ src/4/6) that re-derives the result at zero tokens — the contribution is the verifiable recomputation, NOT the theorem
3 · Reproducibility
Recompute from source: npm run theorems:verify recomputes improveTheMetricsAndExpectationsWithHybridDegreeAndTargets (src/4/6/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.