@loop-engine/core 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) Loop Engine Contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/index.d.ts

@@ -0,0 +1,2 @@
+export * from "./types";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAGA,cAAc,SAAS,CAAC"}

package/dist/index.js

@@ -0,0 +1,4 @@
+// @license MIT
+// SPDX-License-Identifier: MIT
+export * from "./types";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,eAAe;AACf,+BAA+B;AAE/B,cAAc,SAAS,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,138 @@
+export type LoopId = string & {
+    readonly __brand: "LoopId";
+};
+export type StateId = string & {
+    readonly __brand: "StateId";
+};
+export type TransitionId = string & {
+    readonly __brand: "TransitionId";
+};
+export type AggregateId = string & {
+    readonly __brand: "AggregateId";
+};
+export type ActorId = string & {
+    readonly __brand: "ActorId";
+};
+export type GuardId = string & {
+    readonly __brand: "GuardId";
+};
+export type SignalId = string & {
+    readonly __brand: "SignalId";
+};
+export type OutcomeId = string & {
+    readonly __brand: "OutcomeId";
+};
+export type CorrelationId = string & {
+    readonly __brand: "CorrelationId";
+};
+export declare function loopId(s: string): LoopId;
+export declare function stateId(s: string): StateId;
+export declare function transitionId(s: string): TransitionId;
+export declare function aggregateId(s: string): AggregateId;
+export declare function actorId(s: string): ActorId;
+export declare function guardId(s: string): GuardId;
+export declare function signalId(s: string): SignalId;
+export declare function outcomeId(s: string): OutcomeId;
+export declare function correlationId(s: string): CorrelationId;
+export type ActorType = "human" | "automation" | "ai-agent" | "webhook" | "system";
+export type LoopStatus = "OPEN" | "IN_PROGRESS" | "CLOSED" | "ERROR" | "CANCELLED";
+export interface GuardSpec {
+    id: GuardId;
+    description: string;
+    failureMessage: string;
+    severity: "hard" | "soft";
+    evaluatedBy: "runtime" | "module" | "external";
+}
+export interface BusinessMetric {
+    id: string;
+    label: string;
+    unit: "boolean" | "days" | "units" | "currency" | "percentage" | string;
+    improvableByAI: boolean;
+}
+export interface OutcomeSpec {
+    id: OutcomeId;
+    description: string;
+    valueUnit: string;
+    measurable: boolean;
+    businessMetrics?: BusinessMetric[];
+}
+export interface SideEffectSpec {
+    id: string;
+    description: string;
+    triggeredBy: TransitionId;
+}
+export interface TransitionSpec {
+    id: TransitionId;
+    from: StateId;
+    to: StateId;
+    allowedActors: ActorType[];
+    guards?: GuardSpec[];
+    sideEffects?: SideEffectSpec[];
+    description?: string;
+}
+export interface StateSpec {
+    id: StateId;
+    description?: string;
+    isTerminal?: boolean;
+    isError?: boolean;
+}
+export interface LoopDefinition {
+    id: LoopId;
+    version: string;
+    description: string;
+    domain: string;
+    states: StateSpec[];
+    initialState: StateId;
+    transitions: TransitionSpec[];
+    outcome: OutcomeSpec;
+    participants?: string[];
+    spawnableLoops?: LoopId[];
+    metadata?: Record<string, unknown>;
+}
+export interface LoopRegistry {
+    get(loopId: LoopId): LoopDefinition | undefined;
+    list(domain?: string): LoopDefinition[];
+}
+export interface ActorRef {
+    type: ActorType;
+    id: ActorId;
+    displayName?: string;
+    sessionId?: string;
+    agentId?: string;
+}
+export interface Evidence {
+    [key: string]: unknown;
+}
+export interface LoopInstance {
+    loopId: LoopId;
+    aggregateId: AggregateId;
+    orgId: string;
+    currentState: StateId;
+    status: LoopStatus;
+    startedAt: string;
+    closedAt?: string;
+    correlationId: CorrelationId;
+    metadata?: Record<string, unknown>;
+}
+export interface TransitionRecord {
+    id: string;
+    loopId: LoopId;
+    aggregateId: AggregateId;
+    transitionId: TransitionId;
+    fromState: StateId;
+    toState: StateId;
+    actor: ActorRef;
+    evidence: Evidence;
+    occurredAt: string;
+    durationMs?: number;
+}
+export interface Signal {
+    id: SignalId;
+    type: string;
+    subject: string;
+    confidence?: number;
+    observedAt: string;
+    payload: Record<string, unknown>;
+    triggeredLoopId?: LoopId;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,CAAC;AAC7D,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;CAAE,CAAC;AAC/D,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAA;CAAE,CAAC;AACzE,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;CAAE,CAAC;AACvE,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;CAAE,CAAC;AAC/D,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;CAAE,CAAC;AAC/D,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAA;CAAE,CAAC;AACjE,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AACnE,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAA;CAAE,CAAC;AAG3E,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAExC;AACD,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAE1C;AACD,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,YAAY,CAEpD;AACD,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAElD;AACD,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAE1C;AACD,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAE1C;AACD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,QAAQ,CAE5C;AACD,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,CAE9C;AACD,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,aAAa,CAEtD;AAED,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAC;AAEnF,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,aAAa,GAAG,QAAQ,GAAG,OAAO,GAAG,WAAW,CAAC;AAEnF,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,OAAO,CAAC;IACZ,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;IAC1B,WAAW,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC;CAChD;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU,GAAG,YAAY,GAAG,MAAM,CAAC;IACxE,cAAc,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,SAAS,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;IACpB,eAAe,CAAC,EAAE,cAAc,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,YAAY,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,YAAY,CAAC;IACjB,IAAI,EAAE,OAAO,CAAC;IACd,EAAE,EAAE,OAAO,CAAC;IACZ,aAAa,EAAE,SAAS,EAAE,CAAC;IAC3B,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;IACrB,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,OAAO,CAAC;IACZ,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,YAAY,EAAE,OAAO,CAAC;IACtB,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,OAAO,EAAE,WAAW,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAC;IAChD,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,cAAc,EAAE,CAAC;CACzC;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,SAAS,CAAC;IAChB,EAAE,EAAE,OAAO,CAAC;IACZ,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,WAAW,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,OAAO,CAAC;IACtB,MAAM,EAAE,UAAU,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,WAAW,CAAC;IACzB,YAAY,EAAE,YAAY,CAAC;IAC3B,SAAS,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,QAAQ,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,QAAQ,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B"}

package/dist/types.js

@@ -0,0 +1,31 @@
+// @license MIT
+// SPDX-License-Identifier: MIT
+// Helper to cast strings to branded types safely
+export function loopId(s) {
+    return s;
+}
+export function stateId(s) {
+    return s;
+}
+export function transitionId(s) {
+    return s;
+}
+export function aggregateId(s) {
+    return s;
+}
+export function actorId(s) {
+    return s;
+}
+export function guardId(s) {
+    return s;
+}
+export function signalId(s) {
+    return s;
+}
+export function outcomeId(s) {
+    return s;
+}
+export function correlationId(s) {
+    return s;
+}
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,eAAe;AACf,+BAA+B;AAa/B,iDAAiD;AACjD,MAAM,UAAU,MAAM,CAAC,CAAS;IAC9B,OAAO,CAAW,CAAC;AACrB,CAAC;AACD,MAAM,UAAU,OAAO,CAAC,CAAS;IAC/B,OAAO,CAAY,CAAC;AACtB,CAAC;AACD,MAAM,UAAU,YAAY,CAAC,CAAS;IACpC,OAAO,CAAiB,CAAC;AAC3B,CAAC;AACD,MAAM,UAAU,WAAW,CAAC,CAAS;IACnC,OAAO,CAAgB,CAAC;AAC1B,CAAC;AACD,MAAM,UAAU,OAAO,CAAC,CAAS;IAC/B,OAAO,CAAY,CAAC;AACtB,CAAC;AACD,MAAM,UAAU,OAAO,CAAC,CAAS;IAC/B,OAAO,CAAY,CAAC;AACtB,CAAC;AACD,MAAM,UAAU,QAAQ,CAAC,CAAS;IAChC,OAAO,CAAa,CAAC;AACvB,CAAC;AACD,MAAM,UAAU,SAAS,CAAC,CAAS;IACjC,OAAO,CAAc,CAAC;AACxB,CAAC;AACD,MAAM,UAAU,aAAa,CAAC,CAAS;IACrC,OAAO,CAAkB,CAAC;AAC5B,CAAC"}

package/package.json

@@ -0,0 +1,28 @@
+{
+  "name": "@loop-engine/core",
+  "version": "0.1.0",
+  "license": "MIT",
+  "description": "Domain model types for the Loop Engine - zero dependencies",
+  "type": "module",
+  "main": "./dist/index.js",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "require": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "dependencies": {},
+  "files": [
+    "dist/",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run"
+  }
+}