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
| Lab | Date | Subject / tutorial | SHA-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 | hello 36cdabb6a0c66710b45a7c566ae112450c7e8a45c4bdfc6ea2301396f4207352hello.c b55bfdf423b23e6d47142295b220b92924117ee1573798ca70f095bfa39b9f68 |
| lab02 ⚠ record missing | 2026-10-12 | Stripped binaries & string evidence | hello-stripped 7dda4d0500da95f2daeaf952b5efc3be4b51f6472f775a2b6be92d0c687f82c3key 9812f2acea38e384fff7e6b55523601d759d48ef7fd6dd62515e197a0c8d1db7 |
| lab03 ⚠ record missing | 2026-10-12 | System OpenSSL libcrypto (read-only, Apache-2.0) | libcrypto.so.3.0.12 c7f3d84f6de8162ba54aa261a69696c54f475c7178a1bb0d4a7caf8c53bffa76 |
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.
| Lab | Date | Subject / tutorial | SHA-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) 36cdabb6a0c66710b45a7c566ae112450c7e8a45c4bdfc6ea2301396f4207352hello-bundle-670.json 15c37ab5eb4909075d617825ba76a82a4b7ca7d5fd0fbe25f1e54de6640217f0 |
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.