@danceiny/gotry 0.0.1-rc.17 → 0.0.1-rc.19

package/dist/scripts/fact-gate-tests.js

@@ -1,6 +1,6 @@
 import { readFileSync } from 'node:fs';
 import { join } from 'node:path';
-import { BOOKABLE_FACT_SCHEMA, checkSameDayDeparture, dedupeFacts, detectBacktrack, factsFromFlyai, flightClaimVerdict, itineraryInvariants, latestFactsForRouteDate, negativeFact, renderConnection, renderFlightFact, renderNightsLine, renderPolicyFact } from '../src/bookable-facts.js';
+import { BOOKABLE_FACT_SCHEMA, checkSameDayDeparture, dedupeFacts, detectBacktrack, factsFromFlyai, factsFromHotel, flightClaimVerdict, itineraryInvariants, latestFactsForRouteDate, negativeFact, renderConnection, renderFlightFact, renderHotelFact, renderNightsLine, renderPolicyFact } from '../src/bookable-facts.js';
 import { ARTIFACT_GATE_SCHEMA, gateArtifact } from '../src/artifact-gate.js';
 let pass = 0;
 let fail = 0;
@@ -311,7 +311,96 @@ const goodReport = gateArtifact(goodArtifact, registry, map, {
 });
 assert(goodReport.verdict === 'pass' && goodReport.presentation === 'verified_itinerary_allowed' && goodReport.traceable === 6 && goodReport.violations.length === 0, `good artifact:6/6 航班 claim 全回溯,闸 pass(违例 ${goodReport.violations.length})`);
 assert(goodFlights.every((f)=>f.bookability === 'bookable_exact_date' && f.query_id.includes('flyai:flight:')), 'good artifact 的每个可下单事实均可回溯到 tool result/query id(验收⑧)');
-console.log(`\nFACT GATE TESTS: ${pass} pass, ${fail} fail`);
+{
+    const fetchedAt = '2026-09-04T00:00:00.000Z';
+    assert(factsFromHotel({
+        source: 'flyai-hotel',
+        destination: '大理',
+        verdict: 'hit',
+        options: 9,
+        evidence: 'e',
+        fetchedAt
+    }).length === 0, '摸底(无档期)酒店检索不落账(无 exact-date 语义)');
+    assert(factsFromHotel({
+        source: 'flyai-hotel',
+        destination: '大理',
+        checkIn: '2026-10-01',
+        checkOut: '2026-10-03',
+        verdict: 'needs-setup',
+        options: 0,
+        evidence: 'e',
+        fetchedAt
+    }).length === 0 && factsFromHotel({
+        source: 'flyai-hotel',
+        destination: '大理',
+        checkIn: '2026-10-01',
+        checkOut: '2026-10-03',
+        verdict: 'error',
+        options: 0,
+        evidence: 'e',
+        fetchedAt
+    }).length === 0, 'needs-setup/error 传输失败永不落负事实(ADR-19 不变量)');
+    const hitFacts = factsFromHotel({
+        source: 'flyai-hotel',
+        destination: '大理',
+        checkIn: '2026-10-01',
+        checkOut: '2026-10-03',
+        verdict: 'hit',
+        options: 9,
+        evidence: 'e',
+        fetchedAt
+    });
+    const missFacts = factsFromHotel({
+        source: 'session:ctrip-hotel',
+        destination: '大理',
+        checkIn: '2026-10-01',
+        checkOut: '2026-10-03',
+        verdict: 'miss',
+        options: 0,
+        evidence: 'e',
+        fetchedAt
+    });
+    assert(hitFacts.length === 1 && hitFacts[0].bookability === 'bookable_exact_date' && hitFacts[0].options_masked === 9, 'exact-date hit → 正事实(在架家数,无数字价字段)');
+    assert(!('price' in hitFacts[0]), '酒店事实无 price 字段(打码价保真,不落数字价)');
+    assert(missFacts.length === 1 && missFacts[0].bookability === 'unavailable_exact_date', 'exact-date miss → 负事实');
+    const hotelLine = renderHotelFact(hitFacts[0]);
+    assert(hotelLine.includes(`fact:${hitFacts[0].fact_id}`), 'renderHotelFact 行内嵌 fact 锚点');
+    const anchoredArtifact = [
+        '## 住宿',
+        hotelLine
+    ].join('\n');
+    const anchoredReport = gateArtifact(anchoredArtifact, [
+        ...hitFacts
+    ], map, {
+        trip_year: 2026
+    });
+    assert(anchoredReport.verdict === 'pass' && anchoredReport.traceable === 1, `锚点酒店行 → 锚点确定性回溯 pass(实际 ${anchoredReport.verdict}/traceable=${anchoredReport.traceable})`);
+    const forged = anchoredArtifact.replace(hitFacts[0].fact_id, '0123456789abcdef');
+    const forgedReport = gateArtifact(forged, [
+        ...hitFacts
+    ], map, {
+        trip_year: 2026
+    });
+    assert(forgedReport.violations.some((v)=>v.kind === 'fact_anchor_unknown'), '手改/伪造锚点 → fact_anchor_unknown');
+    const claimHit = gateArtifact('## 住宿\n- 大理 2026-10-01→2026-10-03 洱海民宿有房可订', [
+        ...hitFacts
+    ], map, {
+        trip_year: 2026
+    });
+    assert(claimHit.verdict === 'pass' && claimHit.traceable === 1, '启发式酒店 claim 命中在册 hit → traceable');
+    const claimMiss = gateArtifact('## 住宿\n- 大理 2026-10-01→2026-10-03 洱海民宿有房可订 ✓', [
+        ...missFacts
+    ], map, {
+        trip_year: 2026
+    });
+    assert(claimMiss.violations.some((v)=>v.kind === 'not_in_source'), 'exact-date miss 在册却写有房 → not_in_source');
+    assert(claimMiss.violations.some((v)=>v.kind === 'unconditional_check'), '对未核验酒店用 ✓ → unconditional_check');
+    const noCtx = gateArtifact('## 住宿\n- 住宿:湖景房有房可订 ✓', [], map, {
+        trip_year: 2026
+    });
+    assert(noCtx.violations.some((v)=>v.kind === 'unverifiable_hotel_claim'), '缺目的地上下文 → unverifiable_hotel_claim(fail closed)');
+    console.log(`  ok - §10 酒店事实闸(D-26)八断言完成`);
+}console.log(`\nFACT GATE TESTS: ${pass} pass, ${fail} fail`);
 if (fail > 0) process.exit(1);
 
 

package/dist/scripts/flyai-tests.js

@@ -85,11 +85,27 @@ const f = await flyaiSearch({
 assert.equal(f.ok, false);
 assert.equal(f.verdict, 'error', '非零退出应判 error');
 console.log('4. 非零退出 → error OK');
+const trialBin = join(tmp, 'flyai-trial');
+await writeFile(trialBin, `#!/bin/sh\necho 'search-hotel: MCP HTTP 429: Body: {"jsonrpc":"2.0","id":"1","error":{"code":-32603,"message":"Trial limit reached. Please visit the console at flyai.open.fliggy.com to get a formal API Key"}}' >&2\nexit 1\n`, {
+    mode: 0o755
+});
+const t = await flyaiSearch({
+    ...base,
+    cliBin: trialBin,
+    timeoutMs: 5000
+});
+assert.equal(t.ok, false);
+assert.equal(t.verdict, 'needs-setup', `429 达限应判 needs-setup,实际 ${t.verdict}`);
+assert.match(t.setup ?? '', /FLYAI_API_KEY/, 'setup 指引带 FLYAI_API_KEY 配置路径');
+assert.match(t.setup ?? '', /flyai\.open\.fliggy\.com/, 'setup 指引带控制台入口');
+assert.match(t.setup ?? '', /请勿重试|勿重试|不要重试/, 'setup 明示本会话勿重试');
+assert.match(t.error ?? '', /429|Trial limit/i, 'error 保留上游 429 原话');
+assert.match(t.evidence, /\[实时API:flyai@error@/, '证据链标注');
 await rm(tmp, {
     recursive: true,
     force: true
 });
-console.log('FLYAI TESTS: 4/4 OK(离线假 CLI:Sentinel→error / 空 itemList→miss / 命中→hit / exit≠0→error)');
+console.log('FLYAI TESTS: 5/5 OK(离线假 CLI:Sentinel→error / 空 itemList→miss / 命中→hit / exit≠0→error / 429 达限→needs-setup)');
 
 
 //# sourceURL=ts/scripts/flyai-tests.ts

package/dist/scripts/hbcli-e2e-tests.js

@@ -144,9 +144,7 @@ async function main() {
         const tool = registered.find((t)=>t.name === 'gotry_hotel_search');
         assert.ok(tool, 'gotry_hotel_search 应已注册');
         const obs = await tool.execute({
-            query: {
-                destination: '深圳'
-            }
+            destination: '深圳'
         }, null);
         assert.equal(obs.ok, true, '工具面应返回 ok 包络(永不抛错契约)');
         assert.ok(obs.via === 'hbcli-error' || obs.via === 'hbcli-realtime', `工具面 via 应与渠道一致,实际 ${obs.via}`);

package/dist/scripts/metrics-report-tests.js

@@ -0,0 +1,288 @@
+import { strict as assert } from 'node:assert';
+import { mkdtempSync, rmSync, mkdirSync, writeFileSync, readdirSync, readFileSync, existsSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { aggregateFacts, aggregateChannels, aggregateIncidents, aggregateLatency, collectMetrics, renderMetricsReport, main } from './build-metrics-report.js';
+const NOW = new Date('2026-09-05T12:00:00Z');
+const DAY = 86_400_000;
+const iso = (daysAgo)=>new Date(NOW.getTime() - daysAgo * DAY).toISOString();
+let checkCount = 0;
+function check(name, fn) {
+    fn();
+    checkCount += 1;
+    console.log(`  ok ${checkCount} ${name}`);
+}
+async function withRoot(fn) {
+    const root = mkdtempSync(join(tmpdir(), 'gotry-metrics-'));
+    const stateDir = join(root, 'gotry-state');
+    mkdirSync(stateDir, {
+        recursive: true
+    });
+    try {
+        return await fn(root, stateDir);
+    } finally{
+        rmSync(root, {
+            recursive: true,
+            force: true
+        });
+    }
+}
+function writeJsonl(dir, name, lines) {
+    writeFileSync(join(dir, name), lines.map((l)=>typeof l === 'string' ? l : JSON.stringify(l)).join('\n') + '\n', 'utf-8');
+}
+check('事实闸聚合:去重/blocked 率/坏行容忍', ()=>{
+    const stats = aggregateFacts([
+        {
+            schema: 'gotry_bookable_fact.v1',
+            fact_id: 'f1',
+            kind: 'flight_like',
+            verdict: 'hit'
+        },
+        'NOT JSON',
+        {
+            schema: 'gotry_bookable_fact.v1',
+            fact_id: 'f1',
+            kind: 'flight_like',
+            verdict: 'error'
+        },
+        {
+            schema: 'gotry_bookable_fact.v1',
+            fact_id: 'f2',
+            kind: 'flight_like',
+            verdict: 'hit'
+        },
+        {
+            schema: 'gotry_bookable_fact.v1',
+            fact_id: 'f3',
+            kind: 'hotel',
+            verdict: 'needs-setup'
+        },
+        {
+            schema: 'gotry_bookable_fact.v1',
+            fact_id: 'f4',
+            kind: 'hotel',
+            verdict: 'miss'
+        },
+        {
+            fact_id: 'f5',
+            kind: 'hotel'
+        }
+    ]);
+    assert.equal(stats.lines, 7);
+    assert.equal(stats.deduped, 5);
+    const flight = stats.byKind.flight_like;
+    assert.equal(flight.total, 2);
+    assert.equal(flight.verdicts.error, 1);
+    assert.equal(flight.verdicts.hit, 1);
+    assert.equal(flight.blocked, 1);
+    const hotel = stats.byKind.hotel;
+    assert.equal(hotel.total, 3);
+    assert.equal(hotel.blocked, 1);
+    assert.equal(hotel.verdicts['n/a'], 1);
+});
+check('通道健康聚合:30 天窗/最新事件/计数', ()=>{
+    const stats = aggregateChannels([
+        {
+            channel: 'flyai',
+            state: 'down',
+            reason: 'trial-exhausted',
+            at: iso(40)
+        },
+        {
+            channel: 'flyai',
+            state: 'down',
+            reason: '429',
+            at: iso(2)
+        },
+        {
+            channel: 'flyai',
+            state: 'cooldown',
+            reason: 'retry-after',
+            at: iso(1)
+        },
+        {
+            channel: 'session:ctrip-hotel',
+            state: 'down',
+            reason: 'needs-login',
+            at: iso(5)
+        },
+        'BROKEN'
+    ], {
+        now: NOW
+    });
+    assert.equal(stats.latest.length, 2);
+    const flyai = stats.latest.find((c)=>c.channel === 'flyai');
+    assert.equal(flyai?.state, 'cooldown');
+    assert.equal(flyai?.events, 2);
+    const ctrip = stats.latest.find((c)=>c.channel === 'session:ctrip-hotel');
+    assert.equal(ctrip?.events, 1);
+});
+check('事故面聚合:窗口/kind 计数/最近一条/top 来源', ()=>{
+    const stats = aggregateIncidents([
+        {
+            ts: iso(10),
+            kind: 'uncaughtException',
+            message: '太旧不计',
+            source: 'old-plugin'
+        },
+        {
+            ts: iso(1),
+            kind: 'plugin_error',
+            message: 'z3 wasm boom',
+            source: 'z3'
+        },
+        {
+            ts: iso(0.2),
+            kind: 'plugin_error',
+            message: 'second boom',
+            source: 'z3'
+        },
+        {
+            ts: iso(0.1),
+            kind: 'tool_execute_error',
+            message: 'flyai 429',
+            source: 'flyai'
+        }
+    ], {
+        now: NOW,
+        windowDays: 7
+    });
+    assert.equal(stats.totalInWindow, 3);
+    assert.equal(stats.byKind.plugin_error.count, 2);
+    assert.equal(stats.byKind.plugin_error.lastMessage, 'second boom');
+    assert.deepEqual(stats.topSources[0], {
+        source: 'z3',
+        count: 2
+    });
+});
+check('桥延迟聚合:p50/p95/max/超预算', ()=>{
+    const stats = aggregateLatency([
+        {
+            ts: iso(1),
+            kind: 'hotel_search:hbcli',
+            latencyMs: 100
+        },
+        {
+            ts: iso(1),
+            kind: 'hotel_search:hbcli',
+            latencyMs: 200
+        },
+        {
+            ts: iso(0.5),
+            kind: 'weather:open-meteo',
+            latencyMs: 300
+        },
+        {
+            ts: iso(0.4),
+            kind: 'weather:open-meteo',
+            latencyMs: 400
+        },
+        {
+            ts: iso(0.3),
+            kind: 'hotel_search:session',
+            latencyMs: 501
+        },
+        {
+            ts: iso(9),
+            kind: 'old',
+            latencyMs: 999_999
+        },
+        {
+            ts: iso(0.2),
+            kind: 'bad',
+            latencyMs: Number.NaN
+        }
+    ], {
+        now: NOW,
+        windowDays: 7
+    });
+    assert.equal(stats.count, 5);
+    assert.equal(stats.p50, 300);
+    assert.equal(stats.p95, 501);
+    assert.equal(stats.max, 501);
+    assert.equal(stats.overBudget, 1);
+    assert.deepEqual(stats.topKinds[0], {
+        kind: 'hotel_search:hbcli',
+        count: 2
+    });
+});
+await withRoot(async (root)=>{
+    const before = readdirSync(root).sort();
+    const snap = await collectMetrics(root, {
+        now: NOW
+    });
+    const md = renderMetricsReport(snap);
+    assert.match(md, /事实闸 verdict 分布/);
+    assert.match(md, /通道健康/);
+    assert.match(md, /事故面/);
+    assert.match(md, /桥延迟/);
+    assert.match(md, /\(空:窗口内无事故\)/);
+    assert.match(md, /不存在\(该 stateRoot 无账本\)/);
+    assert.deepEqual(readdirSync(root).sort(), before, 'collect 不得在 stateRoot 新建任何文件');
+    checkCount += 1;
+    console.log(`  ok ${checkCount} 空 stateRoot:报告成型且零写入`);
+});
+await withRoot(async (root, stateDir)=>{
+    writeJsonl(stateDir, 'bookable-facts.jsonl', [
+        {
+            schema: 'gotry_bookable_fact.v1',
+            fact_id: 'a',
+            kind: 'hotel',
+            verdict: 'hit'
+        },
+        {
+            schema: 'gotry_bookable_fact.v1',
+            fact_id: 'b',
+            kind: 'hotel',
+            verdict: 'error'
+        }
+    ]);
+    writeJsonl(stateDir, 'channel-health.jsonl', [
+        {
+            channel: 'flyai',
+            state: 'down',
+            reason: 'trial-exhausted',
+            at: iso(1)
+        }
+    ]);
+    writeJsonl(stateDir, 'incidents.jsonl', [
+        {
+            ts: iso(1),
+            kind: 'plugin_error',
+            message: 'boom',
+            source: 'z3'
+        }
+    ]);
+    writeJsonl(stateDir, 'bridge-latency.jsonl', [
+        {
+            ts: iso(1),
+            kind: 'hotel_search:hbcli',
+            latencyMs: 120
+        }
+    ]);
+    writeFileSync(join(stateDir, 'doctor-report.md'), '# doctor\n', 'utf-8');
+    const before = readdirSync(stateDir).sort();
+    const outPath = join(root, 'report.md');
+    await main([
+        '--state-root',
+        root,
+        '--out',
+        outPath,
+        '--days',
+        '7'
+    ]);
+    const md = readFileSync(outPath, 'utf-8');
+    assert.match(md, /hotel \| 2 \| hit:1 \/ error:1 \| 1\/2\(50%\)/);
+    assert.match(md, /\| flyai \| down \| trial-exhausted \|/);
+    assert.match(md, /plugin_error \| 1 /);
+    assert.match(md, /p50=120ms/);
+    assert.match(md, /doctor 报告 doctor-report\.md:存在/);
+    assert.deepEqual(readdirSync(stateDir).sort(), before, '报告生成不得改动 gotry-state 目录');
+    assert.ok(existsSync(outPath));
+    checkCount += 1;
+    console.log(`  ok ${checkCount} 端到端:侧车聚合→--out 落盘,stateRoot 只读`);
+});
+console.log(`\nMETRICS REPORT TESTS OK(${checkCount} checks)`);
+
+
+//# sourceURL=ts/scripts/metrics-report-tests.ts

package/dist/scripts/persona-surface-guard-tests.js

@@ -0,0 +1,19 @@
+import assert from 'node:assert/strict';
+import { readFileSync } from 'node:fs';
+import { join } from 'node:path';
+const patch = readFileSync(join(process.cwd(), '..', 'cordis.gotry-patch.yml'), 'utf-8');
+const guard = '表层规则:gotry 的全部能力一律是【工具调用】';
+assert.equal((patch.match(new RegExp(guard, 'g')) ?? []).length, 1, '表层规则句应恰好出现一次');
+assert.ok(patch.includes('绝不把 gotry_* 名字传给 skill 加载器'), '应显式禁止 gotry_* 进 skill 加载器');
+const markers = new Set([
+    ...patch.matchAll(/\((\d{1,2})\)/g)
+].map((m)=>Number(m[1])));
+for(let i = 1; i <= 22; i += 1){
+    assert.ok(markers.has(i), `行为契约 (${i}) 应存在`);
+}
+assert.equal(markers.size, 22, `契约条目应恰为 22 条,实际 ${markers.size}`);
+assert.ok(patch.includes('改回 tool call'), '应指引失败后改回 tool call');
+console.log('PERSONA SURFACE GUARD TESTS: 3/3 OK(表层规则句 / 22 条契约完整 / skill 失败行为指引)');
+
+
+//# sourceURL=ts/scripts/persona-surface-guard-tests.ts