metered-protocol 1.0.0

package/spec/conformance-vectors.json

@@ -0,0 +1,677 @@
+{
+ "version": 1,
+ "about": "Conformance vectors for the metered protocol. See spec/CONFORMANCE.md.",
+ "offer": {
+  "v": 1,
+  "scheme": "metered",
+  "network": "kaspa:testnet-10",
+  "asset": "KAS",
+  "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+  "unit": "llm.output_tokens.v1",
+  "meter": "o200k_base",
+  "unitPriceSompi": 3630,
+  "babelUnits": 550,
+  "maxBabels": 64,
+  "toleranceAbs": 1,
+  "checkpointEvery": 2,
+  "responseWindowDaa": 600,
+  "buyerPubkey": "4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+  "providerPubkey": "466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+  "partiesCommitment": "62e84a374e44f83866d72147508efd746dad5e0d599269e79392741fa8781ab0",
+  "sig": "ba46fea71a8d6303272980526caa33027db52d20e8e81d7446c9ec5facc48d1b06569755ad61bf5d055eecc2b942000383fd85ef14a0a6f1b37612646a3a7765"
+ },
+ "groups": [
+  {
+   "section": "2",
+   "about": "Canonical JSON, and the digest taken over it. Sorted keys, no insignificant whitespace.",
+   "cases": [
+    {
+     "name": "nested objects sort by key at every level",
+     "given": {
+      "b": 1,
+      "a": {
+       "d": 4,
+       "c": 3
+      }
+     },
+     "expect": {
+      "canonical": "{\"a\":{\"c\":3,\"d\":4},\"b\":1}",
+      "digest": "01e1eca594767ceefeb7f27b5099fac5c1f8bfd666c7d140e04d538e6e56c69d"
+     }
+    },
+    {
+     "name": "arrays keep their order, unlike objects",
+     "given": {
+      "a": [
+       3,
+       1,
+       2
+      ]
+     },
+     "expect": {
+      "canonical": "{\"a\":[3,1,2]}",
+      "digest": "c79a0df4f21717febed9c43fab7a37594b9c157a01ba185c7938660fbdcde3fb"
+     }
+    },
+    {
+     "name": "non-ASCII is NOT escaped",
+     "given": {
+      "s": "Cafe 🔒 計量"
+     },
+     "expect": {
+      "canonical": "{\"s\":\"Cafe 🔒 計量\"}",
+      "digest": "4709ddb8b4ba13e1a329025cb63e74442f948a0a8f9a1bcbeb44d6ae53235ed2"
+     }
+    },
+    {
+     "name": "a null is preserved where the spec names one",
+     "given": {
+      "prevState": null,
+      "seq": 0
+     },
+     "expect": {
+      "canonical": "{\"prevState\":null,\"seq\":0}",
+      "digest": "cfeb1de1bcd161fa9b6ce19cbbf7ae952e2a5c4e7bab8ee6a57bbf921e0a16df"
+     }
+    },
+    {
+     "name": "negative and zero integers",
+     "given": {
+      "a": -1,
+      "b": 0,
+      "c": -9007199254740991
+     },
+     "expect": {
+      "canonical": "{\"a\":-1,\"b\":0,\"c\":-9007199254740991}",
+      "digest": "c5319a83b84661ae89c8e78128970093732220d1230c47a431aa7432f9119e26"
+     }
+    },
+    {
+     "name": "UTF-16 code-unit order, where it DIFFERS from code-point order",
+     "given": {
+      "�": 1,
+      "𐀀": 2
+     },
+     "expect": {
+      "canonical": "{\"𐀀\":2,\"�\":1}",
+      "digest": "2c6f001457cf78eb1e71a5110211a79a3f8cdfaeef3231c5e135e5d0410cc117"
+     }
+    },
+    {
+     "name": "BMP keys, where the two orders agree",
+     "given": {
+      "aＺ": 1,
+      "aａ": 2,
+      "az": 3
+     },
+     "expect": {
+      "canonical": "{\"az\":3,\"aＺ\":1,\"aａ\":2}",
+      "digest": "eb9dd5a425de835f202c28fb2bea23c62a0c470f598566524216e7a1021aa2d6"
+     }
+    }
+   ]
+  },
+  {
+   "section": "3.4.1",
+   "about": "The 72-byte settlement preimage: sessionId(16) seq(8) units(8) sompi(8) prevState(32).",
+   "cases": [
+    {
+     "name": "a mid-session State",
+     "given": {
+      "v": 1,
+      "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+      "seq": 3,
+      "cumulativeUnits": 2199,
+      "cumulativeSompi": 7982370,
+      "prevState": "b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2"
+     },
+     "expect": {
+      "lengthBytes": 72,
+      "preimageHex": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a10300000000000000970800000000000022cd790000000000b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2",
+      "digestHex": "1f7be2293ccad7405c071238329da1ddaf216888cc48dc2b147154a566f01646"
+     }
+    },
+    {
+     "name": "seq 0, where prevState is null and becomes 32 ZERO bytes",
+     "given": {
+      "v": 1,
+      "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+      "seq": 0,
+      "cumulativeUnits": 550,
+      "cumulativeSompi": 1996500,
+      "prevState": null
+     },
+     "expect": {
+      "lengthBytes": 72,
+      "preimageHex": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a100000000000000002602000000000000d4761e00000000000000000000000000000000000000000000000000000000000000000000000000",
+      "digestHex": "3fa460ab20b80da89cc033137226ea4ce8ac9ebd445b0cdff7d321adf6990769"
+     }
+    },
+    {
+     "name": "a NEGATIVE integer is signed-magnitude, not two-complement",
+     "given": {
+      "v": 1,
+      "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+      "seq": -1,
+      "cumulativeUnits": 0,
+      "cumulativeSompi": 0,
+      "prevState": null
+     },
+     "expect": {
+      "lengthBytes": 72,
+      "preimageHex": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a10100000000000080000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "digestHex": "cb1aa89c1a3a99b41a855a160650df54c943f872abccf6a5e5264773748d926e"
+     }
+    },
+    {
+     "name": "the largest integer the protocol admits",
+     "given": {
+      "v": 1,
+      "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+      "seq": 1,
+      "cumulativeUnits": 9007199254740991,
+      "cumulativeSompi": 9007199254740991,
+      "prevState": "cdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcd"
+     },
+     "expect": {
+      "lengthBytes": 72,
+      "preimageHex": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a10100000000000000ffffffffffff1f00ffffffffffff1f00cdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcd",
+      "digestHex": "47ed6bfde19f92dfa5070e0cf86625992318d99ba5c12cbbad772e26fbdedacc"
+     }
+    }
+   ]
+  },
+  {
+   "section": "2.6 / 3.4",
+   "about": "Verification vectors. A correct implementation MUST agree on true and on false alike.",
+   "cases": [
+    {
+     "name": "the Offer verifies against the provider key that signed it",
+     "given": {
+      "message": {
+       "v": 1,
+       "scheme": "metered",
+       "network": "kaspa:testnet-10",
+       "asset": "KAS",
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "unit": "llm.output_tokens.v1",
+       "meter": "o200k_base",
+       "unitPriceSompi": 3630,
+       "babelUnits": 550,
+       "maxBabels": 64,
+       "toleranceAbs": 1,
+       "checkpointEvery": 2,
+       "responseWindowDaa": 600,
+       "buyerPubkey": "4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+       "providerPubkey": "466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+       "partiesCommitment": "62e84a374e44f83866d72147508efd746dad5e0d599269e79392741fa8781ab0",
+       "sig": "ba46fea71a8d6303272980526caa33027db52d20e8e81d7446c9ec5facc48d1b06569755ad61bf5d055eecc2b942000383fd85ef14a0a6f1b37612646a3a7765"
+      },
+      "publicKey": "466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+      "field": "sig"
+     },
+     "expect": {
+      "verifies": true
+     }
+    },
+    {
+     "name": "the Offer does NOT verify against the buyer key",
+     "given": {
+      "message": {
+       "v": 1,
+       "scheme": "metered",
+       "network": "kaspa:testnet-10",
+       "asset": "KAS",
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "unit": "llm.output_tokens.v1",
+       "meter": "o200k_base",
+       "unitPriceSompi": 3630,
+       "babelUnits": 550,
+       "maxBabels": 64,
+       "toleranceAbs": 1,
+       "checkpointEvery": 2,
+       "responseWindowDaa": 600,
+       "buyerPubkey": "4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+       "providerPubkey": "466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+       "partiesCommitment": "62e84a374e44f83866d72147508efd746dad5e0d599269e79392741fa8781ab0",
+       "sig": "ba46fea71a8d6303272980526caa33027db52d20e8e81d7446c9ec5facc48d1b06569755ad61bf5d055eecc2b942000383fd85ef14a0a6f1b37612646a3a7765"
+      },
+      "publicKey": "4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+      "field": "sig"
+     },
+     "expect": {
+      "verifies": false
+     }
+    },
+    {
+     "name": "a State signature verifies over the 72-byte preimage, not over JSON",
+     "given": {
+      "state": {
+       "v": 1,
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "seq": 0,
+       "cumulativeUnits": 550,
+       "cumulativeSompi": 1996500,
+       "prevState": null
+      },
+      "signature": "522747eb597897a1b78c2d43807518ffc32880e437ed00e50894400741fb6bf1ebf8473182bb386392842ef9525f6b24b72a68d24b25b40d9b460f666fdab063",
+      "publicKey": "4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+     },
+     "expect": {
+      "verifies": true
+     }
+    },
+    {
+     "name": "the same signature fails once an amount changes",
+     "given": {
+      "state": {
+       "v": 1,
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "seq": 0,
+       "cumulativeUnits": 550,
+       "cumulativeSompi": 1996501,
+       "prevState": null
+      },
+      "signature": "522747eb597897a1b78c2d43807518ffc32880e437ed00e50894400741fb6bf1ebf8473182bb386392842ef9525f6b24b72a68d24b25b40d9b460f666fdab063",
+      "publicKey": "4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+     },
+     "expect": {
+      "verifies": false
+     }
+    }
+   ]
+  },
+  {
+   "section": "5",
+   "about": "Reconciliation. Rule 6 bills the lower count; a digest mismatch is unresolvable.",
+   "cases": [
+    {
+     "name": "identical counts bill that count",
+     "given": {
+      "buyer": {
+       "v": 1,
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "seq": 0,
+       "by": "buyer",
+       "units": 550,
+       "cumulativeUnits": 550,
+       "contentDigest": "063eca1a984bed0d83f038c2c63877d2d2fedb4613fc12bf45fa2c45bad2d1cc",
+       "measurementId": "55af581dd51e7375c29f247b70eea67d",
+       "sig": "bfba1bf89d5495f3a4ef1c98d6c2c740e27c112bb40562cae825aa03315bc7ceb01ae436398bfb361a78f777b3ff075ac80901bd1979e80a26f9e36ae7a92729"
+      },
+      "provider": {
+       "v": 1,
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "seq": 0,
+       "by": "provider",
+       "units": 550,
+       "cumulativeUnits": 550,
+       "contentDigest": "063eca1a984bed0d83f038c2c63877d2d2fedb4613fc12bf45fa2c45bad2d1cc",
+       "measurementId": "c29347185f14bda8c1012d9e143c6c2b",
+       "sig": "be8e48643bf54f897c23fd9dfca257912354c8857b8ff7869ac1a4b10688dcedf7fe1059f3292ca3b743364d7a002e222132f6e938769dbec0d71121dd4251a2"
+      },
+      "seq": 0,
+      "toleranceAbs": 1
+     },
+     "expect": {
+      "ok": true,
+      "billedUnits": 550,
+      "billedCumulativeUnits": 550,
+      "residual": 0
+     }
+    },
+    {
+     "name": "a one-token disagreement inside tolerance bills the LOWER",
+     "given": {
+      "buyer": {
+       "v": 1,
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "seq": 0,
+       "by": "buyer",
+       "units": 549,
+       "cumulativeUnits": 549,
+       "contentDigest": "063eca1a984bed0d83f038c2c63877d2d2fedb4613fc12bf45fa2c45bad2d1cc",
+       "measurementId": "55af581dd51e7375c29f247b70eea67d",
+       "sig": "622917b7d2e55f23936928bb1a4c53063c628ea1ef1fcdfa8f7ff0ca65b125f9d2c181bffcd2cf67681680dbb200fbfc2219decc04e6ad3b2e1b7381160a8660"
+      },
+      "provider": {
+       "v": 1,
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "seq": 0,
+       "by": "provider",
+       "units": 550,
+       "cumulativeUnits": 550,
+       "contentDigest": "063eca1a984bed0d83f038c2c63877d2d2fedb4613fc12bf45fa2c45bad2d1cc",
+       "measurementId": "c29347185f14bda8c1012d9e143c6c2b",
+       "sig": "88b8785074cf7885460ae2e57d8b45e296229c83f21195735055ba5e50f192b90513a2d1ab6c036fe50c7f72f084c2862fd8aa04a742f1466e2115993f37d185"
+      },
+      "seq": 0,
+      "toleranceAbs": 1
+     },
+     "expect": {
+      "ok": true,
+      "billedUnits": 549,
+      "billedCumulativeUnits": 549,
+      "residual": 1
+     }
+    },
+    {
+     "name": "beyond tolerance the session halts",
+     "given": {
+      "buyer": {
+       "v": 1,
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "seq": 0,
+       "by": "buyer",
+       "units": 500,
+       "cumulativeUnits": 500,
+       "contentDigest": "063eca1a984bed0d83f038c2c63877d2d2fedb4613fc12bf45fa2c45bad2d1cc",
+       "measurementId": "55af581dd51e7375c29f247b70eea67d",
+       "sig": "d7a597be05491180f0360b3ce54ec0bfcf9e41ef7ebd01cc4f1e84d8389015ba45e47f0d1490ad2dbadd09ce55afd5df3597c616d6111807ffeaccb25572058d"
+      },
+      "provider": {
+       "v": 1,
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "seq": 0,
+       "by": "provider",
+       "units": 550,
+       "cumulativeUnits": 550,
+       "contentDigest": "063eca1a984bed0d83f038c2c63877d2d2fedb4613fc12bf45fa2c45bad2d1cc",
+       "measurementId": "c29347185f14bda8c1012d9e143c6c2b",
+       "sig": "9e4ba24dc981afd6db4b92c9f94accdb251051958d91ceecedbe5016d7cc1cacec20265996cc100efea1900b252a8f1ee7ad69c0e8e3fb8ae1e9e86b9a0b835a"
+      },
+      "seq": 0,
+      "toleranceAbs": 1
+     },
+     "expect": {
+      "ok": false,
+      "reason": "tolerance-babel",
+      "detail": "|500 − 550| exceeds 1"
+     }
+    },
+    {
+     "name": "a different contentDigest halts, whatever the counts",
+     "given": {
+      "buyer": {
+       "v": 1,
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "seq": 0,
+       "by": "buyer",
+       "units": 550,
+       "cumulativeUnits": 550,
+       "contentDigest": "a7875304962469af06a8e9efcb3cf30f65312f5258879d66b2349826bb91a0af",
+       "measurementId": "55af581dd51e7375c29f247b70eea67d",
+       "sig": "aeac9b75fa95d35b5e75a1c151b8058bc1f252d20eb35cac28ff6aa1b794dff9432a482b7dc3fbe9bbdfbcc44ce85fdb5222f87890e70c5fb22c3f28119d1cfc"
+      },
+      "provider": {
+       "v": 1,
+       "sessionId": "a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+       "seq": 0,
+       "by": "provider",
+       "units": 550,
+       "cumulativeUnits": 550,
+       "contentDigest": "063eca1a984bed0d83f038c2c63877d2d2fedb4613fc12bf45fa2c45bad2d1cc",
+       "measurementId": "c29347185f14bda8c1012d9e143c6c2b",
+       "sig": "e02ac7b24dd7c82bbc699163d95850d0e59d805966084cc91812d760c4e1d9786a5d53af2b2f19d10548ab120cc8cbd2ecd0cea5dea54cc11ef73adb72c4a5e3"
+      },
+      "seq": 0,
+      "toleranceAbs": 1
+     },
+     "expect": {
+      "ok": false,
+      "reason": "content-digest",
+      "detail": "the parties are describing different bytes"
+     }
+    }
+   ]
+  },
+  {
+   "section": "7.4a / 7.4b",
+   "about": "Close shape by claim, the funding floor, and a tolerance that does not scale.",
+   "cases": [
+    {
+     "name": "claim 0 of 50000000",
+     "given": {
+      "pendingSompi": 0,
+      "covenantSompi": 50000000
+     },
+     "expect": {
+      "shape": {
+       "outputs": 1,
+       "to": [
+        "buyer"
+       ]
+      }
+     }
+    },
+    {
+     "name": "claim 100000 of 50000000",
+     "given": {
+      "pendingSompi": 100000,
+      "covenantSompi": 50000000
+     },
+     "expect": {
+      "shape": {
+       "outputs": 1,
+       "to": [
+        "buyer"
+       ]
+      }
+     }
+    },
+    {
+     "name": "claim 2599999 of 50000000",
+     "given": {
+      "pendingSompi": 2599999,
+      "covenantSompi": 50000000
+     },
+     "expect": {
+      "shape": {
+       "outputs": 1,
+       "to": [
+        "buyer"
+       ]
+      }
+     }
+    },
+    {
+     "name": "claim 2600000 of 50000000",
+     "given": {
+      "pendingSompi": 2600000,
+      "covenantSompi": 50000000
+     },
+     "expect": {
+      "shape": {
+       "outputs": 2,
+       "to": [
+        "provider",
+        "buyer"
+       ]
+      }
+     }
+    },
+    {
+     "name": "claim 4000000 of 50000000",
+     "given": {
+      "pendingSompi": 4000000,
+      "covenantSompi": 50000000
+     },
+     "expect": {
+      "shape": {
+       "outputs": 2,
+       "to": [
+        "provider",
+        "buyer"
+       ]
+      }
+     }
+    },
+    {
+     "name": "claim 47600000 of 50000000",
+     "given": {
+      "pendingSompi": 47600000,
+      "covenantSompi": 50000000
+     },
+     "expect": {
+      "shape": {
+       "outputs": 1,
+       "to": [
+        "provider"
+       ]
+      }
+     }
+    },
+    {
+     "name": "the funding floor for this Offer",
+     "given": {
+      "babelUnits": 550,
+      "maxBabels": 64,
+      "unitPriceSompi": 3630
+     },
+     "expect": {
+      "requiredFunding": 128176000,
+      "closeFee": 400000,
+      "minCovenant": 10000000
+     }
+    },
+    {
+     "name": "the tolerance bound does not grow with the babel",
+     "given": {
+      "toleranceAbs": 1,
+      "providerUnits": [
+       10,
+       550,
+       5000,
+       1000000
+      ]
+     },
+     "expect": {
+      "bounds": [
+       1,
+       1,
+       1,
+       1
+      ]
+     }
+    }
+   ]
+  },
+  {
+   "section": "6",
+   "about": "Units and meters. An exact meter permits a tolerance of 0; a lossy one requires 1.",
+   "cases": [
+    {
+     "name": "octets of \"\"",
+     "given": {
+      "meter": "octets",
+      "content": ""
+     },
+     "expect": {
+      "units": 0,
+      "contentDigest": "af1349b9f5f9a1a6a0404dea36dcc9499bcb25c9adc112b7cc9a93cae41f3262"
+     }
+    },
+    {
+     "name": "octets of \"hello\"",
+     "given": {
+      "meter": "octets",
+      "content": "hello"
+     },
+     "expect": {
+      "units": 5,
+      "contentDigest": "ea8f163db38682925e4491c5e58d4bb3506ef8c14eb78a86e908c5624a67200f"
+     }
+    },
+    {
+     "name": "octets of \"café\"",
+     "given": {
+      "meter": "octets",
+      "content": "café"
+     },
+     "expect": {
+      "units": 5,
+      "contentDigest": "e4e52b2a0ab9d8584bf4b913af316d96865f92f305b17a0d50b6677bd9ec71c0"
+     }
+    },
+    {
+     "name": "octets of \"計量\"",
+     "given": {
+      "meter": "octets",
+      "content": "計量"
+     },
+     "expect": {
+      "units": 6,
+      "contentDigest": "6d43d03d507ab958e776186a509420151fdc522d5a2f9496bee3fb3ffb4fab5b"
+     }
+    },
+    {
+     "name": "octets of \"🔒\"",
+     "given": {
+      "meter": "octets",
+      "content": "🔒"
+     },
+     "expect": {
+      "units": 4,
+      "contentDigest": "0ab675acfca644fe08e976223ed7788f5b827dc7f75e1a3d85fd84c4e1a94dbe"
+     }
+    },
+    {
+     "name": "octets of \"a\\nb\\tc  d\"",
+     "given": {
+      "meter": "octets",
+      "content": "a\nb\tc  d"
+     },
+     "expect": {
+      "units": 8,
+      "contentDigest": "52a61701c211c186592c79081a889b571ffadb782263c134b0d9edebfcf349a6"
+     }
+    },
+    {
+     "name": "octets of \"xxxxxxxxxxxxxxxxxxxxxxxxxxx",
+     "given": {
+      "meter": "octets",
+      "content": "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"
+     },
+     "expect": {
+      "units": 1000,
+      "contentDigest": "ff6f2cf7750b0d32858b758ef1cd7971064f53e81ec62ff560a953792599ca69"
+     }
+    },
+    {
+     "name": "the tolerance floor belongs to the meter, not the protocol",
+     "given": {
+      "meters": [
+       "octets",
+       "o200k_base"
+      ]
+     },
+     "expect": {
+      "floors": [
+       0,
+       1
+      ],
+      "exact": [
+       true,
+       false
+      ]
+     }
+    },
+    {
+     "name": "each meter measures exactly one unit",
+     "given": {
+      "meters": [
+       "octets",
+       "o200k_base"
+      ]
+     },
+     "expect": {
+      "units": [
+       "net.bytes_delivered.v1",
+       "llm.output_tokens.v1"
+      ]
+     }
+    }
+   ]
+  }
+ ]
+}