E3_scope
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.
claimThe 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 in Recognition Science
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.
scope and limits
- Does not prove any theorem or contain a proof body.
- Does not define the DREAM virtues or their mathematical content.
- Does not reference specific upstream lemmas beyond the module import.
- Does not address falsifiers or empirical tests for the E-3 topic.
formal statement (Lean)
203def E3_scope : String := "DREAM Virtues as Ethical Generators"
proof body
Definition body.
204
205end IndisputableMonolith.Papers.ClaimBoundaries