TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/source-record-hodge-results.json
Original file SHA-256: 63b40e3b22731d3908aa36402e589ddf0e7136b6b16e14fc7ae82bdc426d09e0
Inclusive original lines: 1-200
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | {
000002 |   "actual_unmarked_sixty_record_in_each_alternative_chart": [
000003 |     {
000004 |       "duad_chart_mark": 0,
000005 |       "full_hodge_support_contained": false,
000006 |       "hodge_span_rank": 5,
000007 |       "input_independent_success_from_intersection_plane": false,
000008 |       "intersection_dimension": 2,
000009 |       "intersection_hodge_indices": [
000010 |         3,
000011 |         4
000012 |       ],
000013 |       "joint_span_rank": 58,
000014 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000015 |       "same_actual_source_kraus_count": 60,
000016 |       "source_span_rank": 55
000017 |     },
000018 |     {
000019 |       "duad_chart_mark": 1,
000020 |       "full_hodge_support_contained": false,
000021 |       "hodge_span_rank": 5,
000022 |       "input_independent_success_from_intersection_plane": false,
000023 |       "intersection_dimension": 2,
000024 |       "intersection_hodge_indices": [
000025 |         1,
000026 |         2
000027 |       ],
000028 |       "joint_span_rank": 58,
000029 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000030 |       "same_actual_source_kraus_count": 60,
000031 |       "source_span_rank": 55
000032 |     },
000033 |     {
000034 |       "duad_chart_mark": 2,
000035 |       "full_hodge_support_contained": false,
000036 |       "hodge_span_rank": 5,
000037 |       "input_independent_success_from_intersection_plane": false,
000038 |       "intersection_dimension": 2,
000039 |       "intersection_hodge_indices": [
000040 |         1,
000041 |         2
000042 |       ],
000043 |       "joint_span_rank": 58,
000044 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000045 |       "same_actual_source_kraus_count": 60,
000046 |       "source_span_rank": 55
000047 |     },
000048 |     {
000049 |       "duad_chart_mark": 3,
000050 |       "full_hodge_support_contained": false,
000051 |       "hodge_span_rank": 5,
000052 |       "input_independent_success_from_intersection_plane": false,
000053 |       "intersection_dimension": 2,
000054 |       "intersection_hodge_indices": [
000055 |         1,
000056 |         2
000057 |       ],
000058 |       "joint_span_rank": 58,
000059 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000060 |       "same_actual_source_kraus_count": 60,
000061 |       "source_span_rank": 55
000062 |     },
000063 |     {
000064 |       "duad_chart_mark": 4,
000065 |       "full_hodge_support_contained": false,
000066 |       "hodge_span_rank": 5,
000067 |       "input_independent_success_from_intersection_plane": false,
000068 |       "intersection_dimension": 2,
000069 |       "intersection_hodge_indices": [
000070 |         0,
000071 |         4
000072 |       ],
000073 |       "joint_span_rank": 58,
000074 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000075 |       "same_actual_source_kraus_count": 60,
000076 |       "source_span_rank": 55
000077 |     },
000078 |     {
000079 |       "duad_chart_mark": 5,
000080 |       "full_hodge_support_contained": false,
000081 |       "hodge_span_rank": 5,
000082 |       "input_independent_success_from_intersection_plane": false,
000083 |       "intersection_dimension": 2,
000084 |       "intersection_hodge_indices": [
000085 |         0,
000086 |         4
000087 |       ],
000088 |       "joint_span_rank": 58,
000089 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000090 |       "same_actual_source_kraus_count": 60,
000091 |       "source_span_rank": 55
000092 |     }
000093 |   ],
000094 |   "chart_boundary": "The six entries are coordinate tests of the same actual sixty matrices. They were not combined into an artificial 360-event source. Without a fixed duad chart, the old Bell10 and Lambda^2 C5 Hodge channel are not linearly identified.",
000095 |   "checks": 216,
000096 |   "holomorphic_product_boundary": "The same five epsilon tensors span the image of the wedge map Sym^2(Lambda^2 C5) to Lambda^4 C5, but they are the five Plucker relations, hence the kernel of holomorphic coordinate multiplication Sym^2(10) to the 50-dimensional degree-two coordinate ring. The record subchannel is therefore not automatically an existing holomorphic product output.",
000097 |   "marked_twenty_records": [
000098 |     {
000099 |       "full_hodge_support_contained": false,
000100 |       "hodge_span_rank": 5,
000101 |       "input_independent_success_from_intersection_plane": false,
000102 |       "intersection_dimension": 2,
000103 |       "intersection_hodge_indices": [
000104 |         3,
000105 |         4
000106 |       ],
000107 |       "joint_span_rank": 18,
000108 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000109 |       "mark": 0,
000110 |       "source_kraus_count": 20,
000111 |       "source_span_rank": 15
000112 |     },
000113 |     {
000114 |       "full_hodge_support_contained": false,
000115 |       "hodge_span_rank": 5,
000116 |       "input_independent_success_from_intersection_plane": false,
000117 |       "intersection_dimension": 2,
000118 |       "intersection_hodge_indices": [
000119 |         1,
000120 |         2
000121 |       ],
000122 |       "joint_span_rank": 18,
000123 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000124 |       "mark": 1,
000125 |       "source_kraus_count": 20,
000126 |       "source_span_rank": 15
000127 |     },
000128 |     {
000129 |       "full_hodge_support_contained": false,
000130 |       "hodge_span_rank": 5,
000131 |       "input_independent_success_from_intersection_plane": false,
000132 |       "intersection_dimension": 2,
000133 |       "intersection_hodge_indices": [
000134 |         1,
000135 |         2
000136 |       ],
000137 |       "joint_span_rank": 18,
000138 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000139 |       "mark": 2,
000140 |       "source_kraus_count": 20,
000141 |       "source_span_rank": 15
000142 |     },
000143 |     {
000144 |       "full_hodge_support_contained": false,
000145 |       "hodge_span_rank": 5,
000146 |       "input_independent_success_from_intersection_plane": false,
000147 |       "intersection_dimension": 2,
000148 |       "intersection_hodge_indices": [
000149 |         1,
000150 |         2
000151 |       ],
000152 |       "joint_span_rank": 18,
000153 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000154 |       "mark": 3,
000155 |       "source_kraus_count": 20,
000156 |       "source_span_rank": 15
000157 |     },
000158 |     {
000159 |       "full_hodge_support_contained": false,
000160 |       "hodge_span_rank": 5,
000161 |       "input_independent_success_from_intersection_plane": false,
000162 |       "intersection_dimension": 2,
000163 |       "intersection_hodge_indices": [
000164 |         0,
000165 |         4
000166 |       ],
000167 |       "joint_span_rank": 18,
000168 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000169 |       "mark": 4,
000170 |       "source_kraus_count": 20,
000171 |       "source_span_rank": 15
000172 |     },
000173 |     {
000174 |       "full_hodge_support_contained": false,
000175 |       "hodge_span_rank": 5,
000176 |       "input_independent_success_from_intersection_plane": false,
000177 |       "intersection_dimension": 2,
000178 |       "intersection_hodge_indices": [
000179 |         0,
000180 |         4
000181 |       ],
000182 |       "joint_span_rank": 18,
000183 |       "largest_exact_hodge_cp_subchannel_probability": "0",
000184 |       "mark": 5,
000185 |       "source_kraus_count": 20,
000186 |       "source_span_rank": 15
000187 |     }
000188 |   ],
000189 |   "normalizations": {
000190 |     "hodge": "Phi=(1/3) sum_m Ad(C_m)",
000191 |     "marked": "normalized actual jump channel=(1/12) sum_{l in moving(mark)} Ad(U_l D_jump,l)",
000192 |     "note": "positive scalar normalizations do not alter Choi support",
000193 |     "whole": "C60=(1/60) sum_l Ad(U_l)"
000194 |   },
000195 |   "one_event_extra_operation_needed": "At one event, producing full Phi would require a system operation that adds the three missing Hodge Kraus directions or a different source. A record-space projection alone cannot add them.",
000196 |   "one_event_mathematical_reason": "For a source Stinespring isometry sum_l |l> tensor K_l, every positive record effect E has Choi range contained in span{vec K_l}. Positivity of J_source_effect-p J_Phi for p>0 would require range(J_Phi) to lie in that source span. Exact ranks disprove this.",
000197 |   "plucker_wedge_typing": {
000198 |     "domain": "Sym^2(Lambda^2 C5)",
000199 |     "domain_dimension": 55,
000200 |     "holomorphic_coordinate_multiplication_image_dimension": 50,