SRF — Structural Reconstructability Framework
EN
Logic Diagram — Problem Identity as a Presupposition of Reproducibility Evaluation
hover nodes for details
§1.1 Prior Work
Leonelli (2018) — three levels of reproducibility
§1.2 Prior Work
Ioannidis (2005) — statistical analysis of the replication crisis
§1 Thesis (this section)
Reproducibility evaluation presupposes problem identity
§2 Failure of Natural-Language Description → Need for Formal Framework
"Same data / method / result" does not guarantee problem identity
§3 Problem Space (Def. 1)
M₁ = (S₁, τ₁, Γ₁)
§3 Problem Space (Def. 1)
M₂ = (S₂, τ₂, Γ₂)
D — Distinguishability (Rem. 1, §4.2)
φ bijective → state distinguishability preserved
T — Transition (Rem. 2, §4.2)
τ₁ ↔ τ₂ preserved in both directions
C — Constraint (Rem. 3, §4.2)
Γ₁ ↔ Γ₂ preserved in both directions
D, T, C are mutually logically independent (Prop. 1, §4.3–4.4) — collapse of any one entails failure of problem identity
§4 Def. 2 (D ∧ T ∧ C)
M₁ ≅ M₂ (structural isomorphism / problem identity)
§5 Condition E (independent — methodological)
Preserved representation E: finite generation ∧ structural closure
∧ (AND)
§5.6 Proposition 2 — DTC Sufficiency
D ∧ T ∧ C ∧ Cond E ⟹ R (reconstructability)
§5.7 Proposition 3 — DTC Minimality
¬D / ¬T / ¬C ⟹ ¬R
§5 Definition 8
R — Reconstructability holds
§7 Presupposition holds
Reproducibility can now be assessed
§6 Case Studies
DTC Collapse Diagnosis (4 cases) — C-collapse universal
§5.9 SPO
Structural Problem Ontology
§7–8 Central Thesis · Distinction Proposition
Failure of reproducibility ≠ Failure of problem identity (formally distinguishable)
§6.5 · §8.2 Making Γ explicit is the primary methodological priority
§8.3 SRF-g / SRF-t / R ⟹ DTC (open problem)
prior work · thesis
§2 nat.-lang. failure
definition · problem space · SPO
DTC conditions · isomorphism
Condition E (independent input)
proposition · R · central thesis
minimality · collapse diagnosis
tacit presupposition
constitutive definition
logical inference