Dual (Sabathé) Cycle Efficiency Calculator implementation

Binding contract

This record describes what an executable surface must bind and validate. It does not claim that a public calculator, package, or production route is deployed.

Record owner

Guth Instruments

Lifecycle

verified-clean

Evidence ID

t4-012

Effect

Computation or source lookup only

Input and validation requirements

The formula has a direct 0/0 undefined-result trap at alpha=1 and beta=1, which must be rejected. Additionally, the advertised net-work output cannot be computed from the supplied dimensionless inputs because no heat-input or energy scale is specified. The specification also omits the pressure-ratio direction and physical-domain rules.

Required corrections

No binding erratum is attached to this unique-name record. Implementers must still preserve the declared units, domain, and failure behavior.

Inspectable interface fixture

The sample below is evidence for interface and validation tests, not a production implementation.

{
  "inputs": {
    "r": 8,
    "alpha": 1.5,
    "beta": 1,
    "gamma": 1.4
  },
  "expected_outputs": {
    "eta": 0.564725,
    "net_work": null
  },
  "working": "β^γ=1^1.4=1. Numerator=αβ^γ−1=1.5×1−1=0.5. Denominator=(α−1)+γα(β−1)=(1.5−1)+1.4×1.5×(1−1)=0.5+0=0.5. r^(γ−1)=8^0.4≈2.297397, so r^(1−γ)=1/2.297397≈0.435275. η=1−0.435275×(0.5/0.5)=1−0.435275=0.564725. β=1 is the boundary case reducing to the Otto-cycle result. Net work is undetermined."
}

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