{
  "challenges": [
    {
      "counterexample": {
        "en": "Observe a genuinely different host UID from the receiving service, including controlled UID maps and a positive control.",
        "fr": "Observer depuis le service une identité hôte différente, avec mapping UID contrôlé et un témoin de comparaison."
      },
      "hypothesis": {
        "en": "Can namespace-local root create a host principal that differs from the UID observed by SO_PEERCRED?",
        "fr": "Une identité root dans un user namespace peut-elle être distincte de celle observée par SO_PEERCRED côté hôte ?"
      },
      "id": "CUDA-05D",
      "public_kit": "INCOMPLETE",
      "required_artifacts": [
        "protocol_commit",
        "kernel_version",
        "uid_map",
        "SO_PEERCRED_observation",
        "negative_control"
      ]
    },
    {
      "counterexample": {
        "en": "Show an unauthorized host UID being accepted, or a server incorrectly counting DAC refusal as a SO_PEERCRED decision.",
        "fr": "Démontrer que le socket autorise un autre UID inattendu, ou que le service confond le refus DAC avec une décision SO_PEERCRED."
      },
      "hypothesis": {
        "en": "Can a distinct-host-UID server reject both a connected unauthorized peer and a peer denied by filesystem DAC?",
        "fr": "Un serveur sous UID hôte distinct peut-il refuser un client connecté et un autre client bloqué par DAC ?"
      },
      "id": "CUDA-05E",
      "protocol_path": "/challenges/protocols/CUDA-05E-PREREG.md",
      "public_kit": "PARTIAL_ORIGINAL_WITH_OPEN_IPC_FIXTURE",
      "replication_kit": {
        "experiment_id": "CUDA-05G-P01",
        "original_cuda05f_runtime_replicated": false,
        "source_path": "/research/blob-in/CUDA-05G/README.md",
        "status": "LOCAL_PASS_EXTERNAL_REPLICATION_PENDING",
        "study_routes": {
          "en": "/en/studies/cuda-05g.html",
          "fr": "/fr/studies/cuda-05g.html"
        }
      },
      "required_artifacts": [
        "protocol_commit",
        "server_host_uid",
        "client_peer_credentials",
        "socket_permissions",
        "command_exit_codes"
      ]
    },
    {
      "counterexample": {
        "en": "Provide a reproducible counterexample: wrong UID authorization, failed revocation, CPU parity drift, or an unreaped/unrevoked failed worker.",
        "fr": "Produire un contre-exemple reproductible : autorisation d’un mauvais UID, rupture de révocation, parité CPU divergente ou worker non révoqué après échec."
      },
      "hypothesis": {
        "en": "Does the actual distinct-UID Rust supervisor preserve its gates through real CUDA/Vulkan work and worker failures?",
        "fr": "Un superviseur Rust sous UID distinct conserve-t-il ses contrôles pendant de vrais rendus CUDA/Vulkan et des crashs de workers ?"
      },
      "id": "CUDA-05F",
      "protocol_path": "/challenges/protocols/CUDA-05F-PREREG.md",
      "public_kit": "PARTIAL_PROTOCOL_NO_RUNTIME_SOURCE",
      "required_artifacts": [
        "protocol_commit",
        "runtime_source_commit",
        "GPU_driver",
        "raw_observations",
        "CPU_oracle",
        "failure_trace"
      ]
    },
    {
      "counterexample": {
        "en": "Observe at least one divergent sample, a software adapter misreported as physical GPU, or an undetected output mutation.",
        "fr": "Observer au moins un échantillon divergent, un adaptateur logiciel annoncé comme GPU physique, ou une corruption ignorée."
      },
      "hypothesis": {
        "en": "Can an open numeric witness produce the same 6144 integer values using CPU, CUDA and Vulkan on physical GPU hardware?",
        "fr": "Un témoin numérique public peut-il produire les mêmes 6144 valeurs entières avec CPU, CUDA et Vulkan sur un GPU physique ?"
      },
      "id": "CUDA-05H",
      "public_kit": "OPEN_INDEPENDENT_COMPUTE_WITNESS_NOT_PRIVATE_RUNTIME",
      "replication_kit": {
        "experiment_id": "CUDA-05H-P01",
        "original_cuda05f_runtime_replicated": false,
        "source_path": "https://github.com/tension-atoi/engineering-corpus/tree/main/research/blob-in/CUDA-05H",
        "status": "ONE_LOCAL_PASS_EXTERNAL_REPLICATION_PENDING",
        "study_routes": {
          "en": "/en/studies/cuda-05h.html",
          "fr": "/fr/studies/cuda-05h.html"
        }
      },
      "required_artifacts": [
        "preregistration_commit",
        "frozen_scene_sha256",
        "gpu_driver",
        "cuda_device",
        "vulkan_device",
        "raw_output_digest",
        "independent_validator"
      ]
    }
  ],
  "forge": {
    "anonymous_read": "AVAILABLE",
    "issues_url": "https://github.com/tension-atoi/engineering-corpus/issues/new/choose",
    "note": "Scientific peer critiques use GitHub issues and pull requests; publishing a research draft does not authorize GPU production.",
    "public_submissions": "AVAILABLE_VIA_GITHUB_ACCOUNT",
    "service": "GitHub",
    "url": "https://github.com/tension-atoi/engineering-corpus"
  },
  "mirror": {
    "authority": "SECONDARY_BACKUP_ONLY",
    "service": "Gitea",
    "state": "NOT_CONFIGURED_AS_PUBLIC_MIRROR",
    "url": "https://git.gnu6.live/"
  },
  "publication_status": "DRAFT_OPEN_FOR_REVIEW",
  "schema": "gnu6.public-challenges.v1",
  "scientific_review": "OPEN_TO_INDEPENDENT_CRITIQUE_IN_PRINCIPLE",
  "version": "2026-10-09.cuda-05h-open-gpu-witness"
}