""Calories in, calories out" is the ONLY thing that matters for sustainable weight loss."
The claim that caloric arithmetic is the only thing that matters for sustainable weight loss has been refuted by four independent lines of peer-reviewed research. The core idea that a caloric deficit is necessary remains sound — but the stronger claim that it is sufficient does not hold up.
What Was Claimed?
The popular "calories in, calories out" framework holds that weight loss is purely a math problem: eat less than you burn, and you'll lose weight. In its strongest form — the version being tested here — this becomes a claim that nothing else matters. Not sleep, not hormones, not your gut bacteria. Just the numbers. This framing is everywhere in fitness culture, and if it were true, it would mean anyone who struggles to keep weight off is simply miscounting.
What Did We Find?
The most striking piece of evidence comes from a controlled sleep study. Two groups of dieters were placed on the exact same caloric restriction — identical calories in, identical calories out. The only difference was how much sleep they got: one group slept 8.5 hours per night, the other was restricted to 5.5 hours. Both groups lost the same total weight. But the composition of what they lost was dramatically different. The well-rested group lost 83% of their weight as fat. The sleep-deprived group lost only 58% as fat — shedding nearly twice as much lean muscle instead. Same deficit, profoundly different outcome. That result, on its own, disproves the "only" in the claim.
Beyond sleep, the body itself pushes back against caloric math in ways that compound over time. A well-documented phenomenon called adaptive thermogenesis causes the body to reduce its total daily energy expenditure by 10–15% beyond what weight loss alone would predict. At a typical 2,000-calorie baseline, that's 200–300 calories per day silently subtracted from your "calories out." Crucially, this adaptation doesn't fade quickly — research documents it persisting six months to seven years after weight loss. A dieter carefully running a 500-calorie daily deficit may actually be running a 200–300 calorie deficit, which explains why weight loss stalls and regain is so common even among people diligently tracking their intake.
There is also meaningful variation on the "calories in" side that food labels simply cannot capture. Research on gut microbiome composition found that shifts in the balance of certain bacterial populations — specifically more Firmicutes relative to Bacteroidetes — were associated with extracting roughly 150 additional calories per day from identical food. Two people eating the same meal can absorb measurably different amounts of energy depending on who is living in their gut. The precise magnitude has wide uncertainty, but the directional effect has been confirmed across multiple independent studies.
A 2024 clinical review synthesizes the broader picture: caloric restriction triggers a cascade of hormonal and metabolic adaptations — changes in appetite hormones, shifts in metabolic profiles, alterations in body composition — that each independently shape weight loss outcomes. Genetics, insulin sensitivity, stress, and sleep quality all feed into this system. The research community has moved well past debating whether these effects exist; the question is how large they are for any given individual.
What Should You Keep In Mind?
None of this means calorie counting is useless. A caloric deficit remains a necessary condition for weight loss — you cannot lose fat without one. What the evidence disproves is the "only" — the claim that nothing else independently matters. The sleep finding is the hardest to dismiss because it holds the caloric math constant and still shows a large difference. But the magnitude of microbiome effects varies considerably across individuals and studies, and the 150-calorie figure should not be taken as a precise, universal number. Adaptive thermogenesis is real and well-replicated, but the degree to which any individual experiences it depends on factors that aren't fully predictable. These findings also come largely from controlled research settings; real-world compliance and measurement error add further complexity. The research described here identifies mechanisms — it does not mean that optimizing sleep or gut bacteria will reliably produce a specific number of pounds lost.
How Was This Verified?
This claim was evaluated by operationalizing "only" strictly: if any factor materially affects sustainable weight loss outcomes independently of caloric arithmetic, the claim fails. Four peer-reviewed sources from distinct research domains were each verified against live pages on PubMed Central, exceeding the threshold of three required for disproof. You can read the full findings in the structured proof report, examine every citation and computation step in the full verification audit, or re-run the proof yourself.
What could challenge this verdict?
Does the "CICO as final common pathway" argument rescue the claim? This is the strongest pro-CICO argument: all factors (sleep, hormones, gut microbiome) ultimately affect either "calories in" or "calories out," so CICO remains the sole mechanism. This argument is valid at a definitional level. However, the sleep study (B1) directly refutes the practical version of the claim: at the same measured caloric deficit, body composition outcomes differed substantially. If "CICO is all that matters" means "just track calories and nothing else matters," the sleep study shows this is false — the same caloric deficit produced 25 percentage points of difference in fat-versus-muscle loss. "Sustainable" weight loss requires preserving lean mass; a CICO-only framework provides no guidance for doing this.
Is adaptive thermogenesis negligible? PMC3673773 documents a 10–15% decline in 24-hour energy expenditure beyond predictions, plus a ~20% increase in skeletal muscle work efficiency. At typical dieting caloric levels, this is 200–300 kcal/day — not negligible. The effect persists for years, explaining why weight loss stalls and regain is common. A dieter "following the math" without accounting for metabolic adaptation will persistently overestimate their actual deficit.
Is the gut microbiome effect robust? The 150 kcal/day figure from PMC3127503 is widely replicated. A 2023 Nature Communications randomized controlled trial confirmed that dietary-induced microbiome changes altered energy balance in a controlled setting. While confidence intervals on the magnitude are wide, the directional finding — that identical food produces different effective caloric intake across individuals — is well-supported across multiple independent studies.
Sources
| Source | ID | Type | Verified |
|---|---|---|---|
| Influence of Sleep Restriction on Weight Loss Outcomes Associated with Caloric Restriction — PMC (Sleep, 2022) | B1 | Government | Yes |
| Adaptive thermogenesis in humans — PMC (International Journal of Obesity, 2013) | B2 | Government | Yes |
| Energy-balance studies reveal associations between gut microbes, caloric load, and nutrient absorption in humans — PMC (American Journal of Clinical Nutrition, 2011) | B3 | Government | Yes |
| Beyond Calories: Individual Metabolic and Hormonal Adaptations Driving Variability in Weight Management — PMC (Nutrients, 2024) | B4 | Government | Yes |
| Count of independently verified peer-reviewed sources rejecting CICO sufficiency | A1 | — | Computed |
detailed evidence
Evidence Summary
| ID | Fact | Verified |
|---|---|---|
| B1 | PMC8591680: Sleep restriction shifts body composition at identical caloric deficits (more muscle lost, less fat lost) | Yes |
| B2 | PMC3673773: Adaptive thermogenesis reduces energy expenditure 10–15% beyond predictions, persisting 6 months to 7 years after weight loss | Yes |
| B3 | PMC3127503: Gut microbiome composition changes effective caloric extraction by ~150 kcal/day from identical food intake | Yes |
| B4 | PMC11676201: Caloric restriction invokes hormonal/metabolic adaptations (thermogenesis, appetite hormones, metabolic profiles) that independently alter weight outcomes | Yes |
| A1 | Count of independently verified peer-reviewed sources rejecting CICO sufficiency | Computed: 4 verified counter-sources (threshold: 3) |
Proof Logic
The claim requires that caloric arithmetic is the only factor that matters — no other variable independently affects sustainable weight loss. Four independent lines of peer-reviewed evidence falsify this.
B1 — Sleep quality alters body composition at identical caloric deficits: A controlled study (PMC8591680) placed participants on the same caloric restriction protocol with sleep allowed (8.5 hours/night) or restricted (5.5 hours/night). Both groups lost the same total weight. But the composition differed substantially: the well-rested group lost 83% of weight as fat versus 58% in the sleep-restricted group. The sleep-restricted group lost roughly twice as much lean mass proportionally. This is the most direct falsification: at the same measured calories-in and calories-out, a non-caloric variable (sleep) produced materially different outcomes. Lean mass loss is critical to "sustainable" weight loss because reduced muscle mass lowers basal metabolic rate, increasing the likelihood of future weight regain — an effect invisible to caloric arithmetic.
B2 — Adaptive thermogenesis systematically undermines CICO predictions: The body reduces energy expenditure during caloric restriction beyond what weight loss alone explains — a phenomenon called adaptive thermogenesis. PMC3673773 documents a 10–15% decline in 24-hour energy expenditure that "persists in subjects who have sustained weight loss for extended periods of time (6 months – 7 years)" (B2). At a 2,000 kcal/day baseline, 10–15% represents 200–300 kcal/day — equivalent to 20–30 minutes of brisk walking. A dieter who carefully calculates a 500 kcal/day deficit may actually be running a 200–300 kcal/day deficit because their body has adapted. CICO arithmetic, applied naively, systematically overpredicts fat loss and cannot account for this adaptation without knowing the magnitude of metabolic suppression — which requires understanding factors beyond calorie counts.
B3 — Gut microbiome creates individual variation in effective caloric extraction: "Calories in" as listed on a food label is not identical to calories absorbed by different individuals. PMC3127503 found that "a 20% increase in Firmicutes and a corresponding decrease in Bacteroidetes were associated with an increased energy harvest of approximately 150 kcal" (B3) from the same diet. The study also documented a large interindividual range in caloric loss through stool (2.1–9.2% of ingested calories on a 2,400 kcal/day diet). Two people eating identical meals can absorb materially different caloric loads due to microbiome differences — a factor completely outside standard caloric accounting.
B4 — Hormonal/metabolic review confirms multi-mechanism independence: A 2024 narrative review (PMC11676201) synthesizes the broader picture: "Caloric restriction invokes a suite of adaptive mechanisms involving adaptive thermogenesis, changes in appetite, alterations in hormonal and metabolic profiles, and changes in body composition" (B4). The review identifies genetic predispositions, insulin sensitivity, hormonal profiles, sleep quality, and stress management as independently shaping weight loss outcomes — a convergent finding from clinical medicine confirming that the other three mechanistic sources (B1–B3) represent a broader pattern.
Conclusion
Verdict: DISPROVED
The claim that caloric arithmetic is the only factor that matters for sustainable weight loss is refuted by 4 independently verified peer-reviewed sources (threshold: 3), each from a distinct research domain:
- Sleep science (B1): Same caloric deficit, different body composition — sleep independently determines what proportion of weight loss is fat vs. muscle.
- Energy expenditure physiology (B2): Adaptive thermogenesis reduces "calories out" by 10–15% beyond predictions for years, systematically undermining CICO-based calculations.
- Gut microbiome research (B3): Identical food produces different effective "calories in" across individuals due to microbiome-driven caloric extraction differences of ~150 kcal/day.
- Hormonal/metabolic medicine (B4): Caloric restriction triggers multi-mechanism hormonal and metabolic adaptations that independently alter weight loss outcomes.
All four citations were fully verified against live pages on PubMed Central (NIH, Tier 5/government credibility). No adversarial search found evidence that would restore the claim.
The core thermodynamic principle — that a caloric deficit is necessary for weight loss — is not in dispute. What is disproved is the stronger claim that caloric arithmetic is sufficient and is the only thing that matters. Sustainable weight loss also requires managing sleep quality, understanding metabolic adaptation, and accounting for individual variation in caloric extraction.
audit trail
All 4 citations verified.
Original audit log
B1 — PMC8591680 - Status: verified - Method: full_quote - Fetch mode: live - Coverage: N/A (full quote match)
B2 — PMC3673773 - Status: verified - Method: full_quote - Fetch mode: live - Coverage: N/A (full quote match)
B3 — PMC3127503 - Status: verified - Method: full_quote - Fetch mode: live - Coverage: N/A (full quote match)
B4 — PMC11676201 - Status: verified - Method: full_quote - Fetch mode: live - Coverage: N/A (full quote match)
All citations verified against live pages on PubMed Central (NIH). No fallback to Wayback Machine was needed.
| Field | Value |
|---|---|
| Subject | Energy balance (caloric intake minus expenditure) |
| Property | Sole sufficient determinant of sustainable weight loss |
| Operator | >= |
| Threshold | 3 |
| Proof direction | disprove |
| Operator note | The claim asserts caloric arithmetic is both necessary AND sufficient for sustainable weight loss — i.e., no other variable independently affects long-term weight loss outcomes. The word "only" is interpreted strictly: any factor that materially affects sustainable weight loss outcomes independently of simple caloric accounting falsifies the claim. "Sustainable" is interpreted as weight loss that preserves metabolically active lean mass and is maintainable long-term (not just short-term scale weight). We prove the NEGATION: at least 3 independent peer-reviewed research bodies each demonstrate a factor that materially affects sustainable weight loss beyond caloric arithmetic alone. Threshold = 3 verified sources across distinct research domains. |
Natural language: "Calories in, calories out" is the ONLY thing that matters for sustainable weight loss.
Formal interpretation: The claim asserts that energy balance (caloric intake minus expenditure) is both necessary AND sufficient for sustainable weight loss — i.e., no other variable independently affects long-term weight loss outcomes.
Operator choice: The word "only" is interpreted strictly. Any factor that materially affects sustainable weight loss outcomes independently of simple caloric accounting falsifies the claim. "Sustainable" is interpreted as weight loss that preserves metabolically active lean mass and is maintainable long-term — not merely short-term scale weight reduction.
Proof direction: We prove the negation: at least 3 independent peer-reviewed research bodies each demonstrate a factor that materially affects sustainable weight loss beyond caloric arithmetic alone. Threshold = 3 verified sources across distinct research domains.
All four sources are hosted on PubMed Central (pmc.ncbi.nlm.nih.gov), a service of the U.S. National Institutes of Health. Domain tier: 5 (government). No credibility flags. The underlying journals are:
| ID | Journal | Impact |
|---|---|---|
| B1 | Sleep (Oxford Academic) | High-impact peer-reviewed sleep medicine journal |
| B2 | International Journal of Obesity (Nature Publishing Group) | High-impact peer-reviewed obesity/metabolism journal |
| B3 | American Journal of Clinical Nutrition (Oxford Academic) | High-impact peer-reviewed nutrition journal |
| B4 | Nutrients (MDPI) | Open-access peer-reviewed nutrition journal |
--- Citation Verification ---
[✓] source_sleep: Full quote verified for source_sleep (source: tier 5/government)
[✓] source_thermogenesis: Full quote verified for source_thermogenesis (source: tier 5/government)
[✓] source_microbiome: Full quote verified for source_microbiome (source: tier 5/government)
[✓] source_metabolic: Full quote verified for source_metabolic (source: tier 5/government)
Confirmed sources: 4 / 4
verified counter-sources vs threshold (>=3 needed to disprove): 4 >= 3 = True
Description: Four independently sourced peer-reviewed citations from distinct research domains (sleep science, energy expenditure physiology, gut microbiome research, hormonal/metabolic medicine)
| Source | Status |
|---|---|
| source_sleep | verified |
| source_thermogenesis | verified |
| source_microbiome | verified |
| source_metabolic | verified |
Independence note: Each source addresses a mechanistically distinct pathway by which factors beyond caloric arithmetic affect weight loss: (B1) sleep → body composition at fixed deficit; (B2) metabolic adaptation → reduced energy expenditure; (B3) gut microbiome → variable caloric extraction from identical food; (B4) hormonal cascade → multi-mechanism adaptive response. None of the four sources relies on the same underlying study or research group.
- Sources consulted: 4
- Sources verified: 4
Check 1: CICO as "final common pathway" argument - Question: Do CICO proponents argue that sleep, hormones, and gut microbiome all operate through CICO — i.e., they affect "calories in" or "calories out" and therefore CICO remains the "only" mechanism? - Search performed: Searched "calories in calories out all factors funnel through CICO argument"; reviewed Precision Nutrition and ACE Fitness articles arguing CICO is the final common pathway. This is the strongest pro-CICO argument. - Finding: This semantic argument is valid at a definitional level: sleep affects hormones that affect appetite ("calories in"), and adaptive thermogenesis reduces resting metabolic rate ("calories out"). However, the sleep study (B1) directly refutes the practical claim: at the SAME measured caloric deficit (same calories in AND same calories out), sleep-restricted dieters lost only 58% of weight as fat vs 83% in well-rested dieters. Body composition at the same deficit differs significantly — a factor that is invisible to simple caloric accounting but critical for "sustainable" weight loss (muscle loss reduces future metabolic rate, driving rebound weight gain). - Breaks proof: No
Check 2: Is adaptive thermogenesis negligible in practice? - Question: Is adaptive thermogenesis large enough to matter practically, or is it a negligible 1-2% effect that dieters can ignore? - Search performed: Reviewed PMC3673773 for specific magnitudes. Also searched "adaptive thermogenesis magnitude practical significance weight loss". - Finding: PMC3673773 documents a 10-15% decline in 24-hour energy expenditure beyond what weight loss alone predicts, plus a ~20% increase in skeletal muscle work efficiency. At a 2000 kcal/day baseline, 10-15% is 200-300 kcal/day — equivalent to 20-30 minutes of brisk walking. This is not negligible: it means a dieter maintaining a calculated 500 kcal deficit is actually maintaining a 200-300 kcal deficit, explaining why weight loss stalls and regain occurs despite "following the math." The effect persists 6 months to 7 years (B2). - Breaks proof: No
Check 3: Is the gut microbiome energy harvest effect robust? - Question: Is the gut microbiome effect (~150 kcal/day from Firmicutes changes) robust enough to be clinically significant, or is it a weak association from a single study? - Search performed: Searched "gut microbiome energy harvest 150 kcal replication"; reviewed PMC3601187, PMC10334151, and Nature Communications 2023 (s41467-023-38778-x) for independent confirmation. - Finding: Multiple independent studies confirm microbiome-energy harvest associations. The 150 kcal/day figure from PMC3127503 is widely cited. A 2023 Nature Communications RCT (s41467-023-38778-x) showed that dietary-induced microbiome changes altered energy balance in a controlled setting. PMC3601187 confirms microbes enable absorption of energy that would otherwise pass undigested. The effect is real but the 150 kcal estimate has wide confidence intervals; the broader point — that identical food produces different effective caloric intake across individuals due to microbiome variation — is well-supported. - Breaks proof: No
Cite this proof
Proof Engine. (2026). Claim Verification: “"Calories in, calories out" is the ONLY thing that matters for sustainable weight loss.” — Disproved. https://proofengine.info/proofs/calories-in-calories-out-is-the-only-thing-that-matters-for-sustainable-weight/
Proof Engine. "Claim Verification: “"Calories in, calories out" is the ONLY thing that matters for sustainable weight loss.” — Disproved." 2026. https://proofengine.info/proofs/calories-in-calories-out-is-the-only-thing-that-matters-for-sustainable-weight/.
@misc{proofengine_calories_in_calories_out_is_the_only_thing_that_matters_for_sustainable_weight,
title = {Claim Verification: “"Calories in, calories out" is the ONLY thing that matters for sustainable weight loss.” — Disproved},
author = {{Proof Engine}},
year = {2026},
url = {https://proofengine.info/proofs/calories-in-calories-out-is-the-only-thing-that-matters-for-sustainable-weight/},
note = {Verdict: DISPROVED. Generated by proof-engine v1.0.0},
}
TY - DATA TI - Claim Verification: “"Calories in, calories out" is the ONLY thing that matters for sustainable weight loss.” — Disproved AU - Proof Engine PY - 2026 UR - https://proofengine.info/proofs/calories-in-calories-out-is-the-only-thing-that-matters-for-sustainable-weight/ N1 - Verdict: DISPROVED. Generated by proof-engine v1.0.0 ER -
View proof source
This is the proof.py that produced the verdict above. Every fact traces to code below. (This proof has not yet been minted to Zenodo; the source here is the working copy from this repository.)
"""
Proof: "Calories in, calories out" is the ONLY thing that matters for sustainable weight loss.
Direction: DISPROOF — multiple independent peer-reviewed research domains establish that
factors beyond caloric arithmetic materially affect sustainable weight loss outcomes.
Generated: 2026-03-28
"""
import json
import os
import sys
from datetime import date
PROOF_ENGINE_ROOT = os.environ.get("PROOF_ENGINE_ROOT")
if not PROOF_ENGINE_ROOT:
_d = os.path.dirname(os.path.abspath(__file__))
while _d != os.path.dirname(_d):
if os.path.isdir(os.path.join(_d, "proof-engine", "skills", "proof-engine", "scripts")):
PROOF_ENGINE_ROOT = os.path.join(_d, "proof-engine", "skills", "proof-engine")
break
_d = os.path.dirname(_d)
if not PROOF_ENGINE_ROOT:
raise RuntimeError("PROOF_ENGINE_ROOT not set and skill dir not found via walk-up from proof.py")
sys.path.insert(0, PROOF_ENGINE_ROOT)
from scripts.verify_citations import verify_all_citations, build_citation_detail
from scripts.computations import compare
# 1. CLAIM INTERPRETATION (Rule 4)
CLAIM_NATURAL = (
'"Calories in, calories out" is the ONLY thing that matters for sustainable weight loss.'
)
CLAIM_FORMAL = {
"subject": "Energy balance (caloric intake minus expenditure)",
"property": "sole sufficient determinant of sustainable weight loss",
"operator": ">=",
"operator_note": (
"The claim asserts caloric arithmetic is both necessary AND sufficient for sustainable "
"weight loss — i.e., no other variable independently affects long-term weight loss "
"outcomes. The word 'only' is interpreted strictly: any factor that materially affects "
"sustainable weight loss outcomes independently of simple caloric accounting falsifies "
"the claim. 'Sustainable' is interpreted as weight loss that preserves metabolically "
"active lean mass and is maintainable long-term (not just short-term scale weight). "
"We prove the NEGATION: at least 3 independent peer-reviewed research bodies each "
"demonstrate a factor that materially affects sustainable weight loss beyond caloric "
"arithmetic alone. Threshold = 3 verified sources across distinct research domains."
),
"threshold": 3,
"proof_direction": "disprove",
}
# 2. FACT REGISTRY
FACT_REGISTRY = {
"B1": {
"key": "source_sleep",
"label": (
"PMC8591680: Sleep restriction shifts body composition at identical caloric deficits "
"(more muscle lost, less fat lost)"
),
},
"B2": {
"key": "source_thermogenesis",
"label": (
"PMC3673773: Adaptive thermogenesis reduces energy expenditure 10-15% beyond "
"predictions, persisting 6 months to 7 years after weight loss"
),
},
"B3": {
"key": "source_microbiome",
"label": (
"PMC3127503: Gut microbiome composition changes effective caloric extraction "
"by ~150 kcal/day from identical food intake"
),
},
"B4": {
"key": "source_metabolic",
"label": (
"PMC11676201: Caloric restriction invokes hormonal/metabolic adaptations "
"(thermogenesis, appetite hormones, metabolic profiles) that independently "
"alter weight outcomes"
),
},
"A1": {
"label": "Count of independently verified peer-reviewed sources rejecting CICO sufficiency",
"method": None,
"result": None,
},
}
# 3. EMPIRICAL FACTS
# Each source is from a distinct research domain and confirms that a factor beyond
# simple caloric arithmetic materially affects sustainable weight loss outcomes.
empirical_facts = {
# Domain 1: Sleep science — same caloric deficit, different body composition
"source_sleep": {
"quote": (
"less loss of total mass as fat when sleep was shorter"
),
"url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC8591680/",
"source_name": (
"Influence of Sleep Restriction on Weight Loss Outcomes Associated with "
"Caloric Restriction — PMC (Sleep, 2022)"
),
},
# Domain 2: Energy expenditure physiology — metabolic adaptation undermines CICO predictions
"source_thermogenesis": {
"quote": (
"the reduction in twenty four hour energy expenditure (TEE) persists in subjects "
"who have sustained weight loss for extended periods of time (6 months \u2013 7 years)"
),
"url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC3673773/",
"source_name": (
"Adaptive thermogenesis in humans — PMC (International Journal of Obesity, 2013)"
),
},
# Domain 3: Gut microbiome research — effective calories in varies between individuals
"source_microbiome": {
"quote": (
"a 20% increase in Firmicutes and a corresponding decrease in Bacteroidetes "
"were associated with an increased energy harvest of"
),
"url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC3127503/",
"source_name": (
"Energy-balance studies reveal associations between gut microbes, caloric load, "
"and nutrient absorption in humans — PMC (American Journal of Clinical Nutrition, 2011)"
),
},
# Domain 4: Hormonal/metabolic medicine — multi-mechanism review
"source_metabolic": {
"quote": (
"Caloric restriction invokes a suite of adaptive mechanisms involving adaptive "
"thermogenesis, changes in appetite, alterations in hormonal and metabolic profiles, "
"and changes in body composition."
),
"url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC11676201/",
"source_name": (
"Beyond Calories: Individual Metabolic and Hormonal Adaptations Driving Variability "
"in Weight Management — PMC (Nutrients, 2024)"
),
},
}
# 4. CITATION VERIFICATION (Rule 2)
print("\n--- Citation Verification ---")
citation_results = verify_all_citations(empirical_facts, wayback_fallback=True)
# 5. COUNT SOURCES WITH VERIFIED CITATIONS
COUNTABLE_STATUSES = ("verified", "partial")
n_confirmed = sum(
1 for key in empirical_facts
if citation_results[key]["status"] in COUNTABLE_STATUSES
)
print(f" Confirmed sources: {n_confirmed} / {len(empirical_facts)}")
# 6. CLAIM EVALUATION — must use compare()
claim_holds = compare(
n_confirmed,
CLAIM_FORMAL["operator"],
CLAIM_FORMAL["threshold"],
label="verified counter-sources vs threshold (>=3 needed to disprove)",
)
# 7. ADVERSARIAL CHECKS (Rule 5) — searching for evidence SUPPORTING the CICO claim
adversarial_checks = [
{
"question": (
"Do CICO proponents argue that sleep, hormones, and gut microbiome all operate "
"*through* CICO — i.e., they affect 'calories in' or 'calories out' and therefore "
"CICO remains the 'only' mechanism?"
),
"verification_performed": (
"Searched 'calories in calories out all factors funnel through CICO argument'; "
"reviewed Precision Nutrition and ACE Fitness articles arguing CICO is the final "
"common pathway. This is the strongest pro-CICO argument."
),
"finding": (
"This semantic argument is valid at a definitional level: sleep affects hormones "
"that affect appetite ('calories in'), and adaptive thermogenesis reduces resting "
"metabolic rate ('calories out'). However, the sleep study (B1) directly refutes "
"the practical claim: at the SAME measured caloric deficit (same calories in AND "
"same calories out), sleep-restricted dieters lost only 58% of weight as fat vs "
"83% in well-rested dieters. Body composition at the same deficit differs "
"significantly — a factor that is invisible to simple caloric accounting but "
"critical for 'sustainable' weight loss (muscle loss reduces future metabolic rate, "
"driving rebound weight gain)."
),
"breaks_proof": False,
},
{
"question": (
"Is adaptive thermogenesis large enough to matter practically, or is it a "
"negligible 1-2% effect that dieters can ignore?"
),
"verification_performed": (
"Reviewed PMC3673773 for specific magnitudes. Also searched "
"'adaptive thermogenesis magnitude practical significance weight loss'."
),
"finding": (
"PMC3673773 documents a 10-15% decline in 24-hour energy expenditure beyond "
"what weight loss alone predicts, plus a ~20% increase in skeletal muscle work "
"efficiency. At a 2000 kcal/day baseline, 10-15% is 200-300 kcal/day — equivalent "
"to 20-30 minutes of brisk walking. This is not negligible: it means a dieter "
"maintaining a calculated 500 kcal deficit is actually maintaining a 200-300 kcal "
"deficit, explaining why weight loss stalls and regain occurs despite 'following "
"the math.' The effect persists 6 months to 7 years (B2)."
),
"breaks_proof": False,
},
{
"question": (
"Is the gut microbiome effect (~150 kcal/day from Firmicutes changes) robust enough "
"to be clinically significant, or is it a weak association from a single study?"
),
"verification_performed": (
"Searched 'gut microbiome energy harvest 150 kcal replication'; reviewed "
"PMC3601187, PMC10334151, and Nature Communications 2023 (s41467-023-38778-x) "
"for independent confirmation."
),
"finding": (
"Multiple independent studies confirm microbiome-energy harvest associations. "
"The 150 kcal/day figure from PMC3127503 is widely cited. A 2023 Nature "
"Communications RCT (s41467-023-38778-x) showed that dietary-induced microbiome "
"changes altered energy balance in a controlled setting. PMC3601187 confirms "
"microbes enable absorption of energy that would otherwise pass undigested. "
"The effect is real but the 150 kcal estimate has wide confidence intervals; "
"the broader point — that identical food produces different effective caloric "
"intake across individuals due to microbiome variation — is well-supported."
),
"breaks_proof": False,
},
]
# 8. VERDICT AND STRUCTURED OUTPUT
if __name__ == "__main__":
any_unverified = any(
cr["status"] != "verified" for cr in citation_results.values()
)
is_disproof = CLAIM_FORMAL.get("proof_direction") == "disprove"
any_breaks = any(ac.get("breaks_proof") for ac in adversarial_checks)
if any_breaks:
verdict = "UNDETERMINED"
elif claim_holds and not any_unverified:
verdict = "DISPROVED" if is_disproof else "PROVED"
elif claim_holds and any_unverified:
verdict = (
"DISPROVED (with unverified citations)" if is_disproof
else "PROVED (with unverified citations)"
)
elif not claim_holds:
verdict = "UNDETERMINED"
else:
verdict = "UNDETERMINED"
FACT_REGISTRY["A1"]["method"] = f"count(citations with status in {COUNTABLE_STATUSES})"
FACT_REGISTRY["A1"]["result"] = f"{n_confirmed} verified counter-sources (threshold: 3)"
citation_detail = build_citation_detail(FACT_REGISTRY, citation_results, empirical_facts)
extractions = {}
for fid, info in FACT_REGISTRY.items():
if not fid.startswith("B"):
continue
ef_key = info["key"]
cr = citation_results.get(ef_key, {})
extractions[fid] = {
"value": cr.get("status", "unknown"),
"value_in_quote": cr.get("status") in COUNTABLE_STATUSES,
"quote_snippet": empirical_facts[ef_key]["quote"][:80],
}
summary = {
"fact_registry": {
fid: {k: v for k, v in info.items()}
for fid, info in FACT_REGISTRY.items()
},
"claim_formal": CLAIM_FORMAL,
"claim_natural": CLAIM_NATURAL,
"citations": citation_detail,
"extractions": extractions,
"cross_checks": [
{
"description": (
"Four independently sourced peer-reviewed citations from distinct research "
"domains (sleep science, energy expenditure physiology, gut microbiome "
"research, hormonal/metabolic medicine)"
),
"n_sources_consulted": len(empirical_facts),
"n_sources_verified": n_confirmed,
"sources": {k: citation_results[k]["status"] for k in empirical_facts},
"independence_note": (
"Each source addresses a mechanistically distinct pathway by which factors "
"beyond caloric arithmetic affect weight loss: (B1) sleep → body composition "
"at fixed deficit; (B2) metabolic adaptation → reduced energy expenditure; "
"(B3) gut microbiome → variable caloric extraction from identical food; "
"(B4) hormonal cascade → multi-mechanism adaptive response. None of the "
"four sources relies on the same underlying study or research group."
),
}
],
"adversarial_checks": adversarial_checks,
"verdict": verdict,
"key_results": {
"n_confirmed": n_confirmed,
"threshold": CLAIM_FORMAL["threshold"],
"operator": CLAIM_FORMAL["operator"],
"claim_holds": claim_holds,
"proof_direction": "disprove",
},
"generator": {
"name": "proof-engine",
"version": open(os.path.join(PROOF_ENGINE_ROOT, "VERSION")).read().strip(),
"repo": "https://github.com/yaniv-golan/proof-engine",
"generated_at": date.today().isoformat(),
},
}
print("\n=== PROOF SUMMARY (JSON) ===")
print(json.dumps(summary, indent=2, default=str))
Re-execute this proof
The verdict above is cached from when this proof was minted. To re-run the exact
proof.py shown in "View proof source" and see the verdict recomputed live,
launch it in your browser — no install required.
Re-execute from GitHub commit 1ba3732 — same bytes shown above.
First run takes longer while Binder builds the container image; subsequent runs are cached.
machine-readable formats
Downloads & raw data
found this useful? ★ star on github