import json,itertools
from fractions import Fraction
SLUG='attestation-trust-boundary';KIND='Constructed analytical model; not a measured benchmark'
def run():
    flags=list(itertools.product((False,True),repeat=6));accepted=[];unsafe=[]
    for k in range(7):
        selected=[f for f in flags if all(f[:k])]
        bad=[f for f in selected if not all(f)]
        assert len(selected)==2**(6-k)
        assert len(bad)==2**(6-k)-1
        accepted.append(len(selected));unsafe.append(len(bad))
    checks=[dict(name='Policy truth table versus closed-form count',passed=True,cases=7,detail='64 complete flag assignments enumerated for each enforcement depth; counts are not probabilities.')]
    relay=(True,True,True,False,True,True)
    assert relay[0] and not all(relay)
    assert all((True,)*6)
    checks.append(dict(name='Channel-binding omission counterexample',passed=True,cases=2,detail='Wrong recipient with other flags true is rejected; complete positive case accepts.'))
    intervals=[1,5,10,30,60]
    for t in intervals:
        phases=[Fraction((2*i+1)*t,2000) for i in range(1000)]
        assert sum(phases)/1000==Fraction(t,2)
    checks.append(dict(name='Reappraisal delay independent midpoint average',passed=True,cases=5,detail='Exact rational averages agree with T/2 under uniform phase.'))
    figs=[dict(id='predicate-omissions',title='Omitted predicates admit unjustified cases',x_label='Number of required predicates enforced',y_label='Truth-table assignments',series=[dict(name='All accepted assignments',x=list(range(7)),y=accepted),dict(name='Unsafe accepted assignments',x=list(range(7)),y=unsafe)],caption='All 64 Boolean assignments are enumerated; real-world likelihoods are not assigned.',assumptions=['Six predicates all required','First k predicates enforced','No claim of exhaustive platform security'],kind=KIND),dict(id='reappraisal-window',title='Periodic policy reappraisal leaves residual authority',x_label='Reappraisal interval (minutes)',y_label='Residual delay (minutes)',series=[dict(name='Mean uniform phase',x=intervals,y=[t/2 for t in intervals]),dict(name='Maximum',x=intervals,y=intervals)],caption='Constructed delay to next reappraisal; no breach probabilities or real hardware measurements.',assumptions=['Uniform policy-change phase','No propagation delay','Expiry enforced at resource use'],kind=KIND)]
    return dict(slug=SLUG,checks=checks,figures=figs,result_summary=dict(signature_only_accepted=32,signature_only_unsafe=31,complete_policy_accepted=1,complete_policy_unsafe=0,mean_delay_T10_minutes=5,mean_delay_T60_minutes=30))
if __name__=='__main__':print(json.dumps(run(),indent=2))