@toolproof-core/genesis 1.0.53 → 1.0.55
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} +2 -3
- package/dist/generated-src/lookups/mappings.d.ts +11 -0
- package/{generated-src/lookups/mappings.ts → dist/generated-src/lookups/mappings.js} +1 -2
- package/dist/generated-src/schemas/schemas.d.ts +2 -0
- package/{generated-src → dist/generated-src}/schemas/schemas.json +8 -8
- 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/{generated-src → dist/generated-src}/types/types.d.ts +4 -4
- 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/index.d.ts +1 -1
- 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 -361
- 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.js +0 -0
|
@@ -0,0 +1,53 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"type": "object",
|
|
4
|
+
"required": [
|
|
5
|
+
"handle",
|
|
6
|
+
"target"
|
|
7
|
+
],
|
|
8
|
+
"properties": {
|
|
9
|
+
"handle": {
|
|
10
|
+
"$ref": "#/$defs/GoalHandle"
|
|
11
|
+
},
|
|
12
|
+
"target": {
|
|
13
|
+
"type": "integer",
|
|
14
|
+
"minimum": 0
|
|
15
|
+
},
|
|
16
|
+
"disallowedTools": {
|
|
17
|
+
"type": "array",
|
|
18
|
+
"items": {
|
|
19
|
+
"$ref": "#/$defs/ToolHandle"
|
|
20
|
+
}
|
|
21
|
+
},
|
|
22
|
+
"disallowedSequences": {
|
|
23
|
+
"type": "array",
|
|
24
|
+
"items": {
|
|
25
|
+
"type": "array",
|
|
26
|
+
"items": {
|
|
27
|
+
"$ref": "#/$defs/ToolHandle"
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
},
|
|
31
|
+
"minSteps": {
|
|
32
|
+
"type": "integer",
|
|
33
|
+
"minimum": 1
|
|
34
|
+
},
|
|
35
|
+
"maxSteps": {
|
|
36
|
+
"type": "integer",
|
|
37
|
+
"minimum": 1
|
|
38
|
+
}
|
|
39
|
+
},
|
|
40
|
+
"unevaluatedProperties": false,
|
|
41
|
+
"$defs": {
|
|
42
|
+
"GoalHandle": {
|
|
43
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
44
|
+
"type": "string",
|
|
45
|
+
"pattern": "^GOAL-.+$"
|
|
46
|
+
},
|
|
47
|
+
"ToolHandle": {
|
|
48
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
49
|
+
"type": "string",
|
|
50
|
+
"pattern": "^TOOL-.+$"
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
}
|
|
@@ -0,0 +1,166 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"type": "object",
|
|
4
|
+
"$ref": "#/$defs/BaseResource",
|
|
5
|
+
"unevaluatedProperties": false,
|
|
6
|
+
"$defs": {
|
|
7
|
+
"BaseResource": {
|
|
8
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
9
|
+
"type": "object",
|
|
10
|
+
"required": [
|
|
11
|
+
"projection"
|
|
12
|
+
],
|
|
13
|
+
"properties": {
|
|
14
|
+
"projection": true
|
|
15
|
+
},
|
|
16
|
+
"$comment": "The projection field stores the Core-visible JSON projection of the Resource, not the raw underlying artifact. This will be overlaid dynamically to match the data structure of the underlying ResourceType's projectionSchema.",
|
|
17
|
+
"allOf": [
|
|
18
|
+
{
|
|
19
|
+
"$ref": "#/$defs/ResourcePointer"
|
|
20
|
+
}
|
|
21
|
+
]
|
|
22
|
+
},
|
|
23
|
+
"ResourcePointer": {
|
|
24
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
25
|
+
"type": "object",
|
|
26
|
+
"required": [
|
|
27
|
+
"id",
|
|
28
|
+
"resourceTypeHandle"
|
|
29
|
+
],
|
|
30
|
+
"properties": {
|
|
31
|
+
"id": {
|
|
32
|
+
"$ref": "#/$defs/ResourceId"
|
|
33
|
+
},
|
|
34
|
+
"resourceTypeHandle": {
|
|
35
|
+
"$ref": "#/$defs/ResourceTypeHandle"
|
|
36
|
+
}
|
|
37
|
+
},
|
|
38
|
+
"allOf": [
|
|
39
|
+
{
|
|
40
|
+
"$ref": "#/$defs/ProvenanceFacet"
|
|
41
|
+
}
|
|
42
|
+
],
|
|
43
|
+
"unevaluatedProperties": false
|
|
44
|
+
},
|
|
45
|
+
"ResourceId": {
|
|
46
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
47
|
+
"type": "string",
|
|
48
|
+
"pattern": "^RESOURCE-.+$"
|
|
49
|
+
},
|
|
50
|
+
"ResourceTypeHandle": {
|
|
51
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
52
|
+
"type": "string",
|
|
53
|
+
"pattern": "^TYPE-.+$"
|
|
54
|
+
},
|
|
55
|
+
"ProvenanceFacet": {
|
|
56
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
57
|
+
"type": "object",
|
|
58
|
+
"required": [
|
|
59
|
+
"provenance"
|
|
60
|
+
],
|
|
61
|
+
"properties": {
|
|
62
|
+
"provenance": {
|
|
63
|
+
"$ref": "#/$defs/Provenance"
|
|
64
|
+
}
|
|
65
|
+
}
|
|
66
|
+
},
|
|
67
|
+
"Provenance": {
|
|
68
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
69
|
+
"oneOf": [
|
|
70
|
+
{
|
|
71
|
+
"$ref": "#/$defs/GenesisProvenance"
|
|
72
|
+
},
|
|
73
|
+
{
|
|
74
|
+
"$ref": "#/$defs/StrategyProvenance"
|
|
75
|
+
}
|
|
76
|
+
]
|
|
77
|
+
},
|
|
78
|
+
"GenesisProvenance": {
|
|
79
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
80
|
+
"type": "object",
|
|
81
|
+
"required": [
|
|
82
|
+
"provenanceKind"
|
|
83
|
+
],
|
|
84
|
+
"properties": {
|
|
85
|
+
"provenanceKind": {
|
|
86
|
+
"const": "genesis"
|
|
87
|
+
}
|
|
88
|
+
},
|
|
89
|
+
"unevaluatedProperties": false
|
|
90
|
+
},
|
|
91
|
+
"StrategyProvenance": {
|
|
92
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
93
|
+
"type": "object",
|
|
94
|
+
"required": [
|
|
95
|
+
"provenanceKind",
|
|
96
|
+
"strategyTraceHandle",
|
|
97
|
+
"toolStepRoleAddress"
|
|
98
|
+
],
|
|
99
|
+
"properties": {
|
|
100
|
+
"provenanceKind": {
|
|
101
|
+
"const": "strategy"
|
|
102
|
+
},
|
|
103
|
+
"strategyTraceHandle": {
|
|
104
|
+
"$ref": "#/$defs/StrategyTraceHandle"
|
|
105
|
+
},
|
|
106
|
+
"toolStepRoleAddress": {
|
|
107
|
+
"$ref": "#/$defs/ToolStepRoleAddress"
|
|
108
|
+
}
|
|
109
|
+
},
|
|
110
|
+
"unevaluatedProperties": false
|
|
111
|
+
},
|
|
112
|
+
"StrategyTraceHandle": {
|
|
113
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
114
|
+
"type": "string",
|
|
115
|
+
"pattern": "^STRATEGY_TRACE-.+$"
|
|
116
|
+
},
|
|
117
|
+
"ToolStepRoleAddress": {
|
|
118
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
119
|
+
"type": "object",
|
|
120
|
+
"required": [
|
|
121
|
+
"roleName",
|
|
122
|
+
"toolStepPath"
|
|
123
|
+
],
|
|
124
|
+
"properties": {
|
|
125
|
+
"roleName": {
|
|
126
|
+
"$ref": "#/$defs/RoleName"
|
|
127
|
+
},
|
|
128
|
+
"toolStepPath": {
|
|
129
|
+
"$ref": "#/$defs/ToolStepPath"
|
|
130
|
+
}
|
|
131
|
+
},
|
|
132
|
+
"unevaluatedProperties": false
|
|
133
|
+
},
|
|
134
|
+
"RoleName": {
|
|
135
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
136
|
+
"$ref": "#/$defs/Name"
|
|
137
|
+
},
|
|
138
|
+
"ToolStepPath": {
|
|
139
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
140
|
+
"oneOf": [
|
|
141
|
+
{
|
|
142
|
+
"$ref": "#/$defs/UnthreadedToolStepPath"
|
|
143
|
+
},
|
|
144
|
+
{
|
|
145
|
+
"$ref": "#/$defs/ThreadedToolStepPath"
|
|
146
|
+
}
|
|
147
|
+
]
|
|
148
|
+
},
|
|
149
|
+
"Name": {
|
|
150
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
151
|
+
"type": "string",
|
|
152
|
+
"minLength": 1,
|
|
153
|
+
"pattern": "^[A-Z][a-zA-Z0-9]*$",
|
|
154
|
+
"$comment": "Validation is intercepted by an AI Agent that verifies the name against Toolproof's naming conventions.",
|
|
155
|
+
"semanticValidation": "Ajv custom keyword to verify name."
|
|
156
|
+
},
|
|
157
|
+
"UnthreadedToolStepPath": {
|
|
158
|
+
"type": "string",
|
|
159
|
+
"pattern": "^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
|
|
160
|
+
},
|
|
161
|
+
"ThreadedToolStepPath": {
|
|
162
|
+
"type": "string",
|
|
163
|
+
"pattern": "^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
|
|
164
|
+
}
|
|
165
|
+
}
|
|
166
|
+
}
|
|
@@ -0,0 +1,147 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"type": "object",
|
|
4
|
+
"required": [
|
|
5
|
+
"handle"
|
|
6
|
+
],
|
|
7
|
+
"semanticValidation": "If ingestorToolHandle is present, verify that it references an existing non-template Tool whose distinguished raw-instance input semantically matches ingestorToolInputSchema when provided, whose distinguished Boolean output reports whether the raw instance is valid for this ResourceType, and whose distinguished projection output is typed as this ResourceType and conforms to projectionSchema when projectionSchema is present.",
|
|
8
|
+
"properties": {
|
|
9
|
+
"handle": {
|
|
10
|
+
"$ref": "#/$defs/ResourceTypeHandle"
|
|
11
|
+
},
|
|
12
|
+
"projectionSchema": {
|
|
13
|
+
"$ref": "#/$defs/JsonSchemaObject"
|
|
14
|
+
},
|
|
15
|
+
"ingestorToolHandle": {
|
|
16
|
+
"$ref": "#/$defs/ToolHandle"
|
|
17
|
+
},
|
|
18
|
+
"ingestorToolInputSchema": {
|
|
19
|
+
"$ref": "#/$defs/JsonSchemaObject"
|
|
20
|
+
},
|
|
21
|
+
"embeddingModelTools": {
|
|
22
|
+
"type": "array",
|
|
23
|
+
"items": {
|
|
24
|
+
"$ref": "#/$defs/ToolHandle"
|
|
25
|
+
},
|
|
26
|
+
"minItems": 1,
|
|
27
|
+
"$comment": "A ResourceType may specify a set of embeddingModelTools that convert the raw data (or one of its alternative representations) into vector embeddings. The build process enforces that the entries are members of a set of predefined embeddingModelTools."
|
|
28
|
+
}
|
|
29
|
+
},
|
|
30
|
+
"allOf": [
|
|
31
|
+
{
|
|
32
|
+
"$ref": "#/$defs/DocumentationSpec"
|
|
33
|
+
},
|
|
34
|
+
{
|
|
35
|
+
"$comment": "A ResourceType ultimately describes both raw instances and their Core-visible JSON projection. Inside ToolProof Core, the ResourceType denotes the projection. projectionSchema describes the shape of that Core-visible projection. ingestorToolHandle identifies the Tool that ingests raw instances for this ResourceType by validating them against the built-in format grammar and, when projectionSchema is present, emitting the corresponding projection for Core. ingestorToolInputSchema describes the raw-instance input accepted by that ingestor. A ResourceType must specify either a projectionSchema or an ingestorToolHandle, or both. If only a projectionSchema is specified, the author relies on schema-based validation of the Core-visible projection and does not designate an ingestor. If only an ingestorToolHandle is specified, the author designates an ingestor that is authoritative for validating raw instances of the ResourceType. If both are specified, the ingestor must emit projections that conform to projectionSchema.",
|
|
36
|
+
"anyOf": [
|
|
37
|
+
{
|
|
38
|
+
"required": [
|
|
39
|
+
"projectionSchema"
|
|
40
|
+
]
|
|
41
|
+
},
|
|
42
|
+
{
|
|
43
|
+
"required": [
|
|
44
|
+
"ingestorToolHandle"
|
|
45
|
+
]
|
|
46
|
+
}
|
|
47
|
+
]
|
|
48
|
+
},
|
|
49
|
+
{
|
|
50
|
+
"if": {
|
|
51
|
+
"required": [
|
|
52
|
+
"ingestorToolInputSchema"
|
|
53
|
+
]
|
|
54
|
+
},
|
|
55
|
+
"then": {
|
|
56
|
+
"required": [
|
|
57
|
+
"ingestorToolHandle"
|
|
58
|
+
]
|
|
59
|
+
}
|
|
60
|
+
}
|
|
61
|
+
],
|
|
62
|
+
"unevaluatedProperties": false,
|
|
63
|
+
"$defs": {
|
|
64
|
+
"ResourceTypeHandle": {
|
|
65
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
66
|
+
"type": "string",
|
|
67
|
+
"pattern": "^TYPE-.+$"
|
|
68
|
+
},
|
|
69
|
+
"JsonSchemaObject": {
|
|
70
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
71
|
+
"type": "object",
|
|
72
|
+
"required": [
|
|
73
|
+
"$schema"
|
|
74
|
+
],
|
|
75
|
+
"properties": {
|
|
76
|
+
"$schema": {
|
|
77
|
+
"const": "https://json-schema.org/draft/2020-12/schema"
|
|
78
|
+
}
|
|
79
|
+
},
|
|
80
|
+
"additionalProperties": true
|
|
81
|
+
},
|
|
82
|
+
"ToolHandle": {
|
|
83
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
84
|
+
"type": "string",
|
|
85
|
+
"pattern": "^TOOL-.+$"
|
|
86
|
+
},
|
|
87
|
+
"DocumentationSpec": {
|
|
88
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
89
|
+
"type": "object",
|
|
90
|
+
"allOf": [
|
|
91
|
+
{
|
|
92
|
+
"$ref": "#/$defs/NameFacet"
|
|
93
|
+
},
|
|
94
|
+
{
|
|
95
|
+
"type": "object",
|
|
96
|
+
"properties": {
|
|
97
|
+
"symbol": {
|
|
98
|
+
"type": "string"
|
|
99
|
+
}
|
|
100
|
+
}
|
|
101
|
+
},
|
|
102
|
+
{
|
|
103
|
+
"$ref": "#/$defs/DescriptionFacet"
|
|
104
|
+
}
|
|
105
|
+
]
|
|
106
|
+
},
|
|
107
|
+
"NameFacet": {
|
|
108
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
109
|
+
"type": "object",
|
|
110
|
+
"required": [
|
|
111
|
+
"name"
|
|
112
|
+
],
|
|
113
|
+
"properties": {
|
|
114
|
+
"name": {
|
|
115
|
+
"$ref": "#/$defs/Name"
|
|
116
|
+
}
|
|
117
|
+
}
|
|
118
|
+
},
|
|
119
|
+
"DescriptionFacet": {
|
|
120
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
121
|
+
"type": "object",
|
|
122
|
+
"required": [
|
|
123
|
+
"description"
|
|
124
|
+
],
|
|
125
|
+
"properties": {
|
|
126
|
+
"description": {
|
|
127
|
+
"$ref": "#/$defs/Description"
|
|
128
|
+
}
|
|
129
|
+
}
|
|
130
|
+
},
|
|
131
|
+
"Name": {
|
|
132
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
133
|
+
"type": "string",
|
|
134
|
+
"minLength": 1,
|
|
135
|
+
"pattern": "^[A-Z][a-zA-Z0-9]*$",
|
|
136
|
+
"$comment": "Validation is intercepted by an AI Agent that verifies the name against Toolproof's naming conventions.",
|
|
137
|
+
"semanticValidation": "Ajv custom keyword to verify name."
|
|
138
|
+
},
|
|
139
|
+
"Description": {
|
|
140
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
141
|
+
"type": "string",
|
|
142
|
+
"minLength": 1,
|
|
143
|
+
"$comment": "Validation is intercepted by an AI Agent that verifies the description against Toolproof's documentation standards.",
|
|
144
|
+
"semanticValidation": "Ajv custom keyword to verify description."
|
|
145
|
+
}
|
|
146
|
+
}
|
|
147
|
+
}
|