@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/knowledge/repository-confirm.js

@@ -1,286 +1 @@
-import { MAX_POLICY_COUNT, MAX_POLICY_DESCRIPTION_LEN, MAX_POLICY_GUARD_COUNT, MAX_DATA_SIZE, MAX_ID_COUNT_ONCE, MAX_REWARD_COUNT, } from "@wowok/wowok";
-function normalizeIdFrom(v) {
-    if (typeof v === "number")
-        return v;
-    const lower = String(v).toLowerCase();
-    if (lower === "none")
-        return 0;
-    if (lower === "clock")
-        return 1;
-    if (lower === "signer")
-        return 2;
-    const parsed = Number(v);
-    return Number.isNaN(parsed) ? -1 : parsed;
-}
-function checkPolicyCount(input) {
-    if (!input.policies || input.existing_policy_count === undefined) {
-        return {
-            id: "C-REP-01",
-            severity: "info",
-            title: `Policy count within MAX_POLICY_COUNT (${MAX_POLICY_COUNT})`,
-            description: "Skipped: no policy count provided.",
-            passed: true,
-        };
-    }
-    const total = input.existing_policy_count + input.policies.length;
-    const passed = total <= MAX_POLICY_COUNT;
-    return {
-        id: "C-REP-01",
-        severity: passed ? "info" : "block",
-        title: `Policy count within MAX_POLICY_COUNT (${MAX_POLICY_COUNT})`,
-        description: "A single Repository may hold up to MAX_POLICY_COUNT policies. Exceeding aborts with E_POLICY_COUNT_EXCEEDED (3). " +
-            "Each policy is a named data slot with its own write_guard and id_from routing.",
-        passed,
-        evidence: `existing=${input.existing_policy_count}, adding=${input.policies.length}, total=${total}`,
-        fix_hint: `Consolidate or split across multiple Repository objects. Limit=${MAX_POLICY_COUNT}.`,
-    };
-}
-function checkWriteGuardRequiredWhenIdFromNone(input) {
-    if (!input.policies) {
-        return { id: "C-REP-02", severity: "info", title: "write_guard/id_from consistency (R-D-1)", description: "Skipped: no policies.", passed: true };
-    }
-    const offenders = input.policies.filter(p => normalizeIdFrom(p.id_from) === 0 && p.write_guard_count === 0);
-    const passed = offenders.length === 0;
-    return {
-        id: "C-REP-02",
-        severity: passed ? "info" : "block",
-        title: "write_guard non-empty when id_from=None (R-D-1 Move assert)",
-        description: "When id_from is None, the data ID comes from the caller — without write_guard, ANY address can write " +
-            "data with any ID. Move aborts with E_POLICY_WRITE_GUARD_REQUIRED (22) in policy_add_imp() [R-D-1=A].",
-        passed,
-        evidence: passed ? "all policies with id_from=None have write_guard" :
-            `offenders: ${offenders.map(p => p.name).join(", ")}`,
-        fix_hint: "Add at least one PolicyGuard to write_guard, OR switch id_from to Clock/Signer.",
-    };
-}
-function checkWriteGuardForbiddenWhenIdFromClockSigner(input) {
-    if (!input.policies) {
-        return { id: "C-REP-03", severity: "info", title: "id_from_submission null when id_from=Clock/Signer (R-D-1)", description: "Skipped: no policies.", passed: true };
-    }
-    const offenders = input.policies.filter(p => {
-        const idFrom = normalizeIdFrom(p.id_from);
-        return (idFrom === 1 || idFrom === 2) && p.has_id_from_submission;
-    });
-    const passed = offenders.length === 0;
-    return {
-        id: "C-REP-03",
-        severity: passed ? "info" : "block",
-        title: "id_from_submission null when id_from=Clock/Signer (R-D-1 Move assert)",
-        description: "When id_from is Clock/Signer, the ID is auto-generated — id_from_submission would conflict. " +
-            "data_from_submission is still allowed (used by data_when_id_from_set_with_passport). " +
-            "Move aborts with E_POLICY_ID_FROM_SUBMISSION_FORBIDDEN (23) in policy_add_imp() [R-D-1=A, refined].",
-        passed,
-        evidence: passed ? "all policies with id_from=Clock/Signer have id_from_submission=null" :
-            `offenders: ${offenders.map(p => `${p.name}(id_from=${p.id_from})`).join(", ")}`,
-        fix_hint: "Set id_from_submission=null on all write_guard entries, OR switch id_from to None.",
-    };
-}
-function checkPolicyGuardCount(input) {
-    if (!input.policies) {
-        return { id: "C-REP-04", severity: "info", title: `write_guard count ≤ ${MAX_POLICY_GUARD_COUNT}`, description: "Skipped: no policies.", passed: true };
-    }
-    const offenders = input.policies.filter(p => p.write_guard_count > MAX_POLICY_GUARD_COUNT);
-    const passed = offenders.length === 0;
-    return {
-        id: "C-REP-04",
-        severity: passed ? "info" : "block",
-        title: `Each policy write_guard count ≤ MAX_POLICY_GUARD_COUNT (${MAX_POLICY_GUARD_COUNT})`,
-        description: "Each policy may define up to MAX_POLICY_GUARD_COUNT guard entries. Move aborts with E_POLICY_GUARD_COUNT_EXCEEDED (2).",
-        passed,
-        evidence: passed ? "all policies within limit" :
-            `offenders: ${offenders.map(p => `${p.name}(${p.write_guard_count})`).join(", ")}`,
-        fix_hint: `Reduce write_guard entries to ≤ ${MAX_POLICY_GUARD_COUNT} per policy.`,
-    };
-}
-function checkPolicyDescription(input) {
-    if (!input.policies) {
-        return { id: "C-REP-05", severity: "info", title: `Policy description ≤ ${MAX_POLICY_DESCRIPTION_LEN}`, description: "Skipped: no policies.", passed: true };
-    }
-    const offenders = input.policies.filter(p => p.description !== undefined && p.description.length > MAX_POLICY_DESCRIPTION_LEN);
-    const passed = offenders.length === 0;
-    return {
-        id: "C-REP-05",
-        severity: passed ? "info" : "block",
-        title: `Each policy description ≤ MAX_POLICY_DESCRIPTION_LEN (${MAX_POLICY_DESCRIPTION_LEN})`,
-        description: "Policy description is bounded by MAX_POLICY_DESCRIPTION_LEN. Move aborts with E_POLICY_DESCRIPTION_EXCEEDED (1).",
-        passed,
-        evidence: passed ? "all descriptions within limit" :
-            `offenders: ${offenders.map(p => `${p.name}(len=${p.description.length})`).join(", ")}`,
-        fix_hint: `Shorten policy descriptions to ≤ ${MAX_POLICY_DESCRIPTION_LEN} chars.`,
-    };
-}
-function checkDataSize(input) {
-    if (input.data_size === undefined) {
-        return { id: "C-REP-06", severity: "info", title: `Data value ≤ MAX_DATA_SIZE (${MAX_DATA_SIZE})`, description: "Skipped: no data_size.", passed: true };
-    }
-    const passed = input.data_size <= MAX_DATA_SIZE;
-    return {
-        id: "C-REP-06",
-        severity: passed ? "info" : "block",
-        title: `Data value ≤ MAX_DATA_SIZE (${MAX_DATA_SIZE} bytes)`,
-        description: "Each data value must be ≤ MAX_DATA_SIZE bytes (BCS-serialized, type-tag prefixed). Move aborts with E_DATA_EXCEEDED (4). " +
-            "Store large payloads off-chain and reference by hash.",
-        passed,
-        evidence: `data_size=${input.data_size}, limit=${MAX_DATA_SIZE}`,
-        fix_hint: `Store large data off-chain; write only the content hash. Limit=${MAX_DATA_SIZE} bytes.`,
-    };
-}
-function checkIdCountOnce(input) {
-    if (input.id_count_once === undefined) {
-        return { id: "C-REP-07", severity: "info", title: `ID count ≤ MAX_ID_COUNT_ONCE (${MAX_ID_COUNT_ONCE})`, description: "Skipped: no id_count.", passed: true };
-    }
-    const passed = input.id_count_once <= MAX_ID_COUNT_ONCE;
-    return {
-        id: "C-REP-07",
-        severity: passed ? "info" : "block",
-        title: `ID count per op ≤ MAX_ID_COUNT_ONCE (${MAX_ID_COUNT_ONCE})`,
-        description: "A single Repository call may operate on at most MAX_ID_COUNT_ONCE IDs. Move aborts with E_ID_COUNT_EXCEEDED (5). " +
-            "Batch large operations across multiple transactions.",
-        passed,
-        evidence: `id_count=${input.id_count_once}, limit=${MAX_ID_COUNT_ONCE}`,
-        fix_hint: `Split into batches of ≤ ${MAX_ID_COUNT_ONCE} IDs per transaction.`,
-    };
-}
-function checkRewardCount(input) {
-    if (input.reward_count === undefined) {
-        return { id: "C-REP-08", severity: "info", title: `Reward count ≤ MAX_REWARD_COUNT (${MAX_REWARD_COUNT})`, description: "Skipped: no reward_count.", passed: true };
-    }
-    const passed = input.reward_count <= MAX_REWARD_COUNT;
-    return {
-        id: "C-REP-08",
-        severity: passed ? "info" : "block",
-        title: `Reward count ≤ MAX_REWARD_COUNT (${MAX_REWARD_COUNT})`,
-        description: "A Repository may reference up to MAX_REWARD_COUNT Reward objects. Move aborts with E_MAX_REWARD_COUNT_EXCEEDED (19).",
-        passed,
-        evidence: `reward_count=${input.reward_count}, limit=${MAX_REWARD_COUNT}`,
-        fix_hint: `Consolidate rewards or use a separate Repository. Limit=${MAX_REWARD_COUNT}.`,
-    };
-}
-function checkDataRemoveWithPassportSubmission(input) {
-    if (!input.is_data_remove_with_passport || !input.policies) {
-        return { id: "C-REP-09", severity: "info", title: "id_data_remove_with_passport submission check (R-D-2)", description: "Skipped: not applicable.", passed: true };
-    }
-    const offenders = input.policies.filter(p => p.has_data_from_submission);
-    const passed = offenders.length === 0;
-    return {
-        id: "C-REP-09",
-        severity: passed ? "info" : "block",
-        title: "id_data_remove_with_passport: no data_from_submission (R-D-2 Move assert)",
-        description: "id_data_remove_with_passport only removes data by caller-provided id; it cannot consume Passport " +
-            "submissions. Move now checks BOTH id_from_submission AND data_from_submission are None [R-D-2=A], " +
-            "aborting with E_GUARD_SPECIFIED_ID_FROM_SUBMISSION (11).",
-        passed,
-        evidence: passed ? "no policies with data_from_submission" :
-            `offenders: ${offenders.map(p => p.name).join(", ")}`,
-        fix_hint: "Use id_data_mixed_remove_with_passport for submission-based removal, or unset data_from_submission.",
-    };
-}
-function checkIdFromString(input) {
-    if (!input.policies) {
-        return { id: "C-REP-10", severity: "info", title: "id_from string form valid (P1-2 parseIdFrom)", description: "Skipped: no policies.", passed: true };
-    }
-    const offenders = input.policies.filter(p => {
-        const n = normalizeIdFrom(p.id_from);
-        return n < 0 || n > 2;
-    });
-    const passed = offenders.length === 0;
-    return {
-        id: "C-REP-10",
-        severity: passed ? "info" : "warn",
-        title: "id_from string form is recognized (P1-2 parseIdFrom)",
-        description: "SDK parseIdFrom normalizes string id_from (e.g. \"none\"/\"clock\"/\"signer\") to numeric enum before " +
-            "comparison [P1-2 fix]. Unrecognized values fall through to Move which aborts with E_INVALID_ID_FROM (18).",
-        passed,
-        evidence: passed ? "all id_from values recognized" :
-            `offenders: ${offenders.map(p => `${p.name}(id_from=${p.id_from})`).join(", ")}`,
-        fix_hint: "Use 0/1/2, or 'None'/'Clock'/'Signer' (case-insensitive).",
-    };
-}
-function checkQuoteGuardIsDepended(input) {
-    if (!input.has_quote_guard) {
-        return { id: "C-REP-11", severity: "info", title: "quote_guard is_depended check", description: "Skipped: no quote_guard set.", passed: true };
-    }
-    const passed = input.quote_guard_is_depended === true;
-    return {
-        id: "C-REP-11",
-        severity: passed ? "info" : "block",
-        title: "quote_guard satisfies is_depended (immutable + rep=true + no relies)",
-        description: "When quote_guard is set, it MUST satisfy guard::is_depended (guard.move#L133-135): " +
-            "immutable=true, relies empty, rep=true. Move aborts with E_NEED_DEPENDENT_GUARD (repository.move#L422). " +
-            "VERIFIED: passport.rs#L545-612 — check_repository_quote_guard enforces this at query time. " +
-            "quote_guard is a RIGID verification requirement: any guard querying this Repository's data must satisfy it.",
-        passed,
-        evidence: passed ? "quote_guard is is_depended" : "quote_guard NOT is_depended (will abort)",
-        fix_hint: "Ensure the quote_guard Guard object has: immutable=true, relies=empty, rep=true.",
-    };
-}
-function checkQuoteGuardSubscriptionDesign(input) {
-    if (!input.has_quote_guard) {
-        return { id: "C-REP-12", severity: "info", title: "quote_guard subscription design check", description: "Skipped: no quote_guard set.", passed: true };
-    }
-    const issues = [];
-    if (!input.quote_guard_verifies_payment)
-        issues.push("quote_guard does not verify Payment for subscription");
-    if (!input.has_owner_receive)
-        issues.push("Repository missing owner_receive for Payment revenue");
-    const passed = issues.length === 0;
-    return {
-        id: "C-REP-12",
-        severity: passed ? "info" : "warn",
-        title: "quote_guard data subscription design — Payment verification + owner_receive revenue",
-        description: "For data subscription pattern (Repository+quote_guard+Payment): " +
-            "(1) quote_guard should verify Payment (for_object matches Repository, amount meets subscription price); " +
-            "(2) Repository should have owner_receive<T> configured to accept Payment as subscription revenue " +
-            "(repository.move#L714-717). VERIFIED: passport.rs#L545-612. " +
-            "DESIGN: user submits Payment via Passport → quote_guard verifies → repository data query passes.",
-        passed,
-        evidence: passed ? "quote_guard subscription design complete" : issues.join("; "),
-        fix_hint: "Use tpl_repository_quote_guard_subscription (guard-templates.ts) as the design template.",
-    };
-}
-export function preCheckRepositoryOp(input) {
-    return [
-        checkPolicyCount(input),
-        checkWriteGuardRequiredWhenIdFromNone(input),
-        checkWriteGuardForbiddenWhenIdFromClockSigner(input),
-        checkPolicyGuardCount(input),
-        checkPolicyDescription(input),
-        checkDataSize(input),
-        checkIdCountOnce(input),
-        checkRewardCount(input),
-        checkDataRemoveWithPassportSubmission(input),
-        checkIdFromString(input),
-        checkQuoteGuardIsDepended(input),
-        checkQuoteGuardSubscriptionDesign(input),
-    ];
-}
-export function canProceedRepositoryOp(input) {
-    const items = preCheckRepositoryOp(input);
-    return {
-        canProceed: items.every(i => i.severity !== "block" || i.passed),
-        blockers: items.filter(i => i.severity === "block" && !i.passed),
-        warnings: items.filter(i => i.severity === "warn" && !i.passed),
-        info: items.filter(i => i.severity === "info"),
-    };
-}
-export function formatRepositoryOpSummary(input) {
-    const { canProceed, blockers, warnings, info } = canProceedRepositoryOp(input);
-    const lines = [];
-    lines.push(canProceed ? `✓ Repository ${input.op} pre-check PASSED` : `✗ Repository ${input.op} pre-check FAILED`);
-    lines.push("");
-    if (blockers.length > 0) {
-        lines.push("BLOCKERS (must fix before operation):");
-        blockers.forEach(b => lines.push(`  [${b.id}] ${b.title} — ${b.evidence ?? ""}`));
-        lines.push("");
-    }
-    if (warnings.length > 0) {
-        lines.push("WARNINGS (review recommended):");
-        warnings.forEach(w => lines.push(`  [${w.id}] ${w.title} — ${w.evidence ?? ""}`));
-        lines.push("");
-    }
-    if (info.length > 0) {
-        lines.push("INFO:");
-        info.forEach(i => lines.push(`  [${i.id}] ${i.title}`));
-    }
-    return lines.join("\n");
-}
+import{MAX_POLICY_COUNT,MAX_POLICY_DESCRIPTION_LEN,MAX_POLICY_GUARD_COUNT,MAX_DATA_SIZE,MAX_ID_COUNT_ONCE,MAX_REWARD_COUNT}from'@wowok/wowok';function normalizeIdFrom(a){if(typeof a==='number')return a;const b=String(a)['toLowerCase']();if(b==='none')return 0x0;if(b==='clock')return 0x1;if(b==='signer')return 0x2;const c=Number(a);return Number['isNaN'](c)?-0x1:c;}function checkPolicyCount(a){if(!a['policies']||a['existing_policy_count']===undefined)return{'id':'C-REP-01','severity':'info','title':'Policy\x20count\x20within\x20MAX_POLICY_COUNT\x20('+MAX_POLICY_COUNT+')','description':'Skipped:\x20no\x20policy\x20count\x20provided.','passed':!![]};const b=a['existing_policy_count']+a['policies']['length'],c=b<=MAX_POLICY_COUNT;return{'id':'C-REP-01','severity':c?'info':'block','title':'Policy\x20count\x20within\x20MAX_POLICY_COUNT\x20('+MAX_POLICY_COUNT+')','description':'A\x20single\x20Repository\x20may\x20hold\x20up\x20to\x20MAX_POLICY_COUNT\x20policies.\x20Exceeding\x20aborts\x20with\x20E_POLICY_COUNT_EXCEEDED\x20(3).\x20'+'Each\x20policy\x20is\x20a\x20named\x20data\x20slot\x20with\x20its\x20own\x20write_guard\x20and\x20id_from\x20routing.','passed':c,'evidence':'existing='+a['existing_policy_count']+',\x20adding='+a['policies']['length']+',\x20total='+b,'fix_hint':'Consolidate\x20or\x20split\x20across\x20multiple\x20Repository\x20objects.\x20Limit='+MAX_POLICY_COUNT+'.'};}function checkWriteGuardRequiredWhenIdFromNone(a){if(!a['policies'])return{'id':'C-REP-02','severity':'info','title':'write_guard/id_from\x20consistency\x20(R-D-1)','description':'Skipped:\x20no\x20policies.','passed':!![]};const b=a['policies']['filter'](d=>normalizeIdFrom(d['id_from'])===0x0&&d['write_guard_count']===0x0),c=b['length']===0x0;return{'id':'C-REP-02','severity':c?'info':'block','title':'write_guard\x20non-empty\x20when\x20id_from=None\x20(R-D-1\x20Move\x20assert)','description':'When\x20id_from\x20is\x20None,\x20the\x20data\x20ID\x20comes\x20from\x20the\x20caller\x20—\x20without\x20write_guard,\x20ANY\x20address\x20can\x20write\x20'+'data\x20with\x20any\x20ID.\x20Move\x20aborts\x20with\x20E_POLICY_WRITE_GUARD_REQUIRED\x20(22)\x20in\x20policy_add_imp()\x20[R-D-1=A].','passed':c,'evidence':c?'all\x20policies\x20with\x20id_from=None\x20have\x20write_guard':'offenders:\x20'+b['map'](d=>d['name'])['join'](',\x20'),'fix_hint':'Add\x20at\x20least\x20one\x20PolicyGuard\x20to\x20write_guard,\x20OR\x20switch\x20id_from\x20to\x20Clock/Signer.'};}function checkWriteGuardForbiddenWhenIdFromClockSigner(a){if(!a['policies'])return{'id':'C-REP-03','severity':'info','title':'id_from_submission\x20null\x20when\x20id_from=Clock/Signer\x20(R-D-1)','description':'Skipped:\x20no\x20policies.','passed':!![]};const b=a['policies']['filter'](d=>{const e=normalizeIdFrom(d['id_from']);return(e===0x1||e===0x2)&&d['has_id_from_submission'];}),c=b['length']===0x0;return{'id':'C-REP-03','severity':c?'info':'block','title':'id_from_submission\x20null\x20when\x20id_from=Clock/Signer\x20(R-D-1\x20Move\x20assert)','description':'When\x20id_from\x20is\x20Clock/Signer,\x20the\x20ID\x20is\x20auto-generated\x20—\x20id_from_submission\x20would\x20conflict.\x20'+'data_from_submission\x20is\x20still\x20allowed\x20(used\x20by\x20data_when_id_from_set_with_passport).\x20'+'Move\x20aborts\x20with\x20E_POLICY_ID_FROM_SUBMISSION_FORBIDDEN\x20(23)\x20in\x20policy_add_imp()\x20[R-D-1=A,\x20refined].','passed':c,'evidence':c?'all\x20policies\x20with\x20id_from=Clock/Signer\x20have\x20id_from_submission=null':'offenders:\x20'+b['map'](d=>d['name']+'(id_from='+d['id_from']+')')['join'](',\x20'),'fix_hint':'Set\x20id_from_submission=null\x20on\x20all\x20write_guard\x20entries,\x20OR\x20switch\x20id_from\x20to\x20None.'};}function checkPolicyGuardCount(a){if(!a['policies'])return{'id':'C-REP-04','severity':'info','title':'write_guard\x20count\x20≤\x20'+MAX_POLICY_GUARD_COUNT,'description':'Skipped:\x20no\x20policies.','passed':!![]};const b=a['policies']['filter'](d=>d['write_guard_count']>MAX_POLICY_GUARD_COUNT),c=b['length']===0x0;return{'id':'C-REP-04','severity':c?'info':'block','title':'Each\x20policy\x20write_guard\x20count\x20≤\x20MAX_POLICY_GUARD_COUNT\x20('+MAX_POLICY_GUARD_COUNT+')','description':'Each\x20policy\x20may\x20define\x20up\x20to\x20MAX_POLICY_GUARD_COUNT\x20guard\x20entries.\x20Move\x20aborts\x20with\x20E_POLICY_GUARD_COUNT_EXCEEDED\x20(2).','passed':c,'evidence':c?'all\x20policies\x20within\x20limit':'offenders:\x20'+b['map'](d=>d['name']+'('+d['write_guard_count']+')')['join'](',\x20'),'fix_hint':'Reduce\x20write_guard\x20entries\x20to\x20≤\x20'+MAX_POLICY_GUARD_COUNT+'\x20per\x20policy.'};}function checkPolicyDescription(a){if(!a['policies'])return{'id':'C-REP-05','severity':'info','title':'Policy\x20description\x20≤\x20'+MAX_POLICY_DESCRIPTION_LEN,'description':'Skipped:\x20no\x20policies.','passed':!![]};const b=a['policies']['filter'](d=>d['description']!==undefined&&d['description']['length']>MAX_POLICY_DESCRIPTION_LEN),c=b['length']===0x0;return{'id':'C-REP-05','severity':c?'info':'block','title':'Each\x20policy\x20description\x20≤\x20MAX_POLICY_DESCRIPTION_LEN\x20('+MAX_POLICY_DESCRIPTION_LEN+')','description':'Policy\x20description\x20is\x20bounded\x20by\x20MAX_POLICY_DESCRIPTION_LEN.\x20Move\x20aborts\x20with\x20E_POLICY_DESCRIPTION_EXCEEDED\x20(1).','passed':c,'evidence':c?'all\x20descriptions\x20within\x20limit':'offenders:\x20'+b['map'](d=>d['name']+'(len='+d['description']['length']+')')['join'](',\x20'),'fix_hint':'Shorten\x20policy\x20descriptions\x20to\x20≤\x20'+MAX_POLICY_DESCRIPTION_LEN+'\x20chars.'};}function checkDataSize(a){if(a['data_size']===undefined)return{'id':'C-REP-06','severity':'info','title':'Data\x20value\x20≤\x20MAX_DATA_SIZE\x20('+MAX_DATA_SIZE+')','description':'Skipped:\x20no\x20data_size.','passed':!![]};const b=a['data_size']<=MAX_DATA_SIZE;return{'id':'C-REP-06','severity':b?'info':'block','title':'Data\x20value\x20≤\x20MAX_DATA_SIZE\x20('+MAX_DATA_SIZE+'\x20bytes)','description':'Each\x20data\x20value\x20must\x20be\x20≤\x20MAX_DATA_SIZE\x20bytes\x20(BCS-serialized,\x20type-tag\x20prefixed).\x20Move\x20aborts\x20with\x20E_DATA_EXCEEDED\x20(4).\x20'+'Store\x20large\x20payloads\x20off-chain\x20and\x20reference\x20by\x20hash.','passed':b,'evidence':'data_size='+a['data_size']+',\x20limit='+MAX_DATA_SIZE,'fix_hint':'Store\x20large\x20data\x20off-chain;\x20write\x20only\x20the\x20content\x20hash.\x20Limit='+MAX_DATA_SIZE+'\x20bytes.'};}function checkIdCountOnce(a){if(a['id_count_once']===undefined)return{'id':'C-REP-07','severity':'info','title':'ID\x20count\x20≤\x20MAX_ID_COUNT_ONCE\x20('+MAX_ID_COUNT_ONCE+')','description':'Skipped:\x20no\x20id_count.','passed':!![]};const b=a['id_count_once']<=MAX_ID_COUNT_ONCE;return{'id':'C-REP-07','severity':b?'info':'block','title':'ID\x20count\x20per\x20op\x20≤\x20MAX_ID_COUNT_ONCE\x20('+MAX_ID_COUNT_ONCE+')','description':'A\x20single\x20Repository\x20call\x20may\x20operate\x20on\x20at\x20most\x20MAX_ID_COUNT_ONCE\x20IDs.\x20Move\x20aborts\x20with\x20E_ID_COUNT_EXCEEDED\x20(5).\x20'+'Batch\x20large\x20operations\x20across\x20multiple\x20transactions.','passed':b,'evidence':'id_count='+a['id_count_once']+',\x20limit='+MAX_ID_COUNT_ONCE,'fix_hint':'Split\x20into\x20batches\x20of\x20≤\x20'+MAX_ID_COUNT_ONCE+'\x20IDs\x20per\x20transaction.'};}function checkRewardCount(a){if(a['reward_count']===undefined)return{'id':'C-REP-08','severity':'info','title':'Reward\x20count\x20≤\x20MAX_REWARD_COUNT\x20('+MAX_REWARD_COUNT+')','description':'Skipped:\x20no\x20reward_count.','passed':!![]};const b=a['reward_count']<=MAX_REWARD_COUNT;return{'id':'C-REP-08','severity':b?'info':'block','title':'Reward\x20count\x20≤\x20MAX_REWARD_COUNT\x20('+MAX_REWARD_COUNT+')','description':'A\x20Repository\x20may\x20reference\x20up\x20to\x20MAX_REWARD_COUNT\x20Reward\x20objects.\x20Move\x20aborts\x20with\x20E_MAX_REWARD_COUNT_EXCEEDED\x20(19).','passed':b,'evidence':'reward_count='+a['reward_count']+',\x20limit='+MAX_REWARD_COUNT,'fix_hint':'Consolidate\x20rewards\x20or\x20use\x20a\x20separate\x20Repository.\x20Limit='+MAX_REWARD_COUNT+'.'};}function checkDataRemoveWithPassportSubmission(a){if(!a['is_data_remove_with_passport']||!a['policies'])return{'id':'C-REP-09','severity':'info','title':'id_data_remove_with_passport\x20submission\x20check\x20(R-D-2)','description':'Skipped:\x20not\x20applicable.','passed':!![]};const b=a['policies']['filter'](d=>d['has_data_from_submission']),c=b['length']===0x0;return{'id':'C-REP-09','severity':c?'info':'block','title':'id_data_remove_with_passport:\x20no\x20data_from_submission\x20(R-D-2\x20Move\x20assert)','description':'id_data_remove_with_passport\x20only\x20removes\x20data\x20by\x20caller-provided\x20id;\x20it\x20cannot\x20consume\x20Passport\x20'+'submissions.\x20Move\x20now\x20checks\x20BOTH\x20id_from_submission\x20AND\x20data_from_submission\x20are\x20None\x20[R-D-2=A],\x20'+'aborting\x20with\x20E_GUARD_SPECIFIED_ID_FROM_SUBMISSION\x20(11).','passed':c,'evidence':c?'no\x20policies\x20with\x20data_from_submission':'offenders:\x20'+b['map'](d=>d['name'])['join'](',\x20'),'fix_hint':'Use\x20id_data_mixed_remove_with_passport\x20for\x20submission-based\x20removal,\x20or\x20unset\x20data_from_submission.'};}function checkIdFromString(a){if(!a['policies'])return{'id':'C-REP-10','severity':'info','title':'id_from\x20string\x20form\x20valid\x20(P1-2\x20parseIdFrom)','description':'Skipped:\x20no\x20policies.','passed':!![]};const b=a['policies']['filter'](d=>{const e=normalizeIdFrom(d['id_from']);return e<0x0||e>0x2;}),c=b['length']===0x0;return{'id':'C-REP-10','severity':c?'info':'warn','title':'id_from\x20string\x20form\x20is\x20recognized\x20(P1-2\x20parseIdFrom)','description':'SDK\x20parseIdFrom\x20normalizes\x20string\x20id_from\x20(e.g.\x20\x22none\x22/\x22clock\x22/\x22signer\x22)\x20to\x20numeric\x20enum\x20before\x20'+'comparison\x20[P1-2\x20fix].\x20Unrecognized\x20values\x20fall\x20through\x20to\x20Move\x20which\x20aborts\x20with\x20E_INVALID_ID_FROM\x20(18).','passed':c,'evidence':c?'all\x20id_from\x20values\x20recognized':'offenders:\x20'+b['map'](d=>d['name']+'(id_from='+d['id_from']+')')['join'](',\x20'),'fix_hint':'Use\x200/1/2,\x20or\x20\x27None\x27/\x27Clock\x27/\x27Signer\x27\x20(case-insensitive).'};}function checkQuoteGuardIsDepended(a){if(!a['has_quote_guard'])return{'id':'C-REP-11','severity':'info','title':'quote_guard\x20is_depended\x20check','description':'Skipped:\x20no\x20quote_guard\x20set.','passed':!![]};const b=a['quote_guard_is_depended']===!![];return{'id':'C-REP-11','severity':b?'info':'block','title':'quote_guard\x20satisfies\x20is_depended\x20(immutable\x20+\x20rep=true\x20+\x20no\x20relies)','description':'When\x20quote_guard\x20is\x20set,\x20it\x20MUST\x20satisfy\x20guard::is_depended\x20(guard.move#L133-135):\x20'+'immutable=true,\x20relies\x20empty,\x20rep=true.\x20Move\x20aborts\x20with\x20E_NEED_DEPENDENT_GUARD\x20(repository.move#L422).\x20'+'VERIFIED:\x20passport.rs#L545-612\x20—\x20check_repository_quote_guard\x20enforces\x20this\x20at\x20query\x20time.\x20'+'quote_guard\x20is\x20a\x20RIGID\x20verification\x20requirement:\x20any\x20guard\x20querying\x20this\x20Repository\x27s\x20data\x20must\x20satisfy\x20it.','passed':b,'evidence':b?'quote_guard\x20is\x20is_depended':'quote_guard\x20NOT\x20is_depended\x20(will\x20abort)','fix_hint':'Ensure\x20the\x20quote_guard\x20Guard\x20object\x20has:\x20immutable=true,\x20relies=empty,\x20rep=true.'};}function checkQuoteGuardSubscriptionDesign(a){if(!a['has_quote_guard'])return{'id':'C-REP-12','severity':'info','title':'quote_guard\x20subscription\x20design\x20check','description':'Skipped:\x20no\x20quote_guard\x20set.','passed':!![]};const b=[];if(!a['quote_guard_verifies_payment'])b['push']('quote_guard\x20does\x20not\x20verify\x20Payment\x20for\x20subscription');if(!a['has_owner_receive'])b['push']('Repository\x20missing\x20owner_receive\x20for\x20Payment\x20revenue');const c=b['length']===0x0;return{'id':'C-REP-12','severity':c?'info':'warn','title':'quote_guard\x20data\x20subscription\x20design\x20—\x20Payment\x20verification\x20+\x20owner_receive\x20revenue','description':'For\x20data\x20subscription\x20pattern\x20(Repository+quote_guard+Payment):\x20'+'(1)\x20quote_guard\x20should\x20verify\x20Payment\x20(for_object\x20matches\x20Repository,\x20amount\x20meets\x20subscription\x20price);\x20'+'(2)\x20Repository\x20should\x20have\x20owner_receive<T>\x20configured\x20to\x20accept\x20Payment\x20as\x20subscription\x20revenue\x20'+'(repository.move#L714-717).\x20VERIFIED:\x20passport.rs#L545-612.\x20'+'DESIGN:\x20user\x20submits\x20Payment\x20via\x20Passport\x20→\x20quote_guard\x20verifies\x20→\x20repository\x20data\x20query\x20passes.','passed':c,'evidence':c?'quote_guard\x20subscription\x20design\x20complete':b['join'](';\x20'),'fix_hint':'Use\x20tpl_repository_quote_guard_subscription\x20(guard-templates.ts)\x20as\x20the\x20design\x20template.'};}export function preCheckRepositoryOp(a){return[checkPolicyCount(a),checkWriteGuardRequiredWhenIdFromNone(a),checkWriteGuardForbiddenWhenIdFromClockSigner(a),checkPolicyGuardCount(a),checkPolicyDescription(a),checkDataSize(a),checkIdCountOnce(a),checkRewardCount(a),checkDataRemoveWithPassportSubmission(a),checkIdFromString(a),checkQuoteGuardIsDepended(a),checkQuoteGuardSubscriptionDesign(a)];}export function canProceedRepositoryOp(a){const b=preCheckRepositoryOp(a);return{'canProceed':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 formatRepositoryOpSummary(a){const {canProceed:b,blockers:c,warnings:d,info:e}=canProceedRepositoryOp(a),f=[];return f['push'](b?'✓\x20Repository\x20'+a['op']+'\x20pre-check\x20PASSED':'✗\x20Repository\x20'+a['op']+'\x20pre-check\x20FAILED'),f['push'](''),c['length']>0x0&&(f['push']('BLOCKERS\x20(must\x20fix\x20before\x20operation):'),c['forEach'](g=>f['push']('\x20\x20['+g['id']+']\x20'+g['title']+'\x20—\x20'+(g['evidence']??''))),f['push']('')),d['length']>0x0&&(f['push']('WARNINGS\x20(review\x20recommended):'),d['forEach'](g=>f['push']('\x20\x20['+g['id']+']\x20'+g['title']+'\x20—\x20'+(g['evidence']??''))),f['push']('')),e['length']>0x0&&(f['push']('INFO:'),e['forEach'](g=>f['push']('\x20\x20['+g['id']+']\x20'+g['title']))),f['join']('\x0a');}