Source identification
Local verification ledger
| Exact interface | Verification scope |
|---|---|
| File identity | ZIP and main PDF SHA-256 recorded |
| Definition and lemma transitions | Not independently audited for all statements |
| Physics interface | Physical standard-model translation is not inferred from a mathematical model alone |
| Simulation/experiment | Source files do not certify laboratory or instrument performance |
| Peer-reviewed publication | Not assumed; DOI and publisher not verified |
Verified PDF existence does not imply the complete mathematical theorem or its physical realizability is closed.
Citation
@unpublished{Han2026ulvfetr20imagesplus100referencescumulative20261013,
author = {Han Jae Jun},
title = {Four-Tool Subthermionic Low-Voltage Transistor Design},
year = {2026},
note = {Research source ZIP: ULV_FET_R20_IMAGES_PLUS_100_REFERENCES_CUMULATIVE_20261013.zip; independent theorem proof audit not certified},
url = {https://han-jae-jun-research.vercel.app/research/ulv-fet-r20-images-plus-100-references-cumulative-20261013.html}
}