@lucern/contracts 1.0.56 → 1.0.58

package/dist/manifests/operation-manifest.d.ts

@@ -0,0 +1,650 @@
+import { z } from "zod";
+export declare const OPERATION_VERBS: readonly ["get", "list", "search", "traverse", "compile", "diff", "replay", "create", "refine", "append", "fork", "transition", "evaluate", "graduate", "declare", "bind", "grant"];
+export type OperationVerb = (typeof OPERATION_VERBS)[number];
+export declare const OPERATION_KINDS: readonly ["node", "edge", "container", "slice", "record", "policy", "unresolved"];
+export type OperationKind = (typeof OPERATION_KINDS)[number];
+export declare const OPERATION_AXES: readonly ["scope", "horizon", "lens", "policy", "strategy", "carrier"];
+export type OperationAxis = (typeof OPERATION_AXES)[number];
+export declare const PROJECTION_CLASSES: readonly ["canonical_public", "internal_backing", "extension", "compat", "client_local"];
+export type ProjectionClass = (typeof PROJECTION_CLASSES)[number];
+export declare const SURFACE_EXPOSURE: readonly ["public", "internal", "absent"];
+export type SurfaceExposure = (typeof SURFACE_EXPOSURE)[number];
+export declare const OPERATION_SOURCES: readonly ["registry", "kernelApi", "mcp_extension", "cli_bespoke"];
+export type OperationSource = (typeof OPERATION_SOURCES)[number];
+export declare const operationRowSchema: z.ZodObject<{
+    /** Canonical operation identity. Snake_case for graph operations; dotted
+     *  `domain.method` for kernelApi host bindings; `domain subcommand` for CLI
+     *  bespoke handlers. Unique across the manifest. */
+    name: z.ZodString;
+    /** SC.2 verb. */
+    verb: z.ZodEnum<["get", "list", "search", "traverse", "compile", "diff", "replay", "create", "refine", "append", "fork", "transition", "evaluate", "graduate", "declare", "bind", "grant"]>;
+    /** SC.2 target: the kind, and an optional type that narrows it. */
+    target: z.ZodObject<{
+        kind: z.ZodEnum<["node", "edge", "container", "slice", "record", "policy", "unresolved"]>;
+        type: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "slice" | "record" | "container" | "edge" | "node" | "unresolved" | "policy";
+        type?: string | undefined;
+    }, {
+        kind: "slice" | "record" | "container" | "edge" | "node" | "unresolved" | "policy";
+        type?: string | undefined;
+    }>;
+    /** SC.2 axes this operation accepts. */
+    axes: z.ZodReadonly<z.ZodArray<z.ZodEnum<["scope", "horizon", "lens", "policy", "strategy", "carrier"]>, "many">>;
+    /** Projection class (design doc): where in the surface taxonomy this row
+     *  lives. `internal_backing` is a class, not a second language. */
+    projection: z.ZodObject<{
+        class: z.ZodEnum<["canonical_public", "internal_backing", "extension", "compat", "client_local"]>;
+        /** Per-surface exposure. `kernelApi` is present so the shadow surface is
+         *  expressible; the four public surfaces mirror the registry map. */
+        surfaces: z.ZodObject<{
+            sdk: z.ZodEnum<["public", "internal", "absent"]>;
+            rest: z.ZodEnum<["public", "internal", "absent"]>;
+            mcp: z.ZodEnum<["public", "internal", "absent"]>;
+            cli: z.ZodEnum<["public", "internal", "absent"]>;
+            host: z.ZodEnum<["public", "internal", "absent"]>;
+            kernelApi: z.ZodEnum<["public", "internal", "absent"]>;
+        }, "strip", z.ZodTypeAny, {
+            host: "internal" | "public" | "absent";
+            rest: "internal" | "public" | "absent";
+            mcp: "internal" | "public" | "absent";
+            sdk: "internal" | "public" | "absent";
+            cli: "internal" | "public" | "absent";
+            kernelApi: "internal" | "public" | "absent";
+        }, {
+            host: "internal" | "public" | "absent";
+            rest: "internal" | "public" | "absent";
+            mcp: "internal" | "public" | "absent";
+            sdk: "internal" | "public" | "absent";
+            cli: "internal" | "public" | "absent";
+            kernelApi: "internal" | "public" | "absent";
+        }>;
+        /** Compat rows carry an alias + exit-criteria doc pointer. */
+        compat: z.ZodOptional<z.ZodObject<{
+            aliasOf: z.ZodString;
+            exitCriteria: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            aliasOf: string;
+            exitCriteria: string;
+        }, {
+            aliasOf: string;
+            exitCriteria: string;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        class: "compat" | "canonical_public" | "internal_backing" | "extension" | "client_local";
+        surfaces: {
+            host: "internal" | "public" | "absent";
+            rest: "internal" | "public" | "absent";
+            mcp: "internal" | "public" | "absent";
+            sdk: "internal" | "public" | "absent";
+            cli: "internal" | "public" | "absent";
+            kernelApi: "internal" | "public" | "absent";
+        };
+        compat?: {
+            aliasOf: string;
+            exitCriteria: string;
+        } | undefined;
+    }, {
+        class: "compat" | "canonical_public" | "internal_backing" | "extension" | "client_local";
+        surfaces: {
+            host: "internal" | "public" | "absent";
+            rest: "internal" | "public" | "absent";
+            mcp: "internal" | "public" | "absent";
+            sdk: "internal" | "public" | "absent";
+            cli: "internal" | "public" | "absent";
+            kernelApi: "internal" | "public" | "absent";
+        };
+        compat?: {
+            aliasOf: string;
+            exitCriteria: string;
+        } | undefined;
+    }>;
+    /** Where this row was expressed from (census population). */
+    source: z.ZodEnum<["registry", "kernelApi", "mcp_extension", "cli_bespoke"]>;
+    /** Concrete source binding: the code location this row projects. For registry
+     *  rows, the registry entry name; for kernelApi rows, the `api.*` ref path and
+     *  its `components.lucern.*` component path; for extension/bespoke rows, the
+     *  wiring symbol / command path. */
+    binding: z.ZodObject<{
+        /** The primary source identifier (registry name, api ref path, tool name,
+         *  or CLI command path). */
+        ref: z.ZodString;
+        /** kernelApi component path (`components.lucern.*`) when source=kernelApi. */
+        componentPath: z.ZodOptional<z.ZodString>;
+        /** For extension/bespoke rows that back a registry op, the registry op name
+         *  they are a projection of (so census facts about registry ops are
+         *  expressed on the row, not double-counted as phantom operations). */
+        backsRegistryOp: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        ref: string;
+        componentPath?: string | undefined;
+        backsRegistryOp?: string | undefined;
+    }, {
+        ref: string;
+        componentPath?: string | undefined;
+        backsRegistryOp?: string | undefined;
+    }>;
+    /** Lifecycle status. `active` for served operations; `compat` for legacy
+     *  aliases awaiting deletion criteria. */
+    status: z.ZodEnum<["active", "compat"]>;
+    /** M2-derivation pointers, named-but-null in M1 (see file header). */
+    derivation: z.ZodObject<{
+        /** Arg/returns schema derived in M2. Null in M1. */
+        schema: z.ZodNull;
+        /** Legality-matrix row derived in M2. Null in M1. */
+        legality: z.ZodNull;
+        /** Receipt shape derived in M2. Null in M1. */
+        receipt: z.ZodNull;
+    }, "strip", z.ZodTypeAny, {
+        schema: null;
+        receipt: null;
+        legality: null;
+    }, {
+        schema: null;
+        receipt: null;
+        legality: null;
+    }>;
+    /** Human-readable provenance from the census/registry. */
+    rationale: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    name: string;
+    source: "registry" | "kernelApi" | "mcp_extension" | "cli_bespoke";
+    target: {
+        kind: "slice" | "record" | "container" | "edge" | "node" | "unresolved" | "policy";
+        type?: string | undefined;
+    };
+    status: "compat" | "active";
+    projection: {
+        class: "compat" | "canonical_public" | "internal_backing" | "extension" | "client_local";
+        surfaces: {
+            host: "internal" | "public" | "absent";
+            rest: "internal" | "public" | "absent";
+            mcp: "internal" | "public" | "absent";
+            sdk: "internal" | "public" | "absent";
+            cli: "internal" | "public" | "absent";
+            kernelApi: "internal" | "public" | "absent";
+        };
+        compat?: {
+            aliasOf: string;
+            exitCriteria: string;
+        } | undefined;
+    };
+    rationale: string;
+    derivation: {
+        schema: null;
+        receipt: null;
+        legality: null;
+    };
+    axes: readonly ("scope" | "policy" | "lens" | "strategy" | "horizon" | "carrier")[];
+    verb: "search" | "traverse" | "transition" | "append" | "refine" | "create" | "replay" | "get" | "compile" | "list" | "grant" | "fork" | "diff" | "bind" | "evaluate" | "graduate" | "declare";
+    binding: {
+        ref: string;
+        componentPath?: string | undefined;
+        backsRegistryOp?: string | undefined;
+    };
+}, {
+    name: string;
+    source: "registry" | "kernelApi" | "mcp_extension" | "cli_bespoke";
+    target: {
+        kind: "slice" | "record" | "container" | "edge" | "node" | "unresolved" | "policy";
+        type?: string | undefined;
+    };
+    status: "compat" | "active";
+    projection: {
+        class: "compat" | "canonical_public" | "internal_backing" | "extension" | "client_local";
+        surfaces: {
+            host: "internal" | "public" | "absent";
+            rest: "internal" | "public" | "absent";
+            mcp: "internal" | "public" | "absent";
+            sdk: "internal" | "public" | "absent";
+            cli: "internal" | "public" | "absent";
+            kernelApi: "internal" | "public" | "absent";
+        };
+        compat?: {
+            aliasOf: string;
+            exitCriteria: string;
+        } | undefined;
+    };
+    rationale: string;
+    derivation: {
+        schema: null;
+        receipt: null;
+        legality: null;
+    };
+    axes: readonly ("scope" | "policy" | "lens" | "strategy" | "horizon" | "carrier")[];
+    verb: "search" | "traverse" | "transition" | "append" | "refine" | "create" | "replay" | "get" | "compile" | "list" | "grant" | "fork" | "diff" | "bind" | "evaluate" | "graduate" | "declare";
+    binding: {
+        ref: string;
+        componentPath?: string | undefined;
+        backsRegistryOp?: string | undefined;
+    };
+}>;
+export type OperationRow = z.infer<typeof operationRowSchema>;
+export declare const operationManifestSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"operation_manifest.m1.v1">;
+    generatedAt: z.ZodString;
+    /** Census reconciliation block: the counts this manifest expresses, keyed by
+     *  the SC.1 disposition dimensions, so the derivability test can assert them
+     *  against the disposition doc and surface any point-in-time delta. */
+    census: z.ZodObject<{
+        total: z.ZodNumber;
+        bySource: z.ZodObject<{
+            registry: z.ZodNumber;
+            kernelApi: z.ZodNumber;
+            mcp_extension: z.ZodNumber;
+            cli_bespoke: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            registry: number;
+            kernelApi: number;
+            mcp_extension: number;
+            cli_bespoke: number;
+        }, {
+            registry: number;
+            kernelApi: number;
+            mcp_extension: number;
+            cli_bespoke: number;
+        }>;
+        byProjectionClass: z.ZodObject<{
+            canonical_public: z.ZodNumber;
+            internal_backing: z.ZodNumber;
+            extension: z.ZodNumber;
+            compat: z.ZodNumber;
+            client_local: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            compat: number;
+            canonical_public: number;
+            internal_backing: number;
+            extension: number;
+            client_local: number;
+        }, {
+            compat: number;
+            canonical_public: number;
+            internal_backing: number;
+            extension: number;
+            client_local: number;
+        }>;
+        registryBySurfaceClass: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        total: number;
+        bySource: {
+            registry: number;
+            kernelApi: number;
+            mcp_extension: number;
+            cli_bespoke: number;
+        };
+        byProjectionClass: {
+            compat: number;
+            canonical_public: number;
+            internal_backing: number;
+            extension: number;
+            client_local: number;
+        };
+        registryBySurfaceClass: Record<string, number>;
+    }, {
+        total: number;
+        bySource: {
+            registry: number;
+            kernelApi: number;
+            mcp_extension: number;
+            cli_bespoke: number;
+        };
+        byProjectionClass: {
+            compat: number;
+            canonical_public: number;
+            internal_backing: number;
+            extension: number;
+            client_local: number;
+        };
+        registryBySurfaceClass: Record<string, number>;
+    }>;
+    operations: z.ZodArray<z.ZodObject<{
+        /** Canonical operation identity. Snake_case for graph operations; dotted
+         *  `domain.method` for kernelApi host bindings; `domain subcommand` for CLI
+         *  bespoke handlers. Unique across the manifest. */
+        name: z.ZodString;
+        /** SC.2 verb. */
+        verb: z.ZodEnum<["get", "list", "search", "traverse", "compile", "diff", "replay", "create", "refine", "append", "fork", "transition", "evaluate", "graduate", "declare", "bind", "grant"]>;
+        /** SC.2 target: the kind, and an optional type that narrows it. */
+        target: z.ZodObject<{
+            kind: z.ZodEnum<["node", "edge", "container", "slice", "record", "policy", "unresolved"]>;
+            type: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "slice" | "record" | "container" | "edge" | "node" | "unresolved" | "policy";
+            type?: string | undefined;
+        }, {
+            kind: "slice" | "record" | "container" | "edge" | "node" | "unresolved" | "policy";
+            type?: string | undefined;
+        }>;
+        /** SC.2 axes this operation accepts. */
+        axes: z.ZodReadonly<z.ZodArray<z.ZodEnum<["scope", "horizon", "lens", "policy", "strategy", "carrier"]>, "many">>;
+        /** Projection class (design doc): where in the surface taxonomy this row
+         *  lives. `internal_backing` is a class, not a second language. */
+        projection: z.ZodObject<{
+            class: z.ZodEnum<["canonical_public", "internal_backing", "extension", "compat", "client_local"]>;
+            /** Per-surface exposure. `kernelApi` is present so the shadow surface is
+             *  expressible; the four public surfaces mirror the registry map. */
+            surfaces: z.ZodObject<{
+                sdk: z.ZodEnum<["public", "internal", "absent"]>;
+                rest: z.ZodEnum<["public", "internal", "absent"]>;
+                mcp: z.ZodEnum<["public", "internal", "absent"]>;
+                cli: z.ZodEnum<["public", "internal", "absent"]>;
+                host: z.ZodEnum<["public", "internal", "absent"]>;
+                kernelApi: z.ZodEnum<["public", "internal", "absent"]>;
+            }, "strip", z.ZodTypeAny, {
+                host: "internal" | "public" | "absent";
+                rest: "internal" | "public" | "absent";
+                mcp: "internal" | "public" | "absent";
+                sdk: "internal" | "public" | "absent";
+                cli: "internal" | "public" | "absent";
+                kernelApi: "internal" | "public" | "absent";
+            }, {
+                host: "internal" | "public" | "absent";
+                rest: "internal" | "public" | "absent";
+                mcp: "internal" | "public" | "absent";
+                sdk: "internal" | "public" | "absent";
+                cli: "internal" | "public" | "absent";
+                kernelApi: "internal" | "public" | "absent";
+            }>;
+            /** Compat rows carry an alias + exit-criteria doc pointer. */
+            compat: z.ZodOptional<z.ZodObject<{
+                aliasOf: z.ZodString;
+                exitCriteria: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                aliasOf: string;
+                exitCriteria: string;
+            }, {
+                aliasOf: string;
+                exitCriteria: string;
+            }>>;
+        }, "strip", z.ZodTypeAny, {
+            class: "compat" | "canonical_public" | "internal_backing" | "extension" | "client_local";
+            surfaces: {
+                host: "internal" | "public" | "absent";
+                rest: "internal" | "public" | "absent";
+                mcp: "internal" | "public" | "absent";
+                sdk: "internal" | "public" | "absent";
+                cli: "internal" | "public" | "absent";
+                kernelApi: "internal" | "public" | "absent";
+            };
+            compat?: {
+                aliasOf: string;
+                exitCriteria: string;
+            } | undefined;
+        }, {
+            class: "compat" | "canonical_public" | "internal_backing" | "extension" | "client_local";
+            surfaces: {
+                host: "internal" | "public" | "absent";
+                rest: "internal" | "public" | "absent";
+                mcp: "internal" | "public" | "absent";
+                sdk: "internal" | "public" | "absent";
+                cli: "internal" | "public" | "absent";
+                kernelApi: "internal" | "public" | "absent";
+            };
+            compat?: {
+                aliasOf: string;
+                exitCriteria: string;
+            } | undefined;
+        }>;
+        /** Where this row was expressed from (census population). */
+        source: z.ZodEnum<["registry", "kernelApi", "mcp_extension", "cli_bespoke"]>;
+        /** Concrete source binding: the code location this row projects. For registry
+         *  rows, the registry entry name; for kernelApi rows, the `api.*` ref path and
+         *  its `components.lucern.*` component path; for extension/bespoke rows, the
+         *  wiring symbol / command path. */
+        binding: z.ZodObject<{
+            /** The primary source identifier (registry name, api ref path, tool name,
+             *  or CLI command path). */
+            ref: z.ZodString;
+            /** kernelApi component path (`components.lucern.*`) when source=kernelApi. */
+            componentPath: z.ZodOptional<z.ZodString>;
+            /** For extension/bespoke rows that back a registry op, the registry op name
+             *  they are a projection of (so census facts about registry ops are
+             *  expressed on the row, not double-counted as phantom operations). */
+            backsRegistryOp: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            ref: string;
+            componentPath?: string | undefined;
+            backsRegistryOp?: string | undefined;
+        }, {
+            ref: string;
+            componentPath?: string | undefined;
+            backsRegistryOp?: string | undefined;
+        }>;
+        /** Lifecycle status. `active` for served operations; `compat` for legacy
+         *  aliases awaiting deletion criteria. */
+        status: z.ZodEnum<["active", "compat"]>;
+        /** M2-derivation pointers, named-but-null in M1 (see file header). */
+        derivation: z.ZodObject<{
+            /** Arg/returns schema derived in M2. Null in M1. */
+            schema: z.ZodNull;
+            /** Legality-matrix row derived in M2. Null in M1. */
+            legality: z.ZodNull;
+            /** Receipt shape derived in M2. Null in M1. */
+            receipt: z.ZodNull;
+        }, "strip", z.ZodTypeAny, {
+            schema: null;
+            receipt: null;
+            legality: null;
+        }, {
+            schema: null;
+            receipt: null;
+            legality: null;
+        }>;
+        /** Human-readable provenance from the census/registry. */
+        rationale: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        name: string;
+        source: "registry" | "kernelApi" | "mcp_extension" | "cli_bespoke";
+        target: {
+            kind: "slice" | "record" | "container" | "edge" | "node" | "unresolved" | "policy";
+            type?: string | undefined;
+        };
+        status: "compat" | "active";
+        projection: {
+            class: "compat" | "canonical_public" | "internal_backing" | "extension" | "client_local";
+            surfaces: {
+                host: "internal" | "public" | "absent";
+                rest: "internal" | "public" | "absent";
+                mcp: "internal" | "public" | "absent";
+                sdk: "internal" | "public" | "absent";
+                cli: "internal" | "public" | "absent";
+                kernelApi: "internal" | "public" | "absent";
+            };
+            compat?: {
+                aliasOf: string;
+                exitCriteria: string;
+            } | undefined;
+        };
+        rationale: string;
+        derivation: {
+            schema: null;
+            receipt: null;
+            legality: null;
+        };
+        axes: readonly ("scope" | "policy" | "lens" | "strategy" | "horizon" | "carrier")[];
+        verb: "search" | "traverse" | "transition" | "append" | "refine" | "create" | "replay" | "get" | "compile" | "list" | "grant" | "fork" | "diff" | "bind" | "evaluate" | "graduate" | "declare";
+        binding: {
+            ref: string;
+            componentPath?: string | undefined;
+            backsRegistryOp?: string | undefined;
+        };
+    }, {
+        name: string;
+        source: "registry" | "kernelApi" | "mcp_extension" | "cli_bespoke";
+        target: {
+            kind: "slice" | "record" | "container" | "edge" | "node" | "unresolved" | "policy";
+            type?: string | undefined;
+        };
+        status: "compat" | "active";
+        projection: {
+            class: "compat" | "canonical_public" | "internal_backing" | "extension" | "client_local";
+            surfaces: {
+                host: "internal" | "public" | "absent";
+                rest: "internal" | "public" | "absent";
+                mcp: "internal" | "public" | "absent";
+                sdk: "internal" | "public" | "absent";
+                cli: "internal" | "public" | "absent";
+                kernelApi: "internal" | "public" | "absent";
+            };
+            compat?: {
+                aliasOf: string;
+                exitCriteria: string;
+            } | undefined;
+        };
+        rationale: string;
+        derivation: {
+            schema: null;
+            receipt: null;
+            legality: null;
+        };
+        axes: readonly ("scope" | "policy" | "lens" | "strategy" | "horizon" | "carrier")[];
+        verb: "search" | "traverse" | "transition" | "append" | "refine" | "create" | "replay" | "get" | "compile" | "list" | "grant" | "fork" | "diff" | "bind" | "evaluate" | "graduate" | "declare";
+        binding: {
+            ref: string;
+            componentPath?: string | undefined;
+            backsRegistryOp?: string | undefined;
+        };
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    schemaVersion: "operation_manifest.m1.v1";
+    generatedAt: string;
+    operations: {
+        name: string;
+        source: "registry" | "kernelApi" | "mcp_extension" | "cli_bespoke";
+        target: {
+            kind: "slice" | "record" | "container" | "edge" | "node" | "unresolved" | "policy";
+            type?: string | undefined;
+        };
+        status: "compat" | "active";
+        projection: {
+            class: "compat" | "canonical_public" | "internal_backing" | "extension" | "client_local";
+            surfaces: {
+                host: "internal" | "public" | "absent";
+                rest: "internal" | "public" | "absent";
+                mcp: "internal" | "public" | "absent";
+                sdk: "internal" | "public" | "absent";
+                cli: "internal" | "public" | "absent";
+                kernelApi: "internal" | "public" | "absent";
+            };
+            compat?: {
+                aliasOf: string;
+                exitCriteria: string;
+            } | undefined;
+        };
+        rationale: string;
+        derivation: {
+            schema: null;
+            receipt: null;
+            legality: null;
+        };
+        axes: readonly ("scope" | "policy" | "lens" | "strategy" | "horizon" | "carrier")[];
+        verb: "search" | "traverse" | "transition" | "append" | "refine" | "create" | "replay" | "get" | "compile" | "list" | "grant" | "fork" | "diff" | "bind" | "evaluate" | "graduate" | "declare";
+        binding: {
+            ref: string;
+            componentPath?: string | undefined;
+            backsRegistryOp?: string | undefined;
+        };
+    }[];
+    census: {
+        total: number;
+        bySource: {
+            registry: number;
+            kernelApi: number;
+            mcp_extension: number;
+            cli_bespoke: number;
+        };
+        byProjectionClass: {
+            compat: number;
+            canonical_public: number;
+            internal_backing: number;
+            extension: number;
+            client_local: number;
+        };
+        registryBySurfaceClass: Record<string, number>;
+    };
+}, {
+    schemaVersion: "operation_manifest.m1.v1";
+    generatedAt: string;
+    operations: {
+        name: string;
+        source: "registry" | "kernelApi" | "mcp_extension" | "cli_bespoke";
+        target: {
+            kind: "slice" | "record" | "container" | "edge" | "node" | "unresolved" | "policy";
+            type?: string | undefined;
+        };
+        status: "compat" | "active";
+        projection: {
+            class: "compat" | "canonical_public" | "internal_backing" | "extension" | "client_local";
+            surfaces: {
+                host: "internal" | "public" | "absent";
+                rest: "internal" | "public" | "absent";
+                mcp: "internal" | "public" | "absent";
+                sdk: "internal" | "public" | "absent";
+                cli: "internal" | "public" | "absent";
+                kernelApi: "internal" | "public" | "absent";
+            };
+            compat?: {
+                aliasOf: string;
+                exitCriteria: string;
+            } | undefined;
+        };
+        rationale: string;
+        derivation: {
+            schema: null;
+            receipt: null;
+            legality: null;
+        };
+        axes: readonly ("scope" | "policy" | "lens" | "strategy" | "horizon" | "carrier")[];
+        verb: "search" | "traverse" | "transition" | "append" | "refine" | "create" | "replay" | "get" | "compile" | "list" | "grant" | "fork" | "diff" | "bind" | "evaluate" | "graduate" | "declare";
+        binding: {
+            ref: string;
+            componentPath?: string | undefined;
+            backsRegistryOp?: string | undefined;
+        };
+    }[];
+    census: {
+        total: number;
+        bySource: {
+            registry: number;
+            kernelApi: number;
+            mcp_extension: number;
+            cli_bespoke: number;
+        };
+        byProjectionClass: {
+            compat: number;
+            canonical_public: number;
+            internal_backing: number;
+            extension: number;
+            client_local: number;
+        };
+        registryBySurfaceClass: Record<string, number>;
+    };
+}>;
+export type OperationManifest = z.infer<typeof operationManifestSchema>;
+export declare const SC1_CENSUS_TARGETS: {
+    /** 190 function-registry contracts (surface-manifest.json). Exact. */
+    readonly registryContracts: 190;
+    /** Registry class split (161 canonical public + 25 internal + 4 compat). */
+    readonly registryCanonicalPublic: 161;
+    readonly registryPlatformInternal: 25;
+    readonly registryLegacyCompat: 4;
+    /** kernelApi allowlist refs. Census recorded 124 post-#1651; the live
+     *  allowlist is the authority and the check tolerates a documented delta. */
+    readonly kernelApiRefsCensus: 124;
+    /** MCP extension wirings the server hand-registers beyond the generated
+     *  build (census: 159 MCP tools − 144 generated = 15). Every extension tool
+     *  is *also* a registry contract, so these are expressed as projection facts
+     *  (mcp_extension source rows that `backsRegistryOp`), not new operations. */
+    readonly mcpExtensions: 15;
+    /** CLI bespoke handlers (census: 19). Gateway-hitting bespoke verbs +
+     *  client-local tooling. Expressed as cli_bespoke rows; the gateway-hitting
+     *  subset backs a registry op or is a promotion candidate. */
+    readonly cliBespoke: 19;
+};
+export declare const MCP_EXTENSION_WIRINGS: readonly ["generate_session_handoff", "begin_build_session", "register_session", "heartbeat_session", "end_session", "list_active_sessions", "send_agent_message", "broadcast_message", "get_agent_inbox", "claim_files", "create_epistemic_contract", "evaluate_contract", "get_contract_status", "evaluate_engineering_contract", "evaluate_research_contract"];
+export declare const CLI_BESPOKE_HANDLERS: readonly {
+    command: string;
+    gatewayHitting: boolean;
+    backsRegistryOp: string | null;
+    promotionCandidate: boolean;
+}[];