@wowok/agent-mcp 2.3.18 → 2.4.1

package/dist/knowledge/guard-puzzle.d.ts

@@ -10,21 +10,45 @@ export interface BindingPuzzle {
     circular_reference: boolean;
     host_object_state: "not_created" | "created_unpublished" | "published_immutable" | "unknown";
 }
-export interface DataEntryPuzzle {
+export interface OnChainConstantEntry {
     identifier: number;
-    b_submission: boolean;
-    value_type: string;
-    value?: string | number | boolean | string[];
+    object_address: string;
+    object_type: string;
     name: string;
-    object_type?: string;
     is_system_address?: boolean;
 }
-export interface WitnessUsagePuzzle {
+export interface WitnessDerivedEntry {
+    identifier: number;
+    source_type: string;
     witness_type: number;
     witness_name: string;
-    source_type: string;
     target_type: string;
-    scenario: string;
+    source_b_submission: boolean;
+    name: string;
+}
+export interface SubmittedObjectEntry {
+    identifier: number;
+    expected_object_type: string;
+    value_type: string;
+    name: string;
+    binding_constraint?: string;
+}
+export interface SubmittedValueEntry {
+    identifier: number;
+    value_type: string;
+    name: string;
+    binding_constraint?: string;
+}
+export interface SystemContextEntry {
+    context_type: "Signer" | "Clock" | "Guard";
+    usage: string;
+}
+export interface DataSourcePuzzle {
+    on_chain_constants: OnChainConstantEntry[];
+    witness_derived: WitnessDerivedEntry[];
+    submitted_objects: SubmittedObjectEntry[];
+    submitted_values: SubmittedValueEntry[];
+    system_contexts: SystemContextEntry[];
 }
 export interface QueryPuzzle {
     query_id: number;
@@ -32,7 +56,13 @@ export interface QueryPuzzle {
     object_type: string;
     parameters: string[];
     return_type: string;
-    witness?: WitnessUsagePuzzle;
+    witness?: {
+        witness_type: number;
+        witness_name: string;
+        source_type: string;
+        target_type: string;
+        scenario: string;
+    };
     purpose: string;
 }
 export interface LogicNodePuzzle {
@@ -59,15 +89,18 @@ export interface ConstraintChecklist {
     pitfall_08_rely_rep_true: boolean;
     pitfall_09_voting_weight_numeric: boolean;
     pitfall_10_arbitration_not_paused: boolean;
+    runtime_01_guard_immutable: boolean;
+    runtime_02_submission_type_match: boolean;
+    runtime_03_submission_complete: boolean;
+    runtime_04_submission_size: boolean;
+    runtime_05_witness_source_valid: boolean;
+    runtime_06_query_object_valid: boolean;
 }
 export interface GuardPuzzle {
     current_round: "R1" | "R2" | "R3" | "R4" | "R5" | "R6" | "R7" | "R8" | "R9" | "R10";
     intent?: IntentPuzzle;
     binding?: BindingPuzzle;
-    data?: {
-        entries: DataEntryPuzzle[];
-        witnesses: WitnessUsagePuzzle[];
-    };
+    data_sources?: DataSourcePuzzle;
     queries?: QueryPuzzle[];
     logic?: {
         root: LogicNodePuzzle;
@@ -75,7 +108,7 @@ export interface GuardPuzzle {
     };
     constraints?: ConstraintChecklist;
 }
-export type PuzzleDimension = "intent" | "binding" | "data" | "query" | "logic" | "constraints";
+export type PuzzleDimension = "intent" | "binding" | "data_sources" | "query" | "logic" | "constraints";
 export interface PuzzleCompleteness {
     dimensions: Record<PuzzleDimension, boolean>;
     missing: PuzzleDimension[];
@@ -91,3 +124,65 @@ export declare function checkPuzzleCompleteness(puzzle: GuardPuzzle): PuzzleComp
 export declare function generateConfirmationText(puzzle: GuardPuzzle): string;
 export declare function initPuzzleFromIntent(intent: Partial<IntentPuzzle>): GuardPuzzle;
 export declare function inferBindingFromAction(action: IntentPuzzle["action"]): Partial<BindingPuzzle>;
+export declare function emptyDataSources(): DataSourcePuzzle;
+export declare const WITNESS_NAME_MAP: Record<number, {
+    name: string;
+    source: string;
+    target: string;
+}>;
+export declare function getWitnessInfo(witness_type: number): {
+    name: string;
+    source: string;
+    target: string;
+} | undefined;
+export interface RootNodeSnapshot {
+    type: string;
+    identifier?: number;
+    query?: string | number;
+    object?: {
+        identifier: number;
+        convert_witness?: number;
+    };
+    parameters?: RootNodeSnapshot[];
+    context?: "Clock" | "Guard" | "Signer";
+    nodes?: RootNodeSnapshot[];
+    node?: RootNodeSnapshot;
+    nodeLeft?: RootNodeSnapshot;
+    nodeRight?: RootNodeSnapshot;
+}
+export type ValueSnapshot = string | number | boolean | string[] | number[] | boolean[];
+export interface TableItemSnapshot {
+    identifier: number;
+    b_submission: boolean;
+    value_type: string | number;
+    value?: ValueSnapshot;
+    name: string;
+    object_type?: string;
+}
+export interface BindingHintSnapshot {
+    action: string;
+    host_object: string;
+    binding_field: string;
+    rule_sentence?: string;
+    failure_conditions?: string[];
+    circular_reference?: boolean;
+}
+export interface DerivePuzzleInput {
+    table?: TableItemSnapshot[];
+    root?: RootNodeSnapshot;
+    rely?: {
+        guards: string[];
+        logic_or?: boolean;
+    };
+    binding_hint?: BindingHintSnapshot;
+}
+export declare function derivePuzzleFromCallData(input: DerivePuzzleInput): GuardPuzzle;
+export declare function getPuzzleStatusBooleans(puzzle: GuardPuzzle): {
+    intent: boolean;
+    binding: boolean;
+    data: boolean;
+    query: boolean;
+    logic: boolean;
+    constraints: boolean;
+};
+export declare function getPendingQuestions(puzzle: GuardPuzzle): string[];