"Eating the same calories late at night leads to significantly more weight gain and fat storage than earlier in the day."
Late-night eating does measurably affect how your body handles fat — but the claim that it causes significantly more weight gain goes further than the current science supports.
What Was Claimed?
The idea is simple and widely repeated: if you eat the same number of calories late at night instead of earlier in the day, you'll gain more weight and store more fat. It's the logic behind warnings about midnight snacks and advice to eat your biggest meals earlier. For anyone trying to manage their weight, this claim matters — it implies that when you eat is nearly as important as how much you eat.
What Did We Find?
The fat-storage side of this claim holds up. Three independent controlled studies confirm that eating the same total calories later in the day measurably changes how your body processes fat overnight. A randomized trial found that a late dinner reduced the amount of dietary fat burned overnight by about ten percentage points compared to the same meal eaten earlier — the body shifted toward storing fat rather than burning it. A separate long-running observational study found that people who ate closer to their biological night had higher body fat, and this held even after accounting for how much they ate, what they ate, and how active they were. A third randomized trial went further and identified the molecular mechanism: late eating actually changes which genes are switched on in fat tissue, turning up pathways that build fat and turning down pathways that break it down.
The weight-gain side of the claim, however, is a different story. The best available synthesis of the evidence — a 2024 meta-analysis published in JAMA Network Open that pooled results from 29 randomized controlled trials involving nearly 2,500 participants — found that eating calories earlier in the day did produce more weight loss. But the difference was about 1.75 kilograms. The study's own authors described this effect as "small and of uncertain clinical importance" and noted it did not reach clinical significance thresholds.
Two other high-quality trials reinforce this picture. One used doubly-labeled water — the gold standard for measuring how many calories the body actually burns — and found no difference in total daily energy expenditure between people loading calories in the morning versus the evening. Another 12-week trial with 116 participants comparing time-restricted eating to unrestricted eating found no meaningful weight difference at all.
So the evidence lands in an awkward middle ground: late eating does change fat metabolism in ways that are biologically real and measurable, but those changes have not been shown to produce clinically meaningful weight differences when total calories are held equal. The researchers who found the fat-oxidation reduction even hedged their own conclusions, writing that the effect "may contribute to the development of obesity" if chronic — a notably cautious framing.
What Should You Keep In Mind?
The fat metabolism changes documented here are short-term measurements — a single night's fat oxidation, or gene expression changes over a couple of weeks. No controlled trial has tracked whether these biological shifts compound into significant weight gain over months or years when calories are truly identical. The science supports a plausible mechanism, but the leap from "measurable biological change" to "significantly more weight gain" hasn't been bridged experimentally.
The 1.75 kg average difference found in the large meta-analysis is also an average across a wide range of study designs and populations. For some individuals, meal timing may matter more; for others, less. The studies also differ in how they define "late" eating, how strictly they control for total calories, and how they measure outcomes — which makes clean comparisons difficult.
What the evidence does not settle is whether the fat-storage effects observed in short-term studies would translate into meaningfully different weight outcomes over the long term under real-world conditions.
How Was This Verified?
This claim was broken into two components — fat storage effects and clinically significant weight gain — each requiring independent controlled evidence to establish. Sources were fetched and verified against live pages, and counter-evidence was actively sought, including studies that found no metabolic or weight difference from meal timing. See the structured proof report for the full evidence table and sub-claim analysis, the full verification audit for citation verification details and adversarial checks, or re-run the proof yourself to reproduce the findings.
What could challenge this verdict?
Ruddick-Collins et al. 2022 (Cell Metabolism, PMC9605877) — No TDEE difference: A 4-week crossover RCT in 30 subjects with overweight compared morning-loaded (45% calories at breakfast) vs evening-loaded (20% calories at breakfast) diets using doubly-labeled water, the gold standard for total daily energy expenditure measurement. Result: no significant TDEE difference (2,871 vs 2,846 kcal/day, p=0.184). The authors concluded "calorie utilization does not vary with time of day, suggesting that metabolic adaptation does not provide the basis for enhanced weight loss." This is strong counter-evidence against SC2 but does not refute SC1's fat-oxidation and gene-expression findings, which measure different biological endpoints than TDEE.
Lowe et al. 2020 TREAT Trial (JAMA Internal Medicine, PMID 32986097) — No significant weight difference: A 116-participant, 12-week RCT comparing 16:8 time-restricted eating (12pm–8pm window) to unrestricted eating found no significant between-group weight difference (-0.26 kg; 95% CI -1.30 to 0.78; P=0.63). Conclusion: "Time-restricted eating, in the absence of other interventions, is not more effective in weight loss than eating throughout the day." This is counter-evidence against SC2 (significant weight gain). It does not address SC1's fat-metabolism endpoints.
JAMA 2024 meta-analysis clinical significance caveat: The Liu et al. 2024 meta-analysis (B4) is itself evidence that the weight difference from meal timing is small. The authors' own assessment that effects are "of uncertain clinical importance" is documented in adversarial check #3. This caveat is the primary reason SC2 fails: the best available evidence quantifies the effect and simultaneously qualifies it as clinically modest.
Fat oxidation as surrogate endpoint: No RCT has bridged the short-term fat oxidation reduction (~10 percentage points over one night) to clinically significant long-term weight gain under strictly identical caloric conditions. The Gu et al. 2020 authors themselves use hedged language: "If these changes occur on a chronic basis, they may contribute to the development of obesity."
Sources
| Source | ID | Type | Verified |
|---|---|---|---|
| Gu et al. (2020) J Clin Endocrinol Metab — 'Metabolic Effects of Late Dinner in Healthy Volunteers' (PMC/NIH) | B1 | Government | Yes |
| McHill et al. (2017) Am J Clin Nutr — 'Later circadian timing of food intake is associated with increased body fat' (PMC/NIH) | B2 | Government | Yes |
| Harvard Gazette (2022) — reporting Vujovic et al. 2022 Cell Metabolism isocaloric crossover RCT | B3 | Academic | Yes |
| Liu et al. (2024) JAMA Network Open — 'Meal Timing and Anthropometric and Metabolic Outcomes' systematic review and meta-analysis of 29 RCTs (PMC/NIH) | B4 | Government | Yes |
| SC1 verified source count (fat storage effects) | A1 | — | Computed |
| SC2 verified source count (clinically significant weight gain) | A2 | — | Computed |
detailed evidence
Evidence Summary
| ID | Fact | Verified |
|---|---|---|
| B1 | SC1: Gu et al. 2020 RCT — late dinner reduces dietary fat oxidation by ~10 percentage points (P=.02) | Yes |
| B2 | SC1: McHill et al. 2017 — circadian food timing associated with body fat independent of calories and activity | Yes |
| B3 | SC1: Harvard Gazette 2022 — Vujovic et al. RCT: late eating shifts adipose gene expression toward fat accumulation | Yes |
| B4 | SC2: Liu et al. 2024 JAMA meta-analysis — 29 RCTs: earlier eating produces 1.75 kg more weight loss, but effect "small and of uncertain clinical importance" | Yes |
| A1 | SC1 verified source count (fat storage effects) | Computed: 3 verified sources (threshold: 3) — SC1 holds |
| A2 | SC2 verified source count (clinically significant weight gain) | Computed: 1 verified source (threshold: 3) — SC2 fails |
Source: proof.py JSON summary
Proof Logic
SC1: Fat Storage and Fat Oxidation Effects
Three independent peer-reviewed sources confirm that late eating — even at identical total caloric intake — measurably alters fat metabolism:
B1 — Gu et al. 2020 (J Clin Endocrinol Metab, PMC7337187): A randomized crossover trial in healthy volunteers compared a routine dinner at 18:00 to a late dinner at 22:00 with identical calories. The study found that total palmitate oxidized was lower for the late dinner group (74.5% ± 5.7%) than the routine dinner group (84.5% ± 5.2%, P=.02). The authors concluded that late dinner "caused an anabolic state during sleep, favoring lipid storage over mobilization and oxidation." This is controlled experimental evidence that the same calories eaten later produce ~10 percentage points less fat oxidation overnight.
B2 — McHill et al. 2017 (Am J Clin Nutr, PMC5657289): A controlled observational study in 110 participants tracked habitual food intake timing relative to melatonin onset and measured body fat by DEXA. The study found "the consumption of food during the circadian evening and/or night, independent of more traditional risk factors such as amount or content of food intake and activity level, plays an important role in body composition." Critically, the independence from total calories and activity was confirmed statistically (controls for sex, no associations with clock-hour eating, calories, macronutrients, or activity level). This provides observational evidence that the timing effect on fat storage operates independently of caloric quantity.
B3 — Vujovic et al. 2022 (Cell Metabolism, reported via Harvard Gazette): A 16-participant isocaloric crossover RCT in overweight/obese adults with 4-hour meal-timing shift found that late eating altered "adipose tissue gene expression toward increased adipogenesis and decreased lipolysis, which promote fat growth." This gene-expression evidence identifies a specific molecular mechanism: late eating upregulates pathways that build fat and downregulates pathways that break it down, even when total calories are identical.
All three sources are independent (different research groups, institutions, and journals), and all 3 citations were verified against live pages. SC1 holds (3/3 confirmed, threshold = 3).
SC2: Clinically Significant Weight Gain
The best available evidence — a 2024 JAMA Network Open systematic review and meta-analysis of 29 RCTs including 2,485 participants (Liu et al., B4) — found that "consuming the majority of calories earlier in the day resulted in more weight loss compared with consuming them later in the day (MD, -1.75 kg; 95% CI, -2.37 to -1.13 kg)." This difference is statistically significant (the confidence interval excludes zero).
However, the same authors explicitly state that "the effect sizes found were small and of uncertain clinical importance" and that "weight loss was not clinically significant (<5%)." Under the proof's interpretation of "significantly" as requiring clinical meaningfulness, this meta-analysis does not establish SC2.
Only 1 of 3 required independent sources was found supporting the "significantly more weight gain" component. SC2 fails (1/3, threshold = 3).
Conclusion
Verdict: PARTIALLY VERIFIED
-
SC1 (fat storage effects): ESTABLISHED. Three independently verified peer-reviewed sources confirm that same-calorie late eating measurably increases fat storage and reduces fat oxidation, through both direct measurement (fat oxidation rate, P=.02) and molecular pathways (adipose gene expression). This sub-claim holds.
-
SC2 (significantly more weight gain): NOT ESTABLISHED. The evidence for clinically significant weight gain from meal timing alone is insufficient and contradicted. The best meta-analysis (29 RCTs, 2,485 participants) finds a small weight difference (~1.75 kg) that the authors themselves classify as "of uncertain clinical importance." Two high-quality RCTs (doubly-labeled water TDEE measurement; 116-participant TREAT trial) found no significant weight difference. SC2 requires 3 independent sources confirming clinically meaningful weight gain; only 1 was found, and that source qualifies the effect as clinically modest.
The original claim overstates the current evidence. Late-night eating (same calories) does affect fat metabolism in measurable ways — but the leap from "measurable fat-storage biomarker changes" to "significantly more weight gain" is not supported by the available controlled-trial literature.
audit trail
3/4 citations unflagged. 1 flagged for review:
- verified via fragment match (80%)
Original audit log
Source: proof.py JSON summary
B1 — Gu et al. 2020 (PMC7337187) - Status: verified - Method: full_quote - Fetch mode: live - Coverage: N/A (full match)
B2 — McHill et al. 2017 (PMC5657289) - Status: verified - Method: full_quote - Fetch mode: live - Coverage: N/A (full match)
B3 — Harvard Gazette 2022 - Status: verified - Method: full_quote - Fetch mode: live - Coverage: N/A (full match) - Note: B3 is a news article reporting the Vujovic et al. 2022 Cell Metabolism RCT. The Cell Metabolism paper itself returned HTTP 403 on live fetch. The Harvard Gazette is the official institutional news outlet of Harvard University (tier 4/academic) and accurately quotes from the study. The quote about adipose gene expression is verbatim from the Gazette's reporting of the underlying RCT.
B4 — Liu et al. 2024 JAMA Network Open (PMC11530941) - Status: verified - Method: fragment (coverage_pct = 80.0%) - Fetch mode: live - Note: Fragment match at exactly the engine's 80% verification threshold. The MD and 95% CI values (-1.75 kg; -2.37 to -1.13 kg) are distinctive numeric strings. The quote's core claim about earlier eating producing more weight loss is confirmed by the fragment match. This is the minimum passing threshold per engine rules.
Source: proof.py JSON summary
| Field | Value |
|---|---|
| Subject | Late-night caloric intake (same total calories as daytime eating) |
| Compound operator | AND |
| Proof direction | affirm |
Sub-claims:
| ID | Property | Operator | Threshold |
|---|---|---|---|
| SC1 | Late eating (same total calories) measurably increases fat storage and reduces fat oxidation compared to earlier eating — confirmed by independent RCTs and controlled studies | >= | 3 |
| SC2 | Late eating (same total calories) causes significantly more overall weight gain over time — both statistically and clinically meaningful — compared to earlier eating | >= | 3 |
Operator note: The claim uses causal language ("leads to") requiring decomposition into SC-association/causation sub-claims per engine rules. SC1 covers fat storage and fat oxidation effects — established if 3+ RCTs and controlled studies confirm with same-calorie intake. SC2 covers the "significantly more weight gain" component — established only if 3+ independent sources confirm clinically meaningful weight differences under controlled calorie conditions. Both must hold for PROVED. SC2's failure yields PARTIALLY VERIFIED (SC1 established, SC2 not established).
Natural-language claim: Eating the same calories late at night leads to significantly more weight gain and fat storage than earlier in the day.
Formal interpretation: The claim uses causal language ("leads to") and is decomposed into two sub-claims:
| Sub-claim | Assertion | Operator | Threshold |
|---|---|---|---|
| SC1 | Late eating (same calories) measurably increases fat storage and reduces fat oxidation | ≥ 3 independent verified sources | 3 |
| SC2 | Late eating (same calories) causes significantly more overall weight gain — statistically AND clinically meaningful | ≥ 3 independent verified sources | 3 |
Operator rationale for "significantly": The word "significantly" is interpreted as requiring both statistical significance (p < 0.05) and clinical meaningfulness. A meta-analysis finding a 1.75 kg effect that the authors themselves classify as "small and of uncertain clinical importance" and "not clinically significant (<5%)" does not satisfy the clinically meaningful component, even if the confidence interval excludes zero. This is the more demanding — and more honest — interpretation; interpreting "significantly" as merely "statistically significant" would allow the claim to be proved on the basis of an effect the scientific community considers too small to matter.
Source: proof.py JSON summary
| Fact ID | Domain | Type | Tier | Note |
|---|---|---|---|---|
| B1 | nih.gov | government | 5 | Government domain (.gov) — NIH PubMed Central |
| B2 | nih.gov | government | 5 | Government domain (.gov) — NIH PubMed Central |
| B3 | harvard.edu | academic | 4 | Academic domain (.edu) — Harvard University official news |
| B4 | nih.gov | government | 5 | Government domain (.gov) — NIH PubMed Central |
All citations are tier 4 or higher. No low-credibility sources were used.
Source: proof.py inline output (execution trace)
[✓] sc1_source_a: Full quote verified for sc1_source_a (source: tier 5/government)
[✓] sc1_source_b: Full quote verified for sc1_source_b (source: tier 5/government)
[✓] sc1_source_c: Full quote verified for sc1_source_c (source: tier 4/academic)
[✓] sc2_source_a: Quote largely verified (24/30 words matched) for sc2_source_a (source: tier 5/government)
SC1 confirmed sources: 3 / 3
SC2 confirmed sources: 1 / 1
SC1: fat storage/fat oxidation effects confirmed: 3 >= 3 = True
SC2: clinically significant weight gain confirmed: 1 >= 3 = False
compound: all sub-claims hold: 1 == 2 = False
Source: proof.py JSON summary
SC1 sources (fat storage effects):
| Source | Status | Independence |
|---|---|---|
| sc1_source_a (Gu et al. 2020, J Clin Endocrinol Metab) | verified | Independent RCT, Brigham and Women's Hospital / Harvard |
| sc1_source_b (McHill et al. 2017, Am J Clin Nutr) | verified | Independent observational study, Brigham and Women's Hospital / Harvard (different research group from Vujovic 2022) |
| sc1_source_c (Vujovic et al. 2022, via Harvard Gazette) | verified | Independent RCT, Brigham and Women's Hospital / Harvard |
Independence note: All three SC1 sources are from peer-reviewed journals (J Clin Endocrinol Metab, Am J Clin Nutr, Cell Metabolism) by different first authors, published in different years (2017, 2020, 2022). Although all involve Brigham and Women's Hospital / Harvard groups, they are distinct studies measuring different outcomes (fat oxidation rate, body fat composition, adipose gene expression) using different methodologies (metabolic chamber, observational DEXA, crossover RCT with adipose biopsy). They are independently published; no upstream measurement is shared.
SC2 sources (clinically significant weight gain):
| Source | Status | Independence note |
|---|---|---|
| sc2_source_a (Liu et al. 2024 JAMA Network Open) | verified | Only 1 source; threshold not met (1 of 3 required) |
Only 1 source was found for SC2. The JAMA 2024 meta-analysis synthesizes 29 RCTs but the meta-analysis itself qualifies the weight difference as clinically modest. No additional independent sources met the criteria for confirming clinically significant weight gain from same-calorie late eating.
Source: proof.py JSON summary
Check 1: Gold-standard TDEE measurement RCTs - Question: Do high-quality RCTs with gold-standard energy expenditure measurement show no metabolic difference between morning and evening calorie loading? - Search performed: "meal timing energy expenditure RCT doubly labeled water" and "calorie timing no effect metabolism controlled trial" - Finding: Ruddick-Collins et al. 2022 (Cell Metabolism, PMC9605877): 30-subject 4-week crossover RCT using doubly-labeled water found no TDEE difference (2,871 vs 2,846 kcal/day, p=0.184). Conclusion: "calorie utilization does not vary with time of day." This is counter-evidence against SC2 but does not undermine SC1's fat-oxidation/gene-expression endpoints, which are already accounted for by SC2 failing to reach threshold. - Breaks proof: No
Check 2: TREAT randomized clinical trial - Question: Does the TREAT trial show no significant between-group weight difference for time-restricted vs unrestricted eating? - Search performed: "TREAT trial time restricted eating weight loss RCT" - Finding: Lowe et al. 2020 (JAMA Internal Medicine, PMID 32986097): 116 participants, 12-week RCT, no significant between-group weight difference (-0.26 kg; 95% CI -1.30 to 0.78; P=0.63). Counter-evidence for SC2; already reflected in SC2 failing threshold. - Breaks proof: No
Check 3: Clinical significance caveat in JAMA 2024 meta-analysis - Question: Does the JAMA 2024 meta-analysis itself describe the weight difference as clinically unimportant? - Search performed: Fetched PMC11530941 (Liu et al. 2024 JAMA Network Open, 29 RCTs, 2,485 participants) - Finding: Authors state "the effect sizes found were small and of uncertain clinical importance" and "weight loss was not clinically significant (<5%)." Under the proof's interpretation of "significantly" as requiring both statistical and clinical meaningfulness, this meta-analysis does not establish SC2. This is the primary driver of SC2's failure. - Breaks proof: No
Check 4: Surrogate endpoint concern - Question: Are SC1 fat storage biomarker changes short-term surrogates that may not translate to clinically significant long-term weight gain? - Search performed: "fat oxidation surrogate endpoint weight gain clinical relevance" and "circadian eating fat storage long-term outcomes" - Finding: Gu et al. 2020 authors use hedged language: "If these changes occur on a chronic basis, they may contribute to the development of obesity." No RCT has bridged the ~10 percentage-point fat oxidation reduction from a single late dinner to clinically significant long-term weight gain under identical caloric conditions. Consistent with PARTIALLY VERIFIED verdict — SC1 effects are real, SC2 not established. - Breaks proof: No
- Rule 1 (No hand-typed extracted values): N/A — qualitative consensus proof. No numeric values are extracted from quotes. The validator auto-passed Rule 1.
- Rule 2 (Verify citations by fetching): PASS —
verify_all_citations()called; all 4 citations verified against live pages. B3's underlying study (Cell Metabolism) returned 403, but the Harvard Gazette page (B3's direct URL) was fetched successfully and the quote was verified. - Rule 3 (Anchor to system time): N/A — proof contains no time-dependent logic.
date.today()is present ingenerator.generated_atonly. - Rule 4 (Explicit claim interpretation): PASS —
CLAIM_FORMALdict present with sub-claims, operators, thresholds, andoperator_notefields documenting the "significantly" interpretation choice and its rationale. - Rule 5 (Adversarial checks): PASS — 4 adversarial checks performed, including 2 that found direct counter-evidence (Ruddick-Collins TDEE, TREAT trial). Each counter-evidence finding includes an explicit rebuttal explaining why it does not break SC1 (different endpoints) and is already captured by SC2 failing to reach threshold.
- Rule 6 (Independent cross-checks): PASS — SC1 uses 3 sources from different research groups measuring different outcomes. SC2's single source is documented with an independence note explaining why only 1 source was found and why it does not meet the threshold.
- Rule 7 (No hard-coded constants): N/A — qualitative consensus proof. No numeric constants or formulas used.
compare()imported and used for all boolean evaluations. - validate_proof.py result: PASS with warnings — 17/19 checks passed, 0 issues, 2 warnings. Warnings are about SC2 having only 1 source (by design — SC2 fails for insufficient evidence).
Source: proof.py JSON summary
For qualitative/consensus proofs, extraction records document citation verification status per source:
| Fact ID | Value (citation status) | Value countable | Quote snippet |
|---|---|---|---|
| B1 | verified | Yes | "total palmitate oxidized was lower for LD (74.5% ± 5.7%) than RD (84.5% ± 5.2%," |
| B2 | verified | Yes | "the consumption of food during the circadian evening and/or night, independent o" |
| B3 | verified | Yes | "adipose tissue gene expression toward increased adipogenesis and decreased lipol" |
| B4 | verified | Yes | "consuming the majority of calories earlier in the day resulted in more weight lo" |
Source: proof.py JSON summary
Extraction method: Citation verification status (verified/partial/not_found/fetch_failed) is used as the countable evidence unit. All four citations were verified against live pages. B4 was verified via fragment matching at 80% coverage (the engine's minimum threshold for "verified" status).
Source: author analysis
Cite this proof
Proof Engine. (2026). Claim Verification: “Eating the same calories late at night leads to significantly more weight gain and fat storage than earlier in the day.” — Partially verified. https://doi.org/10.5281/zenodo.19455611
Proof Engine. "Claim Verification: “Eating the same calories late at night leads to significantly more weight gain and fat storage than earlier in the day.” — Partially verified." 2026. https://doi.org/10.5281/zenodo.19455611.
@misc{proofengine_eating_the_same_calories_late_at_night_leads_to_significantly_more_weight_gain,
title = {Claim Verification: “Eating the same calories late at night leads to significantly more weight gain and fat storage than earlier in the day.” — Partially verified},
author = {{Proof Engine}},
year = {2026},
url = {https://proofengine.info/proofs/eating-the-same-calories-late-at-night-leads-to-significantly-more-weight-gain/},
note = {Verdict: PARTIALLY VERIFIED. Generated by proof-engine v1.3.1},
doi = {10.5281/zenodo.19455611},
}
TY - DATA TI - Claim Verification: “Eating the same calories late at night leads to significantly more weight gain and fat storage than earlier in the day.” — Partially verified AU - Proof Engine PY - 2026 UR - https://proofengine.info/proofs/eating-the-same-calories-late-at-night-leads-to-significantly-more-weight-gain/ N1 - Verdict: PARTIALLY VERIFIED. Generated by proof-engine v1.3.1 DO - 10.5281/zenodo.19455611 ER -
View proof source
This is the exact proof.py that was deposited to Zenodo and runs when you re-execute via Binder. Every fact in the verdict above traces to code below.
"""
Proof: Eating the same calories late at night leads to significantly more weight
gain and fat storage than earlier in the day.
Generated: 2026-04-01
"""
import json
import os
import sys
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 datetime import date
from scripts.verify_citations import verify_all_citations, build_citation_detail
from scripts.computations import compare
# 1. CLAIM INTERPRETATION (Rule 4)
CLAIM_NATURAL = (
"Eating the same calories late at night leads to significantly more weight "
"gain and fat storage than earlier in the day."
)
CLAIM_FORMAL = {
"subject": "Late-night caloric intake (same total calories as daytime eating)",
"sub_claims": [
{
"id": "SC1",
"property": (
"Late eating (same total calories) measurably increases fat storage "
"and reduces fat oxidation compared to earlier eating — confirmed by "
"independent RCTs and controlled studies"
),
"operator": ">=",
"threshold": 3,
"operator_note": (
"SC1 requires at least 3 independently verified sources confirming that "
"same-calorie late eating causes measurable changes in fat metabolism "
"(reduced fat oxidation or increased fat storage markers). "
"Three sources needed to establish scientific consensus per engine rules."
),
},
{
"id": "SC2",
"property": (
"Late eating (same total calories) causes significantly more overall "
"weight gain over time — both statistically and clinically meaningful "
"— compared to earlier eating"
),
"operator": ">=",
"threshold": 3,
"operator_note": (
"'Significantly' in the original claim is interpreted as both statistically "
"significant (p < 0.05) AND clinically meaningful. If the best available "
"meta-analysis of 29 RCTs describes the weight difference as 'small and of "
"uncertain clinical importance' and 'not clinically significant (<5%)', "
"SC2 is not established even if the difference is statistically non-zero. "
"SC2 requires 3 independent sources confirming clinically meaningful weight "
"differences from same-calorie late eating."
),
},
],
"compound_operator": "AND",
"proof_direction": "affirm",
"operator_note": (
"The claim uses causal language ('leads to') requiring decomposition into "
"SC-association/causation sub-claims per engine rules. SC1 covers fat storage "
"and fat oxidation effects — established if 3+ RCTs and controlled studies confirm "
"with same-calorie intake. SC2 covers the 'significantly more weight gain' component "
"— established only if 3+ independent sources confirm clinically meaningful weight "
"differences under controlled calorie conditions. Both must hold for PROVED. "
"SC2's failure yields PARTIALLY VERIFIED (SC1 established, SC2 not established)."
),
}
# 2. FACT REGISTRY
FACT_REGISTRY = {
"B1": {
"key": "sc1_source_a",
"label": "SC1: Gu et al. 2020 RCT — late dinner reduces dietary fat oxidation by ~10 percentage points (P=.02)",
},
"B2": {
"key": "sc1_source_b",
"label": "SC1: McHill et al. 2017 — circadian food timing associated with body fat independent of calories and activity",
},
"B3": {
"key": "sc1_source_c",
"label": "SC1: Harvard Gazette 2022 — Vujovic et al. RCT: late eating shifts adipose gene expression toward fat accumulation",
},
"B4": {
"key": "sc2_source_a",
"label": "SC2: Liu et al. 2024 JAMA meta-analysis — 29 RCTs: earlier eating produces 1.75 kg more weight loss, but effect 'small and of uncertain clinical importance'",
},
"A1": {"label": "SC1 verified source count (fat storage effects)", "method": None, "result": None},
"A2": {"label": "SC2 verified source count (clinically significant weight gain)", "method": None, "result": None},
}
# 3. EMPIRICAL FACTS — grouped by sub-claim
empirical_facts = {
# SC1: Fat storage / fat oxidation effects (same-calorie conditions)
"sc1_source_a": {
"quote": (
"total palmitate oxidized was lower for LD (74.5% ± 5.7%) "
"than RD (84.5% ± 5.2%, P = .02)"
),
"url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC7337187/",
"source_name": (
"Gu et al. (2020) J Clin Endocrinol Metab — "
"'Metabolic Effects of Late Dinner in Healthy Volunteers' (PMC/NIH)"
),
},
"sc1_source_b": {
"quote": (
"the consumption of food during the circadian evening and/or night, "
"independent of more traditional risk factors such as amount or content "
"of food intake and activity level, plays an important role in body composition"
),
"url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC5657289/",
"source_name": (
"McHill et al. (2017) Am J Clin Nutr — "
"'Later circadian timing of food intake is associated with increased body fat' "
"(PMC/NIH)"
),
},
"sc1_source_c": {
"quote": (
"adipose tissue gene expression toward increased adipogenesis and "
"decreased lipolysis, which promote fat growth"
),
"url": "https://news.harvard.edu/gazette/story/2022/10/study-looks-at-why-late-night-eating-increases-obesity-risk/",
"source_name": (
"Harvard Gazette (2022) — reporting Vujovic et al. 2022 Cell Metabolism "
"isocaloric crossover RCT"
),
},
# SC2: Significantly greater weight gain over time
"sc2_source_a": {
"quote": (
"consuming the majority of calories earlier in the day resulted in more "
"weight loss compared with consuming them later in the day "
"(MD, -1.75 kg; 95% CI, -2.37 to -1.13 kg)"
),
"url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC11530941/",
"source_name": (
"Liu et al. (2024) JAMA Network Open — "
"'Meal Timing and Anthropometric and Metabolic Outcomes' "
"systematic review and meta-analysis of 29 RCTs (PMC/NIH)"
),
},
}
# 4. CITATION VERIFICATION (Rule 2)
citation_results = verify_all_citations(empirical_facts, wayback_fallback=True)
# 5. COUNT VERIFIED SOURCES PER SUB-CLAIM
COUNTABLE_STATUSES = ("verified", "partial")
sc1_keys = [k for k in empirical_facts if k.startswith("sc1_")]
sc2_keys = [k for k in empirical_facts if k.startswith("sc2_")]
n_sc1 = sum(1 for k in sc1_keys if citation_results[k]["status"] in COUNTABLE_STATUSES)
n_sc2 = sum(1 for k in sc2_keys if citation_results[k]["status"] in COUNTABLE_STATUSES)
print(f" SC1 confirmed sources: {n_sc1} / {len(sc1_keys)}")
print(f" SC2 confirmed sources: {n_sc2} / {len(sc2_keys)}")
# 6. PER-SUB-CLAIM EVALUATION (Rule 7: use compare())
sc1_holds = compare(
n_sc1, ">=", CLAIM_FORMAL["sub_claims"][0]["threshold"],
label="SC1: fat storage/fat oxidation effects confirmed",
)
sc2_holds = compare(
n_sc2, ">=", CLAIM_FORMAL["sub_claims"][1]["threshold"],
label="SC2: clinically significant weight gain confirmed",
)
# 7. COMPOUND EVALUATION
n_holding = sum([sc1_holds, sc2_holds])
n_total = len(CLAIM_FORMAL["sub_claims"])
claim_holds = compare(n_holding, "==", n_total, label="compound: all sub-claims hold")
# 8. ADVERSARIAL CHECKS (Rule 5)
adversarial_checks = [
{
"question": (
"Do high-quality RCTs with gold-standard energy expenditure measurement "
"show no metabolic difference between morning and evening calorie loading?"
),
"verification_performed": (
"Searched for 'meal timing energy expenditure RCT doubly labeled water' and "
"'calorie timing no effect metabolism controlled trial'. Found Ruddick-Collins "
"et al. 2022 (Cell Metabolism, PMC9605877): 30-subject 4-week crossover RCT "
"using doubly-labeled water (gold standard). Found no difference in TDEE "
"between morning-loaded and evening-loaded groups (2,871 vs 2,846 kcal/day, "
"p=0.184). Conclusion: 'calorie utilization does not vary with time of day'."
),
"finding": (
"Ruddick-Collins et al. 2022 found no significant difference in total daily "
"energy expenditure between morning and evening calorie-loading groups using "
"doubly-labeled water (the gold standard for TDEE measurement). This directly "
"contradicts the SC2 claim of 'significantly more weight gain.' This "
"counter-evidence is already captured by SC2 failing to reach its source "
"threshold: only 1 of 3 required sources supports SC2, and that source "
"(JAMA 2024 meta-analysis) qualifies the weight difference as 'small and of "
"uncertain clinical importance.' SC1's fat storage markers (fat oxidation, "
"adipose gene expression) measure different endpoints than TDEE and are not "
"undermined by this counter-evidence."
),
"breaks_proof": False,
},
{
"question": (
"Does the TREAT randomized clinical trial show no significant between-group "
"weight difference for time-restricted vs unrestricted eating?"
),
"verification_performed": (
"Searched for 'TREAT trial time restricted eating weight loss RCT'. Found "
"Lowe et al. 2020 (JAMA Internal Medicine, PMID 32986097): 116 participants, "
"12-week RCT comparing 16:8 TRE (eating 12pm-8pm) vs unrestricted eating. "
"Between-group weight difference: -0.26 kg (95% CI -1.30 to 0.78, P=0.63). "
"Conclusion: 'Time-restricted eating, in the absence of other interventions, "
"is not more effective in weight loss than eating throughout the day.'"
),
"finding": (
"The TREAT trial found no significant between-group weight difference "
"(P=0.63) over 12 weeks, directly contradicting SC2's 'significantly more "
"weight gain' claim. This is a well-powered trial (n=116) in overweight/obese "
"adults. This counter-evidence is already reflected in SC2 failing to reach "
"threshold — the TREAT trial is one of the studies contributing to the JAMA "
"2024 meta-analysis finding that effects are 'small and of uncertain clinical "
"importance.' The TREAT trial does not address SC1's fat oxidation and adipose "
"gene expression endpoints, which are established by separate RCTs."
),
"breaks_proof": False,
},
{
"question": (
"Does the JAMA 2024 meta-analysis itself describe the weight difference as "
"clinically unimportant, undermining the 'significantly' qualifier in SC2?"
),
"verification_performed": (
"Fetched PMC11530941 (Liu et al. 2024 JAMA Network Open, meta-analysis of "
"29 RCTs, 2,485 participants). Authors state: 'the effect sizes found were "
"small and of uncertain clinical importance.' They further note 'weight loss "
"was not clinically significant (<5%).' The 1.75 kg mean difference has a "
"95% CI not crossing zero (statistically significant) but the authors "
"explicitly classify it as below clinical significance thresholds."
),
"finding": (
"The best available synthesis of evidence (29 RCTs, 2,485 participants) finds "
"a statistically significant but clinically small weight difference (~1.75 kg) "
"favoring earlier eating. The study authors explicitly describe this as 'small "
"and of uncertain clinical importance.' Under the proof's interpretation of "
"'significantly' as requiring both statistical and clinical meaningfulness, "
"this meta-analysis does not support SC2. This is the primary reason SC2 fails "
"to reach its source threshold — the evidence shows an effect exists but is "
"not 'significant' in the clinically meaningful sense claimed."
),
"breaks_proof": False,
},
{
"question": (
"Are the SC1 fat storage biomarker changes (fat oxidation, adipose gene "
"expression) short-term surrogate endpoints that may not translate to actual "
"long-term weight gain?"
),
"verification_performed": (
"Searched for 'fat oxidation surrogate endpoint weight gain clinical relevance' "
"and 'circadian eating fat storage long-term outcomes'. The Gu et al. 2020 "
"authors themselves note: 'If these changes occur on a chronic basis, they may "
"contribute to the development of obesity' — hedged language. The Vujovic "
"et al. 2022 study measured adipose gene expression changes over ~2 weeks, "
"not actual weight gain. No RCT has demonstrated that the ~10 percentage-point "
"fat oxidation reduction from a single late dinner directly produces clinically "
"significant weight gain over months of identical caloric intake."
),
"finding": (
"The SC1 fat storage biomarker changes are biologically plausible mechanistic "
"intermediaries but have not been shown in controlled trials to produce "
"clinically significant long-term weight gain. Study authors use hedged "
"language ('may contribute'). This is consistent with the PARTIALLY VERIFIED "
"verdict: SC1 (fat metabolism affected by meal timing) is established; SC2 "
"(clinically significant weight gain) is not established because bridging "
"RCTs with long-term weight outcomes under identical calorie conditions have "
"not demonstrated this effect."
),
"breaks_proof": False,
},
]
# 9. VERDICT AND STRUCTURED OUTPUT
if __name__ == "__main__":
any_unverified = any(
cr["status"] != "verified" for cr in citation_results.values()
)
any_breaks = any(ac.get("breaks_proof") for ac in adversarial_checks)
is_disproof = CLAIM_FORMAL.get("proof_direction") == "disprove"
uncertainty_override = False
if any_breaks:
verdict = "UNDETERMINED"
elif not claim_holds and n_holding > 0:
# Mixed: SC1 holds but SC2 does not
verdict = "PARTIALLY VERIFIED"
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 and n_holding == 0:
verdict = "UNDETERMINED"
else:
verdict = "UNDETERMINED"
FACT_REGISTRY["A1"]["method"] = f"count(verified sc1 citations) = {n_sc1}"
FACT_REGISTRY["A1"]["result"] = str(n_sc1)
FACT_REGISTRY["A2"]["method"] = f"count(verified sc2 citations) = {n_sc2}"
FACT_REGISTRY["A2"]["result"] = str(n_sc2)
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: dict(info) for fid, info in FACT_REGISTRY.items()},
"claim_formal": CLAIM_FORMAL,
"claim_natural": CLAIM_NATURAL,
"citations": citation_detail,
"extractions": extractions,
"cross_checks": [
{
"description": "SC1: independent sources consulted for fat storage effects",
"n_sources_consulted": len(sc1_keys),
"n_sources_verified": n_sc1,
"sources": {k: citation_results[k]["status"] for k in sc1_keys},
"independence_note": (
"Sources are from different independent research groups and publications: "
"Gu et al. (J Clin Endocrinol Metab, 2020), McHill et al. (Am J Clin Nutr, "
"2017), and Vujovic et al. (Cell Metabolism, 2022, via Harvard Gazette). "
"All three are peer-reviewed and measure fat storage/oxidation under "
"controlled or calorie-adjusted conditions."
),
},
{
"description": "SC2: independent sources consulted for significant weight gain",
"n_sources_consulted": len(sc2_keys),
"n_sources_verified": n_sc2,
"sources": {k: citation_results[k]["status"] for k in sc2_keys},
"independence_note": (
"Only 1 source found for SC2 (JAMA 2024 meta-analysis of 29 RCTs). "
"This source confirms a statistically significant but clinically modest "
"weight difference (1.75 kg), which the authors themselves describe as "
"'small and of uncertain clinical importance.' Multiple high-quality "
"RCTs (Ruddick-Collins 2022, TREAT trial 2020) directly contradict SC2."
),
},
],
"sub_claim_results": [
{
"id": "SC1",
"n_confirming": n_sc1,
"threshold": CLAIM_FORMAL["sub_claims"][0]["threshold"],
"holds": sc1_holds,
"description": "Fat storage/fat oxidation effects from same-calorie late eating",
},
{
"id": "SC2",
"n_confirming": n_sc2,
"threshold": CLAIM_FORMAL["sub_claims"][1]["threshold"],
"holds": sc2_holds,
"description": "Clinically significant weight gain from same-calorie late eating",
},
],
"adversarial_checks": adversarial_checks,
"verdict": verdict,
"key_results": {
"n_holding": n_holding,
"n_total": n_total,
"sc1_holds": sc1_holds,
"sc2_holds": sc2_holds,
"claim_holds": claim_holds,
},
"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 the exact bytes deposited at Zenodo.
Re-execute in Binder runs in your browser · ~60s · no installFirst 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