export declare const BOOLEAN_CONTRACT: {
    readonly name: "Boolean";
    readonly kind: "primitive";
    readonly strict: true;
    readonly operations: readonly [{
        readonly id: "Boolean.not";
        readonly kind: "method";
        readonly args: readonly ["Boolean"];
        readonly returns: "Boolean";
        readonly lowers: {
            readonly kern: "Boolean.not($0)";
            readonly ts: "__kernBooleanNot($0)";
            readonly python: "__kern_boolean_not($0)";
        };
        readonly fixtures: readonly [{
            readonly args: readonly [true];
            readonly returns: false;
        }, {
            readonly args: readonly [false];
            readonly returns: true;
        }];
        readonly review: {
            readonly summary: "Strict boolean negation.";
            readonly graph: readonly ["Boolean", "portable"];
        };
    }, {
        readonly id: "Boolean.and";
        readonly kind: "method";
        readonly args: readonly ["Boolean", "Boolean"];
        readonly returns: "Boolean";
        readonly lowers: {
            readonly kern: "Boolean.and($0, $1)";
            readonly ts: "__kernBooleanAnd($0, $1)";
            readonly python: "__kern_boolean_and($0, $1)";
        };
        readonly fixtures: readonly [{
            readonly args: readonly [true, true];
            readonly returns: true;
        }, {
            readonly args: readonly [true, false];
            readonly returns: false;
        }, {
            readonly args: readonly [false, true];
            readonly returns: false;
        }, {
            readonly args: readonly [true, "true"];
            readonly throws: {
                readonly code: "strict-type";
                readonly message: "Boolean.and expects Boolean, Boolean.";
            };
        }, {
            readonly args: readonly [true, 1];
            readonly throws: {
                readonly code: "strict-type";
                readonly message: "Boolean.and expects Boolean, Boolean.";
            };
        }];
        readonly review: {
            readonly summary: "Strict boolean conjunction; both operands must be Boolean.";
            readonly graph: readonly ["Boolean", "strict", "portable"];
        };
    }, {
        readonly id: "Boolean.or";
        readonly kind: "method";
        readonly args: readonly ["Boolean", "Boolean"];
        readonly returns: "Boolean";
        readonly lowers: {
            readonly kern: "Boolean.or($0, $1)";
            readonly ts: "__kernBooleanOr($0, $1)";
            readonly python: "__kern_boolean_or($0, $1)";
        };
        readonly fixtures: readonly [{
            readonly args: readonly [false, false];
            readonly returns: false;
        }, {
            readonly args: readonly [true, false];
            readonly returns: true;
        }, {
            readonly args: readonly [false, true];
            readonly returns: true;
        }, {
            readonly args: readonly [false, "false"];
            readonly throws: {
                readonly code: "strict-type";
                readonly message: "Boolean.or expects Boolean, Boolean.";
            };
        }];
        readonly review: {
            readonly summary: "Strict boolean disjunction; both operands must be Boolean.";
            readonly graph: readonly ["Boolean", "strict", "portable"];
        };
    }, {
        readonly id: "Boolean.equals";
        readonly kind: "method";
        readonly args: readonly ["Boolean", "Boolean"];
        readonly returns: "Boolean";
        readonly lowers: {
            readonly kern: "Boolean.equals($0, $1)";
            readonly ts: "__kernBooleanEquals($0, $1)";
            readonly python: "__kern_boolean_equals($0, $1)";
        };
        readonly fixtures: readonly [{
            readonly args: readonly [true, true];
            readonly returns: true;
        }, {
            readonly args: readonly [true, false];
            readonly returns: false;
        }, {
            readonly args: readonly [true, "true"];
            readonly throws: {
                readonly code: "strict-type";
                readonly message: "Boolean.equals expects Boolean, Boolean.";
            };
        }, {
            readonly args: readonly [true, 1];
            readonly throws: {
                readonly code: "strict-type";
                readonly message: "Boolean.equals expects Boolean, Boolean.";
            };
        }];
        readonly review: {
            readonly summary: "Strict boolean equality; cross-type equality is a type error in schema v1.";
            readonly graph: readonly ["Boolean", "strict", "portable"];
        };
    }, {
        readonly id: "Boolean.toString";
        readonly kind: "coercion";
        readonly args: readonly ["Boolean"];
        readonly returns: "String";
        readonly lowers: {
            readonly kern: "Boolean.toString($0)";
            readonly ts: "__kernBooleanToString($0)";
            readonly python: "__kern_boolean_to_string($0)";
        };
        readonly fixtures: readonly [{
            readonly args: readonly [true];
            readonly returns: "true";
        }, {
            readonly args: readonly [false];
            readonly returns: "false";
        }];
        readonly review: {
            readonly summary: "Portable Boolean to String coercion using KERN lowercase boolean spelling.";
            readonly graph: readonly ["Boolean", "String", "portable"];
        };
    }];
};