Results Registry Noteworthy Result Canonical metaphysics Contradictions at boundaries do not propagate; lemniscate crossing admits both truth values simultaneously without explosion.
Results · Additional Noteworthy Results · Metaphysics Standalone additional result High confidence

No-Explosion at Boundaries

Contradictions at boundaries do not propagate; lemniscate crossing admits both truth values simultaneously without explosion.

VII.T29 Metaphysics Book VII tau-effective formalized

What this page is

This is a public Results-lane surface for a noteworthy Metaphysics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.

Registry evidence

  • Registry item: VII.T29
  • Type: theorem
  • Scope: tau-effective
  • Lean status: formalized
  • Book / part / chapter: Book VII · Part 6 · Chapter 74

Result summary

Contradictions at boundaries do not propagate; lemniscate crossing admits both truth values simultaneously without explosion.

  • No existing public Results surface is linked yet; this record is promoted as a standalone Registry-backed result.

Reading role

Read as a standalone Registry-backed noteworthy result.

Claim boundary

This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.

Curation rationale

  • metaphysics-facing terms: truth
  • theorem/proposition-class item appears externally legible enough for standalone review

Review notes

  • No additional review notes recorded.

Inspection Links

Registry item VII.T29 Corpus Registry Inspect the atomic Registry projection. Verify Review semantic adequacy, bridge assumptions, and external challenge routes. Additional Noteworthy Results Return to the Registry-backed result surface.

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.

Email to expert