@toolproof-core/genesis 1.0.53 → 1.0.54

package/dist/generated-src/schemas/standalone/Strategy.json

@@ -0,0 +1,637 @@
+{
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "oneOf": [
+        {
+            "$ref": "#/$defs/UnthreadedStrategy"
+        },
+        {
+            "$ref": "#/$defs/ThreadedStrategy"
+        }
+    ],
+    "$defs": {
+        "UnthreadedStrategy": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/BaseStrategy"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "strategyKind": {
+                            "const": "unthreaded"
+                        }
+                    }
+                },
+                {
+                    "$ref": "#/$defs/StepsFacet"
+                },
+                {
+                    "$ref": "#/$defs/UnthreadedStrategyStateFacet"
+                }
+            ],
+            "unevaluatedProperties": false
+        },
+        "ThreadedStrategy": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/BaseStrategy"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "strategyKind": {
+                            "const": "threaded"
+                        }
+                    }
+                },
+                {
+                    "$ref": "#/$defs/StepsByThreadIndexFacet"
+                },
+                {
+                    "$ref": "#/$defs/ThreadedStrategyStateFacet"
+                }
+            ],
+            "unevaluatedProperties": false
+        },
+        "BaseStrategy": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "handle",
+                "strategyKind"
+            ],
+            "properties": {
+                "handle": {
+                    "$ref": "#/$defs/StrategyHandle"
+                },
+                "strategyKind": {
+                    "$ref": "#/$defs/StrategyKind"
+                }
+            }
+        },
+        "StepsFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "steps"
+            ],
+            "properties": {
+                "steps": {
+                    "$ref": "#/$defs/StepArray"
+                }
+            }
+        },
+        "UnthreadedStrategyStateFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "strategyState"
+            ],
+            "properties": {
+                "strategyState": {
+                    "$ref": "#/$defs/UnthreadedStrategyState"
+                }
+            }
+        },
+        "StepsByThreadIndexFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "stepsByThreadIndex"
+            ],
+            "properties": {
+                "stepsByThreadIndex": {
+                    "$ref": "#/$defs/StepArrayArray"
+                }
+            }
+        },
+        "ThreadedStrategyStateFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "strategyState"
+            ],
+            "properties": {
+                "strategyState": {
+                    "$ref": "#/$defs/ThreadedStrategyState"
+                }
+            }
+        },
+        "StrategyHandle": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^STRATEGY-.+$"
+        },
+        "StrategyKind": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "enum": [
+                "unthreaded",
+                "threaded"
+            ]
+        },
+        "StepArray": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "array",
+            "items": {
+                "$ref": "#/$defs/Step"
+            },
+            "uniqueItems": true
+        },
+        "UnthreadedStrategyState": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/UnthreadedToolStepPath"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/StrategyStateInputEntryByRoleName"
+            }
+        },
+        "StepArrayArray": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "array",
+            "items": {
+                "$ref": "#/$defs/StepArray"
+            }
+        },
+        "ThreadedStrategyState": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/ThreadedToolStepPath"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/StrategyStateInputEntryByRoleName"
+            }
+        },
+        "Step": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/ToolStep"
+                },
+                {
+                    "$ref": "#/$defs/BranchStep"
+                },
+                {
+                    "$ref": "#/$defs/WhileStep"
+                },
+                {
+                    "$ref": "#/$defs/ForStep"
+                }
+            ],
+            "unevaluatedProperties": false
+        },
+        "UnthreadedToolStepPath": {
+            "type": "string",
+            "pattern": "^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
+        },
+        "StrategyStateInputEntryByRoleName": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/RoleName"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/StrategyStateInputEntry"
+            }
+        },
+        "ThreadedToolStepPath": {
+            "type": "string",
+            "pattern": "^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
+        },
+        "ToolStep": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "stepKind",
+                "toolHandle"
+            ],
+            "properties": {
+                "stepKind": {
+                    "const": "tool"
+                },
+                "toolHandle": {
+                    "$ref": "#/$defs/ToolHandle"
+                }
+            },
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                },
+                {
+                    "$comment": "This will be overlaid dynamically to specify roleBindingSpec corresponding to the roleSpec of the underlying tool.",
+                    "$ref": "#/$defs/RoleBindingSpecFacet"
+                }
+            ]
+        },
+        "BranchStep": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "stepKind",
+                "cases"
+            ],
+            "properties": {
+                "stepKind": {
+                    "const": "branch"
+                },
+                "cases": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/Case"
+                    },
+                    "minItems": 1,
+                    "uniqueItems": true
+                }
+            },
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                }
+            ]
+        },
+        "WhileStep": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "stepKind",
+                "case"
+            ],
+            "properties": {
+                "stepKind": {
+                    "const": "while"
+                },
+                "case": {
+                    "$ref": "#/$defs/Case"
+                }
+            },
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                }
+            ]
+        },
+        "ForStep": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "stepKind",
+                "case"
+            ],
+            "properties": {
+                "stepKind": {
+                    "const": "for"
+                },
+                "case": {
+                    "$ref": "#/$defs/Case"
+                }
+            },
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                }
+            ]
+        },
+        "RoleName": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "$ref": "#/$defs/Name"
+        },
+        "StrategyStateInputEntry": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/InputPotential"
+                },
+                {
+                    "$ref": "#/$defs/InputResource"
+                }
+            ]
+        },
+        "ToolHandle": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^TOOL-.+$"
+        },
+        "StepKindFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "stepKind"
+            ],
+            "properties": {
+                "stepKind": {
+                    "$ref": "#/$defs/StepKind"
+                }
+            }
+        },
+        "RoleBindingSpecFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "roleBindingSpec"
+            ],
+            "properties": {
+                "roleBindingSpec": {
+                    "$ref": "#/$defs/RoleBindingSpec"
+                }
+            }
+        },
+        "Case": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "when",
+                "what"
+            ],
+            "properties": {
+                "when": {
+                    "$ref": "#/$defs/ToolStep"
+                },
+                "what": {
+                    "$ref": "#/$defs/ToolStep"
+                }
+            },
+            "unevaluatedProperties": false
+        },
+        "Name": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "minLength": 1,
+            "pattern": "^[A-Z][a-zA-Z0-9]*$",
+            "$comment": "Validation is intercepted by an AI Agent that verifies the name against Toolproof's naming conventions.",
+            "semanticValidation": "Ajv custom keyword to verify name."
+        },
+        "InputPotential": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/ExternalInputPotential"
+                },
+                {
+                    "$ref": "#/$defs/InternalInputPotential"
+                }
+            ]
+        },
+        "InputResource": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "strategyStateInputKind"
+            ],
+            "properties": {
+                "strategyStateInputKind": {
+                    "const": "inputResource"
+                }
+            },
+            "allOf": [
+                {
+                    "$ref": "#/$defs/BaseResource"
+                }
+            ],
+            "unevaluatedProperties": false
+        },
+        "StepKind": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "enum": [
+                "tool",
+                "branch",
+                "while",
+                "for"
+            ]
+        },
+        "RoleBindingSpec": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "inputBindings",
+                "outputBindings"
+            ],
+            "properties": {
+                "inputBindings": {
+                    "$ref": "#/$defs/RoleNameArray"
+                },
+                "outputBindings": {
+                    "$ref": "#/$defs/RoleNameArray"
+                }
+            },
+            "unevaluatedProperties": false
+        },
+        "ExternalInputPotential": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "strategyStateInputKind",
+                "id",
+                "resourceTypeHandle"
+            ],
+            "properties": {
+                "strategyStateInputKind": {
+                    "const": "externalInputPotential"
+                },
+                "id": {
+                    "$ref": "#/$defs/ResourceId"
+                },
+                "resourceTypeHandle": {
+                    "$ref": "#/$defs/ResourceTypeHandle"
+                }
+            },
+            "unevaluatedProperties": false
+        },
+        "InternalInputPotential": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "strategyStateInputKind",
+                "id",
+                "resourceTypeHandle",
+                "provenance"
+            ],
+            "properties": {
+                "strategyStateInputKind": {
+                    "const": "internalInputPotential"
+                },
+                "id": {
+                    "$ref": "#/$defs/ResourceId"
+                },
+                "resourceTypeHandle": {
+                    "$ref": "#/$defs/ResourceTypeHandle"
+                },
+                "provenance": {
+                    "$ref": "#/$defs/DeferredStrategyProvenance"
+                }
+            },
+            "unevaluatedProperties": false
+        },
+        "BaseResource": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "projection"
+            ],
+            "properties": {
+                "projection": true
+            },
+            "$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.",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/ResourcePointer"
+                }
+            ]
+        },
+        "RoleNameArray": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "array",
+            "items": {
+                "$ref": "#/$defs/RoleName"
+            }
+        },
+        "ResourceId": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^RESOURCE-.+$"
+        },
+        "ResourceTypeHandle": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^TYPE-.+$"
+        },
+        "DeferredStrategyProvenance": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "$comment": "Build-time strategy provenance without strategyTraceHandle. strategyTraceHandle is only known at runtime.",
+            "type": "object",
+            "required": [
+                "provenanceKind",
+                "outputAddress"
+            ],
+            "properties": {
+                "provenanceKind": {
+                    "const": "strategy"
+                },
+                "outputAddress": {
+                    "$ref": "#/$defs/OutputAddress"
+                }
+            },
+            "unevaluatedProperties": false
+        },
+        "ResourcePointer": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "id",
+                "resourceTypeHandle"
+            ],
+            "properties": {
+                "id": {
+                    "$ref": "#/$defs/ResourceId"
+                },
+                "resourceTypeHandle": {
+                    "$ref": "#/$defs/ResourceTypeHandle"
+                }
+            },
+            "allOf": [
+                {
+                    "$ref": "#/$defs/ProvenanceFacet"
+                }
+            ],
+            "unevaluatedProperties": false
+        },
+        "OutputAddress": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "roleName",
+                "toolStepPath"
+            ],
+            "properties": {
+                "roleName": {
+                    "$ref": "#/$defs/RoleName"
+                },
+                "toolStepPath": {
+                    "$ref": "#/$defs/ToolStepPath"
+                }
+            },
+            "unevaluatedProperties": false
+        },
+        "ProvenanceFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "provenance"
+            ],
+            "properties": {
+                "provenance": {
+                    "$ref": "#/$defs/Provenance"
+                }
+            }
+        },
+        "ToolStepPath": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/UnthreadedToolStepPath"
+                },
+                {
+                    "$ref": "#/$defs/ThreadedToolStepPath"
+                }
+            ]
+        },
+        "Provenance": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/GenesisProvenance"
+                },
+                {
+                    "$ref": "#/$defs/StrategyProvenance"
+                }
+            ]
+        },
+        "GenesisProvenance": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "provenanceKind"
+            ],
+            "properties": {
+                "provenanceKind": {
+                    "const": "genesis"
+                }
+            },
+            "unevaluatedProperties": false
+        },
+        "StrategyProvenance": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "provenanceKind",
+                "strategyTraceHandle",
+                "outputAddress"
+            ],
+            "properties": {
+                "provenanceKind": {
+                    "const": "strategy"
+                },
+                "strategyTraceHandle": {
+                    "$ref": "#/$defs/StrategyTraceHandle"
+                },
+                "outputAddress": {
+                    "$ref": "#/$defs/OutputAddress"
+                }
+            },
+            "unevaluatedProperties": false
+        },
+        "StrategyTraceHandle": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^STRATEGY_TRACE-.+$"
+        }
+    }
+}

package/dist/generated-src/schemas/standalone/StrategyTrace.d.ts

@@ -0,0 +1,2 @@
+import schema from './StrategyTrace.json';
+export default schema;