@hviana/sema 0.1.2 → 0.1.4

package/dist/src/sema.d.ts

@@ -0,0 +1,31 @@
+import { Permutation, Vec } from "./vec.js";
+/** The one structure. A node's vector is the gist of its whole subtree; it also
+ *  carries the structure the DAG store interns — its leaf bytes, or its kids. */
+export interface Sema {
+    v: Vec;
+    leaf: Uint8Array | null;
+    kids: Sema[] | null;
+}
+export declare const sema: (v: Vec, leaf?: Uint8Array | null, kids?: Sema[] | null) => Sema;
+/** Whether a node is a CHUNK — a leaf-parent whose children are ALL leaves,
+ *  the perception tree's smallest grouped unit.  The one predicate behind
+ *  region collection, canonical segmentation seams, and sub-span indexing;
+ *  named here beside the type so no consumer restates the shape inline. */
+export declare const isChunk: (n: Sema) => n is Sema & {
+    kids: Sema[];
+};
+/** The medium: dimension, keyring, and noise source. */
+export interface Space {
+    D: number;
+    seats: Permutation[];
+    rand: () => number;
+    maxGroup: number;
+}
+/** Bind one vector into a seat — the elementary half of fold. Used to index an
+ *  episode from either side and to pour a partner into a form's halo. */
+export declare const bindSeat: (space: Space, v: Vec, seat: number) => Vec;
+/** The company signature of node `id` — the halo's pour unit (see above). */
+export declare function companySignature(space: Space, id: number): Vec;
+/** fold — combine ordered children into one gist.
+ *  Each child is turned with its seat's own key, superposed, normalized. */
+export declare function fold(space: Space, kids: Vec[]): Vec;

package/dist/src/sema.js

@@ -0,0 +1,63 @@
+import { addInto, normalize, permute, permuteInto, randomUnit, rng, zeros, } from "./vec.js";
+export const sema = (v, leaf = null, kids = null) => ({ v, leaf, kids });
+/** Whether a node is a CHUNK — a leaf-parent whose children are ALL leaves,
+ *  the perception tree's smallest grouped unit.  The one predicate behind
+ *  region collection, canonical segmentation seams, and sub-span indexing;
+ *  named here beside the type so no consumer restates the shape inline. */
+export const isChunk = (n) => n.kids !== null && n.kids.every((k) => k.kids === null);
+// Reusable permute buffer for fold.
+let _foldBuf = null;
+/** Bind one vector into a seat — the elementary half of fold. Used to index an
+ *  episode from either side and to pour a partner into a form's halo. */
+export const bindSeat = (space, v, seat) => permute(v, space.seats[seat].fwd);
+// ── Company signatures ──────────────────────────────────────────────────
+//
+// A halo is a superposition of EPISODE SIGNATURES: it answers "who does this
+// form keep company with", and two forms share a concept when they keep the
+// SAME company (the same partner nodes).  Pouring the partner's raw GIST was
+// an approximation of that: it worked while the hierarchical fold decorrelated
+// unrelated gists quickly, but any byte-overlap between partners leaks CONTENT
+// similarity into COMPANY similarity, silently shifting the halo null model
+// that conceptThreshold's derivation (unrelated halos ⇒ cosine 0 ± 1/√D)
+// depends on.  A signature makes the semantics exact and fold-independent:
+// a deterministic unit vector derived from the partner's IDENTITY, so two
+// halos correlate exactly as much as their company overlaps — never because
+// their partners merely contain similar bytes.
+//
+// Seeded by node id: ids are content-addressed mint order, stable for a given
+// corpus (including checkpoint/resume, which re-derives identical ids), and
+// halos are per-store training artifacts that are never compared across
+// stores.
+const _sigCache = new WeakMap();
+const SIG_CACHE_MAX = 65_536;
+/** The company signature of node `id` — the halo's pour unit (see above). */
+export function companySignature(space, id) {
+    let cache = _sigCache.get(space);
+    if (!cache)
+        _sigCache.set(space, cache = new Map());
+    const hit = cache.get(id);
+    if (hit)
+        return hit;
+    const v = randomUnit(space.D, rng((id ^ 0x9e3779b9) >>> 0));
+    if (cache.size >= SIG_CACHE_MAX)
+        cache.clear(); // flat cap; regeneration is cheap
+    cache.set(id, v);
+    return v;
+}
+/** fold — combine ordered children into one gist.
+ *  Each child is turned with its seat's own key, superposed, normalized. */
+export function fold(space, kids) {
+    if (kids.length > space.seats.length) {
+        throw new Error(`fold: ${kids.length} children but the keyring has only ${space.seats.length} seats`);
+    }
+    const out = zeros(space.D);
+    if (!_foldBuf || _foldBuf.length !== space.D) {
+        _foldBuf = new Float32Array(space.D);
+    }
+    const buf = _foldBuf;
+    for (let i = 0; i < kids.length; i++) {
+        permuteInto(buf, kids[i], space.seats[i].fwd);
+        addInto(out, buf);
+    }
+    return normalize(out);
+}

package/package.json

@@ -1,10 +1,16 @@
 {
   "name": "@hviana/sema",
-  "version": "0.1.2",
+  "version": "0.1.4",
   "description": "An elementary, recursive, weight-free multimodal mind: one structure, two verbs, one memory. Zero runtime dependencies, pure web standards.",
   "type": "module",
   "main": "dist/src/index.js",
   "types": "dist/src/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/src/index.d.ts",
+      "default": "./dist/src/index.js"
+    }
+  },
   "scripts": {
     "build": "tsc",
     "demo": "tsc && node dist/example/demo.js",

package/src/sema.ts

@@ -0,0 +1,102 @@
+import {
+  addInto,
+  normalize,
+  Permutation,
+  permute,
+  permuteInto,
+  randomUnit,
+  rng,
+  Vec,
+  zeros,
+} from "./vec.js";
+
+/** The one structure. A node's vector is the gist of its whole subtree; it also
+ *  carries the structure the DAG store interns — its leaf bytes, or its kids. */
+export interface Sema {
+  v: Vec;
+  leaf: Uint8Array | null;
+  kids: Sema[] | null;
+}
+
+export const sema = (
+  v: Vec,
+  leaf: Uint8Array | null = null,
+  kids: Sema[] | null = null,
+): Sema => ({ v, leaf, kids });
+
+/** Whether a node is a CHUNK — a leaf-parent whose children are ALL leaves,
+ *  the perception tree's smallest grouped unit.  The one predicate behind
+ *  region collection, canonical segmentation seams, and sub-span indexing;
+ *  named here beside the type so no consumer restates the shape inline. */
+export const isChunk = (n: Sema): n is Sema & { kids: Sema[] } =>
+  n.kids !== null && n.kids.every((k) => k.kids === null);
+
+/** The medium: dimension, keyring, and noise source. */
+export interface Space {
+  D: number;
+  seats: Permutation[];
+  rand: () => number;
+  maxGroup: number;
+}
+
+// Reusable permute buffer for fold.
+let _foldBuf: Vec | null = null;
+
+/** Bind one vector into a seat — the elementary half of fold. Used to index an
+ *  episode from either side and to pour a partner into a form's halo. */
+export const bindSeat = (space: Space, v: Vec, seat: number): Vec =>
+  permute(v, space.seats[seat].fwd);
+
+// ── Company signatures ──────────────────────────────────────────────────
+//
+// A halo is a superposition of EPISODE SIGNATURES: it answers "who does this
+// form keep company with", and two forms share a concept when they keep the
+// SAME company (the same partner nodes).  Pouring the partner's raw GIST was
+// an approximation of that: it worked while the hierarchical fold decorrelated
+// unrelated gists quickly, but any byte-overlap between partners leaks CONTENT
+// similarity into COMPANY similarity, silently shifting the halo null model
+// that conceptThreshold's derivation (unrelated halos ⇒ cosine 0 ± 1/√D)
+// depends on.  A signature makes the semantics exact and fold-independent:
+// a deterministic unit vector derived from the partner's IDENTITY, so two
+// halos correlate exactly as much as their company overlaps — never because
+// their partners merely contain similar bytes.
+//
+// Seeded by node id: ids are content-addressed mint order, stable for a given
+// corpus (including checkpoint/resume, which re-derives identical ids), and
+// halos are per-store training artifacts that are never compared across
+// stores.
+
+const _sigCache = new WeakMap<Space, Map<number, Vec>>();
+const SIG_CACHE_MAX = 65_536;
+
+/** The company signature of node `id` — the halo's pour unit (see above). */
+export function companySignature(space: Space, id: number): Vec {
+  let cache = _sigCache.get(space);
+  if (!cache) _sigCache.set(space, cache = new Map());
+  const hit = cache.get(id);
+  if (hit) return hit;
+  const v = randomUnit(space.D, rng((id ^ 0x9e3779b9) >>> 0));
+  if (cache.size >= SIG_CACHE_MAX) cache.clear(); // flat cap; regeneration is cheap
+  cache.set(id, v);
+  return v;
+}
+
+/** fold — combine ordered children into one gist.
+ *  Each child is turned with its seat's own key, superposed, normalized. */
+export function fold(space: Space, kids: Vec[]): Vec {
+  if (kids.length > space.seats.length) {
+    throw new Error(
+      `fold: ${kids.length} children but the keyring has only ${space.seats.length} seats`,
+    );
+  }
+  const out = zeros(space.D);
+  if (!_foldBuf || _foldBuf.length !== space.D) {
+    _foldBuf = new Float32Array(space.D);
+  }
+  const buf = _foldBuf;
+  for (let i = 0; i < kids.length; i++) {
+    permuteInto(buf, kids[i], space.seats[i].fwd);
+    addInto(out, buf);
+  }
+  return normalize(out);
+}