RENIGMA

REVIEWED PUBLIC SOURCE / HISTORICAL SNAPSHOT

WORKSTATION-003: curated numerical and execution receipt

This is the exact UTF-8 source text at the recorded commit. The implementation repository is private. Older records may describe earlier access, hosting or release decisions; their original wording is preserved. Links and commands inside the record remain inert source text and do not require repository access to read this record.

Original path
docs/evidence/TRANSFORM_WORKBENCH_RECEIPT.json
Commit
b234cff1697714776dcceeaf9897e29216e4fd4c
SHA-256
a71e1b6186ae713d052f357ac3ab39e7731bd9218cd83ecd839ab5857d0f21d1
Size
9,204 bytes

Download the exact original bytes · Read the source

{
  "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."
}