@toolproof-core/genesis 1.0.53 → 1.0.54

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

@@ -0,0 +1,816 @@
+{
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "type": "object",
+    "required": [
+        "handle",
+        "strategyHandle",
+        "tracePoints"
+    ],
+    "properties": {
+        "handle": {
+            "$ref": "#/$defs/StrategyTraceHandle"
+        },
+        "strategyHandle": {
+            "$comment": "Could be derived from the first event but useful for indexing.",
+            "$ref": "#/$defs/StrategyHandle"
+        },
+        "tracePoints": {
+            "type": "array",
+            "items": {
+                "$ref": "#/$defs/TracePoint"
+            }
+        }
+    },
+    "unevaluatedProperties": false,
+    "$defs": {
+        "StrategyTraceHandle": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^STRATEGY_TRACE-.+$"
+        },
+        "StrategyHandle": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^STRATEGY-.+$"
+        },
+        "TracePoint": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/GraphStartTracePoint"
+                },
+                {
+                    "$ref": "#/$defs/TickTracePoint"
+                },
+                {
+                    "$ref": "#/$defs/InterruptTracePoint"
+                },
+                {
+                    "$ref": "#/$defs/GraphEndTracePoint"
+                }
+            ]
+        },
+        "GraphStartTracePoint": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/BaseTracePoint"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "tracePointKind": {
+                            "const": "graph_start"
+                        }
+                    }
+                },
+                {
+                    "$ref": "#/$defs/ThreadedStrategyFacet"
+                }
+            ]
+        },
+        "TickTracePoint": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/BaseTracePoint"
+                },
+                {
+                    "type": "object",
+                    "required": [
+                        "counterSnapshot",
+                        "toolStepPath",
+                        "delta"
+                    ],
+                    "properties": {
+                        "tracePointKind": {
+                            "const": "tick"
+                        },
+                        "counterSnapshot": {
+                            "$ref": "#/$defs/TracePointCounterSnapshot"
+                        },
+                        "toolStepPath": {
+                            "$ref": "#/$defs/ThreadedToolStepPath"
+                        },
+                        "delta": {
+                            "$ref": "#/$defs/TracePointDelta"
+                        }
+                    }
+                }
+            ]
+        },
+        "InterruptTracePoint": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/BaseTracePoint"
+                },
+                {
+                    "type": "object",
+                    "required": [
+                        "counterSnapshot",
+                        "toolStepPath",
+                        "delta"
+                    ],
+                    "properties": {
+                        "tracePointKind": {
+                            "const": "interrupt"
+                        },
+                        "counterSnapshot": {
+                            "$ref": "#/$defs/TracePointCounterSnapshot"
+                        },
+                        "toolStepPath": {
+                            "$ref": "#/$defs/ThreadedToolStepPath"
+                        },
+                        "delta": {
+                            "allOf": [
+                                {
+                                    "$ref": "#/$defs/TracePointDelta"
+                                },
+                                {
+                                    "type": "object",
+                                    "required": [
+                                        "interruptData"
+                                    ],
+                                    "properties": {
+                                        "interruptData": {
+                                            "$comment": "Interrupt events must include a non-null interrupt payload.",
+                                            "type": "object"
+                                        }
+                                    }
+                                }
+                            ]
+                        }
+                    }
+                }
+            ]
+        },
+        "GraphEndTracePoint": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/BaseTracePoint"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "tracePointKind": {
+                            "const": "graph_end"
+                        }
+                    }
+                }
+            ]
+        },
+        "BaseTracePoint": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "tracePointKind",
+                "strategyHandle",
+                "threadIndex",
+                "tracePointIndex"
+            ],
+            "properties": {
+                "tracePointKind": {
+                    "$ref": "#/$defs/TracePointKind"
+                },
+                "strategyHandle": {
+                    "$ref": "#/$defs/StrategyHandle"
+                },
+                "threadIndex": {
+                    "$ref": "#/$defs/Natural"
+                },
+                "tracePointIndex": {
+                    "$ref": "#/$defs/Natural"
+                }
+            }
+        },
+        "ThreadedStrategyFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "threadedStrategy"
+            ],
+            "properties": {
+                "threadedStrategy": {
+                    "$ref": "#/$defs/ThreadedStrategy"
+                }
+            }
+        },
+        "TracePointCounterSnapshot": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "stepCounterAfter": {
+                    "$ref": "#/$defs/Natural"
+                },
+                "iterationCounterAfter": {
+                    "$ref": "#/$defs/Natural"
+                }
+            }
+        },
+        "ThreadedToolStepPath": {
+            "type": "string",
+            "pattern": "^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
+        },
+        "TracePointDelta": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "stepsMutation": {
+                    "type": "object",
+                    "required": [
+                        "insertAt",
+                        "insertedSteps"
+                    ],
+                    "properties": {
+                        "insertAt": {
+                            "$ref": "#/$defs/Natural"
+                        },
+                        "insertedSteps": {
+                            "$ref": "#/$defs/StepArray"
+                        }
+                    }
+                },
+                "strategyStateDelta": {
+                    "$ref": "#/$defs/ThreadedStrategyState"
+                },
+                "interruptData": {
+                    "$comment": "Kept permissive; the engine may evolve interrupt payloads.",
+                    "type": [
+                        "object",
+                        "null"
+                    ]
+                }
+            }
+        },
+        "TracePointKind": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "enum": [
+                "graph_start",
+                "tick",
+                "interrupt",
+                "graph_end"
+            ]
+        },
+        "Natural": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "integer",
+            "minimum": 0
+        },
+        "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
+        },
+        "StepArray": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "array",
+            "items": {
+                "$ref": "#/$defs/Step"
+            },
+            "uniqueItems": true
+        },
+        "ThreadedStrategyState": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/ThreadedToolStepPath"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/StrategyStateInputEntryByRoleName"
+            }
+        },
+        "BaseStrategy": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "handle",
+                "strategyKind"
+            ],
+            "properties": {
+                "handle": {
+                    "$ref": "#/$defs/StrategyHandle"
+                },
+                "strategyKind": {
+                    "$ref": "#/$defs/StrategyKind"
+                }
+            }
+        },
+        "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"
+                }
+            }
+        },
+        "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
+        },
+        "StrategyStateInputEntryByRoleName": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/RoleName"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/StrategyStateInputEntry"
+            }
+        },
+        "StrategyKind": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "enum": [
+                "unthreaded",
+                "threaded"
+            ]
+        },
+        "StepArrayArray": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "array",
+            "items": {
+                "$ref": "#/$defs/StepArray"
+            }
+        },
+        "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"
+                }
+            ]
+        },
+        "UnthreadedToolStepPath": {
+            "type": "string",
+            "pattern": "^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
+        },
+        "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
+        }
+    }
+}