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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 16:02:47 UTC · snapshot created 2026-10-03 16:03:51 UTC · last check 2026-10-03 16:25:20 UTC

A.19.UINDM:4.2 - Interpretation notes (informative)

  • IndicatorSet selects basis positions. A Characteristic reference can match several positions with different Scales. S identifies the selected positions in the exact space declaration; each resolves uniquely through that basis. Obtain or reuse their values under the corresponding measurement/evaluation rule and retain the position and Scale in the profile. UINDM computes no measurement or conversion.

  • Subspace views are derived, not mandatory. If a project needs an explicit subspace view, treat it as a derived support view CS|_S, with S = IndicatorSetSlot over the exact base CS = CharacteristicSpaceSlot. Restrict its ordered basis and any state x|_S to S without reordering the retained positions. Do not add a new mandatory output to the kernel signature; model a first-class subspace support view via ⊑⁺ only when it is genuinely needed.

  • Justification is optional and externalized. The CHR SlotKind lexicon includes JustificationSlot, but the canonical UINDM intension does not require it. If a project needs a first‑class justification output, treat it as an extension (⊑⁺) rather than by mutating the base Indicatorize signature, and model the justification as a justification U.Episteme (e.g., JustificationSlot : ⟨ValueKind = U.Episteme, refMode = U.EpistemeRef⟩).

  • Evidence-gated indicatorization is explicit. Evidence gating is activated only by the chosen IndicatorChoicePolicy. In that case CGSpecSlot is required and the effective MinimalEvidence is explicit: use MinimalEvidenceSlot when supplied, otherwise CGSpecSlot.MinimalEvidence. The override remains optional.