@aephia/atlas-kit 0.6.0-next.5 → 0.6.0-next.50

package/dist/internal/planning/movement-xp-guard.js

@@ -0,0 +1,103 @@
+import { AccountRole } from '@solana/kit';
+import { SageSdkError } from '../../client/errors.js';
+import { SAGE_PROGRAM_ADDRESS, START_SUBWARP_DISCRIMINATOR, WARP_TO_COORDINATE_DISCRIMINATOR, WARP_LANE_DISCRIMINATOR, STOP_SUBWARP_DISCRIMINATOR, STOP_MINING_ASTEROID_DISCRIMINATOR, getStartSubwarpInstructionDataDecoder, getWarpToCoordinateInstructionDataDecoder, getWarpLaneInstructionDataDecoder, getStopSubwarpInstructionDataDecoder, getStopMiningAsteroidInstructionDataDecoder, } from '../c4/runtime-bindings.js';
+function fail() {
+    throw new SageSdkError('ACTION_PRECONDITION_FAILED', 'This movement or mining-stop instruction does not match its current XP accounts, Character, Profile, Game or account roles. Refresh the affected Fleet and recreate the Plan before signing.');
+}
+/** Bind current XP tails to the actual instructions, independently of Plan kind. */
+export function validateMovementXpInstructions(steps, guards) {
+    const layouts = [
+        {
+            discriminator: START_SUBWARP_DISCRIMINATOR,
+            decoder: getStartSubwarpInstructionDataDecoder,
+            budget: 9,
+            count: 12,
+            start: true,
+        },
+        {
+            discriminator: WARP_TO_COORDINATE_DISCRIMINATOR,
+            decoder: getWarpToCoordinateInstructionDataDecoder,
+            budget: 9,
+            count: 12,
+            start: true,
+        },
+        {
+            discriminator: WARP_LANE_DISCRIMINATOR,
+            decoder: getWarpLaneInstructionDataDecoder,
+            budget: 12,
+            count: 15,
+            start: true,
+        },
+        {
+            discriminator: STOP_SUBWARP_DISCRIMINATOR,
+            decoder: getStopSubwarpInstructionDataDecoder,
+            budget: 8,
+            count: 10,
+            start: false,
+        },
+        {
+            discriminator: STOP_MINING_ASTEROID_DISCRIMINATOR,
+            decoder: getStopMiningAsteroidInstructionDataDecoder,
+            budget: 10,
+            count: 12,
+            start: false,
+        },
+    ];
+    for (const { instruction } of steps) {
+        if (instruction.programAddress !== SAGE_PROGRAM_ADDRESS)
+            continue;
+        const layout = layouts.find((l) => l.discriminator.every((b, i) => instruction.data?.[i] === b));
+        if (!layout)
+            continue;
+        const { accounts, data } = instruction;
+        if (!accounts || accounts.length !== layout.count || !data)
+            fail();
+        try {
+            if (layout.decoder().read(data, 0)[1] !== data.length)
+                fail();
+        }
+        catch {
+            fail();
+        }
+        const game = accounts[6].address;
+        const character = accounts[4].address;
+        const profile = accounts[1].address;
+        const arrival = layout.budget === 8 &&
+            guards.some((g) => g.kind === 'fleet-arrival' &&
+                g.character === character &&
+                g.intent.profile === profile &&
+                g.intent.game === game &&
+                g.address === accounts[5].address);
+        const xp = guards.find((g) => g.kind === 'xp-runtime' &&
+            g.intent.game === game &&
+            g.intent.character === character &&
+            g.intent.structure === undefined &&
+            (g.intent.profile === profile ||
+                (arrival && g.intent.profile === undefined)));
+        if (!xp || xp.kind !== 'xp-runtime')
+            fail();
+        for (const [index, expected, role] of [
+            [1, profile, AccountRole.WRITABLE],
+            [4, character, AccountRole.WRITABLE],
+            [5, accounts[5].address, AccountRole.WRITABLE],
+            [6, game, AccountRole.READONLY],
+            [layout.budget, xp.accounts.xpBudget, AccountRole.WRITABLE],
+            [layout.budget + 1, xp.accounts.xpBudgetConfig, AccountRole.READONLY],
+        ])
+            if (expected === undefined ||
+                accounts[index].address !== expected ||
+                accounts[index].role !== role)
+                fail();
+        if (layout.start &&
+            (accounts.at(-1).address !== '11111111111111111111111111111111' ||
+                accounts.at(-1).role !== AccountRole.READONLY))
+            fail();
+        if (layout.start &&
+            !guards.some((g) => g.kind === 'movement-character' &&
+                g.address === character &&
+                g.profile === profile &&
+                g.game === game))
+            fail();
+    }
+}
+//# sourceMappingURL=movement-xp-guard.js.map

package/dist/internal/planning/movement-xp-guard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"movement-xp-guard.js","sourceRoot":"","sources":["../../../src/internal/planning/movement-xp-guard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAgB,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,gCAAgC,EAChC,uBAAuB,EACvB,0BAA0B,EAC1B,kCAAkC,EAClC,qCAAqC,EACrC,yCAAyC,EACzC,iCAAiC,EACjC,oCAAoC,EACpC,2CAA2C,GAC5C,MAAM,2BAA2B,CAAC;AAEnC,SAAS,IAAI;IACX,MAAM,IAAI,YAAY,CACpB,4BAA4B,EAC5B,8LAA8L,CAC/L,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,8BAA8B,CAC5C,KAA0B,EAC1B,MAAmC;IAEnC,MAAM,OAAO,GAMP;QACJ;YACE,aAAa,EAAE,2BAA2B;YAC1C,OAAO,EAAE,qCAAqC;YAC9C,MAAM,EAAE,CAAC;YACT,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,IAAI;SACZ;QACD;YACE,aAAa,EAAE,gCAAgC;YAC/C,OAAO,EAAE,yCAAyC;YAClD,MAAM,EAAE,CAAC;YACT,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,IAAI;SACZ;QACD;YACE,aAAa,EAAE,uBAAuB;YACtC,OAAO,EAAE,iCAAiC;YAC1C,MAAM,EAAE,EAAE;YACV,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,IAAI;SACZ;QACD;YACE,aAAa,EAAE,0BAA0B;YACzC,OAAO,EAAE,oCAAoC;YAC7C,MAAM,EAAE,CAAC;YACT,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,KAAK;SACb;QACD;YACE,aAAa,EAAE,kCAAkC;YACjD,OAAO,EAAE,2CAA2C;YACpD,MAAM,EAAE,EAAE;YACV,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,KAAK;SACb;KACF,CAAC;IACF,KAAK,MAAM,EAAE,WAAW,EAAE,IAAI,KAAK,EAAE,CAAC;QACpC,IAAI,WAAW,CAAC,cAAc,KAAK,oBAAoB;YAAE,SAAS;QAClE,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAC7D,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,WAAW,CAAC;QACvC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,IAAI,CAAC,IAAI;YAAE,IAAI,EAAE,CAAC;QACnE,IAAI,CAAC;YACH,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,MAAM;gBAAE,IAAI,EAAE,CAAC;QAChE,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,EAAE,CAAC;QACT,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;QAClC,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;QACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;QACrC,MAAM,OAAO,GACX,MAAM,CAAC,MAAM,KAAK,CAAC;YACnB,MAAM,CAAC,IAAI,CACT,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,eAAe;gBAC1B,CAAC,CAAC,SAAS,KAAK,SAAS;gBACzB,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,OAAO;gBAC5B,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI;gBACtB,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,CACrC,CAAC;QACJ,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,YAAY;YACvB,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI;YACtB,CAAC,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS;YAChC,CAAC,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS;YAChC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,OAAO;gBAC3B,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CACjD,CAAC;QACF,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,YAAY;YAAE,IAAI,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI;YACpC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,QAAQ,CAAC;YAClC,CAAC,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC;YACpC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,WAAW,CAAC,QAAQ,CAAC;YAC/C,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC;YAC/B,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC;YAC3D,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,QAAQ,CAAC;SAC7D;YACR,IACE,QAAQ,KAAK,SAAS;gBACtB,QAAQ,CAAC,KAAK,CAAE,CAAC,OAAO,KAAK,QAAQ;gBACrC,QAAQ,CAAC,KAAK,CAAE,CAAC,IAAI,KAAK,IAAI;gBAE9B,IAAI,EAAE,CAAC;QACX,IACE,MAAM,CAAC,KAAK;YACZ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,KAAK,kCAAkC;gBAC9D,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,WAAW,CAAC,QAAQ,CAAC;YAEjD,IAAI,EAAE,CAAC;QACT,IACE,MAAM,CAAC,KAAK;YACZ,CAAC,MAAM,CAAC,IAAI,CACV,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,oBAAoB;gBAC/B,CAAC,CAAC,OAAO,KAAK,SAAS;gBACvB,CAAC,CAAC,OAAO,KAAK,OAAO;gBACrB,CAAC,CAAC,IAAI,KAAK,IAAI,CAClB;YAED,IAAI,EAAE,CAAC;IACX,CAAC;AACH,CAAC"}

package/dist/internal/planning/runtime-guards.d.ts

@@ -0,0 +1,43 @@
+import { type Address } from '@solana/kit';
+import type { SageContext } from '../../client/contracts.js';
+import type { PlanPrecondition, PlanStep } from '../../planning/index.js';
+import { type HistoryIntent, type ResolvedDemocracyHistory } from './democracy-history.js';
+import { type XpRuntimeIntent, type XpRuntimeAccounts } from './xp-runtime.js';
+import { resolveGovernanceFees, type FeeIntent } from './governance-fees.js';
+type FeeAccounts = Awaited<ReturnType<typeof resolveGovernanceFees>>['accounts'];
+type BaseGuard = {
+    readonly address: Address;
+    readonly describes: string;
+    readonly dataHash?: never;
+};
+/** Finite runtime eligibility and consumed fee routes, excluding changing balances. */
+export type RuntimeGuard = BaseGuard & ({
+    readonly kind: 'democracy-history';
+    readonly intent: HistoryIntent;
+    readonly accounts: ResolvedDemocracyHistory['accounts'];
+} | {
+    readonly kind: 'xp-runtime';
+    readonly intent: XpRuntimeIntent;
+    readonly accounts: XpRuntimeAccounts;
+} | {
+    readonly kind: 'governance-fees';
+    readonly intent: FeeIntent;
+    readonly accounts: FeeAccounts;
+});
+export type RuntimeWire<T> = T extends bigint ? string : T extends Address ? string : T extends object ? {
+    readonly [K in keyof T]: RuntimeWire<T[K]>;
+} : T;
+export type RuntimeGuardJson = RuntimeWire<RuntimeGuard>;
+export declare function isRuntimeGuard(value: {
+    readonly kind?: unknown;
+}): value is RuntimeGuard;
+/** Strict nested runtime parsing applies both to factory values and persisted JSON. */
+export declare function normalizeRuntimeGuard(value: unknown, field: string, wire?: boolean): RuntimeGuard;
+/** Bigints use canonical decimal strings; schema validation excludes arbitrary object graphs. */
+export declare function runtimeGuardToJSON(guard: RuntimeGuard): RuntimeGuardJson;
+/** Resolve canonical accounts again; shared balances and XP counters are not compared. */
+export declare function revalidateRuntimeGuards(ctx: SageContext, guards: readonly RuntimeGuard[], freshGameVersions?: Map<Address, number>): Promise<void>;
+/** Old layouts and unguarded persisted instructions fail before assembly or signing. */
+export declare function validateRuntimeInstructions(steps: readonly PlanStep[], preconditions: readonly PlanPrecondition[]): void;
+export {};
+//# sourceMappingURL=runtime-guards.d.ts.map

package/dist/internal/planning/runtime-guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-guards.d.ts","sourceRoot":"","sources":["../../../src/internal/planning/runtime-guards.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,OAAO,EAGb,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAwB7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAC1E,OAAO,EAGL,KAAK,aAAa,EAElB,KAAK,wBAAwB,EAC9B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,qBAAqB,EAErB,KAAK,SAAS,EACf,MAAM,sBAAsB,CAAC;AAE9B,KAAK,WAAW,GAAG,OAAO,CACxB,UAAU,CAAC,OAAO,qBAAqB,CAAC,CACzC,CAAC,UAAU,CAAC,CAAC;AACd,KAAK,SAAS,GAAG;IACf,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC;CAC3B,CAAC;AACF,uFAAuF;AACvF,MAAM,MAAM,YAAY,GAAG,SAAS,GAClC,CACI;IACE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC,UAAU,CAAC,CAAC;CACzD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;CACtC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;CAChC,CACJ,CAAC;AACJ,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACzC,MAAM,GACN,CAAC,SAAS,OAAO,GACf,MAAM,GACN,CAAC,SAAS,MAAM,GACd;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC9C,CAAC,CAAC;AACV,MAAM,MAAM,gBAAgB,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;AACzD,wBAAgB,cAAc,CAAC,KAAK,EAAE;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACzB,GAAG,KAAK,IAAI,YAAY,CAMxB;AAsLD,uFAAuF;AACvF,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,EACb,IAAI,UAAQ,GACX,YAAY,CAqDd;AACD,iGAAiG;AACjG,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,YAAY,GAAG,gBAAgB,CAMxE;AAiBD,0FAA0F;AAC1F,wBAAsB,uBAAuB,CAC3C,GAAG,EAAE,WAAW,EAChB,MAAM,EAAE,SAAS,YAAY,EAAE,EAC/B,iBAAiB,uBAA6B,GAC7C,OAAO,CAAC,IAAI,CAAC,CA2Cf;AA8YD,wFAAwF;AACxF,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,SAAS,QAAQ,EAAE,EAC1B,aAAa,EAAE,SAAS,gBAAgB,EAAE,GACzC,IAAI,CA4IN"}