ALB-039: training-memory-kernel-v1 contract + VRAM estimation in apr train plan #37
Description
Summary
apr train plan now shows VRAM estimation backed by contracts/training-memory-kernel-v1.yaml.
Contract
- 5 equations: parameter_count, weight_memory, gradient_memory, optimizer_memory, activation_memory
- 5 proof obligations (4 equivalence tolerance=0, 1 bound)
- 3 falsification tests
- 1 Kani harness
Implementation
aprender@2a83ca22: closed-form VRAM projection from architecture params- References contract equations in code comments
Status
Contract validates (pv validate passes). Pending FALSIFY-MEM-001 binding to entrenar.