File size: 355 Bytes
a9a0235 | 1 2 3 4 5 6 7 8 9 10 11 12 | -- 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
|