{"query": "The Riemann hypothesis — sealed all around, refused at the c", "count": 20, "results": [{"id": "card_n_ebe4c25c22ae", "title": "The Riemann hypothesis — sealed all around, refused at the center", "shelf": "science", "surface": "secular", "snippet": "The deepest open question about the primes, and the cleanest demonstration of the engine's\nhonesty. The FACTS seal: zeta(2)=pi²/6 (Basel), zeta(4)=pi⁴/90, zeta(6)=pi⁶/945, zeta(-1)=-1/12,\nthe trivial ", "authority_tier": "engine_derived", "source": "Concordance assay — 2026-07-09", "readable": false, "generated": false}, {"id": "card_theory_differential_geometry", "title": "Differential geometry (curvature measured from inside)", "shelf": "theories", "surface": "secular", "snippet": "Differential geometry (curvature measured from inside) — an engine domain that can touch it: geometry. Calibration: map-only — specific curvature and geodesic computations verify; the framework is bro", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_non_euclidean_hyperbolic_elliptic_geometry", "title": "Non-Euclidean (hyperbolic / elliptic) geometry", "shelf": "theories", "surface": "secular", "snippet": "Non-Euclidean (hyperbolic / elliptic) geometry — an engine domain that can touch it: geometry. Calibration: partial — curvature relations verify; the choice of axioms is map-only. Deny Euclid's fifth ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_measure_theory__lebesgue_integration", "title": "Measure theory (Lebesgue integration)", "shelf": "theories", "surface": "secular", "snippet": "Measure theory (Lebesgue integration) — an engine domain that can touch it: mathematics. Calibration: map-only — a foundation, not a computation. What it means for a set to have a SIZE, done carefully", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_joint_weil_conjectures", "title": "The Weil conjectures (Deligne 1974): the Riemann hypothesis over finite fields, a theorem", "shelf": "codex", "surface": "secular", "snippet": "The Weil conjectures are the analogue of the Riemann hypothesis for the zeta functions of varieties over FINITE FIELDS, and they are a theorem (Deligne 1974): every eigenvalue of Frobenius on the i-th", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor, a joint found in the literature (operator seed)", "readable": false, "generated": false}, {"id": "card_joint_diophantine_rh", "title": "The Riemann hypothesis is one Diophantine equation with no solutions", "shelf": "codex", "surface": "secular", "snippet": "Davis, Matiyasevich and Robinson (1976): the Riemann hypothesis is equivalent to a specific polynomial Diophantine equation having no solutions in the integers. The hypothesis is a Pi-1 statement; its", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor, a joint found in the literature (operator seed)", "readable": false, "generated": false}, {"id": "card_floor_millennium", "title": "The Millennium floor - seven open questions, and where they connect", "shelf": "codex", "surface": "secular", "snippet": "The seven Millennium Prize Problems on the one map of reality. The FLOOR is what is proven or observed: the joints where two of the questions meet at one established thing - the GUE statistics shared ", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor (operator seed)", "readable": false, "generated": false}, {"id": "card_floor_riemann", "title": "The Riemann chain - from Euler's product and Legendre's count to the critical line", "shelf": "codex", "surface": "secular", "snippet": "Two trees. The analytic: Euler's product over the primes (1737), Dirichlet's L-functions (1837). The arithmetic: Legendre's guess at the prime count (1798), Gauss's logarithmic integral (counted 1792,", "authority_tier": "engine_derived", "source": "Narrow Highway - a chain on the one map (operator seed)", "readable": false, "generated": false}, {"id": "card_spine_millennium_sources", "title": "The Millennium sources — the papers behind the seven sticks", "shelf": "spine", "surface": "secular", "snippet": "63 sources located for the seven Millennium sticks (Riemann, Birch and Swinnerton-Dyer, Navier-Stokes, Yang-Mills, P versus NP, Hodge, Poincare), one reference card each: the bibliographic record, DOI", "authority_tier": "reference", "source": "The Millennium sources — a spine of located records", "readable": false, "generated": false}, {"id": "card_n_ea9e3f380756", "title": "The primes and the nucleus — one statistical fingerprint", "shelf": "science", "surface": "secular", "snippet": "The night's deepest rhyme, and it is real, published, and unexplained. Montgomery (1973)\nand Dyson noticed that the SPACINGS between the Riemann zeta zeros follow the same distribution\nas the eigenval", "authority_tier": "engine_derived", "source": "Concordance assay — 2026-07-09", "readable": false, "generated": false}, {"id": "card_src_mill_deligne_1974", "title": "P. Deligne 1974 — La conjecture de Weil. I", "shelf": "millennium", "surface": "secular", "snippet": "P. Deligne (1974). La conjecture de Weil. I. Publ. Math. IHÉS 43 (1974) 273–307. DOI 10.1007/BF02684373. Canonical: https://doi.org/10.1007/BF02684373. Free copy: http://www.numdam.org/item/PMIHES_197", "authority_tier": "reference", "source": "P. Deligne (1974), Publ. Math. IHÉS 43 (1974) 273–307", "readable": false, "generated": false}, {"id": "card_floor_logarithm", "title": "The logarithm - the instrument the joints share", "shelf": "codex", "surface": "secular", "snippet": "Two trees: Napier's table (1614) and Saint-Vincent's hyperbola (1647) - a number's logarithm as a tabulated count, and as an area. They become one function in Euler's Introductio (1748): e, and exp an", "authority_tier": "engine_derived", "source": "Narrow Highway - a chain on the one map (operator seed)", "readable": false, "generated": false}, {"id": "card_src_mill_mulmuley_2011", "title": "K. D. Mulmuley 2011 — On P vs. NP and geometric complexity theory", "shelf": "millennium", "surface": "secular", "snippet": "K. D. Mulmuley (2011). On P vs. NP and geometric complexity theory. J. ACM 58 (2011) 5:1–26. DOI 10.1145/1944345.1944346. arXiv: 0908.1936. Canonical: https://doi.org/10.1145/1944345.1944346. Free cop", "authority_tier": "reference", "source": "K. D. Mulmuley (2011), J. ACM 58 (2011) 5:1–26", "readable": false, "generated": false}, {"id": "card_chart_hermitian_operators", "title": "Hermitian operators — real eigenvalues, the observables", "shelf": "codex", "surface": "secular", "snippet": "A chart on the one map: the tick stick stick_hermitian_operators_real_eigenvalues_the_observables, placed on the quantum-mechanics floor. A Hermitian operator A = A-dagger has real eigenvalues (so obs", "authority_tier": "engine_derived", "source": "Narrow Highway - a chart: a tick stick placed on the one map", "readable": false, "generated": false}, {"id": "card_joint_gue_statistics", "title": "Zeta zeros and the lattice Dirac operator share GUE statistics", "shelf": "codex", "surface": "secular", "snippet": "The nearest-neighbour spacings of the zeros of zeta follow the Gaussian Unitary Ensemble of random matrix theory (Montgomery's pair correlation, 1973; Odlyzko's computation, 1987), and so does the low", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor, a joint found in the literature (operator seed)", "readable": false, "generated": false}, {"id": "card_chain_riemann_1859", "title": "Riemann 1859 — Über die Anzahl der Primzahlen unter einer gegebenen Grösse", "shelf": "codex", "surface": "secular", "snippet": "B. Riemann (1859). Über die Anzahl der Primzahlen unter einer gegebenen Grösse. Monatsber. Berliner Akad. (1859) 671–680. Canonical: https://www.claymath.org/collections/riemanns-1859-manuscript/. Fre", "authority_tier": "reference", "source": "B. Riemann (1859), Monatsber. Berliner Akad. (1859) 671–680", "readable": false, "generated": false}, {"id": "card_floor_the_instruments", "title": "The instruments — every verifier and validator, and where they join", "shelf": "codex", "surface": "secular", "snippet": "The engine's checking instruments on the one map: every registered verifier and the gate that validates them, joined by their real import graph (read from the code at seed time, so it cannot drift). A", "authority_tier": "engine_derived", "source": "Narrow Highway - the instruments on the one map (found from the import graph)", "readable": false, "generated": false}, {"id": "card_joint_l_functions", "title": "One machinery: Euler product, functional equation, critical line", "shelf": "codex", "surface": "secular", "snippet": "Zeta is the simplest L-function; L(E,s) of an elliptic curve is another, given its analytic continuation by modularity (Wiles 1995). Both have an Euler product, a functional equation about a centre, a", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor, a joint found in the literature (operator seed)", "readable": false, "generated": false}, {"id": "card_floor_bsd", "title": "The Birch and Swinnerton-Dyer chain - from the group of rational points to the L-function", "shelf": "codex", "surface": "secular", "snippet": "Two trees. The arithmetic: Poincaré's group law on the rational points (1901), Mordell's finite generation (1922), Weil's heights (1929), the canonical height (Néron 1965). The analytic: Hasse's Riema", "authority_tier": "engine_derived", "source": "Narrow Highway - a chain on the one map (operator seed)", "readable": false, "generated": false}, {"id": "card_alm_connection_riemann_hypothesis_open_zeta_facts", "title": "Almanac: The Riemann Hypothesis -- an open question about where the zeta function vanishes, with the established facts sealed and the conjecture marked honestly", "shelf": "almanac", "surface": "secular", "snippet": "SITUATION\n  The Riemann zeta function, zeta(s) = the sum of 1/k^s, is the deepest known bridge between the smooth world of analysis and the prime numbers. Several of its truths are firmly ESTABLISHED ", "authority_tier": "reference", "source": "The Almanac — verified-only practical wisdom (sealed)", "readable": false, "generated": false}], "house": {"door": "FIND", "kind": "cards", "trail": "results", "seal": null, "next_step": {"do": "open the top card", "door": "FIND", "tool": "card_get", "params": {"id": "card_n_ebe4c25c22ae"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}