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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 11:50:05 UTC

C.3.A:B.4 - VA lane [A/I]
  • VA-1. A proof carrier SHALL cite the exact claim, quantified kind, KindSignature edition, and assumed scope slices.
  • VA-2. A proof of a universal claim need not invent a candidate; application to an actual candidate uses Guard_CandidateUse separately.
  • VA-3. Cross-context proof reliance SHALL recover the target declaration and any required bridge channels, with their loss and R consequences.
  • VA-4. Tool-kernel qualification belongs to TA and does not raise the declaration’s F or candidate truth.

Example: a proof over PassengerCarSignature@v4 assumes a dry-road slice. Reuse at Plant-B requires kind-identity and scope settlement, with bridges only where required. Application to VIN-17 then uses the Plant-B target signature and exact target judgment.