// Copyright 2024-2026 Tymofii Pidlisnyi. Apache-2.0 license. See LICENSE.
// ══════════════════════════════════════════════════════════════════════
// Feasibility IR. The intermediate representation a policy plus delegation
// envelope compiles into.
// ══════════════════════════════════════════════════════════════════════
//
// The IR is a clean, deterministic description of the feasibility
// obligation: the set of declared variables and the constraints that an
// action must satisfy to be authorized by a delegation. It is a flat,
// solver-agnostic structure. Nothing in this module solves it. The IR is
// the obligation; deciding feasibility is a separate concern that is out of
// scope this round (no solver dependency is introduced).
//
// Determinism: every list this module emits is sorted by a total order, so a
// fixed (policy, delegation) input always produces byte-identical IR.
// ══════════════════════════════════════════════════════════════════════
export {};
//# sourceMappingURL=ir.js.map