regular kernel common coefficient.json

{
  "assumptions": "u andC nonzero; declared positive source scales",
  "equations": [
    "25u/2=kappa(C+2T)",
    "13u/2=kappa C"
  ],
  "compatibility": "6C=13T",
  "coefficient": "kappa=13u/(2C)",
  "source_kappa": 5,
  "proof": "Eliminatekappa usingthesecondequation:25C=13C+26T, hence6C=13T; substitute back.",
  "five_requirement": "kappa5 additionallyrequiresC=13u/10",
  "scope": "Logicalparameteranalysis, notsearch for newsourcevalues."
}