PRF0006activev1Prose Proof of Six-Generator Rigidity Failure
Prose-mode proof of the Six-Generator Rigidity Failure (THM0013). Argues by counterexample that six generators do not suffice to fix the τ-Kernel construction uniquely — five is minimal.
Payload
Proof
Proof steps
- Construct an alternate six-generator system.
Construct a six-generator system that respects the K-axioms (e.g., AXM0001 / bridge-functor-exists for the bridge layer) but yields a distinct τ-Kernel construction from the canonical five-generator system anchored by DEF0001.
Uses:
prrp://def0001@v1(uses definition) - Compare to canonical five-generator construction.
The two constructions agree on the boundary anchor (LEM0001) but diverge on the iterator ladder (THM0003), establishing non-rigidity.
Uses:
prrp://lem0001@v1(uses lemma),prrp://thm0003@v1(uses theorem) - Conclude rigidity failure.
The alternate construction witnesses that six generators are insufficient to fix the τ-Kernel uniquely, establishing THM0013.
Identifiers
Aliases & legacy IDs
proof-prose-six-generator-rigidityRelease lines
corpus_v3_workingRelations
Upstream dependencies (3)
Version & History
Status disclaimer
A Corpus Item page reports the program's current internal record for this item. It does not imply external verification, scientific consensus, or final proof unless explicitly stated. Read it together with its dependencies, formalization status, and the program's overall stance.