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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 05:50:20 UTC

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.