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

instrument mechanism / verified-clean

Ideal Gas Law Calculator mechanism

The inspectable method record for Ideal Gas Law Calculator, kept separate from implementation and qualification.

Status: VERIFIED_CLEANLifecycle: verified-clean

Model scope

PV=nRT is the correct ideal-gas equation, and its rearrangements correctly solve for any one missing variable when the other three values, units, and R are valid. Verdict is NEEDS_REVIEW because the spec does not define input units, absolute-temperature requirements, absolute-pressure requirements, or physical-domain constraints.

No additional formula finding is recorded.

Units and conventions

  • P, V, n, and T must use mutually consistent units with R.
  • Using R=0.08206 requires P in atm, V in L, n in mol, and T in K.
  • Using R=8.314 requires P in Pa, V in m^3, n in mol, and T in K.
  • Temperature must be absolute Kelvin, not Celsius.
  • Pressure must be absolute pressure, not gauge pressure.
  • The supplied R values are rounded approximations; labeling both simply as CODATA is imprecise, especially for 8.314 J/(mol·K).

Inspectable vector

One of 4 source-bound review vectors:

{
  "inputs": {
    "n": 2,
    "n_unit": "mol",
    "T": 300,
    "T_unit": "K",
    "V": 10,
    "V_unit": "L",
    "R": 0.08206,
    "R_unit": "L·atm/(mol·K)"
  },
  "expected_outputs": {
    "P": 4.9236,
    "P_unit": "atm"
  },
  "working": "P = nRT/V = (2 mol × 0.08206 L·atm/(mol·K) × 300 K) / 10 L = 49.236 L·atm / 10 L = 4.9236 atm."
}

Failure boundary

BREAK_CLAIMED · SELF_FLAGGED

The specification does not state validation for absolute-zero inputs, zero-mole division traps, unit-system branch selection, or Celsius-versus-Kelvin temperature interpretation. A plain-arithmetic implementation can return undefined/NaN or materially wrong results instead of rejecting or disambiguating these cases.

Other records

Sources and evidence

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

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