@guardian-network/policy-intermediate-representation 0.3.2

package/dist/ir-notation/parser/parser-contracts/tools/types-source/OnchainDescriptorArgsTypesSource.js

@@ -0,0 +1,39 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.OnchainDescriptorArgsTypesSource = void 0;
+const shared_1 = require("@guardian-network/shared");
+class OnchainDescriptorArgsTypesSource {
+    provider;
+    artifactInstance;
+    constructor(provider) {
+        this.provider = provider;
+    }
+    connectInstance = (artifactAddress) => {
+        this.artifactInstance = shared_1.MinArbitraryDataArtifactFactory.connect(artifactAddress, this.provider);
+        return this;
+    };
+    getTypesValues = async (instanceAddress) => {
+        this.connectInstance(instanceAddress);
+        const execDescriptorValue = await this.artifactInstance.getExecDescriptor();
+        const initDescriptorValue = await this.artifactInstance.getInitDescriptor();
+        return { execDescriptorValue, initDescriptorValue };
+    };
+    getTypes = async (instanceAddress) => {
+        const { execDescriptorValue: { argsTypes: execParamsTypes }, initDescriptorValue: { argsTypes: initParamsTypes }, } = await this.getTypesValues(instanceAddress);
+        return {
+            initParamsTypes: [...initParamsTypes],
+            execParamsTypes: [...execParamsTypes],
+        };
+    };
+    getTypesAndNames = async (instanceAddress) => {
+        const { execDescriptorValue: { argsTypes: execParamsTypes, argsNames: execParamsNames, }, initDescriptorValue: { argsTypes: initParamsTypes, argsNames: initParamsNames, }, } = await this.getTypesValues(instanceAddress);
+        return {
+            initParamsTypes: [...initParamsTypes],
+            initParamsNames: [...initParamsNames],
+            execParamsTypes: [...execParamsTypes],
+            execParamsNames: [...execParamsNames],
+        };
+    };
+}
+exports.OnchainDescriptorArgsTypesSource = OnchainDescriptorArgsTypesSource;
+//# sourceMappingURL=OnchainDescriptorArgsTypesSource.js.map

package/dist/ir-notation/parser/parser-contracts/tools/types-source/OnchainDescriptorArgsTypesSource.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OnchainDescriptorArgsTypesSource.js","sourceRoot":"","sources":["../../../../../../src/ir-notation/parser/parser-contracts/tools/types-source/OnchainDescriptorArgsTypesSource.ts"],"names":[],"mappings":";;;AAAA,qDAGkC;AASlC,MAAa,gCAAgC;IAKvB;IAFZ,gBAAgB,CAA6B;IAErD,YAAoB,QAAwB;QAAxB,aAAQ,GAAR,QAAQ,CAAgB;IAAG,CAAC;IAEtC,eAAe,GAAG,CAAC,eAAuB,EAAE,EAAE;QACtD,IAAI,CAAC,gBAAgB,GAAG,wCAA+B,CAAC,OAAO,CAC7D,eAAe,EACf,IAAI,CAAC,QAAQ,CACd,CAAC;QAEF,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEM,cAAc,GAAG,KAAK,EAAE,eAAuB,EAAE,EAAE;QACzD,IAAI,CAAC,eAAe,CAAC,eAAe,CAAC,CAAC;QAEtC,MAAM,mBAAmB,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,iBAAiB,EAAE,CAAC;QAE5E,MAAM,mBAAmB,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,iBAAiB,EAAE,CAAC;QAE5E,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,CAAC;IACtD,CAAC,CAAC;IAEF,QAAQ,GAAG,KAAK,EACd,eAAuB,EACS,EAAE;QAClC,MAAM,EACJ,mBAAmB,EAAE,EAAE,SAAS,EAAE,eAAe,EAAE,EACnD,mBAAmB,EAAE,EAAE,SAAS,EAAE,eAAe,EAAE,GACpD,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;QAG/C,OAAO;YACL,eAAe,EAAE,CAAC,GAAG,eAAe,CAAC;YACrC,eAAe,EAAE,CAAC,GAAG,eAAe,CAAC;SACtC,CAAC;IACJ,CAAC,CAAC;IAEF,gBAAgB,GAAG,KAAK,EACtB,eAAuB,EACiB,EAAE;QAC1C,MAAM,EACJ,mBAAmB,EAAE,EACnB,SAAS,EAAE,eAAe,EAC1B,SAAS,EAAE,eAAe,GAC3B,EACD,mBAAmB,EAAE,EACnB,SAAS,EAAE,eAAe,EAC1B,SAAS,EAAE,eAAe,GAC3B,GACF,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;QAG/C,OAAO;YACL,eAAe,EAAE,CAAC,GAAG,eAAe,CAAC;YACrC,eAAe,EAAE,CAAC,GAAG,eAAe,CAAC;YACrC,eAAe,EAAE,CAAC,GAAG,eAAe,CAAC;YACrC,eAAe,EAAE,CAAC,GAAG,eAAe,CAAC;SACtC,CAAC;IACJ,CAAC,CAAC;CACH;AA/DD,4EA+DC"}

package/dist/ir-notation/parser/parser-contracts/types.d.ts

@@ -0,0 +1,59 @@
+export type GetTypesValues = (artifactAddress: string, posAtConfigList?: number) => Promise<ExecInitArtifactTypes>;
+export interface IArgsTypesSource {
+    getTypes: GetTypesValues;
+}
+export interface IArgsTypesAndNamesSource {
+    getTypesAndNames(instanceAddress: string): Promise<ExecInitArtifactTypesAndNames>;
+}
+export interface IParamsExtractor {
+    artifactData: (rawArtifact?: string) => Promise<ArtifactData>;
+}
+export type ArtifactData = {
+    artifactAddress: string;
+    argsCount: number;
+    execRuntimeVariablesIndices: number[];
+    execRuntimeVariablesInjectionsWithIndices: Parameter[];
+    execSubstitutionParamsList: SubstitutingParameter[];
+    execKnownParamsList: Parameter[];
+    initDataParamsSolidityPacked: string;
+    needsInitialization: boolean;
+};
+export type ExecInitArtifactTypes = {
+    execParamsTypes: string[];
+    initParamsTypes: string[];
+};
+export type ExecInitArtifactTypesAndNames = ExecInitArtifactTypes & {
+    execParamsNames: string[];
+    initParamsNames: string[];
+};
+export type KnownTSType = string | bigint | boolean | Uint8Array;
+export type SolidityType = `${SupportedSolidityTypesEnum}`;
+export declare enum SupportedSolidityTypesEnum {
+    Uint256 = "uint256",
+    String = "string",
+    Bool = "bool",
+    Bytes = "bytes",
+    Address = "address"
+}
+type AddressComponent = {
+    addressClause: string;
+};
+type UnprocessedInitDataAndExecParams = {
+    initClause: string | null;
+    paramsClause: string;
+};
+export type RawArtifactComponents = AddressComponent & UnprocessedInitDataAndExecParams;
+export type NormalizedExecParameter = {
+    supplierNodeId: string;
+    index: number;
+};
+export type SubstitutingParameter = {
+    from: string;
+    atPos: number;
+};
+export type Parameter = {
+    value: string;
+    index: number;
+};
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/ir-notation/parser/parser-contracts/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/ir-notation/parser/parser-contracts/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,GAAG,CAC3B,eAAe,EAAE,MAAM,EACvB,eAAe,CAAC,EAAE,MAAM,KACrB,OAAO,CAAC,qBAAqB,CAAC,CAAC;AAEpC,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED,MAAM,WAAW,wBAAwB;IACvC,gBAAgB,CACd,eAAe,EAAE,MAAM,GACtB,OAAO,CAAC,6BAA6B,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,CAAC,WAAW,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,YAAY,CAAC,CAAC;CAC/D;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,2BAA2B,EAAE,MAAM,EAAE,CAAC;IACtC,yCAAyC,EAAE,SAAS,EAAE,CAAC;IACvD,0BAA0B,EAAE,qBAAqB,EAAE,CAAC;IACpD,mBAAmB,EAAE,SAAS,EAAE,CAAC;IACjC,4BAA4B,EAAE,MAAM,CAAC;IACrC,mBAAmB,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,6BAA6B,GAAG,qBAAqB,GAAG;IAClE,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU,CAAC;AAEjE,MAAM,MAAM,YAAY,GAAG,GAAG,0BAA0B,EAAE,CAAC;AAE3D,oBAAY,0BAA0B;IACpC,OAAO,YAAY;IACnB,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,KAAK,UAAU;IACf,OAAO,YAAY;CACpB;AAED,KAAK,gBAAgB,GAAG;IACtB,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,KAAK,gCAAgC,GAAG;IACtC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG,gBAAgB,GAClD,gCAAgC,CAAC;AAEnC,MAAM,MAAM,uBAAuB,GAAG;IACpC,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf,CAAC"}

package/dist/ir-notation/parser/parser-contracts/types.js

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SupportedSolidityTypesEnum = void 0;
+var SupportedSolidityTypesEnum;
+(function (SupportedSolidityTypesEnum) {
+    SupportedSolidityTypesEnum["Uint256"] = "uint256";
+    SupportedSolidityTypesEnum["String"] = "string";
+    SupportedSolidityTypesEnum["Bool"] = "bool";
+    SupportedSolidityTypesEnum["Bytes"] = "bytes";
+    SupportedSolidityTypesEnum["Address"] = "address";
+})(SupportedSolidityTypesEnum || (exports.SupportedSolidityTypesEnum = SupportedSolidityTypesEnum = {}));
+//# sourceMappingURL=types.js.map

package/dist/ir-notation/parser/parser-contracts/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/ir-notation/parser/parser-contracts/types.ts"],"names":[],"mappings":";;;AA4CA,IAAY,0BAMX;AAND,WAAY,0BAA0B;IACpC,iDAAmB,CAAA;IACnB,+CAAiB,CAAA;IACjB,2CAAa,CAAA;IACb,6CAAe,CAAA;IACf,iDAAmB,CAAA;AACrB,CAAC,EANW,0BAA0B,0CAA1B,0BAA0B,QAMrC"}

package/dist/ir-notation/parser/parser.unvalidated.d.ts

@@ -0,0 +1,6 @@
+import { TranspilerOutput } from '@guardian-network/shared';
+import { ContractRunner } from 'ethers/providers';
+import { ValidationMiddlware } from './types';
+export declare const parseIRByDSLTypesWithInterceptor: ({ ir, typings }: TranspilerOutput, middleware?: ValidationMiddlware) => Promise<import("@guardian-network/shared").NodeInitDataStruct[]>;
+export declare const parseIRByOnchainTypesWithInterceptor: ({ ir, typings }: TranspilerOutput, provider: ContractRunner, middleware?: ValidationMiddlware) => Promise<import("@guardian-network/shared").NodeInitDataStruct[]>;
+//# sourceMappingURL=parser.unvalidated.d.ts.map

package/dist/ir-notation/parser/parser.unvalidated.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.unvalidated.d.ts","sourceRoot":"","sources":["../../../src/ir-notation/parser/parser.unvalidated.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,gBAAgB,EACjB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAalD,OAAO,EAAiB,mBAAmB,EAAE,MAAM,SAAS,CAAC;AA4E7D,eAAO,MAAM,gCAAgC,oBAC1B,gBAAgB,eACpB,mBAAmB,qEAOjC,CAAC;AAGF,eAAO,MAAM,oCAAoC,oBAC9B,gBAAgB,YACvB,cAAc,eACX,mBAAmB,qEAQjC,CAAC"}

package/dist/ir-notation/parser/parser.unvalidated.js

@@ -0,0 +1,92 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parseIRByOnchainTypesWithInterceptor = exports.parseIRByDSLTypesWithInterceptor = void 0;
+const shared_1 = require("@guardian-network/shared");
+const helpers_1 = require("../helpers");
+const tools_1 = require("./parser-contracts/tools");
+const getKnownExecDataAndInitDataFromDslTypes = (parameters, initArgs, instanceConfig) => {
+    const execConstTypes = instanceConfig.execArguments
+        .filter((el) => el.constant)
+        .map((el) => el.type);
+    const knownExecParams = (0, helpers_1.indexConstants)(parameters.filter((arg) => (0, helpers_1.isConstant)(arg.value)), execConstTypes.map(helpers_1.DSLTypesToIRTypes));
+    const initTypes = instanceConfig.initArguments.map((el) => el.type);
+    const initDataEncoded = (0, helpers_1.bytesEncodeArgs)(initArgs, initTypes.map(helpers_1.DSLTypesToIRTypes));
+    return {
+        knownExecParams,
+        initDataEncoded,
+    };
+};
+const getKnownExecDataAndInitDataFromOnchainTypes = async (parameters, initArgs, instanceConfig, artifactAddress, provider) => {
+    const onchain = new tools_1.OnchainDescriptorArgsTypesSource(provider);
+    const { execParamsTypes, initParamsTypes } = await onchain.getTypes(artifactAddress);
+    const knownExecParams = (0, helpers_1.indexConstants)(parameters.filter((arg) => (0, helpers_1.isConstant)(arg.value)), execParamsTypes);
+    const initDataEncoded = (0, helpers_1.bytesEncodeArgs)(initArgs, initParamsTypes);
+    return {
+        knownExecParams,
+        initDataEncoded,
+    };
+};
+const parseIRByDSLTypesWithInterceptor = async ({ ir, typings }, middleware) => {
+    return parse({ ir, typings }, getKnownExecDataAndInitDataFromDslTypes, middleware);
+};
+exports.parseIRByDSLTypesWithInterceptor = parseIRByDSLTypesWithInterceptor;
+const parseIRByOnchainTypesWithInterceptor = async ({ ir, typings }, provider, middleware) => {
+    return parse({ ir, typings }, getKnownExecDataAndInitDataFromOnchainTypes, middleware, provider);
+};
+exports.parseIRByOnchainTypesWithInterceptor = parseIRByOnchainTypesWithInterceptor;
+const parse = async (transpileOutput, exectAndInitData, middleware, provider) => {
+    const res = [];
+    const artifacts = transpileOutput.ir.trim().split(/\r?\n/);
+    for (let [index, artifact] of artifacts.entries()) {
+        artifact = artifact.trim();
+        const { addressClause, paramsClause, initClause } = (0, helpers_1.extractComponents)(artifact);
+        const artifactAddress = addressClause;
+        const parameters = (0, helpers_1.extractArguments)(paramsClause).map((value, index) => ({
+            value,
+            index,
+        }));
+        const initArgs = (0, helpers_1.extractArguments)(initClause);
+        const variables = parameters
+            .filter((val) => (0, helpers_1.strIsVar)(val.value))
+            .map((val) => val.index);
+        const substitutions = parameters
+            .filter((val) => (0, helpers_1.strIsSubst)(val.value))
+            .map((val) => ({
+            supplierNodeId: val.value.replace(/\|/g, ''),
+            index: val.index,
+        }));
+        const currentInstanceConfig = transpileOutput.typings[index];
+        if (middleware) {
+            await middleware.innerValidations(artifactAddress, currentInstanceConfig);
+        }
+        const { knownExecParams: partialExecData, initDataEncoded: initData } = await exectAndInitData(parameters, initArgs, currentInstanceConfig, artifactAddress, provider);
+        const injections = parameters
+            .filter((val) => (0, helpers_1.strIsVar)(val.value))
+            .map((el, index) => {
+            const injection = (0, helpers_1.extractInjection)(el.value);
+            if (injection && injection != '') {
+                return {
+                    value: el.value,
+                    index,
+                };
+            }
+        })
+            .filter((el) => !!el);
+        res.push({
+            id: shared_1.NodeId.fromNotation(artifact, index),
+            artifactAddress,
+            constantExecArgs: partialExecData,
+            variableExecArgs: variables,
+            injections,
+            argsCount: parameters.length,
+            substitutedExecArgs: substitutions,
+            initData,
+            needsInitialization: initArgs.length != 0,
+        });
+    }
+    if (middleware) {
+        await middleware.outerValidations(res);
+    }
+    return res;
+};
+//# sourceMappingURL=parser.unvalidated.js.map

package/dist/ir-notation/parser/parser.unvalidated.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.unvalidated.js","sourceRoot":"","sources":["../../../src/ir-notation/parser/parser.unvalidated.ts"],"names":[],"mappings":";;;AAAA,qDAKkC;AAElC,wCAUoB;AACpB,oDAA4E;AAqB5E,MAAM,uCAAuC,GAAG,CAC9C,UAA4B,EAC5B,QAAkB,EAClB,cAA8B,EAGN,EAAE;IAC1B,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa;SAChD,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;SAC3B,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAExB,MAAM,eAAe,GAAG,IAAA,wBAAc,EACpC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,oBAAU,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EACjD,cAAc,CAAC,GAAG,CAAC,2BAAiB,CAAC,CACtC,CAAC;IAEF,MAAM,SAAS,GAAG,cAAc,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,eAAe,GAAG,IAAA,yBAAe,EACrC,QAAQ,EACR,SAAS,CAAC,GAAG,CAAC,2BAAiB,CAAC,CACjC,CAAC;IAEF,OAAO;QACL,eAAe;QACf,eAAe;KAChB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2CAA2C,GAAG,KAAK,EACvD,UAA4B,EAC5B,QAAkB,EAClB,cAA8B,EAC9B,eAAuB,EACvB,QAAyB,EACQ,EAAE;IACnC,MAAM,OAAO,GAAG,IAAI,wCAAgC,CAAC,QAAS,CAAC,CAAC;IAEhE,MAAM,EAAE,eAAe,EAAE,eAAe,EAAE,GACxC,MAAM,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAE1C,MAAM,eAAe,GAAG,IAAA,wBAAc,EACpC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,oBAAU,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EACxB,eAAe,CACzC,CAAC;IACF,MAAM,eAAe,GAAG,IAAA,yBAAe,EACrC,QAAQ,EACiB,eAAe,CACzC,CAAC;IAEF,OAAO;QACL,eAAe;QACf,eAAe;KAChB,CAAC;AACJ,CAAC,CAAC;AAGK,MAAM,gCAAgC,GAAG,KAAK,EACnD,EAAE,EAAE,EAAE,OAAO,EAAoB,EACjC,UAAgC,EAChC,EAAE;IACF,OAAO,KAAK,CACV,EAAE,EAAE,EAAE,OAAO,EAAE,EACf,uCAAuC,EACvC,UAAU,CACX,CAAC;AACJ,CAAC,CAAC;AATW,QAAA,gCAAgC,oCAS3C;AAGK,MAAM,oCAAoC,GAAG,KAAK,EACvD,EAAE,EAAE,EAAE,OAAO,EAAoB,EACjC,QAAwB,EACxB,UAAgC,EAChC,EAAE;IACF,OAAO,KAAK,CACV,EAAE,EAAE,EAAE,OAAO,EAAE,EACf,2CAA2C,EAC3C,UAAU,EACV,QAAQ,CACT,CAAC;AACJ,CAAC,CAAC;AAXW,QAAA,oCAAoC,wCAW/C;AAEF,MAAM,KAAK,GAAG,KAAK,EACjB,eAAyD,EACzD,gBAAyC,EACzC,UAAgC,EAChC,QAAyB,EACzB,EAAE;IACF,MAAM,GAAG,GAAoB,EAAE,CAAC;IAEhC,MAAM,SAAS,GAAG,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3D,KAAK,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC3B,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,GAC/C,IAAA,2BAAiB,EAAC,QAAQ,CAAC,CAAC;QAE9B,MAAM,eAAe,GAAG,aAAa,CAAC;QACtC,MAAM,UAAU,GAAG,IAAA,0BAAgB,EAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACvE,KAAK;YACL,KAAK;SACN,CAAC,CAAC,CAAC;QAEJ,MAAM,QAAQ,GAAG,IAAA,0BAAgB,EAAC,UAAU,CAAC,CAAC;QAE9C,MAAM,SAAS,GAAG,UAAU;aACzB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,kBAAQ,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC;aACpC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,aAAa,GAAG,UAAU;aAC7B,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,oBAAU,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACb,cAAc,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;YAC5C,KAAK,EAAE,GAAG,CAAC,KAAK;SACjB,CAAC,CAAC,CAAC;QAEN,MAAM,qBAAqB,GAAG,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAE7D,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,UAAU,CAAC,gBAAgB,CAAC,eAAe,EAAE,qBAAqB,CAAC,CAAC;QAC5E,CAAC;QAED,MAAM,EAAE,eAAe,EAAE,eAAe,EAAE,eAAe,EAAE,QAAQ,EAAE,GACnE,MAAM,gBAAgB,CACpB,UAAU,EACV,QAAQ,EACR,qBAAqB,EACrB,eAAe,EACf,QAAQ,CACT,CAAC;QAEJ,MAAM,UAAU,GAAG,UAAU;aAC1B,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,kBAAQ,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC;aACpC,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;YACjB,MAAM,SAAS,GAAG,IAAA,0BAAgB,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAE7C,IAAI,SAAS,IAAI,SAAS,IAAI,EAAE,EAAE,CAAC;gBACjC,OAAO;oBACL,KAAK,EAAE,EAAE,CAAC,KAAK;oBACf,KAAK;iBACN,CAAC;YACJ,CAAC;QACH,CAAC,CAAC;aACD,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAExB,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,eAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC;YACxC,eAAe;YACf,gBAAgB,EAAE,eAAe;YACjC,gBAAgB,EAAE,SAAS;YAC3B,UAAU;YACV,SAAS,EAAE,UAAU,CAAC,MAAM;YAC5B,mBAAmB,EAAE,aAAa;YAClC,QAAQ;YACR,mBAAmB,EAAE,QAAQ,CAAC,MAAM,IAAI,CAAC;SAC1C,CAAC,CAAC;IACL,CAAC;IAED,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,UAAU,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC,CAAC"}

package/dist/ir-notation/parser/parser.validated.d.ts

@@ -0,0 +1,17 @@
+import { TranspilerOutput } from '@guardian-network/shared';
+import { ContractRunner } from 'ethers';
+export declare const TypingsValidator: (provider: ContractRunner) => {
+    innerValidations: (artifactAddress: string, initExecArgumentsConfig: {
+        execArguments: Array<import("@guardian-network/shared").MinTypedValue>;
+        initArguments: Array<import("@guardian-network/shared").MinTypedValue>;
+    }) => Promise<void>;
+    outerValidations: (output: import("@guardian-network/shared").NodeTreeInitData[]) => Promise<void>;
+};
+export declare const getIRParser: (input: TranspilerOutput, provider: ContractRunner) => {
+    validated: {
+        DSL_TYPING: () => Promise<import("@guardian-network/shared").NodeInitDataStruct[]>;
+        ONCHAIN_TYPING: () => Promise<import("@guardian-network/shared").NodeInitDataStruct[]>;
+    };
+};
+export declare const getIRParserUnvalidate: (input: TranspilerOutput) => () => Promise<import("@guardian-network/shared").NodeInitDataStruct[]>;
+//# sourceMappingURL=parser.validated.d.ts.map

package/dist/ir-notation/parser/parser.validated.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.validated.d.ts","sourceRoot":"","sources":["../../../src/ir-notation/parser/parser.validated.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AAOxC,eAAO,MAAM,gBAAgB,aAAc,cAAc;;;;;;CAGvD,CAAC;AAEH,eAAO,MAAM,WAAW,UACf,gBAAgB,YACb,cAAc;;;;;CAoCzB,CAAC;AAEF,eAAO,MAAM,qBAAqB,UAAW,gBAAgB,2EAa5D,CAAC"}

package/dist/ir-notation/parser/parser.validated.js

@@ -0,0 +1,37 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getIRParserUnvalidate = exports.getIRParser = exports.TypingsValidator = void 0;
+const helpers_1 = require("../helpers");
+const parser_contracts_1 = require("./parser-contracts");
+const TypingsValidator = (provider) => ({
+    innerValidations: (0, helpers_1.dslTypesToOnchainTypesParamsValidation)(provider),
+    outerValidations: (0, helpers_1.onchainSubstitutionToReturnTypesValidation)(provider),
+});
+exports.TypingsValidator = TypingsValidator;
+const getIRParser = (input, provider) => {
+    return {
+        validated: {
+            DSL_TYPING: async () => {
+                const parser = parser_contracts_1.ParserWithValidation.fromDSLBasedConfig(input.ir, input.typings, provider);
+                const parsed = await parser.process();
+                return parsed;
+            },
+            ONCHAIN_TYPING: async () => {
+                const parser = parser_contracts_1.ParserWithValidation.fromOnchainSource(input.ir, provider);
+                const parsed = await parser.process();
+                return parsed;
+            },
+        },
+    };
+};
+exports.getIRParser = getIRParser;
+const getIRParserUnvalidate = (input) => {
+    const unvalidateParser = async () => {
+        const parser = parser_contracts_1.ParserWithValidation.fromDSLBasedConfig(input.ir, input.typings);
+        const parsed = await parser.process();
+        return parsed;
+    };
+    return unvalidateParser;
+};
+exports.getIRParserUnvalidate = getIRParserUnvalidate;
+//# sourceMappingURL=parser.validated.js.map

package/dist/ir-notation/parser/parser.validated.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.validated.js","sourceRoot":"","sources":["../../../src/ir-notation/parser/parser.validated.ts"],"names":[],"mappings":";;;AAEA,wCAGoB;AACpB,yDAA0D;AAEnD,MAAM,gBAAgB,GAAG,CAAC,QAAwB,EAAE,EAAE,CAAC,CAAC;IAC7D,gBAAgB,EAAE,IAAA,gDAAsC,EAAC,QAAQ,CAAC;IAClE,gBAAgB,EAAE,IAAA,oDAA0C,EAAC,QAAQ,CAAC;CACvE,CAAC,CAAC;AAHU,QAAA,gBAAgB,oBAG1B;AAEI,MAAM,WAAW,GAAG,CACzB,KAAuB,EACvB,QAAwB,EACxB,EAAE;IAGF,OAAO;QACL,SAAS,EAAE;YACT,UAAU,EAAE,KAAK,IAAI,EAAE;gBACrB,MAAM,MAAM,GAAG,uCAAoB,CAAC,kBAAkB,CACpD,KAAK,CAAC,EAAE,EACR,KAAK,CAAC,OAAO,EACb,QAAQ,CACT,CAAC;gBACF,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC;gBACtC,OAAO,MAAM,CAAC;YAMhB,CAAC;YACD,cAAc,EAAE,KAAK,IAAI,EAAE;gBACzB,MAAM,MAAM,GAAG,uCAAoB,CAAC,iBAAiB,CACnD,KAAK,CAAC,EAAE,EACR,QAAQ,CACT,CAAC;gBACF,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC;gBACtC,OAAO,MAAM,CAAC;YAOhB,CAAC;SACF;KACF,CAAC;AACJ,CAAC,CAAC;AAtCW,QAAA,WAAW,eAsCtB;AAEK,MAAM,qBAAqB,GAAG,CAAC,KAAuB,EAAE,EAAE;IAC/D,MAAM,gBAAgB,GAAG,KAAK,IAAI,EAAE;QAClC,MAAM,MAAM,GAAG,uCAAoB,CAAC,kBAAkB,CACpD,KAAK,CAAC,EAAE,EACR,KAAK,CAAC,OAAO,CACd,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC;QACtC,OAAO,MAAM,CAAC;IAGhB,CAAC,CAAC;IAEF,OAAO,gBAAgB,CAAC;AAC1B,CAAC,CAAC;AAbW,QAAA,qBAAqB,yBAahC"}

package/dist/ir-notation/parser/types.d.ts

@@ -0,0 +1,9 @@
+import { DSLType, InstanceConfig, NodeTreeInitData, SupportedSolidityType } from '@guardian-network/shared';
+export type ParsingResult = NodeTreeInitData;
+export type DslTypeToSolidityType = Record<DSLType, SupportedSolidityType>;
+export declare const DSLTypesMapping: DslTypeToSolidityType;
+export type ValidationMiddlware = {
+    innerValidations: (artifactAddress: string, currentInstanceConfig: InstanceConfig) => Promise<void>;
+    outerValidations: (output: NodeTreeInitData[]) => Promise<void>;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/ir-notation/parser/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/ir-notation/parser/types.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,cAAc,EACd,gBAAgB,EAChB,qBAAqB,EACtB,MAAM,0BAA0B,CAAC;AAElC,MAAM,MAAM,aAAa,GAAG,gBAAgB,CAAC;AAE7C,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;AAE3E,eAAO,MAAM,eAAe,EAAE,qBAQ7B,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,gBAAgB,EAAE,CAChB,eAAe,EAAE,MAAM,EACvB,qBAAqB,EAAE,cAAc,KAClC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,gBAAgB,EAAE,CAAC,MAAM,EAAE,gBAAgB,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACjE,CAAC"}

package/dist/ir-notation/parser/types.js

@@ -0,0 +1,11 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DSLTypesMapping = void 0;
+exports.DSLTypesMapping = {
+    number: 'uint256',
+    address: 'address',
+    bool: 'bool',
+    string: 'string',
+    bytes: 'bytes',
+};
+//# sourceMappingURL=types.js.map

package/dist/ir-notation/parser/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/ir-notation/parser/types.ts"],"names":[],"mappings":";;;AAWa,QAAA,eAAe,GAA0B;IAGpD,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,OAAO;CACf,CAAC"}

package/package.json

@@ -0,0 +1,71 @@
+{
+  "name": "@guardian-network/policy-intermediate-representation",
+  "author": "v.grabovski@lacero.io, vpriadko@lacero.io",
+  "description": "Artifcts high level declaration language",
+  "version": "0.3.2",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "files": [
+    "dist",
+    "src"
+  ],
+  "engines": {
+    "node": ">=18.20.4"
+  },
+  "publishConfig": {
+    "registry": "https://registry.npmjs.org",
+    "access": "public"
+  },
+  "keywords": [],
+  "devDependencies": {
+    "@eslint/eslintrc": "^3.1.0",
+    "@eslint/js": "^9.13.0",
+    "@istanbuljs/nyc-config-typescript": "^1.0.2",
+    "@types/chai": "4.3.3",
+    "@types/mocha": "^10.0.9",
+    "@types/node": "^22.8.0",
+    "@typescript-eslint/eslint-plugin": "^8.61.1",
+    "@typescript-eslint/parser": "^8.8.0",
+    "chai": "^4.5.0",
+    "copyfiles": "^2.4.1",
+    "eslint": "^9.11.1",
+    "eslint-config-prettier": "^9.1.0",
+    "eslint-import-resolver-typescript": "^3.6.3",
+    "eslint-plugin-import": "^2.31.0",
+    "eslint-plugin-mocha": "^10.5.0",
+    "eslint-plugin-n": "^17.10.3",
+    "eslint-plugin-prettier": "^5.2.1",
+    "eslint-plugin-promise": "^7.1.0",
+    "eslint-plugin-unused-imports": "^4.1.4",
+    "globals": "^15.11.0",
+    "mocha": "^10.8.2",
+    "nyc": "^18.0.0",
+    "prettier": "^3.3.3",
+    "prettier-plugin-organize-imports": "^4.1.0",
+    "rimraf": "^6.0.1"
+  },
+  "dependencies": {
+    "dotenv": "^16.4.5",
+    "ethers": "^6.16.0",
+    "ts-node": "^10.9.2",
+    "typescript": "^5.6.2",
+    "@guardian-network/shared": "0.3.2"
+  },
+  "scripts": {
+    "build": "pnpm format:all:fix && tsc -p tsconfig-prod.json && pnpm copy-dts",
+    "check": "pnpm lint:ts && pnpm check:ts",
+    "check:ts": "tsc -p tsconfig-prod.json --noEmit",
+    "check:ts:dev": "tsc -p tsconfig.json --noEmit",
+    "clean": "pnpm remove:dist",
+    "copy-dts": "copyfiles -u 1 \"src/**/*.d.ts\" dist",
+    "format:all:fix": "pnpm format:ts:fix",
+    "format:ts:fix": "prettier -w -c \"src/**/*.ts\" \"test/**/*.ts\"",
+    "lint:ts": "eslint",
+    "lint:ts:fix": "eslint --fix",
+    "publish-package": "pnpm publish --no-git-checks",
+    "remove:dist": "npx rimraf dist",
+    "test": "mocha",
+    "tests:coverage:ts": "nyc pnpm test",
+    "version": "pnpm version"
+  }
+}

package/src/index.ts

@@ -0,0 +1,5 @@
+export {
+  ParserWithValidation,
+  SimplifiedParser,
+  StaticParser,
+} from './ir-notation/parser';

package/src/ir-notation/errors/ErrorFactory.ts

@@ -0,0 +1,25 @@
+import {
+  ExecTypesDoNotMatchError,
+  InitTypesDoNotMatchError,
+  SubstitutionTypesDoNotMatchError,
+} from './validation-errors';
+
+export class ErrorFactory {
+  static initTypesNotMacth = (
+    ...params: Parameters<typeof InitTypesDoNotMatchError.create>
+  ) => {
+    return InitTypesDoNotMatchError.create(...params);
+  };
+
+  static execTypesNotMacth = (
+    ...params: Parameters<typeof ExecTypesDoNotMatchError.create>
+  ) => {
+    return ExecTypesDoNotMatchError.create(...params);
+  };
+
+  static substitutionTypesNotMatch = (
+    ...params: Parameters<typeof SubstitutionTypesDoNotMatchError.create>
+  ) => {
+    return SubstitutionTypesDoNotMatchError.create(...params);
+  };
+}

package/src/ir-notation/errors/index.ts

@@ -0,0 +1 @@
+export * from './ErrorFactory';

package/src/ir-notation/errors/validation-errors.ts

@@ -0,0 +1,38 @@
+import { BaseError } from '@guardian-network/shared';
+
+export class InitTypesDoNotMatchError extends BaseError {
+  static create = (
+    value: string,
+    onchainName: string,
+    onchainType: string,
+    offchainType: string,
+  ) => {
+    const errorMessage = `Initialization value ${value} (onchain name: ${onchainName}) is not matched by type: \r\n Expected onchain: ${onchainType} \r\n Got from DSL: ${offchainType}`;
+    return this.build(errorMessage);
+  };
+}
+
+export class ExecTypesDoNotMatchError extends BaseError {
+  static create = (
+    value: string,
+    onchainName: string,
+    onchainType: string,
+    offchainType: string,
+  ) => {
+    const errorMessage = `Execution value ${value} (onchain name: ${onchainName}) is not matched by type: \r\n Expected onchain: ${onchainType} \r\n Got from DSL: ${offchainType}`;
+    return this.build(errorMessage);
+  };
+}
+
+export class SubstitutionTypesDoNotMatchError extends BaseError {
+  static create = (
+    selfInstanceId: string,
+    refInstanceId: string,
+    selfExecArgName: string,
+    selfExecArgType: string,
+    refInstanceReturnType: string,
+  ) => {
+    const errorMessage = `Instance ${selfInstanceId} has exec argument ${selfExecArgName} of type ${selfExecArgType} that is being substituted with instance ${refInstanceId} of type ${refInstanceReturnType}`;
+    return this.build(errorMessage);
+  };
+}

package/src/ir-notation/helpers/formatters.ts

@@ -0,0 +1,63 @@
+import {
+  defaultAbiCoder,
+  DSLType,
+  SupportedSolidityType,
+} from '@guardian-network/shared';
+import { toTypedWithKnownType } from '.';
+import { DSLTypesMapping } from '../parser/types';
+
+export const bytesEncodeArgs = (
+  args: string[],
+  types: SupportedSolidityType[],
+) => {
+  const typedArgs = args.map((arg, index) =>
+    toTypedWithKnownType(arg, types[index]),
+  );
+
+  return defaultAbiCoder.encode(types, typedArgs);
+};
+
+export const indexConstants = (
+  parameters: { value: string; index: number }[],
+  argsTypes: SupportedSolidityType[],
+) =>
+  parameters.map((arg, index) => ({
+    value: defaultAbiCoder.encode(
+      [argsTypes[index]],
+      [toTypedWithKnownType(arg.value, argsTypes[index])],
+    ),
+    index: arg.index,
+  }));
+
+export function extractComponents(input: string) {
+  const regex = /\{([^}]+)\}\s*\(([^)]*)\)\s*<([^>]*)>/;
+  const match = input.match(regex);
+
+  if (match && match.length === 4) {
+    const [, addressClause, paramsClause, initClause] = match;
+    return { addressClause, paramsClause, initClause };
+  }
+
+  throw new Error('Input string does not match the expected format.');
+}
+
+export function extractArguments(input: string): string[] {
+  if (input.trim() === '') {
+    return [];
+  }
+
+  return input.split(',').map((value) => value.trim());
+}
+
+export function extractInjection(inputString: string): string {
+  const matcher = /\$"([^"]*)"$/;
+  const matched = inputString.match(matcher);
+
+  return matched ? matched[1] : '';
+}
+
+export const DSLTypesToIRTypes = (el: string) => {
+  // significantly un safe assertion
+  const typed = DSLTypesMapping[el as DSLType];
+  return typed;
+};

package/src/ir-notation/helpers/index.ts

@@ -0,0 +1,4 @@
+export * from './formatters';
+export * from './matchers';
+export * from './morphs';
+export * from './validation';

package/src/ir-notation/helpers/matchers.ts

@@ -0,0 +1,12 @@
+export const strIsVar = (str: string): boolean => {
+  return /^var/.test(str);
+};
+export const strIsSubst = (str: string): boolean => {
+  return str[0] == '|' && str[str.length - 1] == '|';
+};
+
+export const isConstant = (arg: string): boolean => {
+  const regex = /^(?!var)(?!\|.*\|$).*/;
+
+  return regex.test(arg);
+};

package/src/ir-notation/helpers/morphs.ts

@@ -0,0 +1,26 @@
+import { SupportedSolidityType } from '@guardian-network/shared';
+import { getAddress, getBytes } from 'ethers';
+
+export const strToBool = (str: string): boolean => {
+  return str == 'true' ? true : false;
+};
+
+export const toTypedWithKnownType = (
+  arg: string,
+  type: SupportedSolidityType,
+) => {
+  switch (type) {
+    case 'address':
+      return getAddress(arg);
+    case 'bool':
+      return strToBool(arg);
+    case 'string':
+      return arg.replace(/^"(.*)"$/, '$1');
+    case 'bytes':
+      return getBytes(arg);
+    case 'uint256':
+      return BigInt(arg);
+    default:
+      throw new Error(`Unsupported constant value type: ${arg}: ${type}`);
+  }
+};

package/src/ir-notation/helpers/validation/index.ts

@@ -0,0 +1 @@
+export * from './typing.validation';