SemArchive v1.0 verification record

Linux x86_64
openjdk version "17.0.20" 2026-07-21
OpenJDK Runtime Environment (build 17.0.20+8-1-24.04-Ubuntu)
OpenJDK 64-Bit Server VM (build 17.0.20+8-1-24.04-Ubuntu, mixed mode, sharing)
pdftotext version 24.02.0
tesseract 5.3.4
Python 3.12.14

Native launcher
ELF 64-bit LSB pie executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=ee33b3a852cabeb3310c568c144ffb4f2f458886, for GNU/Linux 3.2.0, not stripped

Erasure/audit finite test and two 21-check peer runs (JAR followed by native launcher)
PASS: 2825 erasure subset round trips and same-key audit fork rejection
PASS: identical PDF inputs deduplicate
PASS: SHA-256 and Ed25519 known-answer tests and audit fixtures
PASS: untrusted publisher fingerprint rejected
PASS: empty partial answer with no peers online
PASS: authenticated live challenge and signed audit
PASS: early semantic hit without literal token overlap
PASS: no PDF returned below the erasure threshold
PASS: verified coverage survives a process restart
PASS: byte-identical PDF restored across nonoverlapping peer availability
PASS: complete semantic results after three separate peer windows
PASS: completed result replays with every peer offline
PASS: corrupt index bytes cannot count toward exact coverage
PASS: the correct index block completes the existing job
PASS: keyword retrieval for 'SCANNED GARDEN'
PASS: keyword retrieval for 'deterioration'
PASS: hybrid retrieval for 'corruption'
PASS: mutated signed audit event rejected
PASS: corrupt fragment treated as erasure and PDF restored from the other two
PASS: repair regenerates the exact committed fragment
PASS: repair appends a verified audit entry
PASS: valid older audit prefix rejected against stored cursor
PASS: identical PDF inputs deduplicate
PASS: SHA-256 and Ed25519 known-answer tests and audit fixtures
PASS: untrusted publisher fingerprint rejected
PASS: empty partial answer with no peers online
PASS: authenticated live challenge and signed audit
PASS: early semantic hit without literal token overlap
PASS: no PDF returned below the erasure threshold
PASS: verified coverage survives a process restart
PASS: byte-identical PDF restored across nonoverlapping peer availability
PASS: complete semantic results after three separate peer windows
PASS: completed result replays with every peer offline
PASS: corrupt index bytes cannot count toward exact coverage
PASS: the correct index block completes the existing job
PASS: keyword retrieval for 'SCANNED GARDEN'
PASS: keyword retrieval for 'deterioration'
PASS: hybrid retrieval for 'corruption'
PASS: mutated signed audit event rejected
PASS: corrupt fragment treated as erasure and PDF restored from the other two
PASS: repair regenerates the exact committed fragment
PASS: repair appends a verified audit entry
PASS: valid older audit prefix rejected against stored cursor

Availability calculation
horizon     p       d      stripe  search  joint   union lower bound
2 s        .35    .750    0.1174  0.0575  0.0068  0.0000
5 min      .65    .910    0.6471  0.6409  0.4147  0.2141
1 day      .92    .990    0.9915  0.9860  0.9776  0.9774
7 days     .98    .998    0.9998  0.9979  0.9978  0.9978
1-day joint under a 20% common outage: 0.7820

Rebuilding the JAR with the same JDK produced identical bytes.
