Evidence Dataset

Every terminal block on this site is backed by a structured, citable record. The full dataset — commands, outputs, subject SHA-256 hashes and environments — is published as JSON at github.com/jiawei89/realearn-evidence.

Discipline: zero fabrication — every command/output is verbatim from our internal lab records; anything not recorded is published as null, never invented. SHA-256 values were recomputed on the original lab machine on 2026-10-16 and matched the recorded values.

sha256sum — lab@realearn (recomputed 2026-10-16) verified: ran 2026-10-16
$ sha256sum hello hello-stripped key
36cdabb6a0c66710b45a7c566ae112450c7e8a45c4bdfc6ea2301396f4207352  hello
7dda4d0500da95f2daeaf952b5efc3be4b51f6472f775a2b6be92d0c687f82c3  hello-stripped
9812f2acea38e384fff7e6b55523601d759d48ef7fd6dd62515e197a0c8d1db7  key
LabDateSubject / tutorialSHA-256
lab00 ⚠ record missing 2026-10-12 REA install + agent wiring + environment diagnosis
Appendix R8-A: pwntools-elf engine, evidence bundle loop, capability boundary
hello (self-compiled ELF)36cdabb6a0c66710b45a7c566ae112450c7e8a45c4bdfc6ea2301396f4207352
lab01 ⚠ record missing 2026-10-12 First legal target: self-compiled hello ELF
hello36cdabb6a0c66710b45a7c566ae112450c7e8a45c4bdfc6ea2301396f4207352
hello.cb55bfdf423b23e6d47142295b220b92924117ee1573798ca70f095bfa39b9f68
lab02 ⚠ record missing 2026-10-12 Stripped binaries & string evidence
hello-stripped7dda4d0500da95f2daeaf952b5efc3be4b51f6472f775a2b6be92d0c687f82c3
key9812f2acea38e384fff7e6b55523601d759d48ef7fd6dd62515e197a0c8d1db7
lab03 ⚠ record missing 2026-10-12 System OpenSSL libcrypto (read-only, Apache-2.0)
libcrypto.so.3.0.12c7f3d84f6de8162ba54aa261a69696c54f475c7178a1bb0d4a7caf8c53bffa76

4 labs · 6 hashed subjects · regenerated at build time from doc/labs/ — new labs appear here automatically.

REA 6.7.0 re-baseline (2026-10-19)

REA 6.6.0 (shipped to npm inside 6.7.0, 2026-10-18) made a breaking change to the evidence contract: every record now requires an explicit nullable relationship_coverage in its identity commitments, coverage_status was removed, and old evidence files are not migrated. We re-ran the full R8-A chain on rea-agents@6.7.0 the day after release — same hello binary, unchanged sha256.

same command, two contracts — lab@realearn (6.4.0 vs 6.7.0) verified: ran 2026-10-19
$ # 6.4.0 (2026-10-12)
evidence_id: ev_6e479c83fba06374c38ab8f9fa3876e561d28d3515aa68473598e9f94dcb556c
$ # 6.7.0 (2026-10-19), same hello, sha256 36cdabb6…4207352 unchanged
evidence_id: ev_79a48ab6902dcd75628861e9be462c7a76110a80c2bac06894483a896ad9670b
normalized_result: 31 sections, entry_point 0x400320  (identical)
$ rea evidence-export hello-bundle-6.4.0.json out.json   # old bundle on 6.7.0
code: evidence_integrity_mismatch
message: "…bundle schema at records.0.relationship_coverage: Invalid input: expected object, received undefined…"
$ rea evidence-export hello-bundle-670.json hello-canonical-670.json
path: hello-canonical-670.json / bytes: 39142 / records: 1  ✓ validation passed

The finding itself is stable across versions (31 sections, entry 0x400320) — what changed is the proof format: the content-addressed evidence_id is recomputed because contract fields now feed the hash, and every record carries an explicit relationship_coverage (here null). Old bundles fail closed instead of being silently patched. Full data: labs/lab07 in the evidence repo.

LabDateSubject / tutorialSHA-256
lab07 2026-10-19
6.7.0 evidence-contract re-baseline: R8-A chain re-run + 6.4.0 bundle rejection sample
rea-agents@6.7.0 · isolation env lab-env-670
hello (same ELF as lab00/01)36cdabb6a0c66710b45a7c566ae112450c7e8a45c4bdfc6ea2301396f4207352
hello-bundle-670.json15c37ab5eb4909075d617825ba76a82a4b7ca7d5fd0fbe25f1e54de6640217f0

Labs lab00–lab03 above are historical records under the pre-6.6.0 evidence contract (rea-agents 6.4.0, run 2026-10-12): their evidence_ids and bundles cannot be re-exported on ≥6.6.0 and are kept unchanged as a cross-version comparison.