E3_scope
plain-language theorem explainer
The E3 scope definition locks the exact title string for the E-3 paper to DREAM Virtues as Ethical Generators. Paper drafts cite this constant to enforce consistent claim boundaries and avoid placeholder drift. The implementation is a direct string assignment with no computation or external dependencies.
Claim. The scope for the E-3 paper is the string ``DREAM Virtues as Ethical Generators''.
background
This module freezes exact claim scopes for the next-tier papers in the Recognition Science series. It distinguishes epistemic tiers: machine-checked theorems require zero sorry, postulates bundle physical assumptions, definitions record modeling choices, hypotheses carry stated falsifiers, and out-of-scope items are deferred. The papers covered include C-1 through E-3, with E-3 specifically scoped to DREAM Virtues as Ethical Generators.
proof idea
One-line definition that binds the string literal directly to the scope identifier.
why it matters
This definition secures the fixed boundary for the E-3 paper on DREAM Virtues as Ethical Generators. It supports the overall framework by ensuring publications reference resolved scopes rather than open placeholders, consistent with the epistemic tier rules in the module documentation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.