{"query": "HRmax = 208 − 0.7·30 = 187 bpm", "count": 3, "results": [{"id": "card_v_e678bd4147fe", "title": "HRmax = 208 − 0.7·30 = 187 bpm", "shelf": "exercise_science", "surface": "secular", "snippet": "Verdict: HOLDS.\n• exercise_science.max_heart_rate: HRmax = 208 - 0.7·30.0 = 187.0 bpm (matches claim 187.0, diff 0.0 ≤ 2.0)\nSealed and independently re-checkable: https://narrowhighway.com/s/b3bd6c873", "authority_tier": "engine", "source": "Verified by the engine — exercise_science", "generated": false}, {"id": "card_domchk_exercise_science_claimed_max_hr", "title": "Exercise Science: max hr", "shelf": "exercise_science", "surface": "secular", "snippet": "A worked check in exercise science: max hr.\n\nGIVEN\n  age_years = 30\n  intensity_high = 0.7\n  tolerance_bpm = 1\n\nCLAIMED\n  claimed_max_hr = 187\n\nTHE ENGINE'S VERDICT\n  exercise_science.max_heart_rate: ", "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)", "generated": false}, {"id": "card_works_heart_rate", "title": "A thirty-year-old's maximum heart rate", "shelf": "the-works", "surface": "secular", "snippet": "The Tanaka formula estimates maximum heart rate as 208 − 0.7·age — 187 bpm at thirty, the modern refinement of the old 220 − age rule.  Worked & sealed by the engine — HRmax = 208 − 0.7·30 = 187 bpm. ", "authority_tier": "verified", "source": "The Works — worked & sealed", "generated": false}]}