Kingy.ai OpenAI formal proof pilot — public evidence export

The experiment ran on October 6, 2026 Pacific time. This publication export was authorized afterward. Original files are preserved byte-for-byte: their references to "private", "unpublished", "planned_not_run" or a local-only bundle describe the status when each artifact was saved, not the current distribution status.

results.json records the completed six attempts and takes precedence over planning-status fields in the original targets file. Two attempts were checker-accepted; four ended at the 7 GiB memory boundary with no proof verdict. No target was checker-rejected. No human mathematical review was performed.

The ZIP contains selected original results, technical report, protocol, target configurations, controls, raw attempt logs, resource telemetry, receipts, tool hashes, pinned dependency states and selected execution scripts. It is a curated evidence export, not a turnkey virtual-machine image. The full local bundle additionally retains build-output archives, downloaded-cache manifests, dependency patches and setup logs. Host diagnostics, SSH/boot logs and personal filesystem information are excluded from this public export.

Scripts describe the recorded guest environment and pinned public dependencies; inspect them before use. There are no credentials in this package. Public export checksums are in SHA256SUMS.txt. The separate original source hashes in the files refer to their original environment and are not a checksum list for every public-export filename.