Incomplete thermal flows and thermal-clock existence: On equations (17)–(18) of Forget time

This record contains questions on the thermal-time construction in Carlo Rovelli’s Forget time (2011, DOI: 10.1007/s10701-011-9561-4), the detailed mathematical analysis supporting those questions, and Isabelle proof assets. The questions and detailed analysis are provided in English and Japanese. Detailed analysis (A) forget_time_analysis_en.pdf — Incomplete thermal flows and thermal-clock existence: On equations (17)–(18) of Forget time. English detailed analysis, counterexamples, proofs, and physical construction examples. forget_time_analysis_jp.pdf — 『不完備な熱流と熱時計の存在条件 — 『Forget time』の式(17)–(18)について』。日本語の詳細文書。反例、証明および物理的構成の実例を収録。 Questions (Q) forget_time_questions_en.pdf — Questions on the thermal-time construction in Forget time. English questions with numbered and page references to the English detailed analysis. forget_time_questions_jp.pdf — 『Forget time』の熱時間構成についての質問。日本語の質問文。日本語の詳細文書への節・命題番号と頁を記載。 Proof assets / 証明資産 forget_time_proofs.zip — Isabelle2025-2 theory files, session configuration, verification record, and a bilingual guide connecting the formal results to Questions 1–5. The archive contains 28 theory files in two sessions. The verification record lists 189 checked theorem results, zero external oracle dependencies, and zero skipped proofs. 詳細な反例・証明は、上記A文書の日英PDFに収録しています。Q文書の各質問から、同じ言語のA文書に記載された番号・頁へ進めます。ZIP内のREADME.mdには、Q1〜Q5と証明コードの対応および検証の実行方法を記載しています。