@xyo-network/xl1-protocol 5.1.4 → 5.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (74) hide show
  1. package/dist/neutral/modules/network-model/staticRest/layout/chainParams.d.ts +371 -0
  2. package/dist/neutral/modules/network-model/staticRest/layout/chainParams.d.ts.map +1 -0
  3. package/dist/neutral/modules/network-model/staticRest/layout/chainParamsRules.d.ts +36 -0
  4. package/dist/neutral/modules/network-model/staticRest/layout/chainParamsRules.d.ts.map +1 -0
  5. package/dist/neutral/modules/network-model/staticRest/layout/index.d.ts +3 -0
  6. package/dist/neutral/modules/network-model/staticRest/layout/index.d.ts.map +1 -1
  7. package/dist/neutral/modules/network-model/staticRest/layout/trustedPosture.d.ts +81 -0
  8. package/dist/neutral/modules/network-model/staticRest/layout/trustedPosture.d.ts.map +1 -0
  9. package/dist/neutral/modules/network-model/staticRest/paths/chainState.d.ts +7 -0
  10. package/dist/neutral/modules/network-model/staticRest/paths/chainState.d.ts.map +1 -1
  11. package/dist/neutral/modules/protocol-lib/validation/payload/InBlockPayloadValidationFunction.d.ts +37 -3
  12. package/dist/neutral/modules/protocol-lib/validation/payload/InBlockPayloadValidationFunction.d.ts.map +1 -1
  13. package/dist/neutral/modules/protocol-lib/validation/payload/index.d.ts +1 -0
  14. package/dist/neutral/modules/protocol-lib/validation/payload/index.d.ts.map +1 -1
  15. package/dist/neutral/modules/protocol-lib/validation/payload/ruleGate.d.ts +29 -0
  16. package/dist/neutral/modules/protocol-lib/validation/payload/ruleGate.d.ts.map +1 -0
  17. package/dist/neutral/modules/protocol-lib/viewers/ChainParams.d.ts +26 -0
  18. package/dist/neutral/modules/protocol-lib/viewers/ChainParams.d.ts.map +1 -0
  19. package/dist/neutral/modules/protocol-lib/viewers/index.d.ts +1 -0
  20. package/dist/neutral/modules/protocol-lib/viewers/index.d.ts.map +1 -1
  21. package/dist/neutral/modules/protocol-model/block/AllowedBlockPayload.d.ts +14 -2
  22. package/dist/neutral/modules/protocol-model/block/AllowedBlockPayload.d.ts.map +1 -1
  23. package/dist/neutral/modules/protocol-model/block/BlockBoundWitness.d.ts +19 -0
  24. package/dist/neutral/modules/protocol-model/block/BlockBoundWitness.d.ts.map +1 -1
  25. package/dist/neutral/modules/protocol-model/block/HydratedBlock.d.ts +44 -0
  26. package/dist/neutral/modules/protocol-model/block/HydratedBlock.d.ts.map +1 -1
  27. package/dist/neutral/modules/protocol-model/block/signed/SignedBlockBoundWitness.d.ts +6 -0
  28. package/dist/neutral/modules/protocol-model/block/signed/SignedBlockBoundWitness.d.ts.map +1 -1
  29. package/dist/neutral/modules/protocol-model/block/signed/SignedBlockBoundWitnessWithHashMeta.d.ts +10 -0
  30. package/dist/neutral/modules/protocol-model/block/signed/SignedBlockBoundWitnessWithHashMeta.d.ts.map +1 -1
  31. package/dist/neutral/modules/protocol-model/block/signed/SignedBlockBoundWitnessWithStorageMeta.d.ts +12 -0
  32. package/dist/neutral/modules/protocol-model/block/signed/SignedBlockBoundWitnessWithStorageMeta.d.ts.map +1 -1
  33. package/dist/neutral/modules/protocol-model/block/unsigned/UnsignedBlockBoundWitness.d.ts +6 -0
  34. package/dist/neutral/modules/protocol-model/block/unsigned/UnsignedBlockBoundWitness.d.ts.map +1 -1
  35. package/dist/neutral/modules/protocol-model/evidence/EvidenceDisposition.d.ts +1 -1
  36. package/dist/neutral/modules/protocol-model/evidence/EvidenceNotePayload.d.ts +1 -1
  37. package/dist/neutral/modules/protocol-model/model/AccountBalance.d.ts +1 -0
  38. package/dist/neutral/modules/protocol-model/model/AccountBalance.d.ts.map +1 -1
  39. package/dist/neutral/modules/protocol-model/model/Context/ChainContext.zod.d.ts +3 -0
  40. package/dist/neutral/modules/protocol-model/model/Context/ChainContext.zod.d.ts.map +1 -1
  41. package/dist/neutral/modules/protocol-model/model/Context/HeadContext.zod.d.ts +2 -0
  42. package/dist/neutral/modules/protocol-model/model/Context/HeadContext.zod.d.ts.map +1 -1
  43. package/dist/neutral/modules/protocol-model/model/OffenseCode.d.ts +13 -0
  44. package/dist/neutral/modules/protocol-model/model/OffenseCode.d.ts.map +1 -0
  45. package/dist/neutral/modules/protocol-model/model/RuleActivation.d.ts +63 -0
  46. package/dist/neutral/modules/protocol-model/model/RuleActivation.d.ts.map +1 -0
  47. package/dist/neutral/modules/protocol-model/model/SyncStepSummary.d.ts +6 -0
  48. package/dist/neutral/modules/protocol-model/model/SyncStepSummary.d.ts.map +1 -1
  49. package/dist/neutral/modules/protocol-model/model/index.d.ts +2 -0
  50. package/dist/neutral/modules/protocol-model/model/index.d.ts.map +1 -1
  51. package/dist/neutral/modules/protocol-model/model/version.d.ts +2 -2
  52. package/dist/neutral/modules/protocol-model/payload/index.d.ts +1 -0
  53. package/dist/neutral/modules/protocol-model/payload/index.d.ts.map +1 -1
  54. package/dist/neutral/modules/protocol-model/payload/slash/SlashAdjudicationPayload.d.ts +51 -0
  55. package/dist/neutral/modules/protocol-model/payload/slash/SlashAdjudicationPayload.d.ts.map +1 -0
  56. package/dist/neutral/modules/protocol-model/payload/slash/SlashChallengePayload.d.ts +33 -0
  57. package/dist/neutral/modules/protocol-model/payload/slash/SlashChallengePayload.d.ts.map +1 -0
  58. package/dist/neutral/modules/protocol-model/payload/slash/SlashCommitPayload.d.ts +35 -0
  59. package/dist/neutral/modules/protocol-model/payload/slash/SlashCommitPayload.d.ts.map +1 -0
  60. package/dist/neutral/modules/protocol-model/payload/slash/SlashEvidencePayload.d.ts +33 -0
  61. package/dist/neutral/modules/protocol-model/payload/slash/SlashEvidencePayload.d.ts.map +1 -0
  62. package/dist/neutral/modules/protocol-model/payload/slash/SlashRequestPayload.d.ts +46 -0
  63. package/dist/neutral/modules/protocol-model/payload/slash/SlashRequestPayload.d.ts.map +1 -0
  64. package/dist/neutral/modules/protocol-model/payload/slash/index.d.ts +6 -0
  65. package/dist/neutral/modules/protocol-model/payload/slash/index.d.ts.map +1 -0
  66. package/dist/neutral/modules/protocol-model/rejection/BlockRejectionPayload.d.ts +4 -0
  67. package/dist/neutral/modules/protocol-model/rejection/BlockRejectionPayload.d.ts.map +1 -1
  68. package/dist/neutral/network-model.mjs +328 -114
  69. package/dist/neutral/network-model.mjs.map +4 -4
  70. package/dist/neutral/protocol-lib.mjs +19 -0
  71. package/dist/neutral/protocol-lib.mjs.map +3 -3
  72. package/dist/neutral/protocol-model.mjs +505 -296
  73. package/dist/neutral/protocol-model.mjs.map +4 -4
  74. package/package.json +3 -3
@@ -1,5 +1,6 @@
1
1
  export * from './application/index.js';
2
2
  export * from './elevatable/index.js';
3
+ export * from './slash/index.js';
3
4
  export * from './StepIdentityPayload.js';
4
5
  export * from './StepWitness.js';
5
6
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-model/payload/index.ts"],"names":[],"mappings":"AAAA,cAAc,wBAAwB,CAAA;AACtC,cAAc,uBAAuB,CAAA;AACrC,cAAc,0BAA0B,CAAA;AACxC,cAAc,kBAAkB,CAAA"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-model/payload/index.ts"],"names":[],"mappings":"AAAA,cAAc,wBAAwB,CAAA;AACtC,cAAc,uBAAuB,CAAA;AACrC,cAAc,kBAAkB,CAAA;AAChC,cAAc,0BAA0B,CAAA;AACxC,cAAc,kBAAkB,CAAA"}
@@ -0,0 +1,51 @@
1
+ import type { Payload } from '@xyo-network/sdk';
2
+ import { z } from 'zod/mini';
3
+ /** Possible outcomes of adjudicating a slash request. */
4
+ export declare const SlashOutcomes: readonly ["confirmed", "refuted", "indeterminate", "invalid"];
5
+ /** The outcome of adjudicating a slash request. */
6
+ export type SlashOutcome = typeof SlashOutcomes[number];
7
+ /** Zod schema for a slash outcome. */
8
+ export declare const SlashOutcomeZod: z.ZodMiniLiteral<"confirmed" | "refuted" | "indeterminate" | "invalid">;
9
+ /** Schema identifier for slash adjudication payloads. */
10
+ export declare const SlashAdjudicationSchema: "network.xyo.chain.slash.adjudication" & {
11
+ readonly __schema: true;
12
+ };
13
+ /** Schema type for slash adjudication payloads. */
14
+ export type SlashAdjudicationSchema = typeof SlashAdjudicationSchema;
15
+ /**
16
+ * Fields for the record that closes a slash request.
17
+ *
18
+ * Four outcomes, and the distinctions between them are the whole design. `confirmed` proceeds to
19
+ * a slash. `refuted` means counter-evidence held — the reporter was not wrong to ask.
20
+ * `indeterminate` means the check could not be completed from what was available, and costs
21
+ * nobody anything. Only `invalid` means the report was provably wrong, and only that opens a
22
+ * counter-slash against its filer.
23
+ *
24
+ * Collapsing the middle two into "failed" is what would make honest reporting dangerous: a
25
+ * reporter who hit a data-availability gap would be punished the same as one who fabricated.
26
+ */
27
+ export declare const SlashAdjudicationFieldsZod: z.ZodMiniObject<{
28
+ claimant: z.ZodMiniOptional<z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
29
+ readonly __hex: true;
30
+ } & {
31
+ readonly __address: true;
32
+ }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>>;
33
+ claimantCommit: z.ZodMiniOptional<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
34
+ from: z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
35
+ readonly __hex: true;
36
+ } & {
37
+ readonly __address: true;
38
+ }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>;
39
+ outcome: z.ZodMiniLiteral<"confirmed" | "refuted" | "indeterminate" | "invalid">;
40
+ reason: z.ZodMiniOptional<z.ZodMiniString<string>>;
41
+ request: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>;
42
+ }, z.core.$strip>;
43
+ /** Fields represented by the slash adjudication contract. */
44
+ export type SlashAdjudicationFields = z.infer<typeof SlashAdjudicationFieldsZod>;
45
+ /** A slash adjudication payload — the on-chain record closing a report. */
46
+ export type SlashAdjudication = Payload<SlashAdjudicationFields, SlashAdjudicationSchema>;
47
+ /** Type guard that checks if a value is a valid SlashAdjudication. */
48
+ export declare const isSlashAdjudication: (x?: unknown) => x is SlashAdjudication;
49
+ /** Casts a value to SlashAdjudication or returns undefined if invalid. */
50
+ export declare const asSlashAdjudication: import("@ariestools/sdk").AsTypeFunction<SlashAdjudication>;
51
+ //# sourceMappingURL=SlashAdjudicationPayload.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"SlashAdjudicationPayload.d.ts","sourceRoot":"","sources":["../../../../../../src/modules/protocol-model/payload/slash/SlashAdjudicationPayload.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAI/C,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAE5B,yDAAyD;AACzD,eAAO,MAAM,aAAa,+DAAgE,CAAA;AAE1F,mDAAmD;AACnD,MAAM,MAAM,YAAY,GAAG,OAAO,aAAa,CAAC,MAAM,CAAC,CAAA;AAEvD,sCAAsC;AACtC,eAAO,MAAM,eAAe,yEAA2B,CAAA;AAEvD,yDAAyD;AACzD,eAAO,MAAM,uBAAuB;;CAAyD,CAAA;AAC7F,mDAAmD;AACnD,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAA;AAEpE;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;iBAarC,CAAA;AAEF,6DAA6D;AAC7D,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAEhF,2EAA2E;AAC3E,MAAM,MAAM,iBAAiB,GAAG,OAAO,CAAC,uBAAuB,EAAE,uBAAuB,CAAC,CAAA;AAEzF,sEAAsE;AACtE,eAAO,MAAM,mBAAmB,yCAG/B,CAAA;AAED,0EAA0E;AAC1E,eAAO,MAAM,mBAAmB,6DAA8C,CAAA"}
@@ -0,0 +1,33 @@
1
+ import type { Payload } from '@xyo-network/sdk';
2
+ import { z } from 'zod/mini';
3
+ /** Schema identifier for slash challenge payloads. */
4
+ export declare const SlashChallengeSchema: "network.xyo.chain.slash.challenge" & {
5
+ readonly __schema: true;
6
+ };
7
+ /** Schema type for slash challenge payloads. */
8
+ export type SlashChallengeSchema = typeof SlashChallengeSchema;
9
+ /**
10
+ * Fields for a challenge to a slash request.
11
+ *
12
+ * Anyone may challenge and no bond is required, because a challenge can only exculpate. A
13
+ * frivolous one fails to change the verdict and costs its filer the fee; there is no version of
14
+ * it that harms the accused, so there is nothing to deter.
15
+ */
16
+ export declare const SlashChallengeFieldsZod: z.ZodMiniObject<{
17
+ evidence: z.ZodMiniArray<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
18
+ from: z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
19
+ readonly __hex: true;
20
+ } & {
21
+ readonly __address: true;
22
+ }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>;
23
+ request: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>;
24
+ }, z.core.$strip>;
25
+ /** Fields represented by the slash challenge contract. */
26
+ export type SlashChallengeFields = z.infer<typeof SlashChallengeFieldsZod>;
27
+ /** A slash challenge payload — counter-evidence against a pending report. */
28
+ export type SlashChallenge = Payload<SlashChallengeFields, SlashChallengeSchema>;
29
+ /** Type guard that checks if a value is a valid SlashChallenge. */
30
+ export declare const isSlashChallenge: (x?: unknown) => x is SlashChallenge;
31
+ /** Casts a value to SlashChallenge or returns undefined if invalid. */
32
+ export declare const asSlashChallenge: import("@ariestools/sdk").AsTypeFunction<SlashChallenge>;
33
+ //# sourceMappingURL=SlashChallengePayload.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"SlashChallengePayload.d.ts","sourceRoot":"","sources":["../../../../../../src/modules/protocol-model/payload/slash/SlashChallengePayload.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAI/C,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAE5B,sDAAsD;AACtD,eAAO,MAAM,oBAAoB;;CAAsD,CAAA;AACvF,gDAAgD;AAChD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAA;AAE9D;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;iBAOlC,CAAA;AAEF,0DAA0D;AAC1D,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE1E,6EAA6E;AAC7E,MAAM,MAAM,cAAc,GAAG,OAAO,CAAC,oBAAoB,EAAE,oBAAoB,CAAC,CAAA;AAEhF,mEAAmE;AACnE,eAAO,MAAM,gBAAgB,sCAAoF,CAAA;AAEjH,uEAAuE;AACvE,eAAO,MAAM,gBAAgB,0DAA2C,CAAA"}
@@ -0,0 +1,35 @@
1
+ import type { Payload } from '@xyo-network/sdk';
2
+ import { z } from 'zod/mini';
3
+ /** Schema identifier for slash commit payloads. */
4
+ export declare const SlashCommitSchema: "network.xyo.chain.slash.commit" & {
5
+ readonly __schema: true;
6
+ };
7
+ /** Schema type for slash commit payloads. */
8
+ export type SlashCommitSchema = typeof SlashCommitSchema;
9
+ /**
10
+ * Fields for a slash commitment.
11
+ *
12
+ * A report's evidence becomes public the moment it is recorded, and whoever orders the next block
13
+ * decides which copy of it lands first. Committing to the report before revealing it is what
14
+ * stops a reporter's work from being lifted and re-filed under someone else's name.
15
+ *
16
+ * The commitment is the hash of the whole report, so it binds the reporter, the accused, the
17
+ * offense, and the evidence together — none of them can be swapped after the fact.
18
+ */
19
+ export declare const SlashCommitFieldsZod: z.ZodMiniObject<{
20
+ commitment: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>;
21
+ from: z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
22
+ readonly __hex: true;
23
+ } & {
24
+ readonly __address: true;
25
+ }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>;
26
+ }, z.core.$strip>;
27
+ /** Fields represented by the slash commit contract. */
28
+ export type SlashCommitFields = z.infer<typeof SlashCommitFieldsZod>;
29
+ /** A slash commit payload — reserves a report before its evidence is public. */
30
+ export type SlashCommit = Payload<SlashCommitFields, SlashCommitSchema>;
31
+ /** Type guard that checks if a value is a valid SlashCommit. */
32
+ export declare const isSlashCommit: (x?: unknown) => x is SlashCommit;
33
+ /** Casts a value to SlashCommit or returns undefined if invalid. */
34
+ export declare const asSlashCommit: import("@ariestools/sdk").AsTypeFunction<SlashCommit>;
35
+ //# sourceMappingURL=SlashCommitPayload.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"SlashCommitPayload.d.ts","sourceRoot":"","sources":["../../../../../../src/modules/protocol-model/payload/slash/SlashCommitPayload.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAI/C,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAE5B,mDAAmD;AACnD,eAAO,MAAM,iBAAiB;;CAAmD,CAAA;AACjF,6CAA6C;AAC7C,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAA;AAExD;;;;;;;;;GASG;AACH,eAAO,MAAM,oBAAoB;;;;;;;iBAK/B,CAAA;AAEF,uDAAuD;AACvD,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEpE,gFAAgF;AAChF,MAAM,MAAM,WAAW,GAAG,OAAO,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAA;AAEvE,gEAAgE;AAChE,eAAO,MAAM,aAAa,mCAA2E,CAAA;AAErG,oEAAoE;AACpE,eAAO,MAAM,aAAa,uDAAwC,CAAA"}
@@ -0,0 +1,33 @@
1
+ import type { Payload } from '@xyo-network/sdk';
2
+ import { z } from 'zod/mini';
3
+ /** Schema identifier for slash evidence payloads. */
4
+ export declare const SlashEvidenceSchema: "network.xyo.chain.slash.evidence" & {
5
+ readonly __schema: true;
6
+ };
7
+ /** Schema type for slash evidence payloads. */
8
+ export type SlashEvidenceSchema = typeof SlashEvidenceSchema;
9
+ /**
10
+ * Fields for a slash evidence container.
11
+ *
12
+ * Evidence is signed bound witnesses — blocks, transactions, attestations. Those cannot ride
13
+ * on-chain as bare payloads, because a bound witness in a block's payload set would be read as
14
+ * one of that block's transactions. Carrying them inside an opaque container keeps them verbatim,
15
+ * which matters: the whole point of the evidence is that its signatures still verify.
16
+ */
17
+ export declare const SlashEvidenceFieldsZod: z.ZodMiniObject<{
18
+ artifacts: z.ZodMiniArray<z.ZodMiniRecord<z.ZodMiniString<string>, z.ZodMiniUnknown>>;
19
+ from: z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
20
+ readonly __hex: true;
21
+ } & {
22
+ readonly __address: true;
23
+ }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>;
24
+ }, z.core.$strip>;
25
+ /** Fields represented by the slash evidence contract. */
26
+ export type SlashEvidenceFields = z.infer<typeof SlashEvidenceFieldsZod>;
27
+ /** A slash evidence payload — signed artifacts carried on-chain without being interpreted. */
28
+ export type SlashEvidence = Payload<SlashEvidenceFields, SlashEvidenceSchema>;
29
+ /** Type guard that checks if a value is a valid SlashEvidence. */
30
+ export declare const isSlashEvidence: (x?: unknown) => x is SlashEvidence;
31
+ /** Casts a value to SlashEvidence or returns undefined if invalid. */
32
+ export declare const asSlashEvidence: import("@ariestools/sdk").AsTypeFunction<SlashEvidence>;
33
+ //# sourceMappingURL=SlashEvidencePayload.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"SlashEvidencePayload.d.ts","sourceRoot":"","sources":["../../../../../../src/modules/protocol-model/payload/slash/SlashEvidencePayload.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAI/C,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAE5B,qDAAqD;AACrD,eAAO,MAAM,mBAAmB;;CAAqD,CAAA;AACrF,+CAA+C;AAC/C,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAA;AAE5D;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB;;;;;;;iBAKjC,CAAA;AAEF,yDAAyD;AACzD,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAExE,8FAA8F;AAC9F,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAA;AAE7E,kEAAkE;AAClE,eAAO,MAAM,eAAe,qCAAiF,CAAA;AAE7G,sEAAsE;AACtE,eAAO,MAAM,eAAe,yDAA0C,CAAA"}
@@ -0,0 +1,46 @@
1
+ import type { Payload } from '@xyo-network/sdk';
2
+ import { z } from 'zod/mini';
3
+ /** Schema identifier for slash request payloads. */
4
+ export declare const SlashRequestSchema: "network.xyo.chain.slash.request" & {
5
+ readonly __schema: true;
6
+ };
7
+ /** Schema type for slash request payloads. */
8
+ export type SlashRequestSchema = typeof SlashRequestSchema;
9
+ /**
10
+ * Fields for a slash request — an accusation that a specific address committed a specific offense.
11
+ *
12
+ * A request carries no argument, only artifacts and a catalog entry. If an offense cannot be
13
+ * expressed that way it is not reportable, which is what keeps accusation mechanical: the same
14
+ * request produces the same verdict for anyone who checks it, and there is nothing to be
15
+ * persuaded by.
16
+ *
17
+ * Every offense locates at exactly one height, so there is no range to disagree about when
18
+ * deciding whether two reports are the same accusation.
19
+ */
20
+ export declare const SlashRequestFieldsZod: z.ZodMiniObject<{
21
+ accused: z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
22
+ readonly __hex: true;
23
+ } & {
24
+ readonly __address: true;
25
+ }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>;
26
+ block: import("zod").ZodPipe<import("zod").ZodInt, import("zod").ZodTransform<import('../../BlockNumber/xl1BlockNumber.js').XL1BlockNumber, number>>;
27
+ catalog: z.ZodMiniNumber<number>;
28
+ chain: z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHex, string>>;
29
+ evidence: z.ZodMiniArray<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
30
+ evm: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
31
+ from: z.ZodMiniUnion<readonly [z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<Lowercase<string> & {
32
+ readonly __hex: true;
33
+ } & {
34
+ readonly __address: true;
35
+ }, string>>, z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@xyo-network/sdk").XyoQuantAddress, string>>]>;
36
+ offense: z.ZodMiniLiteral<"equivocation" | "invalid-block" | "reward-overmint" | "false-anchor" | "ineligible-production" | "invalid-slash-request" | "false-attestation">;
37
+ }, z.core.$strip>;
38
+ /** Fields represented by the slash request contract. */
39
+ export type SlashRequestFields = z.infer<typeof SlashRequestFieldsZod>;
40
+ /** A slash request payload — an evidence-bearing accusation. */
41
+ export type SlashRequest = Payload<SlashRequestFields, SlashRequestSchema>;
42
+ /** Type guard that checks if a value is a valid SlashRequest. */
43
+ export declare const isSlashRequest: (x?: unknown) => x is SlashRequest;
44
+ /** Casts a value to SlashRequest or returns undefined if invalid. */
45
+ export declare const asSlashRequest: import("@ariestools/sdk").AsTypeFunction<SlashRequest>;
46
+ //# sourceMappingURL=SlashRequestPayload.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"SlashRequestPayload.d.ts","sourceRoot":"","sources":["../../../../../../src/modules/protocol-model/payload/slash/SlashRequestPayload.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAI/C,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAM5B,oDAAoD;AACpD,eAAO,MAAM,kBAAkB;;CAAoD,CAAA;AACnF,8CAA8C;AAC9C,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAA;AAE1D;;;;;;;;;;GAUG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;iBAiBhC,CAAA;AAEF,wDAAwD;AACxD,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEtE,gEAAgE;AAChE,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAA;AAE1E,iEAAiE;AACjE,eAAO,MAAM,cAAc,oCAA8E,CAAA;AAEzG,qEAAqE;AACrE,eAAO,MAAM,cAAc,wDAAyC,CAAA"}
@@ -0,0 +1,6 @@
1
+ export * from './SlashAdjudicationPayload.js';
2
+ export * from './SlashChallengePayload.js';
3
+ export * from './SlashCommitPayload.js';
4
+ export * from './SlashEvidencePayload.js';
5
+ export * from './SlashRequestPayload.js';
6
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/modules/protocol-model/payload/slash/index.ts"],"names":[],"mappings":"AAAA,cAAc,+BAA+B,CAAA;AAC7C,cAAc,4BAA4B,CAAA;AAC1C,cAAc,yBAAyB,CAAA;AACvC,cAAc,2BAA2B,CAAA;AACzC,cAAc,0BAA0B,CAAA"}
@@ -14,6 +14,7 @@ export declare const BlockRejectionFieldsZod: z.ZodMiniObject<{
14
14
  previous: z.ZodMiniNullable<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
15
15
  protocol: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
16
16
  step_hashes: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>>;
17
+ supersedes: z.ZodMiniOptional<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
17
18
  schema: z.ZodMiniLiteral<"network.xyo.boundwitness" & {
18
19
  readonly __schema: true;
19
20
  }>;
@@ -54,6 +55,7 @@ export declare const BlockRejectionZod: z.ZodMiniObject<{
54
55
  previous: z.ZodMiniNullable<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
55
56
  protocol: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
56
57
  step_hashes: z.ZodMiniOptional<z.ZodMiniArray<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>>;
58
+ supersedes: z.ZodMiniOptional<z.ZodMiniPipe<z.ZodMiniString<string>, z.ZodMiniTransform<import("@ariestools/sdk").BrandedHash, string>>>;
57
59
  schema: z.ZodMiniLiteral<"network.xyo.boundwitness" & {
58
60
  readonly __schema: true;
59
61
  }>;
@@ -108,6 +110,7 @@ export declare const isBlockRejection: (x?: unknown) => x is {
108
110
  $signatures: (import("@ariestools/sdk").BrandedHex | null)[];
109
111
  protocol?: number | undefined;
110
112
  step_hashes?: import("@ariestools/sdk").BrandedHash[] | undefined;
113
+ supersedes?: import("@ariestools/sdk").BrandedHash | undefined;
111
114
  $destination?: import("@xyo-network/sdk").XyoQuantAddress | (Lowercase<string> & {
112
115
  readonly __hex: true;
113
116
  } & {
@@ -149,6 +152,7 @@ export declare const asBlockRejection: import("@ariestools/sdk").AsTypeFunction<
149
152
  $signatures: (import("@ariestools/sdk").BrandedHex | null)[];
150
153
  protocol?: number | undefined;
151
154
  step_hashes?: import("@ariestools/sdk").BrandedHash[] | undefined;
155
+ supersedes?: import("@ariestools/sdk").BrandedHash | undefined;
152
156
  $destination?: import("@xyo-network/sdk").XyoQuantAddress | (Lowercase<string> & {
153
157
  readonly __hex: true;
154
158
  } & {
@@ -1 +1 @@
1
- {"version":3,"file":"BlockRejectionPayload.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-model/rejection/BlockRejectionPayload.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAK5B,sDAAsD;AACtD,eAAO,MAAM,oBAAoB;;CAAgD,CAAA;AACjF,6DAA6D;AAC7D,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAA;AAE9D,uEAAuE;AACvE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAIlC,CAAA;AAEF,yDAAyD;AACzD,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAG7B,CAAA;AAED,4EAA4E;AAC5E,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE9D,qEAAqE;AACrE,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAA8D,CAAA;AAE3F,uEAAuE;AACvE,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAA2C,CAAA"}
1
+ {"version":3,"file":"BlockRejectionPayload.d.ts","sourceRoot":"","sources":["../../../../../src/modules/protocol-model/rejection/BlockRejectionPayload.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,CAAC,EAAE,MAAM,UAAU,CAAA;AAK5B,sDAAsD;AACtD,eAAO,MAAM,oBAAoB;;CAAgD,CAAA;AACjF,6DAA6D;AAC7D,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAA;AAE9D,uEAAuE;AACvE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAIlC,CAAA;AAEF,yDAAyD;AACzD,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAG7B,CAAA;AAED,4EAA4E;AAC5E,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE9D,qEAAqE;AACrE,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAA8D,CAAA;AAE3F,uEAAuE;AACvE,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAA2C,CAAA"}