IndisputableMonolith.Economics.MonetaryPolicyToolsFromConfigDim
This module supplies definitions for monetary policy tools derived from configuration dimension in the Recognition Science economics setting. It builds directly on the RS time quantum and introduces types plus certificates for the tools. The module contains only definitions and no theorems or proofs.
claimDefinitions of monetary tool types, their enumeration, and certification objects within the RS-native economic model.
background
The module sits in the Economics domain and imports IndisputableMonolith.Constants. The upstream doc-comment states: 'The fundamental RS time quantum (RS-native). τ₀ = 1 tick.' Sibling declarations in the module are expected to formalize monetary tools obtained from the configuration dimension, using the imported time quantum as the base unit.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module establishes the core objects needed to apply Recognition Science to monetary policy questions. It supplies the base layer that later economic results would cite, linking the time quantum τ₀ to policy-tool definitions. No downstream declarations are recorded yet.