{
  "schema": "nodus.public.synthetic_affine_cuda_provenance.v1",
  "result": {
    "file": "lab-research-affine-cuda-result.json",
    "sha256": "31299ccba930e454d8b7c88fa14bf7817e674dfff0bc145a36aaad342c5ac5a5",
    "bytes": 168961,
    "unmodified_from_retained_run": true,
    "finished_at_UTC": "2026-11-09T12:32:19.872782+00:00"
  },
  "scientific_scope": {
    "claim": "On this original synthetic 4x64 float32 CUDA case, six semantically incorrect affine-normalization variants were accepted with the original public input generator and rejected after the narrow input-generator patch. The copied-reference control remained accepted.",
    "observations": 14,
    "incorrect_variants": [
      "omit_affine",
      "omit_weight",
      "omit_bias",
      "scalar_affine",
      "apply_affine_twice",
      "affine_before_norm"
    ],
    "before": {
      "incorrect_accepted": 6,
      "copied_reference_control_accepted": true
    },
    "after": {
      "incorrect_accepted": 0,
      "incorrect_rejected": 6,
      "copied_reference_control_accepted": true
    },
    "all_observations_match_expected": true,
    "same_x_before_after": true,
    "x_float32_le_sha256": "6a86d263855f340605bd4793e654a0589c4286849431d6e857e028b7f6c87974",
    "control": "reference.clone(); this is not an independent correct implementation",
    "tolerance": {
      "max_atol": 0.01,
      "max_rtol": 0.01,
      "required_matched_ratio": 0.99,
      "max_error_cap": null,
      "allow_negative_inf": false
    },
    "synchronization": "cuda.synchronize(cuda:0) after input generation, reference, each candidate and each checker call"
  },
  "source": {
    "repository": "https://github.com/NVIDIA/SOL-ExecBench",
    "commit": "a9fa0804c793d438e70850c33fe34426e66d53dd",
    "public_input_generator": "src/sol_execbench/core/bench/io.py",
    "original_input_generator_sha256": "36289d60bec423d71a6c5b4322569ddfb3874b43f93b6435cf9df55ef3d8d7bb",
    "modified_input_generator_sha256": "119950753e5e33a83b152558959a8a2302f58993925ae43c0f2c2407437a53af",
    "checker": "src/sol_execbench/core/bench/correctness.py:compute_error_stats",
    "unchanged_checker_sha256": "b4fb0210601cde736348fb4b01cf99031663000b7974c8a1615101448e408d00",
    "selected_source_manifest_sha256": "4425c30cc17e6db8f478a625aaa843dd48b73d34da1baa902739ff22036846fe",
    "CUDA_driver_script_sha256": "66f19f8a45cb3da708700bcd032e4868a44184350ef796966ee62ab964bc64ab",
    "public_runtime_payload_archive_sha256": "4bfd822852c68292dbac93a239c374ada8cb137853f6edc55e16a9cf7133822c",
    "upstream_license": "Apache-2.0",
    "patch_scope": "Only normalization input generation changes; no checker change.",
    "original_issue_url": "https://github.com/NVIDIA/SOL-ExecBench/issues/25",
    "original_reporter": "zzw4257",
    "credit": "Original issue reported by zzw4257. Nodus contributed the reproduction and input-generation counterexample follow-up.",
    "nodus_comment_url": "https://github.com/NVIDIA/SOL-ExecBench/issues/25#issuecomment-6734823293"
  },
  "runtime": {
    "python": "3.12.10 (main, May 21 2025, 23:34:56) [GCC 12.2.0]",
    "torch": "2.9.0+cu130",
    "pydantic": "2.12.5",
    "compiled_CUDA": "13.0",
    "GPU": "Tesla T4",
    "compute_capability": [
      7,
      5
    ],
    "visible_device_count": 1,
    "NVIDIA_driver_build": "610.57.04",
    "driver_build_source": "libnvidia-ml.so.1",
    "driver_build_note": "/proc driver metadata was unavailable; NVML supplied the driver build. CUDA Driver API compatibility is recorded separately in the unmodified result.",
    "dtype": "float32",
    "shape": [
      4,
      64
    ],
    "seed": 42,
    "epsilon": 1e-05,
    "dependency_lock_sha256": "e4185b1d56b4dd4c2c77e9cf553048740bd73242df72574f2b307de0f8bc8513"
  },
  "independent_artifact_review": {
    "transport_lossless_and_all_nine_retained_file_hashes_verified": true,
    "result_embedded_file_hashes_verified": 4,
    "float32_tensor_hashes_verified_with_stdlib_struct": 22,
    "same_input_tensor_values_before_after_verified": true,
    "transport_compressed_frame_bytes": 114311,
    "transport_SDK_serialized_bytes": 114320,
    "transport_enforced_serialized_bound_bytes": 1048576,
    "transport_returned_json_bytes": 403846,
    "review_reran_Torch_or_GPU": false,
    "public_content_review": "The unmodified result contains public synthetic tensors, public source/runtime hashes and environment facts. No account IDs, application IDs, credentials, private paths or buyer data were found.",
    "separate_owner_teardown": "Stopped application and empty-container readbacks verified separately. The raw driver result correctly leaves provider_teardown_observed=false because it cannot establish provider cleanup.",
    "reviewer_scope": "Separate internal AI-agent artifact review; not external third-party validation."
  },
  "attempt_disclosure": {
    "earlier_attempt": "An earlier invocation failed while Modal transported its output to object storage with networking blocked. No numerical outcome was recovered from that invocation; it is neither counted as a numerical failure nor reported as success.",
    "successful_attempt_change": "Reused the built locked runtime and changed only result transport to a synchronous call with lossless compression and verified inline size limits. Networking remained blocked.",
    "this_file_does_not_claim_first_attempt_success": true
  },
  "limitations": [
    "One original synthetic fixture, one shape, one seed, one dtype and one retained T4 execution; not coverage or failure-rate measurement of the full SOL-ExecBench dataset.",
    "Only the selected public input-generation and error-statistics paths were used; the full evaluator and SOL dataset were not executed or accessed.",
    "The positive control is a clone of the reference, not an independent implementation.",
    "CPU and CUDA RNG streams are not asserted bit-identical. The x tensor is identical only across before/after phases within this CUDA run.",
    "No kernel speedup, cold-start performance, training benefit, model evaluation or production-environment qualification is claimed.",
    "Existing CPU figures remain CPU evidence; this separate CUDA result does not relabel those measurements."
  ]
}