@ottochain/sdk 2.4.0 → 2.6.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.
- package/dist/cjs/apps/compute/index.js +33 -0
- package/dist/cjs/apps/compute/state-machines/compute-rule110.js +164 -0
- package/dist/cjs/apps/compute/state-machines/index.js +9 -0
- package/dist/cjs/apps/contracts/index.js +1 -1
- package/dist/cjs/apps/contracts/state-machines/contract-agreement.js +126 -148
- package/dist/cjs/apps/contracts/state-machines/contract-escrow.js +153 -174
- package/dist/cjs/apps/contracts/state-machines/contract-universal.js +46 -58
- package/dist/cjs/apps/corporate/state-machines/corp-board.js +415 -481
- package/dist/cjs/apps/corporate/state-machines/corp-entity.js +368 -440
- package/dist/cjs/apps/corporate/state-machines/corp-securities.js +532 -647
- package/dist/cjs/apps/corporate/state-machines/corp-shareholders.js +499 -603
- package/dist/cjs/apps/governance/index.js +7 -7
- package/dist/cjs/apps/governance/state-machines/dao-multisig.js +170 -209
- package/dist/cjs/apps/governance/state-machines/dao-reputation.js +161 -214
- package/dist/cjs/apps/governance/state-machines/dao-single.js +92 -92
- package/dist/cjs/apps/governance/state-machines/dao-token.js +169 -223
- package/dist/cjs/apps/governance/state-machines/governance-simple.js +185 -217
- package/dist/cjs/apps/governance/state-machines/governance-universal.js +64 -64
- package/dist/cjs/apps/identity/constants.js +16 -24
- package/dist/cjs/apps/identity/index.js +1 -1
- package/dist/cjs/apps/identity/state-machines/identity-agent.js +124 -158
- package/dist/cjs/apps/identity/state-machines/identity-oracle.js +151 -169
- package/dist/cjs/apps/identity/state-machines/identity-registry.js +89 -115
- package/dist/cjs/apps/identity/state-machines/identity-universal.js +51 -57
- package/dist/cjs/apps/index.js +4 -1
- package/dist/cjs/apps/lending/assets.js +41 -17
- package/dist/cjs/apps/lending/credit-scoring.js +4 -4
- package/dist/cjs/apps/lending/eligibility.js +9 -25
- package/dist/cjs/apps/lending/index.js +1 -1
- package/dist/cjs/apps/lending/state-machines/lending-zk-loan.js +177 -156
- package/dist/cjs/apps/markets/index.js +1 -1
- package/dist/cjs/apps/markets/state-machines/market-auction.js +115 -134
- package/dist/cjs/apps/markets/state-machines/market-crowdfund.js +122 -137
- package/dist/cjs/apps/markets/state-machines/market-group-buy.js +158 -177
- package/dist/cjs/apps/markets/state-machines/market-prediction.js +193 -227
- package/dist/cjs/apps/markets/state-machines/market-universal.js +65 -80
- package/dist/cjs/apps/oracles/index.js +1 -1
- package/dist/cjs/apps/privacy/index.js +67 -0
- package/dist/cjs/apps/privacy/state-machines/index.js +17 -0
- package/dist/cjs/apps/privacy/state-machines/mixer-ddhRing.js +286 -0
- package/dist/cjs/apps/privacy/state-machines/note-pool.js +476 -0
- package/dist/cjs/apps/staked-pool/assets.js +103 -0
- package/dist/cjs/apps/staked-pool/base.js +498 -0
- package/dist/cjs/apps/staked-pool/consumer.js +55 -0
- package/dist/cjs/apps/staked-pool/index.js +83 -0
- package/dist/cjs/apps/staked-pool/state-machines/index.js +12 -0
- package/dist/cjs/apps/staked-pool/state-machines/staked-pool-base.js +49 -0
- package/dist/cjs/apps/staked-pool/state-machines/staked-pool-oracle.js +131 -0
- package/dist/cjs/generated/google/protobuf/struct.js +1 -1
- package/dist/cjs/generated/google/protobuf/timestamp.js +1 -1
- package/dist/cjs/generated/ottochain/apps/contracts/v1/contract.js +1 -1
- package/dist/cjs/generated/ottochain/apps/corporate/v1/corporate.js +1 -1
- package/dist/cjs/generated/ottochain/apps/governance/v1/governance.js +1 -1
- package/dist/cjs/generated/ottochain/apps/identity/v1/attestation.js +1 -1
- package/dist/cjs/generated/ottochain/apps/identity/v1/identity.js +1 -1
- package/dist/cjs/generated/ottochain/apps/markets/v1/market.js +1 -1
- package/dist/cjs/generated/ottochain/v1/common.js +1 -1
- package/dist/cjs/generated/ottochain/v1/fiber.js +40 -2
- package/dist/cjs/generated/ottochain/v1/messages.js +1 -1
- package/dist/cjs/generated/ottochain/v1/records.js +1 -1
- package/dist/cjs/index.js +21 -3
- package/dist/cjs/ottochain/genesis-manifest.js +6 -0
- package/dist/cjs/ottochain/metagraph-client.js +63 -11
- package/dist/cjs/ottochain/snapshot.js +2 -4
- package/dist/cjs/ottochain/transaction.js +10 -0
- package/dist/cjs/privacy/sealed-bid.js +85 -82
- package/dist/cjs/privacy/shield-app.js +32 -32
- package/dist/cjs/schema/effects.js +145 -1
- package/dist/cjs/schema/fiber-app.js +139 -5
- package/dist/cjs/schema/guard-lint.js +3 -12
- package/dist/cjs/schema/guards.js +38 -38
- package/dist/cjs/templates/asset-policy.js +190 -0
- package/dist/cjs/templates/index.js +86 -0
- package/dist/cjs/templates/machine.js +130 -0
- package/dist/cjs/templates/migration.js +39 -0
- package/dist/cjs/templates/state-shape.js +38 -0
- package/dist/cjs/validation.js +1 -3
- package/dist/esm/apps/compute/index.js +29 -0
- package/dist/esm/apps/compute/state-machines/compute-rule110.js +161 -0
- package/dist/esm/apps/compute/state-machines/index.js +5 -0
- package/dist/esm/apps/contracts/index.js +4 -4
- package/dist/esm/apps/contracts/state-machines/contract-agreement.js +128 -150
- package/dist/esm/apps/contracts/state-machines/contract-escrow.js +155 -176
- package/dist/esm/apps/contracts/state-machines/contract-universal.js +47 -59
- package/dist/esm/apps/corporate/index.js +2 -2
- package/dist/esm/apps/corporate/state-machines/corp-board.js +418 -484
- package/dist/esm/apps/corporate/state-machines/corp-entity.js +371 -443
- package/dist/esm/apps/corporate/state-machines/corp-securities.js +535 -650
- package/dist/esm/apps/corporate/state-machines/corp-shareholders.js +502 -606
- package/dist/esm/apps/governance/index.js +10 -10
- package/dist/esm/apps/governance/state-machines/dao-multisig.js +172 -211
- package/dist/esm/apps/governance/state-machines/dao-reputation.js +163 -216
- package/dist/esm/apps/governance/state-machines/dao-single.js +94 -94
- package/dist/esm/apps/governance/state-machines/dao-token.js +171 -225
- package/dist/esm/apps/governance/state-machines/governance-simple.js +187 -219
- package/dist/esm/apps/governance/state-machines/governance-universal.js +65 -65
- package/dist/esm/apps/identity/constants.js +18 -26
- package/dist/esm/apps/identity/index.js +8 -8
- package/dist/esm/apps/identity/state-machines/identity-agent.js +125 -159
- package/dist/esm/apps/identity/state-machines/identity-oracle.js +153 -171
- package/dist/esm/apps/identity/state-machines/identity-registry.js +91 -117
- package/dist/esm/apps/identity/state-machines/identity-universal.js +52 -58
- package/dist/esm/apps/index.js +9 -6
- package/dist/esm/apps/lending/assets.js +41 -17
- package/dist/esm/apps/lending/credit-scoring.js +6 -6
- package/dist/esm/apps/lending/eligibility.js +10 -26
- package/dist/esm/apps/lending/index.js +5 -5
- package/dist/esm/apps/lending/state-machines/lending-zk-loan.js +178 -157
- package/dist/esm/apps/markets/index.js +5 -5
- package/dist/esm/apps/markets/state-machines/market-auction.js +117 -136
- package/dist/esm/apps/markets/state-machines/market-crowdfund.js +124 -139
- package/dist/esm/apps/markets/state-machines/market-group-buy.js +160 -179
- package/dist/esm/apps/markets/state-machines/market-prediction.js +195 -229
- package/dist/esm/apps/markets/state-machines/market-universal.js +66 -81
- package/dist/esm/apps/oracles/index.js +3 -3
- package/dist/esm/apps/privacy/index.js +56 -0
- package/dist/esm/apps/privacy/state-machines/index.js +6 -0
- package/dist/esm/apps/privacy/state-machines/mixer-ddhRing.js +282 -0
- package/dist/esm/apps/privacy/state-machines/note-pool.js +470 -0
- package/dist/esm/apps/staked-pool/assets.js +91 -0
- package/dist/esm/apps/staked-pool/base.js +493 -0
- package/dist/esm/apps/staked-pool/consumer.js +49 -0
- package/dist/esm/apps/staked-pool/index.js +60 -0
- package/dist/esm/apps/staked-pool/state-machines/index.js +6 -0
- package/dist/esm/apps/staked-pool/state-machines/staked-pool-base.js +46 -0
- package/dist/esm/apps/staked-pool/state-machines/staked-pool-oracle.js +127 -0
- package/dist/esm/generated/google/protobuf/struct.js +1 -1
- package/dist/esm/generated/google/protobuf/timestamp.js +1 -1
- package/dist/esm/generated/ottochain/apps/contracts/v1/contract.js +1 -1
- package/dist/esm/generated/ottochain/apps/corporate/v1/corporate.js +1 -1
- package/dist/esm/generated/ottochain/apps/governance/v1/governance.js +1 -1
- package/dist/esm/generated/ottochain/apps/identity/v1/attestation.js +1 -1
- package/dist/esm/generated/ottochain/apps/identity/v1/identity.js +1 -1
- package/dist/esm/generated/ottochain/apps/markets/v1/market.js +1 -1
- package/dist/esm/generated/ottochain/v1/common.js +1 -1
- package/dist/esm/generated/ottochain/v1/fiber.js +40 -2
- package/dist/esm/generated/ottochain/v1/messages.js +1 -1
- package/dist/esm/generated/ottochain/v1/records.js +1 -1
- package/dist/esm/index.js +10 -4
- package/dist/esm/ottochain/genesis-manifest.js +6 -0
- package/dist/esm/ottochain/metagraph-client.js +63 -11
- package/dist/esm/ottochain/snapshot.js +2 -4
- package/dist/esm/ottochain/transaction.js +8 -0
- package/dist/esm/privacy/index.js +2 -2
- package/dist/esm/privacy/sealed-bid.js +87 -84
- package/dist/esm/privacy/shield-app.js +33 -33
- package/dist/esm/schema/effects.js +137 -0
- package/dist/esm/schema/fiber-app.js +134 -5
- package/dist/esm/schema/guard-lint.js +3 -12
- package/dist/esm/schema/guards.js +36 -37
- package/dist/esm/templates/asset-policy.js +182 -0
- package/dist/esm/templates/index.js +41 -0
- package/dist/esm/templates/machine.js +125 -0
- package/dist/esm/templates/migration.js +34 -0
- package/dist/esm/templates/state-shape.js +34 -0
- package/dist/esm/validation.js +1 -3
- package/dist/esm/zk/index.js +4 -4
- package/dist/types/apps/compute/index.d.ts +176 -0
- package/dist/types/apps/compute/state-machines/compute-rule110.d.ts +157 -0
- package/dist/types/apps/compute/state-machines/index.d.ts +5 -0
- package/dist/types/apps/contracts/index.d.ts +14 -14
- package/dist/types/apps/contracts/state-machines/contract-agreement.d.ts +3 -3
- package/dist/types/apps/contracts/state-machines/contract-escrow.d.ts +3 -3
- package/dist/types/apps/contracts/state-machines/contract-universal.d.ts +4 -4
- package/dist/types/apps/corporate/index.d.ts +162 -162
- package/dist/types/apps/corporate/state-machines/corp-board.d.ts +88 -88
- package/dist/types/apps/corporate/state-machines/corp-entity.d.ts +14 -14
- package/dist/types/apps/corporate/state-machines/corp-securities.d.ts +18 -18
- package/dist/types/apps/corporate/state-machines/corp-shareholders.d.ts +43 -43
- package/dist/types/apps/governance/index.d.ts +81 -81
- package/dist/types/apps/governance/state-machines/dao-multisig.d.ts +16 -16
- package/dist/types/apps/governance/state-machines/dao-reputation.d.ts +22 -22
- package/dist/types/apps/governance/state-machines/dao-token.d.ts +21 -21
- package/dist/types/apps/governance/state-machines/governance-simple.d.ts +11 -11
- package/dist/types/apps/governance/state-machines/governance-universal.d.ts +4 -4
- package/dist/types/apps/identity/constants.d.ts +2 -2
- package/dist/types/apps/identity/index.d.ts +70 -70
- package/dist/types/apps/identity/state-machines/identity-agent.d.ts +23 -23
- package/dist/types/apps/identity/state-machines/identity-oracle.d.ts +11 -11
- package/dist/types/apps/identity/state-machines/identity-registry.d.ts +27 -27
- package/dist/types/apps/identity/state-machines/identity-universal.d.ts +4 -4
- package/dist/types/apps/index.d.ts +9 -6
- package/dist/types/apps/lending/assets.d.ts +2 -2
- package/dist/types/apps/lending/credit-scoring.d.ts +5 -5
- package/dist/types/apps/lending/eligibility.d.ts +2 -2
- package/dist/types/apps/lending/index.d.ts +20 -12
- package/dist/types/apps/lending/state-machines/lending-zk-loan.d.ts +15 -7
- package/dist/types/apps/markets/index.d.ts +76 -76
- package/dist/types/apps/markets/state-machines/market-auction.d.ts +12 -12
- package/dist/types/apps/markets/state-machines/market-crowdfund.d.ts +19 -19
- package/dist/types/apps/markets/state-machines/market-group-buy.d.ts +18 -18
- package/dist/types/apps/markets/state-machines/market-prediction.d.ts +15 -15
- package/dist/types/apps/markets/state-machines/market-universal.d.ts +7 -7
- package/dist/types/apps/oracles/index.d.ts +1 -1
- package/dist/types/apps/privacy/index.d.ts +328 -0
- package/dist/types/apps/privacy/state-machines/index.d.ts +6 -0
- package/dist/types/apps/privacy/state-machines/mixer-ddhRing.d.ts +337 -0
- package/dist/types/apps/privacy/state-machines/note-pool.d.ts +196 -0
- package/dist/types/apps/staked-pool/assets.d.ts +53 -0
- package/dist/types/apps/staked-pool/base.d.ts +80 -0
- package/dist/types/apps/staked-pool/consumer.d.ts +29 -0
- package/dist/types/apps/staked-pool/index.d.ts +51 -0
- package/dist/types/apps/staked-pool/state-machines/index.d.ts +6 -0
- package/dist/types/apps/staked-pool/state-machines/staked-pool-base.d.ts +8 -0
- package/dist/types/apps/staked-pool/state-machines/staked-pool-oracle.d.ts +34 -0
- package/dist/types/generated/openapi.d.ts +13 -0
- package/dist/types/generated/ottochain/v1/fiber.d.ts +7 -0
- package/dist/types/index.d.ts +3 -3
- package/dist/types/openapi.d.ts +4 -2
- package/dist/types/ottochain/genesis-manifest.d.ts +6 -0
- package/dist/types/ottochain/index.d.ts +1 -1
- package/dist/types/ottochain/metagraph-client.d.ts +69 -15
- package/dist/types/ottochain/transaction.d.ts +9 -1
- package/dist/types/ottochain/types.d.ts +1 -1
- package/dist/types/privacy/index.d.ts +2 -2
- package/dist/types/privacy/sealed-bid.d.ts +9 -9
- package/dist/types/privacy/shield-app.d.ts +1 -1
- package/dist/types/schema/effects.d.ts +132 -0
- package/dist/types/schema/fiber-app.d.ts +281 -0
- package/dist/types/schema/guards.d.ts +12 -0
- package/dist/types/templates/asset-policy.d.ts +119 -0
- package/dist/types/templates/index.d.ts +26 -0
- package/dist/types/templates/machine.d.ts +139 -0
- package/dist/types/templates/migration.d.ts +34 -0
- package/dist/types/templates/state-shape.d.ts +30 -0
- package/dist/types/zk/index.d.ts +4 -4
- package/package.json +31 -13
|
@@ -1,185 +1,169 @@
|
|
|
1
|
-
import { defineFiberApp } from
|
|
2
|
-
import { actorIsSigner, signerInSet } from
|
|
1
|
+
import { defineFiberApp } from '../../../schema/fiber-app.js';
|
|
2
|
+
import { actorIsSigner, signerInSet } from '../../../schema/guards.js';
|
|
3
3
|
/**
|
|
4
4
|
* Reputation-based governance. Minimum reputation required for participation.
|
|
5
5
|
*/
|
|
6
6
|
export const daoReputationDef = defineFiberApp({
|
|
7
7
|
metadata: {
|
|
8
|
-
name:
|
|
9
|
-
app:
|
|
10
|
-
type:
|
|
11
|
-
version:
|
|
12
|
-
description:
|
|
13
|
-
category:
|
|
8
|
+
name: 'DAOReputation',
|
|
9
|
+
app: 'governance',
|
|
10
|
+
type: 'daoReputation',
|
|
11
|
+
version: '1.0.0',
|
|
12
|
+
description: 'Reputation-based governance. Minimum reputation required for participation.',
|
|
13
|
+
category: 'governance/dao',
|
|
14
14
|
crossReferences: {
|
|
15
|
-
Identity:
|
|
16
|
-
Reputation:
|
|
17
|
-
Contract:
|
|
15
|
+
Identity: 'member verification',
|
|
16
|
+
Reputation: 'threshold checks',
|
|
17
|
+
Contract: 'action execution',
|
|
18
18
|
},
|
|
19
19
|
},
|
|
20
20
|
createSchema: {
|
|
21
|
-
required: [
|
|
22
|
-
"memberThreshold",
|
|
23
|
-
"voteThreshold",
|
|
24
|
-
"proposeThreshold",
|
|
25
|
-
"quorum",
|
|
26
|
-
"votingPeriodMs",
|
|
27
|
-
],
|
|
21
|
+
required: ['memberThreshold', 'voteThreshold', 'proposeThreshold', 'quorum', 'votingPeriodMs'],
|
|
28
22
|
properties: {
|
|
29
23
|
memberThreshold: {
|
|
30
|
-
type:
|
|
31
|
-
description:
|
|
24
|
+
type: 'number',
|
|
25
|
+
description: 'Min reputation to join as a member',
|
|
32
26
|
},
|
|
33
|
-
voteThreshold: { type:
|
|
27
|
+
voteThreshold: { type: 'number', description: 'Min reputation to vote' },
|
|
34
28
|
proposeThreshold: {
|
|
35
|
-
type:
|
|
36
|
-
description:
|
|
29
|
+
type: 'number',
|
|
30
|
+
description: 'Min reputation to submit a proposal',
|
|
37
31
|
},
|
|
38
32
|
quorum: {
|
|
39
|
-
type:
|
|
40
|
-
description:
|
|
33
|
+
type: 'number',
|
|
34
|
+
description: 'Min total votes (count) to execute',
|
|
41
35
|
},
|
|
42
36
|
votingPeriodMs: {
|
|
43
|
-
type:
|
|
44
|
-
description:
|
|
37
|
+
type: 'number',
|
|
38
|
+
description: 'Voting window in milliseconds',
|
|
45
39
|
},
|
|
46
40
|
},
|
|
47
41
|
},
|
|
48
42
|
stateSchema: {
|
|
49
43
|
properties: {
|
|
50
|
-
members: { type:
|
|
51
|
-
memberJoinedAt: { type:
|
|
52
|
-
memberThreshold: { type:
|
|
53
|
-
voteThreshold: { type:
|
|
54
|
-
proposeThreshold: { type:
|
|
55
|
-
quorum: { type:
|
|
56
|
-
votingPeriodMs: { type:
|
|
57
|
-
proposal: { type:
|
|
58
|
-
votes: { type:
|
|
59
|
-
history: { type:
|
|
44
|
+
members: { type: 'array', computed: true },
|
|
45
|
+
memberJoinedAt: { type: 'object', computed: true },
|
|
46
|
+
memberThreshold: { type: 'number' },
|
|
47
|
+
voteThreshold: { type: 'number' },
|
|
48
|
+
proposeThreshold: { type: 'number' },
|
|
49
|
+
quorum: { type: 'number' },
|
|
50
|
+
votingPeriodMs: { type: 'number' },
|
|
51
|
+
proposal: { type: 'object' },
|
|
52
|
+
votes: { type: 'object', computed: true },
|
|
53
|
+
history: { type: 'array', computed: true },
|
|
60
54
|
},
|
|
61
55
|
},
|
|
62
56
|
eventSchemas: {
|
|
63
57
|
propose: {
|
|
64
|
-
description:
|
|
65
|
-
required: [
|
|
66
|
-
"proposalId",
|
|
67
|
-
"title",
|
|
68
|
-
"description",
|
|
69
|
-
"actionType",
|
|
70
|
-
"payload",
|
|
71
|
-
"agentReputation",
|
|
72
|
-
],
|
|
58
|
+
description: 'Submit a proposal (requires >= proposeThreshold reputation)',
|
|
59
|
+
required: ['proposalId', 'title', 'description', 'actionType', 'payload', 'agentReputation'],
|
|
73
60
|
properties: {
|
|
74
|
-
agent: { type:
|
|
75
|
-
agentReputation: { type:
|
|
76
|
-
proposalId: { type:
|
|
77
|
-
title: { type:
|
|
78
|
-
description: { type:
|
|
79
|
-
actionType: { type:
|
|
80
|
-
payload: { type:
|
|
61
|
+
agent: { type: 'address' },
|
|
62
|
+
agentReputation: { type: 'number' },
|
|
63
|
+
proposalId: { type: 'string' },
|
|
64
|
+
title: { type: 'string' },
|
|
65
|
+
description: { type: 'string' },
|
|
66
|
+
actionType: { type: 'string' },
|
|
67
|
+
payload: { type: 'object' },
|
|
81
68
|
},
|
|
82
69
|
},
|
|
83
70
|
vote: {
|
|
84
|
-
description:
|
|
85
|
-
required: [
|
|
71
|
+
description: 'Cast a vote (requires >= voteThreshold, no double-vote, within window)',
|
|
72
|
+
required: ['vote', 'agentReputation'],
|
|
86
73
|
properties: {
|
|
87
|
-
agent: { type:
|
|
88
|
-
agentReputation: { type:
|
|
89
|
-
vote: { type:
|
|
74
|
+
agent: { type: 'address' },
|
|
75
|
+
agentReputation: { type: 'number' },
|
|
76
|
+
vote: { type: 'string', description: '"for" | "against" | "abstain"' },
|
|
90
77
|
},
|
|
91
78
|
},
|
|
92
79
|
execute: {
|
|
93
|
-
description:
|
|
80
|
+
description: 'Execute a passing proposal after voting ends',
|
|
94
81
|
properties: {},
|
|
95
82
|
},
|
|
96
83
|
reject: {
|
|
97
|
-
description:
|
|
84
|
+
description: 'Formally reject a failed proposal',
|
|
98
85
|
properties: {},
|
|
99
86
|
},
|
|
100
87
|
join: {
|
|
101
|
-
description:
|
|
102
|
-
required: [
|
|
88
|
+
description: 'Join the DAO (requires >= memberThreshold reputation)',
|
|
89
|
+
required: ['agentReputation'],
|
|
103
90
|
properties: {
|
|
104
|
-
agent: { type:
|
|
105
|
-
agentReputation: { type:
|
|
91
|
+
agent: { type: 'address' },
|
|
92
|
+
agentReputation: { type: 'number' },
|
|
106
93
|
},
|
|
107
94
|
},
|
|
108
95
|
leave: {
|
|
109
|
-
description:
|
|
96
|
+
description: 'Leave the DAO voluntarily',
|
|
110
97
|
properties: {
|
|
111
|
-
agent: { type:
|
|
98
|
+
agent: { type: 'address' },
|
|
112
99
|
},
|
|
113
100
|
},
|
|
114
101
|
propose_threshold_change: {
|
|
115
|
-
description:
|
|
116
|
-
required: [
|
|
102
|
+
description: 'Propose changing reputation thresholds',
|
|
103
|
+
required: ['proposalId', 'agentReputation'],
|
|
117
104
|
properties: {
|
|
118
|
-
agent: { type:
|
|
119
|
-
agentReputation: { type:
|
|
120
|
-
proposalId: { type:
|
|
121
|
-
memberThreshold: { type:
|
|
122
|
-
voteThreshold: { type:
|
|
123
|
-
proposeThreshold: { type:
|
|
105
|
+
agent: { type: 'address' },
|
|
106
|
+
agentReputation: { type: 'number' },
|
|
107
|
+
proposalId: { type: 'string' },
|
|
108
|
+
memberThreshold: { type: 'number' },
|
|
109
|
+
voteThreshold: { type: 'number' },
|
|
110
|
+
proposeThreshold: { type: 'number' },
|
|
124
111
|
},
|
|
125
112
|
},
|
|
126
113
|
},
|
|
127
114
|
states: {
|
|
128
115
|
ACTIVE: {
|
|
129
|
-
id:
|
|
116
|
+
id: 'ACTIVE',
|
|
130
117
|
isFinal: false,
|
|
131
118
|
metadata: {
|
|
132
|
-
label:
|
|
133
|
-
description:
|
|
134
|
-
category:
|
|
119
|
+
label: 'Active',
|
|
120
|
+
description: 'DAO is idle and ready to accept a proposal',
|
|
121
|
+
category: 'initial',
|
|
135
122
|
},
|
|
136
123
|
},
|
|
137
124
|
VOTING: {
|
|
138
|
-
id:
|
|
125
|
+
id: 'VOTING',
|
|
139
126
|
isFinal: false,
|
|
140
127
|
metadata: {
|
|
141
|
-
label:
|
|
142
|
-
description:
|
|
143
|
-
category:
|
|
128
|
+
label: 'Voting',
|
|
129
|
+
description: 'Members vote with reputation-weighted power',
|
|
130
|
+
category: 'pending',
|
|
144
131
|
},
|
|
145
132
|
},
|
|
146
133
|
DISSOLVED: {
|
|
147
|
-
id:
|
|
134
|
+
id: 'DISSOLVED',
|
|
148
135
|
isFinal: true,
|
|
149
136
|
metadata: {
|
|
150
|
-
label:
|
|
151
|
-
description:
|
|
152
|
-
category:
|
|
137
|
+
label: 'Dissolved',
|
|
138
|
+
description: 'Reputation DAO dissolved (terminal)',
|
|
139
|
+
category: 'terminal',
|
|
153
140
|
},
|
|
154
141
|
},
|
|
155
142
|
},
|
|
156
|
-
initialState:
|
|
143
|
+
initialState: 'ACTIVE',
|
|
157
144
|
transitions: [
|
|
158
145
|
// ACTIVE → VOTING: propose (reputation check)
|
|
159
146
|
{
|
|
160
|
-
from:
|
|
161
|
-
to:
|
|
162
|
-
eventName:
|
|
147
|
+
from: 'ACTIVE',
|
|
148
|
+
to: 'VOTING',
|
|
149
|
+
eventName: 'propose',
|
|
163
150
|
guard: {
|
|
164
|
-
|
|
165
|
-
{ var: "event.agentReputation" },
|
|
166
|
-
{ var: "state.proposeThreshold" },
|
|
167
|
-
],
|
|
151
|
+
'>=': [{ var: 'event.agentReputation' }, { var: 'state.proposeThreshold' }],
|
|
168
152
|
},
|
|
169
153
|
effect: {
|
|
170
154
|
merge: [
|
|
171
|
-
{ var:
|
|
155
|
+
{ var: 'state' },
|
|
172
156
|
{
|
|
173
157
|
proposal: {
|
|
174
|
-
id: { var:
|
|
175
|
-
title: { var:
|
|
176
|
-
description: { var:
|
|
177
|
-
actionType: { var:
|
|
178
|
-
payload: { var:
|
|
179
|
-
proposer: { var:
|
|
180
|
-
proposedAt: { var:
|
|
158
|
+
id: { var: 'event.proposalId' },
|
|
159
|
+
title: { var: 'event.title' },
|
|
160
|
+
description: { var: 'event.description' },
|
|
161
|
+
actionType: { var: 'event.actionType' },
|
|
162
|
+
payload: { var: 'event.payload' },
|
|
163
|
+
proposer: { var: 'event.agent' },
|
|
164
|
+
proposedAt: { var: '$ordinal' },
|
|
181
165
|
deadline: {
|
|
182
|
-
|
|
166
|
+
'+': [{ var: '$ordinal' }, { var: 'state.votingPeriodMs' }],
|
|
183
167
|
},
|
|
184
168
|
},
|
|
185
169
|
votes: { for: [], against: [], abstain: [] },
|
|
@@ -190,66 +174,54 @@ export const daoReputationDef = defineFiberApp({
|
|
|
190
174
|
},
|
|
191
175
|
// VOTING → VOTING: vote (reputation check, no double-vote, within window)
|
|
192
176
|
{
|
|
193
|
-
from:
|
|
194
|
-
to:
|
|
195
|
-
eventName:
|
|
177
|
+
from: 'VOTING',
|
|
178
|
+
to: 'VOTING',
|
|
179
|
+
eventName: 'vote',
|
|
196
180
|
guard: {
|
|
197
181
|
and: [
|
|
198
182
|
{
|
|
199
|
-
|
|
200
|
-
{ var: "event.agentReputation" },
|
|
201
|
-
{ var: "state.voteThreshold" },
|
|
202
|
-
],
|
|
183
|
+
'>=': [{ var: 'event.agentReputation' }, { var: 'state.voteThreshold' }],
|
|
203
184
|
},
|
|
204
|
-
{
|
|
205
|
-
{
|
|
206
|
-
{
|
|
207
|
-
{
|
|
185
|
+
{ '!': [signerInSet('state.votes.for')] },
|
|
186
|
+
{ '!': [signerInSet('state.votes.against')] },
|
|
187
|
+
{ '!': [signerInSet('state.votes.abstain')] },
|
|
188
|
+
{ '<=': [{ var: '$ordinal' }, { var: 'state.proposal.deadline' }] },
|
|
208
189
|
],
|
|
209
190
|
},
|
|
210
191
|
effect: {
|
|
211
192
|
merge: [
|
|
212
|
-
{ var:
|
|
193
|
+
{ var: 'state' },
|
|
213
194
|
{
|
|
214
195
|
votes: {
|
|
215
196
|
if: [
|
|
216
|
-
{
|
|
197
|
+
{ '===': [{ var: 'event.vote' }, 'for'] },
|
|
217
198
|
{
|
|
218
199
|
merge: [
|
|
219
|
-
{ var:
|
|
200
|
+
{ var: 'state.votes' },
|
|
220
201
|
{
|
|
221
202
|
for: {
|
|
222
|
-
cat: [
|
|
223
|
-
{ var: "state.votes.for" },
|
|
224
|
-
[{ var: "event.agent" }],
|
|
225
|
-
],
|
|
203
|
+
cat: [{ var: 'state.votes.for' }, [{ var: 'event.agent' }]],
|
|
226
204
|
},
|
|
227
205
|
},
|
|
228
206
|
],
|
|
229
207
|
},
|
|
230
|
-
{
|
|
208
|
+
{ '===': [{ var: 'event.vote' }, 'against'] },
|
|
231
209
|
{
|
|
232
210
|
merge: [
|
|
233
|
-
{ var:
|
|
211
|
+
{ var: 'state.votes' },
|
|
234
212
|
{
|
|
235
213
|
against: {
|
|
236
|
-
cat: [
|
|
237
|
-
{ var: "state.votes.against" },
|
|
238
|
-
[{ var: "event.agent" }],
|
|
239
|
-
],
|
|
214
|
+
cat: [{ var: 'state.votes.against' }, [{ var: 'event.agent' }]],
|
|
240
215
|
},
|
|
241
216
|
},
|
|
242
217
|
],
|
|
243
218
|
},
|
|
244
219
|
{
|
|
245
220
|
merge: [
|
|
246
|
-
{ var:
|
|
221
|
+
{ var: 'state.votes' },
|
|
247
222
|
{
|
|
248
223
|
abstain: {
|
|
249
|
-
cat: [
|
|
250
|
-
{ var: "state.votes.abstain" },
|
|
251
|
-
[{ var: "event.agent" }],
|
|
252
|
-
],
|
|
224
|
+
cat: [{ var: 'state.votes.abstain' }, [{ var: 'event.agent' }]],
|
|
253
225
|
},
|
|
254
226
|
},
|
|
255
227
|
],
|
|
@@ -263,46 +235,40 @@ export const daoReputationDef = defineFiberApp({
|
|
|
263
235
|
},
|
|
264
236
|
// VOTING → ACTIVE: execute (voting ended, for > against, quorum met)
|
|
265
237
|
{
|
|
266
|
-
from:
|
|
267
|
-
to:
|
|
268
|
-
eventName:
|
|
238
|
+
from: 'VOTING',
|
|
239
|
+
to: 'ACTIVE',
|
|
240
|
+
eventName: 'execute',
|
|
269
241
|
// A2 fix: votes.for/against/abstain are arrays of voter addresses; count with
|
|
270
242
|
// `length` (size is not a JLVM opcode).
|
|
271
243
|
guard: {
|
|
272
244
|
and: [
|
|
273
|
-
{
|
|
245
|
+
{ '>': [{ var: '$ordinal' }, { var: 'state.proposal.deadline' }] },
|
|
274
246
|
{
|
|
275
|
-
|
|
276
|
-
{ length: [{ var: "state.votes.for" }] },
|
|
277
|
-
{ length: [{ var: "state.votes.against" }] },
|
|
278
|
-
],
|
|
247
|
+
'>': [{ length: [{ var: 'state.votes.for' }] }, { length: [{ var: 'state.votes.against' }] }],
|
|
279
248
|
},
|
|
280
249
|
{
|
|
281
|
-
|
|
250
|
+
'>=': [
|
|
282
251
|
{
|
|
283
|
-
|
|
284
|
-
{ length: [{ var: "state.votes.for" }] },
|
|
285
|
-
{ length: [{ var: "state.votes.against" }] },
|
|
286
|
-
],
|
|
252
|
+
'+': [{ length: [{ var: 'state.votes.for' }] }, { length: [{ var: 'state.votes.against' }] }],
|
|
287
253
|
},
|
|
288
|
-
{ var:
|
|
254
|
+
{ var: 'state.quorum' },
|
|
289
255
|
],
|
|
290
256
|
},
|
|
291
257
|
],
|
|
292
258
|
},
|
|
293
259
|
effect: {
|
|
294
260
|
merge: [
|
|
295
|
-
{ var:
|
|
261
|
+
{ var: 'state' },
|
|
296
262
|
{
|
|
297
263
|
history: {
|
|
298
264
|
cat: [
|
|
299
|
-
{ var:
|
|
265
|
+
{ var: 'state.history' },
|
|
300
266
|
[
|
|
301
267
|
{
|
|
302
|
-
type:
|
|
303
|
-
proposal: { var:
|
|
304
|
-
votes: { var:
|
|
305
|
-
at: { var:
|
|
268
|
+
type: 'executed',
|
|
269
|
+
proposal: { var: 'state.proposal' },
|
|
270
|
+
votes: { var: 'state.votes' },
|
|
271
|
+
at: { var: '$ordinal' },
|
|
306
272
|
},
|
|
307
273
|
],
|
|
308
274
|
],
|
|
@@ -313,9 +279,9 @@ export const daoReputationDef = defineFiberApp({
|
|
|
313
279
|
// under the reserved `_emit` key (extracted as an EmittedEvent, stripped from state).
|
|
314
280
|
_emit: [
|
|
315
281
|
{
|
|
316
|
-
name:
|
|
317
|
-
data: { action:
|
|
318
|
-
destination:
|
|
282
|
+
name: 'proposal_executed',
|
|
283
|
+
data: { action: 'increase', agents: { var: 'state.votes.for' } },
|
|
284
|
+
destination: 'Reputation',
|
|
319
285
|
},
|
|
320
286
|
],
|
|
321
287
|
},
|
|
@@ -325,31 +291,25 @@ export const daoReputationDef = defineFiberApp({
|
|
|
325
291
|
},
|
|
326
292
|
// VOTING → ACTIVE: reject (voting ended, for <= against or quorum not met)
|
|
327
293
|
{
|
|
328
|
-
from:
|
|
329
|
-
to:
|
|
330
|
-
eventName:
|
|
294
|
+
from: 'VOTING',
|
|
295
|
+
to: 'ACTIVE',
|
|
296
|
+
eventName: 'reject',
|
|
331
297
|
// A2 fix: count the array-shaped vote tallies with `length` (size is not a JLVM
|
|
332
298
|
// opcode).
|
|
333
299
|
guard: {
|
|
334
300
|
and: [
|
|
335
|
-
{
|
|
301
|
+
{ '>': [{ var: '$ordinal' }, { var: 'state.proposal.deadline' }] },
|
|
336
302
|
{
|
|
337
303
|
or: [
|
|
338
304
|
{
|
|
339
|
-
|
|
340
|
-
{ length: [{ var: "state.votes.for" }] },
|
|
341
|
-
{ length: [{ var: "state.votes.against" }] },
|
|
342
|
-
],
|
|
305
|
+
'<=': [{ length: [{ var: 'state.votes.for' }] }, { length: [{ var: 'state.votes.against' }] }],
|
|
343
306
|
},
|
|
344
307
|
{
|
|
345
|
-
|
|
308
|
+
'<': [
|
|
346
309
|
{
|
|
347
|
-
|
|
348
|
-
{ length: [{ var: "state.votes.for" }] },
|
|
349
|
-
{ length: [{ var: "state.votes.against" }] },
|
|
350
|
-
],
|
|
310
|
+
'+': [{ length: [{ var: 'state.votes.for' }] }, { length: [{ var: 'state.votes.against' }] }],
|
|
351
311
|
},
|
|
352
|
-
{ var:
|
|
312
|
+
{ var: 'state.quorum' },
|
|
353
313
|
],
|
|
354
314
|
},
|
|
355
315
|
],
|
|
@@ -358,17 +318,17 @@ export const daoReputationDef = defineFiberApp({
|
|
|
358
318
|
},
|
|
359
319
|
effect: {
|
|
360
320
|
merge: [
|
|
361
|
-
{ var:
|
|
321
|
+
{ var: 'state' },
|
|
362
322
|
{
|
|
363
323
|
history: {
|
|
364
324
|
cat: [
|
|
365
|
-
{ var:
|
|
325
|
+
{ var: 'state.history' },
|
|
366
326
|
[
|
|
367
327
|
{
|
|
368
|
-
type:
|
|
369
|
-
proposal: { var:
|
|
370
|
-
votes: { var:
|
|
371
|
-
at: { var:
|
|
328
|
+
type: 'rejected',
|
|
329
|
+
proposal: { var: 'state.proposal' },
|
|
330
|
+
votes: { var: 'state.votes' },
|
|
331
|
+
at: { var: '$ordinal' },
|
|
372
332
|
},
|
|
373
333
|
],
|
|
374
334
|
],
|
|
@@ -382,9 +342,9 @@ export const daoReputationDef = defineFiberApp({
|
|
|
382
342
|
},
|
|
383
343
|
// ACTIVE → ACTIVE: join (reputation check, not already member)
|
|
384
344
|
{
|
|
385
|
-
from:
|
|
386
|
-
to:
|
|
387
|
-
eventName:
|
|
345
|
+
from: 'ACTIVE',
|
|
346
|
+
to: 'ACTIVE',
|
|
347
|
+
eventName: 'join',
|
|
388
348
|
// S1/A2: bind event.agent to a verified signer (actorIsSigner) so the member is appended to the
|
|
389
349
|
// array and keyed into memberJoinedAt under a CHAIN-VERIFIED address (set is the rc.5 map-write
|
|
390
350
|
// opcode), and dedup on that bound actor.
|
|
@@ -397,27 +357,20 @@ export const daoReputationDef = defineFiberApp({
|
|
|
397
357
|
and: [
|
|
398
358
|
actorIsSigner(),
|
|
399
359
|
{
|
|
400
|
-
|
|
401
|
-
{ var: "event.agentReputation" },
|
|
402
|
-
{ var: "state.memberThreshold" },
|
|
403
|
-
],
|
|
360
|
+
'>=': [{ var: 'event.agentReputation' }, { var: 'state.memberThreshold' }],
|
|
404
361
|
},
|
|
405
|
-
{
|
|
362
|
+
{ '!': [{ in: [{ var: 'event.agent' }, { var: 'state.members' }] }] },
|
|
406
363
|
],
|
|
407
364
|
},
|
|
408
365
|
effect: {
|
|
409
366
|
merge: [
|
|
410
|
-
{ var:
|
|
367
|
+
{ var: 'state' },
|
|
411
368
|
{
|
|
412
369
|
members: {
|
|
413
|
-
cat: [{ var:
|
|
370
|
+
cat: [{ var: 'state.members' }, [{ var: 'event.agent' }]],
|
|
414
371
|
},
|
|
415
372
|
memberJoinedAt: {
|
|
416
|
-
set: [
|
|
417
|
-
{ var: "state.memberJoinedAt" },
|
|
418
|
-
{ var: "event.agent" },
|
|
419
|
-
{ var: "$ordinal" },
|
|
420
|
-
],
|
|
373
|
+
set: [{ var: 'state.memberJoinedAt' }, { var: 'event.agent' }, { var: '$ordinal' }],
|
|
421
374
|
},
|
|
422
375
|
},
|
|
423
376
|
],
|
|
@@ -426,19 +379,16 @@ export const daoReputationDef = defineFiberApp({
|
|
|
426
379
|
},
|
|
427
380
|
// ACTIVE → ACTIVE: leave (member only)
|
|
428
381
|
{
|
|
429
|
-
from:
|
|
430
|
-
to:
|
|
431
|
-
eventName:
|
|
432
|
-
guard: signerInSet(
|
|
382
|
+
from: 'ACTIVE',
|
|
383
|
+
to: 'ACTIVE',
|
|
384
|
+
eventName: 'leave',
|
|
385
|
+
guard: signerInSet('state.members'),
|
|
433
386
|
effect: {
|
|
434
387
|
merge: [
|
|
435
|
-
{ var:
|
|
388
|
+
{ var: 'state' },
|
|
436
389
|
{
|
|
437
390
|
members: {
|
|
438
|
-
filter: [
|
|
439
|
-
{ var: "state.members" },
|
|
440
|
-
{ "!==": [{ var: "" }, { var: "event.agent" }] },
|
|
441
|
-
],
|
|
391
|
+
filter: [{ var: 'state.members' }, { '!==': [{ var: '' }, { var: 'event.agent' }] }],
|
|
442
392
|
},
|
|
443
393
|
},
|
|
444
394
|
],
|
|
@@ -447,32 +397,29 @@ export const daoReputationDef = defineFiberApp({
|
|
|
447
397
|
},
|
|
448
398
|
// ACTIVE → VOTING: propose_threshold_change
|
|
449
399
|
{
|
|
450
|
-
from:
|
|
451
|
-
to:
|
|
452
|
-
eventName:
|
|
400
|
+
from: 'ACTIVE',
|
|
401
|
+
to: 'VOTING',
|
|
402
|
+
eventName: 'propose_threshold_change',
|
|
453
403
|
guard: {
|
|
454
|
-
|
|
455
|
-
{ var: "event.agentReputation" },
|
|
456
|
-
{ var: "state.proposeThreshold" },
|
|
457
|
-
],
|
|
404
|
+
'>=': [{ var: 'event.agentReputation' }, { var: 'state.proposeThreshold' }],
|
|
458
405
|
},
|
|
459
406
|
effect: {
|
|
460
407
|
merge: [
|
|
461
|
-
{ var:
|
|
408
|
+
{ var: 'state' },
|
|
462
409
|
{
|
|
463
410
|
proposal: {
|
|
464
|
-
id: { var:
|
|
465
|
-
title:
|
|
466
|
-
actionType:
|
|
411
|
+
id: { var: 'event.proposalId' },
|
|
412
|
+
title: 'Threshold Change',
|
|
413
|
+
actionType: 'threshold_change',
|
|
467
414
|
payload: {
|
|
468
|
-
memberThreshold: { var:
|
|
469
|
-
voteThreshold: { var:
|
|
470
|
-
proposeThreshold: { var:
|
|
415
|
+
memberThreshold: { var: 'event.memberThreshold' },
|
|
416
|
+
voteThreshold: { var: 'event.voteThreshold' },
|
|
417
|
+
proposeThreshold: { var: 'event.proposeThreshold' },
|
|
471
418
|
},
|
|
472
|
-
proposer: { var:
|
|
473
|
-
proposedAt: { var:
|
|
419
|
+
proposer: { var: 'event.agent' },
|
|
420
|
+
proposedAt: { var: '$ordinal' },
|
|
474
421
|
deadline: {
|
|
475
|
-
|
|
422
|
+
'+': [{ var: '$ordinal' }, { var: 'state.votingPeriodMs' }],
|
|
476
423
|
},
|
|
477
424
|
},
|
|
478
425
|
votes: { for: [], against: [], abstain: [] },
|