{
  "configuration": {
    "buildProfile": "gate",
    "cache": "New isolated process; shared handle; OS file cache not flushed",
    "concurrency": 1,
    "engineHash": "sha256:71d6a2451af2b06810d847a59c0910f43888c7b56d6f4890d589ff54804e7dd0",
    "percentiles": "nearest-rank",
    "proofSizeEncoding": "Compact UTF-8 JSON of proofGraph; excludes enclosing field name",
    "rounds": 30,
    "scenarioDefinition": {
      "format": "law.package-scenarios/0.1",
      "scenarios": [
        {
          "id": "archive-1",
          "reason": "First authored example of this suite; pinned explicit selection, not exhaustive performance coverage.",
          "suite": "tests/late-fee.lawtest",
          "testIndex": 0
        },
        {
          "id": "archive-2",
          "reason": "First authored example of this suite; pinned explicit selection, not exhaustive performance coverage.",
          "suite": "tests/tariffs.lawtest",
          "testIndex": 0
        },
        {
          "extraFacts": 10,
          "id": "archive-1-facts-10",
          "reason": "Synthetic scaling: 10 assertions about distinct additional entities; original authored expectations must still hold.",
          "suite": "tests/late-fee.lawtest",
          "testIndex": 0
        },
        {
          "extraFacts": 100,
          "id": "archive-1-facts-100",
          "reason": "Synthetic scaling: 100 assertions about distinct additional entities; original authored expectations must still hold.",
          "suite": "tests/late-fee.lawtest",
          "testIndex": 0
        }
      ]
    },
    "scenariosHash": "sha256:08babc7d887dee097003624d5759ec34bb1a26805cf3ffb4ce994ada3822bdc9",
    "timeoutSeconds": 60,
    "timingScope": "FFI call and buffer copies; JSON encoding/decoding and authored checks excluded",
    "toolInputs": {
      "engines/lawref/lawref/__init__.py": "sha256:a907cb756411cf0745c78622f2a442dbcdd182f0b02532cd7461434f22791f30",
      "engines/lawref/lawref/__main__.py": "sha256:36c9d0a14de91449d17bdee8757259e7b22bdc2c9b1d9b474b811c2f19e08d2f",
      "engines/lawref/lawref/a3.py": "sha256:aaae4022649f43d760772849a2bba8570a8737a1b06c6dea0c3fd3977c1ce7bb",
      "engines/lawref/lawref/a3_io.py": "sha256:29f422ddb8668149b495c0ebce112b4136b48b50bbf0306e30de458d106b6f8d",
      "engines/lawref/lawref/amend.py": "sha256:47340533c6db7b8d0cb19c1aaa7da5dc3a892e8f9d22ddfcfd03b1b6fb5188a6",
      "engines/lawref/lawref/applicability.py": "sha256:c3bdee1f3afc43b06462260d57459458218b19d1183e68521a3d2da36d5dad66",
      "engines/lawref/lawref/approvals.py": "sha256:b973c4161f10399848c910371bf4d91ff1697f8006ea23d4e3b4452f12bd5e4a",
      "engines/lawref/lawref/argmap.py": "sha256:7fb1d8bd40fa80a46ea5f2eed7d4ef1c8be88e4b7bbc8f1b4ca846813bbbb379",
      "engines/lawref/lawref/authoring.py": "sha256:19557362ca2d40868d991d79a1e14900475ef711c4d6b93d3761c7b6981b6c12",
      "engines/lawref/lawref/calendar.py": "sha256:ebde0029d5dc0720ec0c354c0885e6c73e35f638fddad0df2b252b06d34705bd",
      "engines/lawref/lawref/canon.py": "sha256:92e8e060c01ade8ada20bfdfa6b8c3b67c7caac849ad7899ce3d794e2506e58f",
      "engines/lawref/lawref/cert.py": "sha256:f7b7f66474614927fd72ed75e49dce096bd70648eedfe33cf74302626abf51f4",
      "engines/lawref/lawref/conformance.py": "sha256:e4efd33fb52bfad4ca40610072edc0bfb6e928b772b3f570aa641e66a42fad35",
      "engines/lawref/lawref/context.py": "sha256:58ad00ede2237b1350f120293ba9f58183a98837816230fb49b585bf5c75d114",
      "engines/lawref/lawref/counterfactual.py": "sha256:e979304e011cacc7c3747f6b0bd46a628103f94e18d59e1fd74bcba031405264",
      "engines/lawref/lawref/delegation.py": "sha256:b89f29d85064a24131b47c8698d50996bf2ac49088135c50715c8f185a4025f9",
      "engines/lawref/lawref/diagnostics.py": "sha256:e5a1862a5d5069f2fd627bc123a7fa7a29165b7769416387f53b58e380793f1f",
      "engines/lawref/lawref/divergence.py": "sha256:0c85a9636d8dcb318fb8d7e8a23b97963fd8de5f464dd5598af724179b364cfd",
      "engines/lawref/lawref/entrenchment.py": "sha256:5464884f28f839044c8f0d33dfff506b7d89042f5f533fe12156d181f2196a00",
      "engines/lawref/lawref/evaluator/__init__.py": "sha256:69bb64a348ac54d48acd6dc23edab8acdafe4948efa70dd29bdb75aef3737365",
      "engines/lawref/lawref/evaluator/argumentation.py": "sha256:044e54fa98e85b08ee41d5a5f644a596fb8ed5103cade80fd1d8bee707d7e8dc",
      "engines/lawref/lawref/evaluator/constants.py": "sha256:f62eec3f19f502ea163568a37d3b0083e915685165402c6fcf10e2ac9cf5d634",
      "engines/lawref/lawref/evaluator/constraints.py": "sha256:f0dd4e7a08b25b602850b4e634db00ba5c8dacfa1a075e1a81dc714c2e45e3b8",
      "engines/lawref/lawref/evaluator/defeasible.py": "sha256:fe4b7dfec3325b191874e5032f99ecfad34a61f529f3cfd28403d69af61b9f1d",
      "engines/lawref/lawref/evaluator/document.py": "sha256:112167bd02b72d68ba4ed34d05175ae56cb4bef2ae2e60f01ac7df53b7eca1ee",
      "engines/lawref/lawref/evaluator/editions.py": "sha256:115da597b14c58e6dd4e665ebe3d7545d800286e4911b84f33db0e44cc506e86",
      "engines/lawref/lawref/evaluator/effects.py": "sha256:488cf919ee2481da197cd09f6c8d7511cc0fd70f1c09c701638066eb033b5a16",
      "engines/lawref/lawref/evaluator/engine.py": "sha256:1ce212d68674e283efa0d95e465c7de58444601eae0715d0877171d495b71bc7",
      "engines/lawref/lawref/evaluator/events.py": "sha256:3df3ac1434b11bbbe2f620f946b97051bd909ef0ba42c3bc8cdf636e346a7a62",
      "engines/lawref/lawref/evaluator/evidence.py": "sha256:cc714fa2d22152f8ea367ce6dd64c4965d93702faf852bca11f7734c5a13387b",
      "engines/lawref/lawref/evaluator/facts.py": "sha256:9f7419151b7eeb4b2b7f4024c3ec1d6f823109ed696f321c994d260be24c98e4",
      "engines/lawref/lawref/evaluator/interpretations.py": "sha256:7c98c21b2d06210974a887108f92dc4a4a0013a435dfe7916449e1eb1ec04ff7",
      "engines/lawref/lawref/evaluator/limits.py": "sha256:3da27b0be93eefcb0a1d4a39ed9955f6f7f5114a28f252782d7bccc9113333df",
      "engines/lawref/lawref/evaluator/normconflict.py": "sha256:7749273523250e213f1de08cc81d5ea2353e04c4a730514dab1beada8c03b177",
      "engines/lawref/lawref/evaluator/norms.py": "sha256:b0739e896dba7dc33657a1cacb0f161b2b45f25ccaa5ef8d495b41520f312dde",
      "engines/lawref/lawref/evaluator/precedent.py": "sha256:bf7376eab96e48cef79e1a163bfc2c0813a521ccd42b5b30f5ce20506d2bdabc",
      "engines/lawref/lawref/evaluator/prepared.py": "sha256:3cd739a5c8587475025339d926b53c7849ff19b5780f1754b53b2b69057461fb",
      "engines/lawref/lawref/evaluator/procedures.py": "sha256:c51a7fd09d5999448d5c68aa53c101be88030ca924455c0d3badeede8f3b1cc5",
      "engines/lawref/lawref/evaluator/proof.py": "sha256:67002222d0957929ef9b7c72587bf1bda5b69f4a362c84cdc6ef9533afb520de",
      "engines/lawref/lawref/evaluator/queries.py": "sha256:03ded955d02dc42f95a52a2dfb423925662eeab215088b7d94bcfe2da924175b",
      "engines/lawref/lawref/evaluator/query_shape.py": "sha256:ec26caec945180a1cb4c9869ddb2628f5b063677c01210ace7c2a9a086d87ae3",
      "engines/lawref/lawref/evaluator/rules.py": "sha256:a56689392e1749bd788be71952d943b335654bd807205038987c968a19357dcc",
      "engines/lawref/lawref/evaluator/solver.py": "sha256:ac17688ab6596de1188c9f294c282fae562b1b185754b0cdc2c323cd74e290e9",
      "engines/lawref/lawref/evaluator/strict.py": "sha256:9964708c0acb5eb9525d49cf15b25c267d530fe693639a2db3c3f0d518afe465",
      "engines/lawref/lawref/evaluator/support.py": "sha256:f8cf395b3f026aa7e2776013234a6568642b96c5c6fac8f1634f50ede83af3ed",
      "engines/lawref/lawref/evaluator/whynot.py": "sha256:b00e44948e2b96d1de0918d2e1045b83c15a8354f514fe8ba4d8f49817627366",
      "engines/lawref/lawref/expansion.py": "sha256:f140758e96b4e6ce1cad996adf6aabf9f6650aa1e0e154d1ccba6b62ddd0508a",
      "engines/lawref/lawref/fuzz.py": "sha256:cba16478fa0e97bb99a812c3134f4d34f8ce6bb2197c8bf0d6db0d9361a567aa",
      "engines/lawref/lawref/goals.py": "sha256:57a0bbda6672016b925bf7314c3a0313c62b4909e15ea6dbde58cd3fff6f1a23",
      "engines/lawref/lawref/hashing.py": "sha256:848f975df2067ac50d7536dd5aaff0fa1dd02dddcb753e3096f564a984aaaf88",
      "engines/lawref/lawref/i18n.py": "sha256:02aacdd9da7821c1b38f6674a96cb982f10efa522d99a3546c1e9f7aa48c27ab",
      "engines/lawref/lawref/impact.py": "sha256:8d9acdff9e90d9acd2ddaa82ae91856e08eaacc1561b09fffe2e216397af033f",
      "engines/lawref/lawref/ir_compat.py": "sha256:ac0ddb458c5c62a294844e590f705fc1d03845afb26516b6193cdc88c7e08ff5",
      "engines/lawref/lawref/lawtest.py": "sha256:8226c6328e8e69c8d859a025689e4bfeacd1a9cc04e23c65da82c0a3e58f8886",
      "engines/lawref/lawref/layers.py": "sha256:6e53533705d5780738a7cd13be8b9547c141f62655080b830888778f72c967c0",
      "engines/lawref/lawref/loophole.py": "sha256:1149d44774410bf399fffde601409f75e514c9a955bc2f0573078bc6f28365a6",
      "engines/lawref/lawref/migrate.py": "sha256:3663578762d99d808a721d0f94df5c9c5c9657d0f34eb441a2c0ba27afa1f5b4",
      "engines/lawref/lawref/mutate.py": "sha256:b1e5fe2bed573686b507337cb0c623bd97f0663910accd4c7161ec10dd5f31a4",
      "engines/lawref/lawref/normstatic.py": "sha256:35d11812a5c83a480c5e38d9d0b4ba7b5916af03899a7b2983adf50b84da096b",
      "engines/lawref/lawref/process.py": "sha256:9b5dcd48fab525ba74c071e05a6d40e80321c6a6a061c541809066cc7cc65f9c",
      "engines/lawref/lawref/query/__init__.py": "sha256:e92491e1b8a1abbf94c247678c5226941dc97bc2135017d6122a788a1a8be9a6",
      "engines/lawref/lawref/query/cli.py": "sha256:06f8b695210c50b19785fe11c7373e74fb3f9e103904258ee32dd2d3624a23c7",
      "engines/lawref/lawref/query/engine.py": "sha256:f0c60caec638ee1b32bbdc430648d0421a98ffcede7eb760e6db18f95946117a",
      "engines/lawref/lawref/query/errors.py": "sha256:b0d325ed7882e551d05a6f4900aaa79d7648b255b15f41014ecbb06336e98acc",
      "engines/lawref/lawref/query/facts.py": "sha256:e8cd5548e14b3fbb256fd07f2a97d5423ea61c73b16d17ade99dc420b1c39e8c",
      "engines/lawref/lawref/query/inference.py": "sha256:945df024433813bd21e279ec33c40299f2cc30d3c3cb99b041559d0a697262bc",
      "engines/lawref/lawref/query/materialize.py": "sha256:77644af5b7695f98050a29848ab254fbfe7b0a038067948d7bccf5bcd06faf09",
      "engines/lawref/lawref/query/parser.py": "sha256:3167725d132c9606a98f19d15782746e92bdbd26b9b27aa5a89bb213a6977ca7",
      "engines/lawref/lawref/reanchor.py": "sha256:12cf826406d1aeba594ea0084e8906a40472f499087937bca4988e8fe0c5c958",
      "engines/lawref/lawref/resolver.py": "sha256:271487b123983265cf8a58b025e61c0743a03f5edf33cb743d143e2ebc36bb31",
      "engines/lawref/lawref/schemas.py": "sha256:d0f93bfe1254cc90732eaf98ec85e7efb219ae00c27be2558df447bd006ffdfd",
      "engines/lawref/lawref/screen.py": "sha256:2bd656d0e332e0f4eb1dd92cc2969d94c2df3009e4edc2a5efbff5696e2a9590",
      "engines/lawref/lawref/semdiff.py": "sha256:ea48c7192e6d46cf0e119df8651a6fdb87342ebfcce9f2b0a407b2cbf95ed8fb",
      "engines/lawref/lawref/std_registry.py": "sha256:84452b8fe702aa86de343cd8083e7a4fe63caa33d358cf97c6d49fe7f6d61f6a",
      "engines/lawref/lawref/term_sugar.py": "sha256:561e7aadf0bc3a1830f23f4bf04b218b7d0ddfa0de43e60cd6360f39bd49a752",
      "engines/lawref/lawref/unit_declarations.py": "sha256:cf4729ecb391ebf2bd20da7ed41a8d751225506b7b914c7bae0101a24b66bf90",
      "engines/lawref/lawref/units.py": "sha256:7bb3dc8e72e00bd1397c0578fb6c63376eed908266068ad6677489a612be10d6",
      "engines/lawref/lawref/values.py": "sha256:ab2cefc9e6fea6ecfea681a1734b515d0198ebe3656ac40b1d3a712613c19e97",
      "engines/lawref/lawref/verbalize.py": "sha256:7c1f450d4f8755908b1b7485a2dd5324607f8d0c46685d403ef79ebcc5086c38",
      "spec/schema/business-requirements.schema.json": "sha256:33f1ce1c347c6ba705b2053f4dd1f08ea1f6d3894b363fbc731ad889431644ef",
      "spec/schema/calendar-dataset.schema.json": "sha256:77ab7e0f9c3eef5d9288090061210f8338dc550631286f188899fc0d73b3fb6e",
      "spec/schema/conformance-descriptor.schema.json": "sha256:ee811a32dda90731bbb4bec700663ac58c78cfa7972d094397a66ec8640158c8",
      "spec/schema/counterfactual-input.schema.json": "sha256:5decbcd8dbe19181e3851eafce6a95158bba4a77920a780fe60df5d68c92b636",
      "spec/schema/counterfactual-result.schema.json": "sha256:eced4a9910a8b4220e388d11f29296a21fe1b79678bc322355fc41dcae73984e",
      "spec/schema/decision-table.schema.json": "sha256:ec673130ee9b20a7f8a2c75371d3fe24762e0604b49de680e13e37cff76774fc",
      "spec/schema/diagnostic.schema.json": "sha256:db8d46f772bf7496475303b34524022cf675afff39213db3aec98d31cda33f3a",
      "spec/schema/evaluation-request.schema.json": "sha256:14c2828b2eeb32ef1591443f9ccdf7b6c9d81b051d8900f1775b837bf69d2c5c",
      "spec/schema/evaluation.schema.json": "sha256:0cc090b2479e28c865ccbb115a0790e7d28ad2c1b15e0da761540b77fbe736f1",
      "spec/schema/external-snapshot.schema.json": "sha256:e7de96a7924c541fe3fc784a5ba34cd239ad5e032726e2c39019887984941112",
      "spec/schema/feature-registry.schema.json": "sha256:77b5cf3e9dffa8ec55ed3f393e514c89fafc314ebb68aff1e0448fd8b3be367a",
      "spec/schema/legal-ir.schema.json": "sha256:dde871cb454836ed1b2bd859b2b3d31655ce1e15776968fb893b2a3700882317",
      "spec/schema/lockfile.schema.json": "sha256:223d92031f74f79fa487a1142fa4fda6072953f2a9dd68c267cf84fc16354da8",
      "spec/schema/package-benchmark.schema.json": "sha256:ca43adbd208fe1dffb5c8a03845dd6257b86c549a47e9bfeac59bcb84dc220e6",
      "spec/schema/package-info.schema.json": "sha256:db9be87a1ff93acce5337aca9062495f5e292083d0809ace6fe5995851b8fe97",
      "spec/schema/package-manifest.schema.json": "sha256:11d91b45f2a38c9bb63fa2932017739ce7f9b2689df4b63f3855147450cb32a0",
      "spec/schema/package-passport.schema.json": "sha256:95a58c502b896d4472b408cfea95779c90c764b709ca37d3b6e01dac3d0ddc66",
      "spec/schema/package-report.schema.json": "sha256:bf6022cee0ebcca8e26e210f8b89fed52989c7dad87e25a41bb4c692d0f69005",
      "spec/schema/parameter-dataset.schema.json": "sha256:134534c22b688dd9964ad48daf34d6c49dfac02daec865467e78b025f469d7d2",
      "spec/schema/query-result.schema.json": "sha256:0fed1a7eca9995587ed6c7f7798fa762fa17d7f2264443115b5481aa643ee42c",
      "spec/schema/query.schema.json": "sha256:331be05f67cc6a08b23f54e32674cb76c5ce416eb72a38a57993fd2f424e2f02",
      "spec/schema/review-approval.schema.json": "sha256:d354280823cf3259512c090a8a564ad846bcaac0bd8053387d187ae4955391b4",
      "spec/schema/screen-binding.schema.json": "sha256:d27d1373d2c6feefb4914b082d57ef35688e06e74f00ac50440d8f66aec13011",
      "verify/ci/lib/law_ffi.py": "sha256:78abbf21586b6656dbcd1964c827675f815ba8f30130f1bc553d4397f50059e9",
      "verify/ci/tools/benchmark_package.py": "sha256:6fd22fd80c1fd6ca4d796ed2cf0f5b2f903555e5a270ba6d51f0a0a18d6b8442",
      "verify/ci/tools/hot_path_profile.py": "sha256:54a90bf543ec9b2ccf7df78f36ca4730ab75e9ddc97624c72043c70597db4e36"
    },
    "warmups": 2
  },
  "data": {
    "adapter": "native-ffi",
    "environment": {
      "cpu": "Apple M4 Max",
      "loadAverage": [
        5.05419921875,
        6.02294921875,
        8.11865234375
      ],
      "logicalCpus": 14,
      "machine": "arm64",
      "os": "macOS-15.7.3-arm64-arm-64bit",
      "python": "3.10.11",
      "ramBytes": 38654705664
    },
    "expectationCheckerHash": "sha256:8226c6328e8e69c8d859a025689e4bfeacd1a9cc04e23c65da82c0a3e58f8886",
    "format": "law.package-benchmark/0.1",
    "loadHandleMs": 3.907292,
    "memoryScope": "Peak of isolated Python + FFI worker, includes imports and checking; not package allocation",
    "peakProcessRssBytes": 54640640,
    "scenarios": [
      {
        "cpuMs": {
          "n": 30,
          "p50": 6.124625,
          "p95": 6.991666
        },
        "failedEvaluations": 0,
        "firstObservedCallsMs": [
          8.448333
        ],
        "id": "archive-1",
        "inputFacts": [
          2
        ],
        "outcome": "passed",
        "proofBytes": {
          "n": 30,
          "p50": 65994,
          "p95": 65994
        },
        "raw": {
          "cpuMs": [
            6.188542,
            6.117292,
            6.256417,
            6.56575,
            6.429792,
            5.868625,
            6.124625,
            6.635333,
            6.052334,
            5.974875,
            5.891916,
            5.819375,
            6.991666,
            6.064,
            6.366,
            6.035041,
            7.057792,
            6.454958,
            5.963125,
            5.980209,
            6.630834,
            6.517375,
            5.934584,
            6.598667,
            6.298584,
            5.779417,
            5.870542,
            6.022209,
            6.226833,
            6.135875
          ],
          "proofBytes": [
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994
          ],
          "responseBytes": [
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380
          ],
          "wallMs": [
            6.198209,
            6.16625,
            6.2925,
            6.646292,
            6.507375,
            5.869458,
            6.142208,
            6.704125,
            6.081875,
            6.006292,
            5.910458,
            5.820333,
            7.091709,
            6.089334,
            6.435917,
            6.112375,
            7.246583,
            6.546042,
            5.981958,
            5.990375,
            6.735042,
            6.583416,
            5.954542,
            6.693125,
            6.395417,
            5.7805,
            5.888,
            6.077041,
            6.260667,
            6.16725
          ]
        },
        "reason": "First authored example of this suite; pinned explicit selection, not exhaustive performance coverage.",
        "requestHashes": [
          "sha256:1d717075b318e0eb989e93e41107458b950e4fcb60c5052bd85f519aa789c6bc"
        ],
        "responseBytes": {
          "n": 30,
          "p50": 68380,
          "p95": 68380
        },
        "serialMeasuredCallsPerSecond": 159.25708227392863,
        "successfulEvaluations": 30,
        "suite": "tests/late-fee.lawtest",
        "testHash": "sha256:330a374e984c90518dc59b8b5cf1d7d33a322727efe6f124ebf4365aef12d62b",
        "testIndex": 0,
        "title": "три дня просрочки — 600, вся база в первой ступени",
        "wallMs": {
          "n": 30,
          "p50": 6.16625,
          "p95": 7.091709
        }
      },
      {
        "cpuMs": {
          "n": 30,
          "p50": 4.01125,
          "p95": 4.596375
        },
        "failedEvaluations": 0,
        "firstObservedCallsMs": [
          3.756042
        ],
        "id": "archive-2",
        "inputFacts": [
          2
        ],
        "outcome": "passed",
        "proofBytes": {
          "n": 30,
          "p50": 4347,
          "p95": 4347
        },
        "raw": {
          "cpuMs": [
            4.146625,
            4.041208,
            4.068875,
            3.773709,
            4.1225,
            3.653833,
            3.951916,
            3.493916,
            3.645375,
            3.628125,
            3.557458,
            4.01125,
            3.918,
            4.049833,
            4.596375,
            4.256084,
            4.4305,
            3.625459,
            4.138875,
            3.574083,
            3.671625,
            4.640083,
            4.388333,
            4.55275,
            3.975416,
            4.177708,
            4.22475,
            4.059417,
            3.654333,
            3.549125
          ],
          "proofBytes": [
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347,
            4347
          ],
          "responseBytes": [
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502,
            6502
          ],
          "wallMs": [
            4.205334,
            4.04875,
            4.103042,
            3.781416,
            4.145208,
            3.655417,
            3.968333,
            3.494458,
            3.656042,
            3.628666,
            3.558083,
            4.019917,
            3.918625,
            4.090708,
            4.698834,
            4.273417,
            4.532708,
            3.626084,
            4.296583,
            3.574542,
            3.708666,
            4.722166,
            4.470542,
            4.603833,
            3.998,
            4.197,
            4.260208,
            4.106375,
            3.655583,
            3.549875
          ]
        },
        "reason": "First authored example of this suite; pinned explicit selection, not exhaustive performance coverage.",
        "requestHashes": [
          "sha256:36bc2781f5c8c6a6039e860ff9f42abe4cef0f8ba3901062611c7f023391060c"
        ],
        "responseBytes": {
          "n": 30,
          "p50": 6502,
          "p95": 6502
        },
        "serialMeasuredCallsPerSecond": 248.8626665062332,
        "successfulEvaluations": 30,
        "suite": "tests/tariffs.lawtest",
        "testHash": "sha256:68b516f7f217e5ba44d68936271be2732e7859daa4fffc6058322fc121e2d699",
        "testIndex": 0,
        "title": "семь страниц по ставке города — 1050",
        "wallMs": {
          "n": 30,
          "p50": 4.019917,
          "p95": 4.698834
        }
      },
      {
        "cpuMs": {
          "n": 30,
          "p50": 6.4195,
          "p95": 6.989416
        },
        "failedEvaluations": 0,
        "firstObservedCallsMs": [
          6.168792
        ],
        "id": "archive-1-facts-10",
        "inputFacts": [
          12
        ],
        "outcome": "passed",
        "proofBytes": {
          "n": 30,
          "p50": 65994,
          "p95": 65994
        },
        "raw": {
          "cpuMs": [
            6.989416,
            6.098292,
            6.857291,
            6.212792,
            6.583,
            7.428833,
            6.643875,
            6.246458,
            6.46475,
            6.4195,
            6.081333,
            6.297792,
            6.628375,
            6.478375,
            6.071875,
            6.901292,
            6.561667,
            6.12975,
            6.019125,
            6.672416,
            6.439333,
            6.03375,
            6.89975,
            6.731666,
            6.260084,
            5.964375,
            6.61425,
            6.013417,
            6.274958,
            6.232291
          ],
          "proofBytes": [
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994
          ],
          "responseBytes": [
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380
          ],
          "wallMs": [
            7.073333,
            6.108042,
            6.948083,
            6.249208,
            6.632417,
            7.552167,
            6.737083,
            6.283208,
            6.49625,
            6.4555,
            6.107417,
            6.343167,
            6.690583,
            6.505375,
            6.092792,
            6.961541,
            6.622917,
            6.144,
            6.019959,
            6.755917,
            6.483667,
            6.044208,
            6.956417,
            6.819708,
            6.319125,
            5.965208,
            6.659458,
            6.014291,
            6.29475,
            6.2585
          ]
        },
        "reason": "Synthetic scaling: 10 assertions about distinct additional entities; original authored expectations must still hold.",
        "requestHashes": [
          "sha256:71d1c06e958c1161f0723179ec20b391ca7c475c7dc8019ceeca85f9d0f43dd4"
        ],
        "responseBytes": {
          "n": 30,
          "p50": 68380,
          "p95": 68380
        },
        "serialMeasuredCallsPerSecond": 154.16690718845396,
        "successfulEvaluations": 30,
        "suite": "tests/late-fee.lawtest",
        "testHash": "sha256:5d85e144941c0f913dbd05fe7d10e76bd654b4215b2a0497d0804a4aac1a678b",
        "testIndex": 0,
        "title": "три дня просрочки — 600, вся база в первой ступени",
        "wallMs": {
          "n": 30,
          "p50": 6.4555,
          "p95": 7.073333
        }
      },
      {
        "cpuMs": {
          "n": 30,
          "p50": 7.90075,
          "p95": 8.488
        },
        "failedEvaluations": 0,
        "firstObservedCallsMs": [
          7.588084
        ],
        "id": "archive-1-facts-100",
        "inputFacts": [
          102
        ],
        "outcome": "passed",
        "proofBytes": {
          "n": 30,
          "p50": 65994,
          "p95": 65994
        },
        "raw": {
          "cpuMs": [
            7.606625,
            8.172125,
            8.593541,
            7.260125,
            7.47975,
            7.39675,
            7.924917,
            7.141917,
            7.412834,
            7.288083,
            7.835292,
            8.060792,
            8.181916,
            7.984708,
            7.298583,
            7.265583,
            7.918292,
            7.90075,
            8.099417,
            7.784708,
            8.488,
            7.939458,
            7.923958,
            7.950833,
            8.204792,
            8.030791,
            7.81125,
            7.723791,
            8.413709,
            7.436583
          ],
          "proofBytes": [
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994,
            65994
          ],
          "responseBytes": [
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380,
            68380
          ],
          "wallMs": [
            7.68625,
            8.252542,
            8.719291,
            7.261917,
            7.522291,
            7.440792,
            7.957167,
            7.162625,
            7.512625,
            7.313458,
            7.899958,
            8.156083,
            8.240333,
            8.040167,
            7.299958,
            7.393584,
            8.01,
            8.012958,
            8.2395,
            7.864542,
            8.68525,
            8.05475,
            8.08275,
            8.049834,
            8.376917,
            8.196917,
            7.943791,
            7.829292,
            8.712916,
            7.448041
          ]
        },
        "reason": "Synthetic scaling: 100 assertions about distinct additional entities; original authored expectations must still hold.",
        "requestHashes": [
          "sha256:20b18be9cabb693071b7d5c61082e280d0acf9c9fb136e9a5a7e78b9a420df9a"
        ],
        "responseBytes": {
          "n": 30,
          "p50": 68380,
          "p95": 68380
        },
        "serialMeasuredCallsPerSecond": 126.38683270969928,
        "successfulEvaluations": 30,
        "suite": "tests/late-fee.lawtest",
        "testHash": "sha256:25bc50b9e44cc58ce9dffc7c81932051bff2161b70a73f63639f9b6346f63f7a",
        "testIndex": 0,
        "title": "три дня просрочки — 600, вся база в первой ступени",
        "wallMs": {
          "n": 30,
          "p50": 7.957167,
          "p95": 8.712916
        }
      }
    ],
    "worldHash": "sha256:cdb7a4c50614fd6331c6c74e0fcc620671217c4ad0499561116d1cd83526d963"
  },
  "format": "law.package-report/0.1",
  "kind": "benchmark",
  "outcome": "passed",
  "producer": {
    "hash": "sha256:6fd22fd80c1fd6ca4d796ed2cf0f5b2f903555e5a270ba6d51f0a0a18d6b8442",
    "name": "benchmark_package.py"
  },
  "recordedAt": "2026-09-06T17:13:57.091440+00:00",
  "subject": {
    "buildHash": "sha256:92556f3be2774dd7465a90dd5f55a66865bf9bc6caae7f07aa3877090fef91cc",
    "contentHash": "sha256:4574cf7016b53b5610dfd37e2424b9290fcc754a90c06333bebd36e79694fac1",
    "name": "tutorial.archive",
    "namespace": "urn:law:tutorial:archive",
    "replayHash": "sha256:9cf1911c7ef50764a09d93f5912a3df29c5dfeae202f1fe0fb2d11e2c7bf2d47",
    "sourceHash": "sha256:6af6c607b7625c12cb5cf6c1963ead38d60823a97a859089a28a3019f54c66dc",
    "version": "0.15.0"
  }
}