typia 15.0.1 → 15.1.0

package/lib/internal/_ProtobufSizer.d.ts

@@ -1,27 +1,158 @@
 import { _IProtobufWriter } from "./_IProtobufWriter";
+/**
+ * Measures a Protocol Buffer message before it is written.
+ *
+ * It receives the same calls as {@link _ProtobufWriter}, counts the bytes and
+ * records the byte length of every string and length-delimited message, which
+ * the writer reads back in order. The writer then allocates exactly one
+ * buffer.
+ *
+ * @evidence contracts/common.md#principled-implementation The sizer replays the encoder's calls to compute the exact byte length and, for each string or length-delimited message, the prefix lengths, which the writer then consumes in the same order, so the buffer is allocated once and filled without a growth step. Varint lengths follow from the value ranges, a negative int32 takes ten bytes and 64-bit values are measured after reduction to an unsigned 64-bit pattern.
+ * @evidence contracts/common.md#clear-and-simple-design One class holding the total length, a position stack for open messages and the list of recorded lengths; its private varint measurers are shared by the scalar methods.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The size rules are the protobuf wire format's, with no caller special-cased. An ldelim call without an open fork throws; callers must finish any forks they open.
+ * @evidence contracts/common.md#meaningful-documentation A comment explains the two-pass role with the writer, and the fields have comments.
+ */
 export declare class _ProtobufSizer implements _IProtobufWriter {
-    /** Total length. */
+    /** Total measured byte length, including length prefixes. */
     len: number;
-    /** Position stack. */
+    /** Byte positions at which still-open messages started. */
     readonly pos: Array<number>;
-    /** Variable length list. */
+    /** String and message byte lengths in the writer's consumption order. */
     readonly varlen: Array<number>;
-    /** Variable length index stack. */
+    /** Reserved length-list indices for still-open messages. */
     readonly varlenidx: Array<number>;
+    /** Start measuring from an optional existing byte count. */
     constructor(length?: number);
+    /**
+     * Count one byte.
+     *
+     * @evidence contracts/common.md#principled-implementation A boolean always takes one byte.
+     * @evidence contracts/common.md#clear-and-simple-design One increment.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     bool(): void;
+    /**
+     * Count the varint of a signed 32-bit integer, which is ten bytes when
+     * negative.
+     *
+     * @evidence contracts/common.md#principled-implementation A negative value takes ten bytes because it is sign-extended to 64 bits, otherwise the varint length of the value is used.
+     * @evidence contracts/common.md#clear-and-simple-design One branch over the shared measurer.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     int32(value: number): void;
+    /**
+     * Count the varint of the unsigned ZigZag form of a signed 32-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation The ZigZag mapping is taken as an unsigned 32-bit value before measuring, so magnitudes of 2^30 or more are measured as five bytes and not as a negative number; the writer applies the same mapping.
+     * @evidence contracts/common.md#clear-and-simple-design One expression over the shared measurer.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is the protobuf definition and is not special-cased.
+     * @evidence contracts/common.md#meaningful-documentation A comment states the unsigned mapping and the reason for it.
+     */
     sint32(value: number): void;
+    /**
+     * Count the varint of an unsigned 32-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation The varint length of an unsigned 32-bit value, one to five bytes.
+     * @evidence contracts/common.md#clear-and-simple-design One delegation.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     uint32(value: number): void;
+    /**
+     * Count the varint of a signed 64-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation A number is converted to a bigint and measured as an unsigned 64-bit pattern, which gives ten bytes for a negative value.
+     * @evidence contracts/common.md#clear-and-simple-design One delegation to the 64-bit measurer.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     int64(value: bigint | number): void;
+    /**
+     * Count the varint of the ZigZag form of a signed 64-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation The ZigZag mapping on a bigint, `(n << 1) ^ (n >> 63)`, is measured as an unsigned 64-bit pattern.
+     * @evidence contracts/common.md#clear-and-simple-design One expression over the 64-bit measurer.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is the protobuf definition.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     sint64(value: bigint | number): void;
+    /**
+     * Count the varint of an unsigned 64-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation A number or bigint is measured as an unsigned 64-bit varint.
+     * @evidence contracts/common.md#clear-and-simple-design One delegation to the 64-bit measurer.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     uint64(value: bigint | number): void;
+    /**
+     * Count four bytes.
+     *
+     * @evidence contracts/common.md#principled-implementation A float takes four bytes regardless of value.
+     * @evidence contracts/common.md#clear-and-simple-design One increment.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     float(_value: number): void;
+    /**
+     * Count eight bytes.
+     *
+     * @evidence contracts/common.md#principled-implementation A double takes eight bytes regardless of value.
+     * @evidence contracts/common.md#clear-and-simple-design One increment.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     double(_value: number): void;
+    /**
+     * Count the length prefix and the bytes.
+     *
+     * @evidence contracts/common.md#principled-implementation The length prefix is measured as an unsigned 32-bit varint and the byte length is added.
+     * @evidence contracts/common.md#clear-and-simple-design Two increments.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     bytes(value: Uint8Array): void;
+    /**
+     * Count the length prefix and the UTF-8 bytes, and record the byte length for
+     * the writer.
+     *
+     * @evidence contracts/common.md#principled-implementation The UTF-8 byte length is measured by encoding through a Blob, recorded in the length list so the writer reuses it and not recomputes it, and added with its varint prefix.
+     * @evidence contracts/common.md#clear-and-simple-design One function using a module-level measuring helper.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The measure counts UTF-8 bytes and not code units.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     string(value: string): void;
+    /**
+     * Save the position and reserve a length slot for a message that is starting.
+     *
+     * @evidence contracts/common.md#principled-implementation The current length and the length list's size are saved on stacks and a zero is reserved in the list, to be filled when the message ends.
+     * @evidence contracts/common.md#clear-and-simple-design Three stack operations.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The bookkeeping is the two-pass design's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is saved.
+     */
     fork(): void;
+    /**
+     * Fill the reserved length slot with the size of the message that ends here,
+     * and count its length prefix.
+     *
+     * @throws Error when no `fork` is open
+     *
+     * @evidence contracts/common.md#principled-implementation The length of the message since its fork is stored in the reserved list slot and its varint prefix is counted; an unmatched call throws a typed error instead of corrupting the stacks.
+     * @evidence contracts/common.md#clear-and-simple-design One function paired with fork.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The unmatched case throws rather than being tolerated.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is recorded.
+     */
     ldelim(): void;
+    /**
+     * Clear the counters and stacks so the sizer can measure another message.
+     *
+     * @evidence contracts/common.md#principled-implementation The counters and stacks are cleared in place, so the same sizer can measure another message without allocating new arrays.
+     * @evidence contracts/common.md#clear-and-simple-design Four assignments.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts No hidden state is kept.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states that the arrays are reused.
+     */
     reset(): void;
     private varint32;
     private varint64;

package/lib/internal/_ProtobufSizer.js

@@ -2,16 +2,47 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports._ProtobufSizer = void 0;
 /// @reference https://github.com/piotr-oles/as-proto/blob/main/packages/as-proto/assembly/internal/FixedSizer.ts
+/**
+ * Measures a Protocol Buffer message before it is written.
+ *
+ * It receives the same calls as {@link _ProtobufWriter}, counts the bytes and
+ * records the byte length of every string and length-delimited message, which
+ * the writer reads back in order. The writer then allocates exactly one
+ * buffer.
+ *
+ * @evidence contracts/common.md#principled-implementation The sizer replays the encoder's calls to compute the exact byte length and, for each string or length-delimited message, the prefix lengths, which the writer then consumes in the same order, so the buffer is allocated once and filled without a growth step. Varint lengths follow from the value ranges, a negative int32 takes ten bytes and 64-bit values are measured after reduction to an unsigned 64-bit pattern.
+ * @evidence contracts/common.md#clear-and-simple-design One class holding the total length, a position stack for open messages and the list of recorded lengths; its private varint measurers are shared by the scalar methods.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The size rules are the protobuf wire format's, with no caller special-cased. An ldelim call without an open fork throws; callers must finish any forks they open.
+ * @evidence contracts/common.md#meaningful-documentation A comment explains the two-pass role with the writer, and the fields have comments.
+ */
 class _ProtobufSizer {
+    /** Start measuring from an optional existing byte count. */
     constructor(length = 0) {
         this.len = length;
         this.pos = [];
         this.varlen = [];
         this.varlenidx = [];
     }
+    /**
+     * Count one byte.
+     *
+     * @evidence contracts/common.md#principled-implementation A boolean always takes one byte.
+     * @evidence contracts/common.md#clear-and-simple-design One increment.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     bool() {
         this.len += 1;
     }
+    /**
+     * Count the varint of a signed 32-bit integer, which is ten bytes when
+     * negative.
+     *
+     * @evidence contracts/common.md#principled-implementation A negative value takes ten bytes because it is sign-extended to 64 bits, otherwise the varint length of the value is used.
+     * @evidence contracts/common.md#clear-and-simple-design One branch over the shared measurer.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     int32(value) {
         if (value < 0) {
             // 10 bytes to encode negative number
@@ -21,20 +52,61 @@ class _ProtobufSizer {
             this.varint32(value);
         }
     }
+    /**
+     * Count the varint of the unsigned ZigZag form of a signed 32-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation The ZigZag mapping is taken as an unsigned 32-bit value before measuring, so magnitudes of 2^30 or more are measured as five bytes and not as a negative number; the writer applies the same mapping.
+     * @evidence contracts/common.md#clear-and-simple-design One expression over the shared measurer.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is the protobuf definition and is not special-cased.
+     * @evidence contracts/common.md#meaningful-documentation A comment states the unsigned mapping and the reason for it.
+     */
     sint32(value) {
-        this.varint32((value << 1) ^ (value >> 31));
-    }
+        // The ZigZag value is unsigned, so it never takes the negative-number length.
+        this.varint32(((value << 1) ^ (value >> 31)) >>> 0);
+    }
+    /**
+     * Count the varint of an unsigned 32-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation The varint length of an unsigned 32-bit value, one to five bytes.
+     * @evidence contracts/common.md#clear-and-simple-design One delegation.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     uint32(value) {
         this.varint32(value);
     }
+    /**
+     * Count the varint of a signed 64-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation A number is converted to a bigint and measured as an unsigned 64-bit pattern, which gives ten bytes for a negative value.
+     * @evidence contracts/common.md#clear-and-simple-design One delegation to the 64-bit measurer.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     int64(value) {
         this.varint64(typeof value === "number" ? BigInt(value) : value);
     }
+    /**
+     * Count the varint of the ZigZag form of a signed 64-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation The ZigZag mapping on a bigint, `(n << 1) ^ (n >> 63)`, is measured as an unsigned 64-bit pattern.
+     * @evidence contracts/common.md#clear-and-simple-design One expression over the 64-bit measurer.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is the protobuf definition.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     sint64(value) {
         if (typeof value === "number")
             value = BigInt(value);
         this.varint64((value << BigInt(1)) ^ (value >> BigInt(63)));
     }
+    /**
+     * Count the varint of an unsigned 64-bit integer.
+     *
+     * @evidence contracts/common.md#principled-implementation A number or bigint is measured as an unsigned 64-bit varint.
+     * @evidence contracts/common.md#clear-and-simple-design One delegation to the 64-bit measurer.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     uint64(value) {
         this.varint64(typeof value === "number" ? BigInt(value) : value);
     }
@@ -50,27 +122,79 @@ class _ProtobufSizer {
     // public sfixed64(_value: number | bigint): void {
     //     this.len += 8;
     // }
+    /**
+     * Count four bytes.
+     *
+     * @evidence contracts/common.md#principled-implementation A float takes four bytes regardless of value.
+     * @evidence contracts/common.md#clear-and-simple-design One increment.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     float(_value) {
         this.len += 4;
     }
+    /**
+     * Count eight bytes.
+     *
+     * @evidence contracts/common.md#principled-implementation A double takes eight bytes regardless of value.
+     * @evidence contracts/common.md#clear-and-simple-design One increment.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     double(_value) {
         this.len += 8;
     }
+    /**
+     * Count the length prefix and the bytes.
+     *
+     * @evidence contracts/common.md#principled-implementation The length prefix is measured as an unsigned 32-bit varint and the byte length is added.
+     * @evidence contracts/common.md#clear-and-simple-design Two increments.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     bytes(value) {
         this.uint32(value.byteLength);
         this.len += value.byteLength;
     }
+    /**
+     * Count the length prefix and the UTF-8 bytes, and record the byte length for
+     * the writer.
+     *
+     * @evidence contracts/common.md#principled-implementation The UTF-8 byte length is measured by encoding through a Blob, recorded in the length list so the writer reuses it and not recomputes it, and added with its varint prefix.
+     * @evidence contracts/common.md#clear-and-simple-design One function using a module-level measuring helper.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The measure counts UTF-8 bytes and not code units.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+     */
     string(value) {
         const len = strlen(value);
         this.varlen.push(len);
         this.uint32(len);
         this.len += len;
     }
+    /**
+     * Save the position and reserve a length slot for a message that is starting.
+     *
+     * @evidence contracts/common.md#principled-implementation The current length and the length list's size are saved on stacks and a zero is reserved in the list, to be filled when the message ends.
+     * @evidence contracts/common.md#clear-and-simple-design Three stack operations.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The bookkeeping is the two-pass design's.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is saved.
+     */
     fork() {
         this.pos.push(this.len); // save current position
         this.varlenidx.push(this.varlen.length); // save current index in varlen array
         this.varlen.push(0); // add 0 length to varlen array (to be updated in ldelim())
     }
+    /**
+     * Fill the reserved length slot with the size of the message that ends here,
+     * and count its length prefix.
+     *
+     * @throws Error when no `fork` is open
+     *
+     * @evidence contracts/common.md#principled-implementation The length of the message since its fork is stored in the reserved list slot and its varint prefix is counted; an unmatched call throws a typed error instead of corrupting the stacks.
+     * @evidence contracts/common.md#clear-and-simple-design One function paired with fork.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The unmatched case throws rather than being tolerated.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is recorded.
+     */
     ldelim() {
         if (!(this.pos.length && this.varlenidx.length))
             throw new Error("Error on typia.protobuf.encode(): missing fork() before ldelim() call.");
@@ -81,6 +205,14 @@ class _ProtobufSizer {
         this.varlen[idx] = len; // update variable length
         this.uint32(len); // add uint32 that should be called in fork()
     }
+    /**
+     * Clear the counters and stacks so the sizer can measure another message.
+     *
+     * @evidence contracts/common.md#principled-implementation The counters and stacks are cleared in place, so the same sizer can measure another message without allocating new arrays.
+     * @evidence contracts/common.md#clear-and-simple-design Four assignments.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts No hidden state is kept.
+     * @evidence contracts/common.md#meaningful-documentation A one-line comment states that the arrays are reused.
+     */
     reset() {
         this.len = 0;
         // re-use arrays

package/lib/internal/_ProtobufSizer.js.map

@@ -1 +1 @@
-{"version":3,"file":"_ProtobufSizer.js","sourceRoot":"","sources":["../../src/internal/_ProtobufSizer.ts"],"names":[],"mappings":";;;AAEA,iHAAiH;AACjH;IAaE,YAAmB,MAAM,GAAW,CAAC;QACnC,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC;QAClB,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;QACd,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;IACtB,CAAC;IAEM,IAAI;QACT,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IAChB,CAAC;IACM,KAAK,CAAC,KAAa;QACxB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,qCAAqC;YACrC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACM,MAAM,CAAC,KAAa;QACzB,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9C,CAAC;IACM,MAAM,CAAC,KAAa;QACzB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IAEM,KAAK,CAAC,KAAsB;QACjC,IAAI,CAAC,QAAQ,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC;IACM,MAAM,CAAC,KAAsB;QAClC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IACM,MAAM,CAAC,KAAsB;QAClC,IAAI,CAAC,QAAQ,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC;IAED,yCAAyC;IACzC,qBAAqB;IACrB,IAAI;IACJ,0CAA0C;IAC1C,qBAAqB;IACrB,IAAI;IACJ,kDAAkD;IAClD,qBAAqB;IACrB,IAAI;IACJ,mDAAmD;IACnD,qBAAqB;IACrB,IAAI;IACG,KAAK,CAAC,MAAc;QACzB,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IAChB,CAAC;IACM,MAAM,CAAC,MAAc;QAC1B,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IAChB,CAAC;IAEM,KAAK,CAAC,KAAiB;QAC5B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,UAAU,CAAC;IAC/B,CAAC;IACM,MAAM,CAAC,KAAa;QACzB,MAAM,GAAG,GAAW,MAAM,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC;IAClB,CAAC;IAEM,IAAI;QACT,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,wBAAwB;QACjD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,qCAAqC;QAC9E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,2DAA2D;IAClF,CAAC;IAEM,MAAM;QACX,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7C,MAAM,IAAI,KAAK,CACb,wEAAwE,CACzE,CAAC;QAEJ,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,mCAAmC;QAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAG,CAAC,CAAC,gCAAgC;QAClE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAG,CAAC,CAAC,8BAA8B;QACjE,MAAM,GAAG,GAAG,MAAM,GAAG,QAAQ,CAAC,CAAC,mBAAmB;QAElD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,yBAAyB;QACjD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,6CAA6C;IACjE,CAAC;IAEM,KAAK;QACV,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACb,gBAAgB;QAChB,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,CAAC;IAEO,QAAQ,CAAC,KAAa;QAC5B,IAAI,CAAC,GAAG;YACN,KAAK,GAAG,CAAC;gBACP,CAAC,CAAC,EAAE,CAAC,2BAA2B;gBAChC,CAAC,CAAC,KAAK,GAAG,IAAI;oBACZ,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,KAAK,GAAG,MAAM;wBACd,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,KAAK,GAAG,QAAQ;4BAChB,CAAC,CAAC,CAAC;4BACH,CAAC,CAAC,KAAK,GAAG,UAAU;gCAClB,CAAC,CAAC,CAAC;gCACH,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAEO,QAAQ,CAAC,GAAW;QAC1B,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC9B,OAAO,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,EAAE,IAAI,CAAC,GAAG,CAAC;YACX,GAAG,GAAG,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,EAAE,IAAI,CAAC,GAAG,CAAC;IACb,CAAC;CACF;;AAED,MAAM,MAAM,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC"}
+{"version":3,"file":"_ProtobufSizer.js","sourceRoot":"","sources":["../../src/internal/_ProtobufSizer.ts"],"names":[],"mappings":";;;AAEA,iHAAiH;AACjH;;;;;;;;;;;;GAYG;AACH;IAaE,4DAA4D;IAC5D,YAAmB,MAAM,GAAW,CAAC;QACnC,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC;QAClB,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;QACd,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;IACtB,CAAC;IAED;;;;;;;OAOG;IACI,IAAI;QACT,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IAChB,CAAC;IACD;;;;;;;;OAQG;IACI,KAAK,CAAC,KAAa;QACxB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,qCAAqC;YACrC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD;;;;;;;OAOG;IACI,MAAM,CAAC,KAAa;QACzB,8EAA8E;QAC9E,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,CAAC;IACD;;;;;;;OAOG;IACI,MAAM,CAAC,KAAa;QACzB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IAED;;;;;;;OAOG;IACI,KAAK,CAAC,KAAsB;QACjC,IAAI,CAAC,QAAQ,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC;IACD;;;;;;;OAOG;IACI,MAAM,CAAC,KAAsB;QAClC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD;;;;;;;OAOG;IACI,MAAM,CAAC,KAAsB;QAClC,IAAI,CAAC,QAAQ,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC;IAED,yCAAyC;IACzC,qBAAqB;IACrB,IAAI;IACJ,0CAA0C;IAC1C,qBAAqB;IACrB,IAAI;IACJ,kDAAkD;IAClD,qBAAqB;IACrB,IAAI;IACJ,mDAAmD;IACnD,qBAAqB;IACrB,IAAI;IACJ;;;;;;;OAOG;IACI,KAAK,CAAC,MAAc;QACzB,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IAChB,CAAC;IACD;;;;;;;OAOG;IACI,MAAM,CAAC,MAAc;QAC1B,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IAChB,CAAC;IAED;;;;;;;OAOG;IACI,KAAK,CAAC,KAAiB;QAC5B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD;;;;;;;;OAQG;IACI,MAAM,CAAC,KAAa;QACzB,MAAM,GAAG,GAAW,MAAM,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC;IAClB,CAAC;IAED;;;;;;;OAOG;IACI,IAAI;QACT,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,wBAAwB;QACjD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,qCAAqC;QAC9E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,2DAA2D;IAClF,CAAC;IAED;;;;;;;;;;OAUG;IACI,MAAM;QACX,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7C,MAAM,IAAI,KAAK,CACb,wEAAwE,CACzE,CAAC;QAEJ,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,mCAAmC;QAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAG,CAAC,CAAC,gCAAgC;QAClE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAG,CAAC,CAAC,8BAA8B;QACjE,MAAM,GAAG,GAAG,MAAM,GAAG,QAAQ,CAAC,CAAC,mBAAmB;QAElD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,yBAAyB;QACjD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,6CAA6C;IACjE,CAAC;IAED;;;;;;;OAOG;IACI,KAAK;QACV,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACb,gBAAgB;QAChB,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,CAAC;IAEO,QAAQ,CAAC,KAAa;QAC5B,IAAI,CAAC,GAAG;YACN,KAAK,GAAG,CAAC;gBACP,CAAC,CAAC,EAAE,CAAC,2BAA2B;gBAChC,CAAC,CAAC,KAAK,GAAG,IAAI;oBACZ,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,KAAK,GAAG,MAAM;wBACd,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,KAAK,GAAG,QAAQ;4BAChB,CAAC,CAAC,CAAC;4BACH,CAAC,CAAC,KAAK,GAAG,UAAU;gCAClB,CAAC,CAAC,CAAC;gCACH,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAEO,QAAQ,CAAC,GAAW;QAC1B,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC9B,OAAO,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,EAAE,IAAI,CAAC,GAAG,CAAC;YACX,GAAG,GAAG,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,EAAE,IAAI,CAAC,GAAG,CAAC;IACb,CAAC;CACF;;AAED,MAAM,MAAM,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC"}

package/lib/internal/_ProtobufSizer.mjs

@@ -1,55 +1,178 @@
 //#region src/internal/_ProtobufSizer.ts
+/**
+* Measures a Protocol Buffer message before it is written.
+*
+* It receives the same calls as {@link _ProtobufWriter}, counts the bytes and
+* records the byte length of every string and length-delimited message, which
+* the writer reads back in order. The writer then allocates exactly one
+* buffer.
+*
+* @evidence contracts/common.md#principled-implementation The sizer replays the encoder's calls to compute the exact byte length and, for each string or length-delimited message, the prefix lengths, which the writer then consumes in the same order, so the buffer is allocated once and filled without a growth step. Varint lengths follow from the value ranges, a negative int32 takes ten bytes and 64-bit values are measured after reduction to an unsigned 64-bit pattern.
+* @evidence contracts/common.md#clear-and-simple-design One class holding the total length, a position stack for open messages and the list of recorded lengths; its private varint measurers are shared by the scalar methods.
+* @evidence contracts/common.md#prohibited-implementation-shortcuts The size rules are the protobuf wire format's, with no caller special-cased. An ldelim call without an open fork throws; callers must finish any forks they open.
+* @evidence contracts/common.md#meaningful-documentation A comment explains the two-pass role with the writer, and the fields have comments.
+*/
 var _ProtobufSizer = class {
+	/** Start measuring from an optional existing byte count. */
 	constructor(length = 0) {
 		this.len = length;
 		this.pos = [];
 		this.varlen = [];
 		this.varlenidx = [];
 	}
+	/**
+	* Count one byte.
+	*
+	* @evidence contracts/common.md#principled-implementation A boolean always takes one byte.
+	* @evidence contracts/common.md#clear-and-simple-design One increment.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+	*/
 	bool() {
 		this.len += 1;
 	}
+	/**
+	* Count the varint of a signed 32-bit integer, which is ten bytes when
+	* negative.
+	*
+	* @evidence contracts/common.md#principled-implementation A negative value takes ten bytes because it is sign-extended to 64 bits, otherwise the varint length of the value is used.
+	* @evidence contracts/common.md#clear-and-simple-design One branch over the shared measurer.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+	*/
 	int32(value) {
 		if (value < 0) this.len += 10;
 		else this.varint32(value);
 	}
+	/**
+	* Count the varint of the unsigned ZigZag form of a signed 32-bit integer.
+	*
+	* @evidence contracts/common.md#principled-implementation The ZigZag mapping is taken as an unsigned 32-bit value before measuring, so magnitudes of 2^30 or more are measured as five bytes and not as a negative number; the writer applies the same mapping.
+	* @evidence contracts/common.md#clear-and-simple-design One expression over the shared measurer.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is the protobuf definition and is not special-cased.
+	* @evidence contracts/common.md#meaningful-documentation A comment states the unsigned mapping and the reason for it.
+	*/
 	sint32(value) {
-		this.varint32(value << 1 ^ value >> 31);
-	}
+		this.varint32((value << 1 ^ value >> 31) >>> 0);
+	}
+	/**
+	* Count the varint of an unsigned 32-bit integer.
+	*
+	* @evidence contracts/common.md#principled-implementation The varint length of an unsigned 32-bit value, one to five bytes.
+	* @evidence contracts/common.md#clear-and-simple-design One delegation.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+	*/
 	uint32(value) {
 		this.varint32(value);
 	}
+	/**
+	* Count the varint of a signed 64-bit integer.
+	*
+	* @evidence contracts/common.md#principled-implementation A number is converted to a bigint and measured as an unsigned 64-bit pattern, which gives ten bytes for a negative value.
+	* @evidence contracts/common.md#clear-and-simple-design One delegation to the 64-bit measurer.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+	*/
 	int64(value) {
 		this.varint64(typeof value === "number" ? BigInt(value) : value);
 	}
+	/**
+	* Count the varint of the ZigZag form of a signed 64-bit integer.
+	*
+	* @evidence contracts/common.md#principled-implementation The ZigZag mapping on a bigint, `(n << 1) ^ (n >> 63)`, is measured as an unsigned 64-bit pattern.
+	* @evidence contracts/common.md#clear-and-simple-design One expression over the 64-bit measurer.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is the protobuf definition.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+	*/
 	sint64(value) {
 		if (typeof value === "number") value = BigInt(value);
 		this.varint64(value << BigInt(1) ^ value >> BigInt(63));
 	}
+	/**
+	* Count the varint of an unsigned 64-bit integer.
+	*
+	* @evidence contracts/common.md#principled-implementation A number or bigint is measured as an unsigned 64-bit varint.
+	* @evidence contracts/common.md#clear-and-simple-design One delegation to the 64-bit measurer.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+	*/
 	uint64(value) {
 		this.varint64(typeof value === "number" ? BigInt(value) : value);
 	}
+	/**
+	* Count four bytes.
+	*
+	* @evidence contracts/common.md#principled-implementation A float takes four bytes regardless of value.
+	* @evidence contracts/common.md#clear-and-simple-design One increment.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+	*/
 	float(_value) {
 		this.len += 4;
 	}
+	/**
+	* Count eight bytes.
+	*
+	* @evidence contracts/common.md#principled-implementation A double takes eight bytes regardless of value.
+	* @evidence contracts/common.md#clear-and-simple-design One increment.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+	*/
 	double(_value) {
 		this.len += 8;
 	}
+	/**
+	* Count the length prefix and the bytes.
+	*
+	* @evidence contracts/common.md#principled-implementation The length prefix is measured as an unsigned 32-bit varint and the byte length is added.
+	* @evidence contracts/common.md#clear-and-simple-design Two increments.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+	*/
 	bytes(value) {
 		this.uint32(value.byteLength);
 		this.len += value.byteLength;
 	}
+	/**
+	* Count the length prefix and the UTF-8 bytes, and record the byte length for
+	* the writer.
+	*
+	* @evidence contracts/common.md#principled-implementation The UTF-8 byte length is measured by encoding through a Blob, recorded in the length list so the writer reuses it and not recomputes it, and added with its varint prefix.
+	* @evidence contracts/common.md#clear-and-simple-design One function using a module-level measuring helper.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts The measure counts UTF-8 bytes and not code units.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.
+	*/
 	string(value) {
 		const len = strlen(value);
 		this.varlen.push(len);
 		this.uint32(len);
 		this.len += len;
 	}
+	/**
+	* Save the position and reserve a length slot for a message that is starting.
+	*
+	* @evidence contracts/common.md#principled-implementation The current length and the length list's size are saved on stacks and a zero is reserved in the list, to be filled when the message ends.
+	* @evidence contracts/common.md#clear-and-simple-design Three stack operations.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts The bookkeeping is the two-pass design's.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is saved.
+	*/
 	fork() {
 		this.pos.push(this.len);
 		this.varlenidx.push(this.varlen.length);
 		this.varlen.push(0);
 	}
+	/**
+	* Fill the reserved length slot with the size of the message that ends here,
+	* and count its length prefix.
+	*
+	* @throws Error when no `fork` is open
+	*
+	* @evidence contracts/common.md#principled-implementation The length of the message since its fork is stored in the reserved list slot and its varint prefix is counted; an unmatched call throws a typed error instead of corrupting the stacks.
+	* @evidence contracts/common.md#clear-and-simple-design One function paired with fork.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts The unmatched case throws rather than being tolerated.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states what is recorded.
+	*/
 	ldelim() {
 		if (!(this.pos.length && this.varlenidx.length)) throw new Error("Error on typia.protobuf.encode(): missing fork() before ldelim() call.");
 		const endPos = this.len;
@@ -59,6 +182,14 @@ var _ProtobufSizer = class {
 		this.varlen[idx] = len;
 		this.uint32(len);
 	}
+	/**
+	* Clear the counters and stacks so the sizer can measure another message.
+	*
+	* @evidence contracts/common.md#principled-implementation The counters and stacks are cleared in place, so the same sizer can measure another message without allocating new arrays.
+	* @evidence contracts/common.md#clear-and-simple-design Four assignments.
+	* @evidence contracts/common.md#prohibited-implementation-shortcuts No hidden state is kept.
+	* @evidence contracts/common.md#meaningful-documentation A one-line comment states that the arrays are reused.
+	*/
 	reset() {
 		this.len = 0;
 		this.pos.length = 0;

package/lib/internal/_ProtobufSizer.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"_ProtobufSizer.mjs","names":[],"sources":["../../src/internal/_ProtobufSizer.ts"],"sourcesContent":["import { _IProtobufWriter } from \"./_IProtobufWriter\";\n\n/// @reference https://github.com/piotr-oles/as-proto/blob/main/packages/as-proto/assembly/internal/FixedSizer.ts\nexport class _ProtobufSizer implements _IProtobufWriter {\n  /** Total length. */\n  public len: number;\n\n  /** Position stack. */\n  public readonly pos: Array<number>;\n\n  /** Variable length list. */\n  public readonly varlen: Array<number>;\n\n  /** Variable length index stack. */\n  public readonly varlenidx: Array<number>;\n\n  public constructor(length: number = 0) {\n    this.len = length;\n    this.pos = [];\n    this.varlen = [];\n    this.varlenidx = [];\n  }\n\n  public bool(): void {\n    this.len += 1;\n  }\n  public int32(value: number): void {\n    if (value < 0) {\n      // 10 bytes to encode negative number\n      this.len += 10;\n    } else {\n      this.varint32(value);\n    }\n  }\n  public sint32(value: number): void {\n    this.varint32((value << 1) ^ (value >> 31));\n  }\n  public uint32(value: number): void {\n    this.varint32(value);\n  }\n\n  public int64(value: bigint | number): void {\n    this.varint64(typeof value === \"number\" ? BigInt(value) : value);\n  }\n  public sint64(value: bigint | number): void {\n    if (typeof value === \"number\") value = BigInt(value);\n    this.varint64((value << BigInt(1)) ^ (value >> BigInt(63)));\n  }\n  public uint64(value: bigint | number): void {\n    this.varint64(typeof value === \"number\" ? BigInt(value) : value);\n  }\n\n  // public fixed32(_value: number): void {\n  //     this.len += 4;\n  // }\n  // public sfixed32(_value: number): void {\n  //     this.len += 4;\n  // }\n  // public fixed64(_value: number | bigint): void {\n  //     this.len += 8;\n  // }\n  // public sfixed64(_value: number | bigint): void {\n  //     this.len += 8;\n  // }\n  public float(_value: number): void {\n    this.len += 4;\n  }\n  public double(_value: number): void {\n    this.len += 8;\n  }\n\n  public bytes(value: Uint8Array): void {\n    this.uint32(value.byteLength);\n    this.len += value.byteLength;\n  }\n  public string(value: string): void {\n    const len: number = strlen(value);\n    this.varlen.push(len);\n    this.uint32(len);\n    this.len += len;\n  }\n\n  public fork(): void {\n    this.pos.push(this.len); // save current position\n    this.varlenidx.push(this.varlen.length); // save current index in varlen array\n    this.varlen.push(0); // add 0 length to varlen array (to be updated in ldelim())\n  }\n\n  public ldelim(): void {\n    if (!(this.pos.length && this.varlenidx.length))\n      throw new Error(\n        \"Error on typia.protobuf.encode(): missing fork() before ldelim() call.\",\n      );\n\n    const endPos = this.len; // current position is end position\n    const startPos = this.pos.pop()!; // get start position from stack\n    const idx = this.varlenidx.pop()!; // get varlen index from stack\n    const len = endPos - startPos; // calculate length\n\n    this.varlen[idx] = len; // update variable length\n    this.uint32(len); // add uint32 that should be called in fork()\n  }\n\n  public reset(): void {\n    this.len = 0;\n    // re-use arrays\n    this.pos.length = 0;\n    this.varlen.length = 0;\n    this.varlenidx.length = 0;\n  }\n\n  private varint32(value: number): void {\n    this.len +=\n      value < 0\n        ? 10 // 10 bits with leading 1's\n        : value < 0x80\n          ? 1\n          : value < 0x4000\n            ? 2\n            : value < 0x200000\n              ? 3\n              : value < 0x10000000\n                ? 4\n                : 5;\n  }\n\n  private varint64(val: bigint): void {\n    val = BigInt.asUintN(64, val);\n    while (val > BigInt(0x7f)) {\n      ++this.len;\n      val = val >> BigInt(0x07);\n    }\n    ++this.len;\n  }\n}\n\nconst strlen = (str: string): number => new Blob([str]).size;\n"],"mappings":";AAGA,IAAa,iBAAb,MAAwD;CAatD,YAAmB,SAAiB,GAAG;EACrC,KAAK,MAAM;EACX,KAAK,MAAM,CAAC;EACZ,KAAK,SAAS,CAAC;EACf,KAAK,YAAY,CAAC;CACpB;CAEA,OAAoB;EAClB,KAAK,OAAO;CACd;CACA,MAAa,OAAqB;EAChC,IAAI,QAAQ,GAEV,KAAK,OAAO;OAEZ,KAAK,SAAS,KAAK;CAEvB;CACA,OAAc,OAAqB;EACjC,KAAK,SAAU,SAAS,IAAM,SAAS,EAAG;CAC5C;CACA,OAAc,OAAqB;EACjC,KAAK,SAAS,KAAK;CACrB;CAEA,MAAa,OAA8B;EACzC,KAAK,SAAS,OAAO,UAAU,WAAW,OAAO,KAAK,IAAI,KAAK;CACjE;CACA,OAAc,OAA8B;EAC1C,IAAI,OAAO,UAAU,UAAU,QAAQ,OAAO,KAAK;EACnD,KAAK,SAAU,SAAS,OAAO,CAAC,IAAM,SAAS,OAAO,EAAE,CAAE;CAC5D;CACA,OAAc,OAA8B;EAC1C,KAAK,SAAS,OAAO,UAAU,WAAW,OAAO,KAAK,IAAI,KAAK;CACjE;CAcA,MAAa,QAAsB;EACjC,KAAK,OAAO;CACd;CACA,OAAc,QAAsB;EAClC,KAAK,OAAO;CACd;CAEA,MAAa,OAAyB;EACpC,KAAK,OAAO,MAAM,UAAU;EAC5B,KAAK,OAAO,MAAM;CACpB;CACA,OAAc,OAAqB;EACjC,MAAM,MAAc,OAAO,KAAK;EAChC,KAAK,OAAO,KAAK,GAAG;EACpB,KAAK,OAAO,GAAG;EACf,KAAK,OAAO;CACd;CAEA,OAAoB;EAClB,KAAK,IAAI,KAAK,KAAK,GAAG;EACtB,KAAK,UAAU,KAAK,KAAK,OAAO,MAAM;EACtC,KAAK,OAAO,KAAK,CAAC;CACpB;CAEA,SAAsB;EACpB,IAAI,EAAE,KAAK,IAAI,UAAU,KAAK,UAAU,SACtC,MAAM,IAAI,MACR,wEACF;EAEF,MAAM,SAAS,KAAK;EACpB,MAAM,WAAW,KAAK,IAAI,IAAI;EAC9B,MAAM,MAAM,KAAK,UAAU,IAAI;EAC/B,MAAM,MAAM,SAAS;EAErB,KAAK,OAAO,OAAO;EACnB,KAAK,OAAO,GAAG;CACjB;CAEA,QAAqB;EACnB,KAAK,MAAM;EAEX,KAAK,IAAI,SAAS;EAClB,KAAK,OAAO,SAAS;EACrB,KAAK,UAAU,SAAS;CAC1B;CAEA,SAAiB,OAAqB;EACpC,KAAK,OACH,QAAQ,IACJ,KACA,QAAQ,MACN,IACA,QAAQ,QACN,IACA,QAAQ,UACN,IACA,QAAQ,YACN,IACA;CAChB;CAEA,SAAiB,KAAmB;EAClC,MAAM,OAAO,QAAQ,IAAI,GAAG;EAC5B,OAAO,MAAM,OAAO,GAAI,GAAG;GACzB,EAAE,KAAK;GACP,MAAM,OAAO,OAAO,CAAI;EAC1B;EACA,EAAE,KAAK;CACT;AACF;AAEA,MAAM,UAAU,QAAwB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC"}
+{"version":3,"file":"_ProtobufSizer.mjs","names":[],"sources":["../../src/internal/_ProtobufSizer.ts"],"sourcesContent":["import { _IProtobufWriter } from \"./_IProtobufWriter\";\n\n/// @reference https://github.com/piotr-oles/as-proto/blob/main/packages/as-proto/assembly/internal/FixedSizer.ts\n/**\n * Measures a Protocol Buffer message before it is written.\n *\n * It receives the same calls as {@link _ProtobufWriter}, counts the bytes and\n * records the byte length of every string and length-delimited message, which\n * the writer reads back in order. The writer then allocates exactly one\n * buffer.\n *\n * @evidence contracts/common.md#principled-implementation The sizer replays the encoder's calls to compute the exact byte length and, for each string or length-delimited message, the prefix lengths, which the writer then consumes in the same order, so the buffer is allocated once and filled without a growth step. Varint lengths follow from the value ranges, a negative int32 takes ten bytes and 64-bit values are measured after reduction to an unsigned 64-bit pattern.\n * @evidence contracts/common.md#clear-and-simple-design One class holding the total length, a position stack for open messages and the list of recorded lengths; its private varint measurers are shared by the scalar methods.\n * @evidence contracts/common.md#prohibited-implementation-shortcuts The size rules are the protobuf wire format's, with no caller special-cased. An ldelim call without an open fork throws; callers must finish any forks they open.\n * @evidence contracts/common.md#meaningful-documentation A comment explains the two-pass role with the writer, and the fields have comments.\n */\nexport class _ProtobufSizer implements _IProtobufWriter {\n  /** Total measured byte length, including length prefixes. */\n  public len: number;\n\n  /** Byte positions at which still-open messages started. */\n  public readonly pos: Array<number>;\n\n  /** String and message byte lengths in the writer's consumption order. */\n  public readonly varlen: Array<number>;\n\n  /** Reserved length-list indices for still-open messages. */\n  public readonly varlenidx: Array<number>;\n\n  /** Start measuring from an optional existing byte count. */\n  public constructor(length: number = 0) {\n    this.len = length;\n    this.pos = [];\n    this.varlen = [];\n    this.varlenidx = [];\n  }\n\n  /**\n   * Count one byte.\n   *\n   * @evidence contracts/common.md#principled-implementation A boolean always takes one byte.\n   * @evidence contracts/common.md#clear-and-simple-design One increment.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.\n   */\n  public bool(): void {\n    this.len += 1;\n  }\n  /**\n   * Count the varint of a signed 32-bit integer, which is ten bytes when\n   * negative.\n   *\n   * @evidence contracts/common.md#principled-implementation A negative value takes ten bytes because it is sign-extended to 64 bits, otherwise the varint length of the value is used.\n   * @evidence contracts/common.md#clear-and-simple-design One branch over the shared measurer.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.\n   */\n  public int32(value: number): void {\n    if (value < 0) {\n      // 10 bytes to encode negative number\n      this.len += 10;\n    } else {\n      this.varint32(value);\n    }\n  }\n  /**\n   * Count the varint of the unsigned ZigZag form of a signed 32-bit integer.\n   *\n   * @evidence contracts/common.md#principled-implementation The ZigZag mapping is taken as an unsigned 32-bit value before measuring, so magnitudes of 2^30 or more are measured as five bytes and not as a negative number; the writer applies the same mapping.\n   * @evidence contracts/common.md#clear-and-simple-design One expression over the shared measurer.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is the protobuf definition and is not special-cased.\n   * @evidence contracts/common.md#meaningful-documentation A comment states the unsigned mapping and the reason for it.\n   */\n  public sint32(value: number): void {\n    // The ZigZag value is unsigned, so it never takes the negative-number length.\n    this.varint32(((value << 1) ^ (value >> 31)) >>> 0);\n  }\n  /**\n   * Count the varint of an unsigned 32-bit integer.\n   *\n   * @evidence contracts/common.md#principled-implementation The varint length of an unsigned 32-bit value, one to five bytes.\n   * @evidence contracts/common.md#clear-and-simple-design One delegation.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.\n   */\n  public uint32(value: number): void {\n    this.varint32(value);\n  }\n\n  /**\n   * Count the varint of a signed 64-bit integer.\n   *\n   * @evidence contracts/common.md#principled-implementation A number is converted to a bigint and measured as an unsigned 64-bit pattern, which gives ten bytes for a negative value.\n   * @evidence contracts/common.md#clear-and-simple-design One delegation to the 64-bit measurer.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.\n   */\n  public int64(value: bigint | number): void {\n    this.varint64(typeof value === \"number\" ? BigInt(value) : value);\n  }\n  /**\n   * Count the varint of the ZigZag form of a signed 64-bit integer.\n   *\n   * @evidence contracts/common.md#principled-implementation The ZigZag mapping on a bigint, `(n << 1) ^ (n >> 63)`, is measured as an unsigned 64-bit pattern.\n   * @evidence contracts/common.md#clear-and-simple-design One expression over the 64-bit measurer.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts The mapping is the protobuf definition.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.\n   */\n  public sint64(value: bigint | number): void {\n    if (typeof value === \"number\") value = BigInt(value);\n    this.varint64((value << BigInt(1)) ^ (value >> BigInt(63)));\n  }\n  /**\n   * Count the varint of an unsigned 64-bit integer.\n   *\n   * @evidence contracts/common.md#principled-implementation A number or bigint is measured as an unsigned 64-bit varint.\n   * @evidence contracts/common.md#clear-and-simple-design One delegation to the 64-bit measurer.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.\n   */\n  public uint64(value: bigint | number): void {\n    this.varint64(typeof value === \"number\" ? BigInt(value) : value);\n  }\n\n  // public fixed32(_value: number): void {\n  //     this.len += 4;\n  // }\n  // public sfixed32(_value: number): void {\n  //     this.len += 4;\n  // }\n  // public fixed64(_value: number | bigint): void {\n  //     this.len += 8;\n  // }\n  // public sfixed64(_value: number | bigint): void {\n  //     this.len += 8;\n  // }\n  /**\n   * Count four bytes.\n   *\n   * @evidence contracts/common.md#principled-implementation A float takes four bytes regardless of value.\n   * @evidence contracts/common.md#clear-and-simple-design One increment.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.\n   */\n  public float(_value: number): void {\n    this.len += 4;\n  }\n  /**\n   * Count eight bytes.\n   *\n   * @evidence contracts/common.md#principled-implementation A double takes eight bytes regardless of value.\n   * @evidence contracts/common.md#clear-and-simple-design One increment.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts A fixed wire size.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.\n   */\n  public double(_value: number): void {\n    this.len += 8;\n  }\n\n  /**\n   * Count the length prefix and the bytes.\n   *\n   * @evidence contracts/common.md#principled-implementation The length prefix is measured as an unsigned 32-bit varint and the byte length is added.\n   * @evidence contracts/common.md#clear-and-simple-design Two increments.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts The rule is the wire format's.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.\n   */\n  public bytes(value: Uint8Array): void {\n    this.uint32(value.byteLength);\n    this.len += value.byteLength;\n  }\n  /**\n   * Count the length prefix and the UTF-8 bytes, and record the byte length for\n   * the writer.\n   *\n   * @evidence contracts/common.md#principled-implementation The UTF-8 byte length is measured by encoding through a Blob, recorded in the length list so the writer reuses it and not recomputes it, and added with its varint prefix.\n   * @evidence contracts/common.md#clear-and-simple-design One function using a module-level measuring helper.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts The measure counts UTF-8 bytes and not code units.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is counted.\n   */\n  public string(value: string): void {\n    const len: number = strlen(value);\n    this.varlen.push(len);\n    this.uint32(len);\n    this.len += len;\n  }\n\n  /**\n   * Save the position and reserve a length slot for a message that is starting.\n   *\n   * @evidence contracts/common.md#principled-implementation The current length and the length list's size are saved on stacks and a zero is reserved in the list, to be filled when the message ends.\n   * @evidence contracts/common.md#clear-and-simple-design Three stack operations.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts The bookkeeping is the two-pass design's.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is saved.\n   */\n  public fork(): void {\n    this.pos.push(this.len); // save current position\n    this.varlenidx.push(this.varlen.length); // save current index in varlen array\n    this.varlen.push(0); // add 0 length to varlen array (to be updated in ldelim())\n  }\n\n  /**\n   * Fill the reserved length slot with the size of the message that ends here,\n   * and count its length prefix.\n   *\n   * @throws Error when no `fork` is open\n   *\n   * @evidence contracts/common.md#principled-implementation The length of the message since its fork is stored in the reserved list slot and its varint prefix is counted; an unmatched call throws a typed error instead of corrupting the stacks.\n   * @evidence contracts/common.md#clear-and-simple-design One function paired with fork.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts The unmatched case throws rather than being tolerated.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states what is recorded.\n   */\n  public ldelim(): void {\n    if (!(this.pos.length && this.varlenidx.length))\n      throw new Error(\n        \"Error on typia.protobuf.encode(): missing fork() before ldelim() call.\",\n      );\n\n    const endPos = this.len; // current position is end position\n    const startPos = this.pos.pop()!; // get start position from stack\n    const idx = this.varlenidx.pop()!; // get varlen index from stack\n    const len = endPos - startPos; // calculate length\n\n    this.varlen[idx] = len; // update variable length\n    this.uint32(len); // add uint32 that should be called in fork()\n  }\n\n  /**\n   * Clear the counters and stacks so the sizer can measure another message.\n   *\n   * @evidence contracts/common.md#principled-implementation The counters and stacks are cleared in place, so the same sizer can measure another message without allocating new arrays.\n   * @evidence contracts/common.md#clear-and-simple-design Four assignments.\n   * @evidence contracts/common.md#prohibited-implementation-shortcuts No hidden state is kept.\n   * @evidence contracts/common.md#meaningful-documentation A one-line comment states that the arrays are reused.\n   */\n  public reset(): void {\n    this.len = 0;\n    // re-use arrays\n    this.pos.length = 0;\n    this.varlen.length = 0;\n    this.varlenidx.length = 0;\n  }\n\n  private varint32(value: number): void {\n    this.len +=\n      value < 0\n        ? 10 // 10 bits with leading 1's\n        : value < 0x80\n          ? 1\n          : value < 0x4000\n            ? 2\n            : value < 0x200000\n              ? 3\n              : value < 0x10000000\n                ? 4\n                : 5;\n  }\n\n  private varint64(val: bigint): void {\n    val = BigInt.asUintN(64, val);\n    while (val > BigInt(0x7f)) {\n      ++this.len;\n      val = val >> BigInt(0x07);\n    }\n    ++this.len;\n  }\n}\n\nconst strlen = (str: string): number => new Blob([str]).size;\n"],"mappings":";;;;;;;;;;;;;;AAgBA,IAAa,iBAAb,MAAwD;;CActD,YAAmB,SAAiB,GAAG;EACrC,KAAK,MAAM;EACX,KAAK,MAAM,CAAC;EACZ,KAAK,SAAS,CAAC;EACf,KAAK,YAAY,CAAC;CACpB;;;;;;;;;CAUA,OAAoB;EAClB,KAAK,OAAO;CACd;;;;;;;;;;CAUA,MAAa,OAAqB;EAChC,IAAI,QAAQ,GAEV,KAAK,OAAO;OAEZ,KAAK,SAAS,KAAK;CAEvB;;;;;;;;;CASA,OAAc,OAAqB;EAEjC,KAAK,UAAW,SAAS,IAAM,SAAS,QAAS,CAAC;CACpD;;;;;;;;;CASA,OAAc,OAAqB;EACjC,KAAK,SAAS,KAAK;CACrB;;;;;;;;;CAUA,MAAa,OAA8B;EACzC,KAAK,SAAS,OAAO,UAAU,WAAW,OAAO,KAAK,IAAI,KAAK;CACjE;;;;;;;;;CASA,OAAc,OAA8B;EAC1C,IAAI,OAAO,UAAU,UAAU,QAAQ,OAAO,KAAK;EACnD,KAAK,SAAU,SAAS,OAAO,CAAC,IAAM,SAAS,OAAO,EAAE,CAAE;CAC5D;;;;;;;;;CASA,OAAc,OAA8B;EAC1C,KAAK,SAAS,OAAO,UAAU,WAAW,OAAO,KAAK,IAAI,KAAK;CACjE;;;;;;;;;CAsBA,MAAa,QAAsB;EACjC,KAAK,OAAO;CACd;;;;;;;;;CASA,OAAc,QAAsB;EAClC,KAAK,OAAO;CACd;;;;;;;;;CAUA,MAAa,OAAyB;EACpC,KAAK,OAAO,MAAM,UAAU;EAC5B,KAAK,OAAO,MAAM;CACpB;;;;;;;;;;CAUA,OAAc,OAAqB;EACjC,MAAM,MAAc,OAAO,KAAK;EAChC,KAAK,OAAO,KAAK,GAAG;EACpB,KAAK,OAAO,GAAG;EACf,KAAK,OAAO;CACd;;;;;;;;;CAUA,OAAoB;EAClB,KAAK,IAAI,KAAK,KAAK,GAAG;EACtB,KAAK,UAAU,KAAK,KAAK,OAAO,MAAM;EACtC,KAAK,OAAO,KAAK,CAAC;CACpB;;;;;;;;;;;;CAaA,SAAsB;EACpB,IAAI,EAAE,KAAK,IAAI,UAAU,KAAK,UAAU,SACtC,MAAM,IAAI,MACR,wEACF;EAEF,MAAM,SAAS,KAAK;EACpB,MAAM,WAAW,KAAK,IAAI,IAAI;EAC9B,MAAM,MAAM,KAAK,UAAU,IAAI;EAC/B,MAAM,MAAM,SAAS;EAErB,KAAK,OAAO,OAAO;EACnB,KAAK,OAAO,GAAG;CACjB;;;;;;;;;CAUA,QAAqB;EACnB,KAAK,MAAM;EAEX,KAAK,IAAI,SAAS;EAClB,KAAK,OAAO,SAAS;EACrB,KAAK,UAAU,SAAS;CAC1B;CAEA,SAAiB,OAAqB;EACpC,KAAK,OACH,QAAQ,IACJ,KACA,QAAQ,MACN,IACA,QAAQ,QACN,IACA,QAAQ,UACN,IACA,QAAQ,YACN,IACA;CAChB;CAEA,SAAiB,KAAmB;EAClC,MAAM,OAAO,QAAQ,IAAI,GAAG;EAC5B,OAAO,MAAM,OAAO,GAAI,GAAG;GACzB,EAAE,KAAK;GACP,MAAM,OAAO,OAAO,CAAI;EAC1B;EACA,EAAE,KAAK;CACT;AACF;AAEA,MAAM,UAAU,QAAwB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC"}