@toolproof-core/genesis 1.0.47

package/generated-src/types/types.d.ts

@@ -0,0 +1,701 @@
+// Auto-generated from JSON schemas. Do not edit.
+
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Name".
+ */
+export type Name =
+ string;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Description".
+ */
+export type Description =
+ string;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "DocumentationSpec".
+ */
+export type DocumentationSpec =
+ {
+} & NameFacet & {
+    symbol?: string;
+} & DescriptionFacet;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "TypeRef".
+ */
+export type TypeRef =
+  | {
+      resourceTypeHandle: ResourceTypeHandle;
+    }
+  | {
+      roleSchema: {
+        $ref: string;
+      };
+    };
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ResourceTypeHandle".
+ */
+export type ResourceTypeHandle =
+ `TYPE-${string}`;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ToolHandle".
+ */
+export type ToolHandle =
+ `TOOL-${string}`;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ResourcePointer".
+ */
+export type ResourcePointer =
+ {
+  id: ResourceId;
+  resourceTypeHandle: ResourceTypeHandle;
+  version: 1;
+} & ProvenanceFacet;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ResourceId".
+ */
+export type ResourceId =
+ `RESOURCE-${string}`;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Provenance".
+ */
+export type Provenance =
+ GenesisProvenance | StrategyProvenance;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StrategyTraceHandle".
+ */
+export type StrategyTraceHandle =
+ `STRATEGY_TRACE-${string}`;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ToolStepPath".
+ */
+export type ToolStepPath =
+ UnthreadedToolStepPath | ThreadedToolStepPath;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "UnthreadedToolStepPath".
+ */
+export type UnthreadedToolStepPath =
+ string;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ThreadedToolStepPath".
+ */
+export type ThreadedToolStepPath =
+ string;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ResourceType".
+ */
+export type ResourceType =
+ {
+  handle: ResourceTypeHandle;
+  valueSchema?: JsonSchemaObject;
+  parserToolHandle?: ToolHandle;
+  /**
+   * @minItems 1
+   */
+  embeddingModelTools?: [ToolHandle, ...ToolHandle[]];
+} & DocumentationSpec & {
+};
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "RoleName".
+ */
+export type RoleName =
+ string;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ContainerKind".
+ */
+export type ContainerKind =
+ "scalar" | "array" | "map";
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "RoleValue".
+ */
+export type RoleValue =
+ {
+  typeRef: TypeRef;
+  refinementSchema?: JsonSchemaObject1;
+  containerKind: ContainerKind;
+  containerSchema?: JsonSchemaObject;
+  mapKeys?: RoleNameArray;
+} & {
+};
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "RoleNameArray".
+ */
+export type RoleNameArray =
+ string[];
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ToolKind".
+ */
+export type ToolKind =
+ "runtime" | "buildtime";
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Tool".
+ */
+export type Tool =
+ {
+  handle: ToolHandle;
+  isTemplate: boolean;
+  templateToolHandle?: ToolHandle;
+  instantiationRoleSpec?: RoleSpec;
+} & DocumentationSpec & {
+} & RoleSpecFacet;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StepKind".
+ */
+export type StepKind =
+ "tool" | "branch" | "while" | "for";
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ToolStep".
+ */
+export type ToolStep =
+ {
+  stepKind: "tool";
+  toolHandle: ToolHandle;
+} & StepKindFacet &
+  RoleBindingSpecFacet1;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "BranchStep".
+ */
+export type BranchStep =
+ {
+  stepKind: "branch";
+  /**
+   * @minItems 1
+   */
+  cases: [Case, ...Case[]];
+} & StepKindFacet;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "WhileStep".
+ */
+export type WhileStep =
+ {
+  stepKind: "while";
+  case: Case;
+} & StepKindFacet;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ForStep".
+ */
+export type ForStep =
+ {
+  stepKind: "for";
+  case: Case;
+} & StepKindFacet;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Step".
+ */
+export type Step =
+ ToolStep | BranchStep | WhileStep | ForStep;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ProvenanceKind".
+ */
+export type ProvenanceKind =
+ "genesis" | "strategy";
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "BaseResource".
+ */
+export type BaseResource =
+ {
+  value: unknown;
+} & ResourcePointer;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Resource".
+ */
+export type Resource =
+ {
+  value: unknown;
+} & ResourcePointer;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StrategyStateInputKind".
+ */
+export type StrategyStateInputKind =
+ "inputResource" | "externalInputPotential" | "internalInputPotential";
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "InputResource".
+ */
+export type InputResource =
+ {
+  strategyStateInputKind: "inputResource";
+} & BaseResource;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "InputPotential".
+ */
+export type InputPotential =
+ ExternalInputPotential | InternalInputPotential;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StrategyStateInputEntry".
+ */
+export type StrategyStateInputEntry =
+ InputPotential | InputResource;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StepArray".
+ */
+export type StepArray =
+ Step[];
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StepArrayArray".
+ */
+export type StepArrayArray =
+ StepArray[];
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ToolStepPathSlot".
+ */
+export type ToolStepPathSlot =
+ "self" | "case.when" | "case.what" | "cases.when" | "cases.what";
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "BaseToolStepPathSpec".
+ */
+export type BaseToolStepPathSpec =
+ {
+  stepIndex: Natural;
+  toolStepPathSlot: ToolStepPathSlot;
+  caseIndex?: Natural;
+} & {
+};
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Natural".
+ */
+export type Natural =
+ number;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "UnthreadedToolStepPathSpec".
+ */
+export type UnthreadedToolStepPathSpec =
+ {
+} & BaseToolStepPathSpec;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ThreadedToolStepPathSpec".
+ */
+export type ThreadedToolStepPathSpec =
+ {
+} & BaseToolStepPathSpec & {
+    threadIndex: Natural;
+};
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StrategyKind".
+ */
+export type StrategyKind =
+ "unthreaded" | "threaded";
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StrategyHandle".
+ */
+export type StrategyHandle =
+ `STRATEGY-${string}`;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "UnthreadedStrategy".
+ */
+export type UnthreadedStrategy =
+ {
+} & BaseStrategy & {
+    strategyKind?: "unthreaded";
+} & StepsFacet &
+  UnthreadedStrategyStateFacet;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ThreadedStrategy".
+ */
+export type ThreadedStrategy =
+ {
+} & BaseStrategy & {
+    strategyKind?: "threaded";
+} & StepsByThreadIndexFacet &
+  ThreadedStrategyStateFacet;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Strategy".
+ */
+export type Strategy =
+ UnthreadedStrategy | ThreadedStrategy;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "TracePointKind".
+ */
+export type TracePointKind =
+ "graph_start" | "tick" | "interrupt" | "graph_end";
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "GraphStartTracePoint".
+ */
+export type GraphStartTracePoint =
+ BaseTracePoint & {
+  tracePointKind?: "graph_start";
+} & ThreadedStrategyFacet;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "TickTracePoint".
+ */
+export type TickTracePoint =
+ BaseTracePoint & {
+  tracePointKind?: "tick";
+  counterSnapshot: TracePointCounterSnapshot;
+  toolStepPath: ThreadedToolStepPath;
+  delta: TracePointDelta;
+};
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "InterruptTracePoint".
+ */
+export type InterruptTracePoint =
+ BaseTracePoint & {
+  tracePointKind?: "interrupt";
+  counterSnapshot: TracePointCounterSnapshot;
+  toolStepPath: ThreadedToolStepPath;
+  delta: TracePointDelta & {
+    interruptData: {
+};
+};
+};
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "GraphEndTracePoint".
+ */
+export type GraphEndTracePoint =
+ BaseTracePoint & {
+  tracePointKind?: "graph_end";
+};
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "TracePoint".
+ */
+export type TracePoint =
+ GraphStartTracePoint | TickTracePoint | InterruptTracePoint | GraphEndTracePoint;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "GoalHandle".
+ */
+export type GoalHandle =
+ `GOAL-${string}`;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Error".
+ */
+export type Error =
+ {
+} & DocumentationSpec & {
+    details?: {
+};
+};
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Boolean".
+ */
+export type Boolean =
+ boolean;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "TimestampedResource".
+ */
+export type TimestampedResource =
+ {
+  timestamp: string;
+} & Resource;
+
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "NameFacet".
+ */
+export interface NameFacet {
+  name: Name;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "DescriptionFacet".
+ */
+export interface DescriptionFacet {
+  description: Description;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "JsonSchemaObject".
+ */
+export interface JsonSchemaObject {
+  $schema: "https://json-schema.org/draft/2020-12/schema";
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Embedding".
+ */
+export interface Embedding {
+  embeddingToolHandle: ToolHandle;
+  targetResourcePointer: ResourcePointer;
+  data: number[];
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ProvenanceFacet".
+ */
+export interface ProvenanceFacet {
+  provenance: Provenance;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "GenesisProvenance".
+ */
+export interface GenesisProvenance {
+  provenanceKind: "genesis";
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StrategyProvenance".
+ */
+export interface StrategyProvenance {
+  provenanceKind: "strategy";
+  strategyTraceHandle: StrategyTraceHandle;
+  outputAddress: OutputAddress;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "OutputAddress".
+ */
+export interface OutputAddress {
+  roleName: string;
+  toolStepPath: ToolStepPath;
+}
+export interface JsonSchemaObject1 {
+  $schema: "https://json-schema.org/draft/2020-12/schema";
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "RoleValueByName".
+ */
+export type RoleValueByName = Record<RoleName, RoleValue>;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "RoleSpec".
+ */
+export interface RoleSpec {
+  inputRoleValueByName: RoleValueByName;
+  outputRoleValueByName: RoleValueByName;
+  refinementSchema?: JsonSchemaObject2;
+}
+export interface JsonSchemaObject2 {
+  $schema: "https://json-schema.org/draft/2020-12/schema";
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "RoleSpecFacet".
+ */
+export interface RoleSpecFacet {
+  roleSpec: RoleSpec;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "RoleBindingSpec".
+ */
+export interface RoleBindingSpec {
+  inputBindings: RoleNameArray;
+  outputBindings: RoleNameArray;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "RoleBindingSpecFacet".
+ */
+export interface RoleBindingSpecFacet {
+  roleBindingSpec: RoleBindingSpec;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StepKindFacet".
+ */
+export interface StepKindFacet {
+  stepKind: StepKind;
+}
+export interface RoleBindingSpecFacet1 {
+  roleBindingSpec: RoleBindingSpec;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Case".
+ */
+export interface Case {
+  when: ToolStep;
+  what: ToolStep;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "DeferredStrategyProvenance".
+ */
+export interface DeferredStrategyProvenance {
+  provenanceKind: "strategy";
+  outputAddress: OutputAddress;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ExternalInputPotential".
+ */
+export interface ExternalInputPotential {
+  strategyStateInputKind: "externalInputPotential";
+  id: ResourceId;
+  resourceTypeHandle: ResourceTypeHandle;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "InternalInputPotential".
+ */
+export interface InternalInputPotential {
+  strategyStateInputKind: "internalInputPotential";
+  id: ResourceId;
+  resourceTypeHandle: ResourceTypeHandle;
+  provenance: DeferredStrategyProvenance;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StrategyStateInputEntryByRoleName".
+ */
+export type StrategyStateInputEntryByRoleName = Record<RoleName, StrategyStateInputEntry>;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StepsFacet".
+ */
+export interface StepsFacet {
+  steps: StepArray;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ToolStepPathSlotFacet".
+ */
+export interface ToolStepPathSlotFacet {
+  toolStepPathSlot: ToolStepPathSlot;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "UnthreadedStrategyState".
+ */
+export interface UnthreadedStrategyState {
+  [k: string]: StrategyStateInputEntryByRoleName;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ThreadedStrategyState".
+ */
+export interface ThreadedStrategyState {
+  [k: string]: StrategyStateInputEntryByRoleName;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "UnthreadedStrategyStateFacet".
+ */
+export interface UnthreadedStrategyStateFacet {
+  strategyState: UnthreadedStrategyState;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ThreadedStrategyStateFacet".
+ */
+export interface ThreadedStrategyStateFacet {
+  strategyState: ThreadedStrategyState;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "BaseStrategy".
+ */
+export interface BaseStrategy {
+  handle: StrategyHandle;
+  strategyKind: StrategyKind;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StepsByThreadIndexFacet".
+ */
+export interface StepsByThreadIndexFacet {
+  stepsByThreadIndex: StepArrayArray;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "TracePointCounterSnapshot".
+ */
+export interface TracePointCounterSnapshot {
+  stepCounterAfter?: Natural;
+  iterationCounterAfter?: Natural;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "TracePointDelta".
+ */
+export interface TracePointDelta {
+  stepsMutation?: {
+    insertAt: Natural;
+    insertedSteps: StepArray;
+};
+  strategyStateDelta?: ThreadedStrategyState;
+  interruptData?: {
+} | null;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "BaseTracePoint".
+ */
+export interface BaseTracePoint {
+  tracePointKind: TracePointKind;
+  strategyHandle: StrategyHandle;
+  threadIndex: Natural;
+  tracePointIndex: Natural;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "ThreadedStrategyFacet".
+ */
+export interface ThreadedStrategyFacet {
+  threadedStrategy: ThreadedStrategy;
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "StrategyTrace".
+ */
+export interface StrategyTrace {
+  handle: StrategyTraceHandle;
+  strategyHandle: string;
+  tracePoints: TracePoint[];
+}
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Goal".
+ */
+export interface Goal {
+  handle: GoalHandle;
+  target: number;
+  disallowedTools?: ToolHandle[];
+  disallowedSequences?: ToolHandle[][];
+  minSteps?: number;
+  maxSteps?: number;
+}
+

package/generated-src/types/types.js

@@ -0,0 +1 @@
+export {}