pi-mega-compact 0.18.0 → 0.18.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -0,0 +1,75 @@
1
+ /**
2
+ * vector-cortex/encoder/trigram.ts — VC2B mode B: asset-free trigram encoder.
3
+ *
4
+ * Trigram B is a deterministic, asset-free (no learned model, no manifest, no
5
+ * calibration) 512-dim fixed feature encoding of a token/phrase sequence. It is
6
+ * the mode-B fallback selected when the learned asset (mode A) is removed,
7
+ * missing, unsupported, or digest-bad — and it never imports the learned asset
8
+ * or learned calibration (task 4). It derives directly from textual authority:
9
+ * the same document hashed via its byte-level trigrams yields the same 512-dim
10
+ * vector regardless of the asset state.
11
+ *
12
+ * Width is fixed at `ENCODER_TRIGRAM_WIDTH = 512` (VC2B task 4 "trigram B at 512
13
+ * dimensions"). The vector is L2-normalized; a zero-norm (empty) input maps to
14
+ * the all-zero vector, matching the heads convention of the VectorSet.
15
+ *
16
+ * Failure-triad independence: B's algorithm/index is distinct from A (learned
17
+ * projections) and C (token/phrase lexical) — it is a deterministic hashed
18
+ * n-gram bag-of-hashes, computed purely in-process with no external asset.
19
+ *
20
+ * Pi-agnostic, zero network (PREVENT-PI-004), no `any` (PREVENT-011).
21
+ */
22
+ import { createHash } from "node:crypto";
23
+ import { l2Normalize } from "./heads.js";
24
+ import { createEncoderHeadsReporter, } from "./emit-vc2b.js";
25
+ /** Fixed output width of trigram B (VC2B task 4). */
26
+ export const ENCODER_TRIGRAM_WIDTH = 512;
27
+ /** Tokenize a phrase into byte-level trigrams (3-byte sliding windows). For a
28
+ * short phrase with fewer than 3 bytes we still emit the available shingles. */
29
+ function trigrams(text) {
30
+ const bytes = Buffer.from(text, "utf8");
31
+ if (bytes.length === 0)
32
+ return [];
33
+ const out = [];
34
+ const n = bytes.length;
35
+ // `Math.max(1, n - 2)` already emits a single whole-string shingle for 1- and
36
+ // 2-byte phrases (slice(0,3) covers the whole buffer), so there is NO separate
37
+ // short-phrase block — adding one would hash the same shingle twice (Q05).
38
+ for (let i = 0; i < Math.max(1, n - 2); i++) {
39
+ const chunk = bytes.slice(i, i + 3);
40
+ out.push(chunk.toString("hex"));
41
+ }
42
+ return out;
43
+ }
44
+ /**
45
+ * Encode a phrase into a 512-dim L2-normalized trigram vector (all-zero on
46
+ * empty input). Deterministic: the same text always yields the same vector
47
+ * (repeat drift == 0) — no asset, no calibration, no network.
48
+ */
49
+ export function embedTrigram512(text) {
50
+ const width = ENCODER_TRIGRAM_WIDTH;
51
+ const out = new Float32Array(width);
52
+ // Feistel-style double hashing of each trigram into a bucket index + weight.
53
+ for (const tg of trigrams(text)) {
54
+ const h1 = createHash("sha256").update(tg).digest();
55
+ const bucket = h1.readUInt32BE(0) % width;
56
+ const weight = (h1.readUInt32BE(4) / 4294967295) * 2 - 1;
57
+ out[bucket] += weight;
58
+ }
59
+ return l2Normalize(out);
60
+ }
61
+ /**
62
+ * The 512-dim vector is produced even when the learned asset is absent: this is
63
+ * the mode-B selection point. Returns `{ ok: true, dim, width }` always — there
64
+ * is no asset to consult (task 4 + ENC-FALLBACK-003). Selecting mode B also
65
+ * emits `vector_cortex_encoder_fallback_selected` via the flag-gated reporter
66
+ * (task 5) — the production seam that makes the fallback event live in the
67
+ * runtime, not dead test-only wiring.
68
+ */
69
+ export function selectTrigramBFallback(options = {}) {
70
+ const reporter = options.reporter ?? createEncoderHeadsReporter();
71
+ const selection = { ok: true, mode: "B", dim: ENCODER_TRIGRAM_WIDTH, width: ENCODER_TRIGRAM_WIDTH };
72
+ reporter.fallbackSelected({ mode: selection.mode, dim: selection.dim, width: selection.width });
73
+ return selection;
74
+ }
75
+ export { l2Normalize };
@@ -83,3 +83,56 @@ export const ENC_IDS = [
83
83
  "ENC-007",
84
84
  "ENC-008",
85
85
  ];
86
+ // ---------------------------------------------------------------------------
87
+ // VC2B — multi-head encoder (VectorSetV1 / HeadCalibrationDraft).
88
+ // ---------------------------------------------------------------------------
89
+ /** The five independent projection heads in STABLE order (MODEL_ASSET
90
+ * §decision record; VC2B task 2 "stable order"). The array order is the
91
+ * normative ordering consumed by consumers: semantic, dependency,
92
+ * contradiction, cache-stability, payload-routing. */
93
+ export const ENCODER_HEAD_ORDER = [
94
+ "semantic",
95
+ "dependency",
96
+ "contradiction",
97
+ "cacheStability",
98
+ "payloadRouting",
99
+ ];
100
+ /** The ordered per-head output dimensions: semantic 384, dependency 128,
101
+ * contradiction 128, cacheStability 64, payloadRouting 32 (VC2B task 2). */
102
+ export const ENCODER_HEAD_DIMS = {
103
+ semantic: 384,
104
+ dependency: 128,
105
+ contradiction: 128,
106
+ cacheStability: 64,
107
+ payloadRouting: 32,
108
+ };
109
+ /** Ordered dimension list matching ENCODER_HEAD_ORDER (384/128/128/64/32). */
110
+ export const ENCODER_HEAD_DIM_ORDER = ENCODER_HEAD_ORDER.map((h) => ENCODER_HEAD_DIMS[h]);
111
+ /**
112
+ * Weighted training losses per head (MODEL_ASSET §data/losses/calibration):
113
+ * semantic .35, dependency .20, contradiction .20, cache .15, payload .10.
114
+ * These are normative (VC2B task 3: "losses exactly .35/.20/.20/.15/.10").
115
+ */
116
+ export const ENCODER_HEAD_LOSS_WEIGHTS = {
117
+ semantic: 0.35,
118
+ dependency: 0.2,
119
+ contradiction: 0.2,
120
+ cacheStability: 0.15,
121
+ payloadRouting: 0.1,
122
+ };
123
+ /** Sum of the five loss weights must be exactly 1.0 (asserted in tests). */
124
+ export const ENCODER_HEAD_LOSS_SUM = 1.0;
125
+ /** Deterministic seed shared by Python/NumPy training and ONNX export (VC2B
126
+ * task 3: "seed ... at 1729"). */
127
+ export const ENCODER_SEED = 1729;
128
+ /** The 16 registered VC2B conformance IDs (task 1: "register ENC-009..016"). */
129
+ export const ENC2B_IDS = [
130
+ "ENC-009",
131
+ "ENC-010",
132
+ "ENC-011",
133
+ "ENC-012",
134
+ "ENC-013",
135
+ "ENC-014",
136
+ "ENC-015",
137
+ "ENC-016",
138
+ ];
@@ -0,0 +1,63 @@
1
+ /**
2
+ * vector-cortex/encoder/emit-vc2b.ts — VC2B observability seam.
3
+ *
4
+ * Owns the two VC2B events (task 5), gated on `MEGACOMPACT_VC2B` so the
5
+ * flag-OFF path emits zero events (mode C parity, byte-identical predecessor):
6
+ *
7
+ * vector_cortex_encoder_heads_emitted — a multi-head VectorSetV1 produced
8
+ * vector_cortex_encoder_fallback_selected — a mode B/C fallback selected
9
+ *
10
+ * No dashboard or API change is necessary for this internal sprint (task 5).
11
+ * Every event is a JSON line with `ts` + `event` (ENGINEERING_PRACTICES §8); the
12
+ * emitters are non-fatal (never break the agent loop). Pi-agnostic, zero network
13
+ * (PREVENT-PI-004), no `any` (PREVENT-011).
14
+ */
15
+ import { VC2B_ENABLED } from "../../config/vector-cortex.js";
16
+ import { Logger } from "../../log.js";
17
+ /** A flag-gated no-op reporter (zero emissions, structural no-op). */
18
+ export const NOOP_VC2B_REPORTER = {
19
+ headsEmitted: () => { },
20
+ fallbackSelected: () => { },
21
+ };
22
+ /**
23
+ * The default emitter: routes both VC2B events into the append-only structured
24
+ * logger (`src/log.ts`) as JSON lines with `ts` + `event`. Supplying `emit:` to
25
+ * `createEncoderHeadsReporter` replaces this with a caller-provided sink (used
26
+ * by tests and downstream consumers). Making the default a REAL producer means a
27
+ * caller that just invokes the producer seam (`encodeOrFallback`, `encodeVectorSet`,
28
+ * `selectTrigramBFallback`, `selectLexicalC`) without injecting an emitter still
29
+ * yields structured telemetry instead of silently dropping every event (task 5,
30
+ * code-review Q01). Best-effort: the logger swallows all I/O errors.
31
+ */
32
+ function defaultEmitFor(logPath) {
33
+ const logger = new Logger(logPath === undefined ? {} : { path: logPath });
34
+ return (event, fields) => {
35
+ logger.info(event, fields);
36
+ };
37
+ }
38
+ /**
39
+ * Flag-gated emit, defaulting to a real logger-backed sink. The returned
40
+ * reporter is itself flag-gated (`VC2B_ENABLED`), so wiring it into a producer
41
+ * seam yields zero emissions when `MEGACOMPACT_VC2B=0` (byte-identical to the
42
+ * predecessor). Pass an explicit `emit` to route elsewhere (tests, downstream
43
+ * consumers); omit it to emit real structured log lines (Q01: the default is a
44
+ * live producer, not a silent no-op). `opts.logPath` only redirects the default
45
+ * sink and is ignored when `emit` is supplied.
46
+ */
47
+ export function createEncoderHeadsReporter(emit, opts = {}) {
48
+ const sink = emit ?? defaultEmitFor(opts.logPath);
49
+ const fire = (event, fields) => {
50
+ if (!VC2B_ENABLED())
51
+ return;
52
+ try {
53
+ sink(event, { ...fields, ts: new Date().toISOString() });
54
+ }
55
+ catch {
56
+ /* non-fatal observability */
57
+ }
58
+ };
59
+ return {
60
+ headsEmitted: (fields) => fire("vector_cortex_encoder_heads_emitted", fields),
61
+ fallbackSelected: (fields) => fire("vector_cortex_encoder_fallback_selected", fields),
62
+ };
63
+ }
@@ -0,0 +1,113 @@
1
+ /**
2
+ * vector-cortex/encoder/heads.ts — VC2B multi-head encoder (tasks 1–2).
3
+ *
4
+ * Produces a `VectorSetV1`: five independent L2-normalized projection heads in
5
+ * STABLE order — semantic 384, dependency 128, contradiction 128, cacheStability
6
+ * 64, payloadRouting 32 (MODEL_ASSET §decision record). Each head L2-normalizes
7
+ * its raw projection; a zero-norm projection maps to an all-zero vector (task 2).
8
+ *
9
+ * The raw per-head projection is a deterministic seeded compression of the input
10
+ * token sequence (seeded by `ENCODER_SEED` and the head's stable index), which
11
+ * mirrors the VC2A `projectSemantic` placeholder pattern: the contract, shape
12
+ * gating, normalization, zero-norm mapping, ordering and loss/seed constants are
13
+ * all normative here; real trained weights are substituted in VC2C. This keeps
14
+ * the mode-A multi-head path fully testable end-to-end today with zero network.
15
+ *
16
+ * The VC2B emit seam (task 5) is wired: producing a VectorSetV1 emits
17
+ * `vector_cortex_encoder_heads_emitted`; selecting a mode B/C fallback emits
18
+ * `vector_cortex_encoder_fallback_selected` — both gated on MEGACOMPACT_VC2B.
19
+ *
20
+ * Pi-agnostic, zero network (PREVENT-PI-004), no `any` (PREVENT-011).
21
+ */
22
+ import { ENCODER_HEAD_DIMS, ENCODER_HEAD_ORDER, ENCODER_HEAD_LOSS_WEIGHTS, ENCODER_HEAD_LOSS_SUM, ENCODER_SEED, } from "./types.js";
23
+ import { createEncoderHeadsReporter, NOOP_VC2B_REPORTER, } from "./emit-vc2b.js";
24
+ /** The stable head index of a head name (its position in ENCODER_HEAD_ORDER). */
25
+ const HEAD_INDEX = {
26
+ semantic: 0,
27
+ dependency: 1,
28
+ contradiction: 2,
29
+ cacheStability: 3,
30
+ payloadRouting: 4,
31
+ };
32
+ /** Deterministic 32-bit LCG step (matches runtime.ts projectSemantic). */
33
+ function nextState(state) {
34
+ return (state * 1664525 + 1013904223) >>> 0;
35
+ }
36
+ /**
37
+ * L2-normalize a float vector in place semantics (returns a new Float32Array).
38
+ * A zero-norm (or empty) input maps to an all-zero vector of the same length
39
+ * (task 2: "mapping zero norm to an all-zero vector"). All finite.
40
+ */
41
+ export function l2Normalize(values) {
42
+ const out = new Float32Array(values.length);
43
+ let sum = 0;
44
+ for (const v of values)
45
+ sum += v * v;
46
+ const norm = Math.sqrt(sum);
47
+ if (!(norm > 0))
48
+ return out; // zero norm -> all-zero
49
+ for (let i = 0; i < values.length; i++)
50
+ out[i] = values[i] / norm;
51
+ return out;
52
+ }
53
+ /** L2 norm of a Float32Array (0 for empty/all-zero). */
54
+ export function l2Norm(values) {
55
+ let sum = 0;
56
+ for (const v of values)
57
+ sum += v * v;
58
+ return Math.sqrt(sum);
59
+ }
60
+ /** A deterministic per-head projection over the token sequence, pre-normalization. */
61
+ function projectRaw(head, tokens, seed) {
62
+ const dim = ENCODER_HEAD_DIMS[head];
63
+ const out = new Float32Array(dim);
64
+ // An EMPTY token sequence has no signal: the raw projection is the zero vector,
65
+ // so after L2 normalization it maps to the all-zero vector (task 2: "mapping
66
+ // zero norm to an all-zero vector"; ENC-ZERO-002). This keeps empty input
67
+ // finite and zero-norm instead of seeding spurious unit-norm noise.
68
+ if (tokens.length === 0)
69
+ return out;
70
+ // Mix the stable head index + ENCODER_SEED + seed into a per-head state so
71
+ // each head is a distinct independent projection (failure-triad independence).
72
+ let state = (((ENCODER_SEED ^ HEAD_INDEX[head]) >>> 0) ^ (seed >>> 0)) ^ 0x9e3779b9;
73
+ for (const t of tokens)
74
+ state = nextState(state ^ ((t >>> 0) * 2654435761));
75
+ for (let i = 0; i < dim; i++) {
76
+ state = nextState(state ^ seed);
77
+ out[i] = (state / 4294967296) * 2 - 1;
78
+ }
79
+ return out;
80
+ }
81
+ /**
82
+ * Compute one head's L2-normalized vector (all-zero on zero norm) for a token
83
+ * sequence. Deterministic for a given seed (repeat drift == 0).
84
+ */
85
+ export function projectHead(head, tokens, seed = ENCODER_SEED) {
86
+ const raw = projectRaw(head, tokens, seed);
87
+ return { head, dim: ENCODER_HEAD_DIMS[head], values: l2Normalize(raw) };
88
+ }
89
+ /**
90
+ * Encode a token sequence into a `VectorSetV1`: the five heads in stable order,
91
+ * each L2-normalized (all-zero on zero norm). Emits `heads_emitted` via the
92
+ * reporter (non-fatal, flag-gated). Deterministic for a given seed.
93
+ */
94
+ export function encodeVectorSet(tokens, options = {}) {
95
+ const seed = options.seed ?? ENCODER_SEED;
96
+ const reporter = options.reporter ?? createEncoderHeadsReporter();
97
+ const heads = ENCODER_HEAD_ORDER.map((h) => projectHead(h, tokens, seed));
98
+ reporter.headsEmitted({
99
+ heads: heads.length,
100
+ dims: heads.map((h) => h.dim).join("/"),
101
+ normalized: true,
102
+ tokens: tokens.length,
103
+ });
104
+ return { schema: "vector-set-v1", inputTokens: [...tokens], heads, normalized: true };
105
+ }
106
+ /**
107
+ * The per-head loss weights (must sum to ENCODER_HEAD_LOSS_SUM exactly).
108
+ * Exposed for training/tests to assert the normative .35/.20/.20/.15/.10 split.
109
+ */
110
+ export function headLossWeights() {
111
+ return { ...ENCODER_HEAD_LOSS_WEIGHTS };
112
+ }
113
+ export { ENCODER_HEAD_ORDER, ENCODER_HEAD_DIMS, ENCODER_HEAD_LOSS_SUM, ENCODER_SEED, NOOP_VC2B_REPORTER };
@@ -0,0 +1,104 @@
1
+ /**
2
+ * vector-cortex/encoder/lexical.ts — VC2B mode C: token/phrase lexical encoder.
3
+ *
4
+ * Lexical C is a token/phrase lexical feature generator used when both mode A
5
+ * (learned asset) and mode B (trigram) are unavailable or fail. It is continuity,
6
+ * NOT semantic completeness: C operates on exact current tokens/phrases only and
7
+ * MUST state that it has lost old semantic context (task 4 + TRIAD_RESILIENCE.
8
+ * "C is continuity, not semantic completeness: it may omit old context and must
9
+ * report that limitation").
10
+ *
11
+ * C never imports the learned asset or learned calibration (task 4): it is a
12
+ * pure token/phrase lexical projection (token counts + phrase hashes) computed
13
+ * from the exact input. It is independently implemented from B (which hashes
14
+ * byte-level trigrams) — C works at the token/phrase level, B at the byte-ngram
15
+ * level, so the two share no algorithm.
16
+ *
17
+ * Authority outage freezes derived high-water: C never advances any derived
18
+ * frontier; it is purely a local reconstruction from the exact present tokens.
19
+ *
20
+ * Pi-agnostic, zero network (PREVENT-PI-004), no `any` (PREVENT-011).
21
+ */
22
+ import { createHash } from "node:crypto";
23
+ import { l2Normalize } from "./heads.js";
24
+ import { createEncoderHeadsReporter, } from "./emit-vc2b.js";
25
+ /** Fixed output width of lexical C. */
26
+ export const ENCODER_LEXICAL_WIDTH = 256;
27
+ /** The documented limitation lexical C reports (continuity, not semantics). */
28
+ export const ENCODER_LEXICAL_LIMITATION = "lexical C: token/phrase-level continuity only; old semantic context is omitted";
29
+ export function tokenizeLexical(text) {
30
+ // Split into lowercase token/phrase units on non-alphanumeric boundaries.
31
+ return text.toLowerCase().split(/[^a-z0-9_]+/).filter((t) => t.length > 0);
32
+ }
33
+ /**
34
+ * Normalize a single token/phrase unit the same way `tokenizeLexical` does for
35
+ * the string form: lowercase and strip leading/trailing non-alphanumeric runs.
36
+ * Applied to array-form tokens so both accepted input forms of `embedLexical`
37
+ * hash identical conceptual content to identical buckets, regardless of how the
38
+ * caller chose to pass it (code-review Q03).
39
+ */
40
+ function normalizeToken(tok) {
41
+ return tok.toLowerCase().split(/[^a-z0-9_]+/).join("");
42
+ }
43
+ /**
44
+ * Resolve either accepted input form to a normalized token sequence: the string
45
+ * form routes through `tokenizeLexical` (split on non-alphanumeric boundaries,
46
+ * fragmented tokens discarded); the array form applies the same per-token
47
+ * lowercase/strip normalization and drops tokens that normalize to empty. Both
48
+ * paths therefore agree on hash buckets for the same conceptual content.
49
+ */
50
+ function resolveTokens(tokensOrText) {
51
+ if (typeof tokensOrText === "string")
52
+ return tokenizeLexical(tokensOrText);
53
+ const out = [];
54
+ for (const raw of tokensOrText) {
55
+ const norm = normalizeToken(raw);
56
+ if (norm.length > 0)
57
+ out.push(norm);
58
+ }
59
+ return out;
60
+ }
61
+ /**
62
+ * Encode a token/phrase sequence into a 256-dim L2-normalized lexical vector
63
+ * (all-zero on empty input). Features: exact token count + token id-hash sums +
64
+ * phrase-adjacency hashes. Deterministic (repeat drift == 0). Pure local compute.
65
+ */
66
+ export function embedLexical(tokensOrText) {
67
+ const width = ENCODER_LEXICAL_WIDTH;
68
+ const out = new Float32Array(width);
69
+ const tokens = resolveTokens(tokensOrText);
70
+ for (let i = 0; i < tokens.length; i++) {
71
+ const tok = tokens[i];
72
+ const h = createHash("sha256").update(`t:${tok}`).digest();
73
+ const bucket = h.readUInt32BE(0) % width;
74
+ const weight = (h.readUInt32BE(4) / 4294967295) * 2 - 1;
75
+ out[bucket] += weight;
76
+ // Phrase adjacency: bigram hash blended in so semantic-free ordering matters.
77
+ if (i > 0) {
78
+ const pair = createHash("sha256").update(`p:${tokens[i - 1]}:${tok}`).digest();
79
+ const pb = pair.readUInt32BE(0) % width;
80
+ const pw = (pair.readUInt32BE(4) / 4294967295) * 2 - 1;
81
+ out[pb] += pw;
82
+ }
83
+ }
84
+ return l2Normalize(out);
85
+ }
86
+ /** The documented limitation string, surfaced when lexical C is selected. */
87
+ export function selectLexicalC(options = {}) {
88
+ const reporter = options.reporter ?? createEncoderHeadsReporter();
89
+ const selection = {
90
+ ok: true,
91
+ mode: "C",
92
+ dim: ENCODER_LEXICAL_WIDTH,
93
+ width: ENCODER_LEXICAL_WIDTH,
94
+ limitation: ENCODER_LEXICAL_LIMITATION,
95
+ };
96
+ reporter.fallbackSelected({
97
+ mode: selection.mode,
98
+ dim: selection.dim,
99
+ width: selection.width,
100
+ limitation: selection.limitation,
101
+ });
102
+ return selection;
103
+ }
104
+ export { l2Normalize };
@@ -0,0 +1,115 @@
1
+ /**
2
+ * vector-cortex/encoder/router.ts — VC2B encode-or-fallback router (S2).
3
+ *
4
+ * The single production seam that catches a real VC2A `load()` failure and
5
+ * hands off to the independently initialized VC2B fallbacks:
6
+ *
7
+ * - mode A: the learned multi-head projection — an EncoderRuntime that
8
+ * verifies+loads a local qualified ONNX (VC2A) plus `encodeVectorSet`
9
+ * producing VectorSetV1, emitting `vector_cortex_encoder_heads_emitted`;
10
+ * - when that `load()` fails for ANY reason (removed model ->
11
+ * ENC_ASSET_UNREADABLE, digest mismatch -> ENC_DIGEST_MISMATCH, missing
12
+ * manifest -> ENC_MANIFEST_INVALID, unsupported platform, RSS over budget,
13
+ * ...) the router catches the real failure and selects the independently
14
+ * initialized asset-free trigram B (`selectTrigramBFallback`) — or lexical C
15
+ * when the runtime reports B-unavailable / the caller forces mode C. The
16
+ * `vector_cortex_encoder_fallback_selected` event fires from the REAL
17
+ * producer seam, not test wiring (task 5 + code-review S1).
18
+ *
19
+ * Best-effort and non-fatal: every branch returns an explicit verdict and never
20
+ * throws across the boundary into the agent loop. Flag-OFF parity: with
21
+ * `MEGACOMPACT_VC2B=0` the VC2B reporter is a no-op (zero emissions), and the
22
+ * mode-A path is governed by the VC2A runtime itself — the router only adds the
23
+ * fallback handoff and changes no producer bytes.
24
+ *
25
+ * Pi-agnostic, zero network (PREVENT-PI-004), no `any` (PREVENT-011).
26
+ */
27
+ import { createEncoderRuntime } from "./runtime.js";
28
+ import { encodeVectorSet } from "./heads.js";
29
+ import { embedTrigram512, selectTrigramBFallback } from "./trigram.js";
30
+ import { embedLexical, selectLexicalC } from "./lexical.js";
31
+ import { createEncoderHeadsReporter } from "./emit-vc2b.js";
32
+ import { ENC_FAIL, } from "./types.js";
33
+ /** Deterministic text derived from an int token sequence so the asset-free
34
+ * fallback producers operate on the same authority the learned path encoded. */
35
+ function textFromTokens(tokens) {
36
+ return tokens.join("-");
37
+ }
38
+ /**
39
+ * Try to produce an encoding for an input token sequence. Mode A: verify+load
40
+ * the local learned asset via the EncoderRuntime; on a real `load()` failure
41
+ * (removed model, digest mismatch, missing manifest, ...) the router catches it
42
+ * and selects the independently initialized trigram B or lexical C, emitting
43
+ * `vector_cortex_encoder_fallback_selected` (and `heads_emitted` when A wins).
44
+ */
45
+ export function encodeOrFallback(input, assetDir, options = {}) {
46
+ const reporter = options.reporter ?? createEncoderHeadsReporter();
47
+ const tokens = Array.isArray(input?.tokens) ? input.tokens : [];
48
+ const runtime = options.runtime ?? createEncoderRuntime();
49
+ // A caller that explicitly forces a fallback mode wins even over the empty-
50
+ // input degenerate case: the forced-mode contract must hold for ANY input, so
51
+ // handle forceFallback before the empty-input selection below (Q02). A forced
52
+ // B/C is NOT a rollback and NOT a demotion — it is an intentional selection
53
+ // for capacity/testing — so the verdict carries `code: null`, never
54
+ // ENC_FAIL.ROLLBACK, so a consumer that reads `verdict.code` as "what
55
+ // triggered the fallback" won't misread a deliberately forced mode as a
56
+ // rollback and take rollback-specific action (code-review Q04).
57
+ if (options.forceFallback !== undefined) {
58
+ if (options.forceFallback === "C") {
59
+ const sel = selectLexicalC({ reporter });
60
+ const vector = embedLexical(textFromTokens(tokens));
61
+ return { ok: true, mode: "C", vector, width: sel.width, limitation: sel.limitation, code: null };
62
+ }
63
+ const sel = selectTrigramBFallback({ reporter });
64
+ const vector = embedTrigram512(textFromTokens(tokens));
65
+ return { ok: true, mode: "B", vector, width: sel.width, limitation: null, code: null };
66
+ }
67
+ // Empty input yields the asset-free fallback (finite, deterministic zero
68
+ // vector, ENC-ZERO-002). This is legitimate degenerate behavior, NOT a shape
69
+ // failure, so the verdict carries no failure code (code === null) — a consumer
70
+ // that interprets `code` as "what went wrong" must not misread a valid all-zero
71
+ // B vector as a shape rejection (Q05). Only reached when no mode is forced, so
72
+ // a forced B/C is never subverted by empty tokens.
73
+ if (tokens.length === 0) {
74
+ const sel = selectTrigramBFallback({ reporter });
75
+ const vector = embedTrigram512("");
76
+ return { ok: true, mode: "B", vector, width: sel.width, limitation: null, code: null };
77
+ }
78
+ // Mode A attempt — reached only when no mode is forced (the forceFallback
79
+ // guard at the top already returned), so `options.forceFallback` is undefined here.
80
+ const loaded = runtime.load(assetDir);
81
+ if (!loaded.ok) {
82
+ return fallbackFromLoad(loaded, reporter, tokens);
83
+ }
84
+ // Q01/Q03: a qualified mode-A load is not enough — the verified per-manifest
85
+ // token capacity (maxTokens, <= global 512) must also be enforced before we
86
+ // produce a VectorSetV1. run inference over the input; an over-cap sequence
87
+ // (e.g. 100 tokens against a verified maxTokens=64 manifest) or an
88
+ // over-budget inference is rejected here and routed to the B/C fallback with
89
+ // the real failure code, rather than silently emitting an ok:true mode-A
90
+ // set whose inputTokens breach the model's declared capacity.
91
+ const inferred = runtime.infer({ tokens });
92
+ if (!inferred.ok) {
93
+ return fallbackFromLoad({ ok: false, mode: "B", code: inferred.code }, reporter, tokens);
94
+ }
95
+ const vectorSet = encodeVectorSet(tokens, { reporter, seed: options.seed });
96
+ return { ok: true, mode: "A", vectorSet, code: null };
97
+ }
98
+ /**
99
+ * Catch a (real or forced) A load failure (ok === false only) and select the
100
+ * B/C fallback that emits `vector_cortex_encoder_fallback_selected` from the
101
+ * production seam. The parameter is narrowed to the failed-load variant because
102
+ * the router hands off here only on a non-A/failed load — a qualified mode-A
103
+ * success never reaches this function (Q04).
104
+ */
105
+ function fallbackFromLoad(loaded, reporter, tokens) {
106
+ if (loaded.mode === "C") {
107
+ const sel = selectLexicalC({ reporter });
108
+ const vector = embedLexical(textFromTokens(tokens));
109
+ return { ok: true, mode: "C", vector, width: sel.width, limitation: sel.limitation, code: loaded.code };
110
+ }
111
+ const sel = selectTrigramBFallback({ reporter });
112
+ const vector = embedTrigram512(textFromTokens(tokens));
113
+ return { ok: true, mode: "B", vector, width: sel.width, limitation: null, code: loaded.code };
114
+ }
115
+ export { ENC_FAIL };
@@ -0,0 +1,75 @@
1
+ /**
2
+ * vector-cortex/encoder/trigram.ts — VC2B mode B: asset-free trigram encoder.
3
+ *
4
+ * Trigram B is a deterministic, asset-free (no learned model, no manifest, no
5
+ * calibration) 512-dim fixed feature encoding of a token/phrase sequence. It is
6
+ * the mode-B fallback selected when the learned asset (mode A) is removed,
7
+ * missing, unsupported, or digest-bad — and it never imports the learned asset
8
+ * or learned calibration (task 4). It derives directly from textual authority:
9
+ * the same document hashed via its byte-level trigrams yields the same 512-dim
10
+ * vector regardless of the asset state.
11
+ *
12
+ * Width is fixed at `ENCODER_TRIGRAM_WIDTH = 512` (VC2B task 4 "trigram B at 512
13
+ * dimensions"). The vector is L2-normalized; a zero-norm (empty) input maps to
14
+ * the all-zero vector, matching the heads convention of the VectorSet.
15
+ *
16
+ * Failure-triad independence: B's algorithm/index is distinct from A (learned
17
+ * projections) and C (token/phrase lexical) — it is a deterministic hashed
18
+ * n-gram bag-of-hashes, computed purely in-process with no external asset.
19
+ *
20
+ * Pi-agnostic, zero network (PREVENT-PI-004), no `any` (PREVENT-011).
21
+ */
22
+ import { createHash } from "node:crypto";
23
+ import { l2Normalize } from "./heads.js";
24
+ import { createEncoderHeadsReporter, } from "./emit-vc2b.js";
25
+ /** Fixed output width of trigram B (VC2B task 4). */
26
+ export const ENCODER_TRIGRAM_WIDTH = 512;
27
+ /** Tokenize a phrase into byte-level trigrams (3-byte sliding windows). For a
28
+ * short phrase with fewer than 3 bytes we still emit the available shingles. */
29
+ function trigrams(text) {
30
+ const bytes = Buffer.from(text, "utf8");
31
+ if (bytes.length === 0)
32
+ return [];
33
+ const out = [];
34
+ const n = bytes.length;
35
+ // `Math.max(1, n - 2)` already emits a single whole-string shingle for 1- and
36
+ // 2-byte phrases (slice(0,3) covers the whole buffer), so there is NO separate
37
+ // short-phrase block — adding one would hash the same shingle twice (Q05).
38
+ for (let i = 0; i < Math.max(1, n - 2); i++) {
39
+ const chunk = bytes.slice(i, i + 3);
40
+ out.push(chunk.toString("hex"));
41
+ }
42
+ return out;
43
+ }
44
+ /**
45
+ * Encode a phrase into a 512-dim L2-normalized trigram vector (all-zero on
46
+ * empty input). Deterministic: the same text always yields the same vector
47
+ * (repeat drift == 0) — no asset, no calibration, no network.
48
+ */
49
+ export function embedTrigram512(text) {
50
+ const width = ENCODER_TRIGRAM_WIDTH;
51
+ const out = new Float32Array(width);
52
+ // Feistel-style double hashing of each trigram into a bucket index + weight.
53
+ for (const tg of trigrams(text)) {
54
+ const h1 = createHash("sha256").update(tg).digest();
55
+ const bucket = h1.readUInt32BE(0) % width;
56
+ const weight = (h1.readUInt32BE(4) / 4294967295) * 2 - 1;
57
+ out[bucket] += weight;
58
+ }
59
+ return l2Normalize(out);
60
+ }
61
+ /**
62
+ * The 512-dim vector is produced even when the learned asset is absent: this is
63
+ * the mode-B selection point. Returns `{ ok: true, dim, width }` always — there
64
+ * is no asset to consult (task 4 + ENC-FALLBACK-003). Selecting mode B also
65
+ * emits `vector_cortex_encoder_fallback_selected` via the flag-gated reporter
66
+ * (task 5) — the production seam that makes the fallback event live in the
67
+ * runtime, not dead test-only wiring.
68
+ */
69
+ export function selectTrigramBFallback(options = {}) {
70
+ const reporter = options.reporter ?? createEncoderHeadsReporter();
71
+ const selection = { ok: true, mode: "B", dim: ENCODER_TRIGRAM_WIDTH, width: ENCODER_TRIGRAM_WIDTH };
72
+ reporter.fallbackSelected({ mode: selection.mode, dim: selection.dim, width: selection.width });
73
+ return selection;
74
+ }
75
+ export { l2Normalize };
@@ -83,3 +83,56 @@ export const ENC_IDS = [
83
83
  "ENC-007",
84
84
  "ENC-008",
85
85
  ];
86
+ // ---------------------------------------------------------------------------
87
+ // VC2B — multi-head encoder (VectorSetV1 / HeadCalibrationDraft).
88
+ // ---------------------------------------------------------------------------
89
+ /** The five independent projection heads in STABLE order (MODEL_ASSET
90
+ * §decision record; VC2B task 2 "stable order"). The array order is the
91
+ * normative ordering consumed by consumers: semantic, dependency,
92
+ * contradiction, cache-stability, payload-routing. */
93
+ export const ENCODER_HEAD_ORDER = [
94
+ "semantic",
95
+ "dependency",
96
+ "contradiction",
97
+ "cacheStability",
98
+ "payloadRouting",
99
+ ];
100
+ /** The ordered per-head output dimensions: semantic 384, dependency 128,
101
+ * contradiction 128, cacheStability 64, payloadRouting 32 (VC2B task 2). */
102
+ export const ENCODER_HEAD_DIMS = {
103
+ semantic: 384,
104
+ dependency: 128,
105
+ contradiction: 128,
106
+ cacheStability: 64,
107
+ payloadRouting: 32,
108
+ };
109
+ /** Ordered dimension list matching ENCODER_HEAD_ORDER (384/128/128/64/32). */
110
+ export const ENCODER_HEAD_DIM_ORDER = ENCODER_HEAD_ORDER.map((h) => ENCODER_HEAD_DIMS[h]);
111
+ /**
112
+ * Weighted training losses per head (MODEL_ASSET §data/losses/calibration):
113
+ * semantic .35, dependency .20, contradiction .20, cache .15, payload .10.
114
+ * These are normative (VC2B task 3: "losses exactly .35/.20/.20/.15/.10").
115
+ */
116
+ export const ENCODER_HEAD_LOSS_WEIGHTS = {
117
+ semantic: 0.35,
118
+ dependency: 0.2,
119
+ contradiction: 0.2,
120
+ cacheStability: 0.15,
121
+ payloadRouting: 0.1,
122
+ };
123
+ /** Sum of the five loss weights must be exactly 1.0 (asserted in tests). */
124
+ export const ENCODER_HEAD_LOSS_SUM = 1.0;
125
+ /** Deterministic seed shared by Python/NumPy training and ONNX export (VC2B
126
+ * task 3: "seed ... at 1729"). */
127
+ export const ENCODER_SEED = 1729;
128
+ /** The 16 registered VC2B conformance IDs (task 1: "register ENC-009..016"). */
129
+ export const ENC2B_IDS = [
130
+ "ENC-009",
131
+ "ENC-010",
132
+ "ENC-011",
133
+ "ENC-012",
134
+ "ENC-013",
135
+ "ENC-014",
136
+ "ENC-015",
137
+ "ENC-016",
138
+ ];