{
  "budget": {
    "negative": [
      {
        "expected": {
          "detectable_floor_ppm": null,
          "drift_ppm": null
        },
        "input": {
          "accounted_uj": 5,
          "granted_uj": 0
        },
        "note": "a ratio against a zero grant is not a figure"
      }
    ],
    "positive": [
      {
        "expected": {
          "detectable_floor_ppm": 1,
          "drift_is_resolvable": true,
          "drift_ppm": 5000,
          "floor_is_physical": true
        },
        "input": {
          "accounted_uj": 1005000,
          "granted_uj": 1000000,
          "provenance_floor": "HwShunt"
        },
        "note": "half a percent over a one-joule grant is 5000 ppm, floor 1 ppm"
      },
      {
        "expected": {
          "detectable_floor_ppm": 1,
          "drift_ppm": 5,
          "floor_is_physical": false
        },
        "input": {
          "accounted_uj": 1000005,
          "granted_uj": 1000000,
          "provenance_floor": "Estimator"
        },
        "note": "the same floor over modelled windows is exact and meaningless"
      },
      {
        "expected": {
          "drift_ppm": -700000
        },
        "input": {
          "accounted_uj": 300000,
          "granted_uj": 1000000,
          "provenance_floor": "HwShunt"
        },
        "note": "underspend is signed, not clamped: allowed joules nothing claimed"
      }
    ]
  },
  "conservation": {
    "negative": [
      {
        "expected": {
          "error": "Unbound"
        },
        "input": {
          "activities": [],
          "completed": true,
          "total": {
            "estimated_uj": 1000000,
            "measured_uj": 1000000,
            "provenance": "HwShunt"
          }
        },
        "note": "an outcome traceable to nothing is refused"
      },
      {
        "expected": {
          "error": "DuplicateActivity"
        },
        "input": {
          "activities": [
            {
              "coverage": "Whole",
              "joules_uj": 100,
              "provenance": "HwShunt",
              "receipt": [
                131,
                254,
                130,
                87,
                58,
                181,
                54,
                207,
                32,
                202,
                241,
                199,
                142,
                152,
                1,
                167,
                222,
                190,
                185,
                106,
                127,
                54,
                150,
                55,
                244,
                56,
                187,
                18,
                192,
                232,
                2,
                31
              ]
            },
            {
              "coverage": "Whole",
              "joules_uj": 100,
              "provenance": "HwShunt",
              "receipt": [
                131,
                254,
                130,
                87,
                58,
                181,
                54,
                207,
                32,
                202,
                241,
                199,
                142,
                152,
                1,
                167,
                222,
                190,
                185,
                106,
                127,
                54,
                150,
                55,
                244,
                56,
                187,
                18,
                192,
                232,
                2,
                31
              ]
            }
          ],
          "completed": true,
          "total": {
            "estimated_uj": 1000,
            "measured_uj": 1000,
            "provenance": "HwShunt"
          }
        },
        "note": "a double-bound activity is refused before the sum"
      },
      {
        "expected": {
          "accounted_uj": 140,
          "error": "OverAccounted",
          "total_uj": 100
        },
        "input": {
          "activities": [
            {
              "coverage": "Whole",
              "joules_uj": 90,
              "provenance": "HwShunt",
              "receipt": [
                145,
                164,
                228,
                185,
                68,
                127,
                194,
                173,
                193,
                139,
                176,
                74,
                18,
                11,
                104,
                118,
                90,
                128,
                13,
                105,
                45,
                112,
                99,
                117,
                0,
                80,
                196,
                87,
                158,
                232,
                254,
                67
              ]
            },
            {
              "coverage": "Whole",
              "joules_uj": 50,
              "provenance": "HwShunt",
              "receipt": [
                214,
                244,
                83,
                42,
                36,
                238,
                178,
                159,
                163,
                59,
                43,
                88,
                40,
                16,
                8,
                50,
                57,
                110,
                181,
                174,
                173,
                88,
                149,
                104,
                17,
                233,
                101,
                109,
                180,
                224,
                255,
                116
              ]
            }
          ],
          "completed": true,
          "total": {
            "estimated_uj": 100,
            "measured_uj": 100,
            "provenance": "HwShunt"
          }
        },
        "note": "activities claiming more than the outcome are refused"
      }
    ],
    "positive": [
      {
        "expected": {
          "accounted_uj": 750000,
          "coverage_floor": "Whole",
          "provenance_floor": "HwShunt",
          "residual_uj": 250000,
          "unattributed_ppm": 250000
        },
        "input": {
          "activities": [
            {
              "coverage": "Whole",
              "joules_uj": 400000,
              "provenance": "HwShunt",
              "receipt": [
                145,
                164,
                228,
                185,
                68,
                127,
                194,
                173,
                193,
                139,
                176,
                74,
                18,
                11,
                104,
                118,
                90,
                128,
                13,
                105,
                45,
                112,
                99,
                117,
                0,
                80,
                196,
                87,
                158,
                232,
                254,
                67
              ]
            },
            {
              "coverage": "Whole",
              "joules_uj": 350000,
              "provenance": "HwShunt",
              "receipt": [
                214,
                244,
                83,
                42,
                36,
                238,
                178,
                159,
                163,
                59,
                43,
                88,
                40,
                16,
                8,
                50,
                57,
                110,
                181,
                174,
                173,
                88,
                149,
                104,
                17,
                233,
                101,
                109,
                180,
                224,
                255,
                116
              ]
            }
          ],
          "completed": true,
          "total": {
            "estimated_uj": 1000000,
            "measured_uj": 1000000,
            "provenance": "HwShunt"
          }
        },
        "note": "the residual names what no operation claims"
      },
      {
        "expected": {
          "accounted_uj": 600,
          "coverage_floor": "Partial",
          "provenance_floor": "Estimator",
          "residual_uj": 400
        },
        "input": {
          "activities": [
            {
              "coverage": "Whole",
              "joules_uj": 300,
              "provenance": "HwShunt",
              "receipt": [
                145,
                164,
                228,
                185,
                68,
                127,
                194,
                173,
                193,
                139,
                176,
                74,
                18,
                11,
                104,
                118,
                90,
                128,
                13,
                105,
                45,
                112,
                99,
                117,
                0,
                80,
                196,
                87,
                158,
                232,
                254,
                67
              ]
            },
            {
              "coverage": "Partial",
              "joules_uj": 300,
              "provenance": "Estimator",
              "receipt": [
                214,
                244,
                83,
                42,
                36,
                238,
                178,
                159,
                163,
                59,
                43,
                88,
                40,
                16,
                8,
                50,
                57,
                110,
                181,
                174,
                173,
                88,
                149,
                104,
                17,
                233,
                101,
                109,
                180,
                224,
                255,
                116
              ]
            }
          ],
          "completed": true,
          "total": {
            "estimated_uj": 1000,
            "measured_uj": 1000,
            "provenance": "HwShunt"
          }
        },
        "note": "provenance and coverage take the floor, never the average"
      }
    ]
  },
  "dynamism": {
    "cases": [
      {
        "expected": {
          "deviation": "BaselineInapplicable"
        },
        "input": {
          "baseline": {
            "band_uj": 100,
            "declared_applicable": false,
            "expected_uj": 1000,
            "fit_window_ns": 1000,
            "source": "harness:run-1"
          },
          "window": {
            "coverage": "Whole",
            "declared_work": null,
            "duration_ns": 1000000,
            "joules_uj": 5000,
            "provenance": "HwShunt",
            "started_ns": 0
          }
        },
        "note": "an undeclared baseline makes no comparison"
      },
      {
        "expected": {
          "deviation": "BaselineInapplicable"
        },
        "input": {
          "baseline": {
            "band_uj": 100,
            "declared_applicable": true,
            "expected_uj": 1000,
            "fit_window_ns": 10000000,
            "source": "harness:coarse"
          },
          "window": {
            "coverage": "Whole",
            "declared_work": null,
            "duration_ns": 1000000,
            "joules_uj": 5000,
            "provenance": "HwShunt",
            "started_ns": 0
          }
        },
        "note": "a baseline fit coarser than the trace samples does not apply"
      },
      {
        "expected": {
          "deviation": "Unexplained",
          "excess_uj": 4000
        },
        "input": {
          "baseline": {
            "band_uj": 100,
            "declared_applicable": true,
            "expected_uj": 1000,
            "fit_window_ns": 1000,
            "source": "harness:run-1"
          },
          "cause": null,
          "window": {
            "coverage": "Whole",
            "declared_work": null,
            "duration_ns": 1000000,
            "joules_uj": 5000,
            "provenance": "HwShunt",
            "started_ns": 0
          }
        },
        "note": "outside the band with no evidenced cause stays unexplained"
      },
      {
        "expected": {
          "cause_token": "thermal_throttle",
          "deviation": "Explained",
          "evidence": "5bf7c3480486191c7a4765d7f463d0f30663489492c4d0eaab8d57749d2b2f1a",
          "excess_uj": 4000
        },
        "input": {
          "baseline": {
            "band_uj": 100,
            "declared_applicable": true,
            "expected_uj": 1000,
            "fit_window_ns": 1000,
            "source": "harness:run-1"
          },
          "cause": {
            "ThermalThrottle": {
              "reading": [
                91,
                247,
                195,
                72,
                4,
                134,
                25,
                28,
                122,
                71,
                101,
                215,
                244,
                99,
                208,
                243,
                6,
                99,
                72,
                148,
                146,
                196,
                208,
                234,
                171,
                141,
                87,
                116,
                157,
                43,
                47,
                26
              ]
            }
          },
          "window": {
            "coverage": "Whole",
            "declared_work": null,
            "duration_ns": 1000000,
            "joules_uj": 5000,
            "provenance": "HwShunt",
            "started_ns": 0
          }
        },
        "note": "a cause with evidence explains; the token is the claim vocabulary"
      }
    ],
    "note": "there is no verdict of intent in this profile, by design"
  },
  "physical": {
    "cases": [
      {
        "expected": {
          "floor_uj": 400000,
          "verdict": "RefutedBelow"
        },
        "input": {
          "coverage": "Whole",
          "declared_work": null,
          "duration_ns": 400000000,
          "joules_uj": 0,
          "provenance": "HwShunt",
          "started_ns": 0
        },
        "note": "a frozen counter on a busy window is refuted from below"
      },
      {
        "expected": {
          "verdict": "RefutedAbove"
        },
        "input": {
          "coverage": "Whole",
          "declared_work": null,
          "duration_ns": 1000000,
          "joules_uj": 10000000,
          "provenance": "HwShunt",
          "started_ns": 0
        },
        "note": "a figure past the burst envelope is refuted from above"
      },
      {
        "expected": {
          "verdict": "NotRefuted"
        },
        "input": {
          "coverage": "Whole",
          "declared_work": null,
          "duration_ns": 1000000,
          "joules_uj": 30000,
          "provenance": "HwShunt",
          "started_ns": 0
        },
        "note": "inside the envelope is NotRefuted — which is not verification"
      },
      {
        "expected": {
          "verdict": "Unboundable"
        },
        "input": {
          "coverage": "Whole",
          "declared_work": null,
          "duration_ns": 0,
          "joules_uj": 999,
          "provenance": "HwShunt",
          "started_ns": 0
        },
        "note": "a zero-duration window is unboundable, not clean"
      }
    ],
    "envelope": {
      "idle_floor_mw": 1000,
      "peak_mw": 60000,
      "source": "burst rating, deliberately permissive"
    }
  },
  "profile": "energy_trace/1",
  "shape": {
    "cases": [
      {
        "expected": {
          "verdict": "Inconsistent"
        },
        "input": {
          "declared": "Sustained",
          "windows": [
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 300000,
              "provenance": "HwShunt",
              "started_ns": 0
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 10,
              "provenance": "HwShunt",
              "started_ns": 1000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 10,
              "provenance": "HwShunt",
              "started_ns": 2000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 10,
              "provenance": "HwShunt",
              "started_ns": 3000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 10,
              "provenance": "HwShunt",
              "started_ns": 4000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 10,
              "provenance": "HwShunt",
              "started_ns": 5000000
            }
          ]
        },
        "note": "a total balanced by padding does not read as sustained"
      },
      {
        "expected": {
          "shape": "Sustained",
          "verdict": "Consistent"
        },
        "input": {
          "declared": "Sustained",
          "windows": [
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 37000,
              "provenance": "HwShunt",
              "started_ns": 0
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 37740,
              "provenance": "HwShunt",
              "started_ns": 1000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 36260,
              "provenance": "HwShunt",
              "started_ns": 2000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 37370,
              "provenance": "HwShunt",
              "started_ns": 3000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 36630,
              "provenance": "HwShunt",
              "started_ns": 4000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 37000,
              "provenance": "HwShunt",
              "started_ns": 5000000
            }
          ]
        },
        "note": "character is scale-invariant: same shape at 37x the magnitude"
      },
      {
        "expected": {
          "shape": "Sustained",
          "verdict": "Consistent"
        },
        "input": {
          "declared": "Sustained",
          "windows": [
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 1000,
              "provenance": "HwShunt",
              "started_ns": 0
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 1020,
              "provenance": "HwShunt",
              "started_ns": 1000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 980,
              "provenance": "HwShunt",
              "started_ns": 2000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 1010,
              "provenance": "HwShunt",
              "started_ns": 3000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 990,
              "provenance": "HwShunt",
              "started_ns": 4000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 1000,
              "provenance": "HwShunt",
              "started_ns": 5000000
            }
          ]
        },
        "note": "flat is sustained"
      },
      {
        "expected": {
          "shape": "Ramping",
          "verdict": "Consistent"
        },
        "input": {
          "declared": "Ramping",
          "windows": [
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 100,
              "provenance": "HwShunt",
              "started_ns": 0
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 400,
              "provenance": "HwShunt",
              "started_ns": 1000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 700,
              "provenance": "HwShunt",
              "started_ns": 2000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 1000,
              "provenance": "HwShunt",
              "started_ns": 3000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 1100,
              "provenance": "HwShunt",
              "started_ns": 4000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 1120,
              "provenance": "HwShunt",
              "started_ns": 5000000
            }
          ]
        },
        "note": "rising then settling is a ramp"
      },
      {
        "expected": {
          "shape": "Bursty",
          "verdict": "Consistent"
        },
        "input": {
          "declared": "Bursty",
          "windows": [
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 100,
              "provenance": "HwShunt",
              "started_ns": 0
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 2000,
              "provenance": "HwShunt",
              "started_ns": 1000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 100,
              "provenance": "HwShunt",
              "started_ns": 2000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 2000,
              "provenance": "HwShunt",
              "started_ns": 3000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 100,
              "provenance": "HwShunt",
              "started_ns": 4000000
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 2000,
              "provenance": "HwShunt",
              "started_ns": 5000000
            }
          ]
        },
        "note": "alternating is bursty"
      },
      {
        "expected": {
          "verdict": "Unresolvable",
          "windows": 2
        },
        "input": {
          "declared": "Sustained",
          "windows": [
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 1000,
              "provenance": "HwShunt",
              "started_ns": 0
            },
            {
              "coverage": "Whole",
              "declared_work": null,
              "duration_ns": 1000000,
              "joules_uj": 1000,
              "provenance": "HwShunt",
              "started_ns": 1000000
            }
          ]
        },
        "note": "under three windows character is unresolvable, never consistent"
      }
    ],
    "idle_floor_uj": 100
  },
  "spec": "JCP v0.3 SPEC.md §5.3-5.6"
}