Proof Implication Lattice & Lemma Dependency Mapper

Topological Proof Lattice ✓ Acyclic DAG (Verified)

Node Types

Axiom / Foundational

Intermediate Lemma

Cross-Domain Bridge (AI)

Target Theorem

Invalidation / Stress Cascade

Tip: Click any node to inspect implications. Click Stress-Test Node to simulate counterexample propagation.

Proof Diagnostics & Scaffold

Valid DAG

Proof Depth

Critical Bottleneck

Subfield Independence

33%

Total Nodes / Edges

6 / 5

B1: Cross-Domain Gradient Flux Bridge

Bridge (AI-Verified)

Connects Bochner-Weitzenböck Identity Reduction in Differential Geometry with Dirichlet Eigenvalue Monotonicity in Spectral Geometry via Geometric Measure Theory.

Subfield: Geometric Measure Theory Downstream Impact: 2 theorems/lemmas

34 lines generated