๐Ÿ‘โ€๐Ÿ—จ๐Ÿ‚๐ŸŒช๏ธโ™ ๏ธโ†˜๏ธโ—€๏ธ AXN:059A.EMPIRICALdeposit #1417alexanarch.org

Deletion Semantics Conformance Fixture

A known-bad identifier corpus for testing deletion, tombstone, presence, and successor semantics.
Version 2.1 ยท 2026-07-28 ยท Dataset CC0 1.0 ยท Scripts MIT ยท Offered to knowledge-catalog #207

111 cases across 17 classes, drawn from a real deletion event (2026-06-19) and its aftermath. Every case carries subject-explicit ratified axes โ€” validity / presence (sparse: removed | never_landed | no marker) / edges โ€” an axis_subject naming what each axis value is about, a reason object where not_disclosed and unknown are first-class, and machine-readable expected blocks so an implementation can pass or fail. Validity is never derived from identifier survival.

Verification at build (2026-07-28, 109 network-addressable identifiers)

recorded validitynobservedagreement
verified_tombstone62410 ร— 62100%
verified_registered18200 ร— 18100%
verified_erased_registration12404 ร— 7, 410 ร— 5split โ€” the finding, preserved
fragment_candidate3404 ร— 3100%
registry_resolution_divergence8DataCite GET state: findable (UTC-stamped) vs DOI 4108/8 diverged
Conformance testing is offline by default against the committed cases.json: run python3 verify_offline.py (no network). Live re-probing is optional (reprobe_live.py), emits dated observation reports, and never mutates expected results. The fixture is frozen by manifest.json (SHA-256 per file + source commit).

Files

cases.jsonโ€” the fixture: 111 cases, 17 classes, probed at build README.mdโ€” the numbers, the axes, the drift ledger, provenance for every figure deletion-fixture.schema.jsonโ€” JSON Schema cases-v1.0.jsonโ€” archived v1.0 base (47 cases), for the drift ledger verify_offline.pyโ€” default verifier, no network reprobe_live.pyโ€” optional live probe, dated observation reports build_v2.pyโ€” deterministic builder from the archived base manifest.jsonโ€” frozen metadata: hashes, source commit, counts LICENSE-DATAโ€” CC0 1.0 (dataset) LICENSE-CODEโ€” MIT (scripts)

Licensing

The dataset is CC0 1.0: the license covers selection, annotation, arrangement, and original text; it does not โ€” and cannot โ€” relicense third-party identifiers or their metadata, which are public-resolution artifacts recorded here as observed. The fixture records observed resolution state, not a judgment on any host's policy.

EA-OKF-FIXTURE-01 v2.1 ยท Sharks, Lee ยท deposit #1417 ยท AXN:059A.EMPIRICAL.๐Ÿ‘โ€๐Ÿ—จ๐Ÿ‚๐ŸŒช๏ธโ™ ๏ธโ†˜๏ธโ—€๏ธ