Unrestricted Choice
Current Results-side recovery status for Unrestricted Choice.
Status note. This page reports current recovery status. It does not imply external acceptance unless explicitly stated.
Status Separation
- Internal status: Not Applicable
- Verification state: Not yet verified
- External status: Not externally reviewed
Requirement
Choice-like principles may be studied and bridged, but they cannot enter the kernel as untyped ambient permission.
Current Recovery Status
- Recovery status: Not Applicable
- Verification status: Not yet verified
- Program ledger item: MREF-R3
- Verification mode:
coherence_constraint
Result Summary
The refusal is not an anti-mathematical slogan. It protects the distinction between what the kernel constructs, what it treats as an object theory, and what it may borrow under an explicit bridge. Unrestricted choice becomes dangerous only when it silently moves from external mathematics into primitive machinery.
Related Result Items
- Granular Result mapping pending.
Related Corpus Construction Steps
- Construction Spine mapping pending.
Related Verify Surfaces
- verify-formal-verification-stack
What This Status Does Not Yet Establish
- It does not deny the usefulness of choice-like principles inside classical mathematics.
- It does not forbid studying ZFC or related systems as object theories.
- It does not prevent bridge use when the assumptions are named.
Projection Metadata
- Generated from:
corpus/recovery-requirements - Projection version:
v0.1 - Do not edit generated projection:
True
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.