{ "evidence_limits": "Exploratory and inconclusive single-adapter observations; no comparator, limiter profile, speedup, application-scale claim or validated binary64 rounding enclosure", "measured_scope": "14 measured verified batches across two bounded public GeometryPort DependentSum fixtures; 2,000 fresh checked calls per batch", "native_payload_sha256": "ebaad5725ed3d2e944662d7df3ce3597a40c4bc84b3c534c967316293a18d8f3", "payload": { "build_provenance_sha256": "876168d4165416d9cd5edd113814e2b883ba47e29ec4c1a21517cbabd76242a0", "collection_end_utc": "2026-10-16T17:07:41.946895+00:00", "collection_start_utc": "2026-10-16T17:07:41.469449+00:00", "created_utc": "2026-10-16T17:07:41.993358+00:00", "environment": { "host_observation": { "build_processes": { "MSBuild": 0, "cl": 0, "cmake": 0 }, "cpu_load_percent": 0, "logical_processors": 12, "observed_utc": "2026-10-16T17:07:41.4247033+00:00", "schema": "csl.geo07-dependent-host/1" }, "host_observation_sha256": "672272d7325e6c881028884837e117383dfda221694623da9e1f0f566805aa3b", "logical_processors": 12, "observed_native_threads": null, "observed_native_threads_reason": "no native thread counter in driver", "os": "Windows-11-10.0.22631-SP0", "processor": "Intel64 Family 6 Model 151 Stepping 5, GenuineIntel", "python": "3.13.5", "requested_driver_workers": 1 }, "harness_commit": "eef1eda3d326418a392b3cc1e8f8f4b204ca7a73", "harness_tree": "555954400146134d67a4aefca19bb767106c7e5f", "inputs": { "assurance": "numerical", "canonical_bytes_sha256": "d815e5287b4870a5687508a2b5785f86e5fcf816738c69c2fa7c1f7bf15badd5", "driver_description_sha256": "aea78ddfc0faed7fe141d08f14c8cb1d256cbd680befe04072610f323470b577", "driver_source_sha256": "c43de00a9a11b2b974d9562bcdbccff1eb3f0982f08602e595e0561b50c94b36", "fixture_sha256": { "constrained_shared": "2362b4539bbf773933e53aab771c2f3ff2e2801f12022a054a6c5fc0ba3ab899", "shared_cancellation": "25c960d8ce4d038b57813dfaa354475acb641bc1589090910f5616dfa627f0ea" }, "fixtures": { "constrained_shared": { "feasible_factor_witnesses": [ [ -1.0, -1.0, 1.0 ], [ 0.0, 0.0, 0.0 ], [ 1.0, 1.0, -1.0 ] ], "inside_points": [ [ 0.0, 0.0 ], [ 0.0, 0.0 ], [ 0.0, 0.0 ] ], "left": { "center": [ 0.0, 0.0 ], "coordinate_labels": [], "equalities": { "cols": 2, "rows": 1, "values": [ 1.0, -1.0 ] }, "equality_values": [ 0.0 ], "factor_ids": [ "u", "v" ], "factor_interval": [ -1.0, 1.0 ], "generators": { "cols": 2, "rows": 2, "values": [ 1.0, 0.0, 0.0, 1.0 ] }, "id": "dependent-constrained-left" }, "operation": "dependent_sum", "output_id": "dependent-constrained-origin", "output_representation": "csl.constrained-zonotope", "outside_points": [ [ 0.0, 1.0 ], [ 1.0, 0.0 ] ], "physical_h": { "equalities": { "cols": 2, "rows": 2, "values": [ 1.0, 0.0, 0.0, 1.0 ] }, "inequalities": { "cols": 2, "rows": 0, "values": [] }, "upper": [], "values": [ 0.0, 0.0 ] }, "public_request": { "assurance": "numerical", "prepared_output_relation": "equivalent", "prepared_scalar": "binary64", "problem_id": "geo07-dependent", "registration_version": "1.1.0", "request_id": "constrained-shared" }, "registration": "csl.geometry.generators.operations", "rejection_controls": { "independent_shared_ids": true }, "right": { "center": [ 0.0, 0.0 ], "coordinate_labels": [], "equalities": { "cols": 2, "rows": 1, "values": [ 1.0, 1.0 ] }, "equality_values": [ 0.0 ], "factor_ids": [ "u", "w" ], "factor_interval": [ -1.0, 1.0 ], "generators": { "cols": 2, "rows": 2, "values": [ -1.0, 0.0, 0.0, 1.0 ] }, "id": "dependent-constrained-right" } }, "shared_cancellation": { "feasible_factor_witnesses": [ [ -1.0 ], [ 0.0 ], [ 1.0 ] ], "inside_points": [ [ 0.0 ], [ 0.0 ], [ 0.0 ] ], "left": { "center": [ 0.0 ], "coordinate_labels": [], "equalities": { "cols": 1, "rows": 0, "values": [] }, "equality_values": [], "factor_ids": [ "history.0" ], "factor_interval": [ -1.0, 1.0 ], "generators": { "cols": 1, "rows": 1, "values": [ 1.0 ] }, "id": "dependent-cancel-left" }, "operation": "dependent_sum", "output_id": "dependent-cancel-origin", "output_representation": "csl.zonotope", "outside_points": [ [ -1.0 ], [ 1.0 ] ], "physical_h": { "equalities": { "cols": 1, "rows": 1, "values": [ 1.0 ] }, "inequalities": { "cols": 1, "rows": 0, "values": [] }, "upper": [], "values": [ 0.0 ] }, "public_request": { "assurance": "numerical", "prepared_output_relation": "equivalent", "prepared_scalar": "binary64", "problem_id": "geo07-dependent", "registration_version": "1.1.0", "request_id": "shared-cancellation" }, "registration": "csl.geometry.generators.operations", "rejection_controls": { "independent_shared_ids": true }, "right": { "center": [ 0.0 ], "coordinate_labels": [], "equalities": { "cols": 1, "rows": 0, "values": [] }, "equality_values": [], "factor_ids": [ "history.0" ], "factor_interval": [ -1.0, 1.0 ], "generators": { "cols": 1, "rows": 1, "values": [ -1.0 ] }, "id": "dependent-cancel-right" } } }, "representation_claim": "equivalent real-set dependent generator algebra; no validated binary64 rounding enclosure", "scalar": "binary64" }, "payload_sha256": "4dcc5a8fe36f17eddf6774fa4ebb21d3857f216ced7e0fae5f04f28c2a1428c6", "performance_conclusion": "exploratory single-adapter batch observations; no comparator, speedup, or attributed limiter", "process": { "exit_code": 0, "raw_sha256": "3cc538611451add4eaef7adcbb5f225bbe668eadb8c32bd9e98de298f85fbc0c", "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" }, "report_id": "geo07-dependent-4dcc5a8fe36f17ed", "review_seal_sha256": "7d79566fbd0a60ba8aa318da34956294036bd7e3e2221303f1c954fa8b75e001", "reviewed_code_commit": "eaa32fdfdcf42b3f3f3221dd3031d654fe05e576", "rows": [ { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 26335300, "error": null, "fixture": "shared_cancellation", "result": { "center": [ 0.0 ], "equalities": [], "error_bound": false, "factor_ids": [ "history.0" ], "generators": [ 0.0 ], "outside_points": [ [ -1.0 ], [ 1.0 ] ], "physical_witnesses": [ [ 0.0 ], [ 0.0 ], [ 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 0, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": true }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 31954900, "error": null, "fixture": "constrained_shared", "result": { "center": [ 0.0, 0.0 ], "equalities": [ 1.0, -1.0, 0.0, 1.0, 0.0, 1.0 ], "error_bound": false, "factor_ids": [ "u", "v", "w" ], "generators": [ 0.0, 0.0, 0.0, 0.0, 1.0, 1.0 ], "outside_points": [ [ 0.0, 1.0 ], [ 1.0, 0.0 ] ], "physical_witnesses": [ [ 0.0, 0.0 ], [ 0.0, 0.0 ], [ 0.0, 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 0, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": true }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 25956800, "error": null, "fixture": "shared_cancellation", "result": { "center": [ 0.0 ], "equalities": [], "error_bound": false, "factor_ids": [ "history.0" ], "generators": [ 0.0 ], "outside_points": [ [ -1.0 ], [ 1.0 ] ], "physical_witnesses": [ [ 0.0 ], [ 0.0 ], [ 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 0, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 31589700, "error": null, "fixture": "constrained_shared", "result": { "center": [ 0.0, 0.0 ], "equalities": [ 1.0, -1.0, 0.0, 1.0, 0.0, 1.0 ], "error_bound": false, "factor_ids": [ "u", "v", "w" ], "generators": [ 0.0, 0.0, 0.0, 0.0, 1.0, 1.0 ], "outside_points": [ [ 0.0, 1.0 ], [ 1.0, 0.0 ] ], "physical_witnesses": [ [ 0.0, 0.0 ], [ 0.0, 0.0 ], [ 0.0, 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 0, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 32664800, "error": null, "fixture": "constrained_shared", "result": { "center": [ 0.0, 0.0 ], "equalities": [ 1.0, -1.0, 0.0, 1.0, 0.0, 1.0 ], "error_bound": false, "factor_ids": [ "u", "v", "w" ], "generators": [ 0.0, 0.0, 0.0, 0.0, 1.0, 1.0 ], "outside_points": [ [ 0.0, 1.0 ], [ 1.0, 0.0 ] ], "physical_witnesses": [ [ 0.0, 0.0 ], [ 0.0, 0.0 ], [ 0.0, 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 1, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 28182000, "error": null, "fixture": "shared_cancellation", "result": { "center": [ 0.0 ], "equalities": [], "error_bound": false, "factor_ids": [ "history.0" ], "generators": [ 0.0 ], "outside_points": [ [ -1.0 ], [ 1.0 ] ], "physical_witnesses": [ [ 0.0 ], [ 0.0 ], [ 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 1, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 25647700, "error": null, "fixture": "shared_cancellation", "result": { "center": [ 0.0 ], "equalities": [], "error_bound": false, "factor_ids": [ "history.0" ], "generators": [ 0.0 ], "outside_points": [ [ -1.0 ], [ 1.0 ] ], "physical_witnesses": [ [ 0.0 ], [ 0.0 ], [ 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 2, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 32725000, "error": null, "fixture": "constrained_shared", "result": { "center": [ 0.0, 0.0 ], "equalities": [ 1.0, -1.0, 0.0, 1.0, 0.0, 1.0 ], "error_bound": false, "factor_ids": [ "u", "v", "w" ], "generators": [ 0.0, 0.0, 0.0, 0.0, 1.0, 1.0 ], "outside_points": [ [ 0.0, 1.0 ], [ 1.0, 0.0 ] ], "physical_witnesses": [ [ 0.0, 0.0 ], [ 0.0, 0.0 ], [ 0.0, 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 2, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 33118200, "error": null, "fixture": "constrained_shared", "result": { "center": [ 0.0, 0.0 ], "equalities": [ 1.0, -1.0, 0.0, 1.0, 0.0, 1.0 ], "error_bound": false, "factor_ids": [ "u", "v", "w" ], "generators": [ 0.0, 0.0, 0.0, 0.0, 1.0, 1.0 ], "outside_points": [ [ 0.0, 1.0 ], [ 1.0, 0.0 ] ], "physical_witnesses": [ [ 0.0, 0.0 ], [ 0.0, 0.0 ], [ 0.0, 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 3, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 28287800, "error": null, "fixture": "shared_cancellation", "result": { "center": [ 0.0 ], "equalities": [], "error_bound": false, "factor_ids": [ "history.0" ], "generators": [ 0.0 ], "outside_points": [ [ -1.0 ], [ 1.0 ] ], "physical_witnesses": [ [ 0.0 ], [ 0.0 ], [ 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 3, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 25870200, "error": null, "fixture": "shared_cancellation", "result": { "center": [ 0.0 ], "equalities": [], "error_bound": false, "factor_ids": [ "history.0" ], "generators": [ 0.0 ], "outside_points": [ [ -1.0 ], [ 1.0 ] ], "physical_witnesses": [ [ 0.0 ], [ 0.0 ], [ 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 4, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 31826800, "error": null, "fixture": "constrained_shared", "result": { "center": [ 0.0, 0.0 ], "equalities": [ 1.0, -1.0, 0.0, 1.0, 0.0, 1.0 ], "error_bound": false, "factor_ids": [ "u", "v", "w" ], "generators": [ 0.0, 0.0, 0.0, 0.0, 1.0, 1.0 ], "outside_points": [ [ 0.0, 1.0 ], [ 1.0, 0.0 ] ], "physical_witnesses": [ [ 0.0, 0.0 ], [ 0.0, 0.0 ], [ 0.0, 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 4, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 32201200, "error": null, "fixture": "constrained_shared", "result": { "center": [ 0.0, 0.0 ], "equalities": [ 1.0, -1.0, 0.0, 1.0, 0.0, 1.0 ], "error_bound": false, "factor_ids": [ "u", "v", "w" ], "generators": [ 0.0, 0.0, 0.0, 0.0, 1.0, 1.0 ], "outside_points": [ [ 0.0, 1.0 ], [ 1.0, 0.0 ] ], "physical_witnesses": [ [ 0.0, 0.0 ], [ 0.0, 0.0 ], [ 0.0, 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 5, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 25649700, "error": null, "fixture": "shared_cancellation", "result": { "center": [ 0.0 ], "equalities": [], "error_bound": false, "factor_ids": [ "history.0" ], "generators": [ 0.0 ], "outside_points": [ [ -1.0 ], [ 1.0 ] ], "physical_witnesses": [ [ 0.0 ], [ 0.0 ], [ 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 5, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 26255700, "error": null, "fixture": "shared_cancellation", "result": { "center": [ 0.0 ], "equalities": [], "error_bound": false, "factor_ids": [ "history.0" ], "generators": [ 0.0 ], "outside_points": [ [ -1.0 ], [ 1.0 ] ], "physical_witnesses": [ [ 0.0 ], [ 0.0 ], [ 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 6, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false }, { "batch": 2000, "checked_calls": 2000, "elapsed_ns": 32156200, "error": null, "fixture": "constrained_shared", "result": { "center": [ 0.0, 0.0 ], "equalities": [ 1.0, -1.0, 0.0, 1.0, 0.0, 1.0 ], "error_bound": false, "factor_ids": [ "u", "v", "w" ], "generators": [ 0.0, 0.0, 0.0, 0.0, 1.0, 1.0 ], "outside_points": [ [ 0.0, 1.0 ], [ 1.0, 0.0 ] ], "physical_witnesses": [ [ 0.0, 0.0 ], [ 0.0, 0.0 ], [ 0.0, 0.0 ] ], "rejections": { "independent_shared_ids": "generators.minkowski.factor_ids" }, "relation": "equivalent", "status": "passed", "support": "symbolic_argument" }, "round": 6, "schema": "csl.geo07-dependent-trial/1", "status": "passed", "warmup": false } ], "schema": "csl.geo07-dependent-records/1", "source_commit": "5411e37ad456f0d5b3bf775130f149622ef5ebfa", "source_tree": "29996b5a58a1bb775cd7ea5e85b24a49cfaf7938", "summary": { "constrained_shared": { "attempts": 7, "failures": 0, "max_batch_ns": 33118200, "median_batch_ns": 32201200, "min_batch_ns": 31589700, "successes": 7 }, "shared_cancellation": { "attempts": 7, "failures": 0, "max_batch_ns": 28287800, "median_batch_ns": 25956800, "min_batch_ns": 25647700, "successes": 7 } }, "timing": { "batch_calls": 2000, "clock": "steady_clock", "internal_phase_counters": "unavailable", "measured_rounds": 7, "minimum_admitted_batch_ns": 20000000, "order": "alternating fixtures", "scope": "fresh native generator handles and prepared registered GeometryPort, DependentSum admission and workspace execution, literal factor and physical H checks, independent Minkowski rejection, evidence verification and per-call JSON result assignment; excludes process startup, JSONL serialization, Python saved-row validation, persistence and rendering", "unit": "ns", "warmup_rounds": 1 } }, "payload_schema": "csl.geo07-dependent-records/1", "payload_sha256": "ebaad5725ed3d2e944662d7df3ce3597a40c4bc84b3c534c967316293a18d8f3", "report_id": "geo07-dependent-registered-ee5345877b14a0ebd234a92fe30b371426cfee1e72aa8abf9ea2f9ac3454483b", "report_kind": "geo07-registered-dependent-generator-sum", "schema": "csl.algorithm-report-envelope/1", "source_commit": "5411e37ad456f0d5b3bf775130f149622ef5ebfa", "source_report_id": "geo07-dependent-4dcc5a8fe36f17ed" }