the portal defaults to chat as the primary surface — every capability reached through one unified turn
Theorem.the portal defaults to chat as the primary surface — every capability reached through one unified turn.
Proof.always default to chat (user, 2026-07-25: "always default to chat"). The chat is the primary entry surface, and one unified turn composes every capability (ranked retrieval, deep research, voice, video, crypto, and any tool via the dependency-injected bridge), all reached through the chat as one content-addressed, deterministic, zero-egress-by-default entry. HONEST: "default to chat" means the chat is the primary UI surface and capabilities route through it rather than through separate panels; the chat is deterministic lexical retrieval plus tools, NOT an LLM, and the folder-tree pages and search box remain available — the chat is the default entry, not the only one, and browser STT stays opt-in. HARMONY ≠ TRUTH.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/heaven/compute/index.ts#portalDefaultsToChatAsThePrimarySurfaceAllReachableThroughIt
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 portal defaults to chat as the primary surface — every capability reached through one unified turn" 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 portalDefaultsToChatAsThePrimarySurfaceAllReachableThroughIt.
- 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 (portalDefaultsToChatAsThePrimarySurfaceAllReachableThroughIt @ src/heaven/compute) 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 portalDefaultsToChatAsThePrimarySurfaceAllReachableThroughIt (src/heaven/compute/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.