Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 08:40:10 UTC
C.22:4 - Forces
Force
Tension
Parsimony vs sufficiency
Fewer fields to avoid ceremony vs enough to drive admissible gating.
Unknowns
Many traits are unknown in the initial problem record → tri-state semantics propagate to Acceptance without silent coercions.
CHR admissibility
No mean on ordinals; no unit mixing; aggregation is admissible only after polarity and scale type are declared.
Locality vs portability
The declaration is use-bounded. Cross-semantic reuse first resolves two exact local senses and tests whether an F.9 Bridge obtains; the proposed use and any evidence reliance or assurance remain separate claims.