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{Han2026hvdcgtsmsinglearticler28final20261013,
author = {Han Jae Jun},
title = {Fault Containment and Electrothermal Certificates for a Bipolar HVDC Interrupter},
year = {2026},
note = {Research source ZIP: HVDC_GTSM_SINGLE_ARTICLE_R28_FINAL_20261013.zip; independent theorem proof audit not certified},
url = {https://han-jae-jun-research.vercel.app/research/hvdc-gtsm-single-article-r28-final-20261013.html}
}