@asm-agent/contracts 0.8.2

package/dist/schemas.js

@@ -0,0 +1,137 @@
+import { Type } from "typebox";
+export const ASM_CONTRACT_NAMESPACE = "ai.aletheion.asm";
+export const ASM_CONTRACT_MAJOR = 1;
+export const ASM_CONTRACT_MINOR = 1;
+const Id = Type.String({ minLength: 1, maxLength: 200 });
+const Timestamp = Type.String({ format: "date-time" });
+const JsonObject = Type.Record(Type.String(), Type.Unknown());
+const Score = Type.Number({ minimum: 0, maximum: 1 });
+const Header = Type.Object({
+    namespace: Type.Literal(ASM_CONTRACT_NAMESPACE),
+    major: Type.Literal(ASM_CONTRACT_MAJOR),
+    minor: Type.Integer({ minimum: 0 }),
+}, { additionalProperties: false });
+export const MemoryContractSchema = Type.Object({
+    header: Header,
+    memoryId: Id,
+    revision: Type.Integer({ minimum: 1 }),
+    ownerId: Id,
+    projectId: Id,
+    sessionId: Type.Optional(Id),
+    kind: Type.Union([Type.Literal("observation"), Type.Literal("fact"), Type.Literal("instruction")]),
+    content: Type.String({ minLength: 1 }),
+    evidenceIds: Type.Array(Id, { uniqueItems: true }),
+    createdAt: Timestamp,
+    tombstonedAt: Type.Optional(Timestamp),
+    metadata: Type.Optional(JsonObject),
+}, { additionalProperties: false, $id: "asm-memory-v1" });
+export const EvidenceContractSchema = Type.Object({
+    header: Header,
+    evidenceId: Id,
+    ownerId: Id,
+    projectId: Id,
+    sourceType: Type.Union([
+        Type.Literal("user"),
+        Type.Literal("tool"),
+        Type.Literal("document"),
+        Type.Literal("system"),
+    ]),
+    sourceUri: Type.Optional(Type.String({ maxLength: 4096 })),
+    digest: Type.String({ pattern: "^[a-f0-9]{64}$" }),
+    capturedAt: Timestamp,
+    contentType: Type.String({ minLength: 1 }),
+    metadata: Type.Optional(JsonObject),
+}, { additionalProperties: false, $id: "asm-evidence-v1" });
+export const RetrievalContractSchema = Type.Object({
+    header: Header,
+    requestId: Id,
+    ownerId: Id,
+    projectId: Id,
+    sessionId: Type.Optional(Id),
+    query: Type.String({ minLength: 1 }),
+    limit: Type.Integer({ minimum: 1, maximum: 200 }),
+    algorithm: Id,
+    candidates: Type.Array(Type.Object({
+        memoryId: Id,
+        score: Score,
+        selected: Type.Boolean(),
+        reasonCodes: Type.Array(Id, { uniqueItems: true }),
+    }, { additionalProperties: false })),
+    startedAt: Timestamp,
+    latencyMs: Type.Integer({ minimum: 0 }),
+}, { additionalProperties: false, $id: "asm-retrieval-v1" });
+export const IntentContractSchema = Type.Object({
+    header: Header,
+    intentId: Id,
+    operation: Type.Union([
+        Type.Literal("diagnose"),
+        Type.Literal("read"),
+        Type.Literal("write"),
+        Type.Literal("execute"),
+        Type.Literal("communicate"),
+        Type.Literal("deploy"),
+        Type.Literal("purchase"),
+        Type.Literal("delete"),
+    ]),
+    resources: Type.Array(Id, { uniqueItems: true }),
+    externalEffect: Type.Boolean(),
+    idempotencyKey: Type.Optional(Id),
+    requestedAt: Timestamp,
+    arguments: JsonObject,
+}, { additionalProperties: false, $id: "asm-intent-v1" });
+export const PolicyContractSchema = Type.Object({
+    header: Header,
+    decisionId: Id,
+    intentId: Id,
+    outcome: Type.Union([Type.Literal("allow"), Type.Literal("deny"), Type.Literal("require_approval")]),
+    reasonCodes: Type.Array(Id, { minItems: 1, uniqueItems: true }),
+    requiredApprovals: Type.Array(Id, { uniqueItems: true }),
+    decidedAt: Timestamp,
+    policyVersion: Id,
+}, { additionalProperties: false, $id: "asm-policy-v1" });
+export const FeedbackContractSchema = Type.Object({
+    header: Header,
+    feedbackId: Id,
+    targetType: Type.Union([Type.Literal("memory"), Type.Literal("retrieval"), Type.Literal("action")]),
+    targetId: Id,
+    rating: Type.Union([Type.Literal("positive"), Type.Literal("negative"), Type.Literal("correction")]),
+    comment: Type.Optional(Type.String({ maxLength: 8000 })),
+    createdAt: Timestamp,
+}, { additionalProperties: false, $id: "asm-feedback-v1" });
+export const StateSnapshotContractSchema = Type.Object({
+    header: Header,
+    snapshotId: Id,
+    sessionId: Id,
+    sequence: Type.Integer({ minimum: 0 }),
+    state: JsonObject,
+    digest: Type.String({ pattern: "^[a-f0-9]{64}$" }),
+    createdAt: Timestamp,
+}, { additionalProperties: false, $id: "asm-state-snapshot-v1" });
+export const InferenceManifestContractSchema = Type.Object({
+    header: Header,
+    manifestId: Id,
+    modelId: Id,
+    modelVersion: Id,
+    backend: Type.Union([
+        Type.Literal("deterministic"),
+        Type.Literal("vector"),
+        Type.Literal("causal_head"),
+        Type.Literal("dual_asm"),
+        Type.Literal("asm_cm"),
+    ]),
+    artifactDigest: Type.Optional(Type.String({ pattern: "^[a-f0-9]{64}$" })),
+    contractMajors: Type.Record(Id, Type.Integer({ minimum: 1 })),
+    parameters: JsonObject,
+    createdAt: Timestamp,
+}, { additionalProperties: false, $id: "asm-inference-manifest-v1" });
+export const ASM_CONTRACT_SCHEMAS = {
+    memory: MemoryContractSchema,
+    evidence: EvidenceContractSchema,
+    retrieval: RetrievalContractSchema,
+    intent: IntentContractSchema,
+    policy: PolicyContractSchema,
+    feedback: FeedbackContractSchema,
+    stateSnapshot: StateSnapshotContractSchema,
+    inferenceManifest: InferenceManifestContractSchema,
+};
+//# sourceMappingURL=schemas.js.map

package/dist/schemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.js","sourceRoot":"","sources":["../src/schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,IAAI,EAAE,MAAM,SAAS,CAAC;AAE5C,MAAM,CAAC,MAAM,sBAAsB,GAAG,kBAA2B,CAAC;AAClE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAU,CAAC;AAC7C,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAU,CAAC;AAE7C,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;AACzD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;AACvD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;AAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AAEtD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CACzB;IACC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IAC/C,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACvC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;CACnC,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC9C;IACC,MAAM,EAAE,MAAM;IACd,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACtC,OAAO,EAAE,EAAE;IACX,SAAS,EAAE,EAAE;IACb,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;IAClG,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACtC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAClD,SAAS,EAAE,SAAS;IACpB,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;IACtC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;CACnC,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,GAAG,EAAE,eAAe,EAAE,CACrD,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAChD;IACC,MAAM,EAAE,MAAM;IACd,UAAU,EAAE,EAAE;IACd,OAAO,EAAE,EAAE;IACX,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;KACtB,CAAC;IACF,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAClD,UAAU,EAAE,SAAS;IACrB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;CACnC,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,GAAG,EAAE,iBAAiB,EAAE,CACvD,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CACjD;IACC,MAAM,EAAE,MAAM;IACd,SAAS,EAAE,EAAE;IACb,OAAO,EAAE,EAAE;IACX,SAAS,EAAE,EAAE;IACb,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC5B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACpC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IACjD,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,IAAI,CAAC,KAAK,CACrB,IAAI,CAAC,MAAM,CACV;QACC,QAAQ,EAAE,EAAE;QACZ,KAAK,EAAE,KAAK;QACZ,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE;QACxB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;KAClD,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B,CACD;IACD,SAAS,EAAE,SAAS;IACpB,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;CACvC,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,GAAG,EAAE,kBAAkB,EAAE,CACxD,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC9C;IACC,MAAM,EAAE,MAAM;IACd,QAAQ,EAAE,EAAE;IACZ,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;QACvB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;KACtB,CAAC;IACF,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAChD,cAAc,EAAE,IAAI,CAAC,OAAO,EAAE;IAC9B,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;IACjC,WAAW,EAAE,SAAS;IACtB,SAAS,EAAE,UAAU;CACrB,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,GAAG,EAAE,eAAe,EAAE,CACrD,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC9C;IACC,MAAM,EAAE,MAAM;IACd,UAAU,EAAE,EAAE;IACd,QAAQ,EAAE,EAAE;IACZ,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACpG,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAC/D,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IACxD,SAAS,EAAE,SAAS;IACpB,aAAa,EAAE,EAAE;CACjB,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,GAAG,EAAE,eAAe,EAAE,CACrD,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAChD;IACC,MAAM,EAAE,MAAM;IACd,UAAU,EAAE,EAAE;IACd,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnG,QAAQ,EAAE,EAAE;IACZ,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACpG,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,SAAS,EAAE,SAAS;CACpB,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,GAAG,EAAE,iBAAiB,EAAE,CACvD,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CACrD;IACC,MAAM,EAAE,MAAM;IACd,UAAU,EAAE,EAAE;IACd,SAAS,EAAE,EAAE;IACb,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACtC,KAAK,EAAE,UAAU;IACjB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAClD,SAAS,EAAE,SAAS;CACpB,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,GAAG,EAAE,uBAAuB,EAAE,CAC7D,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CACzD;IACC,MAAM,EAAE,MAAM;IACd,UAAU,EAAE,EAAE;IACd,OAAO,EAAE,EAAE;IACX,YAAY,EAAE,EAAE;IAChB,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC;QACnB,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;KACtB,CAAC;IACF,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACzE,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7D,UAAU,EAAE,UAAU;IACtB,SAAS,EAAE,SAAS;CACpB,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,GAAG,EAAE,2BAA2B,EAAE,CACjE,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG;IACnC,MAAM,EAAE,oBAAoB;IAC5B,QAAQ,EAAE,sBAAsB;IAChC,SAAS,EAAE,uBAAuB;IAClC,MAAM,EAAE,oBAAoB;IAC5B,MAAM,EAAE,oBAAoB;IAC5B,QAAQ,EAAE,sBAAsB;IAChC,aAAa,EAAE,2BAA2B;IAC1C,iBAAiB,EAAE,+BAA+B;CACzC,CAAC","sourcesContent":["import { type Static, Type } from \"typebox\";\n\nexport const ASM_CONTRACT_NAMESPACE = \"ai.aletheion.asm\" as const;\nexport const ASM_CONTRACT_MAJOR = 1 as const;\nexport const ASM_CONTRACT_MINOR = 1 as const;\n\nconst Id = Type.String({ minLength: 1, maxLength: 200 });\nconst Timestamp = Type.String({ format: \"date-time\" });\nconst JsonObject = Type.Record(Type.String(), Type.Unknown());\nconst Score = Type.Number({ minimum: 0, maximum: 1 });\n\nconst Header = Type.Object(\n\t{\n\t\tnamespace: Type.Literal(ASM_CONTRACT_NAMESPACE),\n\t\tmajor: Type.Literal(ASM_CONTRACT_MAJOR),\n\t\tminor: Type.Integer({ minimum: 0 }),\n\t},\n\t{ additionalProperties: false },\n);\n\nexport const MemoryContractSchema = Type.Object(\n\t{\n\t\theader: Header,\n\t\tmemoryId: Id,\n\t\trevision: Type.Integer({ minimum: 1 }),\n\t\townerId: Id,\n\t\tprojectId: Id,\n\t\tsessionId: Type.Optional(Id),\n\t\tkind: Type.Union([Type.Literal(\"observation\"), Type.Literal(\"fact\"), Type.Literal(\"instruction\")]),\n\t\tcontent: Type.String({ minLength: 1 }),\n\t\tevidenceIds: Type.Array(Id, { uniqueItems: true }),\n\t\tcreatedAt: Timestamp,\n\t\ttombstonedAt: Type.Optional(Timestamp),\n\t\tmetadata: Type.Optional(JsonObject),\n\t},\n\t{ additionalProperties: false, $id: \"asm-memory-v1\" },\n);\n\nexport const EvidenceContractSchema = Type.Object(\n\t{\n\t\theader: Header,\n\t\tevidenceId: Id,\n\t\townerId: Id,\n\t\tprojectId: Id,\n\t\tsourceType: Type.Union([\n\t\t\tType.Literal(\"user\"),\n\t\t\tType.Literal(\"tool\"),\n\t\t\tType.Literal(\"document\"),\n\t\t\tType.Literal(\"system\"),\n\t\t]),\n\t\tsourceUri: Type.Optional(Type.String({ maxLength: 4096 })),\n\t\tdigest: Type.String({ pattern: \"^[a-f0-9]{64}$\" }),\n\t\tcapturedAt: Timestamp,\n\t\tcontentType: Type.String({ minLength: 1 }),\n\t\tmetadata: Type.Optional(JsonObject),\n\t},\n\t{ additionalProperties: false, $id: \"asm-evidence-v1\" },\n);\n\nexport const RetrievalContractSchema = Type.Object(\n\t{\n\t\theader: Header,\n\t\trequestId: Id,\n\t\townerId: Id,\n\t\tprojectId: Id,\n\t\tsessionId: Type.Optional(Id),\n\t\tquery: Type.String({ minLength: 1 }),\n\t\tlimit: Type.Integer({ minimum: 1, maximum: 200 }),\n\t\talgorithm: Id,\n\t\tcandidates: Type.Array(\n\t\t\tType.Object(\n\t\t\t\t{\n\t\t\t\t\tmemoryId: Id,\n\t\t\t\t\tscore: Score,\n\t\t\t\t\tselected: Type.Boolean(),\n\t\t\t\t\treasonCodes: Type.Array(Id, { uniqueItems: true }),\n\t\t\t\t},\n\t\t\t\t{ additionalProperties: false },\n\t\t\t),\n\t\t),\n\t\tstartedAt: Timestamp,\n\t\tlatencyMs: Type.Integer({ minimum: 0 }),\n\t},\n\t{ additionalProperties: false, $id: \"asm-retrieval-v1\" },\n);\n\nexport const IntentContractSchema = Type.Object(\n\t{\n\t\theader: Header,\n\t\tintentId: Id,\n\t\toperation: Type.Union([\n\t\t\tType.Literal(\"diagnose\"),\n\t\t\tType.Literal(\"read\"),\n\t\t\tType.Literal(\"write\"),\n\t\t\tType.Literal(\"execute\"),\n\t\t\tType.Literal(\"communicate\"),\n\t\t\tType.Literal(\"deploy\"),\n\t\t\tType.Literal(\"purchase\"),\n\t\t\tType.Literal(\"delete\"),\n\t\t]),\n\t\tresources: Type.Array(Id, { uniqueItems: true }),\n\t\texternalEffect: Type.Boolean(),\n\t\tidempotencyKey: Type.Optional(Id),\n\t\trequestedAt: Timestamp,\n\t\targuments: JsonObject,\n\t},\n\t{ additionalProperties: false, $id: \"asm-intent-v1\" },\n);\n\nexport const PolicyContractSchema = Type.Object(\n\t{\n\t\theader: Header,\n\t\tdecisionId: Id,\n\t\tintentId: Id,\n\t\toutcome: Type.Union([Type.Literal(\"allow\"), Type.Literal(\"deny\"), Type.Literal(\"require_approval\")]),\n\t\treasonCodes: Type.Array(Id, { minItems: 1, uniqueItems: true }),\n\t\trequiredApprovals: Type.Array(Id, { uniqueItems: true }),\n\t\tdecidedAt: Timestamp,\n\t\tpolicyVersion: Id,\n\t},\n\t{ additionalProperties: false, $id: \"asm-policy-v1\" },\n);\n\nexport const FeedbackContractSchema = Type.Object(\n\t{\n\t\theader: Header,\n\t\tfeedbackId: Id,\n\t\ttargetType: Type.Union([Type.Literal(\"memory\"), Type.Literal(\"retrieval\"), Type.Literal(\"action\")]),\n\t\ttargetId: Id,\n\t\trating: Type.Union([Type.Literal(\"positive\"), Type.Literal(\"negative\"), Type.Literal(\"correction\")]),\n\t\tcomment: Type.Optional(Type.String({ maxLength: 8000 })),\n\t\tcreatedAt: Timestamp,\n\t},\n\t{ additionalProperties: false, $id: \"asm-feedback-v1\" },\n);\n\nexport const StateSnapshotContractSchema = Type.Object(\n\t{\n\t\theader: Header,\n\t\tsnapshotId: Id,\n\t\tsessionId: Id,\n\t\tsequence: Type.Integer({ minimum: 0 }),\n\t\tstate: JsonObject,\n\t\tdigest: Type.String({ pattern: \"^[a-f0-9]{64}$\" }),\n\t\tcreatedAt: Timestamp,\n\t},\n\t{ additionalProperties: false, $id: \"asm-state-snapshot-v1\" },\n);\n\nexport const InferenceManifestContractSchema = Type.Object(\n\t{\n\t\theader: Header,\n\t\tmanifestId: Id,\n\t\tmodelId: Id,\n\t\tmodelVersion: Id,\n\t\tbackend: Type.Union([\n\t\t\tType.Literal(\"deterministic\"),\n\t\t\tType.Literal(\"vector\"),\n\t\t\tType.Literal(\"causal_head\"),\n\t\t\tType.Literal(\"dual_asm\"),\n\t\t\tType.Literal(\"asm_cm\"),\n\t\t]),\n\t\tartifactDigest: Type.Optional(Type.String({ pattern: \"^[a-f0-9]{64}$\" })),\n\t\tcontractMajors: Type.Record(Id, Type.Integer({ minimum: 1 })),\n\t\tparameters: JsonObject,\n\t\tcreatedAt: Timestamp,\n\t},\n\t{ additionalProperties: false, $id: \"asm-inference-manifest-v1\" },\n);\n\nexport const ASM_CONTRACT_SCHEMAS = {\n\tmemory: MemoryContractSchema,\n\tevidence: EvidenceContractSchema,\n\tretrieval: RetrievalContractSchema,\n\tintent: IntentContractSchema,\n\tpolicy: PolicyContractSchema,\n\tfeedback: FeedbackContractSchema,\n\tstateSnapshot: StateSnapshotContractSchema,\n\tinferenceManifest: InferenceManifestContractSchema,\n} as const;\n\nexport type AsmContractName = keyof typeof ASM_CONTRACT_SCHEMAS;\nexport type MemoryContract = Static<typeof MemoryContractSchema>;\nexport type EvidenceContract = Static<typeof EvidenceContractSchema>;\nexport type RetrievalContract = Static<typeof RetrievalContractSchema>;\nexport type IntentContract = Static<typeof IntentContractSchema>;\nexport type PolicyContract = Static<typeof PolicyContractSchema>;\nexport type FeedbackContract = Static<typeof FeedbackContractSchema>;\nexport type StateSnapshotContract = Static<typeof StateSnapshotContractSchema>;\nexport type InferenceManifestContract = Static<typeof InferenceManifestContractSchema>;\n"]}

package/dist/validation.d.ts

@@ -0,0 +1,14 @@
+import { type AsmContractName } from "./schemas.js";
+export interface ContractValidationError {
+    path: string;
+    message: string;
+}
+export type ContractValidationResult = {
+    valid: true;
+} | {
+    valid: false;
+    errors: ContractValidationError[];
+};
+export declare function validateContract(name: AsmContractName, value: unknown): ContractValidationResult;
+export declare function assertContract(name: AsmContractName, value: unknown): void;
+//# sourceMappingURL=validation.d.ts.map

package/dist/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AACA,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AAM1E,MAAM,WAAW,uBAAuB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,wBAAwB,GAAG;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,uBAAuB,EAAE,CAAA;CAAE,CAAC;AAE7G,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,GAAG,wBAAwB,CAOhG;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAO1E","sourcesContent":["import { Compile, type Validator } from \"typebox/compile\";\nimport { ASM_CONTRACT_SCHEMAS, type AsmContractName } from \"./schemas.js\";\n\nconst validators = Object.fromEntries(\n\tObject.entries(ASM_CONTRACT_SCHEMAS).map(([name, schema]) => [name, Compile(schema)]),\n) as Record<AsmContractName, Validator>;\n\nexport interface ContractValidationError {\n\tpath: string;\n\tmessage: string;\n}\n\nexport type ContractValidationResult = { valid: true } | { valid: false; errors: ContractValidationError[] };\n\nexport function validateContract(name: AsmContractName, value: unknown): ContractValidationResult {\n\tconst validator = validators[name];\n\tif (validator.Check(value)) return { valid: true };\n\treturn {\n\t\tvalid: false,\n\t\terrors: [...validator.Errors(value)].map((error) => ({ path: error.instancePath, message: error.message })),\n\t};\n}\n\nexport function assertContract(name: AsmContractName, value: unknown): void {\n\tconst result = validateContract(name, value);\n\tif (!result.valid) {\n\t\tthrow new Error(\n\t\t\t`Invalid ${name} contract: ${result.errors.map((error) => `${error.path || \"/\"} ${error.message}`).join(\"; \")}`,\n\t\t);\n\t}\n}\n"]}

package/dist/validation.js

@@ -0,0 +1,19 @@
+import { Compile } from "typebox/compile";
+import { ASM_CONTRACT_SCHEMAS } from "./schemas.js";
+const validators = Object.fromEntries(Object.entries(ASM_CONTRACT_SCHEMAS).map(([name, schema]) => [name, Compile(schema)]));
+export function validateContract(name, value) {
+    const validator = validators[name];
+    if (validator.Check(value))
+        return { valid: true };
+    return {
+        valid: false,
+        errors: [...validator.Errors(value)].map((error) => ({ path: error.instancePath, message: error.message })),
+    };
+}
+export function assertContract(name, value) {
+    const result = validateContract(name, value);
+    if (!result.valid) {
+        throw new Error(`Invalid ${name} contract: ${result.errors.map((error) => `${error.path || "/"} ${error.message}`).join("; ")}`);
+    }
+}
+//# sourceMappingURL=validation.js.map

package/dist/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAkB,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAwB,MAAM,cAAc,CAAC;AAE1E,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CACpC,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAC/C,CAAC;AASxC,MAAM,UAAU,gBAAgB,CAAC,IAAqB,EAAE,KAAc,EAA4B;IACjG,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACnD,OAAO;QACN,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;KAC3G,CAAC;AAAA,CACF;AAED,MAAM,UAAU,cAAc,CAAC,IAAqB,EAAE,KAAc,EAAQ;IAC3E,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CACd,WAAW,IAAI,cAAc,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/G,CAAC;IACH,CAAC;AAAA,CACD","sourcesContent":["import { Compile, type Validator } from \"typebox/compile\";\nimport { ASM_CONTRACT_SCHEMAS, type AsmContractName } from \"./schemas.js\";\n\nconst validators = Object.fromEntries(\n\tObject.entries(ASM_CONTRACT_SCHEMAS).map(([name, schema]) => [name, Compile(schema)]),\n) as Record<AsmContractName, Validator>;\n\nexport interface ContractValidationError {\n\tpath: string;\n\tmessage: string;\n}\n\nexport type ContractValidationResult = { valid: true } | { valid: false; errors: ContractValidationError[] };\n\nexport function validateContract(name: AsmContractName, value: unknown): ContractValidationResult {\n\tconst validator = validators[name];\n\tif (validator.Check(value)) return { valid: true };\n\treturn {\n\t\tvalid: false,\n\t\terrors: [...validator.Errors(value)].map((error) => ({ path: error.instancePath, message: error.message })),\n\t};\n}\n\nexport function assertContract(name: AsmContractName, value: unknown): void {\n\tconst result = validateContract(name, value);\n\tif (!result.valid) {\n\t\tthrow new Error(\n\t\t\t`Invalid ${name} contract: ${result.errors.map((error) => `${error.path || \"/\"} ${error.message}`).join(\"; \")}`,\n\t\t);\n\t}\n}\n"]}

package/package.json

@@ -0,0 +1,44 @@
+{
+	"name": "@asm-agent/contracts",
+	"version": "0.8.2",
+	"description": "Versioned ASM Agent contracts and capability negotiation",
+	"type": "module",
+	"main": "./dist/index.js",
+	"types": "./dist/index.d.ts",
+	"exports": {
+		".": {
+			"types": "./dist/index.d.ts",
+			"import": "./dist/index.js"
+		}
+	},
+	"files": [
+		"dist",
+		"schemas",
+		"python",
+		"README.md"
+	],
+	"scripts": {
+		"clean": "shx rm -rf dist",
+		"build": "tsgo -p tsconfig.build.json",
+		"generate": "tsx scripts/generate.ts",
+		"test": "vitest --run",
+		"prepublishOnly": "npm run clean && npm run generate && npm run build"
+	},
+	"dependencies": {
+		"typebox": "^1.3.9"
+	},
+	"devDependencies": {
+		"@types/node": "^24.3.0",
+		"typescript": "^7.0.2",
+		"vitest": "^4.1.10"
+	},
+	"engines": {
+		"node": ">=22.8.0"
+	},
+	"license": "(AGPL-3.0-only OR LicenseRef-ASM-Commercial)",
+	"repository": {
+		"type": "git",
+		"url": "git+https://github.com/AletheionAGI/asm-agent.git",
+		"directory": "packages/contracts"
+	}
+}

package/python/asm_contracts.py

@@ -0,0 +1,170 @@
+# Generated from src/schemas.ts. Do not edit manually.
+from __future__ import annotations
+
+from dataclasses import dataclass, field
+from datetime import datetime
+from typing import Any, Literal
+
+NAMESPACE = "ai.aletheion.asm"
+MAJOR = 1
+MINOR = 1
+
+JsonObject = dict[str, Any]
+
+@dataclass(frozen=True, slots=True)
+class Header:
+    namespace: Literal["ai.aletheion.asm"] = NAMESPACE
+    major: Literal[1] = MAJOR
+    minor: int = MINOR
+
+    def __post_init__(self) -> None:
+        if self.namespace != NAMESPACE or self.major != MAJOR or self.minor < 0:
+            raise ValueError("unsupported ASM contract header")
+
+@dataclass(frozen=True, slots=True)
+class MemoryContract:
+    header: Header
+    memory_id: str
+    revision: int
+    owner_id: str
+    project_id: str
+    kind: Literal["observation", "fact", "instruction"]
+    content: str
+    evidence_ids: tuple[str, ...]
+    created_at: datetime
+    session_id: str | None = None
+    tombstoned_at: datetime | None = None
+    metadata: JsonObject = field(default_factory=dict)
+
+@dataclass(frozen=True, slots=True)
+class EvidenceContract:
+    header: Header
+    evidence_id: str
+    owner_id: str
+    project_id: str
+    source_type: Literal["user", "tool", "document", "system"]
+    digest: str
+    captured_at: datetime
+    content_type: str
+    source_uri: str | None = None
+    metadata: JsonObject = field(default_factory=dict)
+
+@dataclass(frozen=True, slots=True)
+class RetrievalCandidate:
+    memory_id: str
+    score: float
+    selected: bool
+    reason_codes: tuple[str, ...]
+
+@dataclass(frozen=True, slots=True)
+class RetrievalContract:
+    header: Header
+    request_id: str
+    owner_id: str
+    project_id: str
+    query: str
+    limit: int
+    algorithm: str
+    candidates: tuple[RetrievalCandidate, ...]
+    started_at: datetime
+    latency_ms: int
+    session_id: str | None = None
+
+@dataclass(frozen=True, slots=True)
+class IntentContract:
+    header: Header
+    intent_id: str
+    operation: Literal["diagnose", "read", "write", "execute", "communicate", "deploy", "purchase", "delete"]
+    resources: tuple[str, ...]
+    external_effect: bool
+    requested_at: datetime
+    arguments: JsonObject
+    idempotency_key: str | None = None
+
+@dataclass(frozen=True, slots=True)
+class PolicyContract:
+    header: Header
+    decision_id: str
+    intent_id: str
+    outcome: Literal["allow", "deny", "require_approval"]
+    reason_codes: tuple[str, ...]
+    required_approvals: tuple[str, ...]
+    decided_at: datetime
+    policy_version: str
+
+@dataclass(frozen=True, slots=True)
+class FeedbackContract:
+    header: Header
+    feedback_id: str
+    target_type: Literal["memory", "retrieval", "action"]
+    target_id: str
+    rating: Literal["positive", "negative", "correction"]
+    created_at: datetime
+    comment: str | None = None
+
+@dataclass(frozen=True, slots=True)
+class StateSnapshotContract:
+    header: Header
+    snapshot_id: str
+    session_id: str
+    sequence: int
+    state: JsonObject
+    digest: str
+    created_at: datetime
+
+@dataclass(frozen=True, slots=True)
+class InferenceManifestContract:
+    header: Header
+    manifest_id: str
+    model_id: str
+    model_version: str
+    backend: Literal["deterministic", "vector", "causal_head", "dual_asm", "asm_cm"]
+    contract_majors: dict[str, int]
+    parameters: JsonObject
+    created_at: datetime
+    artifact_digest: str | None = None
+
+REQUIRED_FIELDS: dict[str, frozenset[str]] = {
+    "memory": frozenset({"header", "memoryId", "revision", "ownerId", "projectId", "kind", "content", "evidenceIds", "createdAt"}),
+    "evidence": frozenset({"header", "evidenceId", "ownerId", "projectId", "sourceType", "digest", "capturedAt", "contentType"}),
+    "retrieval": frozenset({"header", "requestId", "ownerId", "projectId", "query", "limit", "algorithm", "candidates", "startedAt", "latencyMs"}),
+    "intent": frozenset({"header", "intentId", "operation", "resources", "externalEffect", "requestedAt", "arguments"}),
+    "policy": frozenset({"header", "decisionId", "intentId", "outcome", "reasonCodes", "requiredApprovals", "decidedAt", "policyVersion"}),
+    "feedback": frozenset({"header", "feedbackId", "targetType", "targetId", "rating", "createdAt"}),
+    "stateSnapshot": frozenset({"header", "snapshotId", "sessionId", "sequence", "state", "digest", "createdAt"}),
+    "inferenceManifest": frozenset({"header", "manifestId", "modelId", "modelVersion", "backend", "contractMajors", "parameters", "createdAt"}),
+}
+
+OPTIONAL_FIELDS: dict[str, frozenset[str]] = {
+    "memory": frozenset({"sessionId", "tombstonedAt", "metadata"}),
+    "evidence": frozenset({"sourceUri", "metadata"}),
+    "retrieval": frozenset({"sessionId"}),
+    "intent": frozenset({"idempotencyKey"}),
+    "policy": frozenset(),
+    "feedback": frozenset({"comment"}),
+    "stateSnapshot": frozenset(),
+    "inferenceManifest": frozenset({"artifactDigest"}),
+}
+
+def validate_wire_contract(name: str, payload: object) -> None:
+    if name not in REQUIRED_FIELDS:
+        raise ValueError(f"unknown ASM contract: {name}")
+    if not isinstance(payload, dict):
+        raise ValueError("ASM contract payload must be an object")
+    keys = set(payload)
+    missing = REQUIRED_FIELDS[name] - keys
+    unknown = keys - REQUIRED_FIELDS[name] - OPTIONAL_FIELDS[name]
+    if missing:
+        raise ValueError(f"missing fields: {sorted(missing)}")
+    if unknown:
+        raise ValueError(f"unknown fields: {sorted(unknown)}")
+    header = payload.get("header")
+    if not isinstance(header, dict):
+        raise ValueError("header must be an object")
+    if set(header) != {"namespace", "major", "minor"}:
+        raise ValueError("invalid header fields")
+    if header.get("namespace") != NAMESPACE or header.get("major") != MAJOR:
+        raise ValueError("unsupported ASM contract header")
+    minor = header.get("minor")
+    if not isinstance(minor, int) or isinstance(minor, bool) or minor < 0:
+        raise ValueError("header minor must be a non-negative integer")

package/schemas/evidence.schema.json

@@ -0,0 +1,97 @@
+{
+  "type": "object",
+  "required": [
+    "header",
+    "evidenceId",
+    "ownerId",
+    "projectId",
+    "sourceType",
+    "digest",
+    "capturedAt",
+    "contentType"
+  ],
+  "properties": {
+    "header": {
+      "type": "object",
+      "required": [
+        "namespace",
+        "major",
+        "minor"
+      ],
+      "properties": {
+        "namespace": {
+          "type": "string",
+          "const": "ai.aletheion.asm"
+        },
+        "major": {
+          "type": "number",
+          "const": 1
+        },
+        "minor": {
+          "type": "integer",
+          "minimum": 0
+        }
+      },
+      "additionalProperties": false
+    },
+    "evidenceId": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 200
+    },
+    "ownerId": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 200
+    },
+    "projectId": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 200
+    },
+    "sourceType": {
+      "anyOf": [
+        {
+          "type": "string",
+          "const": "user"
+        },
+        {
+          "type": "string",
+          "const": "tool"
+        },
+        {
+          "type": "string",
+          "const": "document"
+        },
+        {
+          "type": "string",
+          "const": "system"
+        }
+      ]
+    },
+    "sourceUri": {
+      "type": "string",
+      "maxLength": 4096
+    },
+    "digest": {
+      "type": "string",
+      "pattern": "^[a-f0-9]{64}$"
+    },
+    "capturedAt": {
+      "type": "string",
+      "format": "date-time"
+    },
+    "contentType": {
+      "type": "string",
+      "minLength": 1
+    },
+    "metadata": {
+      "type": "object",
+      "patternProperties": {
+        "^.*$": {}
+      }
+    }
+  },
+  "additionalProperties": false,
+  "$id": "asm-evidence-v1"
+}

package/schemas/feedback.schema.json

@@ -0,0 +1,88 @@
+{
+  "type": "object",
+  "required": [
+    "header",
+    "feedbackId",
+    "targetType",
+    "targetId",
+    "rating",
+    "createdAt"
+  ],
+  "properties": {
+    "header": {
+      "type": "object",
+      "required": [
+        "namespace",
+        "major",
+        "minor"
+      ],
+      "properties": {
+        "namespace": {
+          "type": "string",
+          "const": "ai.aletheion.asm"
+        },
+        "major": {
+          "type": "number",
+          "const": 1
+        },
+        "minor": {
+          "type": "integer",
+          "minimum": 0
+        }
+      },
+      "additionalProperties": false
+    },
+    "feedbackId": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 200
+    },
+    "targetType": {
+      "anyOf": [
+        {
+          "type": "string",
+          "const": "memory"
+        },
+        {
+          "type": "string",
+          "const": "retrieval"
+        },
+        {
+          "type": "string",
+          "const": "action"
+        }
+      ]
+    },
+    "targetId": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 200
+    },
+    "rating": {
+      "anyOf": [
+        {
+          "type": "string",
+          "const": "positive"
+        },
+        {
+          "type": "string",
+          "const": "negative"
+        },
+        {
+          "type": "string",
+          "const": "correction"
+        }
+      ]
+    },
+    "comment": {
+      "type": "string",
+      "maxLength": 8000
+    },
+    "createdAt": {
+      "type": "string",
+      "format": "date-time"
+    }
+  },
+  "additionalProperties": false,
+  "$id": "asm-feedback-v1"
+}