obix-spec 0.2.1

package/README.md

@@ -0,0 +1,47 @@
+# obix-spec
+
+**Canonical types + structural contracts for OBIX 1.0. Zero runtime dependencies.**
+
+```bash
+npm install obix-spec
+```
+
+## Purpose
+
+`obix-spec` is the single source of truth for every OBIX interface. Nothing else
+in the family redefines `DOPArtifact`, `ActionSignature`, `BindingDescriptor`,
+`EffectDescriptor`, `A11yModel`, `TransitionMeta`, `ValidationResult`, … — they
+import from here. This is the fix for *Problem 12 — TypeScript declaration drift*:
+the types are plain TypeScript source, `.d.ts` is emitted from it, and there is no
+separate IDL generator.
+
+## Dependency role
+
+Bottom of the graph. Depends on **nothing**. Imported (types-only, mostly) by
+all 19 other packages.
+
+## Level 0 status
+
+✅ Complete. The type surface covers the full Level 0 pipeline; a few fields
+(`DOPArtifact.template`, `.style`, `.a11y`) are optional and only populated once
+the compiler runs.
+
+## Public API
+
+| Export | Kind | Notes |
+|---|---|---|
+| `SPEC_VERSION` | `"0.2.1"` | the frozen language revision |
+| `LEVEL` | `0` | implementation milestone |
+| `createScopeToken(name, sourcePath?)` | fn | the **one** scope-token function (Problem 10) |
+| `SCOPE_ATTR` | `"data-obix-scope"` | attribute the token is applied through |
+| `validateObixAST(ast)` | fn | the parser seal (Problem 7) — structural, not cryptographic |
+| `validateArtifactShape(artifact)` | fn | runtime shape check for a `DOPArtifact` |
+| `UnsupportedFeatureError` | class | `{ feature, requiredLevel, currentLevel }` |
+| `DIAGNOSTIC_CODES` | frozen map | stable `OBIX-<area><nnn>` codes |
+| *types* | — | `DOPArtifact`, `ActionFn`, `DerivedFn`, `ActionSignature`, `DerivedSignature`, `TemplateDescriptor`, `TemplateNode`, `BindingDescriptor`, `EventDescriptor`, `EffectDescriptor`, `A11yModel`, `TransitionMeta`, `ActionTrace`, `SourceSpan`, `Diagnostic`, `ValidationResult`, `ValidationDescriptor`, `DopIR`, `EmitMode`, … |
+
+## Relationship to DOP IR
+
+`obix-spec` defines the **shape** of the canonical DOP IR (`DopIR`) and of the
+runnable `DOPArtifact`. It contains no logic that builds or projects them — that
+is `obix-ir` and the adapters. Data first: the types describe data, not paradigm.

package/dist/diagnostics.d.ts

@@ -0,0 +1,33 @@
+export declare const DIAGNOSTIC_CODES: Readonly<{
+    C011_VERSION_MISMATCH: "OBIX-C011";
+    P001_MISSING_TEMPLATE: "OBIX-P001";
+    P002_MISSING_SCRIPT: "OBIX-P002";
+    P003_DUPLICATE_SECTION: "OBIX-P003";
+    P004_UNCLOSED_TAG: "OBIX-P004";
+    P005_UNEXPECTED_TOKEN: "OBIX-P005";
+    P006_BAD_INTERPOLATION: "OBIX-P006";
+    P007_UNKNOWN_DIRECTIVE: "OBIX-P007";
+    P008_BAD_COMPONENT_NAME: "OBIX-P008";
+    S001_UNKNOWN_ACTION: "OBIX-S001";
+    S002_UNKNOWN_BINDING_REF: "OBIX-S002";
+    S003_ACTION_ARITY: "OBIX-S003";
+    S004_PROP_DEP_UNDECLARED: "OBIX-S004";
+    S005_PIPELINE_INVARIANT: "OBIX-S005";
+    S006_STATE_SHAPE_NOT_CLOSED: "OBIX-S006";
+    A001_LIVE_REGION_INVALID: "OBIX-A001";
+    A002_LIVE_REGION_NO_BINDING: "OBIX-A002";
+    A003_FOCUS_POLICY: "OBIX-A003";
+    A004_HEADING_SKIP: "OBIX-A004";
+    A005_UNKNOWN_ROLE: "OBIX-A005";
+    A006_UNKNOWN_ARIA_ATTR: "OBIX-A006";
+    E001_UNSUPPORTED_EMIT_MODE: "OBIX-E001";
+    X001_ADAPTER_DIVERGENCE: "OBIX-X001";
+}>;
+export type DiagnosticCode = (typeof DIAGNOSTIC_CODES)[keyof typeof DIAGNOSTIC_CODES];
+export declare class UnsupportedFeatureError extends Error {
+    readonly feature: string;
+    readonly requiredLevel: number;
+    readonly currentLevel: number;
+    constructor(feature: string, requiredLevel: number, currentLevel?: number);
+}
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAOA,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;EA8B3B,CAAC;AAEH,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,OAAO,gBAAgB,CAAC,CAAC;AAOtF,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;gBAElB,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,YAAY,GAAE,MAAc;CASjF"}

package/dist/diagnostics.js

@@ -0,0 +1,39 @@
+import { LEVEL } from "./version.js";
+export const DIAGNOSTIC_CODES = Object.freeze({
+    C011_VERSION_MISMATCH: "OBIX-C011",
+    P001_MISSING_TEMPLATE: "OBIX-P001",
+    P002_MISSING_SCRIPT: "OBIX-P002",
+    P003_DUPLICATE_SECTION: "OBIX-P003",
+    P004_UNCLOSED_TAG: "OBIX-P004",
+    P005_UNEXPECTED_TOKEN: "OBIX-P005",
+    P006_BAD_INTERPOLATION: "OBIX-P006",
+    P007_UNKNOWN_DIRECTIVE: "OBIX-P007",
+    P008_BAD_COMPONENT_NAME: "OBIX-P008",
+    S001_UNKNOWN_ACTION: "OBIX-S001",
+    S002_UNKNOWN_BINDING_REF: "OBIX-S002",
+    S003_ACTION_ARITY: "OBIX-S003",
+    S004_PROP_DEP_UNDECLARED: "OBIX-S004",
+    S005_PIPELINE_INVARIANT: "OBIX-S005",
+    S006_STATE_SHAPE_NOT_CLOSED: "OBIX-S006",
+    A001_LIVE_REGION_INVALID: "OBIX-A001",
+    A002_LIVE_REGION_NO_BINDING: "OBIX-A002",
+    A003_FOCUS_POLICY: "OBIX-A003",
+    A004_HEADING_SKIP: "OBIX-A004",
+    A005_UNKNOWN_ROLE: "OBIX-A005",
+    A006_UNKNOWN_ARIA_ATTR: "OBIX-A006",
+    E001_UNSUPPORTED_EMIT_MODE: "OBIX-E001",
+    X001_ADAPTER_DIVERGENCE: "OBIX-X001",
+});
+export class UnsupportedFeatureError extends Error {
+    feature;
+    requiredLevel;
+    currentLevel;
+    constructor(feature, requiredLevel, currentLevel = LEVEL) {
+        super(`[OBIX] "${feature}" requires Level ${requiredLevel}; this build implements Level ${currentLevel}.`);
+        this.name = "UnsupportedFeatureError";
+        this.feature = feature;
+        this.requiredLevel = requiredLevel;
+        this.currentLevel = currentLevel;
+    }
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAOrC,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAE5C,qBAAqB,EAAE,WAAW;IAElC,qBAAqB,EAAE,WAAW;IAClC,mBAAmB,EAAE,WAAW;IAChC,sBAAsB,EAAE,WAAW;IACnC,iBAAiB,EAAE,WAAW;IAC9B,qBAAqB,EAAE,WAAW;IAClC,sBAAsB,EAAE,WAAW;IACnC,sBAAsB,EAAE,WAAW;IACnC,uBAAuB,EAAE,WAAW;IAEpC,mBAAmB,EAAE,WAAW;IAChC,wBAAwB,EAAE,WAAW;IACrC,iBAAiB,EAAE,WAAW;IAC9B,wBAAwB,EAAE,WAAW;IACrC,uBAAuB,EAAE,WAAW;IACpC,2BAA2B,EAAE,WAAW;IAExC,wBAAwB,EAAE,WAAW;IACrC,2BAA2B,EAAE,WAAW;IACxC,iBAAiB,EAAE,WAAW;IAC9B,iBAAiB,EAAE,WAAW;IAC9B,iBAAiB,EAAE,WAAW;IAC9B,sBAAsB,EAAE,WAAW;IAEnC,0BAA0B,EAAE,WAAW;IAEvC,uBAAuB,EAAE,WAAW;CACrC,CAAC,CAAC;AASH,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IACvC,OAAO,CAAS;IAChB,aAAa,CAAS;IACtB,YAAY,CAAS;IAE9B,YAAY,OAAe,EAAE,aAAqB,EAAE,eAAuB,KAAK;QAC9E,KAAK,CACH,WAAW,OAAO,oBAAoB,aAAa,iCAAiC,YAAY,GAAG,CACpG,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;QACtC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;QACnC,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IACnC,CAAC;CACF"}

package/dist/index.d.ts

@@ -0,0 +1,9 @@
+export * from "./types.js";
+export { SPEC_VERSION, LEVEL } from "./version.js";
+export type { ObixLevel } from "./version.js";
+export { DIAGNOSTIC_CODES, UnsupportedFeatureError } from "./diagnostics.js";
+export type { DiagnosticCode } from "./diagnostics.js";
+export { createScopeToken, SCOPE_ATTR } from "./scope-token.js";
+export { validateObixAST } from "./validate-ast.js";
+export { validateArtifactShape } from "./validate-artifact.js";
+//# 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":"AAOA,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AACnD,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAC7E,YAAY,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/index.js

@@ -0,0 +1,7 @@
+export * from "./types.js";
+export { SPEC_VERSION, LEVEL } from "./version.js";
+export { DIAGNOSTIC_CODES, UnsupportedFeatureError } from "./diagnostics.js";
+export { createScopeToken, SCOPE_ATTR } from "./scope-token.js";
+export { validateObixAST } from "./validate-ast.js";
+export { validateArtifactShape } from "./validate-artifact.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAOA,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAEnD,OAAO,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE7E,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/scope-token.d.ts

@@ -0,0 +1,3 @@
+export declare function createScopeToken(componentName: string, sourcePath?: string): string;
+export declare const SCOPE_ATTR: "data-obix-scope";
+//# sourceMappingURL=scope-token.d.ts.map

package/dist/scope-token.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-token.d.ts","sourceRoot":"","sources":["../src/scope-token.ts"],"names":[],"mappings":"AAOA,wBAAgB,gBAAgB,CAAC,aAAa,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,CAQnF;AAGD,eAAO,MAAM,UAAU,EAAG,iBAA0B,CAAC"}

package/dist/scope-token.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-token.js","sourceRoot":"","sources":["../src/scope-token.ts"],"names":[],"mappings":"AAOA,MAAM,UAAU,gBAAgB,CAAC,aAAqB,EAAE,UAAmB;IACzE,MAAM,KAAK,GAAG,GAAG,aAAa,IAAI,UAAU,IAAI,EAAE,EAAE,CAAC;IACrD,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACzB,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AACnD,CAAC;AAGD,MAAM,CAAC,MAAM,UAAU,GAAG,iBAA0B,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,195 @@
+export interface SourceSpan {
+    readonly start: number;
+    readonly end: number;
+    readonly line: number;
+    readonly column: number;
+}
+export type DiagnosticSeverity = "error" | "warning" | "info";
+export interface Diagnostic {
+    readonly code: string;
+    readonly severity: DiagnosticSeverity;
+    readonly message: string;
+    readonly span?: SourceSpan;
+}
+export type StateValue = unknown;
+export type State = Readonly<Record<string, StateValue>>;
+export type Props = Readonly<Record<string, unknown>>;
+export type Payload = unknown;
+export type ActionFn<S extends object = State, P extends object = Props> = (state: S, payload: Payload, props: P) => S;
+export type DerivedFn<S extends object = State, P extends object = Props> = (state: S, props: P) => unknown;
+export interface ActionSignature {
+    readonly name: string;
+    readonly arity: 1 | 2 | 3;
+    readonly usesProps: boolean;
+    readonly propDeps: readonly string[];
+}
+export interface DerivedSignature {
+    readonly name: string;
+    readonly propDeps: readonly string[];
+    readonly stateDeps: readonly string[];
+}
+export type EffectKind = "every" | "after" | "on";
+export interface EffectDescriptor {
+    readonly name: string;
+    readonly kind: EffectKind;
+    readonly dispatch: string;
+    readonly every?: number;
+    readonly whileExpr?: string;
+}
+export type TemplateNode = TemplateElement | TemplateText | TemplateInterpolation;
+export interface TemplateAttr {
+    readonly name: string;
+    readonly value: string | null;
+    readonly interpolation?: string;
+    readonly directive?: "event" | "aria" | "bool" | "conditional";
+    readonly span?: SourceSpan;
+}
+export interface TemplateElement {
+    readonly kind: "element";
+    readonly tag: string;
+    readonly attrs: readonly TemplateAttr[];
+    readonly children: readonly TemplateNode[];
+    readonly span?: SourceSpan;
+}
+export interface TemplateText {
+    readonly kind: "text";
+    readonly value: string;
+    readonly span?: SourceSpan;
+}
+export interface TemplateInterpolation {
+    readonly kind: "interpolation";
+    readonly expr: string;
+    readonly span?: SourceSpan;
+}
+export type BindingKind = "text" | "attr" | "bool" | "aria" | "conditional";
+export interface BindingDescriptor {
+    readonly kind: BindingKind;
+    readonly target: string;
+    readonly expr: string;
+    readonly deps: readonly string[];
+    readonly path: readonly number[];
+}
+export interface EventDescriptor {
+    readonly event: string;
+    readonly action: string;
+    readonly path: readonly number[];
+}
+export interface TemplateDescriptor {
+    readonly root: TemplateElement;
+    readonly bindings: readonly BindingDescriptor[];
+    readonly events: readonly EventDescriptor[];
+}
+export interface A11yLiveRegion {
+    readonly path: readonly number[];
+    readonly politeness: "polite" | "assertive" | "off";
+    readonly hasBinding: boolean;
+}
+export interface A11yModel {
+    readonly liveRegions: readonly A11yLiveRegion[];
+    readonly focusableCount: number;
+    readonly headingLevels: readonly number[];
+    readonly roles: readonly string[];
+    readonly violations: readonly Diagnostic[];
+}
+export interface Violation {
+    readonly rule: string;
+    readonly message: string;
+    readonly path?: string;
+}
+export interface ValidationResult {
+    readonly valid: boolean;
+    readonly violations: readonly Violation[];
+}
+export interface ValidationRule<S extends object = State, P extends object = Props> {
+    readonly when: (state: S, props: P) => boolean;
+    readonly message: string;
+}
+export interface ValidationDescriptor {
+    readonly state?: Readonly<Record<string, {
+        type?: string;
+        min?: number;
+        max?: number;
+    }>>;
+    readonly props?: Readonly<Record<string, {
+        type?: string;
+    }>>;
+    readonly rules?: Readonly<Record<string, ValidationRule>>;
+}
+export interface TransitionMeta<S extends object = State> {
+    readonly action: string;
+    readonly payload: Payload;
+    readonly changedKeys: readonly string[];
+    readonly from: S;
+    readonly to: S;
+}
+export type TraceItem = readonly [action: string, payload?: Payload];
+export type ActionTrace = readonly TraceItem[];
+export interface DopArtifactMeta {
+    readonly specVersion: string;
+    readonly level: number;
+    readonly actionDecls: Readonly<Record<string, ActionSignature>>;
+    readonly derivedDeps: Readonly<Record<string, DerivedSignature>>;
+}
+export interface DOPArtifact<S extends object = State, P extends object = Props> {
+    readonly name: string;
+    readonly initialState: S;
+    readonly props: P;
+    readonly actions: Readonly<Record<string, ActionFn<S, P>>>;
+    readonly derived: Readonly<Record<string, DerivedFn<S, P>>>;
+    readonly effects: Readonly<Record<string, EffectDescriptor>>;
+    readonly validate?: (state: S, props: P) => ValidationResult;
+    readonly render?: (state: S, props: P) => string;
+    readonly template?: TemplateDescriptor;
+    readonly style?: {
+        readonly token: string;
+        readonly css: string;
+    };
+    readonly a11y?: A11yModel;
+    readonly meta: DopArtifactMeta;
+}
+export interface ObixSection {
+    readonly raw: string;
+    readonly span: SourceSpan;
+}
+export interface ObixScriptModel {
+    readonly raw: string;
+    readonly stateInit?: string;
+    readonly propsInit?: string;
+    readonly actionNames: readonly string[];
+    readonly derivedNames: readonly string[];
+    readonly effectNames: readonly string[];
+    readonly members: {
+        readonly actions: Readonly<Record<string, string>>;
+        readonly derived: Readonly<Record<string, string>>;
+        readonly effects: Readonly<Record<string, string>>;
+    };
+}
+export interface ObixAST {
+    readonly componentName: string;
+    readonly sections: {
+        readonly style?: ObixSection;
+        readonly template?: ObixSection;
+        readonly script?: ObixSection;
+    };
+    readonly template?: TemplateElement;
+    readonly script?: ObixScriptModel;
+}
+export interface DopIR {
+    readonly name: string;
+    readonly specVersion: string;
+    readonly level: number;
+    readonly stateShape: readonly string[];
+    readonly propsShape: readonly string[];
+    readonly actionDecls: Readonly<Record<string, ActionSignature>>;
+    readonly derivedDeps: Readonly<Record<string, DerivedSignature>>;
+    readonly template: TemplateDescriptor;
+    readonly events: readonly EventDescriptor[];
+    readonly style: {
+        readonly token: string;
+        readonly css: string;
+    };
+    readonly a11y: A11yModel;
+    readonly effects: Readonly<Record<string, EffectDescriptor>>;
+}
+export type EmitMode = "linked" | "bare" | "inline" | "shared-inline";
+//# 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":"AAaA,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE9D,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;CAC5B;AAMD,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC;AACjC,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;AACzD,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AACtD,MAAM,MAAM,OAAO,GAAG,OAAO,CAAC;AAQ9B,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,KAAK,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK,IAAI,CACzE,KAAK,EAAE,CAAC,EACR,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,CAAC,KACL,CAAC,CAAC;AAEP,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,KAAK,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK,IAAI,CAC1E,KAAK,EAAE,CAAC,EACR,KAAK,EAAE,CAAC,KACL,OAAO,CAAC;AAEb,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAMD,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,OAAO,GAAG,IAAI,CAAC;AAElD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAE1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAExB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAMD,MAAM,MAAM,YAAY,GAAG,eAAe,GAAG,YAAY,GAAG,qBAAqB,CAAC;AAElF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAE9B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,aAAa,CAAC;IAC/D,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;CAC5B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;CAC5B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;CAC5B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;CAC5B;AAMD,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,aAAa,CAAC;AAE5E,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAE3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IAEjC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;CAC7C;AAMD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,WAAW,GAAG,KAAK,CAAC;IACpD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;IAChD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,UAAU,EAAE,CAAC;CAC5C;AAMD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,MAAM,GAAG,KAAK,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK;IAChF,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAAC;IACzF,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;CAC3D;AAMD,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,MAAM,GAAG,KAAK;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;CAChB;AAED,MAAM,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;AACrE,MAAM,MAAM,WAAW,GAAG,SAAS,SAAS,EAAE,CAAC;AAM/C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;CAClE;AAED,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,MAAM,GAAG,KAAK,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK;IAC7E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,gBAAgB,CAAC;IAC7D,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC;IAEjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IAClE,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;CAChC;AAMD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAExC,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACnD,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACnD,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;KACpD,CAAC;CACH;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;QAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;QAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;KAC/B,CAAC;IACF,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC;CACnC;AAMD,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACjE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;CAC9D;AAMD,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,QAAQ,GAAG,eAAe,CAAC"}

package/dist/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}

package/dist/validate-artifact.d.ts

@@ -0,0 +1,3 @@
+import type { ValidationResult } from "./types.js";
+export declare function validateArtifactShape(artifact: unknown): ValidationResult;
+//# sourceMappingURL=validate-artifact.d.ts.map

package/dist/validate-artifact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-artifact.d.ts","sourceRoot":"","sources":["../src/validate-artifact.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAa,MAAM,YAAY,CAAC;AAM9D,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,OAAO,GAAG,gBAAgB,CAqCzE"}

package/dist/validate-artifact.js

@@ -0,0 +1,43 @@
+export function validateArtifactShape(artifact) {
+    const v = [];
+    const add = (rule, message, path) => v.push({ rule, message, path });
+    if (typeof artifact !== "object" || artifact === null) {
+        return { valid: false, violations: [{ rule: "artifact.object", message: "artifact must be an object" }] };
+    }
+    const a = artifact;
+    if (typeof a.name !== "string" || a.name.length === 0)
+        add("artifact.name", "name must be a non-empty string", "name");
+    if (typeof a.initialState !== "object" || a.initialState === null)
+        add("artifact.initialState", "initialState must be an object", "initialState");
+    if (typeof a.props !== "object" || a.props === null)
+        add("artifact.props", "props must be an object", "props");
+    const actions = a.actions;
+    if (typeof actions !== "object" || actions === null) {
+        add("artifact.actions", "actions must be an object", "actions");
+    }
+    else {
+        for (const [name, fn] of Object.entries(actions)) {
+            if (typeof fn !== "function")
+                add("artifact.actions.fn", `action "${name}" must be a function`, `actions.${name}`);
+            else if (fn.length > 3)
+                add("artifact.actions.arity", `action "${name}" has arity ${fn.length}; max is 3 — Action(state, payload, props)`, `actions.${name}`);
+        }
+    }
+    const derived = (a.derived ?? {});
+    for (const [name, fn] of Object.entries(derived)) {
+        if (typeof fn !== "function")
+            add("artifact.derived.fn", `derived "${name}" must be a function`, `derived.${name}`);
+        else if (fn.length > 2)
+            add("artifact.derived.arity", `derived "${name}" has arity ${fn.length}; max is 2 — Derived(state, props)`, `derived.${name}`);
+    }
+    const effects = (a.effects ?? {});
+    for (const [name, desc] of Object.entries(effects)) {
+        const d = desc;
+        if (typeof d?.kind !== "string")
+            add("artifact.effects.kind", `effect "${name}" needs a kind`, `effects.${name}`);
+        if (typeof d?.dispatch !== "string")
+            add("artifact.effects.dispatch", `effect "${name}" needs a dispatch action name`, `effects.${name}`);
+    }
+    return { valid: v.length === 0, violations: v };
+}
+//# sourceMappingURL=validate-artifact.js.map

package/dist/validate-artifact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-artifact.js","sourceRoot":"","sources":["../src/validate-artifact.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,qBAAqB,CAAC,QAAiB;IACrD,MAAM,CAAC,GAAgB,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,IAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAE9F,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC,EAAE,CAAC;IAC5G,CAAC;IACD,MAAM,CAAC,GAAG,QAAmC,CAAC;IAE9C,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,GAAG,CAAC,eAAe,EAAE,iCAAiC,EAAE,MAAM,CAAC,CAAC;IACvH,IAAI,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,IAAI,CAAC,CAAC,YAAY,KAAK,IAAI;QAAE,GAAG,CAAC,uBAAuB,EAAE,gCAAgC,EAAE,cAAc,CAAC,CAAC;IAClJ,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;QAAE,GAAG,CAAC,gBAAgB,EAAE,yBAAyB,EAAE,OAAO,CAAC,CAAC;IAE/G,MAAM,OAAO,GAAG,CAAC,CAAC,OAA8C,CAAC;IACjE,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACpD,GAAG,CAAC,kBAAkB,EAAE,2BAA2B,EAAE,SAAS,CAAC,CAAC;IAClE,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACjD,IAAI,OAAO,EAAE,KAAK,UAAU;gBAAE,GAAG,CAAC,qBAAqB,EAAE,WAAW,IAAI,sBAAsB,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC;iBAC9G,IAAK,EAAmC,CAAC,MAAM,GAAG,CAAC;gBAAE,GAAG,CAAC,wBAAwB,EAAE,WAAW,IAAI,eAAgB,EAAmC,CAAC,MAAM,4CAA4C,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC;QACpO,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,IAAI,OAAO,EAAE,KAAK,UAAU;YAAE,GAAG,CAAC,qBAAqB,EAAE,YAAY,IAAI,sBAAsB,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC;aAC/G,IAAK,EAAmC,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,wBAAwB,EAAE,YAAY,IAAI,eAAgB,EAAmC,CAAC,MAAM,oCAAoC,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC;IAC7N,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,MAAM,CAAC,GAAG,IAA+B,CAAC;QAC1C,IAAI,OAAO,CAAC,EAAE,IAAI,KAAK,QAAQ;YAAE,GAAG,CAAC,uBAAuB,EAAE,WAAW,IAAI,gBAAgB,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC;QAClH,IAAI,OAAO,CAAC,EAAE,QAAQ,KAAK,QAAQ;YAAE,GAAG,CAAC,2BAA2B,EAAE,WAAW,IAAI,gCAAgC,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC;IAC5I,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AAClD,CAAC"}

package/dist/validate-ast.d.ts

@@ -0,0 +1,3 @@
+import type { ValidationResult } from "./types.js";
+export declare function validateObixAST(ast: unknown): ValidationResult;
+//# sourceMappingURL=validate-ast.d.ts.map

package/dist/validate-ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-ast.d.ts","sourceRoot":"","sources":["../src/validate-ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAIjB,MAAM,YAAY,CAAC;AAgBpB,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,GAAG,gBAAgB,CAqC9D"}

package/dist/validate-ast.js

@@ -0,0 +1,84 @@
+const IDENT = /^[A-Za-z_$][\w$]*$/;
+const PATH = /^[A-Za-z_$][\w$]*(?:\.[A-Za-z_$][\w$]*)*$/;
+const PASCAL = /^[A-Z][A-Za-z0-9]*$/;
+const TAG = /^[a-z][a-z0-9-]*$/;
+export function validateObixAST(ast) {
+    const v = [];
+    const add = (rule, message, path) => v.push({ rule, message, path });
+    if (typeof ast !== "object" || ast === null) {
+        return { valid: false, violations: [{ rule: "ast.object", message: "AST must be an object" }] };
+    }
+    const a = ast;
+    if (typeof a.componentName !== "string" || !PASCAL.test(a.componentName)) {
+        add("ast.componentName", "componentName must be a PascalCase string", "componentName");
+    }
+    const sections = (a.sections ?? {});
+    if (!sections.template)
+        add("ast.sections.template", "a <template> section is required", "sections.template");
+    if (!sections.script)
+        add("ast.sections.script", "a <script> section is required", "sections.script");
+    if (a.template !== undefined) {
+        if (!isElement(a.template)) {
+            add("template.root", "template root must be a single element node", "template");
+        }
+        else {
+            walk(a.template, [], add);
+        }
+    }
+    if (a.script !== undefined) {
+        const s = a.script;
+        if (!Array.isArray(s.actionNames)) {
+            add("script.actionNames", "script model must expose actionNames[]", "script.actionNames");
+        }
+        else {
+            for (const n of s.actionNames) {
+                if (typeof n !== "string" || !IDENT.test(n))
+                    add("script.actionNames", `invalid action name: ${String(n)}`, "script.actionNames");
+            }
+        }
+    }
+    return { valid: v.length === 0, violations: v };
+}
+function isElement(n) {
+    return typeof n === "object" && n !== null && n.kind === "element";
+}
+function walk(node, path, add) {
+    const at = path.join(".");
+    if (node.kind === "element") {
+        if (typeof node.tag !== "string" || !TAG.test(node.tag)) {
+            add("template.element.tag", `invalid tag "${String(node.tag)}"`, at);
+        }
+        if (!Array.isArray(node.attrs)) {
+            add("template.element.attrs", "element attrs must be an array", at);
+        }
+        else {
+            for (const attr of node.attrs) {
+                if (typeof attr.name !== "string" || attr.name.length === 0) {
+                    add("template.attr.name", "attribute name must be a non-empty string", at);
+                }
+                if (attr.interpolation !== undefined && !PATH.test(attr.interpolation)) {
+                    add("template.attr.interpolation", `attribute "${attr.name}" interpolation must be an identifier or dotted path, got "${attr.interpolation}"`, at);
+                }
+                if (attr.name.startsWith("on:")) {
+                    const action = attr.value ?? attr.interpolation ?? "";
+                    if (!IDENT.test(action))
+                        add("template.event", `on:${attr.name.slice(3)} must name an action identifier`, at);
+                }
+            }
+        }
+        node.children.forEach((child, i) => walk(child, [...path, i], add));
+    }
+    else if (node.kind === "interpolation") {
+        if (typeof node.expr !== "string" || !PATH.test(node.expr)) {
+            add("template.interpolation", `interpolation expression must be an identifier or dotted path, got "${String(node.expr)}"`, at);
+        }
+    }
+    else if (node.kind === "text") {
+        if (typeof node.value !== "string")
+            add("template.text", "text node value must be a string", at);
+    }
+    else {
+        add("template.node.kind", `unknown template node kind "${String(node.kind)}"`, at);
+    }
+}
+//# sourceMappingURL=validate-ast.js.map

package/dist/validate-ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-ast.js","sourceRoot":"","sources":["../src/validate-ast.ts"],"names":[],"mappings":"AAOA,MAAM,KAAK,GAAG,oBAAoB,CAAC;AACnC,MAAM,IAAI,GAAG,2CAA2C,CAAC;AACzD,MAAM,MAAM,GAAG,qBAAqB,CAAC;AACrC,MAAM,GAAG,GAAG,mBAAmB,CAAC;AAWhC,MAAM,UAAU,eAAe,CAAC,GAAY;IAC1C,MAAM,CAAC,GAAgB,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,IAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAE9F,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QAC5C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,CAAC;IAClG,CAAC;IACD,MAAM,CAAC,GAAG,GAA8B,CAAC;IAEzC,IAAI,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;QACzE,GAAG,CAAC,mBAAmB,EAAE,2CAA2C,EAAE,eAAe,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAA4B,CAAC;IAC/D,IAAI,CAAC,QAAQ,CAAC,QAAQ;QAAE,GAAG,CAAC,uBAAuB,EAAE,kCAAkC,EAAE,mBAAmB,CAAC,CAAC;IAC9G,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,GAAG,CAAC,qBAAqB,EAAE,gCAAgC,EAAE,iBAAiB,CAAC,CAAC;IAEtG,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,eAAe,EAAE,6CAA6C,EAAE,UAAU,CAAC,CAAC;QAClF,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,CAAC,CAAC,QAA2B,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAiC,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YAClC,GAAG,CAAC,oBAAoB,EAAE,wCAAwC,EAAE,oBAAoB,CAAC,CAAC;QAC5F,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAwB,EAAE,CAAC;gBAC3C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;oBAAE,GAAG,CAAC,oBAAoB,EAAE,wBAAwB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC;YACpI,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,SAAS,CAAC,CAAU;IAC3B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAAwB,CAAC,IAAI,KAAK,SAAS,CAAC;AAC7F,CAAC;AAED,SAAS,IAAI,CACX,IAAkB,EAClB,IAAc,EACd,GAA2D;IAE3D,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,sBAAsB,EAAE,gBAAgB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,GAAG,CAAC,wBAAwB,EAAE,gCAAgC,EAAE,EAAE,CAAC,CAAC;QACtE,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC5D,GAAG,CAAC,oBAAoB,EAAE,2CAA2C,EAAE,EAAE,CAAC,CAAC;gBAC7E,CAAC;gBACD,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;oBACvE,GAAG,CAAC,6BAA6B,EAAE,cAAc,IAAI,CAAC,IAAI,8DAA8D,IAAI,CAAC,aAAa,GAAG,EAAE,EAAE,CAAC,CAAC;gBACrJ,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;oBAChC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC;oBACtD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;wBAAE,GAAG,CAAC,gBAAgB,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,iCAAiC,EAAE,EAAE,CAAC,CAAC;gBAChH,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACtE,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACzC,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3D,GAAG,CAAC,wBAAwB,EAAE,uEAAuE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACjI,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAChC,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;YAAE,GAAG,CAAC,eAAe,EAAE,kCAAkC,EAAE,EAAE,CAAC,CAAC;IACnG,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,oBAAoB,EAAE,+BAA+B,MAAM,CAAE,IAA2B,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC7G,CAAC;AACH,CAAC"}

package/dist/version.d.ts

@@ -0,0 +1,4 @@
+export declare const SPEC_VERSION: "0.2.1";
+export declare const LEVEL: 0;
+export type ObixLevel = 0 | 1 | 2;
+//# sourceMappingURL=version.d.ts.map

package/dist/version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,YAAY,EAAG,OAAgB,CAAC;AAG7C,eAAO,MAAM,KAAK,EAAG,CAAU,CAAC;AAEhC,MAAM,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC"}

package/dist/version.js

@@ -0,0 +1,3 @@
+export const SPEC_VERSION = "0.2.1";
+export const LEVEL = 0;
+//# sourceMappingURL=version.js.map

package/dist/version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AACA,MAAM,CAAC,MAAM,YAAY,GAAG,OAAgB,CAAC;AAG7C,MAAM,CAAC,MAAM,KAAK,GAAG,CAAU,CAAC"}

package/package.json

@@ -0,0 +1,34 @@
+{
+  "name": "obix-spec",
+  "version": "0.2.1",
+  "description": "OBIX canonical types, structural contracts, and the one scope-token function. Zero runtime dependencies. The single source of truth for every OBIX interface.",
+  "license": "MIT",
+  "type": "module",
+  "private": false,
+  "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": ["dist", "README.md", "LICENSE"],
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "clean": "node -e \"require('fs').rmSync('dist',{recursive:true,force:true})\""
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "engines": {
+    "node": ">=20.11.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/obinexusmk2/obix-monorepo-2026.git",
+    "directory": "packages/obix-spec"
+  }
+}