kangshifu-board/scripts/package-agent-library-read-acceptance.py

"""Verify the received evidence and build the bounded current-CLI acceptance."""
import datetime
import hashlib
import json
from pathlib import Path
import zipfile

ROOT = Path(__file__).resolve().parents[1]
NAME = 'ksf-agent-library-read-acceptance-20261108-r2'
INCOMING = Path('D:/下载/WXWork/1688857450794210/Cache/File/2026-11/agent-library-read-receipt.json')
EXPECTED = 'c5454853a5abdacc9f8353252f214b1906dec1190aa52abdb661523f3b40d346'
sha = lambda raw: hashlib.sha256(raw).hexdigest()


def main():
    raw = INCOMING.read_bytes()
    assert len(raw) == 11821 and sha(raw) == EXPECTED
    prior = json.loads(raw)
    generation = prior['contract']['generation']
    assert generation == prior['board']['generation']
    assert prior['fieldReadVerified'] and not prior['originalConditionVerified']
    archive = ROOT / 'docs/agent-library-read-repair-20261108/receipts/r1'
    archive.mkdir(parents=True, exist_ok=True)
    copied = archive / INCOMING.name
    if copied.exists(): assert copied.read_bytes() == raw
    else: copied.write_bytes(raw)

    state = {'schema': 'ksf.agent-library-read-expected.v1',
        'sourceReceiptSha256': EXPECTED, 'generation': generation,
        'skillFingerprint': prior['skillFingerprint'],
        'installedFingerprints': prior['installedFingerprints']}
    files = {
        '发给王刚001-r2.md': (ROOT / 'docs/agent-library-read-repair-20261108/发给王刚001-r2.md').read_bytes(),
        'probe-agent-library-read.py': (ROOT / 'scripts/probe-agent-library-read.py').read_bytes(),
        'expected-instance.json': (json.dumps(state, ensure_ascii=False, indent=2) + '\n').encode('utf-8')}
    files['FILES.sha256'] = ''.join(sha(body) + '  ' + name + '\n' for name, body in files.items()).encode('utf-8')
    out = ROOT / 'artifacts' / NAME
    out.mkdir(parents=True, exist_ok=True)
    dest = out / (NAME + '.zip')
    with zipfile.ZipFile(dest, 'w', zipfile.ZIP_DEFLATED) as z:
        for name, body in files.items(): z.writestr(name, body)
    with zipfile.ZipFile(dest) as z:
        assert z.testzip() is None
        for line in z.read('FILES.sha256').decode('utf-8').splitlines():
            digest, name = line.split('  ', 1); assert sha(z.read(name)) == digest
    receipt = dict(ok=True, filename=dest.name, bytes=dest.stat().st_size,
        sha256=sha(dest.read_bytes()), filesVerified=3, entries=4,
        createdAt=datetime.datetime.now(datetime.timezone.utc).isoformat(),
        priorReceiptVerified=True, fieldReadVerified=True,
        currentCliVerified=False, historicalRootCauseVerified=False,
        deployed=False, installedCodeIncluded=False, credentialsIncluded=False)
    (out / 'delivery-receipt.json').write_text(json.dumps(receipt, ensure_ascii=False, indent=2) + '\n', encoding='utf-8')
    print(json.dumps(receipt, ensure_ascii=False))


if __name__ == '__main__': main()