Experiment Plan | Chapter 3 | Prerequisites: Phase-0 | 28 min read | Home
Phase 1: Core Pipeline (Week 2-3)
Goal: Full forward pass from goal state to navigational output, with proof network resolution. Code status: All modules implemented (proof_navigator.py, proof_network.py, resolution.py, proof_search.py, lean_interface.py, nav_contracts.py, losses.py). Awaiting integration testing with real data.
1.1 Implement GoalAnalyzer with Bank/Anchor Heads
What: Extend the existing GoalAnalyzer to predict bank positions and anchors alongside features.
How:
---
*Sources: `docs/WAYFINDER_PLAN.md`*
## See Also
- [Phase-0](../phase-0/)
- [Phase-2](../phase-2/)