{
  "trials": 40,
  "fixed_under_q_to_uq": true,
  "construction_inputs": [
    "ε = 1 + √2",
    "the prime 11",
    "√2 / the field Q(√2)",
    "χ₈"
  ],
  "forbidden_inputs_used": [],
  "non_circular": true,
  "note": "the round's required mutation is Θ'_aux = q_f·Θ_aux; it must turn this check red",
  "agrees": true
}