@agoric/governance 0.10.4-dev-16095c5.0 → 0.10.4-dev-980ff41.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 (7) hide show
  1. package/package.json +12 -12
  2. package/src/contractHelper.d.ts +23 -23
  3. package/src/index.js +1 -2
  4. package/src/types.d.ts +1 -1
  5. package/src/types.d.ts.map +1 -1
  6. package/src/types.js +1 -0
  7. package/tools/puppetGovernance.d.ts +1 -1
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@agoric/governance",
3
- "version": "0.10.4-dev-16095c5.0+16095c5",
3
+ "version": "0.10.4-dev-980ff41.0+980ff41",
4
4
  "description": "Core governance support",
5
5
  "type": "module",
6
6
  "main": "src/index.js",
@@ -31,14 +31,14 @@
31
31
  },
32
32
  "homepage": "https://github.com/Agoric/agoric-sdk#readme",
33
33
  "dependencies": {
34
- "@agoric/assert": "0.6.1-dev-16095c5.0+16095c5",
35
- "@agoric/ertp": "0.16.3-dev-16095c5.0+16095c5",
36
- "@agoric/internal": "0.3.3-dev-16095c5.0+16095c5",
37
- "@agoric/notifier": "0.6.3-dev-16095c5.0+16095c5",
38
- "@agoric/store": "0.9.3-dev-16095c5.0+16095c5",
39
- "@agoric/time": "0.3.3-dev-16095c5.0+16095c5",
40
- "@agoric/vat-data": "0.5.3-dev-16095c5.0+16095c5",
41
- "@agoric/zoe": "0.26.3-dev-16095c5.0+16095c5",
34
+ "@agoric/assert": "0.6.1-dev-980ff41.0+980ff41",
35
+ "@agoric/ertp": "0.16.3-dev-980ff41.0+980ff41",
36
+ "@agoric/internal": "0.3.3-dev-980ff41.0+980ff41",
37
+ "@agoric/notifier": "0.6.3-dev-980ff41.0+980ff41",
38
+ "@agoric/store": "0.9.3-dev-980ff41.0+980ff41",
39
+ "@agoric/time": "0.3.3-dev-980ff41.0+980ff41",
40
+ "@agoric/vat-data": "0.5.3-dev-980ff41.0+980ff41",
41
+ "@agoric/zoe": "0.26.3-dev-980ff41.0+980ff41",
42
42
  "@endo/bundle-source": "^3.2.3",
43
43
  "@endo/captp": "^4.2.0",
44
44
  "@endo/eventual-send": "^1.2.2",
@@ -49,7 +49,7 @@
49
49
  "import-meta-resolve": "^2.2.1"
50
50
  },
51
51
  "devDependencies": {
52
- "@agoric/swingset-vat": "0.32.3-dev-16095c5.0+16095c5",
52
+ "@agoric/swingset-vat": "0.32.3-dev-980ff41.0+980ff41",
53
53
  "@endo/bundle-source": "^3.2.3",
54
54
  "@endo/init": "^1.1.2",
55
55
  "ava": "^5.3.0",
@@ -77,7 +77,7 @@
77
77
  "access": "public"
78
78
  },
79
79
  "typeCoverage": {
80
- "atLeast": 89.32
80
+ "atLeast": 89.31
81
81
  },
82
- "gitHead": "16095c5076043133aff0f25721131be2ca1ef5af"
82
+ "gitHead": "980ff41770a66215cd87f9ce6f12151fc4396fd6"
83
83
  }
package/src/contractHelper.d.ts CHANGED
@@ -32,7 +32,7 @@ export function handleParamGovernance<M extends import("./contractGovernance/typ
32
32
  getBrand: (name: string) => globalThis.Brand;
33
33
  getInstance: (name: string) => Instance;
34
34
  getInstallation: (name: string) => Installation<any>;
35
- getInvitationAmount: (name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>;
35
+ getInvitationAmount: (name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>;
36
36
  getNat: (name: string) => bigint;
37
37
  getRatio: (name: string) => Ratio;
38
38
  getString: (name: string) => string;
@@ -44,31 +44,31 @@ export function handleParamGovernance<M extends import("./contractGovernance/typ
44
44
  };
45
45
  augmentPublicFacet: <PF extends {}>(originalPublicFacet: PF) => GovernedPublicFacet<PF>;
46
46
  augmentVirtualPublicFacet: <OPF extends {}>(originalPublicFacet: OPF) => OPF & {
47
- getBrand: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
48
- getInstallation: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
49
- getInstance: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
50
- getAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
51
- getInvitationAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
52
- getNat: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
53
- getRatio: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
54
- getString: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
55
- getTimestamp: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
56
- getRelativeTime: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
57
- getUnknown: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
47
+ getBrand: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
48
+ getInstallation: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
49
+ getInstance: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
50
+ getAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
51
+ getInvitationAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
52
+ getNat: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
53
+ getRatio: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
54
+ getString: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
55
+ getTimestamp: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
56
+ getRelativeTime: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
57
+ getUnknown: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
58
58
  getSubscription: () => globalThis.StoredSubscription<GovernanceSubscriptionState>;
59
59
  getGovernedParams: () => globalThis.ERef<import("./types.js").ParamStateRecord>;
60
60
  } & import("@endo/marshal").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, OPF & {
61
- getBrand: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
62
- getInstallation: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
63
- getInstance: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
64
- getAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
65
- getInvitationAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
66
- getNat: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
67
- getRatio: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
68
- getString: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
69
- getTimestamp: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
70
- getRelativeTime: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
71
- getUnknown: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
61
+ getBrand: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
62
+ getInstallation: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
63
+ getInstance: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
64
+ getAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
65
+ getInvitationAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
66
+ getNat: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
67
+ getRatio: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
68
+ getString: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
69
+ getTimestamp: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
70
+ getRelativeTime: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
71
+ getUnknown: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
72
72
  getSubscription: () => globalThis.StoredSubscription<GovernanceSubscriptionState>;
73
73
  getGovernedParams: () => globalThis.ERef<import("./types.js").ParamStateRecord>;
74
74
  }>;
package/src/index.js CHANGED
@@ -1,7 +1,6 @@
1
1
  /// <reference types="@agoric/internal/exported" />
2
2
  /// <reference types="@agoric/ertp/exported" />
3
- // XXX ambient types runtime imports until https://github.com/Agoric/agoric-sdk/issues/6512
4
- import '@agoric/zoe/exported.js';
3
+ /// <reference types="@agoric/zoe/exported" />
5
4
 
6
5
  export {
7
6
  ChoiceMethod,
package/src/types.d.ts CHANGED
@@ -509,7 +509,7 @@ export type AssertContractGovernance = (zoe: ERef<ZoeService>, allegedGoverned:
509
509
  * - assert that the contract uses the
510
510
  * electorate
511
511
  */
512
- export type AssertContractElectorate = (zoe: ERef<ZoeService>, allegedGovernor: Instance, allegedElectorate: Instance) => any;
512
+ export type AssertContractElectorate = (zoe: ERef<ZoeService>, allegedGovernor: Instance, allegedElectorate: Instance) => Promise<true>;
513
513
  export type GovernableStartFn = ContractStartFunction & ((zcf?: any, pa?: any, baggage?: any) => ERef<{
514
514
  creatorFacet: GovernedCreatorFacet<{}>;
515
515
  publicFacet: GovernedPublicFacet<{}>;
package/src/types.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":";;;;;;;;;2BASc,UAAU,GAAG,OAAO,GAAG,WAAW;;;;;;;2BAWlC,cAAc,GAAG,UAAU,GAAG,QAAQ,GAAG,gBAAgB,GACtE,cAAkB;yBAUL,UAAU,GAAG,KAAK,GAAG,WAAW;;UAKhC,MAAM;;;8BAwBnB,CAAG,sBAAH,CAAG,AAVU,SAAS,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAU5C,CAAG,AATA,SAAS,OAAO,GAAG,KAAK,GAS3B,CAAG,AARA,SAAS,cAAc,GAAG,YAAY,GAQzC,CAAG,AAPA,SAAS,UAAU,GAAG,QAAQ,GAOjC,CAAG,AANA,SAAS,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,GAMxC,CAAG,AALA,SAAS,KAAK,GAAG,MAAM,GAK1B,CAAG,AAJA,SAAS,OAAO,GAAG,KAAK,GAI3B,CAAG,AAHA,SAAS,QAAQ,GAAG,MAAM,GAG7B,CAAG,AAFA,SAAS,WAAW,GAAG,OAAO,cAAc,EAAE,SAAS,GAE1D,CAAG,AADA,SAAS,cAAc,GAAG,OAAO,cAAc,EAAE,YAAY,GAChE,CAAG,SAAS,SAAS,GAAG,OAAO,GAC/B,KAAO;4BAMyC,CAAC,kCAArC;IAAE,IAAI,EAA8B,CAAC,AAA5B,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAA;CAAE;;;;4BAS0C,CAAC,8EAFnF;IACZ,eAAmB,EAAE,OAAO,qCAAqC,EAAE,QAAQ,CAAC,uCAAgC,OAAO,CAAC,CAAC,CAAC;IACtH,cAAkB,EAAE,OAAO,2CAA2C,EAAE,qBAAqB,CAAC,CAAC,GAAG;QAClG,UAAgB,EAAE,YAAY,CAAA;KACzB,CAAC,CAAA;CACH;oBAIU,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,GAAG,kBAAkB,GACzE,gBAAoB;;;;;;;kBAOP,YAAY;qBACZ,MAAM;gBACN,QAAQ;;;UAKR,MAAM;;uBAIN,YAAY,GAAG,oBAAoB,GAAG,sBAAsB,GAAG,iBAAiB,GAAG,qBAAqB,GACrH,mBAAwB,GAAG,2BAA2B,GAAG,iBAAiB;4BAI9D;IAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;CAAE,GAAG,CAC/C;IAAM,OAAO,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC1C;IAAM,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CACzC;iCAIS;IAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;CAAE,GAAG,CAC/C;IAAK,OAAO,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,QAAQ,EAAE,CAAA;CAAE,GAC5C;IAAK,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CACxC;;;;yBASU,CAAC;YADD,YAAY;WACZ,CAAC;eACD,QAAQ,EAAE;kBACV,YAAY;gBACZ,MAAM;gBACN,MAAM;iBACN,WAAW;gBACX,UAAU;gBACV,QAAQ;;;;;;qBAKR,QAAQ;oBACR,MAAM,CAAC,UAAU,CAAC;;;;;8BAInB,YAAY,GAAG,8BAA8B;;cAM5C,QAAQ;cACR,QAAQ;;;oBAKR,MAAM,QAAQ;gBACd,MAAM,eAAe;;;oBAKrB,MAAM,CAAC,UAAU,CAAC;;;;YAClB,QAAQ,EAAE;;;oBAMV,MAAM,CAAC,UAAU,CAAC;;;;;cAClB,CAAC,QAAQ,EAAC,MAAM,CAAC,EAAE;;;oBAOnB,MAAM,CAAC,UAAU,CAAC;;;;;aAClB,QAAQ,EAAE;;;cAMV,QAAQ;WACR,MAAM;;;aAKN,MAAM;WACN,MAAM;aACN,aAAa,EAAE;;;WAKf,CAAC,KAAK,EAAE,cAAc,KAAK,OAAO;;2CAKrC,YAAY,YACZ,QAAQ,KACN,QAAQ;;;;;;;;;;gBAUP,UAAU;;;YAKV,MAAM,OAAO;iBACb,MAAM,QAAQ;gBACd,MAAM,OAAO,CAAC,QAAQ,CAAC;gBACvB,MAAM,eAAe;cACrB,MAAM,OAAO,CAAC,cAAc,CAAC;;;YAK7B,MAAM,OAAO;iBACb,MAAM,QAAQ;gBACd,MAAM,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACzB,MAAM,eAAe;cACrB,MAAM,OAAO,CAAC,cAAc,CAAC;;;;;;iBAM7B,MAAM,IAAI;;;iBAKV,sBAAsB;kBACtB,uBAAuB;gBACvB,qBAAqB;;;iBAKrB,2BAA2B;kBAC3B,uBAAuB;gBACvB,qBAAqB;;8CAKxB,YAAY,aACZ,MAAM,YAEN,QAAQ,aACR,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,KAC5B,iBAAiB;mDAKnB,YAAY,aACZ,MAAM,YAEN,QAAQ,aACR,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC,KACjC,sBAAsB;;YAKrB,QAAQ;YACR,MAAM;;uCAKT,MAAM,CAAC,OAAO,CAAC,mBACf,QAAQ,EAAE,kCAER,eAAe;qCAKf,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;8BAK/B,MAAM,CAAC,UAAU,CAAC,KAChB,OAAO,CAAC,QAAQ,CAAC;;2BAKhB,MAAM,UAAU,CAAC,eAAe,CAAC;;;;sBACjC,gBAAgB;iBAChB,MAAM,QAAQ;iBACd,WAAW;;qCAIX,gBAAgB,GAAG;IAAC,mBAAmB,EAAE,MAAM,IAAI,CAAC,UAAU,CAAC,CAAA;CAAC;wCAChE,gBAAgB,GAAG;IAAC,OAAO,EAAE,MAAM,MAAM,CAAA;CAAC;;iBAK1C,WAAW;;;;;;;;iBAKX,WAAW;wBAGX,MAAM,OAAO,CAAC,UAAU,CAAC;2BACzB,MAAM,UAAU,CAAC,eAAe,CAAC;oBACjC,MAAM,gBAAgB;;;yBAKtB,MAAM,UAAU,EAAE;;;;;;;;gBAOlB,UAAU;;;WAKV,IAAI,CAAC,OAAO,cAAc,EAAE,YAAY,CAAC;cACzC,OAAO,cAAc,EAAE,SAAS;;wCAKnC,WAAW,eACX,MAAM,IAAI;;iBAKP,sBAAsB;kBACtB,uBAAuB;cACvB,OAAO,qCAAqC,EAAE,QAAQ,CAAC,cAAc,wBAAwB,EAAE,KAAK,CAAC;cACrG,OAAO,cAAc,EAAE,SAAS;oBAChC,MAAM,CAAC,UAAU,CAAC;;wCAKrB,IAAI,CAAC,YAAY,CAAC,gBAClB,YAAY,KACV,OAAO,CAAC,iBAAiB,CAAC;oCAM5B,MAAM,iBACN,UAAU,2BAEV,YAAY,oBAKZ,QAAQ,eACR,WAAW,KACT,OAAO,CAAC,eAAe,CAAC;6BAMN,CAAC;UAAlB,gBAAgB,CAAC,CAAC,CAAC;cACnB,OAAO,qCAAqC,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;;;mBAK7F,MAAM;gBACN,OAAO,EAAE;;;aAKT,MAAM,EAAE;;;cAKR,oBAAoB;cACpB,sBAAsB;;;;;;YAMtB,YAAY;WACZ,gBAAgB,CAAC,OAAO,CAAC;eACzB,oBAAoB;kBACpB,YAAY;gBACZ,MAAM;iBACN,WAAW;gBACX,UAAU;gBACV,sBAAsB;;;;qBACtB,QAAQ;oBACR,MAAM,CAAC,UAAU,CAAC;;;;;;+BAInB,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC;0CAI/B;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAC;;;;;eAI3B,MAAM,IAAI,CAAC,gBAAgB,CAAC;eAC5B,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;cACxB,CAAC,IAAI,EAAE,MAAM,KAAK,KAAK;iBACvB,CAAC,IAAI,EAAE,MAAM,KAAK,QAAQ;qBAC1B,CAAC,IAAI,EAAE,MAAM,KAAK,YAAY;yBAC9B,CAAC,IAAI,EAAE,MAAM,KAAK,gBAAgB;YAClC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;cACxB,CAAC,IAAI,EAAE,MAAM,KAAK,KAAK;eACvB,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;kBACxB,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,cAAc,EAAE,eAAe;qBACxD,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,cAAc,EAAE,kBAAkB;gBAC3D,CAAC,IAAI,EAAE,MAAM,KAAK,GAAG;;;;;;qBACrB,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,KAAK,UAAU;2BAGvD,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC;qBACrC,MAAM,kBAAkB,CAAC,2BAA2B,CAAC;;0CAKxD,MAAM,CAAC,MAAM,EAAC,UAAU,CAAC,KACvB,OAAO,CAAC,IAAI,CAAC;;;;;;;6CASb,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;;;;;;8BACnB,gBAAgB,GAAG,8BAA8B,GAAG;IAAC,YAAY,EAAE,YAAY,CAAA;CAAC;gCAIhF,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;8DAM1B,UAAU,QACV,MAAM;;;;;;;;;oDAUN,QAAQ,CAAC,eAAe,CAAC,KACvB,eAAe;;;;;aAKd,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;;;aAK1B,MAAM,EAAE;;;gBAKR,MAAM,EAAE;;;mBAKR,MAAM;;;;gBAMN,MAAM;;;;;;;cAKN,MAAM,EAAE;;;oBAMR,cAAc;;2BAGd;IAAE,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,OAAO,CAAA;CAAE;;mBAInD,MAAM,OAAO,CAAC,QAAQ,CAAC;yBACvB,MAAM,QAAQ;yBACd,CAAC,WAAW,EAAE,QAAQ,KAAK,OAAO,CAAC,IAAI,CAAC;wBACxC,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC;mBACvC,CAAC,WAAW,EAAE,WAAW,KAAK,IAAI;;;;;;SAKlC,OAAO;;;;;6BAQP,CAAC;eAAD,CAAC;;;;aACD,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;;;;;;cAK1B,QAAQ;aACR,IAAI,CAAC,eAAe,CAAC;;;;;;qBACrB,OAAO,CAAC,UAAU,CAAC;;iCAgB0B,EAAE;wBAR/C,kBAAkB;yBAClB,mBAAmB;uBACnB,iBAAiB;;;;;;qBACjB,MAAM,SAAS,CAK8B,EAAE,AAL7B,CAAC;uBAGnB,CAAC,eAAe,EAAE,UAAU,KAAK,OAAO,CAAC,IAAI,CAAC;mBAC9C,MAAM,UAAU;;;;oBAChB,MAAM,mBAAmB,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;;;;;iBACjE,MAAM,QAAQ;;;qBAMd,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,kBAAkB,CAAC,2BAA2B,CAAC;;;;;uBAC9D,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,IAAI,CAAC,gBAAgB,CAAC;yBAErC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;;gCAKzB,EAAE,eAAF,EAAE,GAAG,0BAA0B;sBAKD,EAAE,8BAAhC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,wBAAwB,CAAC,CAAC;;;;iCAUjE,EAAE;;;;;;0BAHb,MAAM,qBAAqB;;;;;;4BAG3B,MAAM,IAAI,CAAC,EAAE,CAAC;mBAGd,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC;qBACrC,MAAM,IAAI,CAAC,YAAY,CAAC;yBACxB,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE;oBACzB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI;;gCAI5B;IAAC,GAAG,EAAE,MAAM,CAAA;CAAC;;SAKZ,CAAC,QAAQ,CAAC,EAAE,QAAQ,KAAK,eAAe;;+BAS1B,CAAC,kDAFlB,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,aAChC,gBAAgB,CAAC,CAAC,CAAC,KACjB,OAAO,CAAC,4BAA4B,CAAC;kDAKvC,MAAM,mDAEN,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,KAC9B,OAAO,CAAC,4BAA4B,CAAC;0DAKvC,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,WAChC,MAAM,EAAE,KACN,OAAO,CAAC,4BAA4B,CAAC;;wBAKpC,kBAAkB;qBAClB,eAAe;;;yBAKf,mBAAmB;qBACnB,eAAe;;;kBAKf,iBAAiB;qBACjB,eAAe;;;;;iDAMlB,QAAQ,KACN,OAAO;2CAKT,QAAQ,EAAE,YACV,QAAQ,KACN,OAAO;;WAKN,OAAO,cAAc,EAAE,YAAY;yBACnC,mBAAmB;iBACnB,MAAM;;6CAMT,IAAI,CAAC,UAAU,CAAC,mBAChB,OAAO,qCAAqC,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,mBAC7F,QAAQ,gCACR,YAAY;;;;;;;;;;;;iBAhgBP;IAAC,UAIhB,uBAAsB,CAAA;CAAK,WAON,OAAM,kBACZ,EAAE,OAAO;;;IAof0D,KACtE,OAAO,CAAC,cAAc,CAAC;;;;;6CAOzB,IAAI,CAAC,UAAU,CAAC,mBAChB,QAAQ,qBACR,QAAQ;gEAKN,GAAG,OAAO,GAAG,YAAY,GAAG,KAAK,IAAI,CAAC;IAAC,YAAY,EAAE,oBAAoB,CAAC,EAAE,CAAC,CAAC;IAAC,WAAW,EAAE,mBAAmB,CAAC,EAAE,CAAC,CAAA;CAAC,CAAC;yBAIrH,uCAAgC,OAAO,CAAC;;;;;;2CAaQ,CAAC;cAFhD,OAAO,qCAAqC,EAAE,QAAQ,CAAC,UAAU,CAAC;gBAClE,UAAU;kBACV,oBAAoB,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;iBACnD,cAAc;;;;;+BAYK,EAAE;;;;gBAJrB,UAAU;;;;kBACV,SAAS,CAGU,EAAE,AAHT,CAAC;;;;;;;;wBAEb,UAAU;iBACV,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;cACtC,QAAQ;cACR,QAAQ;;+BA7tBgB,kBAAkB;+BAwB3B,gBAAgB;8BAxBP,kBAAkB;2CAChB,qCAAqC;6BAFnD,WAAW"}
1
+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":";;;;;;;;;2BASc,UAAU,GAAG,OAAO,GAAG,WAAW;;;;;;;2BAWlC,cAAc,GAAG,UAAU,GAAG,QAAQ,GAAG,gBAAgB,GACtE,cAAkB;yBAUL,UAAU,GAAG,KAAK,GAAG,WAAW;;UAKhC,MAAM;;;8BAwBnB,CAAG,sBAAH,CAAG,AAVU,SAAS,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAU5C,CAAG,AATA,SAAS,OAAO,GAAG,KAAK,GAS3B,CAAG,AARA,SAAS,cAAc,GAAG,YAAY,GAQzC,CAAG,AAPA,SAAS,UAAU,GAAG,QAAQ,GAOjC,CAAG,AANA,SAAS,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,GAMxC,CAAG,AALA,SAAS,KAAK,GAAG,MAAM,GAK1B,CAAG,AAJA,SAAS,OAAO,GAAG,KAAK,GAI3B,CAAG,AAHA,SAAS,QAAQ,GAAG,MAAM,GAG7B,CAAG,AAFA,SAAS,WAAW,GAAG,OAAO,cAAc,EAAE,SAAS,GAE1D,CAAG,AADA,SAAS,cAAc,GAAG,OAAO,cAAc,EAAE,YAAY,GAChE,CAAG,SAAS,SAAS,GAAG,OAAO,GAC/B,KAAO;4BAMyC,CAAC,kCAArC;IAAE,IAAI,EAA8B,CAAC,AAA5B,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAA;CAAE;;;;4BAS0C,CAAC,8EAFnF;IACZ,eAAmB,EAAE,OAAO,qCAAqC,EAAE,QAAQ,CAAC,uCAAgC,OAAO,CAAC,CAAC,CAAC;IACtH,cAAkB,EAAE,OAAO,2CAA2C,EAAE,qBAAqB,CAAC,CAAC,GAAG;QAClG,UAAgB,EAAE,YAAY,CAAA;KACzB,CAAC,CAAA;CACH;oBAIU,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,GAAG,kBAAkB,GACzE,gBAAoB;;;;;;;kBAOP,YAAY;qBACZ,MAAM;gBACN,QAAQ;;;UAKR,MAAM;;uBAIN,YAAY,GAAG,oBAAoB,GAAG,sBAAsB,GAAG,iBAAiB,GAAG,qBAAqB,GACrH,mBAAwB,GAAG,2BAA2B,GAAG,iBAAiB;4BAI9D;IAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;CAAE,GAAG,CAC/C;IAAM,OAAO,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC1C;IAAM,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CACzC;iCAIS;IAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;CAAE,GAAG,CAC/C;IAAK,OAAO,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,QAAQ,EAAE,CAAA;CAAE,GAC5C;IAAK,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CACxC;;;;yBASU,CAAC;YADD,YAAY;WACZ,CAAC;eACD,QAAQ,EAAE;kBACV,YAAY;gBACZ,MAAM;gBACN,MAAM;iBACN,WAAW;gBACX,UAAU;gBACV,QAAQ;;;;;;qBAKR,QAAQ;oBACR,MAAM,CAAC,UAAU,CAAC;;;;;8BAInB,YAAY,GAAG,8BAA8B;;cAM5C,QAAQ;cACR,QAAQ;;;oBAKR,MAAM,QAAQ;gBACd,MAAM,eAAe;;;oBAKrB,MAAM,CAAC,UAAU,CAAC;;;;YAClB,QAAQ,EAAE;;;oBAMV,MAAM,CAAC,UAAU,CAAC;;;;;cAClB,CAAC,QAAQ,EAAC,MAAM,CAAC,EAAE;;;oBAOnB,MAAM,CAAC,UAAU,CAAC;;;;;aAClB,QAAQ,EAAE;;;cAMV,QAAQ;WACR,MAAM;;;aAKN,MAAM;WACN,MAAM;aACN,aAAa,EAAE;;;WAKf,CAAC,KAAK,EAAE,cAAc,KAAK,OAAO;;2CAKrC,YAAY,YACZ,QAAQ,KACN,QAAQ;;;;;;;;;;gBAUP,UAAU;;;YAKV,MAAM,OAAO;iBACb,MAAM,QAAQ;gBACd,MAAM,OAAO,CAAC,QAAQ,CAAC;gBACvB,MAAM,eAAe;cACrB,MAAM,OAAO,CAAC,cAAc,CAAC;;;YAK7B,MAAM,OAAO;iBACb,MAAM,QAAQ;gBACd,MAAM,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACzB,MAAM,eAAe;cACrB,MAAM,OAAO,CAAC,cAAc,CAAC;;;;;;iBAM7B,MAAM,IAAI;;;iBAKV,sBAAsB;kBACtB,uBAAuB;gBACvB,qBAAqB;;;iBAKrB,2BAA2B;kBAC3B,uBAAuB;gBACvB,qBAAqB;;8CAKxB,YAAY,aACZ,MAAM,YAEN,QAAQ,aACR,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,KAC5B,iBAAiB;mDAKnB,YAAY,aACZ,MAAM,YAEN,QAAQ,aACR,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC,KACjC,sBAAsB;;YAKrB,QAAQ;YACR,MAAM;;uCAKT,MAAM,CAAC,OAAO,CAAC,mBACf,QAAQ,EAAE,kCAER,eAAe;qCAKf,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;8BAK/B,MAAM,CAAC,UAAU,CAAC,KAChB,OAAO,CAAC,QAAQ,CAAC;;2BAKhB,MAAM,UAAU,CAAC,eAAe,CAAC;;;;sBACjC,gBAAgB;iBAChB,MAAM,QAAQ;iBACd,WAAW;;qCAIX,gBAAgB,GAAG;IAAC,mBAAmB,EAAE,MAAM,IAAI,CAAC,UAAU,CAAC,CAAA;CAAC;wCAChE,gBAAgB,GAAG;IAAC,OAAO,EAAE,MAAM,MAAM,CAAA;CAAC;;iBAK1C,WAAW;;;;;;;;iBAKX,WAAW;wBAGX,MAAM,OAAO,CAAC,UAAU,CAAC;2BACzB,MAAM,UAAU,CAAC,eAAe,CAAC;oBACjC,MAAM,gBAAgB;;;yBAKtB,MAAM,UAAU,EAAE;;;;;;;;gBAOlB,UAAU;;;WAKV,IAAI,CAAC,OAAO,cAAc,EAAE,YAAY,CAAC;cACzC,OAAO,cAAc,EAAE,SAAS;;wCAKnC,WAAW,eACX,MAAM,IAAI;;iBAKP,sBAAsB;kBACtB,uBAAuB;cACvB,OAAO,qCAAqC,EAAE,QAAQ,CAAC,cAAc,wBAAwB,EAAE,KAAK,CAAC;cACrG,OAAO,cAAc,EAAE,SAAS;oBAChC,MAAM,CAAC,UAAU,CAAC;;wCAKrB,IAAI,CAAC,YAAY,CAAC,gBAClB,YAAY,KACV,OAAO,CAAC,iBAAiB,CAAC;oCAM5B,MAAM,iBACN,UAAU,2BAEV,YAAY,oBAKZ,QAAQ,eACR,WAAW,KACT,OAAO,CAAC,eAAe,CAAC;6BAMN,CAAC;UAAlB,gBAAgB,CAAC,CAAC,CAAC;cACnB,OAAO,qCAAqC,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;;;mBAK7F,MAAM;gBACN,OAAO,EAAE;;;aAKT,MAAM,EAAE;;;cAKR,oBAAoB;cACpB,sBAAsB;;;;;;YAMtB,YAAY;WACZ,gBAAgB,CAAC,OAAO,CAAC;eACzB,oBAAoB;kBACpB,YAAY;gBACZ,MAAM;iBACN,WAAW;gBACX,UAAU;gBACV,sBAAsB;;;;qBACtB,QAAQ;oBACR,MAAM,CAAC,UAAU,CAAC;;;;;;+BAInB,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC;0CAI/B;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAC;;;;;eAI3B,MAAM,IAAI,CAAC,gBAAgB,CAAC;eAC5B,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;cACxB,CAAC,IAAI,EAAE,MAAM,KAAK,KAAK;iBACvB,CAAC,IAAI,EAAE,MAAM,KAAK,QAAQ;qBAC1B,CAAC,IAAI,EAAE,MAAM,KAAK,YAAY;yBAC9B,CAAC,IAAI,EAAE,MAAM,KAAK,gBAAgB;YAClC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;cACxB,CAAC,IAAI,EAAE,MAAM,KAAK,KAAK;eACvB,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;kBACxB,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,cAAc,EAAE,eAAe;qBACxD,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,cAAc,EAAE,kBAAkB;gBAC3D,CAAC,IAAI,EAAE,MAAM,KAAK,GAAG;;;;;;qBACrB,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,KAAK,UAAU;2BAGvD,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC;qBACrC,MAAM,kBAAkB,CAAC,2BAA2B,CAAC;;0CAKxD,MAAM,CAAC,MAAM,EAAC,UAAU,CAAC,KACvB,OAAO,CAAC,IAAI,CAAC;;;;;;;6CASb,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;;;;;;8BACnB,gBAAgB,GAAG,8BAA8B,GAAG;IAAC,YAAY,EAAE,YAAY,CAAA;CAAC;gCAIhF,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;8DAM1B,UAAU,QACV,MAAM;;;;;;;;;oDAUN,QAAQ,CAAC,eAAe,CAAC,KACvB,eAAe;;;;;aAKd,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;;;aAK1B,MAAM,EAAE;;;gBAKR,MAAM,EAAE;;;mBAKR,MAAM;;;;gBAMN,MAAM;;;;;;;cAKN,MAAM,EAAE;;;oBAMR,cAAc;;2BAGd;IAAE,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,OAAO,CAAA;CAAE;;mBAInD,MAAM,OAAO,CAAC,QAAQ,CAAC;yBACvB,MAAM,QAAQ;yBACd,CAAC,WAAW,EAAE,QAAQ,KAAK,OAAO,CAAC,IAAI,CAAC;wBACxC,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC;mBACvC,CAAC,WAAW,EAAE,WAAW,KAAK,IAAI;;;;;;SAKlC,OAAO;;;;;6BAQP,CAAC;eAAD,CAAC;;;;aACD,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;;;;;;cAK1B,QAAQ;aACR,IAAI,CAAC,eAAe,CAAC;;;;;;qBACrB,OAAO,CAAC,UAAU,CAAC;;iCAgB0B,EAAE;wBAR/C,kBAAkB;yBAClB,mBAAmB;uBACnB,iBAAiB;;;;;;qBACjB,MAAM,SAAS,CAK8B,EAAE,AAL7B,CAAC;uBAGnB,CAAC,eAAe,EAAE,UAAU,KAAK,OAAO,CAAC,IAAI,CAAC;mBAC9C,MAAM,UAAU;;;;oBAChB,MAAM,mBAAmB,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;;;;;iBACjE,MAAM,QAAQ;;;qBAMd,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,kBAAkB,CAAC,2BAA2B,CAAC;;;;;uBAC9D,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,IAAI,CAAC,gBAAgB,CAAC;yBAErC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;;gCAKzB,EAAE,eAAF,EAAE,GAAG,0BAA0B;sBAKD,EAAE,8BAAhC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,wBAAwB,CAAC,CAAC;;;;iCAUjE,EAAE;;;;;;0BAHb,MAAM,qBAAqB;;;;;;4BAG3B,MAAM,IAAI,CAAC,EAAE,CAAC;mBAGd,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC;qBACrC,MAAM,IAAI,CAAC,YAAY,CAAC;yBACxB,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE;oBACzB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI;;gCAI5B;IAAC,GAAG,EAAE,MAAM,CAAA;CAAC;;SAKZ,CAAC,QAAQ,CAAC,EAAE,QAAQ,KAAK,eAAe;;+BAS1B,CAAC,kDAFlB,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,aAChC,gBAAgB,CAAC,CAAC,CAAC,KACjB,OAAO,CAAC,4BAA4B,CAAC;kDAKvC,MAAM,mDAEN,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,KAC9B,OAAO,CAAC,4BAA4B,CAAC;0DAKvC,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,WAChC,MAAM,EAAE,KACN,OAAO,CAAC,4BAA4B,CAAC;;wBAKpC,kBAAkB;qBAClB,eAAe;;;yBAKf,mBAAmB;qBACnB,eAAe;;;kBAKf,iBAAiB;qBACjB,eAAe;;;;;iDAMlB,QAAQ,KACN,OAAO;2CAKT,QAAQ,EAAE,YACV,QAAQ,KACN,OAAO;;WAKN,OAAO,cAAc,EAAE,YAAY;yBACnC,mBAAmB;iBACnB,MAAM;;6CAMT,IAAI,CAAC,UAAU,CAAC,mBAChB,OAAO,qCAAqC,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,mBAC7F,QAAQ,gCACR,YAAY;;;;;;;;;;;;iBAhgBP;IAAC,UAIhB,uBAAsB,CAAA;CAAK,WAON,OAAM,kBACZ,EAAE,OAAO;;;IAof0D,KACtE,OAAO,CAAC,cAAc,CAAC;;;;;6CAOzB,IAAI,CAAC,UAAU,CAAC,mBAChB,QAAQ,qBACR,QAAQ,KACN,OAAO,CAAC,IAAI,CAAC;gEAKb,GAAG,OAAO,GAAG,YAAY,GAAG,KAAK,IAAI,CAAC;IAAC,YAAY,EAAE,oBAAoB,CAAC,EAAE,CAAC,CAAC;IAAC,WAAW,EAAE,mBAAmB,CAAC,EAAE,CAAC,CAAA;CAAC,CAAC;yBAIrH,uCAAgC,OAAO,CAAC;;;;;;2CAaQ,CAAC;cAFhD,OAAO,qCAAqC,EAAE,QAAQ,CAAC,UAAU,CAAC;gBAClE,UAAU;kBACV,oBAAoB,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;iBACnD,cAAc;;;;;+BAYK,EAAE;;;;gBAJrB,UAAU;;;;kBACV,SAAS,CAGU,EAAE,AAHT,CAAC;;;;;;;;wBAEb,UAAU;iBACV,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;cACtC,QAAQ;cACR,QAAQ;;+BA9tBgB,kBAAkB;+BAwB3B,gBAAgB;8BAxBP,kBAAkB;2CAChB,qCAAqC;6BAFnD,WAAW"}
package/src/types.js CHANGED
@@ -699,6 +699,7 @@ export {};
699
699
  * @param {ERef<ZoeService>} zoe
700
700
  * @param {Instance} allegedGovernor
701
701
  * @param {Instance} allegedElectorate
702
+ * @returns {Promise<true>}
702
703
  */
703
704
 
704
705
  /**
package/tools/puppetGovernance.d.ts CHANGED
@@ -5,7 +5,7 @@ export function setUpGovernedContract<T extends GovernableStartFn>(zoe: ERef<Zoe
5
5
  }, privateArgsOfGoverned?: {}, issuerKeywordRecord?: IssuerKeywordRecord | undefined): Promise<{
6
6
  getFakeInvitation: () => Promise<{
7
7
  fakeInvitationPayment: any;
8
- fakeInvitationAmount: import("@agoric/ertp/exported.js").SetAmount<InvitationDetails>;
8
+ fakeInvitationAmount: import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>;
9
9
  }>;
10
10
  governorFacets: import("@agoric/zoe/src/zoeService/utils.js").StartedInstanceKit<(<SF extends GovernableStartFn>(zcf: ZCF<{
11
11
  timer: import("@agoric/time").TimerService;