{"note":"Built from our own house slices with example inputs, not measurements, and signed by this server at startup.","samples":[{"title":"Through-steel tank level from one echo (house slice B-37, example inputs)","result":{"verdict":"COMPUTED","slice":"B-37","family":"Echo timing","outputs":[{"name":"wall round trip (us)","formula":"2*wall_mm/1000/cw*1000000","value":2.71646859083},{"name":"liquid round trip (ms)","formula":"t_ms-2*wall_mm/cw","value":1.62053353141},{"name":"level h (m)","formula":"cl*(t_ms-2*wall_mm/cw)/1000/2","value":1.20000508001}],"scope_note":"The Zero-Drill Tank Sonar's answer: how high the liquid stands above the bottom, compared over days with known test fills while approved gauges stay in charge.","ruleG":"Planning and math verification check only — not a licensed professional engineering review, stamp, or sign-off.","receipt":{"v":1,"cap":"run_slice_tool","verdict":"COMPUTED","in":"8bf5b06739a45ff110a576d17c09cff922cb21fa571c4c870423197476b6c21c","out":"92fce27281756f2bbabfec4202df2fd6aa0b1e6f48679a91d8eebf35a77c3d17","ts":"2026-11-09T00:08:22.305Z"},"check_url":"/check?report=eyJ2IjoxLCJjYXAiOiJydW5fc2xpY2VfdG9vbCIsInZlcmRpY3QiOiJDT01QVVRFRCIsImluIjoiOGJmNWIwNjczOWE0NWZmMTEwYTU3NmQxN2MwOWNmZjkyMmNiMjFmYTU3MWM0Yzg3MDQyMzE5NzQ3NmI2YzIxYyIsIm91dCI6IjkyZmNlMjcyODE3NTZmMmJiYWJmZWM0MjAyZGYyZmQ2YWEwYjFlNmY0ODY3OWE5MWQ4ZWViZjM1YTc3YzNkMTciLCJ0cyI6IjIwMjYtMTEtMDlUMDA6MDg6MjIuMzA1WiJ9.gpCc1SmrBQ8nuGOJZeEHIMopI9xcG0P2MbfNTtbBoTRV8Yeb5Xkrxx-yXcZzZnONK8j4CxpBh-jHvpohE1yWBQ","receiptToken":"eyJ2IjoxLCJjYXAiOiJydW5fc2xpY2VfdG9vbCIsInZlcmRpY3QiOiJDT01QVVRFRCIsImluIjoiOGJmNWIwNjczOWE0NWZmMTEwYTU3NmQxN2MwOWNmZjkyMmNiMjFmYTU3MWM0Yzg3MDQyMzE5NzQ3NmI2YzIxYyIsIm91dCI6IjkyZmNlMjcyODE3NTZmMmJiYWJmZWM0MjAyZGYyZmQ2YWEwYjFlNmY0ODY3OWE5MWQ4ZWViZjM1YTc3YzNkMTciLCJ0cyI6IjIwMjYtMTEtMDlUMDA6MDg6MjIuMzA1WiJ9.gpCc1SmrBQ8nuGOJZeEHIMopI9xcG0P2MbfNTtbBoTRV8Yeb5Xkrxx-yXcZzZnONK8j4CxpBh-jHvpohE1yWBQ","toll":{"credits":5,"charged":0,"mode":"beta","shadowCredits":5,"refunded":false}}},{"title":"Power budget for an example sensor pod, plus a sealed three-check bundle","result":{"schema":"DeterministicCheckResult/v1","engine":"stacklab-local-deterministic/v1","check":"power_budget","label":"Example sensor pod on a 500 mA USB port","source":"","formula":"sum(I_load) <= I_supply * (1 - margin)","inputs":{"loads":[{"name":"MCU","currentMa":80},{"name":"Ultrasonic front end","currentMa":120},{"name":"Radio burst","currentMa":220}],"supplyMa":500,"marginPct":10},"computed":{"totalMa":420,"allowedMa":450},"verdict":"PASS","reason":"The total current fits the supply budget.","ruleG":"Planning and math verification check only — not a licensed professional engineering review, stamp, or sign-off.","receipt":{"v":1,"cap":"verify_math_or_tolerance","verdict":"PASS","in":"d0b740b0dda7af18ecc6759e046b6e27b0119e24fe02c5db1b62efda9d9f3836","out":"cbb45c86d94c3d790f1c09ae79a6dfe2b29716801af385131234140056441a31","ts":"2026-11-09T00:08:22.313Z"},"check_url":"/check?report=eyJ2IjoxLCJjYXAiOiJ2ZXJpZnlfbWF0aF9vcl90b2xlcmFuY2UiLCJ2ZXJkaWN0IjoiUEFTUyIsImluIjoiZDBiNzQwYjBkZGE3YWYxOGVjYzY3NTllMDQ2YjZlMjdiMDExOWUyNGZlMDJjNWRiMWI2MmVmZGE5ZDlmMzgzNiIsIm91dCI6ImNiYjQ1Yzg2ZDk0YzNkNzkwZjFjMDlhZTc5YTZkZmUyYjI5NzE2ODAxYWYzODUxMzEyMzQxNDAwNTY0NDFhMzEiLCJ0cyI6IjIwMjYtMTEtMDlUMDA6MDg6MjIuMzEzWiJ9.wNbRlwkvlfMwukmFfZBdAGz5L7VozW1abPBomAQNL_g25EBR8suSuIWKWLVSy8TJ1N-Szty6wu4qqKQmXsf8Dw","receiptToken":"eyJ2IjoxLCJjYXAiOiJ2ZXJpZnlfbWF0aF9vcl90b2xlcmFuY2UiLCJ2ZXJkaWN0IjoiUEFTUyIsImluIjoiZDBiNzQwYjBkZGE3YWYxOGVjYzY3NTllMDQ2YjZlMjdiMDExOWUyNGZlMDJjNWRiMWI2MmVmZGE5ZDlmMzgzNiIsIm91dCI6ImNiYjQ1Yzg2ZDk0YzNkNzkwZjFjMDlhZTc5YTZkZmUyYjI5NzE2ODAxYWYzODUxMzEyMzQxNDAwNTY0NDFhMzEiLCJ0cyI6IjIwMjYtMTEtMDlUMDA6MDg6MjIuMzEzWiJ9.wNbRlwkvlfMwukmFfZBdAGz5L7VozW1abPBomAQNL_g25EBR8suSuIWKWLVSy8TJ1N-Szty6wu4qqKQmXsf8Dw","toll":{"credits":5,"charged":0,"mode":"beta","shadowCredits":5,"refunded":false}},"bundle":{"verdict":"ALL_PASS","title":"Sample design review: tank level, power rail, drop shock","checks":3,"pass":3,"fail":0,"members":[{"v":1,"cap":"run_slice_tool","verdict":"COMPUTED","in":"8bf5b06739a45ff110a576d17c09cff922cb21fa571c4c870423197476b6c21c","out":"92fce27281756f2bbabfec4202df2fd6aa0b1e6f48679a91d8eebf35a77c3d17","ts":"2026-11-09T00:08:22.305Z"},{"v":1,"cap":"verify_math_or_tolerance","verdict":"PASS","in":"d0b740b0dda7af18ecc6759e046b6e27b0119e24fe02c5db1b62efda9d9f3836","out":"cbb45c86d94c3d790f1c09ae79a6dfe2b29716801af385131234140056441a31","ts":"2026-11-09T00:08:22.313Z"},{"v":1,"cap":"run_slice_tool","verdict":"COMPUTED","in":"eefac103d79a483690816783f8cf7ba04b6afeb61c8cafd171c23a5ed95a0bf8","out":"2db2ed0ca0673163252adb1ea978c9d992ce56ad0146592d90d477bb9aa42635","ts":"2026-11-09T00:08:22.314Z"}],"receipt":{"v":1,"cap":"seal_bundle_receipt","verdict":"ALL_PASS","in":"660511480ae78e06cab818182950206fe476775fab30e70369617dd065722035","out":"9b7ba68b0fea2dd6480d79719fae070c80582dde132b7ca066132718d9147a88","ts":"2026-11-09T00:08:22.315Z"},"check_url":"/check?report=eyJ2IjoxLCJjYXAiOiJzZWFsX2J1bmRsZV9yZWNlaXB0IiwidmVyZGljdCI6IkFMTF9QQVNTIiwiaW4iOiI2NjA1MTE0ODBhZTc4ZTA2Y2FiODE4MTgyOTUwMjA2ZmU0NzY3NzVmYWIzMGU3MDM2OTYxN2RkMDY1NzIyMDM1Iiwib3V0IjoiOWI3YmE2OGIwZmVhMmRkNjQ4MGQ3OTcxOWZhZTA3MGM4MDU4MmRkZTEzMmI3Y2EwNjYxMzI3MThkOTE0N2E4OCIsInRzIjoiMjAyNi0xMS0wOVQwMDowODoyMi4zMTVaIn0.P30M8z2I5euPlrb_dt4I67n19C2uoxVXSGIX7wP4HzVmwurXOT9ITVMbwL8CZPNXuAUnvNPLbrTttLC7Fu3GBA","receiptToken":"eyJ2IjoxLCJjYXAiOiJzZWFsX2J1bmRsZV9yZWNlaXB0IiwidmVyZGljdCI6IkFMTF9QQVNTIiwiaW4iOiI2NjA1MTE0ODBhZTc4ZTA2Y2FiODE4MTgyOTUwMjA2ZmU0NzY3NzVmYWIzMGU3MDM2OTYxN2RkMDY1NzIyMDM1Iiwib3V0IjoiOWI3YmE2OGIwZmVhMmRkNjQ4MGQ3OTcxOWZhZTA3MGM4MDU4MmRkZTEzMmI3Y2EwNjYxMzI3MThkOTE0N2E4OCIsInRzIjoiMjAyNi0xMS0wOVQwMDowODoyMi4zMTVaIn0.P30M8z2I5euPlrb_dt4I67n19C2uoxVXSGIX7wP4HzVmwurXOT9ITVMbwL8CZPNXuAUnvNPLbrTttLC7Fu3GBA","toll":{"credits":5,"charged":0,"mode":"beta","shadowCredits":5,"refunded":false}}},{"title":"Claims check: one overclaim sentence is flagged","result":{"verdict":"FLAGS","numbersChecked":4,"matched":4,"unbacked":0,"numbers":[{"number":"1.200005","status":"MATCHED"},{"number":"420","status":"MATCHED"},{"number":"450","status":"MATCHED"},{"number":"49.8","status":"MATCHED"}],"overclaimSentences":["The example drop peaks at 49.8 g, verified across all conditions."],"backingResults":[{"cap":"run_slice_tool","verdict":"COMPUTED","ts":"2026-11-09T00:08:22.305Z"},{"cap":"verify_math_or_tolerance","verdict":"PASS","ts":"2026-11-09T00:08:22.313Z"},{"cap":"run_slice_tool","verdict":"COMPUTED","ts":"2026-11-09T00:08:22.314Z"}],"note":"MATCHED means the number appears in one of your signed results. It does not mean the sentence around it is true. UNBACKED numbers may still be right; they are just not backed by a Checkbooth result. The phrase rules are a fixed list, not AI judgment.","receipt":{"v":1,"cap":"verify_claims_against_receipts","verdict":"FLAGS","in":"230991057247c3bfc1091decc990b7815eb8f0b1b763e5c13c07de64c84d5c01","out":"f425d2180838de1294f62a3b2587faae0e8c5ff0372c9dd26faf98c0761ed11c","ts":"2026-11-09T00:08:22.317Z"},"check_url":"/check?report=eyJ2IjoxLCJjYXAiOiJ2ZXJpZnlfY2xhaW1zX2FnYWluc3RfcmVjZWlwdHMiLCJ2ZXJkaWN0IjoiRkxBR1MiLCJpbiI6IjIzMDk5MTA1NzI0N2MzYmZjMTA5MWRlY2M5OTBiNzgxNWViOGYwYjFiNzYzZTVjMTNjMDdkZTY0Yzg0ZDVjMDEiLCJvdXQiOiJmNDI1ZDIxODA4MzhkZTEyOTRmNjJhM2IyNTg3ZmFhZTBlOGM1ZmYwMzcyYzlkZDI2ZmFmOThjMDc2MWVkMTFjIiwidHMiOiIyMDI2LTExLTA5VDAwOjA4OjIyLjMxN1oifQ.eFxSP9-jsbbcCLqRdGF2OWKv-WoeYmsRNqBBtl9brqALs9kVSoll--DgNGaVAh-e7MFprLQuILx_axn47AESCA","receiptToken":"eyJ2IjoxLCJjYXAiOiJ2ZXJpZnlfY2xhaW1zX2FnYWluc3RfcmVjZWlwdHMiLCJ2ZXJkaWN0IjoiRkxBR1MiLCJpbiI6IjIzMDk5MTA1NzI0N2MzYmZjMTA5MWRlY2M5OTBiNzgxNWViOGYwYjFiNzYzZTVjMTNjMDdkZTY0Yzg0ZDVjMDEiLCJvdXQiOiJmNDI1ZDIxODA4MzhkZTEyOTRmNjJhM2IyNTg3ZmFhZTBlOGM1ZmYwMzcyYzlkZDI2ZmFmOThjMDc2MWVkMTFjIiwidHMiOiIyMDI2LTExLTA5VDAwOjA4OjIyLjMxN1oifQ.eFxSP9-jsbbcCLqRdGF2OWKv-WoeYmsRNqBBtl9brqALs9kVSoll--DgNGaVAh-e7MFprLQuILx_axn47AESCA","toll":{"credits":5,"charged":0,"mode":"beta","shadowCredits":5,"refunded":false}}}]}