{ "channel_weights": { "contradiction": { "accepted_relation_candidate": -1.0499999999999998, "bias": 0.0, "candidate_confidence": 0.36050000000000004, "candidate_quantifier_all": -1.0499999999999998, "candidate_quantifier_no": 1.4, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.35, "deeper_chain_case": 0.0, "direct_support": 0.0, "has_distractor": -0.7, "identity_candidate": -0.35, "identity_path_exists": -0.35, "malformed_candidate": 0.0, "no_against_transitive_support": 1.4, "parseable_relation": 0.35, "premise_count": -1.0499999999999998, "reverse_path": 0.0, "some_to_all_risk": 0.0, "support_depth": 0.35, "transitive_support": 0.35, "unsupported_relation_candidate": 0.0 }, "directionality": { "accepted_relation_candidate": -0.35, "bias": -0.35, "candidate_confidence": 0.024499999999999966, "candidate_quantifier_all": 0.7, "candidate_quantifier_no": 0.0, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": 0.0, "direct_support": 0.0, "has_distractor": 0.0, "identity_candidate": -1.0499999999999998, "identity_path_exists": -1.0499999999999998, "malformed_candidate": 0.0, "no_against_transitive_support": 0.0, "parseable_relation": 0.7, "premise_count": -0.7, "reverse_path": 1.4, "some_to_all_risk": 0.0, "support_depth": -0.7, "transitive_support": -0.35, "unsupported_relation_candidate": -0.35 }, "identity_preservation": { "accepted_relation_candidate": -0.35, "bias": 0.0, "candidate_confidence": 0.08750000000000002, "candidate_quantifier_all": -0.35, "candidate_quantifier_no": 0.0, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": 0.0, "direct_support": 0.0, "has_distractor": 0.0, "identity_candidate": 0.7, "identity_path_exists": 0.7, "malformed_candidate": -0.35, "no_against_transitive_support": 0.0, "parseable_relation": -0.35, "premise_count": 0.0, "reverse_path": 0.0, "some_to_all_risk": 0.0, "support_depth": -0.7, "transitive_support": -0.35, "unsupported_relation_candidate": 0.0 }, "logic_transitivity": { "accepted_relation_candidate": 0.7, "bias": -0.7, "candidate_confidence": -0.8714999999999999, "candidate_quantifier_all": -0.35, "candidate_quantifier_no": -0.35, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": 0.35, "direct_support": -0.35, "has_distractor": 0.0, "identity_candidate": 0.0, "identity_path_exists": 0.0, "malformed_candidate": 0.0, "no_against_transitive_support": -0.35, "parseable_relation": -0.7, "premise_count": -0.7, "reverse_path": -0.7, "some_to_all_risk": 0.0, "support_depth": 1.7499999999999998, "transitive_support": 0.35, "unsupported_relation_candidate": -0.35 }, "malformed_relation": { "accepted_relation_candidate": -0.35, "bias": 0.0, "candidate_confidence": 0.024499999999999966, "candidate_quantifier_all": -0.35, "candidate_quantifier_no": 0.0, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": 0.0, "direct_support": 0.0, "has_distractor": 0.0, "identity_candidate": -0.35, "identity_path_exists": -0.35, "malformed_candidate": 0.7, "no_against_transitive_support": 0.0, "parseable_relation": -0.35, "premise_count": 0.0, "reverse_path": 0.0, "some_to_all_risk": 0.0, "support_depth": -0.7, "transitive_support": -0.35, "unsupported_relation_candidate": 0.0 }, "quantifier_scope": { "accepted_relation_candidate": -0.35, "bias": 0.0, "candidate_confidence": 0.1365, "candidate_quantifier_all": 0.35, "candidate_quantifier_no": 0.0, "candidate_quantifier_some": -0.35, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": -0.35, "direct_support": 0.0, "has_distractor": 0.0, "identity_candidate": 0.0, "identity_path_exists": 0.0, "malformed_candidate": 0.0, "no_against_transitive_support": 0.0, "parseable_relation": 0.0, "premise_count": -0.34999999999999987, "reverse_path": -0.35, "some_to_all_risk": 1.0499999999999998, "support_depth": -0.7, "transitive_support": -0.35, "unsupported_relation_candidate": 0.0 }, "surface_structure": { "accepted_relation_candidate": 0.35, "bias": 0.0, "candidate_confidence": -0.11899999999999994, "candidate_quantifier_all": 0.35, "candidate_quantifier_no": -0.35, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": -0.35, "deeper_chain_case": 0.0, "direct_support": 0.7, "has_distractor": 0.0, "identity_candidate": 0.0, "identity_path_exists": 0.0, "malformed_candidate": 0.0, "no_against_transitive_support": -0.35, "parseable_relation": 0.0, "premise_count": -0.35, "reverse_path": 0.0, "some_to_all_risk": 0.0, "support_depth": -0.35, "transitive_support": 0.0, "unsupported_relation_candidate": 0.0 }, "typed_support": { "accepted_relation_candidate": -0.7, "bias": -0.35, "candidate_confidence": -0.7069999999999999, "candidate_quantifier_all": -0.35, "candidate_quantifier_no": 0.0, "candidate_quantifier_some": 0.7, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": -0.35, "direct_support": -0.35, "has_distractor": 0.7, "identity_candidate": -0.35, "identity_path_exists": -0.35, "malformed_candidate": -0.35, "no_against_transitive_support": 0.0, "parseable_relation": 0.35, "premise_count": -1.1102230246251565e-16, "reverse_path": -0.7, "some_to_all_risk": -0.35, "support_depth": -1.0499999999999998, "transitive_support": -0.7, "unsupported_relation_candidate": 1.4 } }, "metadata": { "claim": "Tiny learned candidate/channel model; typed verifier remains proof authority.", "epochs": 80, "learning_rate": 0.35, "non_claims": [ "not an instruction model", "not a chatbot", "not a verifier", "not proof authority" ], "role": "learned proposer/ranker only; TS-Reasoner typed channels verify", "train_dataset": "data/learned_candidate_model_train.jsonl", "training_examples": 16 }, "model_type": "pure_python_tiny_linear_candidate_model", "ranking_weights": { "accepted_relation_candidate": 0.7, "bias": -0.35, "candidate_confidence": -0.5599999999999999, "candidate_quantifier_all": 0.0, "candidate_quantifier_no": -0.35, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": -0.35, "deeper_chain_case": 0.0, "direct_support": 0.35, "has_distractor": 0.0, "identity_candidate": 0.0, "identity_path_exists": 0.0, "malformed_candidate": 0.0, "no_against_transitive_support": -0.35, "parseable_relation": -0.35, "premise_count": -0.7, "reverse_path": -0.7, "some_to_all_risk": 0.0, "support_depth": 1.0499999999999998, "transitive_support": 0.35, "unsupported_relation_candidate": 0.0 }, "resolver_weights": { "abstain_unsupported": { "accepted_relation_candidate": -0.35, "bias": 0.0, "candidate_confidence": -0.7069999999999999, "candidate_quantifier_all": -0.7, "candidate_quantifier_no": 0.0, "candidate_quantifier_some": 0.7, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": -0.7, "direct_support": -0.35, "has_distractor": 0.7, "identity_candidate": 0.0, "identity_path_exists": 0.0, "malformed_candidate": 0.0, "no_against_transitive_support": 0.0, "parseable_relation": 0.0, "premise_count": 0.34999999999999987, "reverse_path": -1.4, "some_to_all_risk": -0.7, "support_depth": -0.35, "transitive_support": -0.35, "unsupported_relation_candidate": 1.75 }, "accept_premise": { "accepted_relation_candidate": 0.7, "bias": 0.35, "candidate_confidence": 0.11900000000000005, "candidate_quantifier_all": 0.7, "candidate_quantifier_no": -0.35, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": -0.35, "deeper_chain_case": -0.35, "direct_support": 1.0499999999999998, "has_distractor": 0.0, "identity_candidate": 0.0, "identity_path_exists": 0.0, "malformed_candidate": 0.0, "no_against_transitive_support": -0.35, "parseable_relation": 0.35, "premise_count": -0.34999999999999987, "reverse_path": 0.0, "some_to_all_risk": 0.0, "support_depth": -0.34999999999999987, "transitive_support": 0.35, "unsupported_relation_candidate": 0.0 }, "accept_transitive": { "accepted_relation_candidate": 1.0499999999999998, "bias": -0.7, "candidate_confidence": -0.9835, "candidate_quantifier_all": 0.35, "candidate_quantifier_no": -0.7, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": 0.35, "direct_support": -0.7, "has_distractor": 0.0, "identity_candidate": -0.35, "identity_path_exists": -0.35, "malformed_candidate": 0.0, "no_against_transitive_support": -0.7, "parseable_relation": -0.35, "premise_count": -0.35, "reverse_path": -0.35, "some_to_all_risk": 0.0, "support_depth": 2.0999999999999996, "transitive_support": 0.35, "unsupported_relation_candidate": -0.35 }, "reject_contradiction": { "accepted_relation_candidate": -0.7, "bias": 0.35, "candidate_confidence": 0.5565, "candidate_quantifier_all": -0.7, "candidate_quantifier_no": 1.0499999999999998, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.35, "deeper_chain_case": -0.35, "direct_support": 0.0, "has_distractor": -0.35, "identity_candidate": 0.0, "identity_path_exists": 0.0, "malformed_candidate": 0.0, "no_against_transitive_support": 1.0499999999999998, "parseable_relation": 0.35, "premise_count": -0.34999999999999976, "reverse_path": 0.0, "some_to_all_risk": 0.0, "support_depth": 1.1102230246251565e-16, "transitive_support": 0.35, "unsupported_relation_candidate": 0.0 }, "reject_identity": { "accepted_relation_candidate": 0.0, "bias": 0.0, "candidate_confidence": 0.17149999999999999, "candidate_quantifier_all": -0.35, "candidate_quantifier_no": 0.0, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": 0.35, "direct_support": 0.0, "has_distractor": 0.0, "identity_candidate": 0.7, "identity_path_exists": 0.7, "malformed_candidate": -0.35, "no_against_transitive_support": 0.0, "parseable_relation": -0.35, "premise_count": 0.34999999999999987, "reverse_path": 0.0, "some_to_all_risk": 0.0, "support_depth": 0.0, "transitive_support": 0.0, "unsupported_relation_candidate": -0.35 }, "reject_malformed": { "accepted_relation_candidate": -0.35, "bias": 0.35, "candidate_confidence": 0.3184999999999999, "candidate_quantifier_all": -0.7, "candidate_quantifier_no": 0.0, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": 0.0, "direct_support": 0.0, "has_distractor": -0.35, "identity_candidate": 0.0, "identity_path_exists": 0.0, "malformed_candidate": 1.0499999999999998, "no_against_transitive_support": 0.0, "parseable_relation": -0.7, "premise_count": 0.3500000000000001, "reverse_path": 0.0, "some_to_all_risk": 0.0, "support_depth": -0.7, "transitive_support": -0.35, "unsupported_relation_candidate": -0.35 }, "reject_quantifier": { "accepted_relation_candidate": 0.0, "bias": 0.0, "candidate_confidence": 0.238, "candidate_quantifier_all": 0.7, "candidate_quantifier_no": 0.0, "candidate_quantifier_some": -0.7, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": 0.0, "direct_support": 0.0, "has_distractor": 0.0, "identity_candidate": 0.0, "identity_path_exists": 0.0, "malformed_candidate": 0.0, "no_against_transitive_support": 0.0, "parseable_relation": 0.0, "premise_count": 0.0, "reverse_path": 0.0, "some_to_all_risk": 0.7, "support_depth": 0.0, "transitive_support": 0.0, "unsupported_relation_candidate": 0.0 }, "reject_reverse": { "accepted_relation_candidate": -0.35, "bias": -0.35, "candidate_confidence": 0.2870000000000001, "candidate_quantifier_all": 0.7, "candidate_quantifier_no": 0.0, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": 0.7, "direct_support": 0.0, "has_distractor": 0.0, "identity_candidate": -0.35, "identity_path_exists": -0.35, "malformed_candidate": -0.7, "no_against_transitive_support": 0.0, "parseable_relation": 0.7, "premise_count": -2.220446049250313e-16, "reverse_path": 1.75, "some_to_all_risk": 0.0, "support_depth": -0.7, "transitive_support": -0.35, "unsupported_relation_candidate": -0.7 } }, "status_weights": { "abstained": { "accepted_relation_candidate": -0.35, "bias": 0.0, "candidate_confidence": -0.4759999999999999, "candidate_quantifier_all": -0.35, "candidate_quantifier_no": 0.0, "candidate_quantifier_some": 0.7, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.0, "deeper_chain_case": -0.35, "direct_support": -0.35, "has_distractor": 0.35, "identity_candidate": -0.35, "identity_path_exists": -0.35, "malformed_candidate": 0.0, "no_against_transitive_support": 0.0, "parseable_relation": 0.35, "premise_count": 0.35, "reverse_path": -0.35, "some_to_all_risk": -0.7, "support_depth": -0.35, "transitive_support": -0.35, "unsupported_relation_candidate": 1.0499999999999998 }, "accepted": { "accepted_relation_candidate": 1.4, "bias": -0.35, "candidate_confidence": -0.7629999999999999, "candidate_quantifier_all": 0.35, "candidate_quantifier_no": -0.7, "candidate_quantifier_some": 0.0, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": -0.35, "deeper_chain_case": 0.0, "direct_support": 0.35, "has_distractor": 0.35, "identity_candidate": 0.0, "identity_path_exists": 0.0, "malformed_candidate": 0.0, "no_against_transitive_support": -0.7, "parseable_relation": -0.35, "premise_count": -0.3500000000000001, "reverse_path": -0.7, "some_to_all_risk": 0.0, "support_depth": 1.4, "transitive_support": 0.7, "unsupported_relation_candidate": -0.35 }, "rejected": { "accepted_relation_candidate": -1.0499999999999998, "bias": 0.35, "candidate_confidence": 1.239, "candidate_quantifier_all": 0.0, "candidate_quantifier_no": 0.7, "candidate_quantifier_some": -0.7, "candidate_subject_eq_predicate": 0.0, "contradiction_candidate": 0.35, "deeper_chain_case": 0.35, "direct_support": 0.0, "has_distractor": -0.7, "identity_candidate": 0.35, "identity_path_exists": 0.35, "malformed_candidate": 0.0, "no_against_transitive_support": 0.7, "parseable_relation": 0.0, "premise_count": 1.1102230246251565e-16, "reverse_path": 1.0499999999999998, "some_to_all_risk": 0.7, "support_depth": -1.0499999999999998, "transitive_support": -0.35, "unsupported_relation_candidate": -0.7 } } }