@toolproof-core/genesis 1.0.52 → 1.0.54
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/generated-src/declarations/booleans.d.ts +2 -0
- package/{generated-src → dist/generated-src}/declarations/booleans.json +1 -1
- package/dist/generated-src/declarations/naturals.d.ts +2 -0
- package/{generated-src → dist/generated-src}/declarations/naturals.json +1 -1
- package/dist/generated-src/declarations/resourceTypes.d.ts +2 -0
- package/{generated-src → dist/generated-src}/declarations/resourceTypes.json +1 -1
- package/dist/generated-src/declarations/tools.d.ts +2 -0
- package/{generated-src → dist/generated-src}/declarations/tools.json +1 -1
- package/dist/generated-src/implementations/tools.d.ts +100 -0
- package/dist/generated-src/implementations/tools.js +135 -0
- package/dist/generated-src/lookups/constants.d.ts +195 -0
- package/{generated-src/lookups/constants.ts → dist/generated-src/lookups/constants.js} +68 -2
- package/dist/generated-src/lookups/mappings.d.ts +11 -0
- package/{generated-src/lookups/mappings.ts → dist/generated-src/lookups/mappings.js} +2 -3
- package/dist/generated-src/schemas/schemas.d.ts +2 -0
- package/{generated-src → dist/generated-src}/schemas/schemas.json +1 -1
- package/dist/generated-src/schemas/standalone/Boolean.d.ts +2 -0
- package/dist/generated-src/schemas/standalone/Boolean.json +5 -0
- package/dist/generated-src/schemas/standalone/Error.d.ts +2 -0
- package/dist/generated-src/schemas/standalone/Error.json +78 -0
- package/dist/generated-src/schemas/standalone/Goal.d.ts +2 -0
- package/dist/generated-src/schemas/standalone/Goal.json +53 -0
- package/dist/generated-src/schemas/standalone/Natural.d.ts +2 -0
- package/dist/generated-src/schemas/standalone/Natural.json +6 -0
- package/dist/generated-src/schemas/standalone/Resource.d.ts +2 -0
- package/dist/generated-src/schemas/standalone/Resource.json +166 -0
- package/dist/generated-src/schemas/standalone/ResourceType.d.ts +2 -0
- package/dist/generated-src/schemas/standalone/ResourceType.json +147 -0
- package/dist/generated-src/schemas/standalone/Strategy.d.ts +2 -0
- package/dist/generated-src/schemas/standalone/Strategy.json +637 -0
- package/dist/generated-src/schemas/standalone/StrategyTrace.d.ts +2 -0
- package/dist/generated-src/schemas/standalone/StrategyTrace.json +816 -0
- package/dist/generated-src/schemas/standalone/Suite.d.ts +2 -0
- package/dist/generated-src/schemas/standalone/Suite.json +646 -0
- package/dist/generated-src/schemas/standalone/Tool.d.ts +2 -0
- package/dist/generated-src/schemas/standalone/Tool.json +533 -0
- package/dist/generated-src/schemas/zod/Boolean.d.ts +2 -0
- package/{generated-src/schemas/zod/Boolean.ts → dist/generated-src/schemas/zod/Boolean.js} +1 -4
- package/dist/generated-src/schemas/zod/Error.d.ts +2 -0
- package/dist/generated-src/schemas/zod/Error.js +8 -0
- package/dist/generated-src/schemas/zod/Goal.d.ts +2 -0
- package/dist/generated-src/schemas/zod/Goal.js +5 -0
- package/dist/generated-src/schemas/zod/Natural.d.ts +2 -0
- package/{generated-src/schemas/zod/Natural.ts → dist/generated-src/schemas/zod/Natural.js} +1 -4
- package/dist/generated-src/schemas/zod/Resource.d.ts +2 -0
- package/dist/generated-src/schemas/zod/Resource.js +18 -0
- package/dist/generated-src/schemas/zod/ResourceType.d.ts +2 -0
- package/dist/generated-src/schemas/zod/ResourceType.js +11 -0
- package/dist/generated-src/schemas/zod/Strategy.d.ts +12 -0
- package/dist/generated-src/schemas/zod/Strategy.js +70 -0
- package/dist/generated-src/schemas/zod/StrategyTrace.d.ts +12 -0
- package/dist/generated-src/schemas/zod/StrategyTrace.js +74 -0
- package/dist/generated-src/schemas/zod/Suite.d.ts +15 -0
- package/dist/generated-src/schemas/zod/Suite.js +40 -0
- package/dist/generated-src/schemas/zod/Tool.d.ts +9 -0
- package/dist/generated-src/schemas/zod/Tool.js +30 -0
- package/dist/generated-src/schemas/zod/index.d.ts +10 -0
- package/dist/generated-src/timestampedResources/booleans.d.ts +2 -0
- package/{generated-src → dist/generated-src}/timestampedResources/booleans.json +1 -1
- package/dist/generated-src/timestampedResources/naturals.d.ts +2 -0
- package/{generated-src → dist/generated-src}/timestampedResources/naturals.json +1 -1
- package/dist/generated-src/timestampedResources/resourceTypes.d.ts +2 -0
- package/{generated-src → dist/generated-src}/timestampedResources/resourceTypes.json +1 -1
- package/dist/generated-src/timestampedResources/tools.d.ts +2 -0
- package/{generated-src → dist/generated-src}/timestampedResources/tools.json +1 -1
- package/dist/index.d.ts +1 -0
- package/dist/index.js +1 -0
- package/dist/scripts/_lib/config.d.ts +83 -0
- package/dist/scripts/_lib/config.js +269 -0
- package/dist/scripts/generateConstantsAndMappings.d.ts +1 -0
- package/dist/scripts/generateConstantsAndMappings.js +41 -0
- package/dist/scripts/generateCoreProjection.d.ts +1 -0
- package/dist/scripts/generateCoreProjection.js +56 -0
- package/dist/scripts/generateDeclarations.d.ts +1 -0
- package/dist/scripts/generateDeclarations.js +43 -0
- package/dist/scripts/generateDependencies.d.ts +1 -0
- package/dist/scripts/generateDependencies.js +25 -0
- package/dist/scripts/generateImplementations.d.ts +1 -0
- package/dist/scripts/generateImplementations.js +45 -0
- package/dist/scripts/generateResourceTypes.d.ts +1 -0
- package/dist/scripts/generateResourceTypes.js +33 -0
- package/dist/scripts/generateSchemaShims.d.ts +1 -0
- package/dist/scripts/generateSchemaShims.js +39 -0
- package/dist/scripts/generateStandaloneSchemas.d.ts +1 -0
- package/dist/scripts/generateStandaloneSchemas.js +37 -0
- package/dist/scripts/generateStandaloneTypes.d.ts +1 -0
- package/dist/scripts/generateStandaloneTypes.js +39 -0
- package/dist/scripts/generateStandaloneZodSchemas.d.ts +1 -0
- package/dist/scripts/generateStandaloneZodSchemas.js +36 -0
- package/dist/scripts/generateTerminals.d.ts +1 -0
- package/dist/scripts/generateTerminals.js +26 -0
- package/dist/scripts/generateTimestampedResources.d.ts +1 -0
- package/dist/scripts/generateTimestampedResources.js +79 -0
- package/dist/scripts/generateTypes.d.ts +1 -0
- package/dist/scripts/generateTypes.js +40 -0
- package/dist/scripts/normalizeAnchorsToPointers.d.ts +1 -0
- package/dist/scripts/normalizeAnchorsToPointers.js +32 -0
- package/dist/src/utils/constantsAndMappings.d.ts +20 -2
- package/dist/src/utils/constantsAndMappings.js +113 -5
- package/dist/tsconfig.tsbuildinfo +1 -0
- package/package.json +42 -8
- package/generated-src/implementations/tools.ts +0 -214
- package/generated-src/metadata/Core.json +0 -1929
- package/generated-src/metadata/dependencyMap.json +0 -297
- package/generated-src/metadata/terminals.json +0 -16
- package/generated-src/schemas/standalone/Boolean.json +0 -5
- package/generated-src/schemas/standalone/Error.json +0 -78
- package/generated-src/schemas/standalone/Goal.json +0 -53
- package/generated-src/schemas/standalone/Natural.json +0 -6
- package/generated-src/schemas/standalone/Resource.json +0 -166
- package/generated-src/schemas/standalone/ResourceType.json +0 -147
- package/generated-src/schemas/standalone/Strategy.json +0 -637
- package/generated-src/schemas/standalone/StrategyTrace.json +0 -816
- package/generated-src/schemas/standalone/Suite.json +0 -646
- package/generated-src/schemas/standalone/Tool.json +0 -533
- package/generated-src/schemas/zod/Error.ts +0 -11
- package/generated-src/schemas/zod/Goal.ts +0 -8
- package/generated-src/schemas/zod/Resource.ts +0 -21
- package/generated-src/schemas/zod/ResourceType.ts +0 -14
- package/generated-src/schemas/zod/Strategy.ts +0 -68
- package/generated-src/schemas/zod/StrategyTrace.ts +0 -75
- package/generated-src/schemas/zod/Suite.ts +0 -44
- package/generated-src/schemas/zod/Tool.ts +0 -34
- package/src/declarations/booleans.json +0 -4
- package/src/declarations/naturals.json +0 -13
- package/src/declarations/resourceTypes/resourceTypeShells.json +0 -53
- package/src/declarations/resourceTypes/schemas.json +0 -1839
- package/src/declarations/tools.json +0 -705
- package/src/implementations/tools.ts +0 -214
- package/src/index.ts +0 -131
- package/src/utils/constantsAndMappings.ts +0 -195
- package/src/utils/coreProjection.ts +0 -53
- package/src/utils/resourceTypes.ts +0 -71
- package/src/utils/schemaDependencies.ts +0 -115
- package/src/utils/schemaObjectNormalization.ts +0 -71
- package/src/utils/schemaRefNormalization.ts +0 -83
- package/src/utils/schemaShims.ts +0 -17
- package/src/utils/standaloneSchemas.ts +0 -114
- package/src/utils/standaloneTypes.ts +0 -28
- package/src/utils/standaloneZodSchemas.ts +0 -72
- package/src/utils/timestampedResources.ts +0 -42
- package/src/utils/typeGeneration.ts +0 -31
- package/src/utils/typeGenerationPostProcess.ts +0 -246
- package/src/utils/typeGenerationPreflight.ts +0 -119
- package/src/utils/zodCodegen.ts +0 -549
- /package/{generated-src/declarations/booleans.ts → dist/generated-src/declarations/booleans.js} +0 -0
- /package/{generated-src/declarations/naturals.ts → dist/generated-src/declarations/naturals.js} +0 -0
- /package/{generated-src/declarations/resourceTypes.ts → dist/generated-src/declarations/resourceTypes.js} +0 -0
- /package/{generated-src/declarations/tools.ts → dist/generated-src/declarations/tools.js} +0 -0
- /package/{generated-src/schemas/schemas.ts → dist/generated-src/schemas/schemas.js} +0 -0
- /package/{generated-src/schemas/standalone/Boolean.ts → dist/generated-src/schemas/standalone/Boolean.js} +0 -0
- /package/{generated-src/schemas/standalone/Error.ts → dist/generated-src/schemas/standalone/Error.js} +0 -0
- /package/{generated-src/schemas/standalone/Goal.ts → dist/generated-src/schemas/standalone/Goal.js} +0 -0
- /package/{generated-src/schemas/standalone/Natural.ts → dist/generated-src/schemas/standalone/Natural.js} +0 -0
- /package/{generated-src/schemas/standalone/Resource.ts → dist/generated-src/schemas/standalone/Resource.js} +0 -0
- /package/{generated-src/schemas/standalone/ResourceType.ts → dist/generated-src/schemas/standalone/ResourceType.js} +0 -0
- /package/{generated-src/schemas/standalone/Strategy.ts → dist/generated-src/schemas/standalone/Strategy.js} +0 -0
- /package/{generated-src/schemas/standalone/StrategyTrace.ts → dist/generated-src/schemas/standalone/StrategyTrace.js} +0 -0
- /package/{generated-src/schemas/standalone/Suite.ts → dist/generated-src/schemas/standalone/Suite.js} +0 -0
- /package/{generated-src/schemas/standalone/Tool.ts → dist/generated-src/schemas/standalone/Tool.js} +0 -0
- /package/{generated-src/schemas/zod/index.ts → dist/generated-src/schemas/zod/index.js} +0 -0
- /package/{generated-src/timestampedResources/booleans.ts → dist/generated-src/timestampedResources/booleans.js} +0 -0
- /package/{generated-src/timestampedResources/naturals.ts → dist/generated-src/timestampedResources/naturals.js} +0 -0
- /package/{generated-src/timestampedResources/resourceTypes.ts → dist/generated-src/timestampedResources/resourceTypes.js} +0 -0
- /package/{generated-src/timestampedResources/tools.ts → dist/generated-src/timestampedResources/tools.js} +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/BooleanResource.d.ts +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/BooleanResource.js +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/ErrorResource.d.ts +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/ErrorResource.js +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/GoalResource.d.ts +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/GoalResource.js +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/NaturalResource.d.ts +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/NaturalResource.js +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/ResourceResource.d.ts +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/ResourceResource.js +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/ResourceTypeResource.d.ts +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/ResourceTypeResource.js +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/StrategyResource.d.ts +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/StrategyResource.js +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/StrategyTraceResource.d.ts +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/StrategyTraceResource.js +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/SuiteResource.d.ts +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/SuiteResource.js +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/ToolResource.d.ts +0 -0
- /package/{generated-src → dist/generated-src}/types/standalone/ToolResource.js +0 -0
- /package/{generated-src → dist/generated-src}/types/types.d.ts +0 -0
- /package/{generated-src → dist/generated-src}/types/types.js +0 -0
|
@@ -0,0 +1,100 @@
|
|
|
1
|
+
import type { Boolean, Natural, ResourceType, Tool } from '../types/types.js';
|
|
2
|
+
type GenericAssignmentByRoleName<GenericRoleName extends string> = Record<GenericRoleName, ResourceType>;
|
|
3
|
+
type InstantiationToolHandleBySpecializationKey = Record<string, Tool>;
|
|
4
|
+
type TemplateInputs<GenericRoleName extends string> = {
|
|
5
|
+
GenericAssignmentByRoleName: GenericAssignmentByRoleName<GenericRoleName>;
|
|
6
|
+
InstantiationToolHandleBySpecializationKey: InstantiationToolHandleBySpecializationKey;
|
|
7
|
+
};
|
|
8
|
+
type TemplateOutputs = {
|
|
9
|
+
InstantiationTool: Tool;
|
|
10
|
+
};
|
|
11
|
+
type OperandTemplateInputs = TemplateInputs<'OperandType'>;
|
|
12
|
+
export declare function createSpecializationKey(assignments: Record<string, ResourceType>): string;
|
|
13
|
+
export declare function Identity(inputs: OperandTemplateInputs): TemplateOutputs;
|
|
14
|
+
export declare function Add(inputs: OperandTemplateInputs): TemplateOutputs;
|
|
15
|
+
export declare function Subtract(inputs: OperandTemplateInputs): TemplateOutputs;
|
|
16
|
+
export declare function Multiply(inputs: OperandTemplateInputs): TemplateOutputs;
|
|
17
|
+
export declare function Divide(inputs: OperandTemplateInputs): TemplateOutputs;
|
|
18
|
+
export declare function Double(inputs: OperandTemplateInputs): TemplateOutputs;
|
|
19
|
+
export declare function LessThan(inputs: OperandTemplateInputs): TemplateOutputs;
|
|
20
|
+
export declare function BooleanIdentity(inputs: {
|
|
21
|
+
In: Boolean;
|
|
22
|
+
}): {
|
|
23
|
+
Out: Boolean;
|
|
24
|
+
};
|
|
25
|
+
export declare function NaturalIdentity(inputs: {
|
|
26
|
+
In: Natural;
|
|
27
|
+
}): {
|
|
28
|
+
Out: Natural;
|
|
29
|
+
};
|
|
30
|
+
export declare function NaturalLessThan(inputs: {
|
|
31
|
+
LessThanSource: Natural;
|
|
32
|
+
LessThanTarget: Natural;
|
|
33
|
+
}): {
|
|
34
|
+
LessThanDecision: Boolean;
|
|
35
|
+
};
|
|
36
|
+
export declare function NaturalAdd(inputs: {
|
|
37
|
+
AddendOne: Natural;
|
|
38
|
+
AddendTwo: Natural;
|
|
39
|
+
}): {
|
|
40
|
+
Sum: Natural;
|
|
41
|
+
};
|
|
42
|
+
export declare function NaturalSubtract(inputs: {
|
|
43
|
+
Minuend: Natural;
|
|
44
|
+
Subtrahend: Natural;
|
|
45
|
+
}): {
|
|
46
|
+
Difference: Natural;
|
|
47
|
+
};
|
|
48
|
+
export declare function NaturalMultiply(inputs: {
|
|
49
|
+
Multiplicand: Natural;
|
|
50
|
+
Multiplier: Natural;
|
|
51
|
+
}): {
|
|
52
|
+
Product: Natural;
|
|
53
|
+
};
|
|
54
|
+
export declare function NaturalDivide(inputs: {
|
|
55
|
+
Dividend: Natural;
|
|
56
|
+
Divisor: Natural;
|
|
57
|
+
}): {
|
|
58
|
+
Quotient: Natural;
|
|
59
|
+
Remainder: Natural;
|
|
60
|
+
};
|
|
61
|
+
export declare function NaturalDouble(inputs: {
|
|
62
|
+
N: Natural;
|
|
63
|
+
}): {
|
|
64
|
+
Doubled: Natural;
|
|
65
|
+
};
|
|
66
|
+
export declare const TOOL_IMPLEMENTATION_BY_NAME: {
|
|
67
|
+
readonly Identity: typeof Identity;
|
|
68
|
+
readonly Add: typeof Add;
|
|
69
|
+
readonly Subtract: typeof Subtract;
|
|
70
|
+
readonly Multiply: typeof Multiply;
|
|
71
|
+
readonly Divide: typeof Divide;
|
|
72
|
+
readonly Double: typeof Double;
|
|
73
|
+
readonly LessThan: typeof LessThan;
|
|
74
|
+
readonly BooleanIdentity: typeof BooleanIdentity;
|
|
75
|
+
readonly NaturalIdentity: typeof NaturalIdentity;
|
|
76
|
+
readonly NaturalLessThan: typeof NaturalLessThan;
|
|
77
|
+
readonly NaturalAdd: typeof NaturalAdd;
|
|
78
|
+
readonly NaturalSubtract: typeof NaturalSubtract;
|
|
79
|
+
readonly NaturalMultiply: typeof NaturalMultiply;
|
|
80
|
+
readonly NaturalDivide: typeof NaturalDivide;
|
|
81
|
+
readonly NaturalDouble: typeof NaturalDouble;
|
|
82
|
+
};
|
|
83
|
+
export declare const TOOL_IMPLEMENTATION_BY_HANDLE: {
|
|
84
|
+
readonly 'TOOL-Identity': typeof Identity;
|
|
85
|
+
readonly 'TOOL-Add': typeof Add;
|
|
86
|
+
readonly 'TOOL-Subtract': typeof Subtract;
|
|
87
|
+
readonly 'TOOL-Multiply': typeof Multiply;
|
|
88
|
+
readonly 'TOOL-Divide': typeof Divide;
|
|
89
|
+
readonly 'TOOL-Double': typeof Double;
|
|
90
|
+
readonly 'TOOL-LessThan': typeof LessThan;
|
|
91
|
+
readonly 'TOOL-BooleanIdentity': typeof BooleanIdentity;
|
|
92
|
+
readonly 'TOOL-NaturalIdentity': typeof NaturalIdentity;
|
|
93
|
+
readonly 'TOOL-NaturalLessThan': typeof NaturalLessThan;
|
|
94
|
+
readonly 'TOOL-NaturalAdd': typeof NaturalAdd;
|
|
95
|
+
readonly 'TOOL-NaturalSubtract': typeof NaturalSubtract;
|
|
96
|
+
readonly 'TOOL-NaturalMultiply': typeof NaturalMultiply;
|
|
97
|
+
readonly 'TOOL-NaturalDivide': typeof NaturalDivide;
|
|
98
|
+
readonly 'TOOL-NaturalDouble': typeof NaturalDouble;
|
|
99
|
+
};
|
|
100
|
+
export {};
|
|
@@ -0,0 +1,135 @@
|
|
|
1
|
+
const OPERAND_TYPE_ROLE_NAMES = ['OperandType'];
|
|
2
|
+
function assertExactKeys(actualKeys, expectedKeys, label) {
|
|
3
|
+
const sortedActualKeys = [...actualKeys].sort();
|
|
4
|
+
const sortedExpectedKeys = [...expectedKeys].sort();
|
|
5
|
+
if (sortedActualKeys.length !== sortedExpectedKeys.length) {
|
|
6
|
+
throw new Error(`${label} must contain exactly [${sortedExpectedKeys.join(', ')}], got [${sortedActualKeys.join(', ')}]`);
|
|
7
|
+
}
|
|
8
|
+
for (let index = 0; index < sortedExpectedKeys.length; index += 1) {
|
|
9
|
+
if (sortedActualKeys[index] !== sortedExpectedKeys[index]) {
|
|
10
|
+
throw new Error(`${label} must contain exactly [${sortedExpectedKeys.join(', ')}], got [${sortedActualKeys.join(', ')}]`);
|
|
11
|
+
}
|
|
12
|
+
}
|
|
13
|
+
}
|
|
14
|
+
function asNatural(value, label) {
|
|
15
|
+
if (!Number.isInteger(value) || value < 0) {
|
|
16
|
+
throw new Error(`${label} must be a non-negative integer, got ${value}`);
|
|
17
|
+
}
|
|
18
|
+
return value;
|
|
19
|
+
}
|
|
20
|
+
export function createSpecializationKey(assignments) {
|
|
21
|
+
return JSON.stringify(Object.entries(assignments)
|
|
22
|
+
.sort(([leftRoleName], [rightRoleName]) => leftRoleName.localeCompare(rightRoleName))
|
|
23
|
+
.map(([roleName, resourceType]) => [roleName, resourceType.handle]));
|
|
24
|
+
}
|
|
25
|
+
function resolveTemplateInstantiation(inputs, expectedGenericRoleNames) {
|
|
26
|
+
const { GenericAssignmentByRoleName, InstantiationToolHandleBySpecializationKey } = inputs;
|
|
27
|
+
assertExactKeys(Object.keys(GenericAssignmentByRoleName), expectedGenericRoleNames, 'GenericAssignmentByRoleName');
|
|
28
|
+
const specializationKey = createSpecializationKey(GenericAssignmentByRoleName);
|
|
29
|
+
const instantiationTool = InstantiationToolHandleBySpecializationKey[specializationKey];
|
|
30
|
+
if (!instantiationTool) {
|
|
31
|
+
throw new Error(`No instantiation tool registered for specializationKey ${specializationKey}`);
|
|
32
|
+
}
|
|
33
|
+
return {
|
|
34
|
+
InstantiationTool: instantiationTool,
|
|
35
|
+
};
|
|
36
|
+
}
|
|
37
|
+
export function Identity(inputs) {
|
|
38
|
+
return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
|
|
39
|
+
}
|
|
40
|
+
export function Add(inputs) {
|
|
41
|
+
return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
|
|
42
|
+
}
|
|
43
|
+
export function Subtract(inputs) {
|
|
44
|
+
return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
|
|
45
|
+
}
|
|
46
|
+
export function Multiply(inputs) {
|
|
47
|
+
return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
|
|
48
|
+
}
|
|
49
|
+
export function Divide(inputs) {
|
|
50
|
+
return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
|
|
51
|
+
}
|
|
52
|
+
export function Double(inputs) {
|
|
53
|
+
return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
|
|
54
|
+
}
|
|
55
|
+
export function LessThan(inputs) {
|
|
56
|
+
return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
|
|
57
|
+
}
|
|
58
|
+
export function BooleanIdentity(inputs) {
|
|
59
|
+
return {
|
|
60
|
+
Out: inputs.In,
|
|
61
|
+
};
|
|
62
|
+
}
|
|
63
|
+
export function NaturalIdentity(inputs) {
|
|
64
|
+
return {
|
|
65
|
+
Out: inputs.In,
|
|
66
|
+
};
|
|
67
|
+
}
|
|
68
|
+
export function NaturalLessThan(inputs) {
|
|
69
|
+
return {
|
|
70
|
+
LessThanDecision: inputs.LessThanSource < inputs.LessThanTarget,
|
|
71
|
+
};
|
|
72
|
+
}
|
|
73
|
+
export function NaturalAdd(inputs) {
|
|
74
|
+
return {
|
|
75
|
+
Sum: asNatural(inputs.AddendOne + inputs.AddendTwo, 'Sum'),
|
|
76
|
+
};
|
|
77
|
+
}
|
|
78
|
+
export function NaturalSubtract(inputs) {
|
|
79
|
+
return {
|
|
80
|
+
Difference: asNatural(inputs.Minuend - inputs.Subtrahend, 'Difference'),
|
|
81
|
+
};
|
|
82
|
+
}
|
|
83
|
+
export function NaturalMultiply(inputs) {
|
|
84
|
+
return {
|
|
85
|
+
Product: asNatural(inputs.Multiplicand * inputs.Multiplier, 'Product'),
|
|
86
|
+
};
|
|
87
|
+
}
|
|
88
|
+
export function NaturalDivide(inputs) {
|
|
89
|
+
if (inputs.Divisor === 0) {
|
|
90
|
+
throw new Error('Divisor must be non-zero');
|
|
91
|
+
}
|
|
92
|
+
return {
|
|
93
|
+
Quotient: asNatural(Math.floor(inputs.Dividend / inputs.Divisor), 'Quotient'),
|
|
94
|
+
Remainder: asNatural(inputs.Dividend % inputs.Divisor, 'Remainder'),
|
|
95
|
+
};
|
|
96
|
+
}
|
|
97
|
+
export function NaturalDouble(inputs) {
|
|
98
|
+
return {
|
|
99
|
+
Doubled: asNatural(inputs.N * 2, 'Doubled'),
|
|
100
|
+
};
|
|
101
|
+
}
|
|
102
|
+
export const TOOL_IMPLEMENTATION_BY_NAME = {
|
|
103
|
+
Identity,
|
|
104
|
+
Add,
|
|
105
|
+
Subtract,
|
|
106
|
+
Multiply,
|
|
107
|
+
Divide,
|
|
108
|
+
Double,
|
|
109
|
+
LessThan,
|
|
110
|
+
BooleanIdentity,
|
|
111
|
+
NaturalIdentity,
|
|
112
|
+
NaturalLessThan,
|
|
113
|
+
NaturalAdd,
|
|
114
|
+
NaturalSubtract,
|
|
115
|
+
NaturalMultiply,
|
|
116
|
+
NaturalDivide,
|
|
117
|
+
NaturalDouble,
|
|
118
|
+
};
|
|
119
|
+
export const TOOL_IMPLEMENTATION_BY_HANDLE = {
|
|
120
|
+
'TOOL-Identity': Identity,
|
|
121
|
+
'TOOL-Add': Add,
|
|
122
|
+
'TOOL-Subtract': Subtract,
|
|
123
|
+
'TOOL-Multiply': Multiply,
|
|
124
|
+
'TOOL-Divide': Divide,
|
|
125
|
+
'TOOL-Double': Double,
|
|
126
|
+
'TOOL-LessThan': LessThan,
|
|
127
|
+
'TOOL-BooleanIdentity': BooleanIdentity,
|
|
128
|
+
'TOOL-NaturalIdentity': NaturalIdentity,
|
|
129
|
+
'TOOL-NaturalLessThan': NaturalLessThan,
|
|
130
|
+
'TOOL-NaturalAdd': NaturalAdd,
|
|
131
|
+
'TOOL-NaturalSubtract': NaturalSubtract,
|
|
132
|
+
'TOOL-NaturalMultiply': NaturalMultiply,
|
|
133
|
+
'TOOL-NaturalDivide': NaturalDivide,
|
|
134
|
+
'TOOL-NaturalDouble': NaturalDouble,
|
|
135
|
+
};
|
|
@@ -0,0 +1,195 @@
|
|
|
1
|
+
declare const CONSTANTS: {
|
|
2
|
+
readonly Names: {
|
|
3
|
+
readonly AtomicTypeRef: "AtomicTypeRef";
|
|
4
|
+
readonly BaseResource: "BaseResource";
|
|
5
|
+
readonly BaseStrategy: "BaseStrategy";
|
|
6
|
+
readonly BaseToolStepPathSpec: "BaseToolStepPathSpec";
|
|
7
|
+
readonly BaseTracePoint: "BaseTracePoint";
|
|
8
|
+
readonly Boolean: "Boolean";
|
|
9
|
+
readonly BranchStep: "BranchStep";
|
|
10
|
+
readonly Case: "Case";
|
|
11
|
+
readonly ContainerKind: "ContainerKind";
|
|
12
|
+
readonly DeferredStrategyProvenance: "DeferredStrategyProvenance";
|
|
13
|
+
readonly Description: "Description";
|
|
14
|
+
readonly DescriptionFacet: "DescriptionFacet";
|
|
15
|
+
readonly DocumentationSpec: "DocumentationSpec";
|
|
16
|
+
readonly Embedding: "Embedding";
|
|
17
|
+
readonly Error: "Error";
|
|
18
|
+
readonly ExternalInputPotential: "ExternalInputPotential";
|
|
19
|
+
readonly ForStep: "ForStep";
|
|
20
|
+
readonly GenesisProvenance: "GenesisProvenance";
|
|
21
|
+
readonly Goal: "Goal";
|
|
22
|
+
readonly GoalHandle: "GoalHandle";
|
|
23
|
+
readonly GraphEndTracePoint: "GraphEndTracePoint";
|
|
24
|
+
readonly GraphStartTracePoint: "GraphStartTracePoint";
|
|
25
|
+
readonly InputPotential: "InputPotential";
|
|
26
|
+
readonly InputResource: "InputResource";
|
|
27
|
+
readonly InternalInputPotential: "InternalInputPotential";
|
|
28
|
+
readonly InterruptTracePoint: "InterruptTracePoint";
|
|
29
|
+
readonly JsonScalarLink: "JsonScalarLink";
|
|
30
|
+
readonly JsonSchemaObject: "JsonSchemaObject";
|
|
31
|
+
readonly Name: "Name";
|
|
32
|
+
readonly NameFacet: "NameFacet";
|
|
33
|
+
readonly Natural: "Natural";
|
|
34
|
+
readonly OutputAddress: "OutputAddress";
|
|
35
|
+
readonly Provenance: "Provenance";
|
|
36
|
+
readonly ProvenanceFacet: "ProvenanceFacet";
|
|
37
|
+
readonly ProvenanceKind: "ProvenanceKind";
|
|
38
|
+
readonly Resource: "Resource";
|
|
39
|
+
readonly ResourceId: "ResourceId";
|
|
40
|
+
readonly ResourcePointer: "ResourcePointer";
|
|
41
|
+
readonly ResourceType: "ResourceType";
|
|
42
|
+
readonly ResourceTypeHandle: "ResourceTypeHandle";
|
|
43
|
+
readonly RoleBindingSpec: "RoleBindingSpec";
|
|
44
|
+
readonly RoleBindingSpecFacet: "RoleBindingSpecFacet";
|
|
45
|
+
readonly RoleName: "RoleName";
|
|
46
|
+
readonly RoleNameArray: "RoleNameArray";
|
|
47
|
+
readonly RoleSpec: "RoleSpec";
|
|
48
|
+
readonly RoleSpecFacet: "RoleSpecFacet";
|
|
49
|
+
readonly RoleValue: "RoleValue";
|
|
50
|
+
readonly RoleValueByName: "RoleValueByName";
|
|
51
|
+
readonly Step: "Step";
|
|
52
|
+
readonly StepArray: "StepArray";
|
|
53
|
+
readonly StepArrayArray: "StepArrayArray";
|
|
54
|
+
readonly StepKind: "StepKind";
|
|
55
|
+
readonly StepKindFacet: "StepKindFacet";
|
|
56
|
+
readonly StepsByThreadIndexFacet: "StepsByThreadIndexFacet";
|
|
57
|
+
readonly StepsFacet: "StepsFacet";
|
|
58
|
+
readonly Strategy: "Strategy";
|
|
59
|
+
readonly StrategyHandle: "StrategyHandle";
|
|
60
|
+
readonly StrategyKind: "StrategyKind";
|
|
61
|
+
readonly StrategyProvenance: "StrategyProvenance";
|
|
62
|
+
readonly StrategyStateInputEntry: "StrategyStateInputEntry";
|
|
63
|
+
readonly StrategyStateInputEntryByRoleName: "StrategyStateInputEntryByRoleName";
|
|
64
|
+
readonly StrategyStateInputKind: "StrategyStateInputKind";
|
|
65
|
+
readonly StrategyTrace: "StrategyTrace";
|
|
66
|
+
readonly StrategyTraceHandle: "StrategyTraceHandle";
|
|
67
|
+
readonly Suite: "Suite";
|
|
68
|
+
readonly SuiteIngestorInputSchema: "SuiteIngestorInputSchema";
|
|
69
|
+
readonly ThreadedStrategy: "ThreadedStrategy";
|
|
70
|
+
readonly ThreadedStrategyFacet: "ThreadedStrategyFacet";
|
|
71
|
+
readonly ThreadedStrategyState: "ThreadedStrategyState";
|
|
72
|
+
readonly ThreadedStrategyStateFacet: "ThreadedStrategyStateFacet";
|
|
73
|
+
readonly ThreadedToolStepPath: "ThreadedToolStepPath";
|
|
74
|
+
readonly ThreadedToolStepPathSpec: "ThreadedToolStepPathSpec";
|
|
75
|
+
readonly TickTracePoint: "TickTracePoint";
|
|
76
|
+
readonly TimestampedResource: "TimestampedResource";
|
|
77
|
+
readonly Tool: "Tool";
|
|
78
|
+
readonly ToolHandle: "ToolHandle";
|
|
79
|
+
readonly ToolStep: "ToolStep";
|
|
80
|
+
readonly ToolStepPath: "ToolStepPath";
|
|
81
|
+
readonly ToolStepPathSlot: "ToolStepPathSlot";
|
|
82
|
+
readonly ToolStepPathSlotFacet: "ToolStepPathSlotFacet";
|
|
83
|
+
readonly TracePoint: "TracePoint";
|
|
84
|
+
readonly TracePointCounterSnapshot: "TracePointCounterSnapshot";
|
|
85
|
+
readonly TracePointDelta: "TracePointDelta";
|
|
86
|
+
readonly TracePointKind: "TracePointKind";
|
|
87
|
+
readonly TypeRef: "TypeRef";
|
|
88
|
+
readonly UnthreadedStrategy: "UnthreadedStrategy";
|
|
89
|
+
readonly UnthreadedStrategyState: "UnthreadedStrategyState";
|
|
90
|
+
readonly UnthreadedStrategyStateFacet: "UnthreadedStrategyStateFacet";
|
|
91
|
+
readonly UnthreadedToolStepPath: "UnthreadedToolStepPath";
|
|
92
|
+
readonly UnthreadedToolStepPathSpec: "UnthreadedToolStepPathSpec";
|
|
93
|
+
readonly WhileStep: "WhileStep";
|
|
94
|
+
};
|
|
95
|
+
readonly Handles: {
|
|
96
|
+
readonly ResourceTypes: {
|
|
97
|
+
readonly TYPE_Boolean: "TYPE-Boolean";
|
|
98
|
+
readonly TYPE_Error: "TYPE-Error";
|
|
99
|
+
readonly TYPE_Goal: "TYPE-Goal";
|
|
100
|
+
readonly TYPE_Natural: "TYPE-Natural";
|
|
101
|
+
readonly TYPE_Resource: "TYPE-Resource";
|
|
102
|
+
readonly TYPE_ResourceType: "TYPE-ResourceType";
|
|
103
|
+
readonly TYPE_Strategy: "TYPE-Strategy";
|
|
104
|
+
readonly TYPE_StrategyTrace: "TYPE-StrategyTrace";
|
|
105
|
+
readonly TYPE_Suite: "TYPE-Suite";
|
|
106
|
+
readonly TYPE_Tool: "TYPE-Tool";
|
|
107
|
+
};
|
|
108
|
+
readonly Tools: {
|
|
109
|
+
readonly TOOL_Add: "TOOL-Add";
|
|
110
|
+
readonly TOOL_BooleanIdentity: "TOOL-BooleanIdentity";
|
|
111
|
+
readonly TOOL_Divide: "TOOL-Divide";
|
|
112
|
+
readonly TOOL_Double: "TOOL-Double";
|
|
113
|
+
readonly TOOL_Identity: "TOOL-Identity";
|
|
114
|
+
readonly TOOL_LessThan: "TOOL-LessThan";
|
|
115
|
+
readonly TOOL_Multiply: "TOOL-Multiply";
|
|
116
|
+
readonly TOOL_NaturalAdd: "TOOL-NaturalAdd";
|
|
117
|
+
readonly TOOL_NaturalDivide: "TOOL-NaturalDivide";
|
|
118
|
+
readonly TOOL_NaturalDouble: "TOOL-NaturalDouble";
|
|
119
|
+
readonly TOOL_NaturalIdentity: "TOOL-NaturalIdentity";
|
|
120
|
+
readonly TOOL_NaturalLessThan: "TOOL-NaturalLessThan";
|
|
121
|
+
readonly TOOL_NaturalMultiply: "TOOL-NaturalMultiply";
|
|
122
|
+
readonly TOOL_NaturalSubtract: "TOOL-NaturalSubtract";
|
|
123
|
+
readonly TOOL_Subtract: "TOOL-Subtract";
|
|
124
|
+
};
|
|
125
|
+
};
|
|
126
|
+
readonly ToolRoleNames: {
|
|
127
|
+
readonly TOOL_Add: {
|
|
128
|
+
readonly AddendOne: "AddendOne";
|
|
129
|
+
readonly AddendTwo: "AddendTwo";
|
|
130
|
+
readonly Sum: "Sum";
|
|
131
|
+
};
|
|
132
|
+
readonly TOOL_Divide: {
|
|
133
|
+
readonly Dividend: "Dividend";
|
|
134
|
+
readonly Divisor: "Divisor";
|
|
135
|
+
readonly Quotient: "Quotient";
|
|
136
|
+
readonly Remainder: "Remainder";
|
|
137
|
+
};
|
|
138
|
+
readonly TOOL_Double: {
|
|
139
|
+
readonly Doubled: "Doubled";
|
|
140
|
+
readonly N: "N";
|
|
141
|
+
};
|
|
142
|
+
readonly TOOL_Identity: {
|
|
143
|
+
readonly In: "In";
|
|
144
|
+
readonly Out: "Out";
|
|
145
|
+
};
|
|
146
|
+
readonly TOOL_LessThan: {
|
|
147
|
+
readonly LessThanDecision: "LessThanDecision";
|
|
148
|
+
readonly LessThanSource: "LessThanSource";
|
|
149
|
+
readonly LessThanTarget: "LessThanTarget";
|
|
150
|
+
};
|
|
151
|
+
readonly TOOL_Multiply: {
|
|
152
|
+
readonly Multiplicand: "Multiplicand";
|
|
153
|
+
readonly Multiplier: "Multiplier";
|
|
154
|
+
readonly Product: "Product";
|
|
155
|
+
};
|
|
156
|
+
readonly TOOL_Subtract: {
|
|
157
|
+
readonly Difference: "Difference";
|
|
158
|
+
readonly Minuend: "Minuend";
|
|
159
|
+
readonly Subtrahend: "Subtrahend";
|
|
160
|
+
};
|
|
161
|
+
};
|
|
162
|
+
readonly Enums: {
|
|
163
|
+
readonly ContainerKind: {
|
|
164
|
+
readonly scalar: "scalar";
|
|
165
|
+
readonly array: "array";
|
|
166
|
+
readonly map: "map";
|
|
167
|
+
};
|
|
168
|
+
readonly ProvenanceKind: {
|
|
169
|
+
readonly genesis: "genesis";
|
|
170
|
+
readonly strategy: "strategy";
|
|
171
|
+
};
|
|
172
|
+
readonly StepKind: {
|
|
173
|
+
readonly tool: "tool";
|
|
174
|
+
readonly branch: "branch";
|
|
175
|
+
readonly while: "while";
|
|
176
|
+
readonly for: "for";
|
|
177
|
+
};
|
|
178
|
+
readonly StrategyKind: {
|
|
179
|
+
readonly unthreaded: "unthreaded";
|
|
180
|
+
readonly threaded: "threaded";
|
|
181
|
+
};
|
|
182
|
+
readonly StrategyStateInputKind: {
|
|
183
|
+
readonly inputResource: "inputResource";
|
|
184
|
+
readonly externalInputPotential: "externalInputPotential";
|
|
185
|
+
readonly internalInputPotential: "internalInputPotential";
|
|
186
|
+
};
|
|
187
|
+
readonly TracePointKind: {
|
|
188
|
+
readonly graph_start: "graph_start";
|
|
189
|
+
readonly tick: "tick";
|
|
190
|
+
readonly interrupt: "interrupt";
|
|
191
|
+
readonly graph_end: "graph_end";
|
|
192
|
+
};
|
|
193
|
+
};
|
|
194
|
+
};
|
|
195
|
+
export default CONSTANTS;
|
|
@@ -92,6 +92,73 @@ const CONSTANTS = {
|
|
|
92
92
|
UnthreadedToolStepPathSpec: 'UnthreadedToolStepPathSpec',
|
|
93
93
|
WhileStep: 'WhileStep',
|
|
94
94
|
},
|
|
95
|
+
Handles: {
|
|
96
|
+
ResourceTypes: {
|
|
97
|
+
TYPE_Boolean: 'TYPE-Boolean',
|
|
98
|
+
TYPE_Error: 'TYPE-Error',
|
|
99
|
+
TYPE_Goal: 'TYPE-Goal',
|
|
100
|
+
TYPE_Natural: 'TYPE-Natural',
|
|
101
|
+
TYPE_Resource: 'TYPE-Resource',
|
|
102
|
+
TYPE_ResourceType: 'TYPE-ResourceType',
|
|
103
|
+
TYPE_Strategy: 'TYPE-Strategy',
|
|
104
|
+
TYPE_StrategyTrace: 'TYPE-StrategyTrace',
|
|
105
|
+
TYPE_Suite: 'TYPE-Suite',
|
|
106
|
+
TYPE_Tool: 'TYPE-Tool',
|
|
107
|
+
},
|
|
108
|
+
Tools: {
|
|
109
|
+
TOOL_Add: 'TOOL-Add',
|
|
110
|
+
TOOL_BooleanIdentity: 'TOOL-BooleanIdentity',
|
|
111
|
+
TOOL_Divide: 'TOOL-Divide',
|
|
112
|
+
TOOL_Double: 'TOOL-Double',
|
|
113
|
+
TOOL_Identity: 'TOOL-Identity',
|
|
114
|
+
TOOL_LessThan: 'TOOL-LessThan',
|
|
115
|
+
TOOL_Multiply: 'TOOL-Multiply',
|
|
116
|
+
TOOL_NaturalAdd: 'TOOL-NaturalAdd',
|
|
117
|
+
TOOL_NaturalDivide: 'TOOL-NaturalDivide',
|
|
118
|
+
TOOL_NaturalDouble: 'TOOL-NaturalDouble',
|
|
119
|
+
TOOL_NaturalIdentity: 'TOOL-NaturalIdentity',
|
|
120
|
+
TOOL_NaturalLessThan: 'TOOL-NaturalLessThan',
|
|
121
|
+
TOOL_NaturalMultiply: 'TOOL-NaturalMultiply',
|
|
122
|
+
TOOL_NaturalSubtract: 'TOOL-NaturalSubtract',
|
|
123
|
+
TOOL_Subtract: 'TOOL-Subtract',
|
|
124
|
+
},
|
|
125
|
+
},
|
|
126
|
+
ToolRoleNames: {
|
|
127
|
+
TOOL_Add: {
|
|
128
|
+
AddendOne: 'AddendOne',
|
|
129
|
+
AddendTwo: 'AddendTwo',
|
|
130
|
+
Sum: 'Sum',
|
|
131
|
+
},
|
|
132
|
+
TOOL_Divide: {
|
|
133
|
+
Dividend: 'Dividend',
|
|
134
|
+
Divisor: 'Divisor',
|
|
135
|
+
Quotient: 'Quotient',
|
|
136
|
+
Remainder: 'Remainder',
|
|
137
|
+
},
|
|
138
|
+
TOOL_Double: {
|
|
139
|
+
Doubled: 'Doubled',
|
|
140
|
+
N: 'N',
|
|
141
|
+
},
|
|
142
|
+
TOOL_Identity: {
|
|
143
|
+
In: 'In',
|
|
144
|
+
Out: 'Out',
|
|
145
|
+
},
|
|
146
|
+
TOOL_LessThan: {
|
|
147
|
+
LessThanDecision: 'LessThanDecision',
|
|
148
|
+
LessThanSource: 'LessThanSource',
|
|
149
|
+
LessThanTarget: 'LessThanTarget',
|
|
150
|
+
},
|
|
151
|
+
TOOL_Multiply: {
|
|
152
|
+
Multiplicand: 'Multiplicand',
|
|
153
|
+
Multiplier: 'Multiplier',
|
|
154
|
+
Product: 'Product',
|
|
155
|
+
},
|
|
156
|
+
TOOL_Subtract: {
|
|
157
|
+
Difference: 'Difference',
|
|
158
|
+
Minuend: 'Minuend',
|
|
159
|
+
Subtrahend: 'Subtrahend',
|
|
160
|
+
},
|
|
161
|
+
},
|
|
95
162
|
Enums: {
|
|
96
163
|
ContainerKind: {
|
|
97
164
|
scalar: 'scalar',
|
|
@@ -124,6 +191,5 @@ const CONSTANTS = {
|
|
|
124
191
|
graph_end: 'graph_end',
|
|
125
192
|
},
|
|
126
193
|
}
|
|
127
|
-
}
|
|
128
|
-
|
|
194
|
+
};
|
|
129
195
|
export default CONSTANTS;
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
declare const MAPPINGS: {
|
|
2
|
+
readonly IdentifierNameToPrefix: {
|
|
3
|
+
readonly GoalHandle: "GOAL-";
|
|
4
|
+
readonly ResourceId: "RESOURCE-";
|
|
5
|
+
readonly ResourceTypeHandle: "TYPE-";
|
|
6
|
+
readonly StrategyHandle: "STRATEGY-";
|
|
7
|
+
readonly StrategyTraceHandle: "STRATEGY_TRACE-";
|
|
8
|
+
readonly ToolHandle: "TOOL-";
|
|
9
|
+
};
|
|
10
|
+
};
|
|
11
|
+
export default MAPPINGS;
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
const MAPPINGS = {
|
|
2
|
-
|
|
2
|
+
IdentifierNameToPrefix: {
|
|
3
3
|
GoalHandle: 'GOAL-',
|
|
4
4
|
ResourceId: 'RESOURCE-',
|
|
5
5
|
ResourceTypeHandle: 'TYPE-',
|
|
@@ -7,6 +7,5 @@ const MAPPINGS = {
|
|
|
7
7
|
StrategyTraceHandle: 'STRATEGY_TRACE-',
|
|
8
8
|
ToolHandle: 'TOOL-',
|
|
9
9
|
},
|
|
10
|
-
}
|
|
11
|
-
|
|
10
|
+
};
|
|
12
11
|
export default MAPPINGS;
|