# SFT Tools (Data → Target → Certificate)

This folder contains lightweight tools that support the SFT III workflow:

- `infer_target_two_cycle.py` : infer affine diagonal coupling b ≈ α a + Ψ (mod P) and decide CST vs full torus.
- `infer_degree_from_loop.py` : compute degree from sampled loop phases (unwrapping).
- `build_wsc_from_data.py` : build a WSC JSON using declared assumptions, inferred target, inferred witness integer, and stability margins.

These tools are intentionally conservative: they do not over-claim and will emit a WOB stub when inference is inconclusive.

- `infer_target_integer_matrix.py` : infer small-integer matrix constraints Ay≈Psi (mod P) in T^k.
