Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-02 23:06:08 UTC · snapshot created 2026-10-03 01:38:24 UTC · last check 2026-10-03 03:35:15 UTC

A.3:6 - Illustrative scenarios (substrate‑neutral)

A.3:6.1 - Physical system — Cooling loop

The world-side occurrence run-2025-08-08-T14:03 is independently admitted under U.Work through A.13/A.15.1 with PumpUnit#3 as performer and an actual enactsMethod relation to CirculateCoolingFluid@CoolingLoop. If the receiving use also needs attribution under the same U.SystemRoleAssignment occurrence, cite its obtaining F.6 performedUnderAssignment relation. Cite centrifugal_pump_curve.ld when this Work claim relies on its content. Treat its claim-bearing episteme as a U.MethodDescription only if A.3.2 establishes that its EntityOfConcern is CirculateCoolingFluid@CoolingLoop and that it makes a substantive claim about that Method as a way of doing. A separately obtaining resource-use relation connects the Work individual to the 3.6 kWh use; the measured ΔT=6 K and any actual fluid change remain separately governed measurement, transformation, and work-to-change claims.

A.3:6.2 - Epistemic change — Proof revision

The world-side occurrence lemma-42-check-2025-08-08 is independently admitted under U.Work through A.13/A.15.1 with LeanServer as performer and an actual enactsMethod relation to CheckAndReviseLeanProof@Lean. If the receiving use also needs attribution under the same U.SystemRoleAssignment occurrence, cite its obtaining F.6 performedUnderAssignment relation. proof_tactic.lean, any exact MethodDescription edition, the theorem episteme, carrier or episteme change, and the check log remain separately governed. An exact evidence-use relation may use the log to support a receiving claim; production by the performer does not itself confer evidence status or support.

A.3:6.3 - Reflexive maintenance — “calibrates itself”

When the calibration controller and sensor suite are independently grounded as distinct internal positions, split into Regulator (acting position) and Regulated (changed position), cite the exact interaction and independently obtaining relations involving any claimed Work occurrence, and cite the evidence-use relation supporting each relied-on claim.

A.3:6.4 - Joint or non-separable physical participation

A tide-related change of seawater can be one independently grounded A.3.4 transformation. Moon–Earth–ocean gravitational coupling, joint dynamics, and causal participation are recovered through their direct relation, dynamics, interaction, and causality owners. Coupling or a minimal physical-agentivity reading alone does not make the Moon a holder of TransformerRole@Context and does not create U.Work. Use C.26 only if a residual probe-, frame-, order-, incompatible-read-, or no-faithful-export lens issue remains; C.26 is not physical quantum ontology or a second transformation owner.

A.3:6.5 - Reflexive work — scratching oneself

For a work-on-oneself claim, the containing holon is the person, the acting position is the grounded neural-control/right-arm subsystem, and the changed position is the grounded left-hand tissue or state. The exact U.SystemRoleAssignment, applicable method, dated work, work-to-change facts, and A.3.4 occurrence remain separate. Selecting these already grounded subholons uses A.14/C.13; it is not an MHT unless the person as a whole is reidentified under B.2.