{
"id": "reversal_partition_dependence",
"class": "noncommutation_witness",
"original_source_parts": [
1650,
1050
],
"original_whole": 2700,
"whole_one_pass_image": 7200,
"separate_one_pass_images": [
5610,
5010
],
"separate_image_total": 10620,
"statement": "Reverseaftercoarsening differsfromcoarsenaftercomponentreversal.",
"source_scope": "Botharguments areoriginalsource durations, notinheritedinverseoutputs; eachisreversedoncefor thisexistingcomparison.",
"consequence": "Originalpartitionandoperationroute arepartoftheinput, notdecorativeannotations."
}
Evidence
relation inverse partition.json
Edition and provenance
relation_inverse_partition.json
SHA-256 66d109ae0238a81f415ee8847be71eabc366b94683328289ae877a38ffe77ef5
C480–C1634/Research_Cycles/C1132_C1431_Recovered/model/relation_inverse_partition.json