// Copyright 2024-2026 Tymofii Pidlisnyi. Apache-2.0 license. See LICENSE.
// ══════════════════════════════════════════════════════════════════
// Dispute — Defeasible overlay on transactional state
// ══════════════════════════════════════════════════════════════════
// A dispute is NOT a constraint facet. It is an epistemological defeater
// (Defeasible Logic, Nute 1994) that suppresses otherwise valid authority.
// The product lattice stays monotone. Disputes sit in an overlay layer.
// When dismissed, the defeater is REMOVED — authority was never "lost."
//
// Filing a dispute costs a slashing bond (options pricing theory):
// a free dispute is a free option. Dismissed = bond slashed to respondent.
// ══════════════════════════════════════════════════════════════════
export {};
//# sourceMappingURL=dispute.js.map