@packet-schema/core 0.1.0

package/dist/expr.js

@@ -0,0 +1,190 @@
+/* ------------------------------------------------------------------ *
+ * Expression constructors (authoring helpers)
+ * ------------------------------------------------------------------ */
+export const lit = (value) => ({ kind: "lit", value });
+export const ref = (field) => ({ kind: "ref", field });
+export const op = (o, a, b) => ({ kind: "op", op: o, a, b });
+export const cond = (test, t, f) => ({ kind: "cond", test, t, f });
+export const peek = (bits, offset) => offset === undefined ? { kind: "peek", bits } : { kind: "peek", bits, offset };
+export const lookup = (key, table) => ({ kind: "lookup", key, table });
+export const wireSize = (target) => ({ kind: "wireSize", target });
+export const prevIter = (field) => ({ kind: "prevIter", field });
+export const remaining = () => ({ kind: "remaining" });
+export const enclosingBits = () => ({ kind: "enclosingBits" });
+export const enclosingField = (field) => ({ kind: "enclosingField", field });
+/* ------------------------------------------------------------------ *
+ * Reserved env keys for context-dependent expressions.
+ * normalize injects these so evalExpr stays pure (§4, §10).
+ * ------------------------------------------------------------------ */
+export const peekEnvKey = (offset, bits) => `__peek__${offset}__${bits}`;
+export const remainingEnvKey = () => "__remaining__";
+export const enclosingBitsEnvKey = () => "__enclosingBits__";
+export const wireSizeEnvKey = (target) => `__wireSize__${target}`;
+export const prevIterEnvKey = (field) => `__prevIter__${field}`;
+export const enclosingFieldEnvKey = (field) => `__enclosing__${field}`;
+export class MissingRefError extends Error {
+    field;
+    constructor(field) {
+        super(`evalExpr: missing reference "${field}"`);
+        this.field = field;
+        this.name = "MissingRefError";
+    }
+}
+/* ------------------------------------------------------------------ *
+ * Evaluator
+ * ------------------------------------------------------------------ */
+export function evalExpr(expr, env) {
+    switch (expr.kind) {
+        case "lit":
+            return expr.value;
+        case "ref": {
+            const v = env.get(expr.field);
+            if (v === undefined)
+                throw new MissingRefError(expr.field);
+            return v;
+        }
+        case "op": {
+            const a = evalExpr(expr.a, env);
+            const b = evalExpr(expr.b, env);
+            switch (expr.op) {
+                case "+": return a + b;
+                case "-": return a - b;
+                case "*": return a * b;
+                case "/":
+                    if (b === 0)
+                        throw new Error("evalExpr: division by zero");
+                    return Math.trunc(a / b);
+                case "%":
+                    if (b === 0)
+                        throw new Error("evalExpr: modulo by zero");
+                    // §4 pairs `%` with truncated-division `/` ("truncates toward zero"),
+                    // so `%` follows JS remainder semantics: the result takes the sign of
+                    // the dividend (e.g. (1-3) % 4 === -2, NOT the Euclidean 2). The spec
+                    // does not define a Euclidean modulo; authors must not assume one.
+                    // Spec keys/table values are non-negative, so a negative left operand
+                    // here reflects authored arithmetic, not a normalization choice.
+                    return a % b;
+                // Left shift masked to an unsigned 32-bit result (§4): JS `<<` is
+                // signed, so a high-bit shift like `1 << 31` would yield a negative
+                // number; `>>> 0` reinterprets it as the unsigned wire value.
+                case "<<": return (a << b) >>> 0;
+                // Arithmetic (sign-propagating) right shift, per §4 "Arithmetic right
+                // shift; operates on 32-bit integers."
+                case ">>": return a >> b;
+                case "==": return a === b ? 1 : 0;
+                case "!=": return a !== b ? 1 : 0;
+                case "<": return a < b ? 1 : 0;
+                case "<=": return a <= b ? 1 : 0;
+                case ">": return a > b ? 1 : 0;
+                case ">=": return a >= b ? 1 : 0;
+                // §4 (Note on 64-bit fields): bitwise and shift operators are evaluated
+                // as 32-bit integers BY DESIGN — JS `&|^` coerce operands via ToInt32,
+                // so a value wider than 32 bits is truncated and a high bit may flip the
+                // sign. This is the documented spec contract: for fields wider than 32
+                // bits, authors must use arithmetic operators and `cond`, not bit ops.
+                case "&": return (a & b) | 0;
+                case "|": return (a | b) | 0;
+                case "^": return (a ^ b) | 0;
+                default: {
+                    const bad = expr.op;
+                    throw new Error(`evalExpr: unknown operator "${bad}"`);
+                }
+            }
+        }
+        case "cond": {
+            const t = evalExpr(expr.test, env);
+            return t !== 0 ? evalExpr(expr.t, env) : evalExpr(expr.f, env);
+        }
+        case "peek": {
+            const offsetVal = expr.offset !== undefined ? evalExpr(expr.offset, env) : 0;
+            return env.get(peekEnvKey(offsetVal, expr.bits)) ?? 0;
+        }
+        case "lookup": {
+            // key truncated toward zero; negative or missing key → 0 (§4)
+            const k = Math.trunc(evalExpr(expr.key, env));
+            const v = expr.table[k];
+            return v ?? 0;
+        }
+        case "wireSize":
+            return env.get(wireSizeEnvKey(expr.target)) ?? 0;
+        case "prevIter":
+            return env.get(prevIterEnvKey(expr.field)) ?? 0;
+        case "remaining":
+            return env.get(remainingEnvKey()) ?? 0;
+        case "enclosingBits":
+            return env.get(enclosingBitsEnvKey()) ?? 0;
+        case "enclosingField":
+            return env.get(enclosingFieldEnvKey(expr.field)) ?? 0;
+        default: {
+            const _exhaustive = expr;
+            throw new Error(`evalExpr: unknown expression kind "${_exhaustive.kind}"`);
+        }
+    }
+}
+/** Evaluate, returning `fallback` when a referenced field is missing (§10.3). */
+export function evalExprOr(expr, env, fallback = 0) {
+    try {
+        return evalExpr(expr, env);
+    }
+    catch (e) {
+        if (e instanceof MissingRefError)
+            return fallback;
+        throw e;
+    }
+}
+/* ------------------------------------------------------------------ *
+ * Static reference collection
+ * ------------------------------------------------------------------ */
+/** Plain field-id references (`ref`) reachable from an expression. */
+export function exprRefs(expr) {
+    const out = [];
+    walkExpr(expr, (e) => {
+        if (e.kind === "ref")
+            out.push(e.field);
+    });
+    return out;
+}
+/** Visit every sub-expression node depth-first. */
+export function walkExpr(expr, visit) {
+    visit(expr);
+    switch (expr.kind) {
+        case "lit":
+        case "ref":
+        case "wireSize":
+        case "prevIter":
+        case "remaining":
+        case "enclosingBits":
+        case "enclosingField":
+            return;
+        case "op":
+            walkExpr(expr.a, visit);
+            walkExpr(expr.b, visit);
+            return;
+        case "cond":
+            walkExpr(expr.test, visit);
+            walkExpr(expr.t, visit);
+            walkExpr(expr.f, visit);
+            return;
+        case "peek":
+            if (expr.offset !== undefined)
+                walkExpr(expr.offset, visit);
+            return;
+        case "lookup":
+            walkExpr(expr.key, visit);
+            return;
+        default: {
+            const _exhaustive = expr;
+            throw new Error(`walkExpr: unhandled Expr kind ${String(_exhaustive.kind)}`);
+        }
+    }
+}
+/** True if any sub-expression matches the predicate. */
+export function exprContains(expr, pred) {
+    let found = false;
+    walkExpr(expr, (e) => {
+        if (pred(e))
+            found = true;
+    });
+    return found;
+}
+//# sourceMappingURL=expr.js.map

package/dist/expr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr.js","sourceRoot":"","sources":["../src/expr.ts"],"names":[],"mappings":"AAEA;;wEAEwE;AAExE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AACrE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AACrE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAQ,EAAE,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AACtF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC3F,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,MAAa,EAAQ,EAAE,CACxD,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACjF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAS,EAAE,KAA6B,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3G,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;AACzF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/E,MAAM,CAAC,MAAM,SAAS,GAAG,GAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;AAC7D,MAAM,CAAC,MAAM,aAAa,GAAG,GAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;AACrE,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAa,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,CAAC;AAE3F;;;wEAGwE;AAExE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,IAAY,EAAU,EAAE,CAAC,WAAW,MAAM,KAAK,IAAI,EAAE,CAAC;AACjG,MAAM,CAAC,MAAM,eAAe,GAAG,GAAW,EAAE,CAAC,eAAe,CAAC;AAC7D,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAW,EAAE,CAAC,mBAAmB,CAAC;AACrE,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,eAAe,MAAM,EAAE,CAAC;AAClF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,eAAe,KAAK,EAAE,CAAC;AAChF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,gBAAgB,KAAK,EAAE,CAAC;AAEvF,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACZ;IAA5B,YAA4B,KAAa;QACvC,KAAK,CAAC,gCAAgC,KAAK,GAAG,CAAC,CAAC;QADtB,UAAK,GAAL,KAAK,CAAQ;QAEvC,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED;;wEAEwE;AAExE,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,GAAc;IACjD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3D,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAChC,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;gBAChB,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,KAAK,GAAG;oBACN,IAAI,CAAC,KAAK,CAAC;wBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;oBAC3D,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC3B,KAAK,GAAG;oBACN,IAAI,CAAC,KAAK,CAAC;wBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;oBACzD,sEAAsE;oBACtE,sEAAsE;oBACtE,sEAAsE;oBACtE,mEAAmE;oBACnE,sEAAsE;oBACtE,iEAAiE;oBACjE,OAAO,CAAC,GAAG,CAAC,CAAC;gBACf,kEAAkE;gBAClE,oEAAoE;gBACpE,8DAA8D;gBAC9D,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;gBACjC,sEAAsE;gBACtE,uCAAuC;gBACvC,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACzB,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClC,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClC,KAAK,GAAG,CAAC,CAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChC,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjC,KAAK,GAAG,CAAC,CAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChC,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjC,wEAAwE;gBACxE,uEAAuE;gBACvE,yEAAyE;gBACzE,uEAAuE;gBACvE,uEAAuE;gBACvE,KAAK,GAAG,CAAC,CAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC9B,KAAK,GAAG,CAAC,CAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC9B,KAAK,GAAG,CAAC,CAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC9B,OAAO,CAAC,CAAC,CAAC;oBACR,MAAM,GAAG,GAAG,IAAI,CAAC,EAAY,CAAC;oBAC9B,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,GAAG,CAAC,CAAC;gBACzD,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjE,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7E,OAAO,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,8DAA8D;YAC9D,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB,CAAC;QACD,KAAK,UAAU;YACb,OAAO,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;QACnD,KAAK,UAAU;YACb,OAAO,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;QAClD,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,CAAC;QACzC,KAAK,eAAe;YAClB,OAAO,GAAG,CAAC,GAAG,CAAC,mBAAmB,EAAE,CAAC,IAAI,CAAC,CAAC;QAC7C,KAAK,gBAAgB;YACnB,OAAO,GAAG,CAAC,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;QACxD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,sCAAuC,WAAgC,CAAC,IAAI,GAAG,CAChF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,UAAU,CAAC,IAAU,EAAE,GAAc,EAAE,QAAQ,GAAG,CAAC;IACjE,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe;YAAE,OAAO,QAAQ,CAAC;QAClD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED;;wEAEwE;AAExE,sEAAsE;AACtE,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;QACnB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,KAAwB;IAC3D,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,eAAe,CAAC;QACrB,KAAK,gBAAgB;YACnB,OAAO;QACT,KAAK,IAAI;YACP,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACxB,OAAO;QACT,KAAK,MAAM;YACT,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACxB,OAAO;QACT,KAAK,MAAM;YACT,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC5D,OAAO;QACT,KAAK,QAAQ;YACX,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC1B,OAAO;QACT,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,iCAAiC,MAAM,CAAE,WAAiC,CAAC,IAAI,CAAC,EAAE,CACnF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,YAAY,CAAC,IAAU,EAAE,IAA0B;IACjE,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;QACnB,IAAI,IAAI,CAAC,CAAC,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,17 @@
+export type { Packet, PsdlPacket, PsdlField, PsdlExpr, PsdlType, Field, Virtual, Repeat, RepeatCount, Switch, Group, Encrypted, Optional, Align, Bounded, RefContainer, Container, Struct, NamedStruct, Constraint, Type, TypeInt, TypeBits, TypeBytes, TypeEnum, TypeVarint, TypeBerLength, BytesDelimited, VarintEncoding, EnumVariant, EnumVariantObj, Subfield, NormativeLevel, RfcRef, UpdateRef, ValueEntry, ChecksumAlgorithm, ChecksumParams, PseudoHeader, DisplayHint, FieldMeta, PacketMeta, ImportEntry, RendererHints, RendererSection, Expr, ExprLit, ExprRef, ExprOp, ExprCond, ExprPeek, ExprLookup, ExprWireSize, ExprPrevIter, ExprRemaining, ExprEnclosingBits, ExprEnclosingField, BinOp, CategoryToken, PacketEnv, ViewMode, Normalized, NormalizedField, LayoutField, LayoutSubField, Cell, SubCell, ResolvedLayout, } from "./types.js";
+export { VARINT_ENCODINGS, CHECKSUM_ALGORITHMS, CATEGORY_TOKENS, BIN_OPS } from "./types.js";
+export { lit, ref, op, cond, peek, lookup, wireSize, prevIter, remaining, enclosingBits, enclosingField, peekEnvKey, remainingEnvKey, enclosingBitsEnvKey, wireSizeEnvKey, prevIterEnvKey, enclosingFieldEnvKey, evalExpr, evalExprOr, exprRefs, walkExpr, exprContains, MissingRefError, } from "./expr.js";
+export { normalize, initialEnv, typeBits, berLenEnvKey, varintBitsEnvKey, bytesDelimLenEnvKey, isBytesDelimited, selectArm } from "./normalize.js";
+export type { NormalizeOptions } from "./normalize.js";
+export { resolveLayout } from "./layout.js";
+export type { LayoutOptions } from "./layout.js";
+export { propagate, propagateFixpoint, validateConstraints } from "./constraint.js";
+export type { PropagateResult, PropagateOk, PropagateConflict, ConstraintDiagnostic } from "./constraint.js";
+export { validatePacket, validateContainer, isValidExpr } from "./validate.js";
+export type { ValidationError } from "./validate.js";
+export { parsePsdl, stringifyPsdl } from "./yaml.js";
+export type { ParseResult } from "./yaml.js";
+export { isField } from "./utils.js";
+export { collectPsdlRefs } from "./collect-refs.js";
+export { resolveValueEntry, matchesPattern } from "./values.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":"AAGA,YAAY,EACV,MAAM,EACN,UAAU,EACV,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,KAAK,EACL,OAAO,EACP,MAAM,EACN,WAAW,EACX,MAAM,EACN,KAAK,EACL,SAAS,EACT,QAAQ,EACR,KAAK,EACL,OAAO,EACP,YAAY,EACZ,SAAS,EACT,MAAM,EACN,WAAW,EACX,UAAU,EACV,IAAI,EACJ,OAAO,EACP,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,UAAU,EACV,aAAa,EACb,cAAc,EACd,cAAc,EACd,WAAW,EACX,cAAc,EACd,QAAQ,EACR,cAAc,EACd,MAAM,EACN,SAAS,EACT,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,YAAY,EACZ,WAAW,EACX,SAAS,EACT,UAAU,EACV,WAAW,EACX,aAAa,EACb,eAAe,EACf,IAAI,EACJ,OAAO,EACP,OAAO,EACP,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,KAAK,EACL,aAAa,EACb,SAAS,EACT,QAAQ,EACR,UAAU,EACV,eAAe,EACf,WAAW,EACX,cAAc,EACd,IAAI,EACJ,OAAO,EACP,cAAc,GACf,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAG7F,OAAO,EACL,GAAG,EACH,GAAG,EACH,EAAE,EACF,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,aAAa,EACb,cAAc,EACd,UAAU,EACV,eAAe,EACf,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,oBAAoB,EACpB,QAAQ,EACR,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,eAAe,GAChB,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AACnJ,YAAY,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAGvD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGjD,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACpF,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAG7G,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC/E,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGrD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AACrD,YAAY,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAG7C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC"}

package/dist/index.js

@@ -0,0 +1,19 @@
+// @packet-schema/core — public API
+export { VARINT_ENCODINGS, CHECKSUM_ALGORITHMS, CATEGORY_TOKENS, BIN_OPS } from "./types.js";
+// Expression helpers & evaluator
+export { lit, ref, op, cond, peek, lookup, wireSize, prevIter, remaining, enclosingBits, enclosingField, peekEnvKey, remainingEnvKey, enclosingBitsEnvKey, wireSizeEnvKey, prevIterEnvKey, enclosingFieldEnvKey, evalExpr, evalExprOr, exprRefs, walkExpr, exprContains, MissingRefError, } from "./expr.js";
+// Normalize
+export { normalize, initialEnv, typeBits, berLenEnvKey, varintBitsEnvKey, bytesDelimLenEnvKey, isBytesDelimited, selectArm } from "./normalize.js";
+// Layout
+export { resolveLayout } from "./layout.js";
+// Constraint solver
+export { propagate, propagateFixpoint, validateConstraints } from "./constraint.js";
+// Validation
+export { validatePacket, validateContainer, isValidExpr } from "./validate.js";
+// YAML I/O
+export { parsePsdl, stringifyPsdl } from "./yaml.js";
+// Utilities
+export { isField } from "./utils.js";
+export { collectPsdlRefs } from "./collect-refs.js";
+export { resolveValueEntry, matchesPattern } from "./values.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,mCAAmC;AAyEnC,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE7F,iCAAiC;AACjC,OAAO,EACL,GAAG,EACH,GAAG,EACH,EAAE,EACF,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,aAAa,EACb,cAAc,EACd,UAAU,EACV,eAAe,EACf,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,oBAAoB,EACpB,QAAQ,EACR,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,eAAe,GAChB,MAAM,WAAW,CAAC;AAEnB,YAAY;AACZ,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAGnJ,SAAS;AACT,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAG5C,oBAAoB;AACpB,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAGpF,aAAa;AACb,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAG/E,WAAW;AACX,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAGrD,YAAY;AACZ,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC"}

package/dist/layout.d.ts

@@ -0,0 +1,7 @@
+import type { PacketEnv, Packet as PsdlPacket, ResolvedLayout, ViewMode } from "./types.js";
+export type LayoutOptions = {
+    env?: PacketEnv;
+    viewMode?: ViewMode;
+};
+export declare function resolveLayout(packet: PsdlPacket, options?: LayoutOptions): ResolvedLayout;
+//# sourceMappingURL=layout.d.ts.map

package/dist/layout.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layout.d.ts","sourceRoot":"","sources":["../src/layout.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAKV,SAAS,EACT,MAAM,IAAI,UAAU,EACpB,cAAc,EAEd,QAAQ,EACT,MAAM,YAAY,CAAC;AAGpB,MAAM,MAAM,aAAa,GAAG;IAC1B,GAAG,CAAC,EAAE,SAAS,CAAC;IAChB,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB,CAAC;AAMF,wBAAgB,aAAa,CAC3B,MAAM,EAAE,UAAU,EAClB,OAAO,GAAE,aAAkB,GAC1B,cAAc,CAkFhB"}

package/dist/layout.js

@@ -0,0 +1,217 @@
+// layout.ts — renderer に依存しない bit-grid 展開。
+// Cell / LayoutField / ResolvedLayout はすべて types.ts で定義。
+import { initialEnv, normalize } from "./normalize.js";
+function resolveRowBits(packet) {
+    return packet.rendererHints?.rowBits ?? packet.rowBits ?? 0;
+}
+export function resolveLayout(packet, options = {}) {
+    const rowBits = resolveRowBits(packet);
+    if (!Number.isInteger(rowBits) || rowBits <= 0) {
+        throw new Error(`resolveLayout: rowBits must be a positive integer; got ${String(rowBits)}.`);
+    }
+    const env = new Map(options.env ?? initialEnv(packet));
+    const viewMode = options.viewMode ?? "wire";
+    const norm = normalize(packet, env, { viewMode });
+    const cells = [];
+    let bitPos = 0;
+    const groups = groupConsecutiveByContainer(norm.fields);
+    for (const g of groups) {
+        if (g.kind === "flat") {
+            const nf = g.field;
+            const field = {
+                id: nf.id,
+                name: nf.name,
+                bits: nf.bits,
+                ...(nf.category ? { category: nf.category } : {}),
+                ...(nf.doc ? { description: nf.doc } : {}),
+                ...(nf.values ? { values: nf.values } : {}),
+                // Field meta wins; fall back to the enclosing group's meta so a
+                // single-child group (not collapsed into a parent) still surfaces its
+                // RFC provenance for per-group deep-linking (§5.4).
+                ...(nf.meta ? { meta: nf.meta } : nf.groupMeta ? { meta: nf.groupMeta } : {}),
+            };
+            bitPos = emitField(field, nf, bitPos, rowBits, cells);
+            continue;
+        }
+        const totalBits = g.children.reduce((a, f) => a + f.bits, 0);
+        if (totalBits === 0)
+            continue;
+        const subfields = g.children.map((c) => ({
+            // Strip the repeat suffix back to the source field id. Nested repeats
+            // join their index stack with "_" (normalize.ts repeatSuffix), so the
+            // suffix shape is "#0", "#0_1", "#0_1_2", …
+            id: c.id.replace(/#\d+(?:_\d+)*$/, ""),
+            name: c.name,
+            bits: c.bits,
+            ...(c.doc ? { description: c.doc } : {}),
+            ...(c.values ? { values: c.values } : {}),
+            ...(c.meta ? { meta: c.meta } : {}),
+        }));
+        const field = {
+            id: g.parentId,
+            name: g.parentName,
+            bits: totalBits,
+            subfields,
+            ...(g.children.find((c) => c.category)?.category
+                ? { category: g.children.find((c) => c.category).category }
+                : {}),
+            // §5.4: surface the enclosing group's RFC provenance for per-group LSP deep-linking.
+            ...(g.children[0]?.groupMeta ? { meta: g.children[0].groupMeta } : {}),
+        };
+        const allEncrypted = g.children.every((c) => c.encrypted);
+        const sharedParentId = g.children[0]?.encryptedParentId &&
+            g.children.every((c) => c.encryptedParentId === g.children[0]?.encryptedParentId)
+            ? g.children[0].encryptedParentId
+            : undefined;
+        const allHeaderProtected = g.children.every((c) => c.headerProtected);
+        const sharedByteOrder = g.children[0]?.byteOrder &&
+            g.children.every((c) => c.byteOrder === g.children[0]?.byteOrder)
+            ? g.children[0].byteOrder
+            : undefined;
+        const first = g.children[0];
+        const proxy = {
+            ...first,
+            id: g.parentId,
+            name: g.parentName,
+            bits: totalBits,
+            ...(allEncrypted ? { encrypted: true } : {}),
+            ...(sharedParentId !== undefined ? { encryptedParentId: sharedParentId } : {}),
+            ...(sharedParentId ? { encryptedContextNote: first.encryptedContextNote } : {}),
+            ...(allHeaderProtected ? { headerProtected: true } : {}),
+            ...(sharedByteOrder !== undefined ? { byteOrder: sharedByteOrder } : {}),
+        };
+        bitPos = emitField(field, proxy, bitPos, rowBits, cells, g.children);
+    }
+    return { cells, totalBits: norm.totalBits };
+}
+function groupConsecutiveByContainer(fields) {
+    const out = [];
+    let i = 0;
+    while (i < fields.length) {
+        const f = fields[i];
+        if (!f.groupId) {
+            out.push({ kind: "flat", field: f });
+            i++;
+            continue;
+        }
+        const groupId = f.groupId;
+        const groupPath = f.originalContainerPath;
+        const run = [f];
+        let j = i + 1;
+        while (j < fields.length &&
+            fields[j].groupId === groupId &&
+            fields[j].originalContainerPath === groupPath) {
+            run.push(fields[j]);
+            j++;
+        }
+        // Virtual fields are zero-width tooling entries (§5): they participate in
+        // the run (so a virtual between two group fields does not split the
+        // group's collapse) but are not rendered, so they neither count toward
+        // the flat/collapsed decision nor appear as subfields.
+        const real = run.filter((c) => !c.virtual);
+        if (real.length <= 1) {
+            for (const c of run)
+                out.push({ kind: "flat", field: c });
+            i = j;
+            continue;
+        }
+        out.push({ kind: "collapsed", parentId: groupId, parentName: f.groupName ?? groupId, children: real });
+        i = j;
+    }
+    return out;
+}
+function emitField(field, nf, bitPos, rowBits, cells, childNFs) {
+    const bits = nf.bits;
+    if (bits === 0)
+        return bitPos;
+    let remaining = bits;
+    let segmentIndex = 0;
+    const totalSegments = computeSegmentCount(bitPos, bits, rowBits);
+    while (remaining > 0) {
+        const row = Math.floor(bitPos / rowBits);
+        const colInRow = bitPos % rowBits;
+        const take = Math.min(remaining, rowBits - colInRow);
+        const cell = {
+            field,
+            bitsTotal: bits,
+            row,
+            startBit: colInRow,
+            endBit: colInRow + take - 1,
+            segmentIndex,
+            totalSegments,
+            isFirst: segmentIndex === 0,
+            isLast: remaining === take,
+            fieldStartOffset: bits - remaining,
+            fieldEndOffset: bits - remaining + take - 1,
+        };
+        if (nf.encrypted)
+            cell.encrypted = true;
+        if (nf.encryptedParentId !== undefined)
+            cell.encryptedParentId = nf.encryptedParentId;
+        if (nf.encryptedContextNote !== undefined)
+            cell.encryptedContextNote = nf.encryptedContextNote;
+        if (nf.headerProtected)
+            cell.headerProtected = true;
+        if (nf.byteOrder)
+            cell.byteOrder = nf.byteOrder;
+        if (field.subfields && field.subfields.length > 0) {
+            cell.subCells = buildSubCells(field, field.subfields, cell.fieldStartOffset, cell.fieldEndOffset, colInRow, childNFs);
+        }
+        cells.push(cell);
+        remaining -= take;
+        bitPos += take;
+        segmentIndex++;
+    }
+    return bitPos;
+}
+function buildSubCells(parentField, subfields, fieldStartOffset, fieldEndOffset, segmentColInRow, childNFs) {
+    const out = [];
+    let cursor = 0;
+    for (let i = 0; i < subfields.length; i++) {
+        const sf = subfields[i];
+        const subStart = cursor;
+        const subEnd = cursor + sf.bits;
+        cursor = subEnd;
+        const lo = Math.max(subStart, fieldStartOffset);
+        const hi = Math.min(subEnd, fieldEndOffset + 1);
+        if (lo >= hi)
+            continue;
+        const startBit = segmentColInRow + (lo - fieldStartOffset);
+        const childNF = childNFs?.[i];
+        const sub = {
+            parentField,
+            subfield: sf,
+            id: `${parentField.id}:${sf.id}`,
+            startBit,
+            endBit: startBit + (hi - lo) - 1,
+            isFirst: lo === subStart,
+            isLast: hi === subEnd,
+            bitsTotal: sf.bits,
+        };
+        if (childNF?.encrypted)
+            sub.encrypted = true;
+        if (childNF?.encryptedParentId !== undefined)
+            sub.encryptedParentId = childNF.encryptedParentId;
+        if (childNF?.encryptedContextNote !== undefined)
+            sub.encryptedContextNote = childNF.encryptedContextNote;
+        if (childNF?.headerProtected)
+            sub.headerProtected = true;
+        if (childNF?.byteOrder)
+            sub.byteOrder = childNF.byteOrder;
+        out.push(sub);
+    }
+    return out;
+}
+function computeSegmentCount(startPos, bits, rowBits) {
+    let remaining = bits;
+    let pos = startPos;
+    let count = 0;
+    while (remaining > 0) {
+        const take = Math.min(remaining, rowBits - (pos % rowBits));
+        remaining -= take;
+        pos += take;
+        count++;
+    }
+    return count;
+}
+//# sourceMappingURL=layout.js.map

package/dist/layout.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layout.js","sourceRoot":"","sources":["../src/layout.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAC3C,yDAAyD;AAazD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAOvD,SAAS,cAAc,CAAC,MAAkB;IACxC,OAAO,MAAM,CAAC,aAAa,EAAE,OAAO,IAAI,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,MAAkB,EAClB,UAAyB,EAAE;IAE3B,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CACb,0DAA0D,MAAM,CAAC,OAAO,CAAC,GAAG,CAC7E,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAc,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAa,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC;IACtD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;IAClD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;YACnB,MAAM,KAAK,GAAgB;gBACzB,EAAE,EAAE,EAAE,CAAC,EAAE;gBACT,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjD,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1C,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3C,gEAAgE;gBAChE,sEAAsE;gBACtE,oDAAoD;gBACpD,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9E,CAAC;YACF,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC7D,IAAI,SAAS,KAAK,CAAC;YAAE,SAAS;QAC9B,MAAM,SAAS,GAAqB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACzD,sEAAsE;YACtE,sEAAsE;YACtE,4CAA4C;YAC5C,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC;YACtC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpC,CAAC,CAAC,CAAC;QACJ,MAAM,KAAK,GAAgB;YACzB,EAAE,EAAE,CAAC,CAAC,QAAQ;YACd,IAAI,EAAE,CAAC,CAAC,UAAU;YAClB,IAAI,EAAE,SAAS;YACf,SAAS;YACT,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,QAAQ;gBAC9C,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAE,CAAC,QAAS,EAAE;gBAC7D,CAAC,CAAC,EAAE,CAAC;YACP,qFAAqF;YACrF,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvE,CAAC;QACF,MAAM,YAAY,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC1D,MAAM,cAAc,GAClB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,iBAAiB;YAChC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,iBAAiB,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC;YAC/E,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,iBAAiB;YACjC,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,kBAAkB,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;QACtE,MAAM,eAAe,GACnB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS;YACxB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC;YAC/D,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;YACzB,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC7B,MAAM,KAAK,GAAoB;YAC7B,GAAG,KAAK;YACR,EAAE,EAAE,CAAC,CAAC,QAAQ;YACd,IAAI,EAAE,CAAC,CAAC,UAAU;YAClB,IAAI,EAAE,SAAS;YACf,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9E,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,KAAK,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACzE,CAAC;QACF,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;AAC9C,CAAC;AAMD,SAAS,2BAA2B,CAAC,MAAyB;IAC5D,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACrB,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAAC,CAAC,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QACxE,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;QAC1B,MAAM,SAAS,GAAG,CAAC,CAAC,qBAAqB,CAAC;QAC1C,MAAM,GAAG,GAAsB,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OACE,CAAC,GAAG,MAAM,CAAC,MAAM;YACjB,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,KAAK,OAAO;YAC9B,MAAM,CAAC,CAAC,CAAE,CAAC,qBAAqB,KAAK,SAAS,EAC9C,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;YACrB,CAAC,EAAE,CAAC;QACN,CAAC;QACD,0EAA0E;QAC1E,oEAAoE;QACpE,uEAAuE;QACvE,uDAAuD;QACvD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,GAAG;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAC1D,CAAC,GAAG,CAAC,CAAC;YACN,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,SAAS,IAAI,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACvG,CAAC,GAAG,CAAC,CAAC;IACR,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAChB,KAAkB,EAClB,EAAmB,EACnB,MAAc,EACd,OAAe,EACf,KAAa,EACb,QAA4B;IAE5B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;IACrB,IAAI,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,SAAS,GAAG,IAAI,CAAC;IACrB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,MAAM,aAAa,GAAG,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACjE,OAAO,SAAS,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,MAAM,GAAG,OAAO,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,GAAG,QAAQ,CAAC,CAAC;QACrD,MAAM,IAAI,GAAS;YACjB,KAAK;YACL,SAAS,EAAE,IAAI;YACf,GAAG;YACH,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,QAAQ,GAAG,IAAI,GAAG,CAAC;YAC3B,YAAY;YACZ,aAAa;YACb,OAAO,EAAE,YAAY,KAAK,CAAC;YAC3B,MAAM,EAAE,SAAS,KAAK,IAAI;YAC1B,gBAAgB,EAAE,IAAI,GAAG,SAAS;YAClC,cAAc,EAAE,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,CAAC;SAC5C,CAAC;QACF,IAAI,EAAE,CAAC,SAAS;YAAE,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACxC,IAAI,EAAE,CAAC,iBAAiB,KAAK,SAAS;YAAE,IAAI,CAAC,iBAAiB,GAAG,EAAE,CAAC,iBAAiB,CAAC;QACtF,IAAI,EAAE,CAAC,oBAAoB,KAAK,SAAS;YAAE,IAAI,CAAC,oBAAoB,GAAG,EAAE,CAAC,oBAAoB,CAAC;QAC/F,IAAI,EAAE,CAAC,eAAe;YAAE,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC;QACpD,IAAI,EAAE,CAAC,SAAS;YAAE,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;QAChD,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,cAAc,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACxH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,SAAS,IAAI,IAAI,CAAC;QAClB,MAAM,IAAI,IAAI,CAAC;QACf,YAAY,EAAE,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CACpB,WAAwB,EACxB,SAA2B,EAC3B,gBAAwB,EACxB,cAAsB,EACtB,eAAuB,EACvB,QAA4B;IAE5B,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,CAAC;QACxB,MAAM,MAAM,GAAG,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC;QAChC,MAAM,GAAG,MAAM,CAAC;QAChB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QAChD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,GAAG,CAAC,CAAC,CAAC;QAChD,IAAI,EAAE,IAAI,EAAE;YAAE,SAAS;QACvB,MAAM,QAAQ,GAAG,eAAe,GAAG,CAAC,EAAE,GAAG,gBAAgB,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAY;YACnB,WAAW;YACX,QAAQ,EAAE,EAAE;YACZ,EAAE,EAAE,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE;YAChC,QAAQ;YACR,MAAM,EAAE,QAAQ,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC;YAChC,OAAO,EAAE,EAAE,KAAK,QAAQ;YACxB,MAAM,EAAE,EAAE,KAAK,MAAM;YACrB,SAAS,EAAE,EAAE,CAAC,IAAI;SACnB,CAAC;QACF,IAAI,OAAO,EAAE,SAAS;YAAE,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC;QAC7C,IAAI,OAAO,EAAE,iBAAiB,KAAK,SAAS;YAAE,GAAG,CAAC,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,CAAC;QAChG,IAAI,OAAO,EAAE,oBAAoB,KAAK,SAAS;YAAE,GAAG,CAAC,oBAAoB,GAAG,OAAO,CAAC,oBAAoB,CAAC;QACzG,IAAI,OAAO,EAAE,eAAe;YAAE,GAAG,CAAC,eAAe,GAAG,IAAI,CAAC;QACzD,IAAI,OAAO,EAAE,SAAS;YAAE,GAAG,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QAC1D,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAgB,EAAE,IAAY,EAAE,OAAe;IAC1E,IAAI,SAAS,GAAG,IAAI,CAAC;IACrB,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,SAAS,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,GAAG,CAAC,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC;QAC5D,SAAS,IAAI,IAAI,CAAC;QAClB,GAAG,IAAI,IAAI,CAAC;QACZ,KAAK,EAAE,CAAC;IACV,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/normalize.d.ts

@@ -0,0 +1,37 @@
+import type { BytesDelimited, Normalized, Packet, PacketEnv, Struct, Type, ViewMode } from "./types.js";
+export declare function berLenEnvKey(fieldId: string): string;
+/**
+ * Decoder-injected wire byte length of a delimiter-terminated `bytes` field
+ * (§3/§10.7, D3). Keyed by the field's fully-qualified id under a dedicated
+ * namespace so it never collides with env[id] (the field's value slot) or any
+ * other injection key. With no injection (static preview) the length is unknown
+ * and the field lays out as 0 bytes.
+ */
+export declare function bytesDelimLenEnvKey(qid: string): string;
+/** True if a `bytes.n` is the delimiter form rather than an Expr (§3, D3). */
+export declare function isBytesDelimited(n: unknown): n is BytesDelimited;
+/** Decoder-injected wire bit-width of a varint field (distinct from its value). */
+export declare function varintBitsEnvKey(fieldId: string): string;
+/**
+ * Static wire bit-width of a wire type. For decoder-determined widths
+ * (`varint`, delimiter-terminated `bytes`), the width is looked up in `env`
+ * under a key derived from `fieldId`. The CALLER must pass the same id used at
+ * injection: for fields expanded inside a `ref`/`repeat` that is the qualified
+ * id (`{ref.id}.{field.id}#N`), which the normalize walk threads through emit().
+ * Calling this helper directly with a bare id for a qualified field yields 0
+ * (unknown width) — resolve such fields via the full `normalize()` walk.
+ */
+export declare function typeBits(type: Type, env: PacketEnv, fieldId?: string): number;
+/** Match in order: exact → list → range → "_" (§5). */
+export declare function selectArm(cases: Record<string, Struct>, disc: number): {
+    key: string;
+    struct: Struct;
+} | undefined;
+export type NormalizeOptions = {
+    viewMode?: ViewMode;
+    /** Decoder-injected total packet bit count for top-level body budget (§10.1). */
+    totalBits?: number;
+};
+export declare function normalize(packet: Packet, env?: PacketEnv, opts?: NormalizeOptions): Normalized;
+export declare function initialEnv(packet: Packet): PacketEnv;
+//# sourceMappingURL=normalize.d.ts.map

package/dist/normalize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.d.ts","sourceRoot":"","sources":["../src/normalize.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAEV,cAAc,EAQd,UAAU,EAGV,MAAM,EACN,SAAS,EAGT,MAAM,EAEN,IAAI,EACJ,QAAQ,EAET,MAAM,YAAY,CAAC;AAEpB,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,cAAc,CAGhE;AAOD,mFAAmF;AACnF,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAExD;AAKD;;;;;;;;GAQG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,CAoC7E;AA0lBD,uDAAuD;AACvD,wBAAgB,SAAS,CACvB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAC7B,IAAI,EAAE,MAAM,GACX;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CA2B7C;AA8GD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,iFAAiF;IACjF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,SAAS,CACvB,MAAM,EAAE,MAAM,EACd,GAAG,GAAE,SAAqB,EAC1B,IAAI,GAAE,gBAAqB,GAC1B,UAAU,CAmBZ;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAIpD"}