@danceiny/gotry 0.0.1-rc.21 → 0.0.1-rc.24

package/dist/scripts/skills-contract-tests.js

@@ -1,51 +1,66 @@
+/**
+ * hotelbyte-skills 契约对齐校验(issue #5 第二步):
+ *   gotry 工具描述与 Danceiny/hotelbyte-skills 的 contracts/*.md 是同一事实源
+ *   的两面——本测试抓取远端契约,断言关键参数形态/域边界措辞在 gotry 工具描述
+ *   里可找到对应,防止 skills 仓演进后 gotry 静默漂移。
+ *
+ *   本地工具描述形态始终离线校验;远端 GitHub 契约读取必须显式设置
+ *   GOTRY_HOTELBYTE_SKILLS_LIVE=1。无凭证/网络不可达 → SKIP(退出码 0)。
+ *
+ * 运行: cd ts && npx tsx scripts/skills-contract-tests.ts
+ * 远端契约校验: cd ts && GOTRY_HOTELBYTE_SKILLS_LIVE=1 npx tsx scripts/skills-contract-tests.ts
+ */
 import assert from 'node:assert/strict';
 import { execFileSync } from 'node:child_process';
 import { apply } from '../src/index.js';
 async function main() {
+    // 1) 收集 gotry 工具描述(只读注册面,不 exec 任何工具)
     const registered = [];
     apply({
-        tools: {
-            register: (t)=>registered.push(t)
-        }
-    }, {
-        stateRoot: '.',
-        timeoutMs: 1000,
-        hbcliBin: 'hbcli-not-on-path'
-    });
-    const desc = (n)=>{
-        const t = registered.find((x)=>x.name === n);
-        if (!t) return '';
-        const params = Object.values(t.parameters?.properties ?? {}).map((p)=>p.description ?? '').join(' ');
+        tools: { register: (t) => registered.push(t) },
+    }, { stateRoot: '.', timeoutMs: 1000, hbcliBin: 'hbcli-not-on-path' });
+    // 工具 description + 参数层 description(JSON Schema properties.*.description)一起算「面向模型的形态」
+    const desc = (n) => {
+        const t = registered.find(x => x.name === n);
+        if (!t)
+            return '';
+        const params = Object.values(t.parameters?.properties ?? {}).map(p => p.description ?? '').join(' ');
         return `${t.description ?? ''} ${params}`;
     };
     const anythingDesc = desc('gotry_anything_search');
     const hotelsDesc = desc('gotry_hotel_search');
+    // Keep the deterministic contract surface in the offline gate. The remote
+    // repository adds provenance, but must not be needed for default regression.
+    assert.ok(anythingDesc.includes('contentType'), 'gotry_anything_search 描述应含 contentType');
+    assert.ok(/agent[-_]reach/.test(anythingDesc), 'gotry_anything_search 描述应引域边界(agent[-_]reach)');
+    for (const p of ['destination', 'checkIn', 'checkOut']) {
+        assert.ok(hotelsDesc.includes(p), `gotry_hotel_search 描述应含 ${p}`);
+    }
+    if (process.env.GOTRY_HOTELBYTE_SKILLS_LIVE !== '1') {
+        console.log('SKILLS CONTRACT TESTS: 本地工具描述 2/2 OK;远端 hotelbyte-skills 校验 SKIP(默认离线,显式 GOTRY_HOTELBYTE_SKILLS_LIVE=1 才读取 GitHub 凭证/网络)');
+        return;
+    }
+    // 2) 取 keychain 凭证;没有就 SKIP
     let token = '';
     try {
-        const out = execFileSync('git', [
-            'credential-osxkeychain',
-            'get'
-        ], {
-            input: 'protocol=https\nhost=github.com\n'
+        const out = execFileSync('git', ['credential-osxkeychain', 'get'], {
+            input: 'protocol=https\nhost=github.com\n',
         }).toString();
-        token = (out.match(/^password=(.+)$/m) ?? [
-            '',
-            ''
-        ])[1].trim();
-    } catch  {}
+        token = (out.match(/^password=(.+)$/m) ?? ['', ''])[1].trim();
+    }
+    catch { /* 无 git/无凭证 */ }
     if (!token) {
         console.log('SKIP: 无 GitHub 凭证(契约对齐在有凭证环境跑)');
         return;
     }
-    const get = async (path)=>{
+    // 3) 拉远端契约
+    const get = async (path) => {
         const res = await fetch(`https://api.github.com/repos/Danceiny/hotelbyte-skills/contents/${path}`, {
-            headers: {
-                Authorization: `Bearer ${token}`,
-                Accept: 'application/vnd.github+json'
-            },
-            signal: AbortSignal.timeout(15_000)
+            headers: { Authorization: `Bearer ${token}`, Accept: 'application/vnd.github+json' },
+            signal: AbortSignal.timeout(15_000),
         });
-        if (!res.ok) throw new Error(`${path}: HTTP ${res.status}`);
+        if (!res.ok)
+            throw new Error(`${path}: HTTP ${res.status}`);
         const j = await res.json();
         return Buffer.from(j.content ?? '', j.encoding === 'base64' ? 'base64' : 'utf8').toString('utf8');
     };
@@ -53,33 +68,23 @@ async function main() {
     let hotelsContract = '';
     try {
         ;
-        [anythingContract, hotelsContract] = await Promise.all([
-            get('contracts/anything.md'),
-            get('contracts/hotels.md')
-        ]);
-    } catch (e) {
+        [anythingContract, hotelsContract] = await Promise.all([get('contracts/anything.md'), get('contracts/hotels.md')]);
+    }
+    catch (e) {
         console.log(`SKIP: 契约拉取失败(${e.message})——对齐检查跳过,不红`);
         return;
     }
+    // 4) 对齐断言:契约里的关键参数/域边界措辞必须在 gotry 工具描述有对应
     assert.ok(anythingContract.includes('contentType'), '契约应声明 contentType');
     assert.ok(anythingDesc.includes('contentType'), 'gotry_anything_search 描述应含 contentType(契约对齐)');
     assert.ok(anythingContract.includes('agent-reach'), '契约应声明与 agent-reach 的域边界');
+    // 工具名是下划线形态(gotry_agent_reach),契约文档是连字符(agent-reach),两种都算对齐
     assert.ok(/agent[-_]reach/.test(anythingDesc), 'gotry_anything_search 描述应引域边界(agent[-_]reach)');
-    for (const p of [
-        'destination',
-        'checkIn',
-        'checkOut'
-    ]){
+    for (const p of ['destination', 'checkIn', 'checkOut']) {
         assert.ok(hotelsContract.includes(p), `契约应声明 ${p}`);
         assert.ok(hotelsDesc.includes(p), `gotry_hotel_search 描述应含 ${p}(契约对齐)`);
     }
     assert.ok(anythingContract.includes('not-installed') || anythingContract.includes('三值'), '契约应声明三值降级');
     console.log('SKILLS CONTRACT TESTS: 2/2 OK(anything/hotels 契约与 gotry 工具描述对齐)');
 }
-main().catch((e)=>{
-    console.error(e);
-    process.exitCode = 1;
-});
-
-
-//# sourceURL=ts/scripts/skills-contract-tests.ts
+main().catch((e) => { console.error(e); process.exitCode = 1; });

package/dist/scripts/smoke-session-gate-tests.js

@@ -1,29 +1,21 @@
+/** Deterministic proof that the smoke/full-suite live gate makes zero transport calls. */
 import { gatedSessionFlightSearch, offlineSessionFlightResult, sessionLiveEnabled } from '../capabilities/session-search.js';
 let calls = 0;
-const query = {
-    from: '上海',
-    to: '丽江',
-    date: '2026-10-01'
-};
-if (sessionLiveEnabled({
-    GOTRY_SESSION_LIVE: '0'
-})) throw new Error('GOTRY_SESSION_LIVE=0 must be offline');
-if (sessionLiveEnabled({
-    GOTRY_SESSION_LIVE: undefined
-})) throw new Error('unset GOTRY_SESSION_LIVE must be offline');
-const offline = await gatedSessionFlightSearch(query, async ()=>{
+const query = { from: '上海', to: '丽江', date: '2026-10-01' };
+if (sessionLiveEnabled({ GOTRY_SESSION_LIVE: '0' }))
+    throw new Error('GOTRY_SESSION_LIVE=0 must be offline');
+if (sessionLiveEnabled({ GOTRY_SESSION_LIVE: undefined }))
+    throw new Error('unset GOTRY_SESSION_LIVE must be offline');
+const offline = await gatedSessionFlightSearch(query, async () => {
     calls += 1;
     throw new Error('live transport must not be called');
-}, {
-    GOTRY_SESSION_LIVE: '0'
-});
-if (calls !== 0) throw new Error(`offline gate invoked live transport ${calls} time(s)`);
+}, { GOTRY_SESSION_LIVE: '0' });
+if (calls !== 0)
+    throw new Error(`offline gate invoked live transport ${calls} time(s)`);
 if (offline.verdict !== 'error' || offline.ok || !offline.error?.includes('GOTRY_SESSION_LIVE=1') || !offline.evidence.includes('live transport not invoked')) {
     throw new Error(`offline result is not explicit: ${JSON.stringify(offline)}`);
 }
 const direct = offlineSessionFlightResult();
-if (direct.verdict !== 'error' || direct.ok || !direct.evidence.includes('offline')) throw new Error('offline helper contract drifted');
+if (direct.verdict !== 'error' || direct.ok || !direct.evidence.includes('offline'))
+    throw new Error('offline helper contract drifted');
 console.log('SMOKE SESSION GATE: GOTRY_SESSION_LIVE!=1 makes zero live calls and returns explicit offline error');
-
-
-//# sourceURL=ts/scripts/smoke-session-gate-tests.ts