@proposit/proposit-core 3.2.0 → 3.4.0

package/dist/lib/utils/sha256.js

@@ -0,0 +1,98 @@
+// SHA-256 (FIPS 180-4), synchronous and runtime-agnostic.
+//
+// Why hand-rolled rather than `crypto.subtle.digest` or `node:crypto`:
+// every library mutator in this package is synchronous, and `entityChecksum`
+// is synchronous by construction, so an async digest would either make
+// document creation async — infecting the whole mutation surface — or push
+// the digest onto the caller. `node:crypto` is unavailable outside Node.
+// The algorithm is standard, so any consumer digesting the same bytes with
+// Web Crypto gets the same string; `test/origin/sha256.test.ts` pins that.
+//
+// Used for content identity only, never for authentication. The 32-bit
+// FNV-1a in `../core/checksum.js` remains the hash for sync-detection
+// checksums; its collision rate is unusable for content identity.
+/** Round constants: the first 32 bits of the fractional parts of the cube roots of the first 64 primes. */
+const ROUND_CONSTANTS = new Uint32Array([
+    0x428a2f98, 0x71374491, 0xb5c0fbcf, 0xe9b5dba5, 0x3956c25b, 0x59f111f1,
+    0x923f82a4, 0xab1c5ed5, 0xd807aa98, 0x12835b01, 0x243185be, 0x550c7dc3,
+    0x72be5d74, 0x80deb1fe, 0x9bdc06a7, 0xc19bf174, 0xe49b69c1, 0xefbe4786,
+    0x0fc19dc6, 0x240ca1cc, 0x2de92c6f, 0x4a7484aa, 0x5cb0a9dc, 0x76f988da,
+    0x983e5152, 0xa831c66d, 0xb00327c8, 0xbf597fc7, 0xc6e00bf3, 0xd5a79147,
+    0x06ca6351, 0x14292967, 0x27b70a85, 0x2e1b2138, 0x4d2c6dfc, 0x53380d13,
+    0x650a7354, 0x766a0abb, 0x81c2c92e, 0x92722c85, 0xa2bfe8a1, 0xa81a664b,
+    0xc24b8b70, 0xc76c51a3, 0xd192e819, 0xd6990624, 0xf40e3585, 0x106aa070,
+    0x19a4c116, 0x1e376c08, 0x2748774c, 0x34b0bcb5, 0x391c0cb3, 0x4ed8aa4a,
+    0x5b9cca4f, 0x682e6ff3, 0x748f82ee, 0x78a5636f, 0x84c87814, 0x8cc70208,
+    0x90befffa, 0xa4506ceb, 0xbef9a3f7, 0xc67178f2,
+]);
+/** Initial hash values: the first 32 bits of the fractional parts of the square roots of the first 8 primes. */
+const INITIAL_HASH = new Uint32Array([
+    0x6a09e667, 0xbb67ae85, 0x3c6ef372, 0xa54ff53a, 0x510e527f, 0x9b05688c,
+    0x1f83d9ab, 0x5be0cd19,
+]);
+const BLOCK_BYTES = 64;
+function rotateRight(value, bits) {
+    return (value >>> bits) | (value << (32 - bits));
+}
+/**
+ * Computes the SHA-256 digest of a string's UTF-8 encoding and returns it as
+ * 64 lowercase hexadecimal characters.
+ */
+export function sha256Hex(text) {
+    const message = new TextEncoder().encode(text);
+    const bitLength = message.length * 8;
+    // Pad to a multiple of the block size: a 0x80 byte, then zeroes, then the
+    // message length as a 64-bit big-endian integer in the final eight bytes.
+    const blockCount = Math.floor((message.length + 8) / BLOCK_BYTES) + 1;
+    const padded = new Uint8Array(blockCount * BLOCK_BYTES);
+    padded.set(message);
+    padded[message.length] = 0x80;
+    const paddedView = new DataView(padded.buffer);
+    paddedView.setUint32(padded.length - 8, Math.floor(bitLength / 0x100000000));
+    paddedView.setUint32(padded.length - 4, bitLength >>> 0);
+    const hash = INITIAL_HASH.slice();
+    const schedule = new Uint32Array(64);
+    for (let offset = 0; offset < padded.length; offset += BLOCK_BYTES) {
+        for (let t = 0; t < 16; t++) {
+            schedule[t] = paddedView.getUint32(offset + t * 4);
+        }
+        for (let t = 16; t < 64; t++) {
+            const previous = schedule[t - 15];
+            const recent = schedule[t - 2];
+            const s0 = rotateRight(previous, 7) ^
+                rotateRight(previous, 18) ^
+                (previous >>> 3);
+            const s1 = rotateRight(recent, 17) ^
+                rotateRight(recent, 19) ^
+                (recent >>> 10);
+            schedule[t] = (schedule[t - 16] + s0 + schedule[t - 7] + s1) >>> 0;
+        }
+        let [a, b, c, d, e, f, g, h] = hash;
+        for (let t = 0; t < 64; t++) {
+            const sigma1 = rotateRight(e, 6) ^ rotateRight(e, 11) ^ rotateRight(e, 25);
+            const choose = (e & f) ^ (~e & g);
+            const temp1 = (h + sigma1 + choose + ROUND_CONSTANTS[t] + schedule[t]) >>> 0;
+            const sigma0 = rotateRight(a, 2) ^ rotateRight(a, 13) ^ rotateRight(a, 22);
+            const majority = (a & b) ^ (a & c) ^ (b & c);
+            const temp2 = (sigma0 + majority) >>> 0;
+            h = g;
+            g = f;
+            f = e;
+            e = (d + temp1) >>> 0;
+            d = c;
+            c = b;
+            b = a;
+            a = (temp1 + temp2) >>> 0;
+        }
+        const working = [a, b, c, d, e, f, g, h];
+        for (let i = 0; i < 8; i++) {
+            hash[i] = (hash[i] + working[i]) >>> 0;
+        }
+    }
+    let out = "";
+    for (const word of hash) {
+        out += word.toString(16).padStart(8, "0");
+    }
+    return out;
+}
+//# sourceMappingURL=sha256.js.map

package/dist/lib/utils/sha256.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sha256.js","sourceRoot":"","sources":["../../../src/lib/utils/sha256.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,EAAE;AACF,uEAAuE;AACvE,6EAA6E;AAC7E,uEAAuE;AACvE,2EAA2E;AAC3E,yEAAyE;AACzE,2EAA2E;AAC3E,2EAA2E;AAC3E,EAAE;AACF,uEAAuE;AACvE,sEAAsE;AACtE,kEAAkE;AAElE,2GAA2G;AAC3G,MAAM,eAAe,GAAG,IAAI,WAAW,CAAC;IACpC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;CACjD,CAAC,CAAA;AAEF,gHAAgH;AAChH,MAAM,YAAY,GAAG,IAAI,WAAW,CAAC;IACjC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IACtE,UAAU,EAAE,UAAU;CACzB,CAAC,CAAA;AAEF,MAAM,WAAW,GAAG,EAAE,CAAA;AAEtB,SAAS,WAAW,CAAC,KAAa,EAAE,IAAY;IAC5C,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;AACpD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IAClC,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9C,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAA;IAEpC,0EAA0E;IAC1E,0EAA0E;IAC1E,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;IACrE,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,UAAU,GAAG,WAAW,CAAC,CAAA;IACvD,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IACnB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAA;IAC7B,MAAM,UAAU,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC9C,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,WAAW,CAAC,CAAC,CAAA;IAC5E,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,SAAS,KAAK,CAAC,CAAC,CAAA;IAExD,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,CAAA;IACjC,MAAM,QAAQ,GAAG,IAAI,WAAW,CAAC,EAAE,CAAC,CAAA;IAEpC,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,IAAI,WAAW,EAAE,CAAC;QACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1B,QAAQ,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QACtD,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;YACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YAC9B,MAAM,EAAE,GACJ,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACxB,WAAW,CAAC,QAAQ,EAAE,EAAE,CAAC;gBACzB,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAA;YACpB,MAAM,EAAE,GACJ,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;gBACvB,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;gBACvB,CAAC,MAAM,KAAK,EAAE,CAAC,CAAA;YACnB,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;QACtE,CAAC;QAED,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAA;QAEnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1B,MAAM,MAAM,GACR,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YAC/D,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YACjC,MAAM,KAAK,GACP,CAAC,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;YAClE,MAAM,MAAM,GACR,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YAC/D,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YAC5C,MAAM,KAAK,GAAG,CAAC,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;YAEvC,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;YACrB,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,CAAA;YACL,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;QAC7B,CAAC;QAED,MAAM,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QAC1C,CAAC;IACL,CAAC;IAED,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACtB,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IAC7C,CAAC;IACD,OAAO,GAAG,CAAA;AACd,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proposit/proposit-core",
-  "version": "3.2.0",
+  "version": "3.4.0",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "keywords": [
@@ -103,7 +103,7 @@
   },
   "dependencies": {
     "commander": "^14.0.3",
-    "typebox": "^1.1.14",
+    "typebox": "^1.3.8",
     "yaml": "^2.8.3"
   },
   "peerDependencies": {
@@ -125,6 +125,7 @@
     "check": "pnpm run typecheck && pnpm run lint && pnpm run test && pnpm run build",
     "docs": "typedoc",
     "cli": "node dist/cli.js",
-    "preversion": "pnpm run check"
+    "preversion": "pnpm run check",
+    "pack:branch": "bash scripts/pack-branch.sh"
   }
 }