Guth
NewsDocs
Page actions
View as Markdown ↗
Explore MCP tools ↗

instrument / verified-clean

Kc ⇄ Kp Converter

The current ledger marks this instrument verified clean within the source-bound verification corpus.

Status: VERIFIED_CLEANLifecycle: verified-clean

Inspectable records

Ledger state

The current ledger marks this instrument verified clean within the source-bound verification corpus.

Area
Chemistry & Materials
Tranche
tranche-4
Evidence ID
t4-111
Ledger rows
1

No ledger note is attached.

Review findings

The mathematical relation is conditionally correct, but the instrument cannot honestly claim a universal Kc/Kp conversion until it specifies ideal-gas assumptions, temperature units, pressure and concentration bases, standard-state treatment, and the reverse-operation behavior. Verdict is NEEDS_REVIEW because the exact unit convention is unspecified.

Formula and scope findings

  • Kp=Kc(RT)^Δn is the standard ideal-gas relation only when Δn counts gaseous products minus gaseous reactants and all equilibrium-constant units or standard states are consistent.
  • The reverse operation is not explicitly given; it must be Kc=Kp/(RT)^Δn.
  • The specification does not state whether Kc and Kp are dimensional concentration/pressure constants or dimensionless standard-state constants. For dimensionless constants, standard concentration and pressure factors must be defined.
  • The formula assumes ideal-gas behavior; this limitation is not stated.

Unit assumptions

  • Temperature must be absolute temperature in kelvin; if Celsius is accepted, convert with T_K=T_°C+273.15.
  • With R=8.314 J/(mol·K), pressure is represented in pascals and concentration in mol/m^3 for the direct dimensional interpretation.
  • Δn must count only gaseous species and equals gaseous-product stoichiometric coefficients minus gaseous-reactant stoichiometric coefficients.
  • The numeric units of Kc and Kp depend on Δn; the interface must identify their unit or standard-state convention.
  • Equilibrium constants must be positive, and physical temperature must be greater than 0 K.

Boundary hardening

BREAK_CLAIMED · SELF_FLAGGED

An unvalidated input of T = 0 K with Δn = -1 produces 0^-1, an undefined division by zero. Temperature-unit ambiguity can also produce an incorrect result if a Celsius value is accepted as Kelvin.

Errata and corrections

No applied erratum is attached to this unique-name record.

Inspectable example

4 review vectors are recorded. One source-bound sample is shown below.

{
  "inputs": {
    "Kc": 2.5,
    "delta_n": 1,
    "temperature_K": 298.15,
    "Kc_basis": "mol/m^3",
    "Kp_basis": "Pa"
  },
  "expected_outputs": {
    "Kp": 6197.04775
  },
  "working": "RT=8.314×298.15=2478.8191. (RT)^Δn=2478.8191^1=2478.8191. Kp=Kc×(RT)^Δn=2.5×2478.8191=6197.04775 Pa."
}

Related workflows

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

  • VERIFIED_LEDGER.json · VERIFIED_CLEAN
  • evidence-tranche4/tranche4-results.json
  • BOUNDARY_HAZARD_CATALOG.json