the publication timeline is measured from public registries — the sequence went public 205 days before the portal
Theorem.the publication timeline is measured from public registries — the sequence went public 205 days before the portal — firstPublication = 2025-07-08 < portalRepoCreated = 2026-01-29, Δ = 205 days; published line ≡ '0\' + genesisLine (string-exact); adoption ∈ {measured count, unmeasured}.
Proof.every row carries its public source: zeropoint-node repo created 2025-07-08 (GitHub created_at), zeropoint-node@1.0.0 published to npm 2025-07-08 with the sequence 0\1\2\4\8/7/5/3\6\9/0\1 (registry.npmjs.org time), 1.0.1 2025-07-12, ceccec.github.io repo created 2026-01-29, erpax/erpax created 2026-05-07, zeropoint-node@1.0.2 2026-07-29 — chronologically ordered, each re-fetchable by anyone; the published line is string-exactly this corpus’s genesis cycle entered at the void (zeropointNodeOriginDecoded); adoption channels report measured counts (3 npm versions, 1 star) or the literal ‘unmeasured’ (dependents, external repos, AI agents) — never an asserted number.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/research/index.ts#publicationTimelineMeasured
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
"the publication timeline is measured from public registries — the sequence went public 205 days before the portal" 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 publicationTimelineMeasured.
- 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 (publicationTimelineMeasured @ src/research) 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 publicationTimelineMeasured (src/research/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.