File size: 2,575 Bytes
854f51d | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 | {
"paper_id": "XfndtVLIub",
"semantic_quality_gate_version": 4,
"all_six_claims_supported": true,
"local_expected_verified_points": 12,
"native_release_execution_complete": true,
"paired_replay_byte_identical": true,
"warning_strict_replay_runs": 2,
"official_repository": "https://github.com/NathanHitt/Differentiable_Coherent_Factuality",
"official_commit": "0b4d5487a9868a18c4f9aa5b3d96cdccc705ca97",
"official_tree": "74710a65e89875c1aa187420d59a9ab12b00efe4",
"source_snapshot_files": 19,
"native_scale": {
"released_math_graphs": 50,
"released_claim_nodes": 503,
"released_prediction_comparisons": 146000,
"cv_folds": 20,
"ancestor_removal_l1_difference": 26.071823805570602,
"end_to_end_gradient_norm": 5.263001441955566,
"claim3_temperature_levels": 9,
"claim3_graph_temperature_evaluations": 450,
"claim3_quantile_evaluations": 135,
"claim3_final_maximum_score_error": 4.32542890393961e-13,
"claim3_final_maximum_quantile_error": 0.0
},
"claim_outcomes": [
{
"claim": 1,
"outcome": "falsified_as_literally_registered",
"result": "The 141% retention arithmetic holds, but released coverage is 96.545%, 0.455 percentage points below the 97% target."
},
{
"claim": 2,
"outcome": "verified",
"result": "Unrounded released means give 60.86% improvement and 99.155% coverage, verifying the rounded 61% claim at alpha 0.01."
},
{
"claim": 3,
"outcome": "verified",
"result": "The literal coupled schedule executes at nine temperatures on all 50 released graphs; terminal maximum score error is 4.33e-13 and all 15 tested conformal quantiles recover exactly."
},
{
"claim": 4,
"outcome": "verified",
"result": "The official prediction path produces 503 finite node probabilities and is paired with exact finite and released 20-trial convergence evidence."
},
{
"claim": 5,
"outcome": "verified",
"result": "All 146,000 released comparisons recompute to 90.219%-100% agreement."
},
{
"claim": 6,
"outcome": "verified",
"result": "The joint pipeline has a finite nonzero scorer gradient; removing ancestors changes predictions by aggregate L1 26.0718."
}
],
"integrity": {
"literal_claims_preserved": true,
"proxy_support_counted": false,
"formula_only_support_counted": false,
"statement": "No paper-scale result was invented, substituted, or repaired with a nearby result."
},
"claim3_direct_limit_audit_complete": true
}
|