IndisputableMonolith.Ethics.CostModel
The Ethics.CostModel module supplies a minimal cost model for actions of type A with nonnegative real costs, together with preference and improvement relations. It supports ethical decision structures in the Recognition Science framework and would be cited by researchers formalizing preference orders or scoring in ethics. The module is definitional, establishing basic types, relations, and monotonicity properties without complex proofs.
claimLet $A$ be a type of actions. The module defines a cost model assigning to each $a : A$ a cost $c(a) : [0, +∞)$, together with a preference relation $a_1 ≼ a_2$ and an improvement relation that are reflexive, transitive, and monotonic under composition.
background
The module sits in the Ethics domain and imports the Gap45.Beat module, whose doc-comment states: 'Gap45 gating rule: experience is required exactly when the plan period is not a multiple of 8. This captures the Source.txt policy that 8-beat alignment disables Gap45 gating.' It therefore inherits the eight-tick octave structure from the forcing chain. The module introduces CostModel as the central object, Prefer and Improves as relations on actions, and auxiliary definitions such as Composable, CQ, score, and CQAligned that encode alignment and scoring conventions.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the basic cost and preference vocabulary required by the Ethics domain of Recognition Science. It depends directly on the Gap45.Beat module and thereby inherits the eight-tick octave (T7) alignment rule. Although no downstream theorems are listed, the sibling declarations (Prefer, Improves, score, CQAligned) indicate that the module feeds higher-level ethical constructions that combine costs with 8-beat gating.
scope and limits
- Does not compute concrete cost values from physical parameters.
- Does not incorporate the Recognition Composition Law.
- Does not model multi-agent or temporal dynamics.
- Does not address the full phi-ladder mass formula.