Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:10:20 UTC
MMP.9:12 - Relations
A.3.3.TR and A.3.3.PI: compose source changes, determine the information needed for the future question and update the retained account. MMP.9 constructs a remaining closure or bound after those operations expose the gap.
C.29.1 and MATH.2: compare the retained construction with the source and determine which answers survive identification; use their exact or bounded transfer where applicable.
MMP.7 and MMP.8: construct observation laws and information-limited choices when a learned or controlled reduced model uses them. Their conditions determine which data law or action rule is actually being compared.
C.28.MR and B.5.MPC.R: reconsider the relevant mechanism or connected accounts when an intervention or model change alters the source law.
C.11.DUA: decide whether further derivation, observation or comparison is worth its cost for the receiving decision.
E.22 and E.23: frame the question for evaluating a candidate, then organize repeated improvement under that evaluation when needed.
EXD and C.2.8: EXD develops an explanation for the recipient’s question; C.2.8 compares what structure that recipient can recover from its expression under stated conditions. Prediction and explanation can require different retained results.
ME: use the mathematical result to construct or change the working method it describes.