A document format for recording cases of institution-grade production by people without credentials, supplied — on the model of Nygard's ADRs — as a spec plus template plus worked example, and deliberately carrying no central registry, no instance aggregation, no membership concept, and no self-designation requirement. Its core rule is the claim-anchor chain: every capability claim terminates in an anchor a third party can verify without the writer's cooperation (a resolving DOI, a live URL, a trace on the recipient's side), and a claim whose anchor no longer resolves expires and must be deleted — the proof is structurally falsifiable.
Coined by Tatsuya Shimomoto (shimo4228) within the Existence Proof pre-line; the name was fixed by the author on 2026-06-05 after a recorded collision check.
A document format — spec, template, and worked example, modeled on Nygard's ADRs — for recording institution-grade production by people without credentials, with no central registry or membership concept, where every claim must terminate in a third-party-verifiable anchor (the claim-anchor chain).
Tatsuya Shimomoto (shimo4228), in the existence-proof repository (Japanese canonical); the name was fixed on 2026-06-05 with a recorded collision check. The abbreviation EPF is used only from the second mention onward within a document.
The existence-proof repository (https://github.com/shimo4228/existence-proof), archived under concept DOI 10.5281/zenodo.20558800.
credential なき者による制度級産出の事例を記録する document format。Nygard の ADR をモデルに spec + template + worked example で供給され、中央 registry・instance 集約・参加概念・自称要求を持たない。核規則は主張→アンカー連鎖: すべての能力主張は、第三者が書き手の協力なしに検証できるアンカー (解決する DOI / live URL / 納品先側の痕跡) で終端し、アンカーが解決しなくなった主張は失効して削除義務を負う — 証明は構造的に falsifiable である。