@wowok/agent-mcp 2.3.16 → 2.4.1

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

@@ -0,0 +1,188 @@
+export interface IntentPuzzle {
+    action: "buy" | "forward" | "allocate" | "claim_reward" | "vote" | "dispute" | "write_repository" | "submit_progress" | "gen_passport" | "custom";
+    rule_sentence: string;
+    failure_conditions: string[];
+}
+export interface BindingPuzzle {
+    host_object: "Service" | "Machine" | "Arbitration" | "Reward" | "Repository" | "Progress" | "Demand" | "Standalone";
+    host_object_name?: string;
+    binding_field: "buy_guard" | "order_allocators" | "Forward.guard" | "submission" | "guard" | "write_guard" | "usage_guard" | "voting_guard" | "ServiceGuard" | "none";
+    circular_reference: boolean;
+    host_object_state: "not_created" | "created_unpublished" | "published_immutable" | "unknown";
+}
+export interface OnChainConstantEntry {
+    identifier: number;
+    object_address: string;
+    object_type: string;
+    name: string;
+    is_system_address?: boolean;
+}
+export interface WitnessDerivedEntry {
+    identifier: number;
+    source_type: string;
+    witness_type: number;
+    witness_name: string;
+    target_type: 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;
+    query_name: string;
+    object_type: string;
+    parameters: string[];
+    return_type: string;
+    witness?: {
+        witness_type: number;
+        witness_name: string;
+        source_type: string;
+        target_type: string;
+        scenario: string;
+    };
+    purpose: string;
+}
+export interface LogicNodePuzzle {
+    node_type: string;
+    return_type: string;
+    children?: LogicNodePuzzle[];
+    references_identifier?: number;
+    query?: QueryPuzzle;
+    description: string;
+}
+export interface RelyPuzzle {
+    guards: string[];
+    logic_or: boolean;
+    rep_verified: boolean[];
+}
+export interface ConstraintChecklist {
+    pitfall_01_identifiers_in_table: boolean;
+    pitfall_02_type_compatibility: boolean;
+    pitfall_03_query_instruction_valid: boolean;
+    pitfall_04_witness_correct: boolean;
+    pitfall_05_time_lock_test_safe: boolean;
+    pitfall_06_exported_before_recreate: boolean;
+    pitfall_07_root_returns_bool: boolean;
+    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_sources?: DataSourcePuzzle;
+    queries?: QueryPuzzle[];
+    logic?: {
+        root: LogicNodePuzzle;
+        rely?: RelyPuzzle;
+    };
+    constraints?: ConstraintChecklist;
+}
+export type PuzzleDimension = "intent" | "binding" | "data_sources" | "query" | "logic" | "constraints";
+export interface PuzzleCompleteness {
+    dimensions: Record<PuzzleDimension, boolean>;
+    missing: PuzzleDimension[];
+    missing_details: string[];
+    complete: boolean;
+    next_step: {
+        round: GuardPuzzle["current_round"];
+        action: string;
+        questions: string[];
+    };
+}
+export declare function checkPuzzleCompleteness(puzzle: GuardPuzzle): PuzzleCompleteness;
+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[];