@inventarch/session-system 0.0.0-stage → 1.1.0

package/LANGUAGE.md

@@ -0,0 +1,56 @@
+# Public IA language
+
+IA records declare typed identities, fields and relationships. Owning canonical schemas define the structural contract; language syntax and reference resolution preserve those declarations.
+
+The selected vocabulary below is shared by this release. Use `ia vocabulary --json` for its attributed catalogue and `ia vocabulary --schema` for canonical field schemas. `ia validate` reports structural and evaluated evidence separately. An admitted declaration does not establish semantic quality or grant execution authority.
+
+Spec source locators do not load documents. Resource capture and disclosure require explicit selection, matching pins and a host-owned disclosure boundary. Model, operation, evaluator and authority callbacks belong to the application host.
+
+| Word | Owner | Meaning |
+| --- | --- | --- |
+| @agent | agent-system | Names a participant and the vocabulary to which its governance applies. It does not grant host permissions. |
+| @agent-profile | agent-composition-system | Composes an agent, capabilities, optional mandate/voice/delegates and installed execution contracts. |
+| @artifact-set | taxonomy | Defines a closed grouping of artifact genres. |
+| @authoring-guide | authoring-system | Associates a vocabulary owner and schema with an authoring reference and usage guidance. |
+| @axis | taxonomy | Defines a closed coordinate axis for selection. |
+| @capability | agent-composition-system | Groups operations, procedures, templates, checks and included capabilities with declared execution bounds. |
+| @cardinality | taxonomy | Defines relationship multiplicity constraints. |
+| @case | compliance-system | Declares scenario inputs, expected behavior and evaluator attribution. A declaration is not an observed test result. |
+| @category | taxonomy | Defines a closed concept classification used by record shapes and contextual selection. |
+| @check | compliance-system | Names a check implementation and scope. Declaring an implementation name does not install or execute it. |
+| @contract | compliance-system | Names versioned requirements that may be adopted by other records. Requirements need explicit evaluation evidence. |
+| @convention | governance-system | Declares a convention in the shared governance shape. |
+| @decision | work-system | Represents a choice that is needed or has been made: the question, options and decider, and once made, the choice and rationale. |
+| @dimension | taxonomy | Defines a supported record dimension used by conditions and lookup. |
+| @distribution | workspace-system | Declares root records from which a distributable closure is selected. |
+| @execution-binding | agent-composition-system | Connects a native target to a host-installed entry or operation descriptor. |
+| @harness | agent-composition-system | Composes profiles and execution bindings in a workspace under a host contract. |
+| @hook | hook-authoring-system | Represents a host event, tool/path selection and guard message. Registration and executing a guard require a host adapter. |
+| @improvement | learning-system | Represents a proposed change, review metadata and publication metadata. It does not authorize or apply the proposal. |
+| @intent-shape | taxonomy | Defines a request framing and its retrieval defaults. |
+| @kind | taxonomy | Defines a closed semantic role for records; lowering determines the role of each registered word. |
+| @lane | taxonomy | Defines a retrieval lane associated with record kinds. |
+| @law | governance-system | Declares a rule with severity. Structural admission cannot establish the truth or suitability of its prose. |
+| @mandate | agent-system | States bounded authority and conditions for a participant. Host authorization remains independent. |
+| @milestone | work-system | Represents an outcome with an exit criterion inside exactly one plan; it names a condition, not the work toward it. |
+| @move | taxonomy | Defines the closed classification of an agent action or activity. |
+| @observation | learning-system | Represents an attributed evidence account with interpretation and retention metadata. Evidence claims are not verified by field typing. |
+| @operation | authoring-system | Binds a declared operation to an implementation/input/output/effect contract; the host installs implementations. |
+| @phase | taxonomy | Defines a cognitive phase coordinate: orient, plan, act or learn. |
+| @placement | taxonomy | Defines source authority and reach metadata. |
+| @plan | work-system | Represents an arrangement of milestones toward an intent; it heads the work hierarchy and has no parent. Plans do not nest. |
+| @playbook | governance-system | Represents a procedure as phase/primitive cells. Cell delivery is generic; the authored method belongs to its author. |
+| @predicate | taxonomy | Defines a directed relationship and its inverse spelling. |
+| @primitive | taxonomy | Defines a cognitive primitive coordinate; a cell is selected using its phase and primitive. |
+| @principle | governance-system | Declares a governing rationale in the shared governance shape. |
+| @run | session-system | Represents a governed run identity, declared phase, status and owner. Declaration does not start execution. |
+| @schema | floor | Declares the structural contract for exactly one registered discriminator. |
+| @spec | work-system | Represents a maintained specification with explicit status and at most one same-word supersession. Contents and document membership belong to its author; a source locator does not load a body or prove semantic quality. |
+| @system | floor | Registers vocabulary, direct system dependencies, a local steward and consent for relationships. |
+| @task | work-system | Represents one owner's action toward exactly one milestone. Whether it is ready to start is computed by a work evaluator, never stored on the record. |
+| @template | template-system | Represents bounded rendering inputs and output structure. Rendering does not publish or install output. |
+| @value-type | taxonomy | Defines the field types that schemas may require. |
+| @voice | agent-composition-system | Declares communication attributes separate from authority and procedure. |
+| @workspace | workspace-system | Groups systems into an explicit work boundary; relationships can describe dependencies between boundaries. |
+
+This guide describes the selected structural vocabulary. Private expert procedures, live provider behavior and unobserved platform qualification are separate from the installed public contract.

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/NOTICE

@@ -0,0 +1,4 @@
+InventArch
+Copyright (c) 2026 InventArch contributors
+
+Licensed under the Apache License, Version 2.0. See LICENSE.

package/README.md

@@ -1,3 +1,3 @@
-# Temporary Holding Version
+# @inventarch/session-system
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+See [the package contract](SPEC.md) and the exported TypeScript declarations.

package/SPEC.md

@@ -0,0 +1,3 @@
+# @inventarch/session-system
+
+Public language mechanism. The [language reference](LANGUAGE.md) defines vocabulary and evaluation limits. Package exports describe the installed API. Curated agent methods and hosted services are supplied independently.

package/dist/codec.d.ts

@@ -0,0 +1,10 @@
+export declare class SessionError extends Error {
+    readonly code: string;
+    constructor(code: string, message: string);
+}
+export declare function requireValue(condition: unknown, code: string, message: string): asserts condition;
+export declare function canonical(value: unknown): string;
+export declare function digest(value: unknown): string;
+export declare function copy<T>(value: T): T;
+export declare function identifier(value: string): string;
+//# sourceMappingURL=codec.d.ts.map

package/dist/codec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAGA,qBAAa,YAAa,SAAQ,KAAK;IAEnC,QAAQ,CAAC,IAAI,EAAE,MAAM;gBAAZ,IAAI,EAAE,MAAM,EACrB,OAAO,EAAE,MAAM;CAKlB;AACD,wBAAgB,YAAY,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAEjG;AACD,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAyBhD;AACD,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAE7C;AACD,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAEnC;AACD,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAShD"}

package/dist/codec.js

@@ -0,0 +1,49 @@
+import { createHash } from 'node:crypto';
+export class SessionError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = 'SessionError';
+    }
+}
+export function requireValue(condition, code, message) {
+    if (!condition)
+        throw new SessionError(code, message);
+}
+export function canonical(value) {
+    const visit = (item, depth) => {
+        requireValue(depth <= 64, 'IA-SESSION-LIMIT-EXCEEDED', 'Structured data nesting exceeds 64');
+        if (item === null || typeof item === 'string' || typeof item === 'boolean')
+            return item;
+        if (typeof item === 'number' && Number.isFinite(item))
+            return item;
+        if (Array.isArray(item))
+            return item.map((v) => visit(v, depth + 1));
+        if (typeof item === 'object' &&
+            item !== null &&
+            [Object.prototype, null].includes(Object.getPrototypeOf(item))) {
+            const out = Object.create(null);
+            for (const key of Object.keys(item).sort()) {
+                requireValue(!['__proto__', 'prototype', 'constructor'].includes(key), 'IA-SESSION-INPUT-INVALID', 'Unsafe object key');
+                out[key] = visit(item[key], depth + 1);
+            }
+            return out;
+        }
+        throw new SessionError('IA-SESSION-INPUT-INVALID', 'Expected finite JSON data');
+    };
+    return JSON.stringify(visit(value, 0));
+}
+export function digest(value) {
+    return createHash('sha256').update(canonical(value)).digest('hex');
+}
+export function copy(value) {
+    return JSON.parse(canonical(value));
+}
+export function identifier(value) {
+    requireValue(typeof value === 'string' &&
+        /^[a-zA-Z0-9][a-zA-Z0-9._-]{0,127}$/.test(value) &&
+        !['__proto__', 'prototype', 'constructor'].includes(value), 'IA-SESSION-INPUT-INVALID', 'Expected a safe operational identifier');
+    return value;
+}
+//# sourceMappingURL=codec.js.map

package/dist/codec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.js","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,MAAM,OAAO,YAAa,SAAQ,KAAK;IAE1B;IADX,YACW,IAAY,EACrB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,SAAI,GAAJ,IAAI,CAAQ;QAIrB,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AACD,MAAM,UAAU,YAAY,CAAC,SAAkB,EAAE,IAAY,EAAE,OAAe;IAC5E,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACxD,CAAC;AACD,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,KAAa,EAAQ,EAAE;QACnD,YAAY,CAAC,KAAK,IAAI,EAAE,EAAE,2BAA2B,EAAE,oCAAoC,CAAC,CAAC;QAC7F,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACxF,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACnE,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9E,IACE,OAAO,IAAI,KAAK,QAAQ;YACxB,IAAI,KAAK,IAAI;YACb,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAkB,CAAC,EAC/E,CAAC;YACD,MAAM,GAAG,GAAyB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAyB,CAAC;YAC9E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC3C,YAAY,CACV,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EACxD,0BAA0B,EAC1B,mBAAmB,CACpB,CAAC;gBACF,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAE,IAAgC,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACtE,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QACD,MAAM,IAAI,YAAY,CAAC,0BAA0B,EAAE,2BAA2B,CAAC,CAAC;IAClF,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC;AACD,MAAM,UAAU,MAAM,CAAC,KAAc;IACnC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC;AACD,MAAM,UAAU,IAAI,CAAI,KAAQ;IAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAM,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,UAAU,CAAC,KAAa;IACtC,YAAY,CACV,OAAO,KAAK,KAAK,QAAQ;QACvB,oCAAoC,CAAC,IAAI,CAAC,KAAK,CAAC;QAChD,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC5D,0BAA0B,EAC1B,wCAAwC,CACzC,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+export * from './types.js';
+export { SessionError, canonical, digest, copy, identifier } from './codec.js';
+export { JournalStore, commandDigest } from './store.js';
+export { MemoryBackend, memoryStore } from './memory.js';
+export { replay, reduce, terminal, unresolved, humanWaitRuns } from './reducer.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":"AAAA,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}

package/dist/index.js

@@ -0,0 +1,6 @@
+export * from './types.js';
+export { SessionError, canonical, digest, copy, identifier } from './codec.js';
+export { JournalStore, commandDigest } from './store.js';
+export { MemoryBackend, memoryStore } from './memory.js';
+export { replay, reduce, terminal, unresolved, humanWaitRuns } from './reducer.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":"AAAA,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}

package/dist/memory.d.ts

@@ -0,0 +1,17 @@
+import { JournalStore } from './store.js';
+import type { Checkpoint, Command, CommandResult, Event, Journal, JournalBackend, Owner } from './types.js';
+/** Deterministic conformance adapter; it makes no durability claim. */
+export declare class MemoryBackend implements JournalBackend {
+    readonly journals: Map<string, Journal>;
+    private readonly owners;
+    private fence;
+    load(id: string): Promise<Journal | null>;
+    commit(command: Command, hash: string, events: Event[], owner?: Owner): Promise<CommandResult>;
+    checkpoint(id: string, checkpoint: Checkpoint, owner: Owner): Promise<void>;
+    acquire(id: string): Promise<Owner>;
+    validate(owner: Owner): Promise<void>;
+    release(owner: Owner): Promise<void>;
+    close(): Promise<void>;
+}
+export declare function memoryStore(): JournalStore;
+//# sourceMappingURL=memory.d.ts.map

package/dist/memory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory.d.ts","sourceRoot":"","sources":["../src/memory.ts"],"names":[],"mappings":"AAEA,OAAO,EAA0B,YAAY,EAAE,MAAM,YAAY,CAAC;AAClE,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAE5G,uEAAuE;AACvE,qBAAa,aAAc,YAAW,cAAc;IAClD,QAAQ,CAAC,QAAQ,uBAA8B;IAC/C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA4B;IACnD,OAAO,CAAC,KAAK,CAAK;IACZ,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;IAGzC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC;IAmB9F,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC;IAO3E,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;IAMnC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC;IAQrC,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC;IAIpC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAG7B;AACD,wBAAgB,WAAW,IAAI,YAAY,CAE1C"}

package/dist/memory.js

@@ -0,0 +1,58 @@
+import { randomUUID } from 'node:crypto';
+import { copy, requireValue } from './codec.js';
+import { assertOwner, duplicate, JournalStore } from './store.js';
+/** Deterministic conformance adapter; it makes no durability claim. */
+export class MemoryBackend {
+    journals = new Map();
+    owners = new Map();
+    fence = 0;
+    async load(id) {
+        return copy(this.journals.get(id) ?? null);
+    }
+    async commit(command, hash, events, owner) {
+        assertOwner(command, owner);
+        if (owner)
+            await this.validate(owner);
+        const journal = this.journals.get(command.sessionId) ?? { events: [], commands: {}, checkpoint: null };
+        const prior = duplicate(journal, command, hash);
+        if (prior)
+            return prior;
+        requireValue(journal.events.length === command.expected, 'IA-SESSION-REVISION-CONFLICT', 'Session changed');
+        const last = events.at(-1);
+        const result = { id: command.id, digest: hash, sequence: last.sequence, hash: last.hash };
+        this.journals.set(command.sessionId, copy({
+            ...journal,
+            events: [...journal.events, ...events],
+            commands: { ...journal.commands, [command.id]: result },
+        }));
+        return result;
+    }
+    async checkpoint(id, checkpoint, owner) {
+        await this.validate(owner);
+        requireValue(owner.sessionId === id, 'IA-SESSION-OWNER-LOST', 'Wrong session owner');
+        const journal = this.journals.get(id);
+        requireValue(journal.events.length === checkpoint.sequence, 'IA-SESSION-REVISION-CONFLICT', 'Session changed');
+        journal.checkpoint = copy(checkpoint);
+    }
+    async acquire(id) {
+        requireValue(!this.owners.has(id), 'IA-SESSION-OWNER-BUSY', 'Session has an owner');
+        const owner = { sessionId: id, token: randomUUID(), fence: ++this.fence };
+        this.owners.set(id, owner);
+        return copy(owner);
+    }
+    async validate(owner) {
+        requireValue(this.owners.get(owner.sessionId)?.token === owner.token &&
+            this.owners.get(owner.sessionId)?.fence === owner.fence, 'IA-SESSION-OWNER-LOST', 'Session ownership lost');
+    }
+    async release(owner) {
+        await this.validate(owner);
+        this.owners.delete(owner.sessionId);
+    }
+    async close() {
+        this.owners.clear();
+    }
+}
+export function memoryStore() {
+    return new JournalStore(new MemoryBackend());
+}
+//# sourceMappingURL=memory.js.map

package/dist/memory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory.js","sourceRoot":"","sources":["../src/memory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAGlE,uEAAuE;AACvE,MAAM,OAAO,aAAa;IACf,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC9B,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC3C,KAAK,GAAG,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAU;QACnB,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC;IAC7C,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,OAAgB,EAAE,IAAY,EAAE,MAAe,EAAE,KAAa;QACzE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC5B,IAAI,KAAK;YAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QACvG,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;QACxB,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,QAAQ,EAAE,8BAA8B,EAAE,iBAAiB,CAAC,CAAC;QAC5G,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1F,IAAI,CAAC,QAAQ,CAAC,GAAG,CACf,OAAO,CAAC,SAAS,EACjB,IAAI,CAAC;YACH,GAAG,OAAO;YACV,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC;YACtC,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE;SACxD,CAAC,CACH,CAAC;QACF,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,KAAK,CAAC,UAAU,CAAC,EAAU,EAAE,UAAsB,EAAE,KAAY;QAC/D,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC3B,YAAY,CAAC,KAAK,CAAC,SAAS,KAAK,EAAE,EAAE,uBAAuB,EAAE,qBAAqB,CAAC,CAAC;QACrF,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QACvC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,QAAQ,EAAE,8BAA8B,EAAE,iBAAiB,CAAC,CAAC;QAC/G,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IACxC,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,EAAU;QACtB,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,uBAAuB,EAAE,sBAAsB,CAAC,CAAC;QACpF,MAAM,KAAK,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC1E,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,KAAK,CAAC,QAAQ,CAAC,KAAY;QACzB,YAAY,CACV,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK;YACrD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK,EACzD,uBAAuB,EACvB,wBAAwB,CACzB,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,KAAY;QACxB,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC;IACD,KAAK,CAAC,KAAK;QACT,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;CACF;AACD,MAAM,UAAU,WAAW;IACzB,OAAO,IAAI,YAAY,CAAC,IAAI,aAAa,EAAE,CAAC,CAAC;AAC/C,CAAC"}