@ixo/topic-protocol 0.7.0 → 1.0.0-rc.1

package/dist/src/shapes/recipes.js

@@ -0,0 +1,337 @@
+function transition(input) {
+    return {
+        code: input.code,
+        phase: input.phase,
+        predecessor: { axis: input.from[0], state: input.from[1] },
+        target: { axis: input.to[0], state: input.to[1] },
+        command: input.command,
+        requiredAbility: input.ability,
+        assignedTo: { kind: input.assignee[0], value: input.assignee[1] },
+        gates: input.gates ?? [],
+        confirmation: input.confirmation ?? "none",
+        consequence: input.consequence ?? "shared-state",
+        evidence: input.evidence,
+        ...(input.completesTopic === undefined ? {} : { completesTopic: input.completesTopic }),
+        ...(input.handoff === undefined ? {} : { handoff: input.handoff }),
+        presentation: { reasonCode: input.reasonCode ?? input.code },
+    };
+}
+function axis(code, phase, initialState, terminalState, intermediateStates = []) {
+    return {
+        code,
+        phase,
+        required: true,
+        initialState,
+        states: [
+            { code: initialState },
+            ...intermediateStates.map((state) => ({ code: state })),
+            { code: terminalState, terminal: true },
+        ],
+    };
+}
+const OPERATION = (type) => ({ kind: "operation", type });
+const RECORD = (type) => ({ kind: "record", type, finality: "accepted" });
+const RECEIPT = (type) => ({ kind: "receipt", type, finality: "final" });
+const CONTRACT_AXIS = axis("contract", "forming", "draft", "accepted");
+const WORK_AXIS = axis("work", "working", "pending", "submitted", ["in-progress"]);
+const TOPIC_AXIS = axis("topic", "complete", "open", "complete");
+const VERIFY_AXIS = axis("verification", "verifying", "pending", "verified");
+const DECISION_AXIS = axis("decision", "deciding", "pending", "approved");
+const EFFECT_AXIS = axis("effect", "effecting", "pending", "confirmed", ["requested"]);
+const SETTLEMENT_AXIS = axis("settlement", "settling", "pending", "final");
+const CORE_TRANSITIONS = [
+    transition({
+        code: "edit-terms",
+        phase: "forming",
+        from: ["contract", "draft"],
+        to: ["contract", "draft"],
+        command: "topic.edit-terms",
+        ability: "topic/write",
+        assignee: ["role", "contract-acceptor"],
+        evidence: OPERATION("update-contract"),
+        reasonCode: "terms-need-input",
+    }),
+    transition({
+        code: "accept-terms",
+        phase: "forming",
+        from: ["contract", "draft"],
+        to: ["contract", "accepted"],
+        command: "topic.accept-terms",
+        ability: "topic/accept-contract",
+        assignee: ["role", "contract-acceptor"],
+        evidence: OPERATION("accept-contract"),
+        confirmation: "viewer",
+        reasonCode: "terms-await-acceptance",
+    }),
+    transition({
+        code: "start-work",
+        phase: "working",
+        from: ["work", "pending"],
+        to: ["work", "in-progress"],
+        command: "topic.start-work",
+        ability: "topic/write",
+        assignee: ["role", "worker"],
+        evidence: OPERATION("change-progress"),
+        gates: [{ kind: "axis", axis: "contract", states: ["accepted"] }],
+    }),
+    transition({
+        code: "answer-question",
+        phase: "working",
+        from: ["work", "in-progress"],
+        to: ["work", "in-progress"],
+        command: "topic.answer-question",
+        ability: "topic/write",
+        assignee: ["role", "worker"],
+        evidence: OPERATION("answer-question"),
+        gates: [{ kind: "field", path: "/questions/open", predicate: "present" }],
+        reasonCode: "question-awaits-answer",
+    }),
+    transition({
+        code: "change-due-date",
+        phase: "working",
+        from: ["work", "in-progress"],
+        to: ["work", "in-progress"],
+        command: "topic.change-due-date",
+        ability: "topic/write",
+        assignee: ["role", "worker"],
+        evidence: OPERATION("change-due-date"),
+        gates: [{ kind: "field", path: "/outcome/target/value", predicate: "present" }],
+        reasonCode: "due-date-review",
+    }),
+    transition({
+        code: "unblock-topic",
+        phase: "working",
+        from: ["topic", "open"],
+        to: ["topic", "open"],
+        command: "topic.unblock",
+        ability: "topic/unblock",
+        assignee: ["role", "block-resolver"],
+        evidence: OPERATION("unblock-topic"),
+        gates: [{ kind: "condition", states: ["blocked"] }],
+        reasonCode: "topic-blocked",
+    }),
+    transition({
+        code: "submit-work",
+        phase: "working",
+        from: ["work", "in-progress"],
+        to: ["work", "submitted"],
+        command: "topic.record-outcome",
+        ability: "topic/record-outcome",
+        assignee: ["role", "worker"],
+        evidence: RECORD("ixo.topic.work-submission"),
+    }),
+    transition({
+        code: "complete-topic",
+        phase: "complete",
+        from: ["topic", "open"],
+        to: ["topic", "complete"],
+        command: "topic.complete",
+        ability: "topic/confirm-completion",
+        assignee: ["role", "completion-authority"],
+        evidence: OPERATION("complete-topic"),
+        confirmation: "authority",
+        completesTopic: true,
+        gates: [{ kind: "axis", axis: "work", states: ["submitted"] }],
+    }),
+];
+const TASK_ACCEPTANCE_FIELDS = [
+    { kind: "field", path: "/title", predicate: "present" },
+    { kind: "field", path: "/intent", predicate: "present" },
+    { kind: "field", path: "/outcome/statement", predicate: "present" },
+    { kind: "field", path: "/ownerId", predicate: "present" },
+];
+const ACCEPTANCE_FIELDS = {
+    task: TASK_ACCEPTANCE_FIELDS,
+    agent_task: TASK_ACCEPTANCE_FIELDS,
+    proposal: [
+        { kind: "field", path: "/title", predicate: "present" },
+        { kind: "field", path: "/intent", predicate: "present" },
+        { kind: "field", path: "/outcome/statement", predicate: "present" },
+        { kind: "field", path: "/decision/governanceProposal", predicate: "present" },
+    ],
+    evaluation: [
+        { kind: "field", path: "/title", predicate: "present" },
+        { kind: "field", path: "/intent", predicate: "present" },
+        { kind: "field", path: "/outcome/statement", predicate: "present" },
+        { kind: "field", path: "/decision", predicate: "present" },
+    ],
+    claims: [
+        { kind: "field", path: "/title", predicate: "present" },
+        { kind: "field", path: "/intent", predicate: "present" },
+        { kind: "field", path: "/outcome/statement", predicate: "present" },
+        { kind: "field", path: "/claimBinding/entityDid", predicate: "present" },
+        { kind: "field", path: "/claimBinding/collectionId", predicate: "present" },
+    ],
+    question: [
+        { kind: "field", path: "/title", predicate: "present" },
+        { kind: "field", path: "/intent", predicate: "present" },
+        { kind: "field", path: "/outcome/statement", predicate: "present" },
+        { kind: "field", path: "/completion/acceptanceAuthorityIds", predicate: "present" },
+    ],
+    discussion: [
+        { kind: "field", path: "/title", predicate: "present" },
+        { kind: "field", path: "/intent", predicate: "present" },
+        { kind: "field-any", paths: ["/temporalMode", "/completion/definition"], predicate: "present" },
+    ],
+    incident: [
+        { kind: "field", path: "/title", predicate: "present" },
+        { kind: "field", path: "/intent", predicate: "present" },
+        { kind: "field", path: "/ownerId", predicate: "present" },
+        { kind: "field", path: "/completion/definition", predicate: "present" },
+    ],
+};
+function kindShape(kind) {
+    const accept = CORE_TRANSITIONS.find(({ code }) => code === "accept-terms");
+    if (accept === undefined)
+        throw new Error("Core Shape must define accept-terms");
+    return {
+        version: 1,
+        code: `kind/${kind}`,
+        transitions: [{ ...accept, gates: ACCEPTANCE_FIELDS[kind] }],
+        inferredRecordPolicy: { autoAccept: [], neverAutoAccept: [] },
+    };
+}
+export const KIND_SHAPE_REGISTRY = Object.freeze({
+    task: kindShape("task"),
+    agent_task: kindShape("agent_task"),
+    proposal: kindShape("proposal"),
+    evaluation: kindShape("evaluation"),
+    claims: kindShape("claims"),
+    question: kindShape("question"),
+    discussion: kindShape("discussion"),
+    incident: kindShape("incident"),
+});
+const PROGRESS_RULES = [
+    { code: "disputed", condition: "disputed", priority: 700, source: { kind: "record", value: "ixo.topic.dispute" } },
+    { code: "failed", condition: "failed", priority: 650, source: { kind: "receipt", value: "failed" } },
+    { code: "blocked", condition: "blocked", priority: 600, source: { kind: "topic", value: "blocked" }, requiresTarget: true },
+    { code: "waiting", condition: "waiting", priority: 500, source: { kind: "topic", value: "waiting" }, requiresTarget: true },
+    { code: "needs-input", condition: "needs-input", priority: 400, source: { kind: "record", value: "ixo.topic.question" } },
+    { code: "needs-acceptance", condition: "needs-acceptance", priority: 350, source: { kind: "axis", value: "contract" }, states: ["draft"] },
+];
+function shape(code, axes, transitions) {
+    return {
+        version: 1,
+        code,
+        axes,
+        transitions,
+        progressRules: PROGRESS_RULES,
+        inferredRecordPolicy: {
+            autoAccept: ["ixo.topic.fact", "ixo.topic.summary", "ixo.topic.classification"],
+            neverAutoAccept: ["ixo.topic.contract", "ixo.topic.outcome", "ixo.topic.authority", "ixo.topic.action", "ixo.claim", "ixo.evaluation", "ixo.settlement"],
+        },
+    };
+}
+const PROJECT_SHAPE = shape("base/project", [CONTRACT_AXIS, WORK_AXIS, TOPIC_AXIS], CORE_TRANSITIONS);
+export const BASE_RECIPE_REGISTRY = Object.freeze({
+    project: PROJECT_SHAPE,
+    flow: PROJECT_SHAPE,
+    proposal: PROJECT_SHAPE,
+    evaluation: shape("base/evaluation", [CONTRACT_AXIS, WORK_AXIS, VERIFY_AXIS, TOPIC_AXIS], CORE_TRANSITIONS),
+    claims: shape("base/claims", [CONTRACT_AXIS, WORK_AXIS, VERIFY_AXIS, DECISION_AXIS, TOPIC_AXIS], CORE_TRANSITIONS),
+    research: PROJECT_SHAPE,
+    discussion: PROJECT_SHAPE,
+    incident: PROJECT_SHAPE,
+});
+const VERIFY_TRANSITION = transition({
+    code: "record-verification",
+    phase: "verifying",
+    from: ["verification", "pending"],
+    to: ["verification", "verified"],
+    command: "topic.record-verification",
+    ability: "claim/evaluate",
+    assignee: ["role", "evaluator"],
+    evidence: RECORD("ixo.evaluation"),
+    gates: [{ kind: "axis", axis: "work", states: ["submitted"] }],
+    handoff: { kind: "flow", binding: "evaluation" },
+    reasonCode: "verification-required",
+});
+const DECIDE_TRANSITION = transition({
+    code: "record-decision",
+    phase: "deciding",
+    from: ["decision", "pending"],
+    to: ["decision", "approved"],
+    command: "topic.record-decision",
+    ability: "claim/decide",
+    assignee: ["role", "decision-authority"],
+    evidence: RECORD("ixo.decision"),
+    gates: [{ kind: "axis", axis: "verification", states: ["verified"] }],
+    confirmation: "authority",
+    reasonCode: "decision-required",
+});
+const EFFECT_TRANSITIONS = [
+    transition({
+        code: "request-action",
+        phase: "effecting",
+        from: ["effect", "pending"],
+        to: ["effect", "requested"],
+        command: "topic.request-action",
+        ability: "topic/request-action",
+        assignee: ["role", "action-requester"],
+        evidence: OPERATION("request-action"),
+        gates: [{ kind: "axis", axis: "decision", states: ["approved"] }, { kind: "binding", type: "flow" }],
+        confirmation: "viewer",
+        consequence: "external-effect",
+        handoff: { kind: "flow", binding: "action" },
+        reasonCode: "action-request-required",
+    }),
+    transition({
+        code: "confirm-action",
+        phase: "effecting",
+        from: ["effect", "requested"],
+        to: ["effect", "confirmed"],
+        command: "topic.confirm-action",
+        ability: "topic/record-action",
+        assignee: ["role", "action-confirmer"],
+        evidence: RECEIPT("ixo.action-receipt"),
+        confirmation: "authority",
+        consequence: "external-effect",
+        handoff: { kind: "flow", binding: "action" },
+        reasonCode: "action-confirmation-required",
+    }),
+];
+const SETTLE_TRANSITION = transition({
+    code: "record-settlement",
+    phase: "settling",
+    from: ["settlement", "pending"],
+    to: ["settlement", "final"],
+    command: "topic.record-settlement",
+    ability: "settlement/record",
+    assignee: ["role", "settlement-controller"],
+    evidence: RECEIPT("ixo.settlement-receipt"),
+    gates: [{ kind: "axis", axis: "effect", states: ["confirmed"] }],
+    confirmation: "authority",
+    consequence: "settlement",
+    handoff: { kind: "flow", binding: "settlement" },
+    reasonCode: "settlement-required",
+});
+function topicRecipe(code, label, description, recipeShape) {
+    return {
+        version: 1,
+        code,
+        id: `https://topic-protocol.ixo.world/recipes/${code}`,
+        recipeVersion: "1.0.0-rc.1",
+        label,
+        description,
+        baseRecipe: code === "research-brief" ? "research" : code === "agent-delivery" ? "flow" : "claims",
+        creates: "draft",
+        shape: recipeShape,
+    };
+}
+export const TOPIC_RECIPE_REGISTRY = Object.freeze({
+    "research-brief": topicRecipe("research-brief", "Research brief", "Frame a question, do the research, verify the sources, and close the brief explicitly.", shape("recipe/research-brief", [CONTRACT_AXIS, WORK_AXIS, VERIFY_AXIS, TOPIC_AXIS], [...CORE_TRANSITIONS, VERIFY_TRANSITION])),
+    "agent-delivery": topicRecipe("agent-delivery", "Agent delivery", "Commission agent work, review its delivery, and explicitly confirm any external Action.", shape("recipe/agent-delivery", [CONTRACT_AXIS, WORK_AXIS, VERIFY_AXIS, DECISION_AXIS, EFFECT_AXIS, TOPIC_AXIS], [
+        ...CORE_TRANSITIONS,
+        VERIFY_TRANSITION,
+        DECIDE_TRANSITION,
+        ...EFFECT_TRANSITIONS,
+    ])),
+    "verified-work-payment": topicRecipe("verified-work-payment", "Verified work payment", "Bind one entity and claim collection, verify work, decide, execute through Flow, and observe settlement finality.", shape("recipe/verified-work-payment", [CONTRACT_AXIS, WORK_AXIS, VERIFY_AXIS, DECISION_AXIS, EFFECT_AXIS, SETTLEMENT_AXIS, TOPIC_AXIS], [
+        ...CORE_TRANSITIONS,
+        VERIFY_TRANSITION,
+        DECIDE_TRANSITION,
+        ...EFFECT_TRANSITIONS,
+        SETTLE_TRANSITION,
+    ])),
+});
+//# sourceMappingURL=recipes.js.map

package/dist/src/shapes/recipes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recipes.js","sourceRoot":"","sources":["../../../src/shapes/recipes.ts"],"names":[],"mappings":"AAgCA,SAAS,UAAU,CAAC,KAAsB;IACxC,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACjD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,eAAe,EAAE,KAAK,CAAC,OAAO;QAC9B,UAAU,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;QACjE,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,EAAE;QACxB,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,MAAM;QAC1C,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,cAAc;QAChD,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;QACvF,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAClE,YAAY,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,EAAE;KAC7D,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CACX,IAAY,EACZ,KAAmB,EACnB,YAAoB,EACpB,aAAqB,EACrB,qBAAwC,EAAE;IAE1C,OAAO;QACL,IAAI;QACJ,KAAK;QACL,QAAQ,EAAE,IAAI;QACd,YAAY;QACZ,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,YAAY,EAAE;YACtB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACvD,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;SACxC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,IAAY,EAA8B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9F,MAAM,MAAM,GAAG,CAAC,IAAY,EAA8B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;AAC9G,MAAM,OAAO,GAAG,CAAC,IAAY,EAA8B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE7G,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;AACvE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;AACnF,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AACjE,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;AAC7E,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;AAC1E,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;AACvF,MAAM,eAAe,GAAG,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;AAE3E,MAAM,gBAAgB,GAAiC;IACrD,UAAU,CAAC;QACT,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC;QAC3B,EAAE,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC;QACzB,OAAO,EAAE,kBAAkB;QAC3B,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,mBAAmB,CAAC;QACvC,QAAQ,EAAE,SAAS,CAAC,iBAAiB,CAAC;QACtC,UAAU,EAAE,kBAAkB;KAC/B,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,cAAc;QACpB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC;QAC3B,EAAE,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC5B,OAAO,EAAE,oBAAoB;QAC7B,OAAO,EAAE,uBAAuB;QAChC,QAAQ,EAAE,CAAC,MAAM,EAAE,mBAAmB,CAAC;QACvC,QAAQ,EAAE,SAAS,CAAC,iBAAiB,CAAC;QACtC,YAAY,EAAE,QAAQ;QACtB,UAAU,EAAE,wBAAwB;KACrC,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;QACzB,EAAE,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC3B,OAAO,EAAE,kBAAkB;QAC3B,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5B,QAAQ,EAAE,SAAS,CAAC,iBAAiB,CAAC;QACtC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;KAClE,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,iBAAiB;QACvB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,EAAE,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC3B,OAAO,EAAE,uBAAuB;QAChC,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5B,QAAQ,EAAE,SAAS,CAAC,iBAAiB,CAAC;QACtC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;QACzE,UAAU,EAAE,wBAAwB;KACrC,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,iBAAiB;QACvB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,EAAE,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC3B,OAAO,EAAE,uBAAuB;QAChC,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5B,QAAQ,EAAE,SAAS,CAAC,iBAAiB,CAAC;QACtC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,uBAAuB,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;QAC/E,UAAU,EAAE,iBAAiB;KAC9B,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,eAAe;QACrB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;QACvB,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;QACrB,OAAO,EAAE,eAAe;QACxB,OAAO,EAAE,eAAe;QACxB,QAAQ,EAAE,CAAC,MAAM,EAAE,gBAAgB,CAAC;QACpC,QAAQ,EAAE,SAAS,CAAC,eAAe,CAAC;QACpC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,UAAU,EAAE,eAAe;KAC5B,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,aAAa;QACnB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,EAAE,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC;QACzB,OAAO,EAAE,sBAAsB;QAC/B,OAAO,EAAE,sBAAsB;QAC/B,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5B,QAAQ,EAAE,MAAM,CAAC,2BAA2B,CAAC;KAC9C,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;QACvB,EAAE,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC;QACzB,OAAO,EAAE,gBAAgB;QACzB,OAAO,EAAE,0BAA0B;QACnC,QAAQ,EAAE,CAAC,MAAM,EAAE,sBAAsB,CAAC;QAC1C,QAAQ,EAAE,SAAS,CAAC,gBAAgB,CAAC;QACrC,YAAY,EAAE,WAAW;QACzB,cAAc,EAAE,IAAI;QACpB,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;KAC/D,CAAC;CACH,CAAC;AAEF,MAAM,sBAAsB,GAA2B;IACrD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;IACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;IACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE;IACnE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE;CAC1D,CAAC;AAEF,MAAM,iBAAiB,GAAiE;IACtF,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE,sBAAsB;IAClC,QAAQ,EAAE;QACR,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE;QACnE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,8BAA8B,EAAE,SAAS,EAAE,SAAS,EAAE;KAC9E;IACD,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE;QACnE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE;KAC3D;IACD,MAAM,EAAE;QACN,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE;QACnE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,SAAS,EAAE,SAAS,EAAE;QACxE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,4BAA4B,EAAE,SAAS,EAAE,SAAS,EAAE;KAC5E;IACD,QAAQ,EAAE;QACR,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE;QACnE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oCAAoC,EAAE,SAAS,EAAE,SAAS,EAAE;KACpF;IACD,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE;KAChG;IACD,QAAQ,EAAE;QACR,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE;QACzD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,SAAS,EAAE,SAAS,EAAE;KACxE;CACF,CAAC;AAEF,SAAS,SAAS,CAAC,IAAwB;IACzC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC;IAC5E,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACjF,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,QAAQ,IAAI,EAAE;QACpB,WAAW,EAAE,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5D,oBAAoB,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE;KAC9D,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAA8D,MAAM,CAAC,MAAM,CAAC;IAC1G,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC;IACvB,UAAU,EAAE,SAAS,CAAC,YAAY,CAAC;IACnC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC;IAC/B,UAAU,EAAE,SAAS,CAAC,YAAY,CAAC;IACnC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC;IAC3B,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC;IAC/B,UAAU,EAAE,SAAS,CAAC,YAAY,CAAC;IACnC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC;CAChC,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG;IACrB,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,mBAAmB,EAAE,EAAE;IAClH,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;IACpG,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE;IAC3H,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE;IAC3H,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,EAAE,EAAE;IACzH,EAAE,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE;CAClI,CAAC;AAEX,SAAS,KAAK,CAAC,IAAY,EAAE,IAAiC,EAAE,WAAyC;IACvG,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI;QACJ,IAAI;QACJ,WAAW;QACX,aAAa,EAAE,cAAc;QAC7B,oBAAoB,EAAE;YACpB,UAAU,EAAE,CAAC,gBAAgB,EAAE,mBAAmB,EAAE,0BAA0B,CAAC;YAC/E,eAAe,EAAE,CAAC,oBAAoB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,WAAW,EAAE,gBAAgB,EAAE,gBAAgB,CAAC;SACzJ;KACF,CAAC;AACJ,CAAC;AAED,MAAM,aAAa,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,gBAAgB,CAAC,CAAC;AAEtG,MAAM,CAAC,MAAM,oBAAoB,GAAqD,MAAM,CAAC,MAAM,CAAC;IAClG,OAAO,EAAE,aAAa;IACtB,IAAI,EAAE,aAAa;IACnB,QAAQ,EAAE,aAAa;IACvB,UAAU,EAAE,KAAK,CAAC,iBAAiB,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC3G,MAAM,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAClH,QAAQ,EAAE,aAAa;IACvB,UAAU,EAAE,aAAa;IACzB,QAAQ,EAAE,aAAa;CACxB,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACnC,IAAI,EAAE,qBAAqB;IAC3B,KAAK,EAAE,WAAW;IAClB,IAAI,EAAE,CAAC,cAAc,EAAE,SAAS,CAAC;IACjC,EAAE,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC;IAChC,OAAO,EAAE,2BAA2B;IACpC,OAAO,EAAE,gBAAgB;IACzB,QAAQ,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC;IAClC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;IAC9D,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE;IAChD,UAAU,EAAE,uBAAuB;CACpC,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACnC,IAAI,EAAE,iBAAiB;IACvB,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;IAC7B,EAAE,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;IAC5B,OAAO,EAAE,uBAAuB;IAChC,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACxC,QAAQ,EAAE,MAAM,CAAC,cAAc,CAAC;IAChC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;IACrE,YAAY,EAAE,WAAW;IACzB,UAAU,EAAE,mBAAmB;CAChC,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG;IACzB,UAAU,CAAC;QACT,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,WAAW;QAClB,IAAI,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;QAC3B,EAAE,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC;QAC3B,OAAO,EAAE,sBAAsB;QAC/B,OAAO,EAAE,sBAAsB;QAC/B,QAAQ,EAAE,CAAC,MAAM,EAAE,kBAAkB,CAAC;QACtC,QAAQ,EAAE,SAAS,CAAC,gBAAgB,CAAC;QACrC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACpG,YAAY,EAAE,QAAQ;QACtB,WAAW,EAAE,iBAAiB;QAC9B,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE;QAC5C,UAAU,EAAE,yBAAyB;KACtC,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,WAAW;QAClB,IAAI,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC;QAC7B,EAAE,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC;QAC3B,OAAO,EAAE,sBAAsB;QAC/B,OAAO,EAAE,qBAAqB;QAC9B,QAAQ,EAAE,CAAC,MAAM,EAAE,kBAAkB,CAAC;QACtC,QAAQ,EAAE,OAAO,CAAC,oBAAoB,CAAC;QACvC,YAAY,EAAE,WAAW;QACzB,WAAW,EAAE,iBAAiB;QAC9B,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE;QAC5C,UAAU,EAAE,8BAA8B;KAC3C,CAAC;CACM,CAAC;AAEX,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACnC,IAAI,EAAE,mBAAmB;IACzB,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,CAAC,YAAY,EAAE,SAAS,CAAC;IAC/B,EAAE,EAAE,CAAC,YAAY,EAAE,OAAO,CAAC;IAC3B,OAAO,EAAE,yBAAyB;IAClC,OAAO,EAAE,mBAAmB;IAC5B,QAAQ,EAAE,CAAC,MAAM,EAAE,uBAAuB,CAAC;IAC3C,QAAQ,EAAE,OAAO,CAAC,wBAAwB,CAAC;IAC3C,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;IAChE,YAAY,EAAE,WAAW;IACzB,WAAW,EAAE,YAAY;IACzB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE;IAChD,UAAU,EAAE,qBAAqB;CAClC,CAAC,CAAC;AAEH,SAAS,WAAW,CAClB,IAA2B,EAC3B,KAAa,EACb,WAAmB,EACnB,WAAyB;IAEzB,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI;QACJ,EAAE,EAAE,4CAA4C,IAAI,EAAE;QACtD,aAAa,EAAE,YAAY;QAC3B,KAAK;QACL,WAAW;QACX,UAAU,EAAE,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;QAClG,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,WAAW;KACnB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,qBAAqB,GAA2D,MAAM,CAAC,MAAM,CAAC;IACzG,gBAAgB,EAAE,WAAW,CAC3B,gBAAgB,EAChB,gBAAgB,EAChB,wFAAwF,EACxF,KAAK,CAAC,uBAAuB,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,GAAG,gBAAgB,EAAE,iBAAiB,CAAC,CAAC,CAC9H;IACD,gBAAgB,EAAE,WAAW,CAC3B,gBAAgB,EAChB,gBAAgB,EAChB,yFAAyF,EACzF,KAAK,CAAC,uBAAuB,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE;QAC9G,GAAG,gBAAgB;QACnB,iBAAiB;QACjB,iBAAiB;QACjB,GAAG,kBAAkB;KACtB,CAAC,CACH;IACD,uBAAuB,EAAE,WAAW,CAClC,uBAAuB,EACvB,uBAAuB,EACvB,mHAAmH,EACnH,KAAK,CAAC,8BAA8B,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,eAAe,EAAE,UAAU,CAAC,EAAE;QACtI,GAAG,gBAAgB;QACnB,iBAAiB;QACjB,iBAAiB;QACjB,GAAG,kBAAkB;QACrB,iBAAiB;KAClB,CAAC,CACH;CACF,CAAC,CAAC"}

package/dist/src/shapes/resolver.d.ts

@@ -0,0 +1,14 @@
+import { type PersistedTopicKind } from "../contracts/topic-contract.js";
+import type { BaseRecipeCodeV1, EffectiveTopicShapeV1, TopicRecipeRefV1, TopicRecipeV1, TopicShapeOverlayV1, TopicShapeSourceRefV1 } from "./types.js";
+export interface ResolveEffectiveTopicShapeInputV1 {
+    readonly baseRecipe: BaseRecipeCodeV1;
+    readonly kind?: PersistedTopicKind;
+    readonly topicRecipeRef?: TopicRecipeRefV1;
+    readonly recipeRegistry?: Readonly<Record<string, TopicRecipeV1>>;
+    readonly overlays?: readonly {
+        readonly source: TopicShapeSourceRefV1;
+        readonly shape: TopicShapeOverlayV1;
+    }[];
+}
+export declare function resolveEffectiveTopicShape(input: ResolveEffectiveTopicShapeInputV1): EffectiveTopicShapeV1;
+export declare function topicRecipeRef(recipe: TopicRecipeV1): TopicRecipeRefV1;

package/dist/src/shapes/resolver.js

@@ -0,0 +1,111 @@
+import { TopicProtocolError } from "../errors.js";
+import { topicRecipeForKind } from "../contracts/topic-contract.js";
+import { shapeDigest } from "./canonical.js";
+import { BASE_RECIPE_REGISTRY, KIND_SHAPE_REGISTRY, TOPIC_RECIPE_REGISTRY } from "./recipes.js";
+function replaceByCode(base, overlay) {
+    const values = new Map(base.map((value) => [value.code, value]));
+    for (const value of overlay)
+        values.set(value.code, value);
+    return [...values.values()].sort((left, right) => left.code.localeCompare(right.code));
+}
+function mergeShape(base, overlay) {
+    return {
+        version: 1,
+        code: overlay.code,
+        axes: replaceByCode(base.axes, overlay.axes ?? []),
+        transitions: replaceByCode(base.transitions, overlay.transitions ?? []),
+        progressRules: replaceByCode(base.progressRules, overlay.progressRules ?? []),
+        inferredRecordPolicy: {
+            autoAccept: [...new Set([...base.inferredRecordPolicy.autoAccept, ...overlay.inferredRecordPolicy.autoAccept])].sort(),
+            neverAutoAccept: [...new Set([...base.inferredRecordPolicy.neverAutoAccept, ...overlay.inferredRecordPolicy.neverAutoAccept])].sort(),
+        },
+    };
+}
+function validateAxis(axis) {
+    const states = new Set(axis.states.map(({ code }) => code));
+    if (states.has(axis.initialState) && states.size === axis.states.length)
+        return;
+    throw new TopicProtocolError("SHAPE_INVALID", `Shape axis is invalid: ${axis.code}`, { axis: axis.code });
+}
+function validateTransition(transition, axes) {
+    const predecessor = axes.get(transition.predecessor.axis);
+    const target = axes.get(transition.target.axis);
+    const valid = predecessor?.states.some(({ code }) => code === transition.predecessor.state) === true
+        && target?.states.some(({ code }) => code === transition.target.state) === true;
+    if (valid)
+        return;
+    throw new TopicProtocolError("SHAPE_INVALID", `Shape transition is invalid: ${transition.code}`, { transition: transition.code });
+}
+function validateShape(shape) {
+    for (const axis of shape.axes)
+        validateAxis(axis);
+    const axes = new Map(shape.axes.map((axis) => [axis.code, axis]));
+    for (const transition of shape.transitions)
+        validateTransition(transition, axes);
+    const completion = shape.transitions.filter(({ completesTopic }) => completesTopic === true);
+    if (completion.length === 1)
+        return;
+    throw new TopicProtocolError("SHAPE_INVALID", "A Shape must define exactly one Topic completion transition");
+}
+function recipeFor(ref, registry) {
+    const recipe = Object.values(registry).find(({ id, recipeVersion }) => id === ref.id && recipeVersion === ref.version);
+    if (recipe === undefined)
+        throw new TopicProtocolError("SHAPE_SOURCE_NOT_FOUND", `Topic Recipe not found: ${ref.id}`);
+    const digest = shapeDigest(recipe);
+    if (digest === ref.digest)
+        return recipe;
+    throw new TopicProtocolError("SHAPE_DIGEST_MISMATCH", `Topic Recipe digest does not match: ${ref.id}`, { expected: ref.digest, actual: digest });
+}
+function baseSource(baseRecipe, shape) {
+    return {
+        kind: "base-recipe",
+        id: `https://topic-protocol.ixo.world/base-recipes/${baseRecipe}`,
+        version: "1.0.0-rc.1",
+        digest: shapeDigest(shape),
+    };
+}
+export function resolveEffectiveTopicShape(input) {
+    const base = BASE_RECIPE_REGISTRY[input.baseRecipe];
+    let effective = base;
+    const sources = [baseSource(input.baseRecipe, base)];
+    if (input.topicRecipeRef !== undefined) {
+        const recipe = recipeFor(input.topicRecipeRef, input.recipeRegistry ?? TOPIC_RECIPE_REGISTRY);
+        if (recipe.baseRecipe !== input.baseRecipe) {
+            throw new TopicProtocolError("SHAPE_INVALID", "Topic Recipe does not extend the selected Base Recipe", {
+                baseRecipe: input.baseRecipe,
+                recipeBaseRecipe: recipe.baseRecipe,
+            });
+        }
+        effective = mergeShape(effective, recipe.shape);
+        sources.push({ kind: "topic-recipe", id: recipe.id, version: recipe.recipeVersion, digest: input.topicRecipeRef.digest });
+    }
+    if (input.kind !== undefined) {
+        const expectedBaseRecipe = topicRecipeForKind({ source: "standard", kind: input.kind });
+        if (expectedBaseRecipe !== input.baseRecipe) {
+            throw new TopicProtocolError("SHAPE_INVALID", "Topic Kind does not use the selected Base Recipe", {
+                kind: input.kind,
+                baseRecipe: input.baseRecipe,
+                expectedBaseRecipe,
+            });
+        }
+        const overlay = KIND_SHAPE_REGISTRY[input.kind];
+        effective = mergeShape(effective, overlay);
+        sources.push({
+            kind: "kind",
+            id: `https://topic-protocol.ixo.world/kinds/${input.kind}`,
+            version: "1.0.0-rc.1",
+            digest: shapeDigest(overlay),
+        });
+    }
+    for (const overlay of input.overlays ?? []) {
+        effective = mergeShape(effective, overlay.shape);
+        sources.push(overlay.source);
+    }
+    validateShape(effective);
+    const sortedSources = [...sources].sort((left, right) => `${left.kind}:${left.id}`.localeCompare(`${right.kind}:${right.id}`));
+    return { version: 1, shape: effective, sources: sortedSources, digest: shapeDigest({ shape: effective, sources: sortedSources }) };
+}
+export function topicRecipeRef(recipe) {
+    return { id: recipe.id, version: recipe.recipeVersion, digest: shapeDigest(recipe) };
+}
+//# sourceMappingURL=resolver.js.map

package/dist/src/shapes/resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.js","sourceRoot":"","sources":["../../../src/shapes/resolver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAA2B,MAAM,gCAAgC,CAAC;AAC7F,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAwBhG,SAAS,aAAa,CAAsC,IAAkB,EAAE,OAAqB;IACnG,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,MAAM,KAAK,IAAI,OAAO;QAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3D,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,UAAU,CAAC,IAAkB,EAAE,OAA4B;IAClE,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;QAClD,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC;QACvE,aAAa,EAAE,aAAa,CAAC,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;QAC7E,oBAAoB,EAAE;YACpB,UAAU,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,oBAAoB,CAAC,UAAU,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YACtH,eAAe,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,oBAAoB,CAAC,eAAe,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;SACtI;KACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAAsB;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO;IAChF,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,0BAA0B,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,kBAAkB,CAAC,UAA6B,EAAE,IAA2C;IACpG,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,IAAI;WAC/F,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;IAClF,IAAI,KAAK;QAAE,OAAO;IAClB,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,gCAAgC,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;AACpI,CAAC;AAED,SAAS,aAAa,CAAC,KAAmB;IACxC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI;QAAE,YAAY,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW;QAAE,kBAAkB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACjF,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;IAC7F,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACpC,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,6DAA6D,CAAC,CAAC;AAC/G,CAAC;AAED,SAAS,SAAS,CAChB,GAAqB,EACrB,QAAiD;IAEjD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,aAAa,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC;IACvH,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,kBAAkB,CAAC,wBAAwB,EAAE,2BAA2B,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACtH,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,GAAG,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC;IACzC,MAAM,IAAI,kBAAkB,CAAC,uBAAuB,EAAE,uCAAuC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;AACnJ,CAAC;AAED,SAAS,UAAU,CAAC,UAA4B,EAAE,KAAmB;IACnE,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,EAAE,EAAE,iDAAiD,UAAU,EAAE;QACjE,OAAO,EAAE,YAAY;QACrB,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC;KAC3B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAwC;IACjF,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,SAAS,GAAG,IAAI,CAAC;IACrB,MAAM,OAAO,GAA4B,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,qBAAqB,CAAC,CAAC;QAC9F,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;YAC3C,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,uDAAuD,EAAE;gBACrG,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,gBAAgB,EAAE,MAAM,CAAC,UAAU;aACpC,CAAC,CAAC;QACL,CAAC;QACD,SAAS,GAAG,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAChD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,aAAa,EAAE,MAAM,EAAE,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5H,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACxF,IAAI,kBAAkB,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;YAC5C,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,kDAAkD,EAAE;gBAChG,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,kBAAkB;aACnB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChD,SAAS,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,MAAM;YACZ,EAAE,EAAE,0CAA0C,KAAK,CAAC,IAAI,EAAE;YAC1D,OAAO,EAAE,YAAY;YACrB,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC;SAC7B,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC3C,SAAS,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IACD,aAAa,CAAC,SAAS,CAAC,CAAC;IACzB,MAAM,aAAa,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/H,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AACrI,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAqB;IAClD,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,aAAa,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;AACvF,CAAC"}

package/dist/src/shapes/state.d.ts

@@ -0,0 +1,53 @@
+import type { TopicContractBodyV3 } from "../contracts/topic-contract.js";
+import type { TopicFlowBindingV1 } from "../action-runtime/types.js";
+import type { TopicAnchor, TopicContractHeads, TopicRootV3 } from "../projector/types.js";
+import type { ResolvedTopicClaimBindingV1, TopicClaimBindingV1, TopicProgressProjectionV1, TopicShapeSourceRefV1 } from "./types.js";
+export declare const TOPIC_STATE_PROFILE_V3 = "qi.topic-contract-state/v3";
+export interface TopicContractReferenceV3 {
+    readonly revision: string;
+    readonly bodyHash: string;
+    readonly bodyRef: Readonly<Record<string, unknown>>;
+    readonly body?: TopicContractBodyV3;
+}
+export interface TopicStateBindingsV3 {
+    readonly flows?: readonly TopicFlowBindingV1[];
+    readonly context?: readonly {
+        readonly type: "ixo.resource" | "ixo.flow" | "matrix.conversation" | "ixo.entity" | "ixo.service";
+        readonly id: string;
+        readonly label?: string;
+    }[];
+    readonly udidReferences?: readonly {
+        readonly id: string;
+        readonly role: "evaluation" | "decision" | "effect" | "settlement";
+        readonly digest?: `sha256:${string}`;
+    }[];
+}
+export interface TopicContractStateV3 {
+    readonly version: 3;
+    readonly profile: typeof TOPIC_STATE_PROFILE_V3;
+    readonly schema: "https://topic-protocol.ixo.world/schemas/topic-contract-state.schema.json";
+    readonly topicId: string;
+    readonly anchor: TopicAnchor;
+    readonly manifest: TopicRootV3;
+    readonly contracts: TopicContractHeads;
+    readonly shape: {
+        readonly digest: `sha256:${string}`;
+        readonly sources: readonly TopicShapeSourceRefV1[];
+    };
+    readonly progress: TopicProgressProjectionV1;
+    readonly projection: {
+        readonly revision: string;
+        readonly contractRevision: string;
+        readonly title: string;
+        readonly status: TopicRootV3["status"];
+        readonly kindRef: TopicContractBodyV3["kindRef"];
+        readonly attachmentCount: number;
+        readonly operationCount: number;
+        readonly claimBinding?: TopicClaimBindingV1;
+        readonly claimResolution?: ResolvedTopicClaimBindingV1;
+    };
+    readonly policy: Readonly<Record<string, unknown>>;
+    readonly bindings: TopicStateBindingsV3;
+    readonly provenance: Readonly<Record<string, unknown>>;
+    readonly extensions?: Readonly<Record<string, unknown>>;
+}

package/dist/src/shapes/state.js

@@ -0,0 +1,2 @@
+export const TOPIC_STATE_PROFILE_V3 = "qi.topic-contract-state/v3";
+//# sourceMappingURL=state.js.map

package/dist/src/shapes/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/shapes/state.ts"],"names":[],"mappings":"AAUA,MAAM,CAAC,MAAM,sBAAsB,GAAG,4BAA4B,CAAC"}