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

instrument comparator / verified-workflow-definition

Engine Cycle Comparator

Same T/r/γ inputs across six ideal cycles — who wins and why.

Status: observedLifecycle: verified-workflow-definition

Goal

Same T/r/γ inputs across six ideal cycles — who wins and why.

Instrument chain

  1. 01
    Carnot Efficiency Calculator

    upper bound

    VERIFIED
  2. 02
  3. 03
  4. 04
  5. 05
  6. 06
  7. 07

Handoffs and cross-checks

Shared r/γ/T inputs; Carnot at the same reservoirs is the ceiling nothing may exceed.

PointGuard stance

Every cycle result is bounded above by Carnot at the same temperatures — enforce it as an invariant; Diesel→Otto as rc→1 is a second invariant (t3-012 handled it right).

Sources and evidence

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

  • INSTRUMENT_COMBOS.json
  • VERIFIED_LEDGER.json