{ "format": "renigma.transform_workbench_findings", "version": 1, "protocol": "WORKSTATION-003", "status": "verified-within-registered-local-scope", "run_id": "transform-767eab459ea2", "execution_started_at": "2026-10-06T15:10:16.526616+00:00", "execution_ended_at": "2026-10-06T15:32:13.859095+00:00", "implementation_commit": "ae41ca768c247ed7b8174faa16f12d7a4956f929", "source_sha256": "976d8fd221605ce7c6d41734064fc00d489eeb4d015062a9a88f6de080b770fa", "protocol_document_sha256": "5c36cd27b391efcc83b426485bb4f6925400cc25fb58b9915a05c5cf15cbc5df", "executable_protocol_sha256": "cd972ed491dc362b4b3a3f21c493a717785f6ef244db8f65416c7ab7fcbb8542", "config_sha256": "e3f94cf7c81461cb65e9c50336d20e447bd6a41a0acc371626990f87c71eaf3b", "document_sha256": "4fa4195737de699914aefb093b0cab11cb8793490bbd4dc69071f39e56e6c543", "review_sha256": "ea580211ea8d8b1005bcf627d0e74dbbf438178fc938251831d731b07ee15cf5", "receipt_sha256": "a966170e03d831c4bdbf67d0668a5cc9a60d185e82727f7a4105ef00ef4dbe53", "session_result_sha256": "4af89fa8cbc6b96ea8abe50ab410a7abc671d48524d014e9adb20ef1e5ad882f", "cost_ledger": { "file": "../TRANSFORM_WORKBENCH_RESULTS.csv", "sha256": "9f83d0a611fb033ddf6ad13e00e17d8dcb27231a4569ae65f94841451bbe548b", "bytes": 127838 }, "figure": { "file": "transform-dispatch.png", "sha256": "947a6f4a51dc9c212fd99b0308b09f1565f6e419b29e3a6f3eee9567dca3794e", "kind": "scientific plot from all 48 actual-dispatch CSV rows", "renderer": "Matplotlib 3.11.2, Agg", "renderer_sha256": "8272e37e49cc86a2e821ee21b64c46ca4eeeb500e4ecabf31e8a44b84bd3210b" }, "summary": { "heldout_cases": 48, "route_counts": { "cpu-group-1": 0, "cuda-direct": 8, "cpu-prefix-incremental": 18, "cuda-prefix-incremental": 4, "cuda-graph-direct": 18 }, "candidate_complete_seconds": { "cpu-group-1": 91.57844190008473, "cuda-direct": 18.72076829674188, "cpu-prefix-incremental": 13.806078701629303, "cuda-prefix-incremental": 17.47499550471548, "cuda-graph-direct": 12.728092096629553 }, "baseline_seconds": 91.57844190008473, "reconstructed_selected_seconds": 8.540135400020517, "actual_dispatched_seconds": 8.153366399230435, "baseline_over_actual_dispatch": 11.231979211522797, "baseline_over_reconstructed_selection": 10.723300932660237, "actual_dispatch_faster_cases": 48, "actual_dispatch_max_abs_error": 1.9548772722810526e-06, "actual_dispatch_slower_cases": 0, "actual_dispatch_regressions": [], "actual_dispatch_reused_levels": 20354, "actual_dispatch_recomputed_levels": 47326, "scope": "Measured setup plus complete requests including updates/rebuilds/warm-up/capture plus final teardown; cold-process startup, calibration, references, artifacts and verification are excluded. Actual dispatch is independently executed, not a reconstructed claim." }, "evidence_totals": { "case_reference_files": 72, "reference_scalars": 55314432, "reference_payload_bytes": 442515456, "candidate_output_files": 600, "actual_dispatch_output_files": 48, "output_scalars": 497829888, "output_payload_bytes": 1991319552, "array_file_bytes_including_headers": 2433927168, "completed_requests": 58968, "cost_ledger_rows": 648, "array_payload_bytes": 2433835008 }, "verification_gates": { "controls": { "status": "passed", "qualified": true, "protocol": "WORKSTATION-003/Gate-A", "miniature_states": 9, "miniature_suffix_lengths": [ 0, 1, 2, 3 ], "miniature_cases": 7200, "seeded_long_cases": 16, "cases": 7216, "failures": 0, "first_failure": null, "rewrites_checked": { "duplicate-read": 746, "dead-overwrite": 3127, "independent-write-order": 1130 }, "negative_controls": { "provenance-erasure-rejected": true, "stale-read-across-reset-rejected": true, "observed-operation-order-rejected": true, "missing-key-context-distinguished": true, "collapsed-state-rejected": true }, "evidence_sha256": "c23c1ee7bded159db3f6108ffbf83ec13c1b7bdb374beb935b074f91b78555ae", "scope": "Exhaustive registered miniature controls and deterministic development chains; no general-language claim" }, "cold-1": { "status": "passed", "queries_verified": 256, "max_abs_error": 4.1477507828346916e-07 }, "cold-2": { "status": "passed", "queries_verified": 256, "max_abs_error": 4.1477507828346916e-07 }, "cold-3": { "status": "passed", "queries_verified": 256, "max_abs_error": 4.1477507828346916e-07 }, "session": { "status": "passed", "calibration_cases": 24, "heldout_cases": 48, "output_scalars_verified": 497829888, "actual_dispatch_cases": 48, "cuda_reexecuted": false } }, "cold_probes": [ { "stage": "cold-1", "worker_elapsed_seconds": 18.17200000002049, "cuda_initialization_seconds": 2.797000000020489, "first_contraction_end_to_end_seconds": 15.126170100062154 }, { "stage": "cold-2", "worker_elapsed_seconds": 18.390999999945052, "cuda_initialization_seconds": 2.9839999999385327, "first_contraction_end_to_end_seconds": 15.144530400051735 }, { "stage": "cold-3", "worker_elapsed_seconds": 18.45299999997951, "cuda_initialization_seconds": 2.7339999999385327, "first_contraction_end_to_end_seconds": 15.451335499994457 } ], "resources": { "session_worker_seconds": 941.25, "session_study_seconds": 937.609999999986, "session_cuda_initialization_seconds": 3.3429999999934807, "peak_tree_rss_bytes": 1274408960, "peak_allocated_bytes": 379593216, "peak_reserved_bytes": 473956352, "min_device_free_bytes": 11043602432, "supervised_run_elapsed_seconds": 1316.265999999945, "supervised_run_output_bytes": 3415073605 }, "lifecycle": { "resumptions": 1, "retained_incomplete_session_attempts": 1, "restored_device_cache": false, "owned_workers_alive_after_completion": false }, "software": { "status": "passed", "cpu": { "passed": 2063, "skipped": 56, "subtests_passed": 27, "seconds": 235.9 }, "cuda": { "passed": 162, "seconds": 21.41, "source_scope": "unchanged numerical modules and dependencies; agent execution summary" }, "limitations": "CPU optional dependency/CUDA skips remain skips; no independent scientific replication or production admission" }, "additional_agent_audit": { "status": "passed", "receipt_sha256": "bd2dfa3fac25625260d58b99a72987fb403d0dbabeb76c45e159e6aaac873b80", "ledger_checks": { "cost_ledger_sha256": true, "policy_file_unchanged": true, "policy_content_sha256": true, "all_rows_passed": true, "complete_cost_components": true, "calibration_inventory": true, "calibration_medians_exact": true, "five_percent_routes_exact": true, "heldout_candidate_inventory": true, "actual_dispatch_inventory": true, "summary_costs_exact": true, "output_counts": true, "request_counts": true, "cancellation_retained": true, "cancellation_marker_unchanged": true, "resumed_process_distinct": true, "no_cache_restore": true }, "final_acceptance_checks": { "acceptance_passed": true, "exit_codes": true, "run_completed": true, "receipt_hash_matches_driver": true, "standalone_integrity_passed": true, "standalone_replay_equals_stage_replay": true, "replay_output_count": true, "owned_workers_stopped": true, "canceled_attempt_seal_hash": true, "source_identity_matches": true }, "new_numerical_execution": false, "independent_scientific_replication": false }, "standalone_verification": { "status": "completed", "integrity": "passed", "actual_output_bytes": 3415073656, "cuda_reexecuted": false }, "local_validation_receipts": { "official-acceptance.json": "c36a395fdfdaf1442ed70568bc6e97699f0c1b6575dadc41241bcaef60642d33", "official-verified-stdout.log": "0782b6653ce88c6d77d3a4e7e5efb4c0988b050a637c6845294a7fadac95f24c", "software-validation.json": "7ffcbc45c38ab7c74c048061266466f56bb545210dbdc4e41ead7b0f35ee55d9", "browser-preview.json": "60967cda7ad74fe3dfa8eb0cb0da4500cc3a4e061e333e007127ab29f45e7dc1", "browser-memory.json": "12a6f0e27d1bba8ff249f446b58b2ae54ac21423aedb0e5cc6cb68ac5cae40b5", "browser-tensor.json": "27c011e791b207a94fda1ed4c276990048ef596286e1dc8d1a462427e5e6df58", "browser-resume-regression.json": "5cbe6b2c6c289bb61f97a4c70a60d64ac4c97ef1339a34812c6c2acc610e4174" }, "scope": "Synthetic supplied tensor functions and bounded exact memory operations on one workstation. Saved-output replay does not independently remeasure timings or establish scientific replication. No production routing admission or publication in this slice." }