| { |
| "boundary": "The learned model proposes/ranks candidates. TS-Reasoner typed channels verify. Confidence is metadata, not proof.", |
| "model_proposes": [ |
| { |
| "candidate_id": "demo_accept_all_a_d", |
| "claim": "All A are D", |
| "input_candidate_confidence": 0.55, |
| "learned_model_confidence": 0.7488, |
| "learned_ranking_score": 1.092, |
| "predicted_channels": [ |
| "logic_transitivity" |
| ], |
| "predicted_status": "accepted" |
| }, |
| { |
| "candidate_id": "demo_reject_identity_a_d", |
| "claim": "A equals D", |
| "input_candidate_confidence": 0.88, |
| "learned_model_confidence": 0.0501, |
| "learned_ranking_score": -2.9428, |
| "predicted_channels": [ |
| "identity_preservation" |
| ], |
| "predicted_status": "rejected" |
| }, |
| { |
| "candidate_id": "demo_reject_reverse_d_a", |
| "claim": "All D are A", |
| "input_candidate_confidence": 0.96, |
| "learned_model_confidence": 0.0173, |
| "learned_ranking_score": -4.0376, |
| "predicted_channels": [ |
| "directionality" |
| ], |
| "predicted_status": "rejected" |
| } |
| ], |
| "premises": [ |
| "All A are B", |
| "All B are C", |
| "All C are D" |
| ], |
| "question": "Are all A D?", |
| "raw_payload": { |
| "candidates": [ |
| { |
| "candidate_id": "demo_accept_all_a_d", |
| "claim": "All A are D", |
| "confidence": 0.55, |
| "raw_output": "All A are D", |
| "source": "learned_candidate_dataset" |
| }, |
| { |
| "candidate_id": "demo_reject_reverse_d_a", |
| "claim": "All D are A", |
| "confidence": 0.96, |
| "raw_output": "All D are A", |
| "source": "learned_candidate_dataset" |
| }, |
| { |
| "candidate_id": "demo_reject_identity_a_d", |
| "claim": "A equals D", |
| "confidence": 0.88, |
| "raw_output": "A equals D", |
| "source": "learned_candidate_dataset" |
| } |
| ], |
| "case_id": "demo_grant_deeper_chain", |
| "input_text": "All A are B. All B are C. All C are D. Are all A D?", |
| "labels": { |
| "demo_accept_all_a_d": { |
| "channels": [ |
| "logic_transitivity" |
| ], |
| "claim": "All A are D", |
| "reason": "candidate is supported by a typed transitive inference", |
| "resolver": "accept_transitive", |
| "status": "accepted" |
| }, |
| "demo_reject_identity_a_d": { |
| "channels": [ |
| "identity_preservation" |
| ], |
| "claim": "A equals D", |
| "reason": "candidate collapses distinct graph nodes", |
| "resolver": "reject_identity", |
| "status": "rejected" |
| }, |
| "demo_reject_reverse_d_a": { |
| "channels": [ |
| "directionality" |
| ], |
| "claim": "All D are A", |
| "reason": "candidate reverses a directed support path", |
| "resolver": "reject_reverse", |
| "status": "rejected" |
| } |
| }, |
| "scored_candidates": [ |
| { |
| "candidate_id": "demo_accept_all_a_d", |
| "claim": "All A are D", |
| "confidence": 0.55, |
| "features": { |
| "accepted_relation_candidate": 1.0, |
| "bias": 1.0, |
| "candidate_confidence": 0.55, |
| "candidate_quantifier_all": 1.0, |
| "candidate_quantifier_no": 0.0, |
| "candidate_quantifier_some": 0.0, |
| "candidate_subject_eq_predicate": 0.0, |
| "contradiction_candidate": 0.0, |
| "deeper_chain_case": 1.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": 1.0, |
| "premise_count": 3.0, |
| "reverse_path": 0.0, |
| "some_to_all_risk": 0.0, |
| "support_depth": 3.0, |
| "transitive_support": 1.0, |
| "unsupported_relation_candidate": 0.0 |
| }, |
| "prediction": { |
| "channels": [ |
| "logic_transitivity" |
| ], |
| "model_confidence": 0.7488, |
| "ranking_score": 1.092, |
| "resolver": "accept_transitive", |
| "status": "accepted" |
| }, |
| "raw_output": "All A are D", |
| "source": "learned_candidate_dataset" |
| }, |
| { |
| "candidate_id": "demo_reject_identity_a_d", |
| "claim": "A equals D", |
| "confidence": 0.88, |
| "features": { |
| "accepted_relation_candidate": 0.0, |
| "bias": 1.0, |
| "candidate_confidence": 0.88, |
| "candidate_quantifier_all": 0.0, |
| "candidate_quantifier_no": 0.0, |
| "candidate_quantifier_some": 0.0, |
| "candidate_subject_eq_predicate": 0.0, |
| "contradiction_candidate": 0.0, |
| "deeper_chain_case": 1.0, |
| "direct_support": 0.0, |
| "has_distractor": 0.0, |
| "identity_candidate": 1.0, |
| "identity_path_exists": 1.0, |
| "malformed_candidate": 0.0, |
| "no_against_transitive_support": 0.0, |
| "parseable_relation": 0.0, |
| "premise_count": 3.0, |
| "reverse_path": 0.0, |
| "some_to_all_risk": 0.0, |
| "support_depth": 0.0, |
| "transitive_support": 0.0, |
| "unsupported_relation_candidate": 0.0 |
| }, |
| "prediction": { |
| "channels": [ |
| "identity_preservation" |
| ], |
| "model_confidence": 0.0501, |
| "ranking_score": -2.9428, |
| "resolver": "reject_identity", |
| "status": "rejected" |
| }, |
| "raw_output": "A equals D", |
| "source": "learned_candidate_dataset" |
| }, |
| { |
| "candidate_id": "demo_reject_reverse_d_a", |
| "claim": "All D are A", |
| "confidence": 0.96, |
| "features": { |
| "accepted_relation_candidate": 0.0, |
| "bias": 1.0, |
| "candidate_confidence": 0.96, |
| "candidate_quantifier_all": 1.0, |
| "candidate_quantifier_no": 0.0, |
| "candidate_quantifier_some": 0.0, |
| "candidate_subject_eq_predicate": 0.0, |
| "contradiction_candidate": 0.0, |
| "deeper_chain_case": 1.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": 1.0, |
| "premise_count": 3.0, |
| "reverse_path": 1.0, |
| "some_to_all_risk": 0.0, |
| "support_depth": 0.0, |
| "transitive_support": 0.0, |
| "unsupported_relation_candidate": 0.0 |
| }, |
| "prediction": { |
| "channels": [ |
| "directionality" |
| ], |
| "model_confidence": 0.0173, |
| "ranking_score": -4.0376, |
| "resolver": "reject_reverse", |
| "status": "rejected" |
| }, |
| "raw_output": "All D are A", |
| "source": "learned_candidate_dataset" |
| } |
| ], |
| "split": "demo", |
| "tags": [ |
| "deeper_chain", |
| "grant_demo", |
| "high_confidence_wrong" |
| ], |
| "trace_receipt": { |
| "abstained_count": 0, |
| "accepted_count": 1, |
| "candidate_count": 3, |
| "provenance_preserved": true, |
| "rejected_count": 2, |
| "role": "TensionLM proposes. TS-Reasoner verifies. Typed channels decide. Receipts explain." |
| }, |
| "verification": { |
| "abstained": [], |
| "accepted": [ |
| "All A are D" |
| ], |
| "candidate_results": [ |
| { |
| "candidate_id": "demo_accept_all_a_d", |
| "channel_trace": { |
| "confidence_abstention": { |
| "activated": true, |
| "details": { |
| "decision": "answer", |
| "event": { |
| "action": "abstained_or_answered", |
| "channel": "confidence_abstention", |
| "details": { |
| "abstained": false |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": 0.0 |
| } |
| }, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "abstained_or_answered" |
| }, |
| "contradiction": { |
| "activated": false, |
| "details": {}, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "not_activated" |
| }, |
| "directionality": { |
| "activated": false, |
| "details": {}, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "not_activated" |
| }, |
| "identity_preservation": { |
| "activated": true, |
| "details": { |
| "event": { |
| "action": "preserved_distinct_nodes", |
| "channel": "identity_preservation", |
| "details": {}, |
| "evidence": [ |
| "A!=D" |
| ], |
| "status": "resolved", |
| "target": "A!=D", |
| "tension_delta": -1.0 |
| }, |
| "protects_against": "relation_identity_collapse" |
| }, |
| "evidence": [ |
| "('A', 'D')" |
| ], |
| "final_tension": 0.0, |
| "initial_tension": 1.0, |
| "resolution": "preserved_distinct_nodes" |
| }, |
| "logic_transitivity": { |
| "activated": true, |
| "details": { |
| "event": { |
| "action": "added_inferred_edge", |
| "channel": "logic_transitivity", |
| "details": {}, |
| "evidence": [ |
| "A->B->C", |
| "B->C->D", |
| "A->B->D" |
| ], |
| "status": "resolved", |
| "target": "A->C, B->D, A->D", |
| "tension_delta": -3.0 |
| }, |
| "missing_inferences": 0 |
| }, |
| "evidence": [ |
| "A->B->C", |
| "B->C->D" |
| ], |
| "final_tension": 0.0, |
| "initial_tension": 1.0, |
| "resolution": "added_inferred_edge" |
| }, |
| "quantifier_scope": { |
| "activated": false, |
| "details": {}, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "not_activated" |
| }, |
| "surface_structure": { |
| "activated": true, |
| "details": { |
| "event": { |
| "action": "tagged_premise_inferred_candidate_edges", |
| "channel": "surface_structure", |
| "details": { |
| "tag_count": 6 |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": -1.0 |
| }, |
| "untagged_claim_edges": 0 |
| }, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "tagged_premise_inferred_candidate_edges" |
| } |
| }, |
| "channels": { |
| "logic_transitivity": "accepted inferred edge" |
| }, |
| "claim": "All A are D", |
| "confidence": 0.7488, |
| "provenance": { |
| "candidate_id": "demo_accept_all_a_d", |
| "confidence": 0.7488, |
| "metadata": { |
| "boundary": "learned model proposes/ranks; TS-Reasoner typed channels verify", |
| "input_candidate_confidence": 0.55, |
| "model_prediction": { |
| "channels": [ |
| "logic_transitivity" |
| ], |
| "model_confidence": 0.7488, |
| "ranking_score": 1.092, |
| "resolver": "accept_transitive", |
| "status": "accepted" |
| } |
| }, |
| "raw_output": "All A are D", |
| "source": "learned_candidate_model" |
| }, |
| "reason": "candidate is supported by a typed transitive inference", |
| "source": "learned_candidate_model", |
| "status": "accepted", |
| "typed_runtime": { |
| "available": true, |
| "context": { |
| "abstention": false, |
| "blocked_edges": [], |
| "blocked_equalities": [ |
| "A!=D" |
| ], |
| "contradiction_flagged": false, |
| "quantifier_scope_blocked": false, |
| "surface_tags": { |
| "A->B:all": "premise", |
| "A->C:all": "inferred", |
| "A->D:all": "inferred", |
| "B->C:all": "premise", |
| "B->D:all": "inferred", |
| "C->D:all": "premise" |
| } |
| }, |
| "global_tension": 0.0, |
| "resolver_events": [ |
| { |
| "action": "added_inferred_edge", |
| "channel": "logic_transitivity", |
| "details": {}, |
| "evidence": [ |
| "A->B->C", |
| "B->C->D", |
| "A->B->D" |
| ], |
| "status": "resolved", |
| "target": "A->C, B->D, A->D", |
| "tension_delta": -3.0 |
| }, |
| { |
| "action": "preserved_distinct_nodes", |
| "channel": "identity_preservation", |
| "details": {}, |
| "evidence": [ |
| "A!=D" |
| ], |
| "status": "resolved", |
| "target": "A!=D", |
| "tension_delta": -1.0 |
| }, |
| { |
| "action": "tagged_premise_inferred_candidate_edges", |
| "channel": "surface_structure", |
| "details": { |
| "tag_count": 6 |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": -1.0 |
| }, |
| { |
| "action": "abstained_or_answered", |
| "channel": "confidence_abstention", |
| "details": { |
| "abstained": false |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": 0.0 |
| } |
| ], |
| "settled": true |
| } |
| }, |
| { |
| "candidate_id": "demo_reject_identity_a_d", |
| "channel_trace": { |
| "confidence_abstention": { |
| "activated": true, |
| "details": { |
| "decision": "answer", |
| "event": { |
| "action": "abstained_or_answered", |
| "channel": "confidence_abstention", |
| "details": { |
| "abstained": false |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": 0.0 |
| } |
| }, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "abstained_or_answered" |
| }, |
| "contradiction": { |
| "activated": false, |
| "details": {}, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "not_activated" |
| }, |
| "directionality": { |
| "activated": false, |
| "details": {}, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "not_activated" |
| }, |
| "identity_preservation": { |
| "activated": true, |
| "details": { |
| "event": { |
| "action": "preserved_distinct_nodes", |
| "channel": "identity_preservation", |
| "details": {}, |
| "evidence": [ |
| "A!=D" |
| ], |
| "status": "resolved", |
| "target": "A!=D", |
| "tension_delta": -1.0 |
| }, |
| "protects_against": "relation_identity_collapse" |
| }, |
| "evidence": [ |
| "('A', 'D')" |
| ], |
| "final_tension": 0.0, |
| "initial_tension": 1.0, |
| "resolution": "preserved_distinct_nodes" |
| }, |
| "logic_transitivity": { |
| "activated": true, |
| "details": { |
| "event": { |
| "action": "added_inferred_edge", |
| "channel": "logic_transitivity", |
| "details": {}, |
| "evidence": [ |
| "A->B->C", |
| "B->C->D", |
| "A->B->D" |
| ], |
| "status": "resolved", |
| "target": "A->C, B->D, A->D", |
| "tension_delta": -3.0 |
| }, |
| "missing_inferences": 0 |
| }, |
| "evidence": [ |
| "A->B->C", |
| "B->C->D" |
| ], |
| "final_tension": 0.0, |
| "initial_tension": 1.0, |
| "resolution": "added_inferred_edge" |
| }, |
| "quantifier_scope": { |
| "activated": false, |
| "details": {}, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "not_activated" |
| }, |
| "surface_structure": { |
| "activated": true, |
| "details": { |
| "event": { |
| "action": "tagged_premise_inferred_candidate_edges", |
| "channel": "surface_structure", |
| "details": { |
| "tag_count": 6 |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": -1.0 |
| }, |
| "untagged_claim_edges": 0 |
| }, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "tagged_premise_inferred_candidate_edges" |
| } |
| }, |
| "channels": { |
| "identity_preservation": "blocked identity collapse" |
| }, |
| "claim": "A equals D", |
| "confidence": 0.0501, |
| "provenance": { |
| "candidate_id": "demo_reject_identity_a_d", |
| "confidence": 0.0501, |
| "metadata": { |
| "boundary": "learned model proposes/ranks; TS-Reasoner typed channels verify", |
| "input_candidate_confidence": 0.88, |
| "model_prediction": { |
| "channels": [ |
| "identity_preservation" |
| ], |
| "model_confidence": 0.0501, |
| "ranking_score": -2.9428, |
| "resolver": "reject_identity", |
| "status": "rejected" |
| } |
| }, |
| "raw_output": "A equals D", |
| "source": "learned_candidate_model" |
| }, |
| "reason": "candidate collapses distinct graph nodes", |
| "source": "learned_candidate_model", |
| "status": "rejected", |
| "typed_runtime": { |
| "available": true, |
| "context": { |
| "abstention": false, |
| "blocked_edges": [], |
| "blocked_equalities": [ |
| "A!=D" |
| ], |
| "contradiction_flagged": false, |
| "quantifier_scope_blocked": false, |
| "surface_tags": { |
| "A->B:all": "premise", |
| "A->C:all": "inferred", |
| "A->D:all": "inferred", |
| "B->C:all": "premise", |
| "B->D:all": "inferred", |
| "C->D:all": "premise" |
| } |
| }, |
| "global_tension": 0.0, |
| "resolver_events": [ |
| { |
| "action": "added_inferred_edge", |
| "channel": "logic_transitivity", |
| "details": {}, |
| "evidence": [ |
| "A->B->C", |
| "B->C->D", |
| "A->B->D" |
| ], |
| "status": "resolved", |
| "target": "A->C, B->D, A->D", |
| "tension_delta": -3.0 |
| }, |
| { |
| "action": "preserved_distinct_nodes", |
| "channel": "identity_preservation", |
| "details": {}, |
| "evidence": [ |
| "A!=D" |
| ], |
| "status": "resolved", |
| "target": "A!=D", |
| "tension_delta": -1.0 |
| }, |
| { |
| "action": "tagged_premise_inferred_candidate_edges", |
| "channel": "surface_structure", |
| "details": { |
| "tag_count": 6 |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": -1.0 |
| }, |
| { |
| "action": "abstained_or_answered", |
| "channel": "confidence_abstention", |
| "details": { |
| "abstained": false |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": 0.0 |
| } |
| ], |
| "settled": true |
| } |
| }, |
| { |
| "candidate_id": "demo_reject_reverse_d_a", |
| "channel_trace": { |
| "confidence_abstention": { |
| "activated": true, |
| "details": { |
| "decision": "answer", |
| "event": { |
| "action": "abstained_or_answered", |
| "channel": "confidence_abstention", |
| "details": { |
| "abstained": false |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": 0.0 |
| } |
| }, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "abstained_or_answered" |
| }, |
| "contradiction": { |
| "activated": false, |
| "details": {}, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "not_activated" |
| }, |
| "directionality": { |
| "activated": true, |
| "details": { |
| "event": { |
| "action": "blocked_reverse_inference", |
| "channel": "directionality", |
| "details": {}, |
| "evidence": [ |
| "D->A" |
| ], |
| "status": "resolved", |
| "target": "D->A", |
| "tension_delta": -1.0 |
| }, |
| "protects_against": "converse_fallacy" |
| }, |
| "evidence": [ |
| "D->A" |
| ], |
| "final_tension": 0.0, |
| "initial_tension": 1.0, |
| "resolution": "blocked_reverse_inference" |
| }, |
| "identity_preservation": { |
| "activated": false, |
| "details": {}, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "not_activated" |
| }, |
| "logic_transitivity": { |
| "activated": true, |
| "details": { |
| "event": { |
| "action": "added_inferred_edge", |
| "channel": "logic_transitivity", |
| "details": {}, |
| "evidence": [ |
| "A->B->C", |
| "B->C->D", |
| "A->B->D" |
| ], |
| "status": "resolved", |
| "target": "A->C, B->D, A->D", |
| "tension_delta": -3.0 |
| }, |
| "missing_inferences": 0 |
| }, |
| "evidence": [ |
| "A->B->C", |
| "B->C->D" |
| ], |
| "final_tension": 0.0, |
| "initial_tension": 1.0, |
| "resolution": "added_inferred_edge" |
| }, |
| "quantifier_scope": { |
| "activated": false, |
| "details": {}, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "not_activated" |
| }, |
| "surface_structure": { |
| "activated": true, |
| "details": { |
| "event": { |
| "action": "tagged_premise_inferred_candidate_edges", |
| "channel": "surface_structure", |
| "details": { |
| "tag_count": 6 |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": -1.0 |
| }, |
| "untagged_claim_edges": 0 |
| }, |
| "evidence": [], |
| "final_tension": 0.0, |
| "initial_tension": 0.0, |
| "resolution": "tagged_premise_inferred_candidate_edges" |
| } |
| }, |
| "channels": { |
| "directionality": "blocked reverse inference" |
| }, |
| "claim": "All D are A", |
| "confidence": 0.0173, |
| "provenance": { |
| "candidate_id": "demo_reject_reverse_d_a", |
| "confidence": 0.0173, |
| "metadata": { |
| "boundary": "learned model proposes/ranks; TS-Reasoner typed channels verify", |
| "input_candidate_confidence": 0.96, |
| "model_prediction": { |
| "channels": [ |
| "directionality" |
| ], |
| "model_confidence": 0.0173, |
| "ranking_score": -4.0376, |
| "resolver": "reject_reverse", |
| "status": "rejected" |
| } |
| }, |
| "raw_output": "All D are A", |
| "source": "learned_candidate_model" |
| }, |
| "reason": "candidate reverses a directed support path", |
| "source": "learned_candidate_model", |
| "status": "rejected", |
| "typed_runtime": { |
| "available": true, |
| "context": { |
| "abstention": false, |
| "blocked_edges": [ |
| "D->A" |
| ], |
| "blocked_equalities": [], |
| "contradiction_flagged": false, |
| "quantifier_scope_blocked": false, |
| "surface_tags": { |
| "A->B:all": "premise", |
| "A->C:all": "inferred", |
| "A->D:all": "inferred", |
| "B->C:all": "premise", |
| "B->D:all": "inferred", |
| "C->D:all": "premise" |
| } |
| }, |
| "global_tension": 0.0, |
| "resolver_events": [ |
| { |
| "action": "added_inferred_edge", |
| "channel": "logic_transitivity", |
| "details": {}, |
| "evidence": [ |
| "A->B->C", |
| "B->C->D", |
| "A->B->D" |
| ], |
| "status": "resolved", |
| "target": "A->C, B->D, A->D", |
| "tension_delta": -3.0 |
| }, |
| { |
| "action": "blocked_reverse_inference", |
| "channel": "directionality", |
| "details": {}, |
| "evidence": [ |
| "D->A" |
| ], |
| "status": "resolved", |
| "target": "D->A", |
| "tension_delta": -1.0 |
| }, |
| { |
| "action": "tagged_premise_inferred_candidate_edges", |
| "channel": "surface_structure", |
| "details": { |
| "tag_count": 6 |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": -1.0 |
| }, |
| { |
| "action": "abstained_or_answered", |
| "channel": "confidence_abstention", |
| "details": { |
| "abstained": false |
| }, |
| "evidence": [], |
| "status": "resolved", |
| "target": null, |
| "tension_delta": 0.0 |
| } |
| ], |
| "settled": true |
| } |
| } |
| ], |
| "channels": { |
| "directionality": "blocked reverse inference", |
| "identity_preservation": "blocked identity collapse", |
| "logic_transitivity": "accepted inferred edge" |
| }, |
| "rejected": [ |
| "A equals D", |
| "All D are A" |
| ] |
| } |
| }, |
| "title": "TS-Reasoner v2.0.0: Learned Candidate Model Demo", |
| "trace": { |
| "candidate_graph_contamination_count": 0, |
| "directionality_activated": true, |
| "identity_preservation_activated": true, |
| "surface_structure_tagged_inference": true, |
| "transitivity_activated": true |
| }, |
| "verifier_returns": { |
| "abstained": [], |
| "accepted": [ |
| "All A are D" |
| ], |
| "rejected": [ |
| { |
| "channels": { |
| "identity_preservation": "blocked identity collapse" |
| }, |
| "claim": "A equals D", |
| "reason": "candidate collapses distinct graph nodes" |
| }, |
| { |
| "channels": { |
| "directionality": "blocked reverse inference" |
| }, |
| "claim": "All D are A", |
| "reason": "candidate reverses a directed support path" |
| } |
| ] |
| } |
| } |
|
|
