TWO FOUNDATIONS FOR HUMAN AUTONOMY - FINAL v1.0

This package preserves the exact final PDF and unchanged verification sources.
The PDF includes the same source and result files as embedded attachments.

Run python3 commitment_verification.py and python3 autonomy_verification.py.
Compare their JSON outputs with the corresponding *_results.json files.
A successful check includes expected counterexamples, not only safety successes.

Use SHA256SUMS to check the packaged files. The lock record also supplies SHA-512.
On systems with sha256sum: sha256sum -c SHA256SUMS

No repository freeze or Master Hash Manifest v17 update has been performed.
FINAL_LOCK_RECORD.json is a standalone release record, not an amended master manifest.
The submitted 6a5edae1... hash identifies the predecessor v0.9.12 PDF.

Keep these release bytes unchanged; issue a successor for later revisions.
Checksums are integrity references, not author signatures or enforcement mechanisms.
