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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 09:30:10 UTC

A.6.6:11 - SoTA-Echoing

  1. RDF-star and statement qualification. Adopt/Adapt. RDF-star/SPARQL-star explored attaching qualifiers/provenance to statements and edges. RDF 1.2’s Candidate Recommendation Snapshot of 7 April 2026 distinguishes representing a proposition from asserting that it holds. We adopt the “qualified statement” intuition, but adapt it by requiring an explicit relation kind and by making Γ_time and USM scopes explicit when the direct relation or receiving use needs them. Primary sources: Hartig and Thompson, Foundations of an Alternative Approach to Reification in RDF (first submitted 2014), retained as history and marked obsolete by its authors; RDF 1.2 Concepts and Abstract Data Model, Candidate Recommendation Snapshot, 7 April 2026.

  2. Wikidata-style statements with qualifiers and references. Adopt/Adapt. Wikidata statements separate a core statement from optional qualifiers and references. We adopt that separation and adapt it by making decision-relevant basis requirements explicit through exact evidence-use relations, with slots only for a genuinely reused declaration, and explicit scope/time where the assertion or time-dependent use needs them. Primary source: Wikidata, Help:Statements.

  3. Metrology traceability and calibration competence. Adopt/Adapt. Calibration is an operation relating a standard’s quantity values and uncertainties to indications, then using that information to obtain measurement results. Metrological traceability is a property of a measurement result related to a reference through a documented calibration chain. We retain the need for documented calibration evidence and adapt time-dependent applicability through explicit Γ_time and the witnesses or pinned calibration records required by the assertion or receiving use. Primary sources: JCGM VIM, calibration (2.39) and metrological traceability (2.41); ISO/IEC 17025:2017, edition confirmed in 2023.

  4. Assurance case metamodels for claim–evidence structure. Adopt/Adapt. SACM formalises claim/evidence structures and emphasises structured support relations. We adopt the idea that decision-relevant admissibility links should be explicit, and adapt it by using FPF’s scope/time discipline and by treating relation-kind elision as a first-order defect. Primary source: OMG Structured Assurance Case Metamodel (SACM), version 2.3, October 2023.

  5. Objects over a base as a stable mathematical lens. Adopt/Adapt. Modern category-theory texts make “objects over a base” (slice categories) a reusable pattern for “X relative to B”. We adopt that lens as the stable abstraction behind base declarations, and adapt it with explicit scope/time and witness semantics needed for engineering governance. Primary source: Riehl, Category Theory in Context (2016).

SoTA binding note (informative): the “object over a base” lens is the abstraction used to keep the pattern stable across domains (item 5).