physmap 0.2.0__py3-none-any.whl

physmap/corpus/data/evidence_claims_seed.jsonl

@@ -0,0 +1,21 @@
+{"bound": {"condition": "stated Pr range per handbook restatement", "valid_above": 0.7, "valid_below": 160.0, "variable": "prandtl_number"}, "claim_id": "dittus-boelter-1930-originate-pr", "claim_type": "originating-bound", "closure_id": "dittus-boelter-1930", "conditions": {"fluid": "general", "geometry_class": "circular-pipe", "pr_range": {"max": 160.0, "min": 0.7}, "re_range": {"max": null, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "Pr 0.7-160 \u2014 narrower than Gnielinski 1976 (which extends Pr to 2000). No property-variation correction (cf. Sieder-Tate).", "role": "originate", "source_id": "dittus-boelter-1930", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "fully turbulent regime; smooth circular pipe; small wall-bulk temperature difference", "valid_above": 10000.0, "valid_below": null, "variable": "reynolds_number"}, "claim_id": "dittus-boelter-1930-originate-re", "claim_type": "originating-bound", "closure_id": "dittus-boelter-1930", "conditions": {"fluid": "general", "geometry_class": "circular-pipe", "pr_range": {"max": 160.0, "min": 0.7}, "re_range": {"max": null, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "Re > 10000 per Bergman/Incropera 2011 restatement. Primary text has the famous provenance caveat (what is widely called 'Dittus-Boelter' differs from the original).", "role": "originate", "source_id": "dittus-boelter-1930", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "Forrest 2014 Table 4 tested range on one-sided heated narrow rectangular mini-channel", "valid_above": 10000.0, "valid_below": 70000.0, "variable": "reynolds_number"}, "claim_id": "dittus-boelter-1930-validate-forrest-mae", "claim_type": "validated-bound", "closure_id": "dittus-boelter-1930", "conditions": {"fluid": "water", "geometry_class": "narrow-rect-channel-one-sided", "pr_range": {"max": 5.4, "min": 2.2}, "re_range": {"max": 70000.0, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": {"extraction_method": "primary-source", "magnitude_pct": 6.4, "magnitude_uncertainty_pct": null, "measure": "MAE", "n_points": null, "page_or_table": "Table 4", "region": "Re 10000-70000, Pr 2.2-5.4, one-sided narrow rect", "resolvability_ratio": null}, "notes": "Forrest 2014 Table 4 MAE 6.4% for Dittus-Boelter. Surprisingly low for an out-of-geometry application \u2014 consistent with D-B's smooth-tube formulation being robust beyond its strict applicability range.", "role": "validate", "source_id": "forrest-2014", "status": "confirmed", "supersedes_claim_id": null}
+{"bound": {"condition": "stated Pr range from Gnielinski 1976 primary text", "valid_above": 0.5, "valid_below": 2000.0, "variable": "prandtl_number"}, "claim_id": "gnielinski-1976-originate-pr", "claim_type": "originating-bound", "closure_id": "gnielinski-1976", "conditions": {"fluid": "general", "geometry_class": "circular-pipe", "pr_range": {"max": 2000.0, "min": 0.5}, "re_range": {"max": 5000000.0, "min": 3000.0}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "Pr 0.5-2000 \u2014 same range Gnielinski inherits from Petukhov 1970; the Gnielinski contribution is the Re-extension, not Pr-extension.", "role": "originate", "source_id": "gnielinski-1976", "status": "confirmed", "supersedes_claim_id": null}
+{"bound": {"condition": "transition + fully turbulent regime; smooth circular pipe; fully-developed thermal profile", "valid_above": 3000.0, "valid_below": 5000000.0, "variable": "reynolds_number"}, "claim_id": "gnielinski-1976-originate-re", "claim_type": "originating-bound", "closure_id": "gnielinski-1976", "conditions": {"fluid": "general", "geometry_class": "circular-pipe", "pr_range": {"max": 2000.0, "min": 0.5}, "re_range": {"max": 5000000.0, "min": 3000.0}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "Gnielinski 1976 primary-text stated validity Re 3000-5e6. The Re_min extension to 3000 is the headline contribution \u2014 covers the transition regime (Re 2300-10000) that Petukhov 1970 did not address. wasRevisionOf petukhov-1970-originate-re.", "role": "originate", "source_id": "gnielinski-1976", "status": "confirmed", "supersedes_claim_id": "petukhov-1970-originate-re"}
+{"bound": {"condition": "fully-developed thermal profile assumption; for x/D < 10 the Hausen 1943 entrance-correction factor [1 + (D/L)^(2/3)] is required", "valid_above": 10.0, "valid_below": null, "variable": "x_over_D"}, "claim_id": "gnielinski-1976-originate-xd", "claim_type": "originating-bound", "closure_id": "gnielinski-1976", "conditions": {"fluid": "general", "geometry_class": "circular-pipe", "pr_range": {"max": 2000.0, "min": 0.5}, "re_range": {"max": 5000000.0, "min": 3000.0}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "The L/D > 10 cutoff is a handbook judgment (Hausen entrance correction becomes <5% effect at L/D > 10 for gas-like Pr~0.7). The matching CORRECT claim from Hausen 1943 is deferred (hausen-1943 source is stub).", "role": "originate", "source_id": "gnielinski-1976", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "sub-critical laminar region (Re 3800-3950) \u2014 BELOW Gnielinski's stated Re_min=3000", "valid_above": null, "valid_below": 3000.0, "variable": "reynolds_number"}, "claim_id": "gnielinski-1976-validate-forrest-fig5-subcritical", "claim_type": "validated-bound", "closure_id": "gnielinski-1976", "conditions": {"fluid": "water", "geometry_class": "narrow-rect-channel-one-sided", "pr_range": {"max": 5.4, "min": 5.4}, "re_range": {"max": 3950.0, "min": 3800.0}}, "contradicts_claim_id": null, "measured_divergence": {"extraction_method": "visual-estimate-rendered-pdf", "magnitude_pct": 51.0, "magnitude_uncertainty_pct": 16.8, "measure": "median_gap", "n_points": 4, "page_or_table": "Figure 5", "region": "sub-critical laminar (Re 3800-3950, Pr=5.4); n=4 visual-estimate points", "resolvability_ratio": 3.03}, "notes": "Forrest 2014 Fig 5 sub-critical cluster (n=4) at Re 3800-3950, Pr=5.4. Gnielinski over-predicts by +51% (median) with resolvability ratio 3.03 \u2014 STRONG signal. Tier: visual-estimate digitization of the rendered PDF (per resolvability_report_fig5_visual.txt); pending WPD upgrade. This is below Gnielinski's stated Re_min=3000, so the divergence is the extrapolation cost of pushing into the laminar regime.", "role": "validate", "source_id": "forrest-2014", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "Forrest 2014 Table 4 tested range on one-sided heated narrow rectangular mini-channel (geometry-mismatched relative to Gnielinski's smooth-circular-pipe assumption)", "valid_above": 10000.0, "valid_below": 70000.0, "variable": "reynolds_number"}, "claim_id": "gnielinski-1976-validate-forrest-mae", "claim_type": "validated-bound", "closure_id": "gnielinski-1976", "conditions": {"fluid": "water", "geometry_class": "narrow-rect-channel-one-sided", "pr_range": {"max": 5.4, "min": 2.2}, "re_range": {"max": 70000.0, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": {"extraction_method": "primary-source", "magnitude_pct": 8.4, "magnitude_uncertainty_pct": null, "measure": "MAE", "n_points": null, "page_or_table": "Table 4", "region": "Re 10000-70000, Pr 2.2-5.4, one-sided narrow rect", "resolvability_ratio": null}, "notes": "Forrest 2014 Table 4 MAE 8.4% for Gnielinski on a one-sided heated narrow rectangular geometry (not circular pipe). Quantifies the geometry-extrapolation cost \u2014 Gnielinski is the 3rd-best of 5 closures evaluated on this geometry (vs Mod Sparrow-Cur 6.1%, D-B 6.4%, Petukhov 11.4%, Sieder-Tate 15.2%).", "role": "validate", "source_id": "forrest-2014", "status": "confirmed", "supersedes_claim_id": null}
+{"bound": {"condition": "The constant-property Dittus-Boelter correlation requires a buoyancy correction for supercritical CO2 and loses validity once buoyancy is significant. Measured onset of heat-transfer deterioration in upward flow at Jackson Bo* ~ 6e-7 (Bo* = Gr*/(Re^3.425 Pr^0.8)); the paper prefers Liu's Bu, with deterioration onset near Bu ~ 1.3e-5, and proposes a buoyancy-parameter-corrected correlation. D-B is valid only below these thresholds (negligible-buoyancy / normal heat transfer). NOTE: this buoyancy parameter (Jackson Bo* / Liu Bu) is a DIFFERENT physical group from the corpus's Gr/Re^2 richardson_number -- same-name-different-physics flagged. Direction-dependent: deterioration is an upward-flow phenomenon (downward flow at matched inputs shows none).", "valid_above": null, "valid_below": 6e-07, "variable": "buoyancy_parameter"}, "claim_id": "jin-2023-correct-dittus-boelter-buoyancy-bound", "claim_type": "correction", "closure_id": "dittus-boelter-1930", "conditions": {"fluid": "supercritical-CO2", "geometry_class": "vertical-circular-tube-supercritical", "pr_range": {"max": null, "min": null}, "re_range": {"max": null, "min": null}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "BOUND-ONLY claim (role=correct): Jin 2023 establishes that the constant-property Dittus-Boelter correlation requires a buoyancy correction for upward supercritical-CO2 flow and is valid only below the buoyancy threshold (Jackson Bo* ~ 6e-7 / Liu Bu ~ 1.3e-5, both text-stated, p.5-7), proposing a buoyancy-parameter correlation (Eq. 22). The QUANTITATIVE divergence magnitude is deliberately NOT banked here -- per human review, a coarse Fig-19a visual estimate is kept out of the high-bar evidence corpus; the precise tabulated deviations (Table 5) are for property-variation correlations not in the corpus. The clean per-point measured-vs-D-B divergence is produced by the Jin vehicle build (option b). Join is D-B only (the correlation the source tests by name); gnielinski-constprop-sco2 is NOT also-joined (source-unsupported moat-motivated join, declined on review). Single source -> 'claimed'.", "role": "correct", "source_id": "jin-2023", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "Forrest 2014 Chilton-Colburn analogy extension; explicit Pr^(1/3) factor; coefficient adjusted 0.0464 -> 0.036; uniform-heat-flux BC (vs original isothermal); Re extended to 70000", "valid_above": 2.2, "valid_below": 5.4, "variable": "prandtl_number"}, "claim_id": "modified-sparrow-cur-correct-forrest-chilton-colburn", "claim_type": "correction", "closure_id": "modified-sparrow-cur-asym-narrow-rect-channel-2014", "conditions": {"fluid": "water", "geometry_class": "narrow-rect-channel-one-sided", "pr_range": {"max": 5.4, "min": 2.2}, "re_range": {"max": 70000.0, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "The 'literature-knows / practitioner-omits' thesis claim \u2014 Forrest's modification is widely used in MTR-fuel safety analyses but is not adopted in standard handbooks. Modifications: (a) Chilton-Colburn analogy extends Pr from fixed-2.5 to 2.2-5.4; (b) coefficient adjusted 0.0464 -> 0.036; (c) Re extended empirically to 70000; (d) uniform-q'' wall BC (vs original isothermal). wasRevisionOf modified-sparrow-cur-originate-re-1982.", "role": "correct", "source_id": "forrest-2014", "status": "confirmed", "supersedes_claim_id": "modified-sparrow-cur-originate-re-1982"}
+{"bound": {"condition": "original Sparrow & Cur 1982 mass-transfer experiment; isothermal wall; alpha*=0.0556; fixed Pr=2.5", "valid_above": 10000.0, "valid_below": 45000.0, "variable": "reynolds_number"}, "claim_id": "modified-sparrow-cur-originate-re-1982", "claim_type": "originating-bound", "closure_id": "modified-sparrow-cur-asym-narrow-rect-channel-2014", "conditions": {"fluid": "water", "geometry_class": "narrow-rect-channel-symmetric", "pr_range": {"max": 2.5, "min": 2.5}, "re_range": {"max": 45000.0, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "Original Sparrow-Cur form: Nu = 0.0464 Re^0.76 at fixed Pr=2.5, isothermal wall. Re range 10000-45000. Mass-transfer experiment converted to heat transfer via Chilton-Colburn analogy. Primary paper not directly verified; cited via Forrest 2014 restatement.", "role": "originate", "source_id": "sparrow-cur-1982", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "sub-critical laminar region (Re 3800-3950) \u2014 BELOW the Modified Sparrow-Cur Re_min=10000 extrapolated bound", "valid_above": null, "valid_below": 10000.0, "variable": "reynolds_number"}, "claim_id": "modified-sparrow-cur-validate-forrest-fig5-subcritical", "claim_type": "validated-bound", "closure_id": "modified-sparrow-cur-asym-narrow-rect-channel-2014", "conditions": {"fluid": "water", "geometry_class": "narrow-rect-channel-one-sided", "pr_range": {"max": 5.4, "min": 5.4}, "re_range": {"max": 3950.0, "min": 3800.0}}, "contradicts_claim_id": null, "measured_divergence": {"extraction_method": "visual-estimate-rendered-pdf", "magnitude_pct": 82.1, "magnitude_uncertainty_pct": 16.8, "measure": "median_gap", "n_points": 4, "page_or_table": "Figure 5", "region": "sub-critical laminar (Re 3800-3950, Pr=5.4); n=4 visual-estimate points", "resolvability_ratio": 4.88}, "notes": "Forrest 2014 Fig 5 sub-critical cluster (n=4) at Re 3800-3950, Pr=5.4. Modified Sparrow-Cur over-predicts by +82% (median) with resolvability ratio 4.88 \u2014 STRONG signal. Tier: visual-estimate digitization of the rendered PDF (per resolvability_report_fig5_visual.txt); pending WPD upgrade. Re 3800-3950 is BELOW the extrapolated Re_min=10000 \u2014 the magnitude is the extrapolation cost of pushing the closure into the laminar regime.", "role": "validate", "source_id": "forrest-2014", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "Forrest 2014 Table 4 validated range for the modified form on one-sided heated narrow rectangular mini-channel", "valid_above": 10000.0, "valid_below": 70000.0, "variable": "reynolds_number"}, "claim_id": "modified-sparrow-cur-validate-forrest-mae", "claim_type": "validated-bound", "closure_id": "modified-sparrow-cur-asym-narrow-rect-channel-2014", "conditions": {"fluid": "water", "geometry_class": "narrow-rect-channel-one-sided", "pr_range": {"max": 5.4, "min": 2.2}, "re_range": {"max": 70000.0, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": {"extraction_method": "primary-source", "magnitude_pct": 6.1, "magnitude_uncertainty_pct": null, "measure": "MAE", "n_points": null, "page_or_table": "Table 4", "region": "Re 10000-70000, Pr 2.2-5.4, one-sided narrow rect", "resolvability_ratio": null}, "notes": "Forrest 2014 Table 4 MAE 6.1% for the Modified Sparrow-Cur form \u2014 LOWEST of the 5 closures tested on this geometry. The most accurate published closure for one-sided heated narrow rectangular channels in Forrest's evaluation.", "role": "validate", "source_id": "forrest-2014", "status": "confirmed", "supersedes_claim_id": null}
+{"bound": {"condition": "stated Pr range per handbook restatement", "valid_above": 0.5, "valid_below": 2000.0, "variable": "prandtl_number"}, "claim_id": "petukhov-1970-originate-pr", "claim_type": "originating-bound", "closure_id": "petukhov-1970", "conditions": {"fluid": "general", "geometry_class": "circular-pipe", "pr_range": {"max": 2000.0, "min": 0.5}, "re_range": {"max": 5000000.0, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "Pr 0.5-2000 \u2014 same range Gnielinski 1976 inherits.", "role": "originate", "source_id": "petukhov-1970", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "fully turbulent regime; smooth circular pipe; high-accuracy form using the friction factor", "valid_above": 10000.0, "valid_below": 5000000.0, "variable": "reynolds_number"}, "claim_id": "petukhov-1970-originate-re", "claim_type": "originating-bound", "closure_id": "petukhov-1970", "conditions": {"fluid": "general", "geometry_class": "circular-pipe", "pr_range": {"max": 2000.0, "min": 0.5}, "re_range": {"max": 5000000.0, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "Re 10000-5e6 per Bergman/Incropera 2011 restatement. Primary paper not directly verified. Superseded by gnielinski-1976-originate-re (Re_min extension 10000 \u2192 3000).", "role": "originate", "source_id": "petukhov-1970", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "Forrest 2014 Table 4 tested range on one-sided heated narrow rectangular mini-channel", "valid_above": 10000.0, "valid_below": 70000.0, "variable": "reynolds_number"}, "claim_id": "petukhov-1970-validate-forrest-mae", "claim_type": "validated-bound", "closure_id": "petukhov-1970", "conditions": {"fluid": "water", "geometry_class": "narrow-rect-channel-one-sided", "pr_range": {"max": 5.4, "min": 2.2}, "re_range": {"max": 70000.0, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": {"extraction_method": "primary-source", "magnitude_pct": 11.4, "magnitude_uncertainty_pct": null, "measure": "MAE", "n_points": null, "page_or_table": "Table 4", "region": "Re 10000-70000, Pr 2.2-5.4, one-sided narrow rect", "resolvability_ratio": null}, "notes": "Forrest 2014 Table 4 MAE 11.4% for Petukhov on narrow rectangular channel. 4th of 5 closures (worse than Gnielinski 8.4%; better than Sieder-Tate 15.2%).", "role": "validate", "source_id": "forrest-2014", "status": "confirmed", "supersedes_claim_id": null}
+{"bound": {"condition": "stated Pr range; (mu/mu_w)^0.14 viscosity-ratio correction for property variation", "valid_above": 0.7, "valid_below": 16700.0, "variable": "prandtl_number"}, "claim_id": "sieder-tate-1936-originate-pr", "claim_type": "originating-bound", "closure_id": "sieder-tate-1936", "conditions": {"fluid": "general", "geometry_class": "circular-pipe", "pr_range": {"max": 16700.0, "min": 0.7}, "re_range": {"max": null, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "Pr 0.7-16700 \u2014 extends to oils via the (mu/mu_w)^0.14 viscosity-ratio correction. Widest Pr range of the 5 closures.", "role": "originate", "source_id": "sieder-tate-1936", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "fully turbulent regime; smooth circular pipe; significant property variation regime", "valid_above": 10000.0, "valid_below": null, "variable": "reynolds_number"}, "claim_id": "sieder-tate-1936-originate-re", "claim_type": "originating-bound", "closure_id": "sieder-tate-1936", "conditions": {"fluid": "general", "geometry_class": "circular-pipe", "pr_range": {"max": 16700.0, "min": 0.7}, "re_range": {"max": null, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": null, "notes": "Re > 10000 per handbook restatement.", "role": "originate", "source_id": "sieder-tate-1936", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "Forrest 2014 Table 4 tested range on one-sided heated narrow rectangular mini-channel", "valid_above": 10000.0, "valid_below": 70000.0, "variable": "reynolds_number"}, "claim_id": "sieder-tate-1936-validate-forrest-mae", "claim_type": "validated-bound", "closure_id": "sieder-tate-1936", "conditions": {"fluid": "water", "geometry_class": "narrow-rect-channel-one-sided", "pr_range": {"max": 5.4, "min": 2.2}, "re_range": {"max": 70000.0, "min": 10000.0}}, "contradicts_claim_id": null, "measured_divergence": {"extraction_method": "primary-source", "magnitude_pct": 15.2, "magnitude_uncertainty_pct": null, "measure": "MAE", "n_points": null, "page_or_table": "Table 4", "region": "Re 10000-70000, Pr 2.2-5.4, one-sided narrow rect", "resolvability_ratio": null}, "notes": "Forrest 2014 Table 4 MAE 15.2% for Sieder-Tate \u2014 the WORST of the 5 closures tested. The viscosity-ratio correction may overcompensate at moderate Pr (2.2-5.4, water) where wall-bulk delta-T is modest, biasing the prediction.", "role": "validate", "source_id": "forrest-2014", "status": "confirmed", "supersedes_claim_id": null}
+{"bound": {"condition": "The fully-developed assumption (corpus entrance bound x/D>=10) is violated for a BELL-MOUTH inlet in the transition regime: the low-disturbance bell-mouth keeps the boundary layer laminar far downstream, so the developing/transition region (a pronounced dip in local Nu) extends to about x/D=100-175 before the flow reaches the turbulent fully-developed condition -- versus x/D<25 for the turbulent entrance. Fully-developed local-Nu validity is recovered only beyond x/D~175 for this inlet. The transition-onset location is inlet-disturbance dependent (Re ~3470/4950/9640 for coarse/medium/fine inlet screens). Driver = inlet disturbance level (a flow-environment configuration variable), manifesting along x/D; NOT a fully-developed (Re,Pr) input.", "valid_above": 175.0, "valid_below": null, "variable": "x_over_D"}, "claim_id": "tam-ghajar-1998-validate-gnielinski-bellmouth-entrance", "claim_type": "validated-bound", "closure_id": "gnielinski-1976", "conditions": {"fluid": "ethylene-glycol-water-mixtures", "geometry_class": "horizontal-circular-tube-bell-mouth-inlet-uniform-heat-flux", "pr_range": {"max": 158.0, "min": 4.0}, "re_range": {"max": 17000.0, "min": 3400.0}}, "contradicts_claim_id": null, "measured_divergence": {"extraction_method": "visual-estimate-rendered-pdf", "magnitude_pct": -63.0, "magnitude_uncertainty_pct": 15.0, "measure": "mean_relative_pct", "n_points": 25, "page_or_table": "Fig. 5 (p.191, bell-mouth transition) for the dip depth; x/D=100-175 extent text-stated p.190-193; Fig. 6-8 inlet-disturbance dependence.", "region": "bell-mouth inlet, transition regime (Re ~4990-5650); the local-Nu dip over ~25 < x/D < 175. Local Nu falls to its minimum near x/D~100 before recovering toward the turbulent value near x/D~175.", "resolvability_ratio": 12.0}, "notes": "Measured counterpart to the NACA D3 entrance-region finding that the x/D>=10 fully-developed bound is geometry/disturbance dependent -- here on an independent dataset, with a far more dramatic instance (transition-region dip to x/D=100-175, vs the turbulent entrance x/D<25). The local Nu in the dip is read from Fig. 5 as roughly 22 against a recovered turbulent value near 60 (about -63%); the dip EXTENT (x/D=100-175) is text-stated. The reentrant and square-edged inlets show no dip (monotonic), so the bell-mouth-vs-square contrast at matched (Re,Pr,x/D) isolates the inlet-disturbance driver. Single source -> 'claimed'. Magnitude is a visual estimate from Fig. 5 (gate-10 triple populated); the x/D extent and the inlet-screen transition Re values are primary-source.", "role": "validate", "source_id": "tam-ghajar-1998", "status": "claimed", "supersedes_claim_id": null}
+{"bound": {"condition": "The analytical fully-developed laminar uniform-heat-flux value Nu=4.364 assumes pure forced convection. In a horizontal heated tube with significant buoyancy (Gr ~1000-2.5e5 here), buoyancy-driven secondary flow raises the measured fully-developed laminar Nu well above 4.364. No sharp Gr threshold is asserted (the elevated Nu is observed across the tested Gr range), so valid_above/valid_below are left null -- a qualitative mixed-convection regime invalidity. Driver = grashof_number (buoyancy), omitted from a pure-forced-convection analytical closure.", "valid_above": null, "valid_below": null, "variable": "grashof_number"}, "claim_id": "tam-ghajar-1998-validate-laminar-nu436-buoyancy", "claim_type": "validated-bound", "closure_id": "laminar-fully-developed-tube-uniform-flux-nu436", "conditions": {"fluid": "ethylene-glycol-water-mixtures", "geometry_class": "horizontal-circular-tube-uniform-heat-flux", "pr_range": {"max": 158.0, "min": 4.0}, "re_range": {"max": 2000.0, "min": 280.0}}, "contradicts_claim_id": null, "measured_divergence": {"extraction_method": "primary-source", "magnitude_pct": 360.0, "magnitude_uncertainty_pct": null, "measure": "mean_relative_pct", "n_points": null, "page_or_table": "p.190 (text: measured fully-developed laminar Nu is of order 20 vs the accepted 4.364) + Fig. 4 (laminar curves sit near Nu~20).", "region": "horizontal heated circular tube, laminar regime (Re < ~2000), uniform wall heat flux, with buoyancy-driven secondary flow (mixed convection); Gr ~1000-2.5e5.", "resolvability_ratio": null}, "notes": "Measured fully-developed laminar uniform-heat-flux Nu is of order 20 (text, p.190; Fig. 4) against the analytical 4.364 -- roughly +360% -- because buoyancy-driven secondary flow in the horizontal heated tube adds a mixed-convection enhancement the pure-forced-convection closure omits. Magnitude is primary-source but APPROXIMATE (the paper states an order-of-magnitude '~20', not a single value); recorded as ~+360%. Single source -> 'claimed'. Note: this is a buoyancy/Grashof failure mode, distinct from the entrance/x_over_D failure mode in the companion claim on this same source.", "role": "validate", "source_id": "tam-ghajar-1998", "status": "claimed", "supersedes_claim_id": null}

physmap/corpus/data/evidence_sources_seed.jsonl

@@ -0,0 +1,8 @@
+{"citation": "Dittus, F.W. & Boelter, L.M.K. (1930). 'Heat transfer in automobile radiators of tubular type.' Univ. California Publ. Engr. 2(13):443-461.", "doi": null, "notes": "Famous provenance caveat: what handbooks call 'Dittus-Boelter' differs in coefficient and exponent from the original paper. Bounds (Re > 10000, 0.7 <= Pr <= 160) cited via Bergman/Incropera 2011 sec. 8.5 restatement; primary paper not directly verified.", "source_id": "dittus-boelter-1930", "source_status": "populated", "source_type": "originating-paper", "year": 1930}
+{"citation": "Forrest, E. C., Hu, L.-W., Buongiorno, J., & McKrell, T. J. (2014). 'Convective Heat Transfer in a High Aspect Ratio Mini-Channel Heated on One Side.' Journal of Heat Transfer 138(2):021704.", "doi": "10.1115/1.4031646", "notes": "Tests 5 closures simultaneously (Modified Sparrow-Cur, Dittus-Boelter, Gnielinski, Petukhov, Sieder-Tate) on a one-sided heated narrow rectangular mini-channel at Re 10000-70000, Pr 2.2-5.4 (water 30-80 degC). Table 4 reports per-closure MAE; Figure 5 shows per-point data including the sub-critical (Re ~3800-3950) region used for visual-estimate digitization. SAND2014-18834J / OSTI 1295764.", "source_id": "forrest-2014", "source_status": "populated", "source_type": "validation-study", "year": 2014}
+{"citation": "Gnielinski, V. (1976). 'New equations for heat and mass transfer in turbulent pipe and channel flow.' Int. Chem. Engr. 16:359-368.", "doi": null, "notes": "Modified Petukhov correlation; transition + fully turbulent pipe/channel flow. Stated validity: Re 3000-5e6, Pr 0.5-2000. Extends Petukhov's lower-Re bound (10000 \u2192 3000) via explicit transition coverage. Primary text directly verified per the calibration corpus's gnielinski-1976 confirmed bounds.", "source_id": "gnielinski-1976", "source_status": "populated", "source_type": "originating-paper", "year": 1976}
+{"citation": "Jin, Y., Zhao, P., Wan, T., Chen, Z., Liu, K., Wang, X., Li, Y. & Wan, Y. (2023). 'Experimental investigation of buoyancy effects on the heat transfer of supercritical carbon dioxide in a vertical tube.' Annals of Nuclear Energy 188: 109825.", "doi": "10.1016/j.anucene.2023.109825", "notes": "USTC / Institute of Plasma Physics CAS. Local wall temperature, HTC, and Nu measured along a vertical heated tube (inner diameter 7.74 mm) for supercritical CO2, both upward and downward flow, over P 7.8-10 MPa, mass flux 138.3-512.1 kg/m2 s, heat flux 29-60.3 kW/m2, inlet temperature 14-33 C (T_pc ~33.5 C at 7.8 MPa). Nu uncertainty ~9.3%. Heat-transfer deterioration (HTD) occurs only in upward flow. Five existing correlations (Dittus-Boelter, Gupta, Jackson, Zhu, Kim) are tested against the data and found to diverge, especially in HTD; a new correlation with a buoyancy parameter (Bu) is proposed. Properties from NIST REFPROP.", "source_id": "jin-2023", "source_status": "populated", "source_type": "validation-study", "year": 2023}
+{"citation": "Petukhov, B.S. (1970). 'Heat Transfer and Friction in Turbulent Pipe Flow with Variable Physical Properties.' Advances in Heat Transfer 6:503-564.", "doi": null, "notes": "High-accuracy turbulent-pipe correlation using friction factor as a free parameter. Stated validity: Re 10000-5e6, Pr 0.5-2000. Superseded for transition (Re 2300-10000) coverage by Gnielinski 1976. Primary paper not directly verified; bounds cited via Bergman/Incropera 2011 sec. 8.5 restatement chain.", "source_id": "petukhov-1970", "source_status": "populated", "source_type": "originating-paper", "year": 1970}
+{"citation": "Sieder, E.N. & Tate, G.E. (1936). 'Heat transfer and pressure drop of liquids in tubes.' Ind. Eng. Chem. 28(12):1429-1435.", "doi": null, "notes": "Adds the (mu/mu_w)^0.14 viscosity-ratio correction for large wall-bulk temperature differences. Bounds cited via Bergman/Incropera 2011 sec. 8.5 restatement; primary paper not directly verified.", "source_id": "sieder-tate-1936", "source_status": "populated", "source_type": "originating-paper", "year": 1936}
+{"citation": "Sparrow, E. M. & Cur, N. (1982). 'Turbulent Heat Transfer in a Symmetrically or Asymmetrically Heated Flat Rectangular Duct With Flow Separation at Inlet.' Journal of Heat Transfer 104:82-89.", "doi": null, "notes": "Original form: Nu = 0.0464 Re^0.76 at fixed Pr=2.5, isothermal wall, alpha*=0.0556, Re 10000-45000. Mass-transfer experiment converted to heat transfer via Chilton-Colburn analogy. Modified by Forrest 2014 to extend Pr range via explicit Pr^(1/3) factor and adjust coefficient. Primary paper not directly verified; cited via Forrest 2014 restatement.", "source_id": "sparrow-cur-1982", "source_status": "populated", "source_type": "originating-paper", "year": 1982}
+{"citation": "Tam, L.M. & Ghajar, A.J. (1998). 'The unusual behavior of local heat transfer coefficient in a circular tube with a bell-mouth inlet.' Experimental Thermal and Fluid Science 16(3): 187-194.", "doi": "10.1016/S0894-1777(97)10019-X", "notes": "Oklahoma State University. Local peripheral Nusselt number measured along a horizontal electrically-heated circular tube (inside diameter 1.584 cm, L/D=385), uniform wall heat flux, ethylene-glycol/water mixtures, across laminar/transition/turbulent regimes, for reentrant, square-edged, and bell-mouth inlets plus three inlet-screen disturbance levels. Local bulk ranges: Re ~280-49000, Pr ~4-158, Gr ~1000-2.5e5, Nu ~13-258. HTC uncertainty ~9%. Reports two anomalies vs standard assumptions: (1) for a bell-mouth inlet the laminar boundary layer persists far downstream, producing a transition-region Nu dip that extends to x/D=100-175 (vs <25 for the turbulent entrance); (2) the measured fully-developed laminar Nu is far above the analytical 4.364 owing to buoyancy-driven secondary flow.", "source_id": "tam-ghajar-1998", "source_status": "populated", "source_type": "validation-study", "year": 1998}

physmap/corpus/data/premium_coverage.json

@@ -0,0 +1,60 @@
+{
+  "_comment": "Premium corpus COVERAGE map \u2014 closure_ids ONLY, no bounds. Bundled in core so the loader can tell case 2a (bounds in premium) from case 2b (registered, no bounds anywhere) without shipping the moat.",
+  "corpus_version": "0.2.4",
+  "n_closures": 53,
+  "closure_ids": [
+    "aung-worku-mixed-convection-1986",
+    "blasius-pohlhausen-flat-plate-forced-1921",
+    "blasius-pohlhausen-horizontal-plate-forced-1921",
+    "campbell-perkins-triangular-duct-air-1968",
+    "casson-rheology-1959",
+    "chen-flow-boiling-1966",
+    "cheng-curved-square-duct-nusselt-1975",
+    "cole-bubble-frequency-1960",
+    "cooper-pool-boiling-1984",
+    "depew-august-horizontal-tube-mixed-convection-1971",
+    "dittus-boelter-1930",
+    "dittus-boelter-buoyancy-sco2",
+    "eckert-reference-temperature-compressible-1972",
+    "giersiepen-wurzinger-hemolysis-1990",
+    "gnielinski-1976",
+    "gnielinski-constprop-sco2",
+    "goertler-concave-wall-transition-1940",
+    "groeneveld-chf-lut-2006",
+    "gungor-winterton-1986",
+    "herwig-perturbation-variable-property-bl-1985",
+    "heuser-opitz-hemolysis-1980",
+    "kandlikar-flow-boiling-1990",
+    "kurul-podowski-rpi-partitioning-1991",
+    "laminar-fully-developed-tube-isothermal-nu366",
+    "laminar-fully-developed-tube-uniform-flux-nu436",
+    "langtry-menter-transition-2009",
+    "launder-spalding-k-epsilon-1974",
+    "lemmert-chawla-nucleation-1977",
+    "liu-winterton-1991",
+    "mack-second-mode-transition-1969",
+    "marcos-bergles-horizontal-tube-mixed-convection-1975",
+    "marineau-entropy-layer-shock-interaction-2014",
+    "mcadams-vertical-plate-natural-1954",
+    "menter-sst-1994",
+    "millikan-log-law-of-the-wall-1938",
+    "modified-sparrow-cur-asym-narrow-rect-channel-2014",
+    "pate-stainback-freestream-noise-hypersonic-1980",
+    "perfect-gas-constant-cp-compressible-bl-1989",
+    "petukhov-1970",
+    "rohsenow-pool-boiling-1952",
+    "rotta-constant-turbulent-prandtl-number-1964",
+    "schnerr-sauer-cavitation-2001",
+    "shah-flow-boiling-1982",
+    "sieder-tate-1936",
+    "sieder-tate-laminar-combined-entry-1936",
+    "spalart-allmaras-1992",
+    "swanson-catton-opposing-mixed-convection-1987",
+    "tolubinsky-kostanchuk-departure-1970",
+    "tomiyama-drag-1998",
+    "tomiyama-lift-2002",
+    "whitaker-sphere-external-forced-1972",
+    "wilcox-k-omega-2006",
+    "zuber-chf-1959"
+  ]
+}