export declare const CORE_TYPE_NAMES: readonly ["String", "Boolean", "Number", "List", "Record", "Function", "Null", "Undefined"];
export type CoreTypeName = (typeof CORE_TYPE_NAMES)[number];
export type CoreTypeKind = 'primitive' | 'collection' | 'callable' | 'record' | 'nullish';
export type CoreOperationKind = 'method' | 'property' | 'operator' | 'constructor' | 'coercion';
export type CoreLowerings = {
    /**
     * Target lowerings are semantic helper calls, not raw host snippets.
     * Each helper must enforce the same strict argument and return contract as
     * evaluateCoreContractOperation before using host operations internally.
     */
    readonly kern?: string;
    readonly ts?: string;
    readonly python?: string;
};
export declare const CORE_FIXTURE_UNDEFINED: {
    readonly __kernFixture: "Undefined";
};
export declare const CORE_FIXTURE_FUNCTION: {
    readonly __kernFixture: "Function";
};
export declare function isCoreFixtureUndefined(value: unknown): value is typeof CORE_FIXTURE_UNDEFINED;
export declare function isCoreFixtureFunction(value: unknown): value is typeof CORE_FIXTURE_FUNCTION;
export type CoreFixtureValue = string | number | boolean | null | typeof CORE_FIXTURE_UNDEFINED | typeof CORE_FIXTURE_FUNCTION | readonly CoreFixtureValue[] | {
    readonly [key: string]: CoreFixtureValue;
};
export type CoreFixtureError = {
    readonly code: 'strict-type' | 'division-by-zero';
    readonly message: string;
};
export type CoreFixture = {
    readonly args: readonly CoreFixtureValue[];
    readonly returns: CoreFixtureValue;
} | {
    readonly args: readonly CoreFixtureValue[];
    readonly throws: CoreFixtureError;
};
export type CoreOperationReturns = CoreTypeName | readonly CoreTypeName[];
export type CoreOperation = {
    readonly id: string;
    readonly kind: CoreOperationKind;
    readonly args: readonly CoreTypeName[];
    readonly returns: CoreOperationReturns;
    readonly lowers?: CoreLowerings;
    readonly fixtures: readonly CoreFixture[];
    readonly review: {
        readonly summary: string;
        readonly graph: readonly string[];
    };
};
export type CoreTypeContract = {
    readonly name: CoreTypeName;
    readonly kind: CoreTypeKind;
    readonly strict: true;
    readonly operations: readonly CoreOperation[];
};
export type CoreTypeContractRegistry = {
    readonly schemaVersion: 1;
    readonly types: {
        readonly [Name in CoreTypeName]: CoreTypeContract & {
            readonly name: Name;
        };
    };
};
export type CoreGraphEdge = {
    readonly from: string;
    readonly relation: string;
    readonly to: string;
    readonly operation?: string;
    readonly index?: number;
};
export declare function contractToGraphEdges(contract: CoreTypeContract): CoreGraphEdge[];