{ "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": "land-1", "reason": "First authored example of this suite; pinned explicit selection, not exhaustive performance coverage.", "suite": "tests/01-land-holder-duty.lawtest", "testIndex": 0 }, { "id": "land-2", "reason": "First authored example of this suite; pinned explicit selection, not exhaustive performance coverage.", "suite": "tests/02-agricultural-loss-default.lawtest", "testIndex": 0 }, { "id": "land-3", "reason": "First authored example of this suite; pinned explicit selection, not exhaustive performance coverage.", "suite": "tests/03-agricultural-loss-exemption.lawtest", "testIndex": 0 }, { "extraFacts": 10, "id": "land-1-facts-10", "reason": "Synthetic scaling: 10 assertions about distinct additional entities; original authored expectations must still hold.", "suite": "tests/01-land-holder-duty.lawtest", "testIndex": 0 }, { "extraFacts": 100, "id": "land-1-facts-100", "reason": "Synthetic scaling: 100 assertions about distinct additional entities; original authored expectations must still hold.", "suite": "tests/01-land-holder-duty.lawtest", "testIndex": 0 } ] }, "scenariosHash": "sha256:8c48430727d2c6a860c3dfd76b49c0d76714e7a7e7720dd9ae10a63e75ef021c", "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.43310546875, 6.0712890625, 8.11083984375 ], "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": 78.750667, "memoryScope": "Peak of isolated Python + FFI worker, includes imports and checking; not package allocation", "peakProcessRssBytes": 262291456, "scenarios": [ { "cpuMs": { "n": 30, "p50": 11.457375, "p95": 12.275875 }, "failedEvaluations": 0, "firstObservedCallsMs": [ 52.61 ], "id": "land-1", "inputFacts": [ 1 ], "outcome": "passed", "proofBytes": { "n": 30, "p50": 13116, "p95": 13116 }, "raw": { "cpuMs": [ 11.145291, 11.924375, 12.127166, 11.814208, 12.275875, 11.924208, 11.160125, 12.518042, 11.887708, 11.5645, 11.813208, 11.359583, 11.389666, 11.753792, 11.502958, 12.160708, 11.457375, 11.161792, 11.765375, 10.99125, 10.630167, 11.484917, 11.384625, 11.061541, 10.854125, 11.942083, 11.44475, 10.728083, 10.217084, 10.778334 ], "proofBytes": [ 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116, 13116 ], "responseBytes": [ 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819, 14819 ], "wallMs": [ 11.244875, 12.118292, 12.392, 11.927667, 12.491083, 12.140667, 11.277917, 12.619667, 11.994166, 11.60575, 11.88525, 11.416333, 11.463875, 11.854166, 11.632125, 12.215625, 11.475209, 11.18875, 11.803208, 11.074459, 10.647917, 11.53625, 11.400875, 11.103959, 10.903875, 11.973666, 11.4945, 10.751417, 10.234541, 10.832459 ] }, "reason": "First authored example of this suite; pinned explicit selection, not exhaustive performance coverage.", "requestHashes": [ "sha256:e69116c91a847c0a04a008b67d4c1f1d66bc5e5991c91c9ee7421ec690cdd2a0" ], "responseBytes": { "n": 30, "p50": 14819, "p95": 14819 }, "serialMeasuredCallsPerSecond": 86.53000580965345, "successfulEvaluations": 30, "suite": "tests/01-land-holder-duty.lawtest", "testHash": "sha256:d26ceb0e3771c0b7c644cf33bb8de20dae61284e9604ce6136262177fb3d963f", "testIndex": 0, "title": "LAND-LAWTEST-01-HOLDER-DUTY", "wallMs": { "n": 30, "p50": 11.4945, "p95": 12.491083 } }, { "cpuMs": { "n": 30, "p50": 11.359708, "p95": 12.518958 }, "failedEvaluations": 0, "firstObservedCallsMs": [ 11.233208 ], "id": "land-2", "inputFacts": [ 1 ], "outcome": "passed", "proofBytes": { "n": 30, "p50": 3776, "p95": 3776 }, "raw": { "cpuMs": [ 10.659208, 12.0955, 11.006041, 10.9135, 12.0795, 10.877291, 11.427792, 10.570584, 12.140625, 11.466583, 10.634334, 10.924042, 11.359708, 11.090625, 13.925, 12.46325, 12.518958, 12.094209, 11.993083, 11.938875, 11.703708, 11.898083, 11.560916, 11.357625, 10.569167, 11.084458, 12.480583, 10.887875, 10.954041, 11.283334 ], "proofBytes": [ 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776, 3776 ], "responseBytes": [ 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544, 5544 ], "wallMs": [ 10.671916, 12.236541, 11.106291, 10.973, 12.179333, 10.940625, 11.493458, 10.606416, 12.270208, 11.538375, 10.657834, 10.95675, 11.448791, 11.186958, 14.690667, 12.610334, 12.606542, 12.2995, 12.089792, 12.01325, 11.817042, 11.940958, 11.655625, 11.410291, 10.58325, 11.120041, 12.70825, 10.922625, 10.964916, 11.354417 ] }, "reason": "First authored example of this suite; pinned explicit selection, not exhaustive performance coverage.", "requestHashes": [ "sha256:1bff3a11ca3f5d9c0c69a6f5786d21fc455ca3d1134b400b573f4c7199c8f03b" ], "responseBytes": { "n": 30, "p50": 5544, "p95": 5544 }, "serialMeasuredCallsPerSecond": 85.94658804593658, "successfulEvaluations": 30, "suite": "tests/02-agricultural-loss-default.lawtest", "testHash": "sha256:9cdf71715e6da83c9bf498d170cd4dc360cdbfd2a0284e595b18a1eace375076", "testIndex": 0, "title": "LAND-LAWTEST-02-AGRICULTURAL-LOSS-DEFAULT", "wallMs": { "n": 30, "p50": 11.448791, "p95": 12.70825 } }, { "cpuMs": { "n": 30, "p50": 11.567583, "p95": 12.563833 }, "failedEvaluations": 0, "firstObservedCallsMs": [ 12.548791 ], "id": "land-3", "inputFacts": [ 2 ], "outcome": "passed", "proofBytes": { "n": 30, "p50": 6122, "p95": 6122 }, "raw": { "cpuMs": [ 11.388625, 12.332625, 11.519709, 12.030541, 11.937917, 10.863791, 10.955375, 11.602625, 11.854791, 11.0745, 11.201959, 11.100625, 11.687042, 11.187125, 11.876458, 11.099292, 12.312542, 11.870583, 11.755042, 10.771459, 10.565542, 10.793, 11.775166, 10.781791, 11.567583, 11.76725, 11.878542, 12.563833, 13.043, 10.94525 ], "proofBytes": [ 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122, 6122 ], "responseBytes": [ 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897, 7897 ], "wallMs": [ 11.43225, 12.378625, 11.55425, 12.207041, 11.968042, 10.865459, 10.978542, 11.769334, 11.982959, 11.129292, 11.293084, 11.149125, 11.777792, 11.1895, 11.943, 11.110208, 12.363209, 11.905917, 11.824041, 10.796584, 10.611541, 10.838, 11.854791, 10.83225, 11.661917, 11.8585, 11.952167, 12.713125, 13.281208, 10.998042 ] }, "reason": "First authored example of this suite; pinned explicit selection, not exhaustive performance coverage.", "requestHashes": [ "sha256:cedd1148443bc1a7252204fd6613e8003c153f8dcba97de8b3decca7c12cce5a" ], "responseBytes": { "n": 30, "p50": 7897, "p95": 7897 }, "serialMeasuredCallsPerSecond": 86.15248308902143, "successfulEvaluations": 30, "suite": "tests/03-agricultural-loss-exemption.lawtest", "testHash": "sha256:fa2646b3cd2d5b4022f0aeceb1c131cdadfa581eb53325d560475e57a72b0aa4", "testIndex": 0, "title": "LAND-LAWTEST-03-AGRICULTURAL-LOSS-EXEMPTION", "wallMs": { "n": 30, "p50": 11.661917, "p95": 12.713125 } }, { "cpuMs": { "n": 30, "p50": 14.650125, "p95": 15.612166 }, "failedEvaluations": 0, "firstObservedCallsMs": [ 15.022875 ], "id": "land-1-facts-10", "inputFacts": [ 11 ], "outcome": "passed", "proofBytes": { "n": 30, "p50": 134996, "p95": 134996 }, "raw": { "cpuMs": [ 14.516083, 14.23425, 15.483958, 14.650125, 14.283625, 15.610209, 15.032792, 14.922417, 14.844708, 16.131334, 15.577041, 15.612166, 15.307792, 14.159875, 14.482333, 14.181667, 13.947125, 14.276375, 13.777125, 14.78275, 14.109166, 14.693333, 15.138459, 14.581291, 14.715667, 14.56975, 14.546875, 14.205584, 15.344416, 15.366209 ], "proofBytes": [ 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996, 134996 ], "responseBytes": [ 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699, 136699 ], "wallMs": [ 14.556, 14.270042, 15.716333, 14.685333, 14.471167, 15.75875, 15.07125, 14.979875, 15.030625, 16.1965, 15.719167, 15.763333, 15.392, 14.187625, 14.527125, 14.234625, 13.997042, 14.433166, 13.834375, 14.89, 14.194334, 14.817375, 15.217, 14.625375, 14.790125, 14.676375, 14.621042, 14.265791, 15.449125, 15.524292 ] }, "reason": "Synthetic scaling: 10 assertions about distinct additional entities; original authored expectations must still hold.", "requestHashes": [ "sha256:b9dfe9473b6b941c39c736837aa2d257d75835a647d59f42d41cacac8a2550f0" ], "responseBytes": { "n": 30, "p50": 136699, "p95": 136699 }, "serialMeasuredCallsPerSecond": 67.28038835191053, "successfulEvaluations": 30, "suite": "tests/01-land-holder-duty.lawtest", "testHash": "sha256:115bdcb55718ddfce4b33d315f31b8d40c7e0ad06ad2f7e82eb39398e5122932", "testIndex": 0, "title": "LAND-LAWTEST-01-HOLDER-DUTY", "wallMs": { "n": 30, "p50": 14.685333, "p95": 15.763333 } }, { "cpuMs": { "n": 30, "p50": 44.094792, "p95": 45.891875 }, "failedEvaluations": 0, "firstObservedCallsMs": [ 45.368667 ], "id": "land-1-facts-100", "inputFacts": [ 101 ], "outcome": "passed", "proofBytes": { "n": 30, "p50": 1236236, "p95": 1236236 }, "raw": { "cpuMs": [ 44.820583, 42.780458, 43.853541, 44.094792, 44.106, 45.425292, 43.28875, 45.117333, 44.645833, 44.691875, 44.543959, 44.92475, 43.387583, 41.968791, 42.416666, 47.232292, 44.658208, 41.761959, 43.667625, 43.7835, 43.989667, 42.084667, 43.534166, 43.779875, 45.506291, 45.891875, 45.483375, 41.734, 44.764334, 44.915 ], "proofBytes": [ 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236, 1236236 ], "responseBytes": [ 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939, 1237939 ], "wallMs": [ 45.125959, 43.049, 44.233125, 44.427916, 44.250583, 45.779709, 43.58675, 45.414792, 44.988833, 45.006167, 44.792834, 45.2195, 43.526625, 42.105125, 42.586459, 47.641, 44.977542, 41.900833, 43.957458, 44.111625, 44.314333, 42.30025, 43.6645, 44.542833, 46.391292, 46.690208, 45.927042, 42.024042, 45.0975, 45.182792 ] }, "reason": "Synthetic scaling: 100 assertions about distinct additional entities; original authored expectations must still hold.", "requestHashes": [ "sha256:eba8e442e7488f617cdec5bc381fa8ed067214b73b4dbdb488f23f2a72f86f86" ], "responseBytes": { "n": 30, "p50": 1237939, "p95": 1237939 }, "serialMeasuredCallsPerSecond": 22.508722799719393, "successfulEvaluations": 30, "suite": "tests/01-land-holder-duty.lawtest", "testHash": "sha256:56967c1720fa5ed85cd4bca998048624ae2c590dcade06529af72d34ddc40529", "testIndex": 0, "title": "LAND-LAWTEST-01-HOLDER-DUTY", "wallMs": { "n": 30, "p50": 44.427916, "p95": 46.690208 } } ], "worldHash": "sha256:0be4b3f26f98fe4c6e9d2926c37247291034d2b6931b7873a7222c685e3ef892" }, "format": "law.package-report/0.1", "kind": "benchmark", "outcome": "passed", "producer": { "hash": "sha256:6fd22fd80c1fd6ca4d796ed2cf0f5b2f903555e5a270ba6d51f0a0a18d6b8442", "name": "benchmark_package.py" }, "recordedAt": "2026-09-06T17:14:06.586998+00:00", "subject": { "buildHash": "sha256:342b75e439c014c52a6687bd0096ca230884d475687ddbd68a231eb40be15241", "contentHash": "sha256:0be4b3f26f98fe4c6e9d2926c37247291034d2b6931b7873a7222c685e3ef892", "name": "kz.corpus.land_code", "namespace": "urn:kz:corpus:clir:land-code", "replayHash": "sha256:f2ff8f06c1d41d73226d1a867dc27accfb9eee82a66ad4a1c669c8b286ff6582", "sourceHash": "sha256:2107071f1dade27f2d028d8499fde830898ede9598a772a63d97941387672f7d", "version": "0.1.0" } }