@wowok/agent-mcp 2.7.1 → 2.7.3

package/dist/knowledge/passport-translation.js

@@ -1,516 +1 @@
-import { PASSPORT_ERROR_CODES, MAX_GUARD_COUNT_PASSPORT, MAX_SUBMISSION_SIZE_PASSPORT, } from "./passport-ledger.js";
-export const SEMANTIC_TO_SCHEMA_RULES = [
-    {
-        id: "P-PASS-01",
-        pattern_name: "Create Passport",
-        semantic_intent: "Create a new verification carrier object bound to the current transaction",
-        match_keywords: ["create", "new", "passport", "instantiate"],
-        schema_fields: ["(SubmissionCall)"],
-        example_json: {
-            type: "submission",
-            guard: [],
-            submission: [],
-        },
-        reverse_explanation: "Passport created via passport::new(clock, ctx). tx_hash bound to tx_context::digest(ctx). No Guard added yet.",
-    },
-    {
-        id: "P-PASS-02",
-        pattern_name: "Add impack Guard",
-        semantic_intent: "Add a Guard that affects the final verification result (impack=true)",
-        match_keywords: ["impack", "affect", "decisive", "critical guard"],
-        schema_fields: ["guard[].object", "guard[].impack=true"],
-        example_json: {
-            guard: [
-                { object: "kyc_guard", impack: true },
-            ],
-            submission: [
-                {
-                    guard: "kyc_guard",
-                    submission: [
-                        { identifier: 0, value: "0x1234...", value_type: "address" },
-                    ],
-                },
-            ],
-        },
-        reverse_explanation: "guard[].impack=true marks this Guard as affecting final result. At least 1 impack Guard required (else E_IMPACK_GUARD_NOT_FOUND). Failure aborts overall result to false.",
-    },
-    {
-        id: "P-PASS-03",
-        pattern_name: "Add non-impack Guard",
-        semantic_intent: "Add a Guard that only records per-Guard result (impack=false)",
-        match_keywords: ["non-impack", "record", "audit", "log"],
-        schema_fields: ["guard[].object", "guard[].impack=false"],
-        example_json: {
-            guard: [
-                { object: "audit_log_guard", impack: false },
-            ],
-            submission: [],
-        },
-        reverse_explanation: "guard[].impack=false marks this Guard as audit-only. Its result is recorded but does NOT affect final result. Useful for logging / secondary checks.",
-    },
-    {
-        id: "P-PASS-04",
-        pattern_name: "Add Guard with relies dependency",
-        semantic_intent: "Add a Guard that depends on other Guards (AND/OR logic)",
-        match_keywords: ["relies", "depend", "dependency", "and", "or"],
-        schema_fields: ["guard[].object", "guard[].impack", "(relies read from Guard object)"],
-        example_json: {
-            guard: [
-                { object: "guard_a", impack: true },
-                { object: "guard_b", impack: true },
-            ],
-            submission: [],
-        },
-        reverse_explanation: "relies is read from guard::relies(guard) — NOT set in Passport JSON. Must add relied Guards first (E_RELIES_GUARD_NOT_ADDED). relies_logic_and=true=AND, false=OR. No transitive dependencies allowed.",
-    },
-    {
-        id: "P-PASS-05",
-        pattern_name: "Verify Passport (one-time)",
-        semantic_intent: "Trigger one-time verification of all Guards; result is immutable after this call",
-        match_keywords: ["verify", "validation", "submit"],
-        schema_fields: ["(verify operation)"],
-        example_json: {
-            operation: "verify",
-        },
-        reverse_explanation: "passport::verify(self, ctx). One-time — has_verified set to true. Computes per-Guard result via relies logic, then impack Guards decide final result. Aborts E_HAS_VERIFIED if called twice.",
-    },
-    {
-        id: "P-PASS-06",
-        pattern_name: "Freeze Passport (permanent)",
-        semantic_intent: "Permanently freeze the Passport as immutable (cannot be destroyed after)",
-        match_keywords: ["freeze", "freezen", "permanent"],
-        schema_fields: ["(freezen operation)"],
-        example_json: {
-            operation: "freezen",
-        },
-        reverse_explanation: "passport::freezen(self) calls transfer::freeze_object(self). Passport becomes immutable and publicly readable. Cannot be destroyed after freezing. SDK exports as `freeze` (correct spelling).",
-    },
-    {
-        id: "P-PASS-07",
-        pattern_name: "Query result",
-        semantic_intent: "Get the final verification result (requires has_verified=true + tx_hash match)",
-        match_keywords: ["result", "query", "outcome"],
-        schema_fields: ["(result query)"],
-        example_json: {
-            operation: "result_query",
-        },
-        reverse_explanation: "passport::result(self, ctx) : bool. Aborts E_NOT_VERIFIED (5) if not yet verified; E_TX_NOT_MATCH (8) if called from a different transaction. Must be called in the same tx as verify().",
-    },
-    {
-        id: "P-PASS-08",
-        pattern_name: "Query specific Guard result (result_for_guard)",
-        semantic_intent: "Hard-verify that a specific impack Guard passed (aborts E_VERIFY_FAILED if not)",
-        match_keywords: ["result_for_guard", "hard-verify", "specific guard"],
-        schema_fields: ["(result_for_guard query)"],
-        example_json: {
-            operation: "result_for_guard",
-            guard: "kyc_guard",
-        },
-        reverse_explanation: "passport::result_for_guard(self, guard, ctx). Aborts E_NOT_IMPACK_GUARD (6) if guard is not impack; E_VERIFY_FAILED (7) if overall result=false. Used by consumers to enforce specific Guard checks.",
-    },
-    {
-        id: "P-PASS-09",
-        pattern_name: "Query impack Guard list (result_for_permission)",
-        semantic_intent: "Get the list of impack Guard addresses (lazy-filled on first call)",
-        match_keywords: ["result_for_permission", "impack list", "impack addresses"],
-        schema_fields: ["(result_for_permission query)"],
-        example_json: {
-            operation: "result_for_permission",
-        },
-        reverse_explanation: "passport::result_for_permission(self, ctx) : vector<address>. Lazy-fills self.impack on first call. Aborts E_VERIFY_FAILED (7) if overall result=false. Used by Permission/Allocation to get authorized Guard list.",
-    },
-    {
-        id: "P-PASS-10",
-        pattern_name: "Get submission value",
-        semantic_intent: "Read the submitted value for a (guard, identifier) pair",
-        match_keywords: ["submission_get", "read", "fetch submission"],
-        schema_fields: ["(submission_get query)"],
-        example_json: {
-            operation: "submission_get",
-            guard: "voting_guard",
-            identifier: 0,
-        },
-        reverse_explanation: "passport::submission_get(self, guard, identifier) : vector<u8>. Read-only — no tx_hash check. Returns the BCS-encoded value. Aborts E_SUBMISSION_NOT_FOUND (10) if no entry exists.",
-    },
-    {
-        id: "P-PASS-11",
-        pattern_name: "Destroy Passport",
-        semantic_intent: "Permanently delete the Passport to release storage (must be before freeze)",
-        match_keywords: ["destroy", "delete", "remove"],
-        schema_fields: ["(destroy operation)"],
-        example_json: {
-            operation: "destroy",
-        },
-        reverse_explanation: "passport::destroy(self) calls object::delete(id). Must be called BEFORE freeze (frozen objects are immutable, cannot be destroyed). Move ownership protects: only signer holding the object can call.",
-    },
-    {
-        id: "P-PASS-12",
-        pattern_name: "Clear all Guards (pre-verify only)",
-        semantic_intent: "Remove all Guards from Passport (only allowed before verify)",
-        match_keywords: ["guard_clear", "clear", "reset"],
-        schema_fields: ["(guard_clear operation)"],
-        example_json: {
-            operation: "guard_clear",
-        },
-        reverse_explanation: "passport::guard_clear(self, ctx). Aborts E_HAS_VERIFIED (4) if already verified; E_DIGEST_NOT_MATCH (11) if tx_hash mismatch. Useful for resetting configuration before verify.",
-    },
-];
-export const SCHEMA_TO_SEMANTIC_RULES = [
-    {
-        element_type: "field",
-        type_name: "object",
-        semantic_explanation: "Passport object reference (address). For create, no object yet; for operate, the existing Passport address.",
-    },
-    {
-        element_type: "field",
-        type_name: "guard",
-        semantic_explanation: "Array of {object, impack}. Each entry references a Guard object and marks whether it affects final result. Count ≤ MAX_GUARD_COUNT_PASSPORT=20.",
-    },
-    {
-        element_type: "field",
-        type_name: "guard[].object",
-        semantic_explanation: "Guard object address. Must be unique within the Passport (duplicate addresses overwrite existing config). Resolved via LocalMark before on-chain call.",
-    },
-    {
-        element_type: "field",
-        type_name: "guard[].impack",
-        semantic_explanation: "Boolean. true=affects final result (at least 1 required); false=audit-only. impack Guards failing → overall result=false immediately.",
-    },
-    {
-        element_type: "field",
-        type_name: "submission",
-        semantic_explanation: "Array of {guard, submission[]}. Each submission is {identifier, value, value_type}. identifier is u8 (0-255) matching Guard.table[].identifier.",
-    },
-    {
-        element_type: "field",
-        type_name: "submission[].identifier",
-        semantic_explanation: "u8 (0-255). References Guard.table[identifier]. Must be marked b_submission=true in the Guard.",
-    },
-    {
-        element_type: "field",
-        type_name: "submission[].value",
-        semantic_explanation: "Value matching submission[].value_type. BCS-serialized on-chain; total serialized size per submission ≤ MAX_SUBMISSION_SIZE_PASSPORT=256 bytes.",
-    },
-    {
-        element_type: "field",
-        type_name: "submission[].value_type",
-        semantic_explanation: "Type string: 'address' | 'u64' | 'bool' | 'string' | 'vector<u8>' etc. Must match Guard.table[identifier].value_type.",
-    },
-    {
-        element_type: "op",
-        type_name: "create (new)",
-        semantic_explanation: "passport::new(clock, ctx) → Passport. Binds tx_hash = tx_context::digest(ctx). signer = tx_context::sender(ctx). time = clock::timestamp_ms(clock).",
-    },
-    {
-        element_type: "op",
-        type_name: "guard_add",
-        semantic_explanation: "passport::guard_add(self, guard, identifiers, values, impack, ctx). Pre-verify only. Reads guard::relies(guard) for dependency info. Aborts E_RELIES_GUARD_NOT_ADDED if relies missing.",
-    },
-    {
-        element_type: "op",
-        type_name: "verify",
-        semantic_explanation: "passport::verify(self, ctx) : bool. One-time. Computes per-Guard result via relies, then impack Guards decide final result. Sets has_verified=true.",
-    },
-    {
-        element_type: "op",
-        type_name: "freezen",
-        semantic_explanation: "passport::freezen(self). Permanent freeze (transfer::freeze_object). Cannot destroy after. Historical typo: Move function name is 'freezen' (not 'freeze'), retained for compatibility. SDK exports as `freeze`.",
-    },
-    {
-        element_type: "op",
-        type_name: "destroy",
-        semantic_explanation: "passport::destroy(self). Releases storage (object::delete). Must be before freeze. Move ownership protects: only object holder can call.",
-    },
-    {
-        element_type: "impack",
-        type_name: "impack=true",
-        semantic_explanation: "Guard affects final result. At least 1 required (E_IMPACK_GUARD_NOT_FOUND). Failure → overall result=false, immediate return.",
-    },
-    {
-        element_type: "impack",
-        type_name: "impack=false",
-        semantic_explanation: "Guard is audit-only. Per-Guard result is recorded but does NOT affect final result. Useful for logging / secondary checks.",
-    },
-    {
-        element_type: "relies_logic",
-        type_name: "AND (relies_logic_and=true)",
-        semantic_explanation: "All relied Guards must pass. Short-circuits on first false. Initial value = true; result = true AND rely1.result AND rely2.result ...",
-    },
-    {
-        element_type: "relies_logic",
-        type_name: "OR (relies_logic_and=false)",
-        semantic_explanation: "Any relied Guard may pass. Short-circuits on first true. Initial value = false; result = false OR rely1.result OR rely2.result ...",
-    },
-    {
-        element_type: "lifecycle",
-        type_name: "new → guard_add → verify → use → freeze/destroy",
-        semantic_explanation: "5-stage lifecycle. verify is one-time. freeze and destroy are mutually exclusive terminal states. All write ops (guard_add/verify) require tx_hash match.",
-    },
-];
-export const PASSPORT_CONSTRAINT_RULES = [
-    {
-        id: "T-PASS-01",
-        category: "structural",
-        rule: "Passport is created via the SubmissionCall mechanism, not the standard Call pattern (schema/call/base.ts SubmissionCallSchema)",
-        applies_to: ["SubmissionCall", "passport::new"],
-    },
-    {
-        id: "T-PASS-02",
-        category: "logic",
-        rule: "Guards with guard[].impack=true decide the final result; at least 1 impack Guard is required (E_IMPACK_GUARD_NOT_FOUND=9)",
-        applies_to: ["guard[].impack", "verify operation"],
-    },
-    {
-        id: "T-PASS-03",
-        category: "logic",
-        rule: "Depended-on Guards must be added first (topological order); guard_add checks relies, missing relies aborts E_RELIES_GUARD_NOT_ADDED=2",
-        applies_to: ["guard_add operation", "guard::relies(guard)"],
-    },
-    {
-        id: "T-PASS-04",
-        category: "lifecycle",
-        rule: "After verify, config cannot be modified (has_verified is one-time); second calls to guard_add/guard_clear/verify abort E_HAS_VERIFIED=4",
-        applies_to: ["verify operation", "has_verified field"],
-    },
-    {
-        id: "T-PASS-05",
-        category: "lifecycle",
-        rule: "tx_hash binding ensures Passport cannot be reused across transactions; write functions and result queries check tx_hash match",
-        applies_to: ["tx_hash field", "guard_add", "verify", "result"],
-    },
-    {
-        id: "T-PASS-06",
-        category: "structural",
-        rule: "submission data must match Guard identifier type; BCS serialization ≤ MAX_SUBMISSION_SIZE_PASSPORT=256 bytes",
-        applies_to: ["submission[].value_type", "submission[].identifier"],
-    },
-    {
-        id: "T-PASS-07",
-        category: "lifecycle",
-        rule: "result query must be in the same transaction (tx_hash matches current transaction); otherwise E_TX_NOT_MATCH=8",
-        applies_to: ["result operation", "result_for_guard", "result_for_permission"],
-    },
-    {
-        id: "T-PASS-08",
-        category: "lifecycle",
-        rule: "After freeze, Passport is permanently retained (cannot be destroyed); freezen calls transfer::freeze_object",
-        applies_to: ["freezen operation", "destroy operation"],
-    },
-    {
-        id: "T-PASS-09",
-        category: "lifecycle",
-        rule: "destroy must happen before freeze (destroyable when not frozen); after freezing the object becomes immutable and cannot be received by value",
-        applies_to: ["destroy operation", "freezen operation"],
-    },
-    {
-        id: "T-PASS-10",
-        category: "operational",
-        rule: "explainPassport must translate impack and result status; use passport.object (not passport.id) as the object identifier",
-        applies_to: ["explainPassport function", "ObjectPassportSchema"],
-    },
-    {
-        id: "T-PASS-11",
-        category: "logic",
-        rule: "relies logic (AND/OR) must be reflected in explainPassport; relies_logic_and=true=AND, false=OR",
-        applies_to: ["explainPassport function", "guard::relies(guard)"],
-    },
-    {
-        id: "T-PASS-12",
-        category: "structural",
-        rule: "Guard count ≤ MAX_GUARD_COUNT_PASSPORT=20; submission serialized size ≤ MAX_SUBMISSION_SIZE_PASSPORT=256 bytes",
-        applies_to: ["guard array", "submission array"],
-    },
-];
-export const PASSPORT_TRANSLATION_VERSION = "1.0.0";
-export function matchSemanticPattern(userIntent) {
-    const lower = userIntent.toLowerCase();
-    return SEMANTIC_TO_SCHEMA_RULES.filter(rule => rule.match_keywords.some(kw => lower.includes(kw.toLowerCase())));
-}
-export function explainPassport(passport) {
-    const lines = [];
-    lines.push(`Passport ${passport.object}`);
-    lines.push(`  Signer: ${passport.signer}`);
-    lines.push(`  Time: ${new Date(passport.time).toISOString()}`);
-    lines.push(`  Verified: ${passport.has_verified}`);
-    if (passport.has_verified) {
-        lines.push(`  Result: ${passport.result ? "PASS ✅" : "FAIL ❌"}`);
-    }
-    lines.push(`  Guards: ${passport.info.length}/${MAX_GUARD_COUNT_PASSPORT}`);
-    if (passport.info.length > 0) {
-        lines.push(`  Guard details:`);
-        for (const g of passport.info) {
-            const impackDesc = g.impack ? "IMPACK" : "non-impack";
-            const resultDesc = g.result ? "PASS" : "FAIL";
-            lines.push(`    - Guard ${g.guard}: ${resultDesc} (${impackDesc})`);
-        }
-    }
-    if (passport.impack_guard && passport.impack_guard.length > 0) {
-        lines.push(`  impack_guard list (lazy-filled): ${passport.impack_guard.join(", ")}`);
-    }
-    if (passport.tx_hash) {
-        lines.push(`  tx_hash: ${passport.tx_hash}`);
-    }
-    return lines.join("\n");
-}
-export function passportJsonToSemantic(data) {
-    const lines = [];
-    if (data.type === "submission" || (data.guard && data.guard.length > 0)) {
-        lines.push("Operation: CREATE Passport via SubmissionCall");
-        if (data.guard && data.guard.length > 0) {
-            const impackCount = data.guard.filter(g => g.impack).length;
-            const nonImpackCount = data.guard.length - impackCount;
-            lines.push(`- Guards: ${data.guard.length}/${MAX_GUARD_COUNT_PASSPORT} (${impackCount} impack, ${nonImpackCount} non-impack)`);
-            if (impackCount === 0) {
-                lines.push("  ⚠️ No impack Guard — verify will abort E_IMPACK_GUARD_NOT_FOUND (9)");
-            }
-            data.guard.forEach((g, i) => {
-                const impackDesc = g.impack ? "IMPACK (affects result)" : "non-impack (audit-only)";
-                lines.push(`  [${i}] ${g.object} — ${impackDesc}`);
-            });
-        }
-        if (data.submission && data.submission.length > 0) {
-            lines.push(`- Submissions: ${data.submission.length} guard(s) with submission data`);
-            for (const s of data.submission) {
-                const totalSize = s.submission.reduce((sum, item) => sum + estimateSubmissionSize(item.value_type), 0);
-                const sizeWarn = totalSize > MAX_SUBMISSION_SIZE_PASSPORT
-                    ? ` ⚠️ ${totalSize} > ${MAX_SUBMISSION_SIZE_PASSPORT} bytes (E_SUBMISSION_SIZE_EXCEEDED)`
-                    : "";
-                lines.push(`  - guard=${s.guard}: ${s.submission.length} item(s), estimated size=${totalSize} bytes${sizeWarn}`);
-            }
-        }
-    }
-    else if (data.operation) {
-        lines.push(`Operation: ${data.operation.toUpperCase()}`);
-        switch (data.operation) {
-            case "verify":
-                lines.push("- One-time verification; sets has_verified=true, computes final result");
-                lines.push("- Aborts E_HAS_VERIFIED (4) if already verified");
-                break;
-            case "freezen":
-                lines.push("- Permanent freeze (transfer::freeze_object)");
-                lines.push("- Cannot be destroyed after freezing");
-                break;
-            case "destroy":
-                lines.push("- Permanent deletion (object::delete)");
-                lines.push("- Must be called BEFORE freeze");
-                break;
-            case "guard_clear":
-                lines.push("- Removes all Guards from Passport");
-                lines.push("- Only allowed before verify (E_HAS_VERIFIED if verified)");
-                break;
-            case "result_query":
-                lines.push("- Returns final verification result (bool)");
-                lines.push("- Requires has_verified=true (E_NOT_VERIFIED) and tx_hash match (E_TX_NOT_MATCH)");
-                break;
-            case "result_for_guard":
-                lines.push(`- Hard-verifies Guard ${data.guard_target} is impack and passed`);
-                lines.push("- Aborts E_NOT_IMPACK_GUARD (6) if not impack; E_VERIFY_FAILED (7) if result=false");
-                break;
-            case "result_for_permission":
-                lines.push("- Returns impack Guard address list (lazy-filled)");
-                lines.push("- Aborts E_VERIFY_FAILED (7) if overall result=false");
-                break;
-            case "submission_get":
-                lines.push(`- Reads submission value for (guard=${data.guard_target}, identifier=${data.identifier})`);
-                lines.push("- Read-only, no tx_hash check");
-                lines.push("- Aborts E_SUBMISSION_NOT_FOUND (10) if no entry");
-                break;
-        }
-    }
-    else {
-        lines.push("⚠️ Cannot determine operation: provide 'type: submission' with guard[], or 'operation' field");
-    }
-    return lines.join("\n");
-}
-export function semanticToPassportJson(intent) {
-    switch (intent.action) {
-        case "create": {
-            if (!intent.guards || intent.guards.length === 0) {
-                throw new Error("Create action requires at least 1 Guard in intent.guards");
-            }
-            if (intent.guards.length > MAX_GUARD_COUNT_PASSPORT) {
-                throw new Error(`Guard count ${intent.guards.length} exceeds MAX_GUARD_COUNT_PASSPORT=${MAX_GUARD_COUNT_PASSPORT}`);
-            }
-            const hasImpack = intent.guards.some(g => g.impack);
-            if (!hasImpack) {
-                throw new Error("At least 1 Guard must have impack=true (else verify aborts E_IMPACK_GUARD_NOT_FOUND=9)");
-            }
-            return {
-                type: "submission",
-                guard: intent.guards.map(g => ({ object: g.object, impack: g.impack })),
-                submission: intent.guards
-                    .filter(g => g.submission && g.submission.length > 0)
-                    .map(g => ({ guard: g.object, submission: g.submission })),
-            };
-        }
-        case "verify":
-            return { operation: "verify" };
-        case "freeze":
-            return { operation: "freezen" };
-        case "destroy":
-            return { operation: "destroy" };
-        case "guard_clear":
-            return { operation: "guard_clear" };
-        case "query_result":
-            return { operation: "result_query" };
-        case "query_guard_result":
-            if (!intent.targetGuard)
-                throw new Error("query_guard_result requires intent.targetGuard");
-            return { operation: "result_for_guard", guard_target: intent.targetGuard };
-        case "query_impack_list":
-            return { operation: "result_for_permission" };
-        case "get_submission":
-            if (!intent.targetGuard)
-                throw new Error("get_submission requires intent.targetGuard");
-            if (intent.targetIdentifier === undefined)
-                throw new Error("get_submission requires intent.targetIdentifier");
-            return {
-                operation: "submission_get",
-                guard_target: intent.targetGuard,
-                identifier: intent.targetIdentifier,
-            };
-    }
-}
-export function explainField(fieldName) {
-    return SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "field" && r.type_name === fieldName);
-}
-export function explainOp(opName) {
-    return SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "op" && r.type_name === opName);
-}
-export function explainImpack(impackValue) {
-    return SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "impack" && r.type_name === `impack=${impackValue}`);
-}
-export function explainReliesLogic(logicAnd) {
-    const name = logicAnd ? "AND (relies_logic_and=true)" : "OR (relies_logic_and=false)";
-    return SCHEMA_TO_SEMANTIC_RULES.find(r => r.element_type === "relies_logic" && r.type_name === name);
-}
-export function getConstraintsByCategory(category) {
-    return PASSPORT_CONSTRAINT_RULES.filter(r => r.category === category);
-}
-export function explainError(code) {
-    const descriptions = {
-        [PASSPORT_ERROR_CODES.E_GUARD_COUNT_EXCEEDED]: "Guard count exceeds MAX_GUARD_COUNT_PASSPORT (20) — remove non-essential Guards or merge similar ones",
-        [PASSPORT_ERROR_CODES.E_RELIES_GUARD_NOT_ADDED]: "Relied Guard not yet added — add relied Guards in topological order before adding the dependent Guard",
-        [PASSPORT_ERROR_CODES.E_SUBMISSION_SIZE_EXCEEDED]: "Submission serialized size exceeds MAX_SUBMISSION_SIZE_PASSPORT (256 bytes) — use Repository reference for large data",
-        [PASSPORT_ERROR_CODES.E_HAS_VERIFIED]: "Passport already verified — verify is one-time; create a new Passport to re-verify",
-        [PASSPORT_ERROR_CODES.E_NOT_VERIFIED]: "result() called before verify() — call verify() first in the same transaction",
-        [PASSPORT_ERROR_CODES.E_NOT_IMPACK_GUARD]: "result_for_guard called on non-impack Guard — only impack Guards can be hard-verified",
-        [PASSPORT_ERROR_CODES.E_VERIFY_FAILED]: "result_for_guard / result_for_permission called when overall result=false — fix Guard configuration or submission data",
-        [PASSPORT_ERROR_CODES.E_TX_NOT_MATCH]: "result() called from a different transaction — Passport is tx_hash-bound, must query in the same tx as verify()",
-        [PASSPORT_ERROR_CODES.E_IMPACK_GUARD_NOT_FOUND]: "verify() found no impack Guard — at least 1 Guard must have impack=true",
-        [PASSPORT_ERROR_CODES.E_SUBMISSION_NOT_FOUND]: "submission_get found no entry for (guard, identifier) — check Guard.table[identifier].b_submission=true",
-        [PASSPORT_ERROR_CODES.E_DIGEST_NOT_MATCH]: "guard_add / verify / guard_clear called from a different transaction — Passport is tx_hash-bound",
-    };
-    return descriptions[code] ?? `Unknown Passport error code: ${code}`;
-}
-function estimateSubmissionSize(valueType) {
-    switch (valueType) {
-        case "bool": return 1;
-        case "u8": return 1;
-        case "u64": return 8;
-        case "address": return 32;
-        case "string": return 32;
-        case "vector<u8>": return 32;
-        default: return 64;
-    }
-}
+import{PASSPORT_ERROR_CODES,MAX_GUARD_COUNT_PASSPORT,MAX_SUBMISSION_SIZE_PASSPORT}from'./passport-ledger.js';export const SEMANTIC_TO_SCHEMA_RULES=[{'id':'P-PASS-01','pattern_name':'Create\x20Passport','semantic_intent':'Create\x20a\x20new\x20verification\x20carrier\x20object\x20bound\x20to\x20the\x20current\x20transaction','match_keywords':['create','new','passport','instantiate'],'schema_fields':['(SubmissionCall)'],'example_json':{'type':'submission','guard':[],'submission':[]},'reverse_explanation':'Passport\x20created\x20via\x20passport::new(clock,\x20ctx).\x20tx_hash\x20bound\x20to\x20tx_context::digest(ctx).\x20No\x20Guard\x20added\x20yet.'},{'id':'P-PASS-02','pattern_name':'Add\x20impack\x20Guard','semantic_intent':'Add\x20a\x20Guard\x20that\x20affects\x20the\x20final\x20verification\x20result\x20(impack=true)','match_keywords':['impack','affect','decisive','critical\x20guard'],'schema_fields':['guard[].object','guard[].impack=true'],'example_json':{'guard':[{'object':'kyc_guard','impack':!![]}],'submission':[{'guard':'kyc_guard','submission':[{'identifier':0x0,'value':'0x1234...','value_type':'address'}]}]},'reverse_explanation':'guard[].impack=true\x20marks\x20this\x20Guard\x20as\x20affecting\x20final\x20result.\x20At\x20least\x201\x20impack\x20Guard\x20required\x20(else\x20E_IMPACK_GUARD_NOT_FOUND).\x20Failure\x20aborts\x20overall\x20result\x20to\x20false.'},{'id':'P-PASS-03','pattern_name':'Add\x20non-impack\x20Guard','semantic_intent':'Add\x20a\x20Guard\x20that\x20only\x20records\x20per-Guard\x20result\x20(impack=false)','match_keywords':['non-impack','record','audit','log'],'schema_fields':['guard[].object','guard[].impack=false'],'example_json':{'guard':[{'object':'audit_log_guard','impack':![]}],'submission':[]},'reverse_explanation':'guard[].impack=false\x20marks\x20this\x20Guard\x20as\x20audit-only.\x20Its\x20result\x20is\x20recorded\x20but\x20does\x20NOT\x20affect\x20final\x20result.\x20Useful\x20for\x20logging\x20/\x20secondary\x20checks.'},{'id':'P-PASS-04','pattern_name':'Add\x20Guard\x20with\x20relies\x20dependency','semantic_intent':'Add\x20a\x20Guard\x20that\x20depends\x20on\x20other\x20Guards\x20(AND/OR\x20logic)','match_keywords':['relies','depend','dependency','and','or'],'schema_fields':['guard[].object','guard[].impack','(relies\x20read\x20from\x20Guard\x20object)'],'example_json':{'guard':[{'object':'guard_a','impack':!![]},{'object':'guard_b','impack':!![]}],'submission':[]},'reverse_explanation':'relies\x20is\x20read\x20from\x20guard::relies(guard)\x20—\x20NOT\x20set\x20in\x20Passport\x20JSON.\x20Must\x20add\x20relied\x20Guards\x20first\x20(E_RELIES_GUARD_NOT_ADDED).\x20relies_logic_and=true=AND,\x20false=OR.\x20No\x20transitive\x20dependencies\x20allowed.'},{'id':'P-PASS-05','pattern_name':'Verify\x20Passport\x20(one-time)','semantic_intent':'Trigger\x20one-time\x20verification\x20of\x20all\x20Guards;\x20result\x20is\x20immutable\x20after\x20this\x20call','match_keywords':['verify','validation','submit'],'schema_fields':['(verify\x20operation)'],'example_json':{'operation':'verify'},'reverse_explanation':'passport::verify(self,\x20ctx).\x20One-time\x20—\x20has_verified\x20set\x20to\x20true.\x20Computes\x20per-Guard\x20result\x20via\x20relies\x20logic,\x20then\x20impack\x20Guards\x20decide\x20final\x20result.\x20Aborts\x20E_HAS_VERIFIED\x20if\x20called\x20twice.'},{'id':'P-PASS-06','pattern_name':'Freeze\x20Passport\x20(permanent)','semantic_intent':'Permanently\x20freeze\x20the\x20Passport\x20as\x20immutable\x20(cannot\x20be\x20destroyed\x20after)','match_keywords':['freeze','freezen','permanent'],'schema_fields':['(freezen\x20operation)'],'example_json':{'operation':'freezen'},'reverse_explanation':'passport::freezen(self)\x20calls\x20transfer::freeze_object(self).\x20Passport\x20becomes\x20immutable\x20and\x20publicly\x20readable.\x20Cannot\x20be\x20destroyed\x20after\x20freezing.\x20SDK\x20exports\x20as\x20`freeze`\x20(correct\x20spelling).'},{'id':'P-PASS-07','pattern_name':'Query\x20result','semantic_intent':'Get\x20the\x20final\x20verification\x20result\x20(requires\x20has_verified=true\x20+\x20tx_hash\x20match)','match_keywords':['result','query','outcome'],'schema_fields':['(result\x20query)'],'example_json':{'operation':'result_query'},'reverse_explanation':'passport::result(self,\x20ctx)\x20:\x20bool.\x20Aborts\x20E_NOT_VERIFIED\x20(5)\x20if\x20not\x20yet\x20verified;\x20E_TX_NOT_MATCH\x20(8)\x20if\x20called\x20from\x20a\x20different\x20transaction.\x20Must\x20be\x20called\x20in\x20the\x20same\x20tx\x20as\x20verify().'},{'id':'P-PASS-08','pattern_name':'Query\x20specific\x20Guard\x20result\x20(result_for_guard)','semantic_intent':'Hard-verify\x20that\x20a\x20specific\x20impack\x20Guard\x20passed\x20(aborts\x20E_VERIFY_FAILED\x20if\x20not)','match_keywords':['result_for_guard','hard-verify','specific\x20guard'],'schema_fields':['(result_for_guard\x20query)'],'example_json':{'operation':'result_for_guard','guard':'kyc_guard'},'reverse_explanation':'passport::result_for_guard(self,\x20guard,\x20ctx).\x20Aborts\x20E_NOT_IMPACK_GUARD\x20(6)\x20if\x20guard\x20is\x20not\x20impack;\x20E_VERIFY_FAILED\x20(7)\x20if\x20overall\x20result=false.\x20Used\x20by\x20consumers\x20to\x20enforce\x20specific\x20Guard\x20checks.'},{'id':'P-PASS-09','pattern_name':'Query\x20impack\x20Guard\x20list\x20(result_for_permission)','semantic_intent':'Get\x20the\x20list\x20of\x20impack\x20Guard\x20addresses\x20(lazy-filled\x20on\x20first\x20call)','match_keywords':['result_for_permission','impack\x20list','impack\x20addresses'],'schema_fields':['(result_for_permission\x20query)'],'example_json':{'operation':'result_for_permission'},'reverse_explanation':'passport::result_for_permission(self,\x20ctx)\x20:\x20vector<address>.\x20Lazy-fills\x20self.impack\x20on\x20first\x20call.\x20Aborts\x20E_VERIFY_FAILED\x20(7)\x20if\x20overall\x20result=false.\x20Used\x20by\x20Permission/Allocation\x20to\x20get\x20authorized\x20Guard\x20list.'},{'id':'P-PASS-10','pattern_name':'Get\x20submission\x20value','semantic_intent':'Read\x20the\x20submitted\x20value\x20for\x20a\x20(guard,\x20identifier)\x20pair','match_keywords':['submission_get','read','fetch\x20submission'],'schema_fields':['(submission_get\x20query)'],'example_json':{'operation':'submission_get','guard':'voting_guard','identifier':0x0},'reverse_explanation':'passport::submission_get(self,\x20guard,\x20identifier)\x20:\x20vector<u8>.\x20Read-only\x20—\x20no\x20tx_hash\x20check.\x20Returns\x20the\x20BCS-encoded\x20value.\x20Aborts\x20E_SUBMISSION_NOT_FOUND\x20(10)\x20if\x20no\x20entry\x20exists.'},{'id':'P-PASS-11','pattern_name':'Destroy\x20Passport','semantic_intent':'Permanently\x20delete\x20the\x20Passport\x20to\x20release\x20storage\x20(must\x20be\x20before\x20freeze)','match_keywords':['destroy','delete','remove'],'schema_fields':['(destroy\x20operation)'],'example_json':{'operation':'destroy'},'reverse_explanation':'passport::destroy(self)\x20calls\x20object::delete(id).\x20Must\x20be\x20called\x20BEFORE\x20freeze\x20(frozen\x20objects\x20are\x20immutable,\x20cannot\x20be\x20destroyed).\x20Move\x20ownership\x20protects:\x20only\x20signer\x20holding\x20the\x20object\x20can\x20call.'},{'id':'P-PASS-12','pattern_name':'Clear\x20all\x20Guards\x20(pre-verify\x20only)','semantic_intent':'Remove\x20all\x20Guards\x20from\x20Passport\x20(only\x20allowed\x20before\x20verify)','match_keywords':['guard_clear','clear','reset'],'schema_fields':['(guard_clear\x20operation)'],'example_json':{'operation':'guard_clear'},'reverse_explanation':'passport::guard_clear(self,\x20ctx).\x20Aborts\x20E_HAS_VERIFIED\x20(4)\x20if\x20already\x20verified;\x20E_DIGEST_NOT_MATCH\x20(11)\x20if\x20tx_hash\x20mismatch.\x20Useful\x20for\x20resetting\x20configuration\x20before\x20verify.'}];export const SCHEMA_TO_SEMANTIC_RULES=[{'element_type':'field','type_name':'object','semantic_explanation':'Passport\x20object\x20reference\x20(address).\x20For\x20create,\x20no\x20object\x20yet;\x20for\x20operate,\x20the\x20existing\x20Passport\x20address.'},{'element_type':'field','type_name':'guard','semantic_explanation':'Array\x20of\x20{object,\x20impack}.\x20Each\x20entry\x20references\x20a\x20Guard\x20object\x20and\x20marks\x20whether\x20it\x20affects\x20final\x20result.\x20Count\x20≤\x20MAX_GUARD_COUNT_PASSPORT=20.'},{'element_type':'field','type_name':'guard[].object','semantic_explanation':'Guard\x20object\x20address.\x20Must\x20be\x20unique\x20within\x20the\x20Passport\x20(duplicate\x20addresses\x20overwrite\x20existing\x20config).\x20Resolved\x20via\x20LocalMark\x20before\x20on-chain\x20call.'},{'element_type':'field','type_name':'guard[].impack','semantic_explanation':'Boolean.\x20true=affects\x20final\x20result\x20(at\x20least\x201\x20required);\x20false=audit-only.\x20impack\x20Guards\x20failing\x20→\x20overall\x20result=false\x20immediately.'},{'element_type':'field','type_name':'submission','semantic_explanation':'Array\x20of\x20{guard,\x20submission[]}.\x20Each\x20submission\x20is\x20{identifier,\x20value,\x20value_type}.\x20identifier\x20is\x20u8\x20(0-255)\x20matching\x20Guard.table[].identifier.'},{'element_type':'field','type_name':'submission[].identifier','semantic_explanation':'u8\x20(0-255).\x20References\x20Guard.table[identifier].\x20Must\x20be\x20marked\x20b_submission=true\x20in\x20the\x20Guard.'},{'element_type':'field','type_name':'submission[].value','semantic_explanation':'Value\x20matching\x20submission[].value_type.\x20BCS-serialized\x20on-chain;\x20total\x20serialized\x20size\x20per\x20submission\x20≤\x20MAX_SUBMISSION_SIZE_PASSPORT=256\x20bytes.'},{'element_type':'field','type_name':'submission[].value_type','semantic_explanation':'Type\x20string:\x20\x27address\x27\x20|\x20\x27u64\x27\x20|\x20\x27bool\x27\x20|\x20\x27string\x27\x20|\x20\x27vector<u8>\x27\x20etc.\x20Must\x20match\x20Guard.table[identifier].value_type.'},{'element_type':'op','type_name':'create\x20(new)','semantic_explanation':'passport::new(clock,\x20ctx)\x20→\x20Passport.\x20Binds\x20tx_hash\x20=\x20tx_context::digest(ctx).\x20signer\x20=\x20tx_context::sender(ctx).\x20time\x20=\x20clock::timestamp_ms(clock).'},{'element_type':'op','type_name':'guard_add','semantic_explanation':'passport::guard_add(self,\x20guard,\x20identifiers,\x20values,\x20impack,\x20ctx).\x20Pre-verify\x20only.\x20Reads\x20guard::relies(guard)\x20for\x20dependency\x20info.\x20Aborts\x20E_RELIES_GUARD_NOT_ADDED\x20if\x20relies\x20missing.'},{'element_type':'op','type_name':'verify','semantic_explanation':'passport::verify(self,\x20ctx)\x20:\x20bool.\x20One-time.\x20Computes\x20per-Guard\x20result\x20via\x20relies,\x20then\x20impack\x20Guards\x20decide\x20final\x20result.\x20Sets\x20has_verified=true.'},{'element_type':'op','type_name':'freezen','semantic_explanation':'passport::freezen(self).\x20Permanent\x20freeze\x20(transfer::freeze_object).\x20Cannot\x20destroy\x20after.\x20Historical\x20typo:\x20Move\x20function\x20name\x20is\x20\x27freezen\x27\x20(not\x20\x27freeze\x27),\x20retained\x20for\x20compatibility.\x20SDK\x20exports\x20as\x20`freeze`.'},{'element_type':'op','type_name':'destroy','semantic_explanation':'passport::destroy(self).\x20Releases\x20storage\x20(object::delete).\x20Must\x20be\x20before\x20freeze.\x20Move\x20ownership\x20protects:\x20only\x20object\x20holder\x20can\x20call.'},{'element_type':'impack','type_name':'impack=true','semantic_explanation':'Guard\x20affects\x20final\x20result.\x20At\x20least\x201\x20required\x20(E_IMPACK_GUARD_NOT_FOUND).\x20Failure\x20→\x20overall\x20result=false,\x20immediate\x20return.'},{'element_type':'impack','type_name':'impack=false','semantic_explanation':'Guard\x20is\x20audit-only.\x20Per-Guard\x20result\x20is\x20recorded\x20but\x20does\x20NOT\x20affect\x20final\x20result.\x20Useful\x20for\x20logging\x20/\x20secondary\x20checks.'},{'element_type':'relies_logic','type_name':'AND\x20(relies_logic_and=true)','semantic_explanation':'All\x20relied\x20Guards\x20must\x20pass.\x20Short-circuits\x20on\x20first\x20false.\x20Initial\x20value\x20=\x20true;\x20result\x20=\x20true\x20AND\x20rely1.result\x20AND\x20rely2.result\x20...'},{'element_type':'relies_logic','type_name':'OR\x20(relies_logic_and=false)','semantic_explanation':'Any\x20relied\x20Guard\x20may\x20pass.\x20Short-circuits\x20on\x20first\x20true.\x20Initial\x20value\x20=\x20false;\x20result\x20=\x20false\x20OR\x20rely1.result\x20OR\x20rely2.result\x20...'},{'element_type':'lifecycle','type_name':'new\x20→\x20guard_add\x20→\x20verify\x20→\x20use\x20→\x20freeze/destroy','semantic_explanation':'5-stage\x20lifecycle.\x20verify\x20is\x20one-time.\x20freeze\x20and\x20destroy\x20are\x20mutually\x20exclusive\x20terminal\x20states.\x20All\x20write\x20ops\x20(guard_add/verify)\x20require\x20tx_hash\x20match.'}];export const PASSPORT_CONSTRAINT_RULES=[{'id':'T-PASS-01','category':'structural','rule':'Passport\x20is\x20created\x20via\x20the\x20SubmissionCall\x20mechanism,\x20not\x20the\x20standard\x20Call\x20pattern\x20(schema/call/base.ts\x20SubmissionCallSchema)','applies_to':['SubmissionCall','passport::new']},{'id':'T-PASS-02','category':'logic','rule':'Guards\x20with\x20guard[].impack=true\x20decide\x20the\x20final\x20result;\x20at\x20least\x201\x20impack\x20Guard\x20is\x20required\x20(E_IMPACK_GUARD_NOT_FOUND=9)','applies_to':['guard[].impack','verify\x20operation']},{'id':'T-PASS-03','category':'logic','rule':'Depended-on\x20Guards\x20must\x20be\x20added\x20first\x20(topological\x20order);\x20guard_add\x20checks\x20relies,\x20missing\x20relies\x20aborts\x20E_RELIES_GUARD_NOT_ADDED=2','applies_to':['guard_add\x20operation','guard::relies(guard)']},{'id':'T-PASS-04','category':'lifecycle','rule':'After\x20verify,\x20config\x20cannot\x20be\x20modified\x20(has_verified\x20is\x20one-time);\x20second\x20calls\x20to\x20guard_add/guard_clear/verify\x20abort\x20E_HAS_VERIFIED=4','applies_to':['verify\x20operation','has_verified\x20field']},{'id':'T-PASS-05','category':'lifecycle','rule':'tx_hash\x20binding\x20ensures\x20Passport\x20cannot\x20be\x20reused\x20across\x20transactions;\x20write\x20functions\x20and\x20result\x20queries\x20check\x20tx_hash\x20match','applies_to':['tx_hash\x20field','guard_add','verify','result']},{'id':'T-PASS-06','category':'structural','rule':'submission\x20data\x20must\x20match\x20Guard\x20identifier\x20type;\x20BCS\x20serialization\x20≤\x20MAX_SUBMISSION_SIZE_PASSPORT=256\x20bytes','applies_to':['submission[].value_type','submission[].identifier']},{'id':'T-PASS-07','category':'lifecycle','rule':'result\x20query\x20must\x20be\x20in\x20the\x20same\x20transaction\x20(tx_hash\x20matches\x20current\x20transaction);\x20otherwise\x20E_TX_NOT_MATCH=8','applies_to':['result\x20operation','result_for_guard','result_for_permission']},{'id':'T-PASS-08','category':'lifecycle','rule':'After\x20freeze,\x20Passport\x20is\x20permanently\x20retained\x20(cannot\x20be\x20destroyed);\x20freezen\x20calls\x20transfer::freeze_object','applies_to':['freezen\x20operation','destroy\x20operation']},{'id':'T-PASS-09','category':'lifecycle','rule':'destroy\x20must\x20happen\x20before\x20freeze\x20(destroyable\x20when\x20not\x20frozen);\x20after\x20freezing\x20the\x20object\x20becomes\x20immutable\x20and\x20cannot\x20be\x20received\x20by\x20value','applies_to':['destroy\x20operation','freezen\x20operation']},{'id':'T-PASS-10','category':'operational','rule':'explainPassport\x20must\x20translate\x20impack\x20and\x20result\x20status;\x20use\x20passport.object\x20(not\x20passport.id)\x20as\x20the\x20object\x20identifier','applies_to':['explainPassport\x20function','ObjectPassportSchema']},{'id':'T-PASS-11','category':'logic','rule':'relies\x20logic\x20(AND/OR)\x20must\x20be\x20reflected\x20in\x20explainPassport;\x20relies_logic_and=true=AND,\x20false=OR','applies_to':['explainPassport\x20function','guard::relies(guard)']},{'id':'T-PASS-12','category':'structural','rule':'Guard\x20count\x20≤\x20MAX_GUARD_COUNT_PASSPORT=20;\x20submission\x20serialized\x20size\x20≤\x20MAX_SUBMISSION_SIZE_PASSPORT=256\x20bytes','applies_to':['guard\x20array','submission\x20array']}];export const PASSPORT_TRANSLATION_VERSION='1.0.0';export function matchSemanticPattern(a){const b=a['toLowerCase']();return SEMANTIC_TO_SCHEMA_RULES['filter'](c=>c['match_keywords']['some'](d=>b['includes'](d['toLowerCase']())));}export function explainPassport(a){const b=[];b['push']('Passport\x20'+a['object']),b['push']('\x20\x20Signer:\x20'+a['signer']),b['push']('\x20\x20Time:\x20'+new Date(a['time'])['toISOString']()),b['push']('\x20\x20Verified:\x20'+a['has_verified']);a['has_verified']&&b['push']('\x20\x20Result:\x20'+(a['result']?'PASS\x20✅':'FAIL\x20❌'));b['push']('\x20\x20Guards:\x20'+a['info']['length']+'/'+MAX_GUARD_COUNT_PASSPORT);if(a['info']['length']>0x0){b['push']('\x20\x20Guard\x20details:');for(const c of a['info']){const d=c['impack']?'IMPACK':'non-impack',e=c['result']?'PASS':'FAIL';b['push']('\x20\x20\x20\x20-\x20Guard\x20'+c['guard']+':\x20'+e+'\x20('+d+')');}}return a['impack_guard']&&a['impack_guard']['length']>0x0&&b['push']('\x20\x20impack_guard\x20list\x20(lazy-filled):\x20'+a['impack_guard']['join'](',\x20')),a['tx_hash']&&b['push']('\x20\x20tx_hash:\x20'+a['tx_hash']),b['join']('\x0a');}export function passportJsonToSemantic(a){const b=[];if(a['type']==='submission'||a['guard']&&a['guard']['length']>0x0){b['push']('Operation:\x20CREATE\x20Passport\x20via\x20SubmissionCall');if(a['guard']&&a['guard']['length']>0x0){const c=a['guard']['filter'](e=>e['impack'])['length'],d=a['guard']['length']-c;b['push']('-\x20Guards:\x20'+a['guard']['length']+'/'+MAX_GUARD_COUNT_PASSPORT+'\x20('+c+'\x20impack,\x20'+d+'\x20non-impack)'),c===0x0&&b['push']('\x20\x20⚠️\x20No\x20impack\x20Guard\x20—\x20verify\x20will\x20abort\x20E_IMPACK_GUARD_NOT_FOUND\x20(9)'),a['guard']['forEach']((e,f)=>{const h=e['impack']?'IMPACK\x20(affects\x20result)':'non-impack\x20(audit-only)';b['push']('\x20\x20['+f+']\x20'+e['object']+'\x20—\x20'+h);});}if(a['submission']&&a['submission']['length']>0x0){b['push']('-\x20Submissions:\x20'+a['submission']['length']+'\x20guard(s)\x20with\x20submission\x20data');for(const e of a['submission']){const f=e['submission']['reduce']((h,i)=>h+estimateSubmissionSize(i['value_type']),0x0),g=f>MAX_SUBMISSION_SIZE_PASSPORT?'\x20⚠️\x20'+f+'\x20>\x20'+MAX_SUBMISSION_SIZE_PASSPORT+'\x20bytes\x20(E_SUBMISSION_SIZE_EXCEEDED)':'';b['push']('\x20\x20-\x20guard='+e['guard']+':\x20'+e['submission']['length']+'\x20item(s),\x20estimated\x20size='+f+'\x20bytes'+g);}}}else{if(a['operation']){b['push']('Operation:\x20'+a['operation']['toUpperCase']());switch(a['operation']){case'verify':b['push']('-\x20One-time\x20verification;\x20sets\x20has_verified=true,\x20computes\x20final\x20result'),b['push']('-\x20Aborts\x20E_HAS_VERIFIED\x20(4)\x20if\x20already\x20verified');break;case'freezen':b['push']('-\x20Permanent\x20freeze\x20(transfer::freeze_object)'),b['push']('-\x20Cannot\x20be\x20destroyed\x20after\x20freezing');break;case'destroy':b['push']('-\x20Permanent\x20deletion\x20(object::delete)'),b['push']('-\x20Must\x20be\x20called\x20BEFORE\x20freeze');break;case'guard_clear':b['push']('-\x20Removes\x20all\x20Guards\x20from\x20Passport'),b['push']('-\x20Only\x20allowed\x20before\x20verify\x20(E_HAS_VERIFIED\x20if\x20verified)');break;case'result_query':b['push']('-\x20Returns\x20final\x20verification\x20result\x20(bool)'),b['push']('-\x20Requires\x20has_verified=true\x20(E_NOT_VERIFIED)\x20and\x20tx_hash\x20match\x20(E_TX_NOT_MATCH)');break;case'result_for_guard':b['push']('-\x20Hard-verifies\x20Guard\x20'+a['guard_target']+'\x20is\x20impack\x20and\x20passed'),b['push']('-\x20Aborts\x20E_NOT_IMPACK_GUARD\x20(6)\x20if\x20not\x20impack;\x20E_VERIFY_FAILED\x20(7)\x20if\x20result=false');break;case'result_for_permission':b['push']('-\x20Returns\x20impack\x20Guard\x20address\x20list\x20(lazy-filled)'),b['push']('-\x20Aborts\x20E_VERIFY_FAILED\x20(7)\x20if\x20overall\x20result=false');break;case'submission_get':b['push']('-\x20Reads\x20submission\x20value\x20for\x20(guard='+a['guard_target']+',\x20identifier='+a['identifier']+')'),b['push']('-\x20Read-only,\x20no\x20tx_hash\x20check'),b['push']('-\x20Aborts\x20E_SUBMISSION_NOT_FOUND\x20(10)\x20if\x20no\x20entry');break;}}else b['push']('⚠️\x20Cannot\x20determine\x20operation:\x20provide\x20\x27type:\x20submission\x27\x20with\x20guard[],\x20or\x20\x27operation\x27\x20field');}return b['join']('\x0a');}export function semanticToPassportJson(a){switch(a['action']){case'create':{if(!a['guards']||a['guards']['length']===0x0)throw new Error('Create\x20action\x20requires\x20at\x20least\x201\x20Guard\x20in\x20intent.guards');if(a['guards']['length']>MAX_GUARD_COUNT_PASSPORT)throw new Error('Guard\x20count\x20'+a['guards']['length']+'\x20exceeds\x20MAX_GUARD_COUNT_PASSPORT='+MAX_GUARD_COUNT_PASSPORT);const b=a['guards']['some'](c=>c['impack']);if(!b)throw new Error('At\x20least\x201\x20Guard\x20must\x20have\x20impack=true\x20(else\x20verify\x20aborts\x20E_IMPACK_GUARD_NOT_FOUND=9)');return{'type':'submission','guard':a['guards']['map'](c=>({'object':c['object'],'impack':c['impack']})),'submission':a['guards']['filter'](c=>c['submission']&&c['submission']['length']>0x0)['map'](c=>({'guard':c['object'],'submission':c['submission']}))};}case'verify':return{'operation':'verify'};case'freeze':return{'operation':'freezen'};case'destroy':return{'operation':'destroy'};case'guard_clear':return{'operation':'guard_clear'};case'query_result':return{'operation':'result_query'};case'query_guard_result':if(!a['targetGuard'])throw new Error('query_guard_result\x20requires\x20intent.targetGuard');return{'operation':'result_for_guard','guard_target':a['targetGuard']};case'query_impack_list':return{'operation':'result_for_permission'};case'get_submission':if(!a['targetGuard'])throw new Error('get_submission\x20requires\x20intent.targetGuard');if(a['targetIdentifier']===undefined)throw new Error('get_submission\x20requires\x20intent.targetIdentifier');return{'operation':'submission_get','guard_target':a['targetGuard'],'identifier':a['targetIdentifier']};}}export function explainField(a){return SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='field'&&b['type_name']===a);}export function explainOp(a){return SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='op'&&b['type_name']===a);}export function explainImpack(a){return SCHEMA_TO_SEMANTIC_RULES['find'](b=>b['element_type']==='impack'&&b['type_name']==='impack='+a);}export function explainReliesLogic(a){const b=a?'AND\x20(relies_logic_and=true)':'OR\x20(relies_logic_and=false)';return SCHEMA_TO_SEMANTIC_RULES['find'](c=>c['element_type']==='relies_logic'&&c['type_name']===b);}export function getConstraintsByCategory(a){return PASSPORT_CONSTRAINT_RULES['filter'](b=>b['category']===a);}export function explainError(a){const b={[PASSPORT_ERROR_CODES['E_GUARD_COUNT_EXCEEDED']]:'Guard\x20count\x20exceeds\x20MAX_GUARD_COUNT_PASSPORT\x20(20)\x20—\x20remove\x20non-essential\x20Guards\x20or\x20merge\x20similar\x20ones',[PASSPORT_ERROR_CODES['E_RELIES_GUARD_NOT_ADDED']]:'Relied\x20Guard\x20not\x20yet\x20added\x20—\x20add\x20relied\x20Guards\x20in\x20topological\x20order\x20before\x20adding\x20the\x20dependent\x20Guard',[PASSPORT_ERROR_CODES['E_SUBMISSION_SIZE_EXCEEDED']]:'Submission\x20serialized\x20size\x20exceeds\x20MAX_SUBMISSION_SIZE_PASSPORT\x20(256\x20bytes)\x20—\x20use\x20Repository\x20reference\x20for\x20large\x20data',[PASSPORT_ERROR_CODES['E_HAS_VERIFIED']]:'Passport\x20already\x20verified\x20—\x20verify\x20is\x20one-time;\x20create\x20a\x20new\x20Passport\x20to\x20re-verify',[PASSPORT_ERROR_CODES['E_NOT_VERIFIED']]:'result()\x20called\x20before\x20verify()\x20—\x20call\x20verify()\x20first\x20in\x20the\x20same\x20transaction',[PASSPORT_ERROR_CODES['E_NOT_IMPACK_GUARD']]:'result_for_guard\x20called\x20on\x20non-impack\x20Guard\x20—\x20only\x20impack\x20Guards\x20can\x20be\x20hard-verified',[PASSPORT_ERROR_CODES['E_VERIFY_FAILED']]:'result_for_guard\x20/\x20result_for_permission\x20called\x20when\x20overall\x20result=false\x20—\x20fix\x20Guard\x20configuration\x20or\x20submission\x20data',[PASSPORT_ERROR_CODES['E_TX_NOT_MATCH']]:'result()\x20called\x20from\x20a\x20different\x20transaction\x20—\x20Passport\x20is\x20tx_hash-bound,\x20must\x20query\x20in\x20the\x20same\x20tx\x20as\x20verify()',[PASSPORT_ERROR_CODES['E_IMPACK_GUARD_NOT_FOUND']]:'verify()\x20found\x20no\x20impack\x20Guard\x20—\x20at\x20least\x201\x20Guard\x20must\x20have\x20impack=true',[PASSPORT_ERROR_CODES['E_SUBMISSION_NOT_FOUND']]:'submission_get\x20found\x20no\x20entry\x20for\x20(guard,\x20identifier)\x20—\x20check\x20Guard.table[identifier].b_submission=true',[PASSPORT_ERROR_CODES['E_DIGEST_NOT_MATCH']]:'guard_add\x20/\x20verify\x20/\x20guard_clear\x20called\x20from\x20a\x20different\x20transaction\x20—\x20Passport\x20is\x20tx_hash-bound'};return b[a]??'Unknown\x20Passport\x20error\x20code:\x20'+a;}function estimateSubmissionSize(a){switch(a){case'bool':return 0x1;case'u8':return 0x1;case'u64':return 0x8;case'address':return 0x20;case'string':return 0x20;case'vector<u8>':return 0x20;default:return 0x40;}}

package/dist/knowledge/payment-confirm.d.ts

@@ -0,0 +1,26 @@
+export declare const PAYMENT_CONFIRM_VERSION = "1.0.0";
+export type ConfirmSeverity = "block" | "warn" | "info";
+export interface PaymentConfirmItem {
+    id: string;
+    severity: ConfirmSeverity;
+    title: string;
+    description: string;
+    passed: boolean;
+    evidence?: string;
+    fix_hint?: string;
+}
+export interface PaymentCreationCheckInput {
+    recipient_count?: number;
+    uses_unsafe_unwrap?: boolean;
+    expects_mutation?: boolean;
+    payment_info_variant?: "payment_info" | "payment_info2" | "payment_info_with_guard" | "payment_info2_with_guard";
+    uses_scene_binding?: boolean;
+}
+export declare function preCheckPaymentCreation(input: PaymentCreationCheckInput): PaymentConfirmItem[];
+export declare function canCreatePayment(input: PaymentCreationCheckInput): {
+    canCreate: boolean;
+    blockers: PaymentConfirmItem[];
+    warnings: PaymentConfirmItem[];
+    info: PaymentConfirmItem[];
+};
+export declare function formatPaymentCreationSummary(input: PaymentCreationCheckInput): string;

package/dist/knowledge/payment-confirm.js

@@ -0,0 +1 @@
+import{MAX_RECIPIENT_COUNT}from'@wowok/wowok';export const PAYMENT_CONFIRM_VERSION='1.0.0';function checkRecipientCount(a){if(a['recipient_count']===undefined)return{'id':'C-PAYMENT-01','severity':'info','title':'recipient_count\x20in\x20(0,\x20MAX_RECIPIENT_COUNT]\x20('+MAX_RECIPIENT_COUNT+')','description':'create\x20aborts\x20with\x20ERECIPIENT_EMPTY\x20(4)\x20when\x200,\x20or\x20ERECIPIENT_COUNT_EXCEEDED\x20(1)\x20above\x20the\x20cap.','passed':!![],'evidence':'not\x20provided'};const b=a['recipient_count']>0x0&&a['recipient_count']<=MAX_RECIPIENT_COUNT;return{'id':'C-PAYMENT-01','severity':b?'info':'block','title':'recipient_count\x20in\x20(0,\x20MAX_RECIPIENT_COUNT]\x20('+MAX_RECIPIENT_COUNT+')','description':'Payment\x20may\x20carry\x20up\x20to\x20MAX_RECIPIENT_COUNT='+MAX_RECIPIENT_COUNT+'\x20recipients;\x200\x20aborts\x20with\x20ERECIPIENT_EMPTY\x20(4).','passed':b,'evidence':'recipient_count='+a['recipient_count']+',\x20limit='+MAX_RECIPIENT_COUNT,'fix_hint':'Split\x20mass\x20payouts\x20across\x20multiple\x20Payment\x20objects.'};}function checkUnwrap(a){const b=!!a['uses_unsafe_unwrap'];return{'id':'C-PAYMENT-02','severity':b?'block':'info','title':'unwrap_with_check\x20is\x20used\x20(Payment\x20match\x20enforced)','description':'unwrap()\x20performs\x20no\x20Payment\x20match\x20check\x20and\x20can\x20release\x20a\x20CoinWrapper\x20minted\x20for\x20a\x20different\x20Payment.\x20unwrap_with_check\x20enforces\x20EPAYMENT_NOT_MATCH\x20(3).','passed':!b,'evidence':b?'uses_unsafe_unwrap=true':'safe\x20unwrap_with_check','fix_hint':'Use\x20unwrap_with_check\x20for\x20all\x20coin\x20release\x20paths.'};}function checkImmutability(a){const b=!!a['expects_mutation'];return{'id':'C-PAYMENT-03','severity':b?'warn':'info','title':'Payment\x20is\x20immutable\x20after\x20create\x20(freeze_object)','description':'create()\x20freezes\x20the\x20Payment;\x20amount/time/info/from_object/signer/record\x20are\x20permanent.\x20Correction\x20requires\x20a\x20new\x20Payment.','passed':!b,'evidence':b?'expects_mutation=true\x20(frozen\x20at\x20create)':'immutability\x20understood','fix_hint':'Verify\x20all\x20fields\x20before\x20create;\x20issue\x20a\x20reverse\x20Payment\x20for\x20corrections.'};}function checkVariant(a){if(!a['uses_scene_binding'])return{'id':'C-PAYMENT-04','severity':'info','title':'PaymentInfo\x20variant\x20selection','description':'4\x20constructors\x20exist:\x20payment_info\x20/\x20payment_info2\x20/\x20payment_info_with_guard\x20/\x20payment_info2_with_guard.','passed':!![],'evidence':'no\x20scene\x20binding'};const b=a['payment_info_variant']==='payment_info_with_guard';return{'id':'C-PAYMENT-04','severity':b?'info':'warn','title':'Use\x20payment_info_with_guard\x20for\x20exception-branch\x20scene\x20binding','description':'For\x20anti-reuse\x20compensation\x20Payments\x20(for_object\x20+\x20for_guard\x20+\x20index),\x20always\x20use\x20payment_info_with_guard.\x20Other\x20variants\x20drop\x20for_guard\x20or\x20for_object.','passed':b,'evidence':'uses_scene_binding=true,\x20variant='+(a['payment_info_variant']??'unknown'),'fix_hint':'Select\x20payment_info_with_guard\x20to\x20bind\x20order\x20+\x20guard\x20+\x20progress\x20index.'};}export function preCheckPaymentCreation(a){return[checkRecipientCount(a),checkUnwrap(a),checkImmutability(a),checkVariant(a)];}export function canCreatePayment(a){const b=preCheckPaymentCreation(a);return{'canCreate':b['every'](c=>c['severity']!=='block'||c['passed']),'blockers':b['filter'](c=>c['severity']==='block'&&!c['passed']),'warnings':b['filter'](c=>c['severity']==='warn'&&!c['passed']),'info':b['filter'](c=>c['severity']==='info')};}export function formatPaymentCreationSummary(a){const {canCreate:b,blockers:c,warnings:d}=canCreatePayment(a),e=[b?'✓\x20Payment\x20creation\x20pre-check\x20PASSED':'✗\x20Payment\x20creation\x20pre-check\x20FAILED',''];return c['length']>0x0&&(e['push']('BLOCKERS:'),c['forEach'](f=>e['push']('\x20\x20['+f['id']+']\x20'+f['title']+'\x20—\x20'+(f['evidence']??''))),e['push']('')),d['length']>0x0&&(e['push']('WARNINGS:'),d['forEach'](f=>e['push']('\x20\x20['+f['id']+']\x20'+f['title']+'\x20—\x20'+(f['evidence']??'')))),e['join']('\x0a');}