| { |
| "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 |
| } |
| } |
| } |
|
|
