1{2 "gate_version": "pgar_gate/1.0",3 "workspace": "/Users/simon-pierreboucher/wp29/runs/RC0188",4 "utc": "2026-10-30T04:56:00.029170+00:00",5 "passed": false,6 "n_checks": 27,7 "n_failed": 1,8 "checks": [9 {10 "id": "file:out/results.json",11 "passed": true,12 "detail": "present"13 },14 {15 "id": "file:out/report.md",16 "passed": true,17 "detail": "present"18 },19 {20 "id": "file:out/analysis.py",21 "passed": true,22 "detail": "present"23 },24 {25 "id": "file:out/claims.json",26 "passed": true,27 "detail": "present"28 },29 {30 "id": "file:out/argument.md",31 "passed": true,32 "detail": "present"33 },34 {35 "id": "file:out/counterexample.csv",36 "passed": true,37 "detail": "present"38 },39 {40 "id": "results_json",41 "passed": true,42 "detail": "parsed"43 },44 {45 "id": "key:task_id",46 "passed": true,47 "detail": "ok"48 },49 {50 "id": "key:statement_true",51 "passed": true,52 "detail": "ok"53 },54 {55 "id": "key:counterexample_provided",56 "passed": true,57 "detail": "ok"58 },59 {60 "id": "key:counterexample_values",61 "passed": true,62 "detail": "ok"63 },64 {65 "id": "key:statement_b_true",66 "passed": true,67 "detail": "ok"68 },69 {70 "id": "key:feasibility",71 "passed": true,72 "detail": "ok"73 },74 {75 "id": "key:feasibility_reason",76 "passed": true,77 "detail": "ok"78 },79 {80 "id": "key:data_issues",81 "passed": true,82 "detail": "ok"83 },84 {85 "id": "key:n_input_rows",86 "passed": true,87 "detail": "ok"88 },89 {90 "id": "key:n_analysed",91 "passed": true,92 "detail": "ok"93 },94 {95 "id": "key:random_seed",96 "passed": true,97 "detail": "ok"98 },99 {100 "id": "section:Question",101 "passed": true,102 "detail": "present"103 },104 {105 "id": "section:Data and exclusions",106 "passed": true,107 "detail": "present"108 },109 {110 "id": "section:Method",111 "passed": true,112 "detail": "present"113 },114 {115 "id": "section:Results",116 "passed": true,117 "detail": "present"118 },119 {120 "id": "section:Uncertainty",121 "passed": true,122 "detail": "present"123 },124 {125 "id": "section:Limitations and open issues",126 "passed": true,127 "detail": "present"128 },129 {130 "id": "claims_json",131 "passed": false,132 "detail": "C2: results_keys not in results.json: ['counterexample_values.construction', 'supplementary.share_sum_exactly_zero']; C4: results_keys not in results.json: ['counterexample_values.ks_sum_vs_normal', 'supplementary.ks_x_vs_normal', 'supplementary.ks_y_vs_normal', 'supplementary.baseline_ks_independent_sum_vs_normal', 'counterexample_values.n', 'counterexample_values.seed']; C5: results_keys not in results.json: ['counterexample_values.mean_x', 'counterexample_values.sd_x', 'counterexample_values.mean_y', 'counterexample_values.sd_y', 'counterexample_values.mean_sum', 'counterexample_values.sd_sum', 'supplementary.corr_x_y']"133 },134 {135 "id": "phase_ledger",136 "passed": true,137 "detail": "consistent"138 },139 {140 "id": "reproducibility",141 "passed": true,142 "detail": "regenerated in 0.6s; identical within tolerance"143 }144 ],145 "receipt_path": "/Users/simon-pierreboucher/wp29/runs/RC0188/out/state/gate_receipts/20261030T045600.029373Z.json",146 "receipt_sha256": "770b1980468cd8cc62081afe03f3ae6cb2c22fc369bf42a45c27d24dd1f5b91d"147}