"""R642：按生效区间核对固定股票篮子；未覆盖不等于规则拒绝。"""
from datetime import datetime
from math import isfinite
import json,hashlib

def moment(value):
    out=datetime.fromisoformat(value)
    if out.utcoffset() is None:raise ValueError('timezone required')
    return out
def identity(value):
    if not isinstance(value,str) or not value.strip():raise ValueError('invalid security')
    return value
def classify(security,time,quote,universe):
    identity(security);when=moment(time)
    intervals=universe.get(security,[])
    if not intervals:return 'outside_basket'
    active=any(moment(start)<=when<moment(end) for start,end in intervals)
    if not active:return 'outside_effective_interval'
    if quote is None:return 'covered_quote_unknown'
    if not isfinite(quote) or quote<=0:raise ValueError('invalid quote')
    return 'observable'

universe={'A':[('2026-01-01T00:00:00+00:00','2026-01-05T00:00:00+00:00')],
          'B':[('2026-01-03T00:00:00+00:00','2026-01-06T00:00:00+00:00')]}
for intervals in universe.values():
    assert all(moment(start)<moment(end) for start,end in intervals)
    assert all(moment(a[1])<=moment(b[0]) for a,b in zip(sorted(intervals),sorted(intervals)[1:]))
version=hashlib.sha256(json.dumps(universe,sort_keys=True).encode()).hexdigest()
requests=[('A','2026-01-02T00:00:00+00:00',100),('B','2026-01-02T00:00:00+00:00',100),('C','2026-01-03T00:00:00+00:00',100),('B','2026-01-03T00:00:00+00:00',None),('A','2026-01-05T00:00:00+00:00',100)]
statuses=[classify(*request,universe) for request in requests]
assert statuses==['observable','outside_effective_interval','outside_basket','covered_quote_unknown','outside_effective_interval']
assert statuses.count('observable')==1 and len(statuses)==5
assert classify('A','2026-01-01T08:00:00+08:00',100,universe)=='observable'
try:classify('A','2026-01-02T00:00:00',100,universe)
except ValueError:pass
else:raise AssertionError('ambiguous timezone accepted')
try:classify('A','2026-01-02T00:00:00+00:00',float('nan'),universe)
except ValueError:pass
else:raise AssertionError('NaN quote accepted')
assert hashlib.sha256(json.dumps(universe,sort_keys=True).encode()).hexdigest()==version
print('statuses='+str(statuses)+' observable=1 requested=5 rule_rejection_count=not_inferred')
print('membership_start=inclusive end=exclusive timezone_equivalent=True missing_quote=unknown fixed_small_basket=True')