fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 95829–95839

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 13:45:10 UTC

E.17.EFP:5.2 - Genuinely entailed connective

Source claims under exact thermal scheme RS_plantThermal.

  • D-14: During standard load, CL-2 outlet temperature is at most 65 °C.
  • D-18: During standard load, inspection criterion IC-7 is satisfied when that same outlet temperature is at most 70 °C.

Published reconstruction. During standard load, CL-2 outlet temperature satisfies the IC-7 upper-bound criterion stated by D-18.

The connective is recoverable because both claims concern the same outlet and load context, RS_plantThermal supplies the Celsius order, and 65 <= 70. The compact addedLinkPolicy points to {D-14,D-18}, RS_plantThermal.order, and that one-step derivation. It does not merely call the link implied. This form may be SourceLinkedExplanationReconstruction while those exact premises and rules remain current.