aiMeverification pack
Verify the proof from artifacts alone.
AIME/BLINC ships a verify-only reproducibility bundle: Rust verifier source, durable artifacts, checksums, exact expected verdicts, and tamper cases. The verifier re-derives the claims instead of trusting producer narration.
verifier
Expected verdicts
Frame logPASS
Atlas200000/200000
TamperPASS
Fraud0 silent misses
SVG dot5/5
SVG tracesPASS
claim
What this proves
The bundle lets a skeptic rebuild aime-proof-verify, check artifact SHA-256 sums, and re-derive the convergence, fraud, and SVG anomaly claims from shipped data.
The decisive property: each accepted frame row must be reproducible from the environment plus the frames. Forged rows fail provenance, overlap, or physics checks.
contents
Inside the pack
- Rust verifier source
- BLINC frame log
- environment artifact
- fraud decision/test artifacts
- SVG dot and trace cases
- checksums and expected verdicts
- frame contract and runtime notes
boundary
What this does not claim
- No AGI claim.
- No broad autonomy claim.
- No producer engine source disclosure.
- No trust in producer self-report.
- No network, cloud, key, or LLM dependency.
tamper suite
Rejected frames
provenance
ungrounded source rejected
overlap
non-overlapping share rejected
physics
faked discovery rejected
pilot
Paid evaluation offer
Bring one artifact/fixture pair and an acceptance rule. We return a verifier run, frame logs, tamper results, checksums, and a short result memo.
Fixed fee. One fixture pair. NDA. No production integration. No engine source disclosure.
[email protected]