Regenerating snippets/Global.lean and ZirenDet/Septic.lean.

1. zkm-picus --chip Global --derive --format lean --lean-out-dir OUT
2. Extract the conjuncts of OUT/ZirenDet/Chips/Global.lean into conj.txt, one per line in
   constraints_0..3 order, without the trailing ` ∧` (see the extraction loop in gensnip's
   history: every line of a `def constraints_k` body is one conjunct).
3. python3 classify.py   -- reifications (`x_r - e = 0`, the later one when a column has two)
                            and the expanded equations -> full.pkl
4. python3 targets.py    -- matches each component of the septic identities to a conjunct -> match.pkl
5. python3 gensnip.py ../../Global.lean
6. python3 genlib.py     -- Septic.lean from Septic.tmpl (the `sm` product, the φ quotient and the
                            square-and-multiply chains of the certificates)
