@danceiny/gotry 0.0.1-rc.15 → 0.0.1-rc.16

package/dist/scripts/smoke.js

@@ -493,6 +493,81 @@ async function main() {
         });
         console.log(`artifacts: ledger run + cwd md discovered; read window(${r2.ok ? r2.lines.length : '?'} lines @10) + read card; path/ext guardrails hold`);
     }
+    {
+        const { appendFacts, loadFactRegistry } = await import('../capabilities/fact-log.js');
+        const { factsFromFlyai } = await import('../src/bookable-facts.js');
+        const avMap = JSON.parse(await readFile(join(import.meta.dirname, '..', '..', 'data', 'airline-airports.json'), 'utf-8'));
+        const fetchedAt = '2026-08-29T00:00:00.000Z';
+        await appendFacts(smokeRoot, [
+            ...factsFromFlyai({
+                kind: 'flight',
+                origin: '香港',
+                destination: '普吉',
+                date: '2027-07-18'
+            }, {
+                verdict: 'hit',
+                options: [
+                    {
+                        no: 'CX771',
+                        name: '国泰航空',
+                        depDateTime: '2027-07-18T08:05:00+08:00',
+                        arrDateTime: '2027-07-18T10:35:00+07:00',
+                        price: 1234
+                    }
+                ],
+                evidence: ''
+            }, fetchedAt, avMap.city_alias),
+            ...factsFromFlyai({
+                kind: 'flight',
+                origin: '深圳',
+                destination: '普吉',
+                date: '2027-07-16'
+            }, {
+                verdict: 'miss',
+                options: [],
+                evidence: ''
+            }, fetchedAt, avMap.city_alias)
+        ]);
+        const registry = await loadFactRegistry(smokeRoot);
+        const probeFacts = registry.filter((f)=>f.kind !== 'policy' && (f.query_id.endsWith(':2027-07-16') || f.query_id.endsWith(':2027-07-18')));
+        if (probeFacts.length !== 2 || !probeFacts.some((f)=>f.bookability === 'unavailable_exact_date') || !probeFacts.some((f)=>f.bookability === 'bookable_exact_date')) {
+            throw new Error(`FAIL: 事实侧车应落 1 正 1 负两条,实际:${JSON.stringify(probeFacts.map((f)=>f.bookability))}`);
+        }
+        const gate = byName('gotry_fact_gate');
+        const passMd = [
+            '# 行程片段',
+            '## D3 7.18 香港 → 普吉',
+            '- 国泰航空 CX771 08:05→10:35(已按 exact-date 检索记录)'
+        ].join('\n');
+        const pass = await gate.execute({
+            query: {
+                markdown: passMd,
+                tripYear: 2027
+            }
+        }, null);
+        if (pass.verdict !== 'pass' || pass.presentation !== 'verified_itinerary_allowed') {
+            throw new Error(`FAIL: 可回溯产物应 pass,实际:${JSON.stringify(pass).slice(0, 300)}`);
+        }
+        const badMd = [
+            '# 行程片段',
+            '## D1 7.16 深圳 → 普吉',
+            '- 香港快运 UO784 10:05→12:40 直飞 ✓'
+        ].join('\n');
+        const blocked = await gate.execute({
+            query: {
+                markdown: badMd,
+                tripYear: 2027
+            }
+        }, null);
+        if (blocked.verdict !== 'blocked' || !blocked.violations?.some((v)=>v.kind === 'not_in_source')) {
+            throw new Error(`FAIL: exact-date miss 被 UO784 填充必须 blocked(not_in_source),实际:${JSON.stringify(blocked).slice(0, 300)}`);
+        }
+        const view = gate.presentResult?.({
+            query: {}
+        }, blocked);
+        if (!view?.title?.includes('blocked')) throw new Error(`FAIL: blocked 呈现卡标题应含 blocked,实际:${view?.title}`);
+        console.log(`fact gate: registry 1+1(hit/miss);verified 措辞 pass;miss 填充 UO784 blocked(not_in_source) + 呈现卡`);
+    }
     rmSync(smokeRoot, {
         recursive: true,
         force: true
@@ -506,4 +581,4 @@ main().catch((e)=>{
 });
 
 
-//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/smoke.ts
+//# sourceURL=/Users/bytedance/work/gotry-publish/ts/scripts/smoke.ts

package/dist/scripts/state-cli-tests.js

@@ -133,4 +133,4 @@ console.log(`\nSTATE-CLI TESTS: ${pass} ok, ${fail} fail`);
 if (fail > 0) process.exit(1);
 
 
-//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/state-cli-tests.ts
+//# sourceURL=/Users/bytedance/work/gotry-publish/ts/scripts/state-cli-tests.ts

package/dist/scripts/state-cli.js

@@ -245,4 +245,4 @@ switch(cmd){
 }
 
 
-//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/state-cli.ts
+//# sourceURL=/Users/bytedance/work/gotry-publish/ts/scripts/state-cli.ts

package/dist/scripts/time-eval-tests.js

@@ -315,4 +315,4 @@ if (process.argv.includes('--real')) {
 }
 
 
-//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/time-eval-tests.ts
+//# sourceURL=/Users/bytedance/work/gotry-publish/ts/scripts/time-eval-tests.ts

package/dist/scripts/travel-timeline-tests.js

@@ -120,4 +120,4 @@ pass('trip_id 语义派生:确定性可重放', ()=>{
 console.log(`\nTRAVEL TIMELINE TESTS: ${n}/7 OK(memory-design P1 守门面)`);
 
 
-//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/travel-timeline-tests.ts
+//# sourceURL=/Users/bytedance/work/gotry-publish/ts/scripts/travel-timeline-tests.ts

package/dist/scripts/unified-tests.js

@@ -46,4 +46,4 @@ assert.deepEqual(r4.work_window_exclusions, []);
 console.log(`TS UNIFIED TESTS: 4/4 OK(工作窗口生效,f2=VZ303,¥${r1.money_cny})`);
 
 
-//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/unified-tests.ts
+//# sourceURL=/Users/bytedance/work/gotry-publish/ts/scripts/unified-tests.ts

package/dist/scripts/weather-tests.js

@@ -52,4 +52,4 @@ console.log('5. WMO 码映射 OK');
 console.log('\nWEATHER TESTS: 6/6 OK(Open-Meteo 真实 API,免费无 key;普吉岛走 Nominatim 兜底层)');
 
 
-//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/weather-tests.ts
+//# sourceURL=/Users/bytedance/work/gotry-publish/ts/scripts/weather-tests.ts

package/dist/scripts/wizard-bootstrap.js

@@ -0,0 +1,32 @@
+import process from 'node:process';
+import { runOnboardingWizard } from '../capabilities/session/wizard.js';
+function parseArgs(argv) {
+    const args = {};
+    for(let i = 0; i < argv.length; i += 1){
+        const cur = argv[i];
+        if (cur === '--extension-dir') args.extensionDir = argv[++i];
+        else if (cur === '--source-dir') args.sourceDir = argv[++i];
+    }
+    return args;
+}
+async function main() {
+    const args = parseArgs(process.argv.slice(2));
+    const result = await runOnboardingWizard({
+        dryRun: false,
+        ...args.extensionDir ? {
+            extensionDir: args.extensionDir
+        } : {},
+        ...args.sourceDir ? {
+            sourceDir: args.sourceDir
+        } : {}
+    });
+    process.stdout.write(JSON.stringify(result) + '\n');
+    process.exit(0);
+}
+main().catch((e)=>{
+    process.stderr.write(`[wizard-bootstrap] error: ${e instanceof Error ? e.message : String(e)}\n`);
+    process.exit(2);
+});
+
+
+//# sourceURL=/Users/bytedance/work/gotry-publish/ts/scripts/wizard-bootstrap.ts

package/dist/scripts/z3-race-tests.js

@@ -32,4 +32,4 @@ for(let round = 0; round < ROUNDS; round++){
 console.log(`Z3 RACE TESTS OK(进程内三形态并发 ×${ROUNDS}:判定与顺序基线一致,零 WASM 降级)`);
 
 
-//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/z3-race-tests.ts
+//# sourceURL=/Users/bytedance/work/gotry-publish/ts/scripts/z3-race-tests.ts

package/dist/src/artifact-gate.js

@@ -0,0 +1,310 @@
+import { flightClaimVerdict, itineraryInvariants, latestFactsForRouteDate } from './bookable-facts.js';
+export const ARTIFACT_GATE_SCHEMA = 'gotry_artifact_gate.v1';
+const FLIGHT_NO = /(?<![A-Za-z0-9])([A-Z0-9]{2}\d{3,4})(?![\d])/g;
+const CARRIER_DIRECT = /(?<![A-Za-z0-9])([A-Z0-9]{2})(?!\d)(?:\s|[一-龥]){0,6}直飞/g;
+const CARRIER_ZH = {
+    东航: 'MU',
+    南航: 'CZ',
+    国航: 'CA',
+    厦航: 'MF',
+    春秋: '9C',
+    祥鹏: '8L',
+    亚航: 'FD',
+    越捷: 'VZ',
+    国泰: 'CX',
+    港航: 'HX',
+    香港快运: 'UO',
+    阿联酋: 'EK',
+    泰航: 'TG'
+};
+const POLICY_WORD = /免签|落地签|签证|入境申报|过境免/;
+const AS_OF_WORD = /截至\s*\d{4}[-/年]\d{1,2}|as[_ ]?of\s*\d{4}/i;
+const CHECK_MARK = /[✓✅]/;
+function hasDirectAssertion(line) {
+    const idx = line.indexOf('直飞');
+    if (idx < 0) return false;
+    const before = line.slice(Math.max(0, idx - 3), idx);
+    return !(before.endsWith('无') || before.endsWith('不') || before.endsWith('没有') || before.endsWith('未见'));
+}
+function routeCtxOf(text, map, defaultYear) {
+    const occ = [];
+    for (const [city, iata] of Object.entries(map.city_alias)){
+        let pos = text.indexOf(city);
+        while(pos >= 0){
+            occ.push({
+                city,
+                iata,
+                pos
+            });
+            pos = text.indexOf(city, pos + city.length);
+        }
+    }
+    occ.sort((a, b)=>a.pos - b.pos);
+    const ctx = {};
+    outer: for(let i = 0; i < occ.length; i++){
+        for(let j = i + 1; j < occ.length; j++){
+            if (occ[j].iata === occ[i].iata) continue;
+            const between = text.slice(occ[i].pos + occ[i].city.length, occ[j].pos);
+            if (/→|⇀|->/.test(between)) {
+                ctx.origin = occ[i].iata;
+                ctx.destination = occ[j].iata;
+                break outer;
+            }
+        }
+    }
+    if (!ctx.origin && occ.length >= 2) {
+        ctx.origin = occ[0].iata;
+        ctx.destination = occ[1].iata;
+    }
+    if (defaultYear) {
+        const dm = text.match(/(?<!\d)(\d{1,2})\.(\d{1,2})(?!\d)/) ?? text.match(/(?<!\d)(\d{2})-(\d{2})(?!\d)/);
+        if (dm) {
+            const mm = Number(dm[1]), dd = Number(dm[2]);
+            if (mm >= 1 && mm <= 12 && dd >= 1 && dd <= 31) {
+                ctx.date = `${defaultYear}-${String(mm).padStart(2, '0')}-${String(dd).padStart(2, '0')}`;
+            }
+        }
+    }
+    return ctx;
+}
+export function extractClaims(markdown, map, opts) {
+    const claims = {
+        flights: [],
+        policies: [],
+        airports: [],
+        direct_lines: []
+    };
+    const lines = markdown.split('\n');
+    let section = {};
+    for(let i = 0; i < lines.length; i++){
+        const line = lines[i];
+        const lineNo = i + 1;
+        if (/^#{1,4}\s/.test(line)) {
+            const ctx = routeCtxOf(line, map, opts?.trip_year);
+            section = {
+                origin: ctx.origin,
+                destination: ctx.destination,
+                date: ctx.date ?? section.date
+            };
+            continue;
+        }
+        const own = routeCtxOf(line, map, opts?.trip_year);
+        const origin = own.origin ?? section.origin;
+        const destination = own.destination ?? section.destination;
+        const date = own.date ?? section.date;
+        for (const m of line.matchAll(FLIGHT_NO)){
+            claims.flights.push({
+                line: lineNo,
+                text: line.trim().slice(0, 120),
+                flight_no: m[1].toUpperCase(),
+                origin,
+                destination,
+                date
+            });
+        }
+        for (const m of line.matchAll(CARRIER_DIRECT)){
+            const carrier = m[1].toUpperCase();
+            if (!/[A-Z]/.test(carrier)) continue;
+            if (new RegExp(`${carrier}\\d`).test(line)) continue;
+            claims.flights.push({
+                line: lineNo,
+                text: line.trim().slice(0, 120),
+                flight_no: '',
+                carrier_only: carrier,
+                origin,
+                destination,
+                date
+            });
+        }
+        if (hasDirectAssertion(line) && (origin || destination)) {
+            claims.direct_lines.push({
+                line: lineNo,
+                text: line.trim().slice(0, 120),
+                origin,
+                destination,
+                date
+            });
+            for (const [zh, code] of Object.entries(CARRIER_ZH)){
+                if (new RegExp(`(?<![一-龥])${zh}`).test(line) && !new RegExp(`${code}\\d`).test(line) && !claims.flights.some((c)=>c.line === lineNo && c.carrier_only === code)) {
+                    claims.flights.push({
+                        line: lineNo,
+                        text: line.trim().slice(0, 120),
+                        flight_no: '',
+                        carrier_only: code,
+                        origin,
+                        destination,
+                        date
+                    });
+                }
+            }
+        }
+        if (POLICY_WORD.test(line)) {
+            claims.policies.push({
+                line: lineNo,
+                text: line.trim().slice(0, 160),
+                has_as_of: AS_OF_WORD.test(line)
+            });
+        }
+        for (const [city, carriers] of Object.entries(map.carrier_airport)){
+            const airports = [
+                ...new Set(Object.values(carriers))
+            ];
+            if (!airports.some((a)=>line.includes(a))) continue;
+            const mentioned = Object.keys(carriers).filter((c)=>new RegExp(`(?<![A-Za-z0-9])${c}(?![A-Za-z0-9])`).test(line));
+            if (mentioned.length === 0) continue;
+            const airport = airports.find((a)=>line.includes(a));
+            if (airport) claims.airports.push({
+                line: lineNo,
+                text: line.trim().slice(0, 120),
+                carriers: mentioned,
+                airport,
+                city
+            });
+        }
+    }
+    return claims;
+}
+function lineTimesContradict(text, dep, arr) {
+    if (!dep && !arr) return false;
+    const times = [
+        ...text.matchAll(/(?<!\d)(\d{1,2}:\d{2})(?!\d)/g)
+    ].map((m)=>m[1]);
+    if (times.length === 0) return false;
+    return !times.some((t)=>t === dep || t === arr);
+}
+export function gateArtifact(markdown, facts, map, opts) {
+    const claims = extractClaims(markdown, map, opts);
+    const violations = [];
+    let traceable = 0;
+    for (const c of claims.flights){
+        if (c.carrier_only) {
+            const hasCarrier = facts.some((f)=>f.kind === 'flight' && f.bookability === 'bookable_exact_date' && f.nonstop !== false && f.flight_no.startsWith(c.carrier_only) && (!c.origin || f.route.origin === c.origin || f.route.origin_airport === c.origin) && (!c.destination || f.route.destination === c.destination || f.route.dest_airport === c.destination) && (!c.date || f.date === c.date));
+            if (!hasCarrier) {
+                const scoped = c.origin && c.destination && c.date ? latestFactsForRouteDate(facts, c.origin, c.destination, c.date) : [];
+                violations.push({
+                    kind: scoped.length > 0 ? 'not_in_source' : 'carrier_direct_unverified',
+                    line: c.line,
+                    detail: `承运级直飞断言「${c.carrier_only} 直飞」无 exact-date 证据(${c.origin ?? '?'}→${c.destination ?? '?'} ${c.date ?? '?'})` + (scoped.length > 0 && scoped.every((f)=>f.bookability === 'bookable_exact_date' && f.nonstop === false) ? '——该日可售仅有中转' : '——「可考虑/也许有」不得写入决策树')
+                });
+            }
+            continue;
+        }
+        const r = flightClaimVerdict(facts, c);
+        if (r.verdict === 'traceable') {
+            if (lineTimesContradict(c.text, r.fact?.dep_local, r.fact?.arr_local)) {
+                violations.push({
+                    kind: 'contradicted',
+                    line: c.line,
+                    detail: `${c.flight_no} 时刻与 exact-date 快照不符(快照 ${r.fact?.dep_local}→${r.fact?.arr_local} ${r.fact?.date})——渲染层不得改写工具返回的时刻`
+                });
+                continue;
+            }
+            traceable++;
+            continue;
+        }
+        violations.push({
+            kind: r.verdict,
+            line: c.line,
+            detail: `${c.flight_no}: ${r.reason}`
+        });
+        if (CHECK_MARK.test(c.text)) {
+            violations.push({
+                kind: 'unconditional_check',
+                line: c.line,
+                detail: `对未核验航班 ${c.flight_no} 使用无条件 ✓/✅——只有 bookable_exact_date 才允许确定性标记`
+            });
+        }
+    }
+    for (const d of claims.direct_lines){
+        if (claims.flights.some((c)=>c.line === d.line)) continue;
+        if (!d.origin || !d.destination || !d.date) {
+            violations.push({
+                kind: 'route_unqueried',
+                line: d.line,
+                detail: `直飞断言缺 route/date 上下文,无法回溯——fail closed 按未核验处理`
+            });
+            continue;
+        }
+        const scoped = latestFactsForRouteDate(facts, d.origin, d.destination, d.date);
+        if (scoped.length === 0) {
+            violations.push({
+                kind: 'route_unqueried',
+                line: d.line,
+                detail: `${d.origin}→${d.destination} ${d.date} 的直飞断言从未经 exact-date 源核验`
+            });
+            continue;
+        }
+        const nonstopCount = scoped.filter((f)=>f.bookability === 'bookable_exact_date' && f.nonstop !== false).length;
+        if (nonstopCount === 0) {
+            violations.push({
+                kind: 'not_in_source',
+                line: d.line,
+                detail: `${d.origin}→${d.destination} ${d.date} exact-date 无任何在架直飞(仅中转或 0 条)——不得写直飞`
+            });
+        }
+    }
+    for (const a of claims.airports){
+        const table = map.carrier_airport[a.city] ?? {};
+        for (const carrier of a.carriers){
+            const expected = table[carrier];
+            if (expected && expected !== a.airport) {
+                violations.push({
+                    kind: 'airport_mapping_conflict',
+                    line: a.line,
+                    detail: `${carrier} 在${a.city}落 ${expected}(映射快照 as_of ${map.meta.as_of}),产物写 ${a.airport}——双机场不互换,航司不合并映射`
+                });
+            }
+        }
+    }
+    for (const p of claims.policies){
+        if (!p.has_as_of) {
+            violations.push({
+                kind: 'policy_without_as_of',
+                line: p.line,
+                detail: `政策断言缺时间边界:动态政策只能表述为「截至 YYYY-MM-DD 的现行政策」并附复核日期`
+            });
+        }
+        if (CHECK_MARK.test(p.text) && !p.has_as_of) {
+            violations.push({
+                kind: 'unconditional_check',
+                line: p.line,
+                detail: `政策行使用无条件 ✓/✅`
+            });
+        }
+    }
+    markdown.split('\n').forEach((line, i)=>{
+        if (!line.includes('联程')) return;
+        const nos = [
+            ...line.matchAll(FLIGHT_NO)
+        ].map((m)=>m[1].toUpperCase());
+        const matched = facts.filter((f)=>f.kind !== 'policy' && nos.includes(f.flight_no.toUpperCase()));
+        const allProtected = nos.length > 0 && matched.length === nos.length && matched.every((f)=>f.protected_connection === true);
+        if (!allProtected) {
+            violations.push({
+                kind: 'self_transfer_called_through',
+                line: i + 1,
+                detail: '「联程」措辞无 protected_connection=true 证据——两段接得上不等于同票联程;分票必须标红自助转机(无行李直挂/误机无保护)'
+            });
+        }
+    });
+    if (opts?.itinerary) {
+        for (const v of itineraryInvariants(opts.itinerary)){
+            violations.push({
+                kind: v.kind,
+                line: 0,
+                detail: v.detail
+            });
+        }
+    }
+    return {
+        schema: ARTIFACT_GATE_SCHEMA,
+        verdict: violations.length > 0 ? 'blocked' : 'pass',
+        claims_checked: claims.flights.length + claims.policies.length + claims.airports.length,
+        traceable,
+        violations,
+        presentation: violations.length > 0 ? 'verified_label_forbidden' : 'verified_itinerary_allowed'
+    };
+}
+
+
+//# sourceURL=/Users/bytedance/work/gotry-publish/ts/src/artifact-gate.ts