Project Map
An interactive dependency map of the BEDC project: each node is a namecert region, each edge a dependency, sized by theorem count, colored by status. Click any node for the bilingual term entry. EN / 中文 toggle at top right.
BEDC Project Map
Language:
Filters
Click a node to see its bilingual entry, stats, and dependencies.
Where AI is attacking now
Closure pipeline
Top unblock targets
Next grade transitions
Legend
Color = theory closure tier
seed
obligation
scoped
public
bridged
mature
Overrides
Frontline (AI's current target)
In progress (theorems landing, no closurestatus yet)
Schema-only horizon (intentional)
Scaffold (paper only, Lean pending)
Shape = formal verification tier
○ unformalized · △ statement-only or in-progress · ⬡ theorem-checked · ★ audit / axiom / bridge clean
Size = total paper obligations (checked + stated). Border = thick red for AI's current target.
Bilingual Glossary