{
 "dataset": "deletion-semantics-cross-implementation-test",
 "version": "1.2",
 "date": "2026-09-05",
 "creator": "Sharks, Lee",
 "license": "CC-BY-4.0",
 "description": "Reproducibility package for a cross-implementation test of deletion semantics: a remember/0.2 producer bundle, an independently built assertion-consistency checker, and a 111-case conformance corpus built before either. Establishes that a recorded removal and a never-landed write are observationally identical at the consumer boundary, and that exposing the absence assertion on a machine-readable discovery surface is necessary and sufficient to separate them. v1.1 (2026-09-03) adds run 08: the producer's own repair, shipped at 55e6493, read live with no translation layer \u2014 separability holds, the absences map is necessary, the reconciliation key distinguishes empty from unexamined; one new finding, the two maps key the same identity in two forms. v1.2 (2026-09-05) adds run 09: the key-form repair at 3806111 read live \u2014 one identifier form, every value carries it, exclusivity holds over stated ids with no normalisation; the producer's own 2026-09-01 audit is recorded as having normalised silently.",
 "context": "knowledge-catalog#207; fulfils the cross-test offered there",
 "files": 45,
 "sha256sums": "SHA256SUMS",
 "sources": "sources/source-lock.json",
 "findings": "reports/FINDINGS.md",
 "reproduce": "commands/reproduce.sh"
}