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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 07:42:37 UTC · snapshot created 2026-10-03 07:43:27 UTC · last check 2026-10-03 07:55:10 UTC

A.14:9.5 - Grounding and validation (normative)

IDRequirementPurpose
CC-GND-1A direct ut:StructPartOf assertion is usable without this assurance profile. When its publication elects B.3.5 or a named current requirement demands that profile, the assertion must use validationMode=axiomatic and link through tv:groundedBy to its applicable current C.2.1 sum or slice construction trace. The trace reports independently grounded participants, direct relation occurrences, the construction rule, and identity or reidentification conditions; it creates none of them.Makes an elected assurance basis inspectable without making it the relation’s truth-maker.
CC-GND-2For epistemic edges (ut:EpiPartOf and its sub-types), tv:groundedBy is optional; instead supply ev:evidence and set validationMode in {axiomatic, postulate, inferential}.Harmonises evidence treatment for epistemic edges.
CC-GND-3The public query Standard remains ?x ut:PartOf+ ?y; every result still depends on its direct relation semantics and identity. Alias, trace, or validation mode creates or reidentifies no occurrence.Preserves one query surface without moving authority into assurance apparatus.

Note. Property names and trace semantics are defined in CT2R-LOG and Compose-CAL.