s1195.py

from research import *
from collections import Counter
from math import prod
s=begin(1195,'Summarize the full joint observation ambiguity','How much rowwise ambiguity remains before any cross-row constraints are introduced?',{},['C1192'])
d=json.loads((ROOT/'model/ordinary_joint_rounding_fibres.json').read_text());rows=d['rows'];hist=dict(sorted(Counter(x['count'] for x in rows).items()));by={t:prod(x['count'] for x in rows if x['tradition']==t) for t in ['MT','SP','LXX']}
a=artifact('model/ordinary_joint_rounding_ambiguity_summary.json',json.dumps({'fibre_size_histogram':hist,'product_by_tradition':by,'total_product':prod(x['count'] for x in rows),'scope':'formal independent-row domain with fixed exactL, roundedb/r; no cross-row source equalities imposed, no historical alternatives admitted'},indent=2)+'\n')
finish(s,{'summary':a,'histogram':hist,'products':by},'The joint observations narrow every row to at most five possibilities but leave50 of55 rows ambiguous. Their product counts formal decompositions only, before source-labelled cross-row relations are imposed.','Test whether source-equal remaining years create additional recovery in the early post-Flood block.',{'hist55':sum(hist.values())==55,'ambiguous50':sum(v for k,v in hist.items() if k>1)==50,'all_positive':all(v>0 for v in by.values())})