bla-agents 1.1.0 → 1.6.0

package/dist/shields/exhaustion/rea-budget-matrix.js

@@ -1,11 +1,17 @@
 /**
- * Exact 1:1 catalog of `morluto/rea` internal resource caps, parser limits,
- * and admission budgets extracted from REA's TypeScript source tree.
+ * Catalog of `morluto/rea` internal resource caps (tracked for drift via verify:rea).
+ *
+ * IMPORTANT: the DEFENSE does not rely on hitting `hardLimit + epsilon`. Emitters
+ * scale payloads ORDERS OF MAGNITUDE past these defaults across orthogonal dimensions
+ * (byte-size, element count, nesting depth, entropy, symbol count, obligation families).
+ * If an attacker `sed`s one constant higher, they still overflow elsewhere — or must
+ * delete the safety limit entirely (defeating their own tool's guardrails).
+ * `verify:rea` tracks drift for awareness; it is NOT proof of protection.
  */
 export const REA_BUDGET_BREAKER_MATRIX = [
     {
         id: "js-primitive-candidates",
-        reaSourceFile: "src/domain/javascript/javascriptSemanticResourceLimits.ts:7",
+        reaSourceFile: "src/domain/javascript/javascriptSemanticResourceLimits.ts",
         constantName: "SEMANTIC_PRIMITIVE_CANDIDATE_LIMIT",
         hardLimit: 256,
         unit: "alternatives",
@@ -14,7 +20,7 @@ export const REA_BUDGET_BREAKER_MATRIX = [
     },
     {
         id: "js-expression-depth",
-        reaSourceFile: "src/domain/javascript/javascriptSemanticResourceLimits.ts:9",
+        reaSourceFile: "src/domain/javascript/javascriptSemanticResourceLimits.ts",
         constantName: "SEMANTIC_EXPRESSION_DEPTH_LIMIT",
         hardLimit: 256,
         unit: "levels",
@@ -23,7 +29,7 @@ export const REA_BUDGET_BREAKER_MATRIX = [
     },
     {
         id: "js-getter-expansion",
-        reaSourceFile: "src/domain/javascript/javascriptSemanticResourceLimits.ts:11",
+        reaSourceFile: "src/domain/javascript/javascriptSemanticResourceLimits.ts",
         constantName: "SEMANTIC_GETTER_EXPANSION_LIMIT",
         hardLimit: 512,
         unit: "states",
@@ -32,16 +38,16 @@ export const REA_BUDGET_BREAKER_MATRIX = [
     },
     {
         id: "js-alias-selections",
-        reaSourceFile: "src/domain/javascript/javascriptSemanticResourceLimits.ts:13",
+        reaSourceFile: "src/domain/javascript/javascriptSemanticResourceLimits.ts",
         constantName: "SEMANTIC_ALIAS_SELECTION_LIMIT",
         hardLimit: 512,
         unit: "states",
         failureClassOrStatus: 'status: "unknown" (resourceLimit: "alias-selections")',
-        counterStrategy: "Generate >= 520 dynamic property selector states (`_blaAliasTbl[k]`) to overflow alias tracking.",
+        counterStrategy: "Generate >= 520 dynamic property selector states (`aliasTbl[k]`) to overflow alias tracking.",
     },
     {
         id: "js-primitive-json-bytes",
-        reaSourceFile: "src/domain/javascript/javascriptSemanticResourceLimits.ts:15",
+        reaSourceFile: "src/domain/javascript/javascriptSemanticResourceLimits.ts",
         constantName: "SEMANTIC_PRIMITIVE_JSON_BYTES_LIMIT",
         hardLimit: 1_048_576,
         unit: "bytes",
@@ -50,7 +56,7 @@ export const REA_BUDGET_BREAKER_MATRIX = [
     },
     {
         id: "wasm-interface-representation",
-        reaSourceFile: "src/domain/wasm/wasmInterface.ts:90",
+        reaSourceFile: "src/domain/wasm/wasmInterface.ts",
         constantName: "WASM_INTERFACE_REPRESENTATION_BYTES",
         hardLimit: 33_554_432,
         unit: "bytes",
@@ -59,7 +65,7 @@ export const REA_BUDGET_BREAKER_MATRIX = [
     },
     {
         id: "sqlite-column-evaluation",
-        reaSourceFile: "src/sqlite/SqliteDatabaseLimits.ts:28",
+        reaSourceFile: "src/sqlite/SqliteDatabaseLimits.ts",
         constantName: "SqliteColumnEvaluationFailure",
         hardLimit: 1,
         unit: "states",
@@ -68,16 +74,16 @@ export const REA_BUDGET_BREAKER_MATRIX = [
     },
     {
         id: "safetensors-json-nesting",
-        reaSourceFile: "src/model/SafetensorsHeader.ts:74",
+        reaSourceFile: "src/model/SafetensorsHeader.ts",
         constantName: "MODEL_JSON_NESTING",
         hardLimit: 32,
         unit: "levels",
         failureClassOrStatus: 'ModelFormatFailure("capacity", ..., "json-nesting")',
-        counterStrategy: "Embed 35-level nested JSON array under `_bla_nesting_breaker` in Safetensors header.",
+        counterStrategy: "Embed 35-level nested JSON array under `nesting_breaker` in Safetensors header.",
     },
     {
         id: "gguf-metadata-nesting",
-        reaSourceFile: "src/model/GgufHeader.ts:121",
+        reaSourceFile: "src/model/GgufHeader.ts",
         constantName: "MODEL_METADATA_NESTING",
         hardLimit: 32,
         unit: "levels",
@@ -86,13 +92,130 @@ export const REA_BUDGET_BREAKER_MATRIX = [
     },
     {
         id: "cdp-script-source-budget",
-        reaSourceFile: "src/browser/CdpScriptSourceBudget.ts:10",
+        reaSourceFile: "src/domain/webRuntime.ts",
         constantName: "WEB_RUNTIME_LIMITS.sourceBytes",
-        hardLimit: 16_777_216,
+        hardLimit: 33_554_432,
         unit: "bytes",
         failureClassOrStatus: "CDP_SCRIPT_SOURCE_BYTES_OMISSION_REASON",
         counterStrategy: "Detect CDP/Inspector runtime attachment and serve high-volume decoy script modules to exhaust passive source collection.",
     },
+    {
+        id: "lldb-trace-frames",
+        reaSourceFile: "bridge/native/rea_lldb_tracer.py",
+        constantName: "MAX_TRACE_FRAMES",
+        hardLimit: 65_536,
+        unit: "states",
+        failureClassOrStatus: 'outcome: "resource-limit" (process.Kill())',
+        counterStrategy: "Inject high-frequency decoy native call frames and deep backtraces so observe_native_calls hits 65,536 frames or 8 MiB and terminates the traced target.",
+    },
+    {
+        id: "lldb-other-stops",
+        reaSourceFile: "bridge/native/rea_lldb_tracer.py",
+        constantName: "MAX_OTHER_STOPS",
+        hardLimit: 256,
+        unit: "states",
+        failureClassOrStatus: 'outcome: "stop-limit" (process.Kill())',
+        counterStrategy: "Emit >= 256 benign non-breakpoint stop observations so LLDB batch tracing aborts with stop-limit.",
+    },
+    {
+        id: "gdb-command-output-records",
+        reaSourceFile: "src/gdb/GdbSessionManager.ts",
+        constantName: "MAX_COMMAND_OUTPUT_RECORDS",
+        hardLimit: 16_384,
+        unit: "states",
+        failureClassOrStatus: "AnalysisResourceConstraintError (output truncated)",
+        counterStrategy: "Churn hundreds of shadow heap slots on every call so GDB watchpoint/memory dump records exceed 16,384 MI lines.",
+    },
+    {
+        id: "rizin-command-frames",
+        reaSourceFile: "src/rizin/RizinDebugSessionManager.ts",
+        constantName: "MAX_COMMAND_FRAMES",
+        hardLimit: 4_096,
+        unit: "states",
+        failureClassOrStatus: "AnalysisResourceConstraintError (frame cap reached)",
+        counterStrategy: "Flood Rizin runtime memory search/diff commands with synchronized shadow buffer mutations exceeding 4,096 frames.",
+    },
+    {
+        id: "environment-compare-step-diff",
+        reaSourceFile: "src/application/environment/environmentCompareDiff.ts",
+        constantName: "STEP_DIFFERENCE_LIMIT",
+        hardLimit: 20,
+        unit: "states",
+        failureClassOrStatus: "Step differences truncated at 20 entries per step",
+        counterStrategy: "Mutate > 24 decoy state fields per step so real state diffs are pushed past REA's 20-difference per-step retention window.",
+    },
+    {
+        id: "go-buildinfo-bytes",
+        reaSourceFile: "src/go/GoBinaryImage.ts",
+        constantName: "MAX_BUILD_INFO_BYTES",
+        hardLimit: 1_048_576,
+        unit: "bytes",
+        failureClassOrStatus: 'BinaryResourceFailure("build-info", 1 MiB)',
+        counterStrategy: "Embed a framed Go buildinfo (magic + inline module) whose version+module strings exceed 1 MiB, plus .gopclntab/moduledata bait.",
+    },
+    {
+        id: "flutter-pool-uris",
+        reaSourceFile: "src/flutter/FlutterBuildProvider.ts",
+        constantName: "MAX_POOL_URIS",
+        hardLimit: 500,
+        unit: "states",
+        failureClassOrStatus: "string_pool.collectionCapped (package_uris/dart_uris)",
+        counterStrategy: "Inject > 500 distinct package: and dart: printable runs into Dart isolate snapshot / native trailer.",
+    },
+    {
+        id: "flutter-pool-tokens",
+        reaSourceFile: "src/flutter/FlutterBuildProvider.ts",
+        constantName: "MAX_POOL_TOKENS",
+        hardLimit: 2_000,
+        unit: "states",
+        failureClassOrStatus: "string_pool.collectionCapped (class_like_tokens)",
+        counterStrategy: "Inject > 2000 distinct identifier-shaped class-like tokens into Dart isolate snapshot / native trailer.",
+    },
+    {
+        id: "erlang-beam-chunks",
+        reaSourceFile: "src/domain/erlang/beam.ts",
+        constantName: "MAX_INSPECT_ERLANG_BEAM_CHUNKS",
+        hardLimit: 256,
+        unit: "states",
+        failureClassOrStatus: 'BeamCapacityFailure("chunks")',
+        counterStrategy: "Emit a valid FOR1/BEAM with > default max_chunks (64) decoy IFF chunks (and up to hard ceiling 256).",
+    },
+    {
+        id: "erlang-beam-atoms",
+        reaSourceFile: "src/domain/erlang/beam.ts",
+        constantName: "MAX_INSPECT_ERLANG_BEAM_ATOMS",
+        hardLimit: 65_536,
+        unit: "states",
+        failureClassOrStatus: 'BeamCapacityFailure("atoms")',
+        counterStrategy: "Pad AtU8 atom table past the schema default max_atoms (4096) with canary/diagnostic atom names.",
+    },
+    {
+        id: "evm-input-bytes",
+        reaSourceFile: "src/evm/EvmoleRelease.ts",
+        constantName: "EVM_INTERFACE_LIMITS.inputBytes",
+        hardLimit: 4_194_304,
+        unit: "bytes",
+        failureClassOrStatus: "EVM carrier input allowance exhausted",
+        counterStrategy: "Append adversarial Solidity metadata CBOR + optional padding that approaches the 4 MiB inputBytes ceiling.",
+    },
+    {
+        id: "pcap-tshark-json",
+        reaSourceFile: "src/pcap/PcapOutput.ts",
+        constantName: "TSHARK_JSON_MAX_BYTES",
+        hardLimit: 8_388_608,
+        unit: "bytes",
+        failureClassOrStatus: "tshark JSON output exceeds 8 MiB",
+        counterStrategy: "Inject high-volume decoy packets whose decoded JSON projection exceeds TSHARK_JSON_MAX_BYTES.",
+    },
+    {
+        id: "gpu-report-bytes",
+        reaSourceFile: "src/gpu/GpuSource.ts",
+        constantName: "GPU_REPORT_BYTES",
+        hardLimit: 16_777_216,
+        unit: "bytes",
+        failureClassOrStatus: "GPU facts exceed the 16 MiB retained report budget",
+        counterStrategy: "Pad PTX modules with decoy .entry/.param declarations and canary comments toward GPU_REPORT_BYTES.",
+    },
 ];
 /**
  * Mirrors REA's exact `exceedsSemanticPrimitiveAdditionByteBudget` formula
@@ -169,7 +292,7 @@ export function getExhaustionProfileForIntensity(intensity) {
                 aliasSelectorCount: 640,
                 cartesianBranchCount: 36,
                 cartesianStringLength: 260,
-                obligationDecoyFamilies: 22,
+                obligationDecoyFamilies: 26,
                 sccClusterCount: 8,
             };
     }

package/dist/shields/exhaustion/rea-budget-matrix.js.map

@@ -1 +1 @@
-{"version":3,"file":"rea-budget-matrix.js","sourceRoot":"","sources":["../../../src/shields/exhaustion/rea-budget-matrix.ts"],"names":[],"mappings":"AAYA;;;GAGG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAsC;IAC1E;QACE,EAAE,EAAE,yBAAyB;QAC7B,aAAa,EAAE,6DAA6D;QAC5E,YAAY,EAAE,oCAAoC;QAClD,SAAS,EAAE,GAAG;QACd,IAAI,EAAE,cAAc;QACpB,oBAAoB,EAAE,2DAA2D;QACjF,eAAe,EACb,+FAA+F;KAClG;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,aAAa,EAAE,6DAA6D;QAC5E,YAAY,EAAE,iCAAiC;QAC/C,SAAS,EAAE,GAAG;QACd,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,uDAAuD;QAC7E,eAAe,EACb,uFAAuF;KAC1F;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,aAAa,EAAE,8DAA8D;QAC7E,YAAY,EAAE,iCAAiC;QAC/C,SAAS,EAAE,GAAG;QACd,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,uDAAuD;QAC7E,eAAe,EACb,gHAAgH;KACnH;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,aAAa,EAAE,8DAA8D;QAC7E,YAAY,EAAE,gCAAgC;QAC9C,SAAS,EAAE,GAAG;QACd,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,uDAAuD;QAC7E,eAAe,EACb,kGAAkG;KACrG;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,aAAa,EAAE,8DAA8D;QAC7E,YAAY,EAAE,qCAAqC;QACnD,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,OAAO;QACb,oBAAoB,EAAE,sDAAsD;QAC5E,eAAe,EACb,mHAAmH;KACtH;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,aAAa,EAAE,qCAAqC;QACpD,YAAY,EAAE,qCAAqC;QACnD,SAAS,EAAE,UAAU;QACrB,IAAI,EAAE,OAAO;QACb,oBAAoB,EAClB,sEAAsE;QACxE,eAAe,EACb,+HAA+H;KAClI;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,aAAa,EAAE,uCAAuC;QACtD,YAAY,EAAE,+BAA+B;QAC7C,SAAS,EAAE,CAAC;QACZ,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAClB,0EAA0E;QAC5E,eAAe,EACb,2HAA2H;KAC9H;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,aAAa,EAAE,mCAAmC;QAClD,YAAY,EAAE,oBAAoB;QAClC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,qDAAqD;QAC3E,eAAe,EACb,sFAAsF;KACzF;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,aAAa,EAAE,6BAA6B;QAC5C,YAAY,EAAE,wBAAwB;QACtC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,yDAAyD;QAC/E,eAAe,EACb,4EAA4E;KAC/E;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,aAAa,EAAE,yCAAyC;QACxD,YAAY,EAAE,gCAAgC;QAC9C,SAAS,EAAE,UAAU;QACrB,IAAI,EAAE,OAAO;QACb,oBAAoB,EAAE,yCAAyC;QAC/D,eAAe,EACb,0HAA0H;KAC7H;CACO,CAAC;AAEX;;;;GAIG;AACH,MAAM,UAAU,mCAAmC,CACjD,WAA8B,EAC9B,YAA+B;IAM/B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,iBAAiB,IAAI,CAAC,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,YAAY;QAAE,iBAAiB,IAAI,CAAC,CAAC;IAErD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,OAAO;QACL,iBAAiB,EAAE,KAAK;QACxB,wBAAwB,EAAE,KAAK,GAAG,SAAS;QAC3C,kBAAkB,EAChB,iBAAiB,GAAG,CAAC;YACnB,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,GAAG,iBAAiB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAChD,CAAC,CAAC,CAAC;KACR,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,6BAA6B,CAAC,KAM7C;IACC,OAAO,CACL,IAAI;QACJ,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC;YAC9B,KAAK,CAAC,kBAAkB,CAAC,MAAM;YAC/B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YACrB,CAAC;QACH,CAAC,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,CAC5C,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gCAAgC,CAAC,SAA8B;IAQ7E,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO;gBACL,iBAAiB,EAAE,CAAC;gBACpB,kBAAkB,EAAE,GAAG;gBACvB,oBAAoB,EAAE,EAAE;gBACxB,qBAAqB,EAAE,GAAG;gBAC1B,uBAAuB,EAAE,CAAC;gBAC1B,eAAe,EAAE,CAAC;aACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO;gBACL,iBAAiB,EAAE,CAAC;gBACpB,kBAAkB,EAAE,GAAG;gBACvB,oBAAoB,EAAE,EAAE;gBACxB,qBAAqB,EAAE,GAAG;gBAC1B,uBAAuB,EAAE,EAAE;gBAC3B,eAAe,EAAE,CAAC;aACnB,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,iBAAiB,EAAE,EAAE;gBACrB,kBAAkB,EAAE,GAAG;gBACvB,oBAAoB,EAAE,EAAE;gBACxB,qBAAqB,EAAE,GAAG;gBAC1B,uBAAuB,EAAE,EAAE;gBAC3B,eAAe,EAAE,CAAC;aACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO;gBACL,iBAAiB,EAAE,EAAE;gBACrB,kBAAkB,EAAE,GAAG;gBACvB,oBAAoB,EAAE,EAAE;gBACxB,qBAAqB,EAAE,GAAG;gBAC1B,uBAAuB,EAAE,EAAE;gBAC3B,eAAe,EAAE,CAAC;aACnB,CAAC;IACN,CAAC;AACH,CAAC"}
+{"version":3,"file":"rea-budget-matrix.js","sourceRoot":"","sources":["../../../src/shields/exhaustion/rea-budget-matrix.ts"],"names":[],"mappings":"AAYA;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAsC;IAC1E;QACE,EAAE,EAAE,yBAAyB;QAC7B,aAAa,EAAE,2DAA2D;QAC1E,YAAY,EAAE,oCAAoC;QAClD,SAAS,EAAE,GAAG;QACd,IAAI,EAAE,cAAc;QACpB,oBAAoB,EAAE,2DAA2D;QACjF,eAAe,EACb,+FAA+F;KAClG;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,aAAa,EAAE,2DAA2D;QAC1E,YAAY,EAAE,iCAAiC;QAC/C,SAAS,EAAE,GAAG;QACd,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,uDAAuD;QAC7E,eAAe,EACb,uFAAuF;KAC1F;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,aAAa,EAAE,2DAA2D;QAC1E,YAAY,EAAE,iCAAiC;QAC/C,SAAS,EAAE,GAAG;QACd,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,uDAAuD;QAC7E,eAAe,EACb,gHAAgH;KACnH;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,aAAa,EAAE,2DAA2D;QAC1E,YAAY,EAAE,gCAAgC;QAC9C,SAAS,EAAE,GAAG;QACd,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,uDAAuD;QAC7E,eAAe,EACb,8FAA8F;KACjG;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,aAAa,EAAE,2DAA2D;QAC1E,YAAY,EAAE,qCAAqC;QACnD,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,OAAO;QACb,oBAAoB,EAAE,sDAAsD;QAC5E,eAAe,EACb,mHAAmH;KACtH;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,aAAa,EAAE,kCAAkC;QACjD,YAAY,EAAE,qCAAqC;QACnD,SAAS,EAAE,UAAU;QACrB,IAAI,EAAE,OAAO;QACb,oBAAoB,EAClB,sEAAsE;QACxE,eAAe,EACb,+HAA+H;KAClI;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,aAAa,EAAE,oCAAoC;QACnD,YAAY,EAAE,+BAA+B;QAC7C,SAAS,EAAE,CAAC;QACZ,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAClB,0EAA0E;QAC5E,eAAe,EACb,2HAA2H;KAC9H;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,aAAa,EAAE,gCAAgC;QAC/C,YAAY,EAAE,oBAAoB;QAClC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,qDAAqD;QAC3E,eAAe,EACb,iFAAiF;KACpF;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,aAAa,EAAE,yBAAyB;QACxC,YAAY,EAAE,wBAAwB;QACtC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,yDAAyD;QAC/E,eAAe,EACb,4EAA4E;KAC/E;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,aAAa,EAAE,0BAA0B;QACzC,YAAY,EAAE,gCAAgC;QAC9C,SAAS,EAAE,UAAU;QACrB,IAAI,EAAE,OAAO;QACb,oBAAoB,EAAE,yCAAyC;QAC/D,eAAe,EACb,0HAA0H;KAC7H;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,aAAa,EAAE,kCAAkC;QACjD,YAAY,EAAE,kBAAkB;QAChC,SAAS,EAAE,MAAM;QACjB,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,4CAA4C;QAClE,eAAe,EACb,0JAA0J;KAC7J;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,aAAa,EAAE,kCAAkC;QACjD,YAAY,EAAE,iBAAiB;QAC/B,SAAS,EAAE,GAAG;QACd,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,wCAAwC;QAC9D,eAAe,EACb,mGAAmG;KACtG;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,aAAa,EAAE,8BAA8B;QAC7C,YAAY,EAAE,4BAA4B;QAC1C,SAAS,EAAE,MAAM;QACjB,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,oDAAoD;QAC1E,eAAe,EACb,iHAAiH;KACpH;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,aAAa,EAAE,uCAAuC;QACtD,YAAY,EAAE,oBAAoB;QAClC,SAAS,EAAE,KAAK;QAChB,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,qDAAqD;QAC3E,eAAe,EACb,mHAAmH;KACtH;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,aAAa,EAAE,uDAAuD;QACtE,YAAY,EAAE,uBAAuB;QACrC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,mDAAmD;QACzE,eAAe,EACb,4HAA4H;KAC/H;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,aAAa,EAAE,yBAAyB;QACxC,YAAY,EAAE,sBAAsB;QACpC,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,OAAO;QACb,oBAAoB,EAAE,4CAA4C;QAClE,eAAe,EACb,iIAAiI;KACpI;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,aAAa,EAAE,qCAAqC;QACpD,YAAY,EAAE,eAAe;QAC7B,SAAS,EAAE,GAAG;QACd,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,uDAAuD;QAC7E,eAAe,EACb,sGAAsG;KACzG;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,aAAa,EAAE,qCAAqC;QACpD,YAAY,EAAE,iBAAiB;QAC/B,SAAS,EAAE,KAAK;QAChB,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,kDAAkD;QACxE,eAAe,EACb,yGAAyG;KAC5G;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,aAAa,EAAE,2BAA2B;QAC1C,YAAY,EAAE,gCAAgC;QAC9C,SAAS,EAAE,GAAG;QACd,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,+BAA+B;QACrD,eAAe,EACb,sGAAsG;KACzG;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,aAAa,EAAE,2BAA2B;QAC1C,YAAY,EAAE,+BAA+B;QAC7C,SAAS,EAAE,MAAM;QACjB,IAAI,EAAE,QAAQ;QACd,oBAAoB,EAAE,8BAA8B;QACpD,eAAe,EACb,iGAAiG;KACpG;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,aAAa,EAAE,0BAA0B;QACzC,YAAY,EAAE,iCAAiC;QAC/C,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,OAAO;QACb,oBAAoB,EAAE,uCAAuC;QAC7D,eAAe,EACb,4GAA4G;KAC/G;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,aAAa,EAAE,wBAAwB;QACvC,YAAY,EAAE,uBAAuB;QACrC,SAAS,EAAE,SAAS;QACpB,IAAI,EAAE,OAAO;QACb,oBAAoB,EAAE,kCAAkC;QACxD,eAAe,EACb,+FAA+F;KAClG;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,aAAa,EAAE,sBAAsB;QACrC,YAAY,EAAE,kBAAkB;QAChC,SAAS,EAAE,UAAU;QACrB,IAAI,EAAE,OAAO;QACb,oBAAoB,EAAE,oDAAoD;QAC1E,eAAe,EACb,oGAAoG;KACvG;CACO,CAAC;AAEX;;;;GAIG;AACH,MAAM,UAAU,mCAAmC,CACjD,WAA8B,EAC9B,YAA+B;IAM/B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,iBAAiB,IAAI,CAAC,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,YAAY;QAAE,iBAAiB,IAAI,CAAC,CAAC;IAErD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,OAAO;QACL,iBAAiB,EAAE,KAAK;QACxB,wBAAwB,EAAE,KAAK,GAAG,SAAS;QAC3C,kBAAkB,EAChB,iBAAiB,GAAG,CAAC;YACnB,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,GAAG,iBAAiB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAChD,CAAC,CAAC,CAAC;KACR,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,6BAA6B,CAAC,KAM7C;IACC,OAAO,CACL,IAAI;QACJ,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC;YAC9B,KAAK,CAAC,kBAAkB,CAAC,MAAM;YAC/B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YACrB,CAAC;QACH,CAAC,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,CAC5C,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gCAAgC,CAAC,SAA8B;IAQ7E,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO;gBACL,iBAAiB,EAAE,CAAC;gBACpB,kBAAkB,EAAE,GAAG;gBACvB,oBAAoB,EAAE,EAAE;gBACxB,qBAAqB,EAAE,GAAG;gBAC1B,uBAAuB,EAAE,CAAC;gBAC1B,eAAe,EAAE,CAAC;aACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO;gBACL,iBAAiB,EAAE,CAAC;gBACpB,kBAAkB,EAAE,GAAG;gBACvB,oBAAoB,EAAE,EAAE;gBACxB,qBAAqB,EAAE,GAAG;gBAC1B,uBAAuB,EAAE,EAAE;gBAC3B,eAAe,EAAE,CAAC;aACnB,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,iBAAiB,EAAE,EAAE;gBACrB,kBAAkB,EAAE,GAAG;gBACvB,oBAAoB,EAAE,EAAE;gBACxB,qBAAqB,EAAE,GAAG;gBAC1B,uBAAuB,EAAE,EAAE;gBAC3B,eAAe,EAAE,CAAC;aACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO;gBACL,iBAAiB,EAAE,EAAE;gBACrB,kBAAkB,EAAE,GAAG;gBACvB,oBAAoB,EAAE,EAAE;gBACxB,qBAAqB,EAAE,GAAG;gBAC1B,uBAAuB,EAAE,EAAE;gBAC3B,eAAe,EAAE,CAAC;aACnB,CAAC;IACN,CAAC;AACH,CAAC"}

package/dist/shields/exhaustion/regex-worker-tarpit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"regex-worker-tarpit.d.ts","sourceRoot":"","sources":["../../../src/shields/exhaustion/regex-worker-tarpit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE/D;;GAEG;AACH,eAAO,MAAM,uBAAuB;;;;CAI1B,CAAC;AAEX,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;CAC9C;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,UAAU,EAChB,SAAS,GAAE,mBAAgC,GAC1C,uBAAuB,CA2BzB"}
+{"version":3,"file":"regex-worker-tarpit.d.ts","sourceRoot":"","sources":["../../../src/shields/exhaustion/regex-worker-tarpit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE/D;;GAEG;AACH,eAAO,MAAM,uBAAuB;;;;CAI1B,CAAC;AAEX,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;CAC9C;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,UAAU,EAChB,SAAS,GAAE,mBAAgC,GAC1C,uBAAuB,CA4BzB"}

package/dist/shields/exhaustion/regex-worker-tarpit.js

@@ -33,7 +33,8 @@ export function generateRegexWorkerTarpit(prng, intensity = "balanced") {
         const p = prefixes[i % prefixes.length];
         entries.push(`${p}_${tag}_${i}_0x${prng.hex(8)}`);
     }
-    const code = `const _blaRegexSearchMagnet_${tag} = Object.freeze(${JSON.stringify(entries)});`;
+    const magnetName = `regexSearchMagnet_${tag}`;
+    const code = `const ${magnetName} = Object.freeze(${JSON.stringify(entries)});`;
     return {
         code,
         nearMissCandidatesGenerated: entries.length,

package/dist/shields/exhaustion/regex-worker-tarpit.js.map

@@ -1 +1 @@
-{"version":3,"file":"regex-worker-tarpit.js","sourceRoot":"","sources":["../../../src/shields/exhaustion/regex-worker-tarpit.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,kCAAkC,EAAE,KAAK;IACzC,qCAAqC,EAAE,GAAG;IAC1C,qCAAqC,EAAE,CAAC;CAChC,CAAC;AAOX;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAgB,EAChB,YAAiC,UAAU;IAE3C,MAAM,KAAK,GACT,SAAS,KAAK,SAAS;QACrB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,SAAS,KAAK,UAAU;YACxB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,SAAS,KAAK,SAAS;gBACvB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,CAAC;IACb,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG;QACf,2BAA2B;QAC3B,0BAA0B;QAC1B,yBAAyB;QACzB,sBAAsB;KACvB,CAAC;IACF,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAE,CAAC;QACzC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,IAAI,GAAG,+BAA+B,GAAG,oBAAoB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC;IAC/F,OAAO;QACL,IAAI;QACJ,2BAA2B,EAAE,OAAO,CAAC,MAAM;KAC5C,CAAC;AACJ,CAAC"}
+{"version":3,"file":"regex-worker-tarpit.js","sourceRoot":"","sources":["../../../src/shields/exhaustion/regex-worker-tarpit.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,kCAAkC,EAAE,KAAK;IACzC,qCAAqC,EAAE,GAAG;IAC1C,qCAAqC,EAAE,CAAC;CAChC,CAAC;AAOX;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAgB,EAChB,YAAiC,UAAU;IAE3C,MAAM,KAAK,GACT,SAAS,KAAK,SAAS;QACrB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,SAAS,KAAK,UAAU;YACxB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,SAAS,KAAK,SAAS;gBACvB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,CAAC;IACb,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG;QACf,2BAA2B;QAC3B,0BAA0B;QAC1B,yBAAyB;QACzB,sBAAsB;KACvB,CAAC;IACF,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAE,CAAC;QACzC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,UAAU,GAAG,qBAAqB,GAAG,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,SAAS,UAAU,oBAAoB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC;IAChF,OAAO;QACL,IAAI;QACJ,2BAA2B,EAAE,OAAO,CAAC,MAAM;KAC5C,CAAC;AACJ,CAAC"}

package/dist/shields/exhaustion/wasm-interface-exhaustion.d.ts

@@ -12,12 +12,15 @@ export interface WasmInterfaceExhaustionPlan {
     readonly totalBinaryOverheadBytes: number;
     readonly totalReaChargedBytes: number;
     readonly byteAmplificationFactor: number;
+    readonly exceedsRepresentationBudget: boolean;
 }
 /**
- * Targets REA's `WasmInterfaceBudget` (`src/domain/wasm/wasmInterface.ts:90-108`),
- * where every WebAssembly import/export entry is charged:
- * `1024 + (module.length + name.length + wat_form.length) * 6 + (params.length + results.length) * 16`
- * against a fixed 32 MiB (`WASM_INTERFACE_REPRESENTATION_BYTES`) ceiling.
+ * Targets REA's `WasmInterfaceBudget` (`WASM_INTERFACE_REPRESENTATION_BYTES` =
+ * 32 MiB), where every WebAssembly import/export entry is charged:
+ * `1024 + (module.length + name.length + wat_form.length) * 6 + (params+results) * 16`.
+ *
+ * At bankrupt intensity, descriptors are sized so the charged representation
+ * exceeds the 32 MiB ceiling (Wabt path or in-process budget probe).
  */
 export declare function planWasmInterfaceBudgetExhaustion(prng: SeededPrng, intensity?: ProtectionIntensity): WasmInterfaceExhaustionPlan;
 //# sourceMappingURL=wasm-interface-exhaustion.d.ts.map

package/dist/shields/exhaustion/wasm-interface-exhaustion.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"wasm-interface-exhaustion.d.ts","sourceRoot":"","sources":["../../../src/shields/exhaustion/wasm-interface-exhaustion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAG/D,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,6BAA6B,EAAE,MAAM,CAAC;CAChD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,WAAW,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC1D,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;CAC1C;AAED;;;;;GAKG;AACH,wBAAgB,iCAAiC,CAC/C,IAAI,EAAE,UAAU,EAChB,SAAS,GAAE,mBAAgC,GAC1C,2BAA2B,CAgD7B"}
+{"version":3,"file":"wasm-interface-exhaustion.d.ts","sourceRoot":"","sources":["../../../src/shields/exhaustion/wasm-interface-exhaustion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAI/D,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,6BAA6B,EAAE,MAAM,CAAC;CAChD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,WAAW,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC1D,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;CAC/C;AAED;;;;;;;GAOG;AACH,wBAAgB,iCAAiC,CAC/C,IAAI,EAAE,UAAU,EAChB,SAAS,GAAE,mBAAgC,GAC1C,2BAA2B,CAwD7B"}

package/dist/shields/exhaustion/wasm-interface-exhaustion.js

@@ -1,24 +1,32 @@
 import { computeReaWasmInterfaceCharge } from "./rea-budget-matrix.js";
+import { REA_INTERNAL_LIMITS } from "../../identity.js";
 /**
- * Targets REA's `WasmInterfaceBudget` (`src/domain/wasm/wasmInterface.ts:90-108`),
- * where every WebAssembly import/export entry is charged:
- * `1024 + (module.length + name.length + wat_form.length) * 6 + (params.length + results.length) * 16`
- * against a fixed 32 MiB (`WASM_INTERFACE_REPRESENTATION_BYTES`) ceiling.
+ * Targets REA's `WasmInterfaceBudget` (`WASM_INTERFACE_REPRESENTATION_BYTES` =
+ * 32 MiB), where every WebAssembly import/export entry is charged:
+ * `1024 + (module.length + name.length + wat_form.length) * 6 + (params+results) * 16`.
+ *
+ * At bankrupt intensity, descriptors are sized so the charged representation
+ * exceeds the 32 MiB ceiling (Wabt path or in-process budget probe).
  */
 export function planWasmInterfaceBudgetExhaustion(prng, intensity = "balanced") {
+    const budget = REA_INTERNAL_LIMITS.WASM_INTERFACE_REPRESENTATION_BYTES;
     const count = intensity === "stealth"
         ? 12
         : intensity === "balanced"
             ? 24
             : intensity === "maximum"
                 ? 48
-                : 72;
+                : 128;
+    // bankrupt: long module/export/wat names so ~128 entries clear 32 MiB.
+    // bankrupt: ~15 KiB names × 128 entries → charged representation ≫ 32 MiB.
+    const namePad = intensity === "bankrupt" ? 15_000 : intensity === "maximum" ? 64 : 0;
     const descriptors = [];
     let totalBinaryOverheadBytes = 0;
     let totalReaChargedBytes = 0;
     for (let i = 0; i < count; i++) {
-        const moduleName = `enclave_tee_ring0_attestation_domain_${prng.hex(6)}`;
-        const exportName = `bla_enclave_verify_zero_trust_merkle_slot_${i}_${prng.hex(8)}`;
+        const pad = namePad > 0 ? prng.hex(Math.min(8, namePad)).padEnd(namePad, "b") : "";
+        const moduleName = `enclave_tee_ring0_attestation_domain_${prng.hex(6)}${pad ? `_${pad}` : ""}`;
+        const exportName = `bla_enclave_verify_zero_trust_merkle_slot_${i}_${prng.hex(8)}${pad ? `_${pad}` : ""}`;
         const paramCount = 16;
         const resultCount = 4;
         const watForm = `(func $${exportName} (param ${Array(paramCount).fill("i64").join(" ")}) (result ${Array(resultCount).fill("i64").join(" ")}))`;
@@ -45,6 +53,7 @@ export function planWasmInterfaceBudgetExhaustion(prng, intensity = "balanced")
         totalBinaryOverheadBytes,
         totalReaChargedBytes,
         byteAmplificationFactor: Number((totalReaChargedBytes / Math.max(1, totalBinaryOverheadBytes)).toFixed(2)),
+        exceedsRepresentationBudget: totalReaChargedBytes > budget,
     };
 }
 //# sourceMappingURL=wasm-interface-exhaustion.js.map

package/dist/shields/exhaustion/wasm-interface-exhaustion.js.map

@@ -1 +1 @@
-{"version":3,"file":"wasm-interface-exhaustion.js","sourceRoot":"","sources":["../../../src/shields/exhaustion/wasm-interface-exhaustion.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AAiBvE;;;;;GAKG;AACH,MAAM,UAAU,iCAAiC,CAC/C,IAAgB,EAChB,YAAiC,UAAU;IAE3C,MAAM,KAAK,GACT,SAAS,KAAK,SAAS;QACrB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,SAAS,KAAK,UAAU;YACxB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,SAAS,KAAK,SAAS;gBACvB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,CAAC;IAEb,MAAM,WAAW,GAA+B,EAAE,CAAC;IACnD,IAAI,wBAAwB,GAAG,CAAC,CAAC;IACjC,IAAI,oBAAoB,GAAG,CAAC,CAAC;IAE7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,wCAAwC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,MAAM,UAAU,GAAG,6CAA6C,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,MAAM,UAAU,GAAG,EAAE,CAAC;QACtB,MAAM,WAAW,GAAG,CAAC,CAAC;QACtB,MAAM,OAAO,GAAG,UAAU,UAAU,WAAW,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAChJ,MAAM,6BAA6B,GAAG,6BAA6B,CAAC;YAClE,UAAU;YACV,kBAAkB,EAAE,UAAU;YAC9B,OAAO;YACP,UAAU;YACV,WAAW;SACZ,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,GAAG,UAAU,GAAG,WAAW,GAAG,CAAC,CAAC;QAEzF,WAAW,CAAC,IAAI,CAAC;YACf,UAAU;YACV,UAAU;YACV,UAAU;YACV,WAAW;YACX,6BAA6B;SAC9B,CAAC,CAAC;QACH,wBAAwB,IAAI,WAAW,CAAC;QACxC,oBAAoB,IAAI,6BAA6B,CAAC;IACxD,CAAC;IAED,OAAO;QACL,WAAW;QACX,wBAAwB;QACxB,oBAAoB;QACpB,uBAAuB,EAAE,MAAM,CAC7B,CAAC,oBAAoB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAC1E;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"wasm-interface-exhaustion.js","sourceRoot":"","sources":["../../../src/shields/exhaustion/wasm-interface-exhaustion.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAkBxD;;;;;;;GAOG;AACH,MAAM,UAAU,iCAAiC,CAC/C,IAAgB,EAChB,YAAiC,UAAU;IAE3C,MAAM,MAAM,GAAG,mBAAmB,CAAC,mCAAmC,CAAC;IACvE,MAAM,KAAK,GACT,SAAS,KAAK,SAAS;QACrB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,SAAS,KAAK,UAAU;YACxB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,SAAS,KAAK,SAAS;gBACvB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,GAAG,CAAC;IACd,uEAAuE;IACvE,2EAA2E;IAC3E,MAAM,OAAO,GACX,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvE,MAAM,WAAW,GAA+B,EAAE,CAAC;IACnD,IAAI,wBAAwB,GAAG,CAAC,CAAC;IACjC,IAAI,oBAAoB,GAAG,CAAC,CAAC;IAE7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,MAAM,UAAU,GAAG,wCAAwC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAChG,MAAM,UAAU,GAAG,6CAA6C,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAC1G,MAAM,UAAU,GAAG,EAAE,CAAC;QACtB,MAAM,WAAW,GAAG,CAAC,CAAC;QACtB,MAAM,OAAO,GAAG,UAAU,UAAU,WAAW,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAChJ,MAAM,6BAA6B,GAAG,6BAA6B,CAAC;YAClE,UAAU;YACV,kBAAkB,EAAE,UAAU;YAC9B,OAAO;YACP,UAAU;YACV,WAAW;SACZ,CAAC,CAAC;QACH,MAAM,WAAW,GACf,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,GAAG,UAAU,GAAG,WAAW,GAAG,CAAC,CAAC;QAEvE,WAAW,CAAC,IAAI,CAAC;YACf,UAAU;YACV,UAAU;YACV,UAAU;YACV,WAAW;YACX,6BAA6B;SAC9B,CAAC,CAAC;QACH,wBAAwB,IAAI,WAAW,CAAC;QACxC,oBAAoB,IAAI,6BAA6B,CAAC;IACxD,CAAC;IAED,OAAO;QACL,WAAW;QACX,wBAAwB;QACxB,oBAAoB;QACpB,uBAAuB,EAAE,MAAM,CAC7B,CAAC,oBAAoB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAC1E;QACD,2BAA2B,EAAE,oBAAoB,GAAG,MAAM;KAC3D,CAAC;AACJ,CAAC"}

package/dist/shields/formats/android-dex-xref.d.ts

@@ -0,0 +1,19 @@
+import { SeededPrng } from "../../core/prng.js";
+import type { ProtectionIntensity } from "../../core/types.js";
+export interface AndroidDexXrefCounterResult {
+    readonly dexBuffer: Buffer;
+    /** Number of decoy caller classes that invoke the external Log.d target. */
+    readonly callerClassesEmitted: number;
+    /** External method refs planted (currently always 1 — Log.d). */
+    readonly externalMethodRefs: number;
+    /** Marker string embedded for inspect/detect. */
+    readonly marker: string;
+}
+/**
+ * Generate a decoy DEX that saturates REA #8154's external-invoke caller
+ * inventory (`MAX_EXTERNAL_XREF_BYTES`).
+ */
+export declare function generateAndroidDexXrefCounter(prng: SeededPrng, intensity?: ProtectionIntensity): AndroidDexXrefCounterResult;
+/** Next free `classesN.dex` name given existing ZIP entry names. */
+export declare function nextMultidexName(existingNames: readonly string[]): string;
+//# sourceMappingURL=android-dex-xref.d.ts.map

package/dist/shields/formats/android-dex-xref.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"android-dex-xref.d.ts","sourceRoot":"","sources":["../../../src/shields/formats/android-dex-xref.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAI/D,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,iEAAiE;IACjE,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAmbD;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,UAAU,EAChB,SAAS,GAAE,mBAAgC,GAC1C,2BAA2B,CAkB7B;AAED,oEAAoE;AACpE,wBAAgB,gBAAgB,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAYzE"}