Files
JX-BPOS/eslint.config.js
T
ChaiHaoandClaude Fable 5 f96eff906a 工具总线 + Agent 开环:声明式工具、人类工具与 LLM 五件系统内化(Mastra tool 形状)
用户定:Agent 调用工具一律**声明式**;人类工具与 LLM 工具要系统内化;
工具总线基于 Mastra tool 设计。

**声明面**(`toolbox/internal/domain/tool-bus.ts`,纯逻辑零框架):
`compileToolBus(声明 × 目录) → 一张清单` —— 编译期定死这一单能调什么,
清单之外结构上调不到(白名单在缝里再把一次关);缺件/停用如实报不静默。
三路同一形状:
  · `function` 功能工具:按活动白名单查目录,带出效应(read/write)
  · `human` **人类工具**(系统内化、零声明即得):调人 = 发工单 + 立监听听人 ——
    这是 Harness 给的能力,不进目录、不需白名单,每个活动天然可以调人
  · `llm` **LLM 五件**(系统内化):extract/classify/summarize/judge/rewrite,
    各有入参出参契约、经模型网关一缝;**仅当活动声明了模型用途名才上总线**
    (没声明却会问模型 = 越权,用量也无从归因);提示词归系统,活动改不了

**装配面**(`app/tool-bus.ts`,Mastra `createTool`):清单 → 可调用工具,
JSON Schema 现译 zod(模型照它填参,填错当场被拦);三路各穿各的缝:
写类工具**过程中一律不落地**,只登记动作意向(骗 Agent 说已执行是最坏选项);
调人把卡号记进 trace,引擎据此把这一拍挂起。

**Agent 开环**(`app/mastra-agent-runner.ts`,M5-2 第二实现,用户选的路线):
Mastra `Agent` + 工具总线,拍内自主连环调工具,拍末交回结构化结论。
放开的是工具循环不是规矩:写类不落地、终局唯放行、调人即挂起(新增
`AgentAction.asked` 型 —— 卡已由总线发出,引擎只收尾,不重复发卡)、
用量按 usage 计入预算。`JCAI_AGENT_OPEN_LOOP=1` 开启,缺省仍是单拍版。
`ModelGateway.resolve` 新增:名 → 四元(密钥当场解出,只给 app 层装配用)。

代价如实记 debt M5-2:开环下模型**逐轮**调用不经录制回放(tool-calling 往返
`generate` 的 text-in/text-out 承载不了)—— 凭证隔离与工具调用一缝完整。

测试:tool-bus 六例(白名单/缺件/停用/人类工具恒在/LLM 按声明/五件契约);
四闸(typecheck/lint/depcruise/test)全过;spike 目录排除出 lint(验证性原型)。

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KeDBx2PHLavbURXB8LJJ7m
2026-07-28 23:46:12 +08:00

173 lines
5.2 KiB
JavaScript

// @ts-check
/**
* JCAI ESLint 门禁 —— 编码规范 §11.3 + §12.5 禁止清单的可机检部分。
* **约束报错时,改代码,不改约束(§11)。**
*/
import js from '@eslint/js';
import tseslint from 'typescript-eslint';
import globals from 'globals';
const MODULE_DOMAIN = 'apps/api/src/modules/*/internal/domain/**/*.ts';
export default tseslint.config(
{
ignores: [
'**/dist/**',
'**/.build/**',
'**/node_modules/**',
'api-report/**',
// api:check 生成声明用的临时盘;它和 api-report 一样是**产物不是源码**。
// 不排除的话,api:check 中途失败留下的半成品会让 lint 报上千条假错。
'.api-tmp/**',
'tools/depcruise-tiers.generated.cjs',
'docs/**',
// 验证性原型(spike):一次性的事实探针,跑完留证据即弃 —— 不进产线,也不受产线规矩约束
'spike/**',
],
},
js.configs.recommended,
...tseslint.configs.recommended,
{
languageOptions: {
ecmaVersion: 2023,
sourceType: 'module',
globals: { ...globals.node },
},
linterOptions: { reportUnusedDisableDirectives: 'error' },
rules: {
// §11.3
'no-restricted-imports': [
'error',
{
patterns: [
// 别名穿透:@modules/ledger/internal/... 一律拦下(只能 import 到模块根)
{
group: ['@modules/*/*', '@features/*/*'],
message: '只能 import 到模块根(编码规范 §5.2)',
},
// 显式写出 modules/ 段的相对穿透
{
group: ['**/modules/*/internal/**', '**/features/*/internal/**'],
message: '禁止穿透模块出口(编码规范 §5.2)',
},
// 爬三层及以上 = 跨模块;跨模块请走别名与出口
{ group: ['../../../*'], message: '跨模块请用路径别名(编码规范 §11.3)' },
],
},
],
'@typescript-eslint/no-explicit-any': 'error',
'@typescript-eslint/consistent-type-imports': 'error',
'@typescript-eslint/ban-ts-comment': 'error',
// §12.5#4:禁 as unknown as
'no-restricted-syntax': [
'error',
{
selector: 'TSAsExpression > TSAsExpression > TSUnknownKeyword',
message: '禁止 as unknown as(编码规范 §12.5#4)—— 改类型,不改断言',
},
],
// §12.5#6:禁模块级可变状态
'no-var': 'error',
'prefer-const': 'error',
'@typescript-eslint/no-unused-vars': [
'error',
{ argsIgnorePattern: '^_', varsIgnorePattern: '^_' },
],
},
},
// 模块出口的公开签名必须显式(ADR-005 #3:契约快照才不被 internal 推断类型带偏)
{
files: ['apps/api/src/modules/**/*.ts'],
rules: {
'@typescript-eslint/explicit-module-boundary-types': 'error',
},
},
// domain/ 零 IO、零 Date.now / Math.random(§5.3 / §12.5#5)
{
files: [MODULE_DOMAIN],
rules: {
'no-restricted-properties': [
'error',
{ object: 'Date', property: 'now', message: 'domain 零时钟:时钟走 port.Clock(§5.3)' },
{
object: 'Math',
property: 'random',
message: 'domain 零随机:随机走 port(§5.3)',
},
],
'no-restricted-globals': [
'error',
{ name: 'fetch', message: 'domain 零 IO(§5.3)' },
{ name: 'process', message: 'domain 零环境能力(§5.3)' },
],
'no-restricted-syntax': [
'error',
{
selector: 'TSAsExpression > TSAsExpression > TSUnknownKeyword',
message: '禁止 as unknown as(编码规范 §12.5#4)',
},
{
selector: 'NewExpression[callee.name="Date"][arguments.length=0]',
message: 'domain 零时钟:new Date() 走 port.Clock(§5.3)',
},
],
},
},
// 活动包:零环境能力(ADR-004 / AM 12.1)
{
files: ['activities/**/*.ts'],
rules: {
'no-restricted-globals': [
'error',
{ name: 'fetch', message: '活动包零环境能力:一切能力经基座六件注入(ADR-004)' },
{ name: 'process', message: '活动包零环境能力(ADR-004)' },
],
},
},
// 前端
{
files: ['apps/web/**/*.{ts,tsx}', 'packages/ui-kit/**/*.{ts,tsx}'],
languageOptions: { globals: { ...globals.browser } },
rules: {
'no-restricted-syntax': [
'error',
{
selector: 'TSAsExpression > TSAsExpression > TSUnknownKeyword',
message: '禁止 as unknown as(编码规范 §12.5#4)',
},
{
selector: 'JSXAttribute[name.name="dangerouslySetInnerHTML"]',
message:
'feature 不得自行 dangerouslySetInnerHTML:活动 HTML 一律经 @ui 的 ViewContainer(§9.2)',
},
],
},
},
// 前端 feature 内禁裸 fetch(§9.2)
{
files: ['apps/web/src/features/**/*.{ts,tsx}'],
rules: {
'no-restricted-globals': [
'error',
{ name: 'fetch', message: '服务端交互只经 shared/typed-fetch + @contracts/api(§9.2)' },
],
},
},
// 工具与配置脚本
{
files: ['tools/**/*.{ts,mjs,js}', '*.config.{ts,js,mjs}', 'vite.config.ts'],
rules: { 'no-restricted-syntax': 'off' },
},
);