用途：这是一个针对 Aiken/Plutus V3 验证器的可执行红队测试框架，用于主网部署前的内部安全门禁，或与正式审计配合使用。与产出报告的人工审查手册不同，它运行对抗性战役，结论由编译器证明。
核心反转：普通测试断言验证器拒绝恶意输入；红队测试断言验证器接受盗取资金或破坏不变量的输入。攻击测试通过＝确认漏洞（验证器对恶意交易返回 True）；攻击测试失败或崩溃＝已防御。攻击者控制除被花费 UTxO 及其真实链上 datum 之外的整笔交易，包括其他输入输出、顺序、索引、mint 字段、redeemer 和有效期范围。
工作流：Attack 阶段按漏洞类别并行派出高投入智能体，各自编写 lib/tests/redteam_<class>.ak 并运行 aiken check；Novel 阶段组合跨验证器原语寻找涌现式、多交易、经济类攻击；Verify 阶段由 skeptic 从零独立复现每项声明，确认是真实资金损失而非测试夹具假象，并分类部署前提；Synthesize 返回 {classesRun, confirmedVulns, refutedClaims, verdict}。
判定等级：GREEN 无确认漏洞通过验证；AMBER 协议默认安全，但确认发现依赖部署陷阱（如订单部署在无许可共享 stake script 后而非所有者验证密钥凭证）；RED 确认存在无许可（协议级）抽干或伪造，须主网前修复。区分“无许可”与“仅部署陷阱”很重要，verify 阶段会记录属于哪种。
漏洞分类：double_sat、value_underpay、mint_integrity、auth、index、continuation、terms、receipt、refscript、composed、directional、datum_decode、time、oracle_premium、novel_*，覆盖 DEX、借贷、质押、launchpad、beacon-token（CIP-0089）dApp 等锁值验证器集合。
运行方式：通过 args 传入 aiken 项目位置（可选远程构建主机）：Workflow({ name: "aiken-validator-redteam", args: { project: "contracts", remoteHost: null } })，或直接运行捆绑脚本 Workflow({ scriptPath: ".../skills/aiken-validator-redteam/redteam-workflow.js", args: { project: "contracts" } })。args.project 为含 aiken.toml、validators/、lib/ 的目录，默认 ..；args.remoteHost 为装有 aiken 的可选 ssh 主机，null 表示本地编译，内存受限时可指向更大机器以卸载并行编译。需编辑 CLASSES 数组的 .focus 字符串以匹配合约的 redeemer 和 datum，攻击/验证/novel 智能体保持高推理投入。
限制与规则：GREEN 判定仅在智能体确实运行过 aiken check 并消耗真实 token 时可信，零活动是框架错误而非通过；确认漏洞必须经 verify 复现，攻击者会过度声明。该技能通过内部门禁，不能替代合同要求的正式第三方审计，可与 aiken-dex-security-audit 配合获取书面威胁模型、不变量和部署清单。绝不处理助记词或私钥，战役只需源码；证据优先，以编译器运行的最小交易形态测试为准；战役期间不得修改验证器源码，攻击者只在隔离副本中新增测试文件。