A Graph-Theoretic Recipe for Turning Question-Answer Justifications into Ordered Chains of Connected Facts

Formal model treats context as a fact graph, proves reachability from question objects guarantees complete justification coverage, and enumerates valid chain orderings.

Imagine you're assembling IKEA furniture and the manual shows you a sequence of steps, each building on the last. You can't attach the shelf until the side panels are up, and you can't mount the side panels until the base is assembled. The instructions work because each step's output becomes the next step's input, and the full sequence gets you from box-of-parts to bookcase. This paper asks: can we do the same thing for answering a question from a pile of facts — guarantee that a chain of statements connects the question to the answer, each link building on the last, with nothing missing? The committed claim: given a context modeled as a directed graph of logical facts with typed edges, if a root fact justifies the answer and a path of 'preserving edges' connects that root to a fact sharing an object with the question, then a search starting from the question's objects will reach the root and cover every fact needed for justification. The paper then completely enumerates valid orderings for multi-link chains — specifying when the link texts jointly preserve justification and support every transition. This is a formal, graph-theoretic result, not an empirical one. The architectural family here is symbolic and proof-based. The paper defines a context as a graph where nodes are logical facts (expressions in some representation language), parent-child relationships encode compositional structure, and 'preserving edges' mark places where a subfact's content can be recovered from its parent's full representation. There are no neural networks, no training data, no gradient descent. This is closer to knowledge representation and formal semantics than to modern NLP. The method leans entirely on the algebraic structure of the fact graph — if you satisfy the conditions, the search and enumeration results follow as theorems. On the integrity front, validation is purely mathematical: the results are proved, not benchmarked. This is both a strength and a limitation. There is no simulation, no dataset, no empirical baseline to cherry-pick. The proofs either hold or they don't, and the paper's 31 pages and 10 figures are devoted to establishing the formal apparatus. But there is also no demonstration that the model's assumptions — the existence of preserving edges, the availability of appropriate fact decompositions — hold for real-world NLP contexts like reading comprehension or multi-hop QA benchmarks. The ladder against prior work is hard to evaluate because this paper does not benchmark against empirical systems (chain-of-thought prompting, multi-hop QA models, or explainability methods). The intellectual lineage is closer to formal semantics, discourse representation theory, and logic-based knowledge graphs than to the neural explainability literature. The paper does not name or compare to specific empirical baselines like HotpotQA leaderboard entries, ROSCOE, or chain-of-thought verification systems. This is a theory paper that defines a class of problems and proves properties of solutions within that class. The milestone question is revealing. For this work to matter beyond formal linguistics, someone needs to show that real NLP contexts satisfy the paper's graph conditions — that preserving edges can be identified in practice, that fact decompositions are obtainable, and that the enumerated chain orderings produce human-readable justifications. The gap between the formal model and any practical system is wide and unaddressed. The paper is honest about its scope: it 'takes as given which expressions represent each fact,' which is exactly the hard part in real systems. The obvious next experiment the authors did not run: instantiate the model on an actual multi-hop QA dataset (HotpotQA, MuSiQue, or even a toy synthetic benchmark) and show that the graph conditions hold and that the enumerated chains correspond to valid justifications. The honest read is (a) — this is a solo-author theory paper, and building the empirical bridge requires engineering effort and likely a different skill set. The contribution is the formal framework itself, and the authors are offering it as a foundation, not a system.