@inf-monkeys-tech/monkeys 1.0.0

package/lib/contracts/semantic.d.ts

@@ -0,0 +1,477 @@
+import { z } from 'zod';
+export declare const ConceptRelationshipSchema: z.ZodObject<{
+    kind: z.ZodString;
+    targetConceptId: z.ZodString;
+    cardinality: z.ZodEnum<{
+        optional: "optional";
+        one: "one";
+        many: "many";
+    }>;
+}, z.core.$strict>;
+export declare const ConceptDefinitionSchema: z.ZodObject<{
+    contract: z.ZodLiteral<"ConceptDefinition">;
+    conceptId: z.ZodString;
+    ownerRepo: z.ZodString;
+    displayName: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    schemaRef: z.ZodString;
+    ontologyId: z.ZodOptional<z.ZodString>;
+    capabilityIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    commandNames: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    relationships: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        kind: z.ZodString;
+        targetConceptId: z.ZodString;
+        cardinality: z.ZodEnum<{
+            optional: "optional";
+            one: "one";
+            many: "many";
+        }>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export declare const DomainCommandDefinitionSchema: z.ZodObject<{
+    contract: z.ZodLiteral<"DomainCommandDefinition">;
+    commandName: z.ZodString;
+    ownerRepo: z.ZodString;
+    displayName: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    targetKinds: z.ZodArray<z.ZodString>;
+    inputSchemaRef: z.ZodString;
+    outputSchemaRef: z.ZodOptional<z.ZodString>;
+    requiredPermissionCodes: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    handlerRef: z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        ownerRepo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    sideEffects: z.ZodDefault<z.ZodArray<z.ZodEnum<{
+        navigation: "navigation";
+        execution: "execution";
+        "data-write": "data-write";
+        notification: "notification";
+        "external-call": "external-call";
+    }>>>;
+}, z.core.$strict>;
+export declare const DomainCommandSchema: z.ZodObject<{
+    contract: z.ZodLiteral<"DomainCommand">;
+    commandId: z.ZodString;
+    commandName: z.ZodString;
+    requestId: z.ZodString;
+    traceId: z.ZodString;
+    idempotencyKey: z.ZodString;
+    targetRef: z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        ownerRepo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    actorRef: z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        ownerRepo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    source: z.ZodObject<{
+        product: z.ZodEnum<{
+            service: "service";
+            studio: "studio";
+            kernel: "kernel";
+            compute: "compute";
+            agent: "agent";
+            mcp: "mcp";
+        }>;
+        pageId: z.ZodOptional<z.ZodString>;
+        capabilityId: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    payload: z.ZodRecord<z.ZodString, z.ZodType<import("./common").JsonValue, unknown, z.core.$ZodTypeInternals<import("./common").JsonValue, unknown>>>;
+    issuedAt: z.ZodString;
+}, z.core.$strict>;
+export declare const ProductDeclarationSchema: z.ZodObject<{
+    contract: z.ZodLiteral<"ProductDeclaration">;
+    declarationId: z.ZodString;
+    ownerRepo: z.ZodString;
+    concepts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        contract: z.ZodLiteral<"ConceptDefinition">;
+        conceptId: z.ZodString;
+        ownerRepo: z.ZodString;
+        displayName: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        schemaRef: z.ZodString;
+        ontologyId: z.ZodOptional<z.ZodString>;
+        capabilityIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        commandNames: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        relationships: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            kind: z.ZodString;
+            targetConceptId: z.ZodString;
+            cardinality: z.ZodEnum<{
+                optional: "optional";
+                one: "one";
+                many: "many";
+            }>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>>;
+    ontologies: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        contract: z.ZodLiteral<"OntologyDefinition">;
+        ontologyId: z.ZodString;
+        dataSpaceId: z.ZodString;
+        ownerRepo: z.ZodString;
+        bodySchemaRef: z.ZodString;
+        authority: z.ZodObject<{
+            service: z.ZodString;
+            storage: z.ZodString;
+            scope: z.ZodEnum<{
+                team: "team";
+                tenant: "tenant";
+                global: "global";
+                user: "user";
+            }>;
+        }, z.core.$strict>;
+        relationKinds: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        metricKinds: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>>;
+    projections: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        contract: z.ZodLiteral<"ProjectionSpec">;
+        projectionId: z.ZodString;
+        ontologyIds: z.ZodArray<z.ZodString>;
+        outputSchemaRef: z.ZodString;
+        operator: z.ZodObject<{
+            kind: z.ZodEnum<{
+                query: "query";
+                custom: "custom";
+                search: "search";
+                aggregate: "aggregate";
+                relationship: "relationship";
+            }>;
+            configuration: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodType<import("./common").JsonValue, unknown, z.core.$ZodTypeInternals<import("./common").JsonValue, unknown>>>>;
+        }, z.core.$strict>;
+        materialization: z.ZodEnum<{
+            "on-demand": "on-demand";
+            "event-driven": "event-driven";
+            scheduled: "scheduled";
+        }>;
+        invalidationEvents: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        rebuildable: z.ZodLiteral<true>;
+        lineagePolicy: z.ZodObject<{
+            sourceRecords: z.ZodBoolean;
+            bodyVersions: z.ZodBoolean;
+            runRefs: z.ZodBoolean;
+            actorRefs: z.ZodBoolean;
+        }, z.core.$strict>;
+    }, z.core.$strict>>>;
+    commands: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        contract: z.ZodLiteral<"DomainCommandDefinition">;
+        commandName: z.ZodString;
+        ownerRepo: z.ZodString;
+        displayName: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        targetKinds: z.ZodArray<z.ZodString>;
+        inputSchemaRef: z.ZodString;
+        outputSchemaRef: z.ZodOptional<z.ZodString>;
+        requiredPermissionCodes: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        handlerRef: z.ZodObject<{
+            kind: z.ZodString;
+            id: z.ZodString;
+            version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+            ownerRepo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        sideEffects: z.ZodDefault<z.ZodArray<z.ZodEnum<{
+            navigation: "navigation";
+            execution: "execution";
+            "data-write": "data-write";
+            notification: "notification";
+            "external-call": "external-call";
+        }>>>;
+    }, z.core.$strict>>>;
+    capabilities: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        contract: z.ZodLiteral<"CapabilityManifest">;
+        id: z.ZodString;
+        capabilityVersion: z.ZodString;
+        ownerRepo: z.ZodString;
+        kind: z.ZodEnum<{
+            workflow: "workflow";
+            view: "view";
+            "professional-provider": "professional-provider";
+            primitive: "primitive";
+            composite: "composite";
+            tool: "tool";
+        }>;
+        displayName: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        ports: z.ZodObject<{
+            inputs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                schemaRef: z.ZodString;
+                required: z.ZodDefault<z.ZodBoolean>;
+                multiple: z.ZodDefault<z.ZodBoolean>;
+                description: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
+            outputs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                schemaRef: z.ZodString;
+                required: z.ZodDefault<z.ZodBoolean>;
+                multiple: z.ZodDefault<z.ZodBoolean>;
+                description: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>;
+        runtime: z.ZodObject<{
+            providerBindings: z.ZodArray<z.ZodObject<{
+                providerRef: z.ZodObject<{
+                    kind: z.ZodString;
+                    id: z.ZodString;
+                    version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+                    ownerRepo: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>;
+                productContexts: z.ZodDefault<z.ZodArray<z.ZodEnum<{
+                    studio: "studio";
+                    kernel: "kernel";
+                    compute: "compute";
+                }>>>;
+                priority: z.ZodDefault<z.ZodNumber>;
+            }, z.core.$strict>>;
+            loading: z.ZodEnum<{
+                lazy: "lazy";
+                eager: "eager";
+                viewport: "viewport";
+                "on-activation": "on-activation";
+            }>;
+            fallbackCapabilityRef: z.ZodOptional<z.ZodObject<{
+                kind: z.ZodString;
+                id: z.ZodString;
+                version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+                ownerRepo: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            stateOwner: z.ZodEnum<{
+                provider: "provider";
+                host: "host";
+                external: "external";
+            }>;
+            stateSchemaRef: z.ZodOptional<z.ZodString>;
+            sideEffects: z.ZodDefault<z.ZodArray<z.ZodEnum<{
+                storage: "storage";
+                navigation: "navigation";
+                network: "network";
+                worker: "worker";
+                websocket: "websocket";
+            }>>>;
+        }, z.core.$strict>;
+        placement: z.ZodObject<{
+            surfaces: z.ZodArray<z.ZodString>;
+            slots: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            variants: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            tokenRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>;
+        accessibility: z.ZodObject<{
+            keyboardModel: z.ZodString;
+            focusModel: z.ZodString;
+            labelContract: z.ZodString;
+        }, z.core.$strict>;
+        observability: z.ZodObject<{
+            eventNamespace: z.ZodString;
+            metrics: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            evidenceRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            performanceBudgetMs: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>>;
+    pages: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        contract: z.ZodLiteral<"PageDefinition">;
+        pageId: z.ZodString;
+        ownerRepo: z.ZodString;
+        title: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodString>]>;
+        pageType: z.ZodEnum<{
+            "design-board": "design-board";
+            process: "process";
+            record: "record";
+            page: "page";
+            view: "view";
+            action: "action";
+            overlay: "overlay";
+            workspace: "workspace";
+            agent: "agent";
+            log: "log";
+            chat: "chat";
+            preview: "preview";
+            api: "api";
+            enhanced: "enhanced";
+            "agent-chat": "agent-chat";
+            "agent-config": "agent-config";
+            "agent-log": "agent-log";
+            "global-design-board": "global-design-board";
+            iframe: "iframe";
+        }>;
+        ownership: z.ZodObject<{
+            teamId: z.ZodOptional<z.ZodString>;
+            creatorRef: z.ZodOptional<z.ZodObject<{
+                kind: z.ZodString;
+                id: z.ZodString;
+                version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+                ownerRepo: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            studioId: z.ZodOptional<z.ZodString>;
+            builtIn: z.ZodBoolean;
+        }, z.core.$strict>;
+        record: z.ZodObject<{
+            createdTimestamp: z.ZodOptional<z.ZodNumber>;
+            updatedTimestamp: z.ZodOptional<z.ZodNumber>;
+            deleted: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strict>;
+        surface: z.ZodEnum<{
+            record: "record";
+            page: "page";
+            view: "view";
+            action: "action";
+            overlay: "overlay";
+            workspace: "workspace";
+            agent: "agent";
+        }>;
+        routeId: z.ZodString;
+        routePath: z.ZodString;
+        rendererKey: z.ZodString;
+        capabilityRef: z.ZodObject<{
+            kind: z.ZodString;
+            id: z.ZodString;
+            version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+            ownerRepo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        capabilityRefs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            kind: z.ZodString;
+            id: z.ZodString;
+            version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+            ownerRepo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
+        workflowRef: z.ZodOptional<z.ZodObject<{
+            kind: z.ZodString;
+            id: z.ZodString;
+            version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+            ownerRepo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        binding: z.ZodObject<{
+            sourceRef: z.ZodOptional<z.ZodString>;
+            ontologyId: z.ZodOptional<z.ZodString>;
+            projectionRef: z.ZodOptional<z.ZodString>;
+            stateRef: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        access: z.ZodObject<{
+            actions: z.ZodDefault<z.ZodArray<z.ZodEnum<{
+                read: "read";
+                write: "write";
+                execute: "execute";
+                "manage-permissions": "manage-permissions";
+            }>>>;
+        }, z.core.$strict>;
+        rendererConfig: z.ZodObject<{
+            schemaRef: z.ZodString;
+            value: z.ZodRecord<z.ZodString, z.ZodType<import("./common").JsonValue, unknown, z.core.$ZodTypeInternals<import("./common").JsonValue, unknown>>>;
+        }, z.core.$strict>;
+        navigation: z.ZodObject<{
+            label: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodString>]>;
+            iconRef: z.ZodOptional<z.ZodString>;
+            parentPageId: z.ZodOptional<z.ZodString>;
+            order: z.ZodOptional<z.ZodNumber>;
+            hidden: z.ZodDefault<z.ZodBoolean>;
+            pinned: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strict>;
+        visibility: z.ZodObject<{
+            authenticated: z.ZodDefault<z.ZodBoolean>;
+            permissionAllOf: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            permissionAnyOf: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            featureFlags: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            productContexts: z.ZodArray<z.ZodEnum<{
+                studio: "studio";
+                kernel: "kernel";
+                compute: "compute";
+            }>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export declare const DeclarationGraphEdgeSchema: z.ZodObject<{
+    from: z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        ownerRepo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    to: z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        ownerRepo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    relation: z.ZodEnum<{
+        "uses-ontology": "uses-ontology";
+        "uses-projection": "uses-projection";
+        "uses-capability": "uses-capability";
+        "uses-command": "uses-command";
+        "relates-to-concept": "relates-to-concept";
+    }>;
+}, z.core.$strict>;
+export declare const ChangeImpactSchema: z.ZodObject<{
+    changedRef: z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        ownerRepo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    affectedRefs: z.ZodArray<z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        ownerRepo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    reasons: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export declare const ChangeImpactGraphSchema: z.ZodObject<{
+    contract: z.ZodLiteral<"ChangeImpactGraph">;
+    declarationId: z.ZodString;
+    nodes: z.ZodArray<z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+        ownerRepo: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    edges: z.ZodArray<z.ZodObject<{
+        from: z.ZodObject<{
+            kind: z.ZodString;
+            id: z.ZodString;
+            version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+            ownerRepo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        to: z.ZodObject<{
+            kind: z.ZodString;
+            id: z.ZodString;
+            version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+            ownerRepo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        relation: z.ZodEnum<{
+            "uses-ontology": "uses-ontology";
+            "uses-projection": "uses-projection";
+            "uses-capability": "uses-capability";
+            "uses-command": "uses-command";
+            "relates-to-concept": "relates-to-concept";
+        }>;
+    }, z.core.$strict>>;
+    impacts: z.ZodArray<z.ZodObject<{
+        changedRef: z.ZodObject<{
+            kind: z.ZodString;
+            id: z.ZodString;
+            version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+            ownerRepo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        affectedRefs: z.ZodArray<z.ZodObject<{
+            kind: z.ZodString;
+            id: z.ZodString;
+            version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+            ownerRepo: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        reasons: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    generatedAt: z.ZodString;
+}, z.core.$strict>;
+export type ConceptRelationship = z.infer<typeof ConceptRelationshipSchema>;
+export type ConceptDefinition = z.infer<typeof ConceptDefinitionSchema>;
+export type DomainCommandDefinition = z.infer<typeof DomainCommandDefinitionSchema>;
+export type DomainCommand = z.infer<typeof DomainCommandSchema>;
+export type ProductDeclaration = z.infer<typeof ProductDeclarationSchema>;
+export type DeclarationGraphEdge = z.infer<typeof DeclarationGraphEdgeSchema>;
+export type ChangeImpact = z.infer<typeof ChangeImpactSchema>;
+export type ChangeImpactGraph = z.infer<typeof ChangeImpactGraphSchema>;
+//# sourceMappingURL=semantic.d.ts.map

package/lib/contracts/semantic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic.d.ts","sourceRoot":"","sources":["../../src/contracts/semantic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAWxB,eAAO,MAAM,yBAAyB;;;;;;;;kBAM3B,CAAC;AAEZ,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;kBAazB,CAAC;AAEZ,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;kBAgB/B,CAAC;AAEZ,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAoBrB,CAAC;AAEZ,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAY1B,CAAC;AAEZ,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;kBAY5B,CAAC;AAEZ,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;kBAMpB,CAAC;AAEZ,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBASzB,CAAC;AAEZ,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AACxE,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC;AACpF,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAChE,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAC1E,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAC9E,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAC9D,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC"}

package/lib/contracts/semantic.js

@@ -0,0 +1,111 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ChangeImpactGraphSchema = exports.ChangeImpactSchema = exports.DeclarationGraphEdgeSchema = exports.ProductDeclarationSchema = exports.DomainCommandSchema = exports.DomainCommandDefinitionSchema = exports.ConceptDefinitionSchema = exports.ConceptRelationshipSchema = void 0;
+const zod_1 = require("zod");
+const capability_1 = require("./capability");
+const common_1 = require("./common");
+const data_1 = require("./data");
+const page_1 = require("./page");
+exports.ConceptRelationshipSchema = zod_1.z
+    .object({
+    kind: common_1.ContractIdentifierSchema,
+    targetConceptId: common_1.ContractIdentifierSchema,
+    cardinality: zod_1.z.enum(['one', 'optional', 'many']),
+})
+    .strict();
+exports.ConceptDefinitionSchema = zod_1.z
+    .object({
+    contract: zod_1.z.literal('ConceptDefinition'),
+    conceptId: common_1.ContractIdentifierSchema,
+    ownerRepo: common_1.ContractIdentifierSchema,
+    displayName: zod_1.z.string().trim().min(1),
+    description: zod_1.z.string().optional(),
+    schemaRef: common_1.ContractIdentifierSchema,
+    ontologyId: common_1.ContractIdentifierSchema.optional(),
+    capabilityIds: zod_1.z.array(common_1.ContractIdentifierSchema).default([]),
+    commandNames: zod_1.z.array(common_1.ContractIdentifierSchema).default([]),
+    relationships: zod_1.z.array(exports.ConceptRelationshipSchema).default([]),
+})
+    .strict();
+exports.DomainCommandDefinitionSchema = zod_1.z
+    .object({
+    contract: zod_1.z.literal('DomainCommandDefinition'),
+    commandName: common_1.ContractIdentifierSchema,
+    ownerRepo: common_1.ContractIdentifierSchema,
+    displayName: zod_1.z.string().trim().min(1),
+    description: zod_1.z.string().optional(),
+    targetKinds: zod_1.z.array(common_1.ContractIdentifierSchema).min(1),
+    inputSchemaRef: common_1.ContractIdentifierSchema,
+    outputSchemaRef: common_1.ContractIdentifierSchema.optional(),
+    requiredPermissionCodes: zod_1.z.array(common_1.ContractIdentifierSchema).default([]),
+    handlerRef: common_1.EntityRefSchema,
+    sideEffects: zod_1.z
+        .array(zod_1.z.enum(['data-write', 'execution', 'navigation', 'notification', 'external-call']))
+        .default([]),
+})
+    .strict();
+exports.DomainCommandSchema = zod_1.z
+    .object({
+    contract: zod_1.z.literal('DomainCommand'),
+    commandId: common_1.ContractIdentifierSchema,
+    commandName: common_1.ContractIdentifierSchema,
+    requestId: common_1.ContractIdentifierSchema,
+    traceId: common_1.ContractIdentifierSchema,
+    idempotencyKey: common_1.ContractIdentifierSchema,
+    targetRef: common_1.EntityRefSchema,
+    actorRef: common_1.EntityRefSchema,
+    source: zod_1.z
+        .object({
+        product: zod_1.z.enum(['studio', 'kernel', 'compute', 'agent', 'mcp', 'service']),
+        pageId: common_1.ContractIdentifierSchema.optional(),
+        capabilityId: common_1.ContractIdentifierSchema.optional(),
+    })
+        .strict(),
+    payload: common_1.JsonObjectSchema,
+    issuedAt: common_1.IsoDateTimeSchema,
+})
+    .strict();
+exports.ProductDeclarationSchema = zod_1.z
+    .object({
+    contract: zod_1.z.literal('ProductDeclaration'),
+    declarationId: common_1.ContractIdentifierSchema,
+    ownerRepo: common_1.ContractIdentifierSchema,
+    concepts: zod_1.z.array(exports.ConceptDefinitionSchema).default([]),
+    ontologies: zod_1.z.array(data_1.OntologyDefinitionSchema).default([]),
+    projections: zod_1.z.array(data_1.ProjectionSpecSchema).default([]),
+    commands: zod_1.z.array(exports.DomainCommandDefinitionSchema).default([]),
+    capabilities: zod_1.z.array(capability_1.CapabilityManifestSchema).default([]),
+    pages: zod_1.z.array(page_1.PageDefinitionSchema).default([]),
+})
+    .strict();
+exports.DeclarationGraphEdgeSchema = zod_1.z
+    .object({
+    from: common_1.EntityRefSchema,
+    to: common_1.EntityRefSchema,
+    relation: zod_1.z.enum([
+        'uses-ontology',
+        'uses-projection',
+        'uses-capability',
+        'uses-command',
+        'relates-to-concept',
+    ]),
+})
+    .strict();
+exports.ChangeImpactSchema = zod_1.z
+    .object({
+    changedRef: common_1.EntityRefSchema,
+    affectedRefs: zod_1.z.array(common_1.EntityRefSchema),
+    reasons: zod_1.z.array(common_1.ContractIdentifierSchema).min(1),
+})
+    .strict();
+exports.ChangeImpactGraphSchema = zod_1.z
+    .object({
+    contract: zod_1.z.literal('ChangeImpactGraph'),
+    declarationId: common_1.ContractIdentifierSchema,
+    nodes: zod_1.z.array(common_1.EntityRefSchema),
+    edges: zod_1.z.array(exports.DeclarationGraphEdgeSchema),
+    impacts: zod_1.z.array(exports.ChangeImpactSchema),
+    generatedAt: common_1.IsoDateTimeSchema,
+})
+    .strict();
+//# sourceMappingURL=semantic.js.map

package/lib/contracts/semantic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic.js","sourceRoot":"","sources":["../../src/contracts/semantic.ts"],"names":[],"mappings":";;;AAAA,6BAAwB;AACxB,6CAAwD;AACxD,qCAKkB;AAClB,iCAAwE;AACxE,iCAA8C;AAEjC,QAAA,yBAAyB,GAAG,OAAC;KACvC,MAAM,CAAC;IACN,IAAI,EAAE,iCAAwB;IAC9B,eAAe,EAAE,iCAAwB;IACzC,WAAW,EAAE,OAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;CACjD,CAAC;KACD,MAAM,EAAE,CAAC;AAEC,QAAA,uBAAuB,GAAG,OAAC;KACrC,MAAM,CAAC;IACN,QAAQ,EAAE,OAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACxC,SAAS,EAAE,iCAAwB;IACnC,SAAS,EAAE,iCAAwB;IACnC,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,SAAS,EAAE,iCAAwB;IACnC,UAAU,EAAE,iCAAwB,CAAC,QAAQ,EAAE;IAC/C,aAAa,EAAE,OAAC,CAAC,KAAK,CAAC,iCAAwB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC5D,YAAY,EAAE,OAAC,CAAC,KAAK,CAAC,iCAAwB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC3D,aAAa,EAAE,OAAC,CAAC,KAAK,CAAC,iCAAyB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;CAC9D,CAAC;KACD,MAAM,EAAE,CAAC;AAEC,QAAA,6BAA6B,GAAG,OAAC;KAC3C,MAAM,CAAC;IACN,QAAQ,EAAE,OAAC,CAAC,OAAO,CAAC,yBAAyB,CAAC;IAC9C,WAAW,EAAE,iCAAwB;IACrC,SAAS,EAAE,iCAAwB;IACnC,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,WAAW,EAAE,OAAC,CAAC,KAAK,CAAC,iCAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,cAAc,EAAE,iCAAwB;IACxC,eAAe,EAAE,iCAAwB,CAAC,QAAQ,EAAE;IACpD,uBAAuB,EAAE,OAAC,CAAC,KAAK,CAAC,iCAAwB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACtE,UAAU,EAAE,wBAAe;IAC3B,WAAW,EAAE,OAAC;SACX,KAAK,CAAC,OAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC;SACzF,OAAO,CAAC,EAAE,CAAC;CACf,CAAC;KACD,MAAM,EAAE,CAAC;AAEC,QAAA,mBAAmB,GAAG,OAAC;KACjC,MAAM,CAAC;IACN,QAAQ,EAAE,OAAC,CAAC,OAAO,CAAC,eAAe,CAAC;IACpC,SAAS,EAAE,iCAAwB;IACnC,WAAW,EAAE,iCAAwB;IACrC,SAAS,EAAE,iCAAwB;IACnC,OAAO,EAAE,iCAAwB;IACjC,cAAc,EAAE,iCAAwB;IACxC,SAAS,EAAE,wBAAe;IAC1B,QAAQ,EAAE,wBAAe;IACzB,MAAM,EAAE,OAAC;SACN,MAAM,CAAC;QACN,OAAO,EAAE,OAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QAC3E,MAAM,EAAE,iCAAwB,CAAC,QAAQ,EAAE;QAC3C,YAAY,EAAE,iCAAwB,CAAC,QAAQ,EAAE;KAClD,CAAC;SACD,MAAM,EAAE;IACX,OAAO,EAAE,yBAAgB;IACzB,QAAQ,EAAE,0BAAiB;CAC5B,CAAC;KACD,MAAM,EAAE,CAAC;AAEC,QAAA,wBAAwB,GAAG,OAAC;KACtC,MAAM,CAAC;IACN,QAAQ,EAAE,OAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;IACzC,aAAa,EAAE,iCAAwB;IACvC,SAAS,EAAE,iCAAwB;IACnC,QAAQ,EAAE,OAAC,CAAC,KAAK,CAAC,+BAAuB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACtD,UAAU,EAAE,OAAC,CAAC,KAAK,CAAC,+BAAwB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACzD,WAAW,EAAE,OAAC,CAAC,KAAK,CAAC,2BAAoB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACtD,QAAQ,EAAE,OAAC,CAAC,KAAK,CAAC,qCAA6B,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC5D,YAAY,EAAE,OAAC,CAAC,KAAK,CAAC,qCAAwB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC3D,KAAK,EAAE,OAAC,CAAC,KAAK,CAAC,2BAAoB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;CACjD,CAAC;KACD,MAAM,EAAE,CAAC;AAEC,QAAA,0BAA0B,GAAG,OAAC;KACxC,MAAM,CAAC;IACN,IAAI,EAAE,wBAAe;IACrB,EAAE,EAAE,wBAAe;IACnB,QAAQ,EAAE,OAAC,CAAC,IAAI,CAAC;QACf,eAAe;QACf,iBAAiB;QACjB,iBAAiB;QACjB,cAAc;QACd,oBAAoB;KACrB,CAAC;CACH,CAAC;KACD,MAAM,EAAE,CAAC;AAEC,QAAA,kBAAkB,GAAG,OAAC;KAChC,MAAM,CAAC;IACN,UAAU,EAAE,wBAAe;IAC3B,YAAY,EAAE,OAAC,CAAC,KAAK,CAAC,wBAAe,CAAC;IACtC,OAAO,EAAE,OAAC,CAAC,KAAK,CAAC,iCAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAClD,CAAC;KACD,MAAM,EAAE,CAAC;AAEC,QAAA,uBAAuB,GAAG,OAAC;KACrC,MAAM,CAAC;IACN,QAAQ,EAAE,OAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACxC,aAAa,EAAE,iCAAwB;IACvC,KAAK,EAAE,OAAC,CAAC,KAAK,CAAC,wBAAe,CAAC;IAC/B,KAAK,EAAE,OAAC,CAAC,KAAK,CAAC,kCAA0B,CAAC;IAC1C,OAAO,EAAE,OAAC,CAAC,KAAK,CAAC,0BAAkB,CAAC;IACpC,WAAW,EAAE,0BAAiB;CAC/B,CAAC;KACD,MAAM,EAAE,CAAC"}