@xyo-network/xl1-protocol 5.5.3 → 5.6.0

package/dist/neutral/modules/protocol-model/payload/elevatable/StepComplete.d.ts

@@ -21,7 +21,7 @@ export declare const StepCompleteFieldsZod: z.ZodMiniObject<{
 export type StepCompleteFields = z.infer<typeof StepCompleteFieldsZod>;
 /** Zod schema for a complete StepComplete including schema and fields. */
 export declare const StepCompleteZod: z.ZodMiniObject<{
-    $version: z.ZodMiniOptional<z.ZodMiniNumberFormat<z.core.$ZodNumberFormats>>;
+    $version: z.ZodMiniOptional<z.ZodMiniInt>;
     schema: z.ZodMiniLiteral<"network.xyo.chain.step.complete" & {
         readonly __schema: true;
     }>;

package/dist/neutral/modules/protocol-model/payload/slash/SlashAdjudicationPayload.d.ts

@@ -43,7 +43,7 @@ export declare const SlashAdjudicationFieldsZod: z.ZodMiniObject<{
 export type SlashAdjudicationFields = z.infer<typeof SlashAdjudicationFieldsZod>;
 /** A slash adjudication payload — the on-chain record closing a report. */
 export declare const SlashAdjudicationZod: z.ZodMiniObject<{
-    $version: z.ZodMiniOptional<z.ZodMiniNumberFormat<z.core.$ZodNumberFormats>>;
+    $version: z.ZodMiniOptional<z.ZodMiniInt>;
     schema: z.ZodMiniLiteral<"network.xyo.chain.slash.adjudication" & {
         readonly __schema: true;
     }>;

package/dist/neutral/modules/protocol-model/payload/slash/SlashChallengePayload.d.ts

@@ -25,7 +25,7 @@ export declare const SlashChallengeFieldsZod: z.ZodMiniObject<{
 export type SlashChallengeFields = z.infer<typeof SlashChallengeFieldsZod>;
 /** A slash challenge payload — counter-evidence against a pending report. */
 export declare const SlashChallengeZod: z.ZodMiniObject<{
-    $version: z.ZodMiniOptional<z.ZodMiniNumberFormat<z.core.$ZodNumberFormats>>;
+    $version: z.ZodMiniOptional<z.ZodMiniInt>;
     schema: z.ZodMiniLiteral<"network.xyo.chain.slash.challenge" & {
         readonly __schema: true;
     }>;

package/dist/neutral/modules/protocol-model/payload/slash/SlashCommitPayload.d.ts

@@ -27,7 +27,7 @@ export declare const SlashCommitFieldsZod: z.ZodMiniObject<{
 export type SlashCommitFields = z.infer<typeof SlashCommitFieldsZod>;
 /** A slash commit payload — reserves a report before its evidence is public. */
 export declare const SlashCommitZod: z.ZodMiniObject<{
-    $version: z.ZodMiniOptional<z.ZodMiniNumberFormat<z.core.$ZodNumberFormats>>;
+    $version: z.ZodMiniOptional<z.ZodMiniInt>;
     schema: z.ZodMiniLiteral<"network.xyo.chain.slash.commit" & {
         readonly __schema: true;
     }>;

package/dist/neutral/modules/protocol-model/payload/slash/SlashEvidencePayload.d.ts

@@ -25,7 +25,7 @@ export declare const SlashEvidenceFieldsZod: z.ZodMiniObject<{
 export type SlashEvidenceFields = z.infer<typeof SlashEvidenceFieldsZod>;
 /** A slash evidence payload — signed artifacts carried on-chain without being interpreted. */
 export declare const SlashEvidenceZod: z.ZodMiniObject<{
-    $version: z.ZodMiniOptional<z.ZodMiniNumberFormat<z.core.$ZodNumberFormats>>;
+    $version: z.ZodMiniOptional<z.ZodMiniInt>;
     schema: z.ZodMiniLiteral<"network.xyo.chain.slash.evidence" & {
         readonly __schema: true;
     }>;

package/dist/neutral/modules/protocol-model/payload/slash/SlashRequestPayload.d.ts

@@ -38,7 +38,7 @@ export declare const SlashRequestFieldsZod: z.ZodMiniObject<{
 export type SlashRequestFields = z.infer<typeof SlashRequestFieldsZod>;
 /** A slash request payload — an evidence-bearing accusation. */
 export declare const SlashRequestZod: z.ZodMiniObject<{
-    $version: z.ZodMiniOptional<z.ZodMiniNumberFormat<z.core.$ZodNumberFormats>>;
+    $version: z.ZodMiniOptional<z.ZodMiniInt>;
     schema: z.ZodMiniLiteral<"network.xyo.chain.slash.request" & {
         readonly __schema: true;
     }>;

package/dist/neutral/modules/protocol-model/rejection/BlockRejectionPayload.d.ts

@@ -35,7 +35,7 @@ export declare const BlockRejectionFieldsZod: z.ZodMiniObject<{
         $sourceQuery: z.ZodMiniOptional<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
         $signatures: z.ZodMiniArray<z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHex, string>>, z.ZodMiniNull]>>;
     }, z.core.$strip>, z.ZodMiniArray<z.ZodMiniObject<{
-        $version: z.ZodMiniOptional<z.ZodMiniNumberFormat>;
+        $version: z.ZodMiniOptional<z.ZodMiniInt>;
         schema: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").BrandedSchema<string>, string>>;
     }, z.core.$strict>>], null>;
     errors: z.ZodMiniArray<import("zod").ZodObject<{
@@ -47,7 +47,7 @@ export declare const BlockRejectionFieldsZod: z.ZodMiniObject<{
 }, z.core.$strip>;
 /** Zod schema for a complete block rejection payload. */
 export declare const BlockRejectionZod: z.ZodMiniObject<{
-    $version: z.ZodMiniOptional<z.ZodMiniNumberFormat<z.core.$ZodNumberFormats>>;
+    $version: z.ZodMiniOptional<z.ZodMiniInt>;
     schema: z.ZodMiniLiteral<"network.xyo.block.rejection" & {
         readonly __schema: true;
     }>;
@@ -79,7 +79,7 @@ export declare const BlockRejectionZod: z.ZodMiniObject<{
         $sourceQuery: z.ZodMiniOptional<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
         $signatures: z.ZodMiniArray<z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHex, string>>, z.ZodMiniNull]>>;
     }, z.core.$strip>, z.ZodMiniArray<z.ZodMiniObject<{
-        $version: z.ZodMiniOptional<z.ZodMiniNumberFormat>;
+        $version: z.ZodMiniOptional<z.ZodMiniInt>;
         schema: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").BrandedSchema<string>, string>>;
     }, z.core.$strict>>], null>;
     errors: z.ZodMiniArray<import("zod").ZodObject<{

package/dist/neutral/modules/protocol-model/rejection/TransactionRejectionPayload.d.ts

@@ -49,13 +49,13 @@ export declare const TransactionRejectionFieldsZod: z.ZodMiniObject<{
         }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>;
         script: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniString<string>>>;
     }, z.core.$strip>, z.ZodMiniArray<z.ZodMiniObject<{
-        $version: z.ZodMiniOptional<z.ZodMiniNumberFormat>;
+        $version: z.ZodMiniOptional<z.ZodMiniInt>;
         schema: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").BrandedSchema<string>, string>>;
     }, z.core.$strict>>], null>;
 }, z.core.$strip>;
 /** Zod schema for a complete transaction rejection payload. */
 export declare const TransactionRejectionZod: z.ZodMiniObject<{
-    $version: z.ZodMiniOptional<z.ZodMiniNumberFormat<z.core.$ZodNumberFormats>>;
+    $version: z.ZodMiniOptional<z.ZodMiniInt>;
     schema: z.ZodMiniLiteral<"network.xyo.transaction.rejection" & {
         readonly __schema: true;
     }>;
@@ -101,7 +101,7 @@ export declare const TransactionRejectionZod: z.ZodMiniObject<{
         }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>;
         script: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniString<string>>>;
     }, z.core.$strip>, z.ZodMiniArray<z.ZodMiniObject<{
-        $version: z.ZodMiniOptional<z.ZodMiniNumberFormat>;
+        $version: z.ZodMiniOptional<z.ZodMiniInt>;
         schema: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").BrandedSchema<string>, string>>;
     }, z.core.$strict>>], null>;
 }, z.core.$strip>;

package/dist/neutral/modules/protocol-model/transaction/TransactionFees.d.ts

@@ -96,7 +96,7 @@ export declare const toTransactionFeesBigInt: {
         priority: bigint;
     };
 };
-/** Zod schema for validating Transaction Fees Json To Big Int values. */
+/** Zod schema for validating Transaction Fees JSON To Big Int values. */
 export declare const TransactionFeesJsonToBigIntZod: z.ZodMiniPipe<z.ZodMiniObject<{
     base: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHex, string>>;
     gasLimit: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHex, string>>;
@@ -130,9 +130,9 @@ export declare const TransactionFeesBigIntToJsonZod: z.ZodMiniPipe<z.ZodMiniObje
     gasPrice: bigint;
     priority: bigint;
 }>>;
-/** Validated data representation for Transaction Fees Json To Big Int Zod Type. */
+/** Validated data representation for Transaction Fees JSON To Big Int Zod Type. */
 export type TransactionFeesJsonToBigIntZodType = z.infer<typeof TransactionFeesJsonToBigIntZod>;
-/** Validated data representation for Transaction Fees Big Int To Json Zod Type. */
+/** Validated data representation for Transaction Fees Big Int To JSON Zod Type. */
 export type TransactionFeesBigIntToJsonZodType = z.infer<typeof TransactionFeesBigIntToJsonZod>;
 export { BigIntToJsonZod as AttoToJsonZod } from '@ariestools/sdk';
 //# sourceMappingURL=TransactionFees.d.ts.map

package/dist/neutral/modules/validation/block/validators/BlockCumulativeBalanceValidator.d.ts

@@ -4,7 +4,7 @@ import type { HydratedBlockStateValidationFunction, HydratedBlockWithHashMeta, T
 export declare function accumulateOutflows(transactions: TransactionBoundWitnessWithHashMeta[], payloads: HydratedBlockWithHashMeta[1]): Record<XyoAddress, bigint>;
 /**
  * Find transaction-referenced payloads that claim the Transfer schema but fail full Transfer
- * validation. These must be surfaced as errors rather than skipped: balance application treats
+ * validation. These must be surfaced as errors rather than skipped: the balance applier treats
  * every payload with the Transfer schema as a transfer, so a malformed one that validation
  * ignores would still be applied (or crash the applier).
  */

package/dist/neutral/modules/validation/block/validators/BlockCumulativeBalanceValidator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"BlockCumulativeBalanceValidator.d.ts","sourceRoot":"","sources":["../../../../../../src/modules/validation/block/validators/BlockCumulativeBalanceValidator.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAElD,OAAO,KAAK,EACV,oCAAoC,EACpC,yBAAyB,EACzB,mCAAmC,EACpC,MAAM,eAAe,CAAA;AAoCtB,yFAAyF;AACzF,wBAAgB,kBAAkB,CAChC,YAAY,EAAE,mCAAmC,EAAE,EACnD,QAAQ,EAAE,yBAAyB,CAAC,CAAC,CAAC,GACrC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAiB5B;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,mCAAmC,EAAE,EACnD,QAAQ,EAAE,yBAAyB,CAAC,CAAC,CAAC,GACrC,yBAAyB,CAAC,CAAC,CAAC,CAM9B;AAED,oHAAoH;AACpH,wBAAgB,sCAAsC,IAAI,oCAAoC,CAwD7F"}
+{"version":3,"file":"BlockCumulativeBalanceValidator.d.ts","sourceRoot":"","sources":["../../../../../../src/modules/validation/block/validators/BlockCumulativeBalanceValidator.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAElD,OAAO,KAAK,EACV,oCAAoC,EACpC,yBAAyB,EACzB,mCAAmC,EACpC,MAAM,eAAe,CAAA;AAoCtB,yFAAyF;AACzF,wBAAgB,kBAAkB,CAChC,YAAY,EAAE,mCAAmC,EAAE,EACnD,QAAQ,EAAE,yBAAyB,CAAC,CAAC,CAAC,GACrC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAiB5B;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,mCAAmC,EAAE,EACnD,QAAQ,EAAE,yBAAyB,CAAC,CAAC,CAAC,GACrC,yBAAyB,CAAC,CAAC,CAAC,CAM9B;AAED,oHAAoH;AACpH,wBAAgB,sCAAsC,IAAI,oCAAoC,CA0D7F"}

package/dist/neutral/modules/validation/boundwitness/validators/BoundWitnessReferences.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"BoundWitnessReferences.d.ts","sourceRoot":"","sources":["../../../../../../src/modules/validation/boundwitness/validators/BoundWitnessReferences.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,YAAY,EAEZ,MAAM,EAEP,MAAM,kBAAkB,CAAA;AAGzB,OAAO,KAAK,EAAE,sCAAsC,EAAoC,MAAM,eAAe,CAAA;AAO7G,qKAAqK;AACrK,eAAO,MAAM,+BAA+B,GAEvC,CAAC,SAAS,YAAY,GAAG,YAAY,EAAE,iBAAiB,MAAM,EAAE,KAAG,sCAAsC,CAAC,CAAC,CAsC7G,CAAA"}
+{"version":3,"file":"BoundWitnessReferences.d.ts","sourceRoot":"","sources":["../../../../../../src/modules/validation/boundwitness/validators/BoundWitnessReferences.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,YAAY,EAEZ,MAAM,EAEP,MAAM,kBAAkB,CAAA;AAGzB,OAAO,KAAK,EAAE,sCAAsC,EAAoC,MAAM,eAAe,CAAA;AAqC7G,qKAAqK;AACrK,eAAO,MAAM,+BAA+B,GAEvC,CAAC,SAAS,YAAY,GAAG,YAAY,EAAE,iBAAiB,MAAM,EAAE,KAAG,sCAAsC,CAAC,CAAC,CAmB7G,CAAA"}

package/dist/neutral/protocol-lib.mjs

@@ -395,7 +395,22 @@ var isBlockValidationConfig = zodIsFactory4(BlockValidationConfigZod);
 var BlockValidationViewerMoniker = "BlockValidationViewer";
 
 // src/modules/protocol-lib/viewers/ChainContract.ts
+import { assertEx as assertEx2 } from "@ariestools/sdk";
 var ChainContractViewerMoniker = "ChainContractViewer";
+async function resolveChainIdAtBlockNumber(viewer, blockNumber) {
+  let chainId = await viewer.chainId();
+  let current = viewer;
+  let forkedAtBlockNumber = await current.forkedAtBlockNumber();
+  while (forkedAtBlockNumber !== null && blockNumber <= forkedAtBlockNumber) {
+    current = assertEx2(
+      await current.forkedChainContractViewer(),
+      () => "Block predates a fork boundary but no forked chain-contract viewer is available"
+    );
+    forkedAtBlockNumber = await current.forkedAtBlockNumber();
+    chainId = await current.chainId();
+  }
+  return chainId;
+}
 
 // src/modules/protocol-lib/viewers/ChainParams.ts
 var ChainParamsViewerMoniker = "ChainParamsViewer";
@@ -496,6 +511,25 @@ var StakeRunnerMoniker = "StakeRunner";
 // src/modules/protocol-lib/viewers/StakeEvents.ts
 var StakeEventNames = ["StakeAdded", "StakeRemoved", "StakeWithdrawn"];
 var StakeEventsViewerMoniker = "StakeEventsViewer";
+function stakeEventInRange(event, range) {
+  if (event.time < range[0]) return false;
+  return range[1] === "latest" || event.time <= range[1];
+}
+function stakeEventMatchesFields(event, filter) {
+  const name = filter?.name;
+  if (name !== void 0 && event.name !== name) return false;
+  const args = filter?.args;
+  const id = args?.id;
+  if (id !== void 0 && event.args.id !== id) return false;
+  const staked = args?.staked;
+  if (staked !== void 0 && event.args.staked !== staked) return false;
+  const staker = args?.staker;
+  if (staker !== void 0 && event.args.staker !== staker) return false;
+  return true;
+}
+function stakeEventMatchesFilter(event, range, filter) {
+  return stakeEventInRange(event, range) && stakeEventMatchesFields(event, filter);
+}
 
 // src/modules/protocol-lib/viewers/StakeIntent.ts
 var StakeIntentViewerMoniker = "StakeIntentViewer";
@@ -690,10 +724,12 @@ export {
   isValidationError,
   isXyoJwtSignerMethods,
   requireRuleActive,
+  resolveChainIdAtBlockNumber,
   resolveRuleParams,
   resolveStepPlacement,
   rewardAddressFromStepIdentity,
   sentinelAddressFromSchema,
+  stakeEventMatchesFilter,
   stepPlacementForBlockNumber,
   toBlockValidationError,
   toHydratedBlockStateValidationError,