Your procedure is denied

An insurer can issue a claim denial in about a second. Answering it takes a physician hours, so most denials are never answered: in 2023 only 11.7 percent of 3.2 million Medicare Advantage prior authorization denials were appealed, and 81.7 percent of those appeals won. This entry, "Your procedure is denied", is the other machine: it drafts the administrative response to a payer's denial from the physician's own chart, against the payer's own written criteria, for the physician to read and sign. It gives no advice to patients, recommends no treatment, and sends nothing on its own. Built during the event, in /build: a 50 case synthetic denial set with a grading key, a provider seam over the Meta Model API and Baseten, a deterministic LITMUS gate reimplemented from the author's published papers that verifies every quote, number, date, code, and side in a draft against the record and blocks the draft if any sentence fails, an agentic mode in which the model reads the chart by tool call and queries the author's live coverage index, a harness, a 12,242 corruption spike-in, a repair turn, an effort sweep, document intake of the denials as letter images, and a replay viewer at demo.hemeehr.com. Pre-existing and not included: the author's record system, appeal engine, coverage index, and the LITMUS standard. Measured: nine kept runs of three Meta models (muse-spark-1.3, muse-wonder-1.0, and the open-weights Muse Spark Open on Baseten), agreement with the key 44 to 50 of 50, no fabricated quote in any sentence across 17 runs, 8,602 of 8,602 injected hard corruptions caught, $0.007 to $0.054 a case, and one draft passed on a case the key calls unsupported. All data are synthetic. The gate also ships on its own: npx -y litmus-gate, a CLI and MCP server on npm (Apache 2.0) that holds any drafting system to the same record, including a payer's. It verifies that a statement is in the record, not that the record meets the criterion; that reading, and the signature, stay with the physician.