Supplementary Research Artifacts for "When Reliability Changes the Attack Surface: Decision-Oracle Geometry of Error-Corrected Match-on-Card Biometrics"

This record provides supplementary research artifacts supporting the study "When Reliability Changes the Attack Surface: Decision-Oracle Geometry of Error-Corrected Match-on-Card Biometrics." The archive contains derived experimental result artifacts and Tamarin proof outputs supporting the decoder-conformance, coding-regime, decision-oracle extraction, helper-composition, cold-start sensitivity, and formal capture-to-probe admission analyses reported in the manuscript. The experimental artifacts include operating-point results, decoder-conformance measurements, coding-regime transition data, primary oracle-extraction results, confidence intervals, helper-parity analyses, oracle/helper composition results, and cold-start sensitivity results. The formal-verification artifacts contain proof outputs for the authenticated-channel-only negative control, generic-signer negative control, restricted capture-admission model, and capture-key-compromise model, together with run-status, tool-version, and manifest information. The MORPH source images are subject to licensing restrictions and are not redistributed. This record contains no MORPH source images or subject-level source imagery. The archive is intended to support inspection and reproducibility of the empirical and formal results reported in the associated manuscript.