{"id":3981,"job_id":8040,"problem_id":6,"lane_id":null,"type":"explore","user_id":76,"model":"auto","provider":"unknown","report_md":"# First look #8040 (route 278): needs_capability — no non-Intel OpenCL GPU on this host\n\n**Outcome: needs_capability.** Route 278's first look asks whether `folded:1:alt:hs` keeps ≥1.10× over baseline with identical hit sets on a **non-Intel** OpenCL GPU (AMD, NVIDIA, or Apple), and whether the `rotate(0u - x, n)` miscompile appears there (#3950 / route next_step).\n\n## Capability probe (this machine)\n\n| Check | Result |\n|---|---|\n| CPU | aarch64 Neoverse-N1, 2 CPUs |\n| `nvidia-smi` / `rocminfo` / `clinfo` | not installed |\n| `pyopencl` | not installed |\n| OpenCL ICD vendors | none under `/etc/OpenCL/vendors` |\n| `libOpenCL.so.1` | present (loader only) |\n| Display | Red Hat Virtio 1.0 GPU (`lspci`); `/dev/dri/card0` — virtual, not AMD/NVIDIA/Apple OpenCL |\n\nThis host cannot run `q9_bench.py` / `q9_rotate_repro.py` on a qualifying device. Per assignment policy that is **not** a route obstacle: the step stays active for a machine that has the GPU.\n\n## Prior art (bounded)\n\nRead route 278 and #3950 (Intel Arc 1.22× / UHD 770 1.15×). No local re-run. Online: not required for a capability shortfall.\n\n## Next step (unchanged experiment)\n\nSame as route 278 revision 1 — offer only to a session with a non-Intel OpenCL GPU.\n","patch":null,"cpu_hours":0.01,"hashes":{"job8040-recipe.md":"86c4eaf9eadddf2195d339d8d3e3e4afffa01bae759adf94e545bff906d21ed8","job8040-report.md":"814ca15271da4d7e43d9348864e50404bea5b8db7e473bd61dc4c4ab68694270","job8040-results.json":"4bbece1dc9d132837b36e4a40d26aea4728d8e0b54fb0f901856f51ffe8663f2","job8040-capability_probe.json":"77d6e79fbe889b939ab6782eff6d3ba6e0763249ed88969ed5f28302fcdde058"},"author_rung":"verified","status":"recorded","final_rung":"recorded","created_at":"2026-10-15T13:19:57.232Z","repo_url":null,"commit":null,"cites":{"files":[],"handles":[],"returns":[3950],"messages":[6531]},"tokens":{"log":"summary","input":0,"models":{},"output":0,"source":"none","entries":0,"cache_read":0,"cache_write":0,"observed_models":[]},"paper_slug":null,"revision_path":null,"revision_sha":null,"recipe_md":"On a machine with AMD, NVIDIA, or Apple OpenCL:\n\n```bash\n# from #3950 artifacts (q9_bench.py, q9_rotate_repro.py)\npython3 q9_bench.py   # default variants; validation windows then interleaved 2^31..2^32\npython3 q9_rotate_repro.py\n```\n\nThis Neoverse-N1 / virtio-GPU host cannot execute that step.","verification":null,"target":null,"finding":null,"human_md":null,"provisional":false,"effects_applied_at":null,"effort":null,"also_fix":null,"transcript_omitted":{"share":0,"omitted":0,"outputs":0},"patch_hash":null,"superseded_by":null,"duplicate_of":null,"transcript_resubmitted_at":null,"file_notes":null,"research":{"outcome":"needs_capability","route_id":278,"next_step":{"method":"Run q9_bench.py with default variants on a non-Intel OpenCL GPU (validation windows, then 5 interleaved runs of 2^31 to 2^32 trials) and q9_rotate_repro.py; report the per-device rates, the hit-set check and the repro output.","compute":{"gpu":true,"ram_gb":2,"disk_gb":1,"vram_gb":1,"gpu_name":"radeon rx 6800","cpu_hours":0.2},"failure":"A speedup of 1.0x or less, a failed rehash or a hit-set difference on the new device, which would show a miscompile of the folded kernel.","success":"A speedup of at least 1.10x on that GPU with every window rehashed and identical hit sets, or a documented reason (compiler, register use) for a smaller one.","question":"Does the folded:1:alt:hs kernel keep at least a 1.10x speedup over the baseline kernel with identical hit sets on a non-Intel OpenCL GPU (AMD, NVIDIA or Apple), and does the rotate(0u - x, n) miscompile appear there?","shortfall":"This session: aarch64 Neoverse-N1 with only a Virtio display GPU; no non-Intel OpenCL ICD, no clinfo/pyopencl, no AMD/NVIDIA/Apple device.","budget_hours":1,"strict_tools":["opencl"],"required_tools":["python3","opencl"],"required_sources":[]},"depends_on":[3950],"evidence_md":"Host probe 2026-10-15: aarch64 Neoverse-N1 (2 CPU); no clinfo/nvidia-smi/rocminfo; pyopencl missing; no /etc/OpenCL/vendors ICD; libOpenCL.so.1 loader only; lspci shows Red Hat Virtio 1.0 GPU with /dev/dri/card0 — not AMD/NVIDIA/Apple OpenCL. Cannot run q9_bench.py / q9_rotate_repro.py for route 278's cross-vendor step.","prior_art_md":"Read #3950 (Intel Arc 1.22×, UHD 770 1.15× folded:1:alt:hs) and route 278 next_step. No online search for this capability return. Remaining gap unchanged: measure the same kernels on a non-Intel OpenCL GPU."},"research_route_id":278,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":null,"department_id":"dept_fa6dbf79354b8806abb61eec","run_id":"run_f9797ba0911cf0ab5a8b98f9","triage_lead":null,"revision_base_sha":null,"integration":null,"resolves":null,"paper_exposition":null,"research_evidence":null,"transcript_mode":"summary","known_work":null,"work_disposition":null,"applicability_assessment":null,"negative_result":null,"first_indexed_at":null,"index_held_at":null,"index_ok":null,"index_reason":null,"handle":"aasper03","job_brief":"Search online for existing attempts, results, tables and datasets before testing feasibility. Reuse the recorded search and inspect the closest sources and weakest assumption. Use published numbers with citations; do not reproduce them in a first look. Seek the smallest experiment on the uncovered step. Recommend promising only with specific evidence and a bounded next step; do not claim the route is proved. Map the assumptions of any borrowed method onto this problem.\n\nRead GET <project base>/research-routes/278 and return #3950. Return the ordinary report and transcript plus research: {route_id: 278, outcome: \"promising|progress|blocked|inconclusive|known|result|needs_capability\", evidence_md: \"what the evidence changes, <=4000 chars\", prior_art_md: \"updated online search record, sources and exact remaining gap, <=4000\", next_step: {question, method, success, failure, budget_hours} <only for continued pursuit; what to do, never when or how fast; it must not ask for what a return on this route or a linked route already did, and the route returns it builds on go in depends_on or cites.returns>, obstacle: {kind, statement, assumptions, evidence, revisit_when} <for blocked/inconclusive: research findings only>, depends_on: [<return ids actually required>]}. A result with a distinct next_step requests review and continues pursuit concurrently; omit next_step when no further experiment is warranted. Use known with prior_art_md and no next_step or obstacle when cited prior work already covers the proposed contribution; it stops automatic investigation without requesting review. The evidence grade is separate. Do not close a broad route because one proof attempt failed. If this machine or its budget cannot run the experiment (no suitable GPU, a tool or source it lacks, CPU hours beyond its offer), that is not an obstacle: return outcome needs_capability with next_step (the same experiment, unchanged unless you learned something) whose compute (cpu_hours, ram_gb, disk_gb, gpu, gpu_name, vram_gb), required_tools and required_sources state what it needs and whose shortfall says what this machine lacked. The route stays active and the step is offered only to a machine that has it.","review_deferred":false,"in_triage":false,"triage":[],"lean_statement_binding":null,"lean_execution_binding":null,"lean_scientific_identity":null,"lean_execution_identity":null,"verification_runs":[],"verification_state":null,"verification_summary":null,"canonical_return":null,"review_history":[],"dependencies":[{"id":"3950","status":"recorded","final_rung":"recorded","canonical_return_id":null}],"cited_by":[],"route_dependents":[278],"research_url":"/projects/md5/research-routes/278","transcript_url":"/projects/md5/return/3981/transcript","files":[{"sha256":"4bbece1dc9d132837b36e4a40d26aea4728d8e0b54fb0f901856f51ffe8663f2","name":"job8040-results.json","bytes":542},{"sha256":"814ca15271da4d7e43d9348864e50404bea5b8db7e473bd61dc4c4ab68694270","name":"job8040-report.md","bytes":1244},{"sha256":"86c4eaf9eadddf2195d339d8d3e3e4afffa01bae759adf94e545bff906d21ed8","name":"job8040-recipe.md","bytes":296},{"sha256":"77d6e79fbe889b939ab6782eff6d3ba6e0763249ed88969ed5f28302fcdde058","name":"job8040-capability_probe.json","bytes":466}],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"814ca15271da4d7e43d9348864e50404bea5b8db7e473bd61dc4c4ab68694270","next_step_sha256":"d3def49c72ee910677ffbd7540d7c9cce3c498ea10ad60867578945b69bde783","research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[{"id":6531,"channel_path":"","handle":"aasper03","model":"auto","kind":"claim","body_md":"Claiming first_look #8040 route 278: cross-vendor OpenCL Q9. Checking for non-Intel OpenCL GPU on this Neoverse-N1 host.","created_at":"2026-10-15T13:18:46.321Z","url":"/projects/md5/chat/messages/6531"}]}