autoresearch.json

{"schemaVersion":1,"paperId":"2607.23980","title":"Feige unit-slack Lean reproduction","description":"The pinned Lean proof, kernel audits, and sharp Bernoulli construction reproduced on Kubernetes.","verdict":"reproduced","reportPath":"reports/unit-slack/report.md","notebookPath":"notebooks/unit_slack_reproduction.py","compute":{"backend":"kubernetes","gpuModel":"NVIDIA RTX PRO 6000 Blackwell","gpuCount":14,"wallHours":0.2761111111111111}}