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: 201-400 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. 000201 | "holomorphic_coordinate_multiplication_kernel_dimension": 5, 000202 | "typing": "the same five tensors are wedge components and Pluecker relations for complementary maps", 000203 | "wedge_map_image_dimension": 5, 000204 | "wedge_map_kernel_dimension": 50 000205 | }, 000206 | "source_boundary": "The old coherent-record contracts establish only conditional record constructions and explicitly leave physical record access and dynamics underived. This calculation grants coherent record access as the changed premise. The exact obstruction applies at one event; two events become sufficient only after a target-specific coherent record filter is chosen.", 000207 | "source_sha256": { 000208 | [OMITTED: non-scientific conversation or execution metadata] 000209 | [OMITTED: non-scientific conversation or execution metadata] 000210 | [OMITTED: non-scientific conversation or execution metadata] 000211 | [OMITTED: non-scientific conversation or execution metadata] 000212 | [OMITTED: non-scientific conversation or execution metadata] 000213 | [OMITTED: non-scientific conversation or execution metadata] 000214 | [OMITTED: non-scientific conversation or execution metadata] 000215 | [OMITTED: non-scientific conversation or execution metadata] 000216 | [OMITTED: non-scientific conversation or execution metadata] 000217 | [OMITTED: non-scientific conversation or execution metadata] 000218 | [OMITTED: non-scientific conversation or execution metadata] 000219 | [OMITTED: non-scientific conversation or execution metadata] 000220 | }, 000221 | "two_event_actual_whole_sixty_record": [ 000222 | { 000223 | "actual_history_count": 3600, 000224 | "duad_chart_mark": 0, 000225 | "filter_formula": "A has columns vec(U_second U_first); X=A^dagger(AA^dagger)^-1 V; R_mw=60 sqrt((1/25)/3) X_wm", 000226 | "filter_is_source_selected": false, 000227 | "input_independent_success": true, 000228 | "maximum_exact_hodge_success_probability": "1/25", 000229 | "minimum_norm_coefficient_gram_diagonal": [ 000230 | "1/48", 000231 | "1/48", 000232 | "1/48", 000233 | "1/64", 000234 | "1/64" 000235 | ], 000236 | "one_step_intersection_indices": [ 000237 | 3, 000238 | 4 000239 | ], 000240 | "optimal_record_contraction_row_gram_diagonal": [ 000241 | "1", 000242 | "1", 000243 | "1", 000244 | "3/4", 000245 | "3/4" 000246 | ], 000247 | "resulting_success_map": "(1/25) Phi", 000248 | "word_kraus_span_rank": 100 000249 | }, 000250 | { 000251 | "actual_history_count": 3600, 000252 | "duad_chart_mark": 1, 000253 | "filter_formula": "A has columns vec(U_second U_first); X=A^dagger(AA^dagger)^-1 V; R_mw=60 sqrt((1/25)/3) X_wm", 000254 | "filter_is_source_selected": false, 000255 | "input_independent_success": true, 000256 | "maximum_exact_hodge_success_probability": "1/25", 000257 | "minimum_norm_coefficient_gram_diagonal": [ 000258 | "1/48", 000259 | "1/64", 000260 | "1/64", 000261 | "1/48", 000262 | "1/48" 000263 | ], 000264 | "one_step_intersection_indices": [ 000265 | 1, 000266 | 2 000267 | ], 000268 | "optimal_record_contraction_row_gram_diagonal": [ 000269 | "1", 000270 | "3/4", 000271 | "3/4", 000272 | "1", 000273 | "1" 000274 | ], 000275 | "resulting_success_map": "(1/25) Phi", 000276 | "word_kraus_span_rank": 100 000277 | }, 000278 | { 000279 | "actual_history_count": 3600, 000280 | "duad_chart_mark": 2, 000281 | "filter_formula": "A has columns vec(U_second U_first); X=A^dagger(AA^dagger)^-1 V; R_mw=60 sqrt((1/25)/3) X_wm", 000282 | "filter_is_source_selected": false, 000283 | "input_independent_success": true, 000284 | "maximum_exact_hodge_success_probability": "1/25", 000285 | "minimum_norm_coefficient_gram_diagonal": [ 000286 | "1/48", 000287 | "1/64", 000288 | "1/64", 000289 | "1/48", 000290 | "1/48" 000291 | ], 000292 | "one_step_intersection_indices": [ 000293 | 1, 000294 | 2 000295 | ], 000296 | "optimal_record_contraction_row_gram_diagonal": [ 000297 | "1", 000298 | "3/4", 000299 | "3/4", 000300 | "1", 000301 | "1" 000302 | ], 000303 | "resulting_success_map": "(1/25) Phi", 000304 | "word_kraus_span_rank": 100 000305 | }, 000306 | { 000307 | "actual_history_count": 3600, 000308 | "duad_chart_mark": 3, 000309 | "filter_formula": "A has columns vec(U_second U_first); X=A^dagger(AA^dagger)^-1 V; R_mw=60 sqrt((1/25)/3) X_wm", 000310 | "filter_is_source_selected": false, 000311 | "input_independent_success": true, 000312 | "maximum_exact_hodge_success_probability": "1/25", 000313 | "minimum_norm_coefficient_gram_diagonal": [ 000314 | "1/48", 000315 | "1/64", 000316 | "1/64", 000317 | "1/48", 000318 | "1/48" 000319 | ], 000320 | "one_step_intersection_indices": [ 000321 | 1, 000322 | 2 000323 | ], 000324 | "optimal_record_contraction_row_gram_diagonal": [ 000325 | "1", 000326 | "3/4", 000327 | "3/4", 000328 | "1", 000329 | "1" 000330 | ], 000331 | "resulting_success_map": "(1/25) Phi", 000332 | "word_kraus_span_rank": 100 000333 | }, 000334 | { 000335 | "actual_history_count": 3600, 000336 | "duad_chart_mark": 4, 000337 | "filter_formula": "A has columns vec(U_second U_first); X=A^dagger(AA^dagger)^-1 V; R_mw=60 sqrt((1/25)/3) X_wm", 000338 | "filter_is_source_selected": false, 000339 | "input_independent_success": true, 000340 | "maximum_exact_hodge_success_probability": "1/25", 000341 | "minimum_norm_coefficient_gram_diagonal": [ 000342 | "1/64", 000343 | "1/48", 000344 | "1/48", 000345 | "1/48", 000346 | "1/64" 000347 | ], 000348 | "one_step_intersection_indices": [ 000349 | 0, 000350 | 4 000351 | ], 000352 | "optimal_record_contraction_row_gram_diagonal": [ 000353 | "3/4", 000354 | "1", 000355 | "1", 000356 | "1", 000357 | "3/4" 000358 | ], 000359 | "resulting_success_map": "(1/25) Phi", 000360 | "word_kraus_span_rank": 100 000361 | }, 000362 | { 000363 | "actual_history_count": 3600, 000364 | "duad_chart_mark": 5, 000365 | "filter_formula": "A has columns vec(U_second U_first); X=A^dagger(AA^dagger)^-1 V; R_mw=60 sqrt((1/25)/3) X_wm", 000366 | "filter_is_source_selected": false, 000367 | "input_independent_success": true, 000368 | "maximum_exact_hodge_success_probability": "1/25", 000369 | "minimum_norm_coefficient_gram_diagonal": [ 000370 | "1/64", 000371 | "1/48", 000372 | "1/48", 000373 | "1/48", 000374 | "1/64" 000375 | ], 000376 | "one_step_intersection_indices": [ 000377 | 0, 000378 | 4 000379 | ], 000380 | "optimal_record_contraction_row_gram_diagonal": [ 000381 | "3/4", 000382 | "1", 000383 | "1", 000384 | "1", 000385 | "3/4" 000386 | ], 000387 | "resulting_success_map": "(1/25) Phi", 000388 | "word_kraus_span_rank": 100 000389 | } 000390 | ], 000391 | "two_event_selection_boundary": "Two actual source events already span M10, so a coherent record contraction can realize the exact subchannel (1/25)Phi. The minimum-norm contraction is fixed after a duad chart and the Hodge target are supplied. Neither that target-specific record effect nor a physical heralding apparatus is selected by the original source.", 000392 | "verdict": [ 000393 | "NO_SINGLE_MARK_COHERENT_RECORD_EFFECT_REALIZES_A_NONZERO_EXACT_HODGE_CHANNEL", 000394 | "NO_ONE_EVENT_WHOLE60_RECORD_EFFECT_REALIZES_A_NONZERO_EXACT_HODGE_CHANNEL", 000395 | "EACH_SOURCE_CHART_SHARES_EXACTLY_TWO_OF_THE_FIVE_HODGE_KRAUS_DIRECTIONS", 000396 | "THE_ACCESSIBLE_TWO_PLANE_CANNOT_HAVE_NONZERO_INPUT_INDEPENDENT_SUCCESS", 000397 | "TWO_ACTUAL_WHOLE60_EVENTS_DO_SUPPORT_AN_EXACT_HODGE_SUBCHANNEL_WITH_OPTIMAL_SUCCESS_1_OVER_25", 000398 | "THE_REQUIRED_COHERENT_RECORD_FILTER_IS_TARGET_CONSTRUCTED_AND_NOT_SOURCE_SELECTED" 000399 | ] 000400 | }