nox/specs/patterns/05-add.md ฯ 0.0% pattern 5: add parameterized by F. abstract: add_F(a, b) โ a + b in F canonical: (v_a + v_b) mod p cost: 1. constraints: 1. Local Graph