IndisputableMonolith.Economics.MonetaryPolicyToolsFromConfigDim
This module defines monetary policy tools derived from the configuration dimension within Recognition Science economics. It introduces the type MonetaryTool along with its count function and certification via MonetaryToolsCert. The module imports the core Constants to ground definitions in the RS time quantum. It consists entirely of type and function declarations with no theorems or proofs.
claimIntroduces the type $MonetaryTool$ of policy instruments derived from configuration dimension, the enumeration function $monetaryTool_count$, and the certification predicate $MonetaryToolsCert$ together with its constructor $monetaryToolsCert$.
background
Recognition Science applies its foundational constants to economics in this module. The sole upstream import is IndisputableMonolith.Constants, whose doc-comment states that it supplies the fundamental RS time quantum (RS-native) with τ₀ = 1 tick. The module therefore anchors all monetary-tool definitions to this base unit. Sibling declarations MonetaryTool, monetaryTool_count, MonetaryToolsCert and monetaryToolsCert supply the concrete objects for policy instruments and their certification.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the basic typed objects required for any Recognition Science treatment of monetary policy. With zero downstream uses recorded, it functions as an entry point that later economic theorems can import to obtain certified tools derived from configuration dimension.
scope and limits
- Does not derive numerical policy rates or interest rules.
- Does not connect tools to empirical macroeconomic data.
- Does not prove invariance or optimality properties of the tools.
- Does not reference the phi-ladder or J-cost explicitly.