coulomb/prj-canon-federation
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Record social collective completion and pinned import verification

Browse source 
Assistant: codex
Assistant-Model: gpt-6-astra
Assistant-Session: 01a070b5-4994-7271-bd8b-7c3dbcedec4b
This commit is contained in:
tegwick 2026-09-05 22:31:32 +02:00
parent 94829d6051
commit 2d7675420f
5 changed files with 103 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

10
docs/evidence/2026-09-05-counterparty-validate.py
View file

@ -34,12 +34,14 @@ for key in ['id', 'version', 'status']: assert entry[key] == fm[key]
manifest = json.loads(model_path.with_name('imports.json').read_text())
assert set(fm['imports']) == {row['model'] for row in manifest['imports']}
imports = set()
upstream_drift = []
for row in manifest['imports']:
data = (upstream / row['path']).read_bytes()
historical = subprocess.check_output(['git', 'show', manifest['source_commit'] + ':' + row['path']], cwd=upstream)
assert hashlib.sha256(data).hexdigest() == row['sha256'], 'upstream changed: ' + row['path']
assert data == historical, 'reviewed commit differs: ' + row['path']
text = data.decode()
assert hashlib.sha256(historical).hexdigest() == row['sha256'], 'reviewed commit differs: ' + row['path']
if data != historical:
upstream_drift.append(row['path'])
text = historical.decode()
if text.startswith('---\n'):
upstream_fm = yaml.safe_load(text.split('---')[1])
upstream_owned = set(upstream_fm['owned_concepts'])
@ -64,5 +66,5 @@ for relative in ['README.md', 'docs/RepositoryLayout.md', 'infospace/kernel/Comm
links += 1
print(json.dumps({'owned_concepts': len(owned), 'convenience_terms': 2,
'imported_models': len(manifest['imports']), 'imported_concepts': len(imports),
'upstream_commit': manifest['source_commit'], 'protected_files_unchanged': len(protected),
'upstream_commit': manifest['source_commit'], 'upstream_changes_since_review': upstream_drift, 'protected_files_unchanged': len(protected),
'links_checked': links, 'registry_and_boundaries': 'pass'}, indent=2))