{"query": "David Gross", "count": 20, "results": [{"id": "card_builder_david_gross", "title": "David Gross", "shelf": "builders", "surface": "secular", "snippet": "David Gross (1941- AD) - physics. asymptotic freedom of quantum chromodynamics (1973) - quarks free at short distance, confined at long (A builder of the Floor of Discovery, credited with love and cal", "authority_tier": "reference", "source": "The builders of the Floor - credited with love, calibrated to the plumb-line", "readable": false, "generated": false}, {"id": "card_floor_yang_mills", "title": "The Yang-Mills chain - from the gauge field and the axioms to the mass gap", "shelf": "codex", "surface": "secular", "snippet": "Two trees. The gauge field: Maxwell, Weyl's gauge principle (1929), Yang and Mills' non-abelian field (1954). The axioms: Wightman's (1956) and Osterwalder-Schrader's Euclidean ones (1973) - what it m", "authority_tier": "engine_derived", "source": "Narrow Highway - a chain on the one map (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_question_bsd", "title": "The Birch and Swinnerton-Dyer conjecture", "shelf": "millennium", "surface": "secular", "snippet": "The Birch and Swinnerton-Dyer conjecture. The rank of the group of rational points of an elliptic curve over Q equals the order of vanishing of its L-function at s = 1, and the leading coefficient is ", "authority_tier": "reference", "source": "Clay Mathematics Institute, the Millennium Prize Problems (2000)", "readable": false, "generated": false}, {"id": "card_src_frd_somalia", "title": "Somalia: A Country Study", "shelf": "countries", "surface": "secular", "snippet": "Languages: Somali (script officially introduced January 1973) predominates. Several dialects; Common Somali most widely used; Coastal Somali spoken on the Banaadir coast; Central Somali spoken in the ", "authority_tier": "reference", "source": "Somalia: A Country Study — Federal Research Division, Library of Congress (1993) (public domain)", "readable": true, "generated": false}, {"id": "card_domchk_real_estate_claimed_ltv", "title": "Real Estate: ltv", "shelf": "real_estate", "surface": "secular", "snippet": "A worked check in real estate: ltv.\n\nGIVEN\n  annual_debt_service = 22755\n  annual_gross_rent = 24000\n  annual_rate = 0.065\n  annual_rent = 18000\n  appraised_value = 300000\n  loan_amount = 240000\n  loa", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "readable": false, "generated": false}, {"id": "card_domchk_real_estate_claimed_dscr", "title": "Real Estate: dscr", "shelf": "real_estate", "surface": "secular", "snippet": "A worked check in real estate: dscr.\n\nGIVEN\n  annual_debt_service = 22755\n  annual_gross_rent = 24000\n  annual_rate = 0.065\n  annual_rent = 18000\n  appraised_value = 300000\n  loan_amount = 240000\n  lo", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "readable": false, "generated": false}, {"id": "card_src_etym_gross", "title": "gross", "shelf": "etymology", "surface": "secular", "snippet": "gross: etymology (Webster 1913) — a.: [F. gros, L. grossus, perh. fr. L. crassus thick, dense, fat, E. crass, cf. Skr. grathita tied together, wound up, hardened. Cf. Engross, Grocer, Grogram.]; n.: [", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_src_etym_gros", "title": "gros", "shelf": "etymology", "surface": "secular", "snippet": "gros: etymology (Webster 1913) — n.: [F. See Gross.]. From Webster's Revised Unabridged Dictionary (1913), public domain.", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_src_etym_engross", "title": "engross", "shelf": "etymology", "surface": "secular", "snippet": "engross: etymology (Webster 1913) — v. t.: [F., fr. pref. en- (L. in) + gros gross, grosse, n., an engrossed document: cf. OF. engrossir, engroissier, to make thick, large, or gross. See Gross.]. From", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_src_etym_grogram_grogran", "title": "grogram; grogran", "shelf": "etymology", "surface": "secular", "snippet": "grogram; grogran: etymology (Webster 1913) — n.: [OF. gros-grain, lit., gros-grain, of a coarse texture. See Gross, and Grain a kernel, and cf. Grog.]. From Webster's Revised Unabridged Dictionary (19", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_chain_gross_zagier_1986", "title": "Gross 1986 — Heegner points and derivatives of L-series", "shelf": "codex", "surface": "secular", "snippet": "B. Gross, D. Zagier (1986). Heegner points and derivatives of L-series. Invent. Math. 84 (1986) 225–320. DOI 10.1007/BF01388809. Canonical: https://doi.org/10.1007/BF01388809. Cited by its record. Lic", "authority_tier": "reference", "source": "B. Gross, D. Zagier (1986), Invent. Math. 84 (1986) 225–320", "readable": false, "generated": false}, {"id": "card_src_mill_gross_wilczek_1973", "title": "D. J. Gross 1973 — Ultraviolet behavior of non-abelian gauge theories", "shelf": "millennium", "surface": "secular", "snippet": "D. J. Gross, F. Wilczek (1973). Ultraviolet behavior of non-abelian gauge theories. Phys. Rev. Lett. 30 (1973) 1343–1346. DOI 10.1103/PhysRevLett.30.1343. Canonical: https://doi.org/10.1103/PhysRevLet", "authority_tier": "reference", "source": "D. J. Gross, F. Wilczek (1973), Phys. Rev. Lett. 30 (1973) 1343–1346", "readable": false, "generated": false}, {"id": "card_src_etym_grocer", "title": "grocer", "shelf": "etymology", "surface": "secular", "snippet": "grocer: etymology (Webster 1913) — n.: [Formerly written grosser, orig., one who sells by the gross, or deals by wholesale, fr. F. grossier, marchand grossier, fr. gros large, great. See Gross.]. From", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_v_ca33bf9fb575", "title": "gross = 20·40 = $800", "shelf": "labor", "surface": "secular", "snippet": "Verdict: HOLDS.\n• labor.gross_pay: gross pay = $800.00 (matches claim)\nSealed and independently re-checkable: https://narrowhighway.com/s/bb53929fcb826e2b7fecf7a82b29385b6cf5aab37347b6203326298f5b9e2e", "authority_tier": "engine", "source": "Verified by the engine — labor", "readable": false, "generated": false}, {"id": "card_v_e379753156be", "title": "gross = 20·40 = $800 · with 10 h OT: 800 + 20·1.5·10 = $1,100", "shelf": "labor", "surface": "secular", "snippet": "Verdict: HOLDS.\n• labor.gross_pay: gross pay = $800.00 (matches claim)\n• labor.overtime_pay: FLSA pay = $1100.00 (matches claim)\nSealed and independently re-checkable: https://narrowhighway.com/s/3468", "authority_tier": "engine", "source": "Verified by the engine — labor", "readable": false, "generated": false}, {"id": "card_calc_v_labor_gross_pay", "title": "Gross pay", "shelf": "calculations", "surface": "secular", "snippet": "Gross pay — labor. Formula: pay = rate * hours. Canonical FORM: product_law (q = f1 * f2 * ...) — engine verifier labor.gross_pay — the deterministic check the concordance runs. Same form, different d", "authority_tier": "reference", "source": "The Calculation Map — every calculation, mapped by form", "readable": false, "generated": false}, {"id": "card_calc_v_real_estate_gross_rent_mult", "title": "Gross rent mult", "shelf": "calculations", "surface": "secular", "snippet": "Gross rent mult — real_estate. Formula: GRM = price / annual_rent. Canonical FORM: fraction (part / whole (dimensionless)) — engine verifier real_estate.gross_rent_mult — the deterministic check the c", "authority_tier": "reference", "source": "The Calculation Map — every calculation, mapped by form", "readable": false, "generated": false}, {"id": "card_src_etym_grosbeak", "title": "grosbeak", "shelf": "etymology", "surface": "secular", "snippet": "grosbeak: etymology (Webster 1913) — n.: [Gross + beak: cf. F. gros-bec.]. From Webster's Revised Unabridged Dictionary (1913), public domain.", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_domchk_real_estate_claimed_grm", "title": "Real Estate: grm", "shelf": "real_estate", "surface": "secular", "snippet": "A worked check in real estate: grm.\n\nGIVEN\n  annual_debt_service = 22755\n  annual_gross_rent = 24000\n  annual_rate = 0.065\n  annual_rent = 18000\n  appraised_value = 300000\n  loan_amount = 240000\n  loa", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "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_builder_david_gross"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}