adac.certify#
- adac.certify(config: dict[str, Any], *, n_freq: int = 1024, controls: dict[str, Any] | None = None) dict[str, Any][source]#
compute a stability certificate for a json config dict.
analyses every feedback loop with a small-gain bound over a frequency grid and checks every iir section’s poles, using the parameter values exactly as emitted to faust (ten significant figures, single precision).
- Parameters:
config (dict) – json config dict as produced by flamo_to_json(). macro controls embedded under config[“controls”] are taken into account (the rt60 control adds guaranteed loop attenuation at any slider position).
n_freq (int) – number of grid points on [0, pi] for frequency-dependent elements.
controls (dict, optional) – call-time macro controls, merged over any embedded in the config with the same precedence as json_to_faust(), so the certificate describes the same dsp the codegen emits.
- Returns:
certificate – json-serialisable certificate with an overall verdict, one entry per feedback loop, and a global filter pole check.
- Return type: