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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 17:24:51 UTC · snapshot created 2026-10-03 17:30:20 UTC · last check 2026-10-03 19:10:05 UTC

E.10.MOVE:4.5 - Durable name repair

A durable name states the recovered subject value or relation; it does not retain an implementation head merely because the fields are typed.

Misleading durable nameRepair
localMoveLocusName the exact local value or relation and its subject pattern. Do not preserve locus as a cross-pattern grouping head.
ExpectedEvaluationMovementUse ExpectedEvaluationResultChange@Context only when the E.23 prediction positions are recoverable.
FirstMoveRecord@ContextName the actual first result or relation governed by the direct pattern.
Pattern-Use SequenceUse PatternUseCoordination@Context for the coordination judgement, PatternUseOrderingRelation@Context for one justified pairwise precedence relation inside it, and PatternUseSequence@Context only for the bounded total-order specialization under a named receiving use. Keep conversational coordination or ordering unmaterialized when no later reliance needs an addressable object.

These are repair demonstrations, not a global replacement table.