@weiliang0121/capix-changes 0.1.0 → 0.2.0

package/README.md

@@ -14,6 +14,12 @@ npm install @weiliang0121/capix-changes
 
 This package is part of CAPiX. The npm distribution contains compiled JavaScript, type declarations, and this package's MIT license. Reference services and client applications are not included in this package or the initial npm release.
 
+## Typed facts
+
+`FactType<Event>` creates an opaque, frozen `Fact` for local forwarding. Only the exact token's `match(fact, consume)` reads its deeply fixed `Stable<Event>` body; names describe tokens and do not establish identity.
+
+`Fact` is an in-process carrier with a private symbol marker and WeakMap evidence. It is not a formal delivery value or checkpoint payload: `stableValue(fact)` rejects it rather than cloning away its identity. Read the body through `match` and explicitly encode that stable data when saving it. Copying the marker does not grant access to a fact's body.
+
 ## License
 
-MIT. Copyright (c) 2026 wei.liang. See [LICENSE](./LICENSE).
+MIT. Copyright (c) 2026 wei.liang. See [LICENSE](LICENSE).

package/dist/fact.d.ts

@@ -0,0 +1,15 @@
+import { type Stable } from '@weiliang0121/capix-contracts';
+declare const factBrand: unique symbol;
+declare const factTypeSignature: unique symbol;
+export interface Fact {
+    readonly name?: string;
+    readonly [factBrand]: true;
+}
+export declare class FactType<Event> {
+    readonly [factTypeSignature]: (event: Event) => Event;
+    readonly name?: string;
+    constructor(name?: string);
+    create(event: Event): Fact;
+    match(fact: Fact, consume: (event: Stable<Event>) => void): boolean;
+}
+export {};

package/dist/fact.js

@@ -0,0 +1,2 @@
+/*! MIT License | Copyright (c) 2026 wei.liang | See LICENSE */
+var __defProp=Object.defineProperty;var __name=(target,value)=>__defProp(target,"name",{value,configurable:!0});import{stableValue}from"@weiliang0121/capix-contracts";const factBrand=Symbol("Fact"),facts=new WeakMap,types=new WeakSet;class FactType{static{__name(this,"FactType")}name;constructor(name){if(name!==void 0&&typeof name!="string")throw new TypeError("FactType name must be a string or undefined");this.name=name,types.add(this),Object.freeze(this)}create(event){if(!types.has(this))throw new TypeError("Fact creation requires an authentic FactType");const value=stableValue(event),fact=Object.freeze({name:this.name,[factBrand]:!0});return facts.set(fact,{type:this,value}),fact}match(fact,consume){if(!types.has(this))throw new TypeError("Fact matching requires an authentic FactType");const fixed=facts.get(fact);if(!fixed)throw new TypeError("Fact matching requires an authentic Fact");if(fixed.type!==this)return!1;const returned=consume(fixed.value);if(returned!==null&&(typeof returned=="object"||typeof returned=="function")&&typeof returned.then=="function")throw Promise.resolve(returned).catch(()=>{}),new TypeError("Fact consumers must complete synchronously");return!0}}export{FactType};

package/dist/index.d.ts

@@ -1,4 +1,5 @@
 export type { ChangeCapture } from './capture.js';
+export { FactType, type Fact } from './fact.js';
 export { ChangeBuffer } from './buffer.js';
 export { ChangeCaptureError, combineFaults } from './error.js';
 export { captureChange, publishFact, type ChangeProvenance } from './publish.js';

package/dist/index.js

@@ -1,2 +1,2 @@
 /*! MIT License | Copyright (c) 2026 wei.liang | See LICENSE */
-import{ChangeBuffer}from"./buffer.js";import{ChangeCaptureError,combineFaults}from"./error.js";import{captureChange,publishFact}from"./publish.js";import{ProgressChannel}from"./progress.js";export{ChangeBuffer,ChangeCaptureError,ProgressChannel,captureChange,combineFaults,publishFact};
+import{FactType}from"./fact.js";import{ChangeBuffer}from"./buffer.js";import{ChangeCaptureError,combineFaults}from"./error.js";import{captureChange,publishFact}from"./publish.js";import{ProgressChannel}from"./progress.js";export{ChangeBuffer,ChangeCaptureError,FactType,ProgressChannel,captureChange,combineFaults,publishFact};

package/dist/publish.d.ts

@@ -1,4 +1,4 @@
-import type { InvocationOrigin } from '@weiliang0121/capix-protocol';
+import type { InvocationOrigin } from '@weiliang0121/capix-contracts';
 import type { EventConsumer } from './consumer.js';
 import type { ChangeCapture } from './capture.js';
 export declare function captureChange<Event>(capture: ChangeCapture<Event> | undefined, event: Event): void;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@weiliang0121/capix-changes",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "private": false,
   "type": "module",
   "exports": {
@@ -11,8 +11,7 @@
   },
   "dependencies": {
     "es-toolkit": "1.52.0",
-    "@weiliang0121/capix-contracts": "0.1.0",
-    "@weiliang0121/capix-protocol": "0.1.0"
+    "@weiliang0121/capix-contracts": "0.2.0"
   },
   "description": "Change capture and delivery for CAPiX entities.",
   "license": "MIT",
@@ -20,7 +19,7 @@
   "repository": {
     "type": "git",
     "url": "git+https://github.com/weiliang0121/capix.git",
-    "directory": "server/changes"
+    "directory": "packages/changes"
   },
   "engines": {
     "node": ">=22.23.2"
@@ -39,6 +38,7 @@
   },
   "scripts": {
     "build": "tsc -p tsconfig.json",
-    "typecheck": "tsc -p tsconfig.json --noEmit"
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "node ../../scripts/test/run.mjs --package ."
   }
 }