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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 10:17:34 UTC · last check 2026-10-03 10:30:16 UTC

G.13:4.2 - Interop kit objects & surfaces (pattern-governed; notation‑independent)

All objects below are conceptual. Any concrete serialisation belongs to Annex/Interop or tooling notes and is not normative for Part‑G conformance.

  • ExternalIndexCard@Context — registration of an external source and its snapshot.

    Shape (conceptual): ⟨ ExternalIndexId, ProviderName?, ExternalIndexType, CoverageScope, Licence?, ExternalEdition, FreshnessWindow?, entityOfConcern := ⟨GroundingHolon, ReferencePlane⟩, Notes? ⟩

    Intent. Create a stable, citable “source card” so downstream artefacts can pin the card edition via ExternalIndexRef.edition, while the provider snapshot remains visible as ExternalEdition (do not echo provider snapshot ids into downstream cards; cite refs instead).

  • ClaimMapperCard@Context — a conceptual “mapping recipe” that yields FPF‑native artefacts from an external source.

    Shape (conceptual): ⟨ MapperId, ExternalIndexId, MappingPolicyRef, Targets{ClaimSheet|BridgeHints|SoSFeatureSet|UTSProposals}, PlaneMapRef?, ScaleEmbeddingSpecRef?, EvidenceGraphId?, CSLCProofStubs? ⟩

    Notes.

    • This is not a shadow legality gate. It is an interop surface that cites governing definitions (A.19, G.0, G.3, G.4) and publishes the required pins for downstream audit/refresh.
    • When cross‑plane or cross‑context reuse is implicated, the alignment outputs must use the existing crossing bundles (see G.Core linkage).
    • Avoid “edition echo”: downstream artefacts cite ExternalIndexRef.edition and ClaimMapperRef.edition (and optional PlaneMapRef.edition / ScaleEmbeddingSpecRef.edition) rather than copying snapshot ids/editions as free fields.

  • SoSFeatureTransform@Context — declares how external signals become CHR‑typed SoS features (for DHC/dashboard usage and/or SoS‑LOG rule evaluation).

    Shape (conceptual): ⟨ SoSFeatureTransformId, Inputs{ClaimSheetId[] | ExternalSignalsRef}, SoSFeatureSetId, FeatureTypingRefs{CharacteristicId/ScaleId/CoordinateId}, ReferencePlane, EvidenceGraphId?, PathSliceId[]?, ProofHooks? ⟩

    Notes.

    • The derivation records typing + provenance; comparator and legality definitions remain with the cited governing patterns. When features are used as DHC measurements, establish or reuse C.16 measurement results. Make the active C.21 DHCReplayBasis recoverable for every persisted, compared, aggregated, or published coordinate.

  • ScaleEmbeddingSpec@Context — optional constraints for representation/space alignment used inside an alignment recipe.

    Shape (conceptual): ⟨ ScaleEmbeddingSpecId, IntendedUse, AllowedTransformFamily, RequiredPins{NormalizationMethodRef.edition?}, ProhibitedCoercions ⟩

    Design intent. Make any representation alignment explicitly constrained and edition‑pinned, instead of silently “creating a new scale”. LEX/UTS note (informative). ScaleEmbeddingSpec is a LEX head; when a public id is minted for a ScaleEmbeddingSpec, the corresponding UTS row must be published with twin labels (see G.Core / UTS profile).

  • IndexTelemetryPin — an emitted refresh input that makes interop changes RSCR‑visible.

    Shape (conceptual; RSCR‑typed): ⟨ triggerKindId: RSCRTriggerKindId, scope: PathSliceId[] | PathId[] | PatternScopeId, payloadPins{ExternalIndexId, ExternalIndexRef.edition, ClaimMapperRef.edition?, MappingPolicyRef?, PlaneMapRef.edition?, ScaleEmbeddingSpecRef.edition?, PathId[]?, PathSliceId[]?, UTSRowId[]?, …} ⟩

    Publication. Emitted to G.11 as refresh input; recorded with canonical RSCRTriggerKindId causes.

  • InteropSurface@Context — a selector-facing or dashboard-facing summary of what interop publications and records exist and how they are pinned.

    Shape (conceptual): ⟨ InteropSurfaceId, ExternalIndexId, ExternalIndexRef.edition, MapperId?, ClaimMapperRef.edition?, MappingPolicyRef?, SoSFeatureSetId?, EvidenceGraphId?, PathSliceId[]?, PlaneMapRef.edition?, ScaleEmbeddingSpecRef.edition?, UTSRowId[] ⟩

    Publication. Published to UTS with twin labels as applicable.