| -- SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001 | |
| -- Copyright (c) 2026 Ahmad Ali Parr | |
| -- Negative test: this module must NOT type-check. | |
| -- LicenseProof's constructor is private to CloneGate, so outside code | |
| -- cannot forge a proof of a valid license. | |
| module Forge | |
| import CloneGate | |
| forged : LicenseProof Valid | |
| forged = ValidProof | |