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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (327) hide show
  1. package/README.md +102 -194
  2. package/README.zh-CN.md +115 -210
  3. package/bin/gotry-backend.js +53 -0
  4. package/bin/gotry-bootstrap.js +466 -35
  5. package/bin/gotry-inner.js +255 -36
  6. package/bin/gotry-process-liveness.d.ts +27 -0
  7. package/bin/gotry-process-liveness.js +97 -0
  8. package/bin/gotry-runtime-resolution.d.ts +1 -1
  9. package/bin/gotry-runtime-resolution.js +2 -2
  10. package/client/client.js +174 -0
  11. package/cordis.gotry-patch.yml +70 -93
  12. package/dist/capabilities/agent-reach-deep.js +45 -122
  13. package/dist/capabilities/agent-reach.js +63 -148
  14. package/dist/capabilities/anything.js +89 -75
  15. package/dist/capabilities/artifacts.js +123 -104
  16. package/dist/capabilities/channel-health.js +65 -45
  17. package/dist/capabilities/channel-registry.js +108 -87
  18. package/dist/capabilities/doctor.js +357 -235
  19. package/dist/capabilities/effect.js +223 -309
  20. package/dist/capabilities/fact-log.js +28 -14
  21. package/dist/capabilities/flyai.js +245 -156
  22. package/dist/capabilities/ground-transfer.js +509 -0
  23. package/dist/capabilities/hbcli.js +144 -148
  24. package/dist/capabilities/hotelbyte-transaction.js +194 -0
  25. package/dist/capabilities/incident-log.js +131 -61
  26. package/dist/capabilities/model-override.js +30 -10
  27. package/dist/capabilities/opensky.js +54 -43
  28. package/dist/capabilities/resilience.js +50 -32
  29. package/dist/capabilities/session/action-cache.js +50 -44
  30. package/dist/capabilities/session/adapters/ctrip-flight.js +119 -62
  31. package/dist/capabilities/session/adapters/ctrip-hotel.js +125 -110
  32. package/dist/capabilities/session/adapters/dida-portal.js +206 -0
  33. package/dist/capabilities/session/adapters/meituan-local.js +35 -54
  34. package/dist/capabilities/session/adapters/rail-12306.js +169 -112
  35. package/dist/capabilities/session/benchmark.js +85 -149
  36. package/dist/capabilities/session/extension-bridge.js +320 -259
  37. package/dist/capabilities/session/extension-channel.js +57 -76
  38. package/dist/capabilities/session/extension-distribution.js +115 -119
  39. package/dist/capabilities/session/extract.js +31 -21
  40. package/dist/capabilities/session/golden-score.js +55 -33
  41. package/dist/capabilities/session/health-watch.js +146 -154
  42. package/dist/capabilities/session/read-guard.js +55 -47
  43. package/dist/capabilities/session/static-flight-golden.js +49 -36
  44. package/dist/capabilities/session/transport.js +54 -61
  45. package/dist/capabilities/session/wizard.js +63 -93
  46. package/dist/capabilities/session-consent.js +143 -47
  47. package/dist/capabilities/session-login.js +95 -126
  48. package/dist/capabilities/session-search.js +391 -253
  49. package/dist/capabilities/sponsor-plugin.js +341 -0
  50. package/dist/capabilities/visa-policy.js +87 -73
  51. package/dist/capabilities/weather.js +163 -235
  52. package/dist/scripts/action-cache-tests.js +24 -59
  53. package/dist/scripts/agent-planning-turn-deadline-e2e.js +91 -142
  54. package/dist/scripts/agent-planning-turn-deadline-tests.js +80 -176
  55. package/dist/scripts/agent-reach-deep-tests.js +30 -40
  56. package/dist/scripts/agent-reach-tests.js +26 -18
  57. package/dist/scripts/agent-reach-wrapper-tests.js +46 -50
  58. package/dist/scripts/anything-tests.js +58 -62
  59. package/dist/scripts/artifact-client-contract-tests.js +69 -0
  60. package/dist/scripts/artifacts-capability-tests.js +235 -0
  61. package/dist/scripts/async-collect.js +26 -15
  62. package/dist/scripts/benchmark-environment-bridge-e2e.js +287 -684
  63. package/dist/scripts/benchmark-environment-bridge-tests.js +818 -3123
  64. package/dist/scripts/booking-copilot-availability-ledger-binding-tests.js +66 -279
  65. package/dist/scripts/booking-copilot-availability-policy-tests.js +153 -1257
  66. package/dist/scripts/booking-copilot-bin-proof-tests.js +22 -45
  67. package/dist/scripts/booking-copilot-crossrepo-fixture-server.js +64 -76
  68. package/dist/scripts/booking-copilot-dsh-core-proof-tests.js +69 -199
  69. package/dist/scripts/booking-copilot-dsh-planner-proof-tests.js +393 -759
  70. package/dist/scripts/booking-copilot-dsh-plugin-proof-tests.js +33 -75
  71. package/dist/scripts/booking-copilot-event-sequence-concurrency-proof-tests.js +60 -110
  72. package/dist/scripts/booking-copilot-gap-code-contract-proof-tests.js +28 -66
  73. package/dist/scripts/booking-copilot-operation-ledger-concurrency-proof-tests.js +72 -271
  74. package/dist/scripts/booking-copilot-receipt-ledger-concurrency-proof-tests.js +73 -275
  75. package/dist/scripts/booking-copilot-runtime-proof-tests.js +784 -3398
  76. package/dist/scripts/booking-copilot-server-proof-tests.js +63 -168
  77. package/dist/scripts/booking-copilot-startup-proof-tests.js +38 -124
  78. package/dist/scripts/booking-executor-tests.js +80 -0
  79. package/dist/scripts/booking-recovery-chain-tests.js +182 -0
  80. package/dist/scripts/booking-saga-tests.js +61 -123
  81. package/dist/scripts/booking-surface-contract-proof-tests.js +152 -1167
  82. package/dist/scripts/bootstrap-tests.js +1383 -128
  83. package/dist/scripts/build-changelog.js +89 -130
  84. package/dist/scripts/build-metrics-report.js +135 -143
  85. package/dist/scripts/changelog-tests.js +35 -82
  86. package/dist/scripts/channel-probe-tests.js +44 -116
  87. package/dist/scripts/channel-probe.js +84 -167
  88. package/dist/scripts/channel-registry-tests.js +97 -185
  89. package/dist/scripts/companion-tests.js +25 -70
  90. package/dist/scripts/dida-cookie-probe.js +87 -0
  91. package/dist/scripts/dida-sw-probe.js +114 -0
  92. package/dist/scripts/diff-test.js +17 -12
  93. package/dist/scripts/doctor-tests.js +428 -120
  94. package/dist/scripts/dsh-artifact-e2e.js +150 -0
  95. package/dist/scripts/dsh-artifact-web-e2e.js +443 -0
  96. package/dist/scripts/dsh-http-proxy-sse-proof.js +90 -0
  97. package/dist/scripts/dsh-runtime-closure-tests.js +110 -153
  98. package/dist/scripts/dsh-runtime-closure.js +75 -63
  99. package/dist/scripts/dsh-session-v3-migration-proof.js +106 -0
  100. package/dist/scripts/dsh-subprocess-local-proof.js +149 -0
  101. package/dist/scripts/dsh-target-closure-proof.js +178 -0
  102. package/dist/scripts/effect-tests.js +165 -552
  103. package/dist/scripts/engine-run.js +1 -3
  104. package/dist/scripts/engine-tests.js +16 -10
  105. package/dist/scripts/evaluation-cadence-tests.js +69 -242
  106. package/dist/scripts/evaluation-contract-tests.js +193 -499
  107. package/dist/scripts/extension-distribution-cli.js +19 -15
  108. package/dist/scripts/extension-distribution-tests.js +98 -211
  109. package/dist/scripts/extension-tests.js +366 -389
  110. package/dist/scripts/fact-gate-tests.js +725 -263
  111. package/dist/scripts/fixtures/extension-bridge-unref-child.mjs +21 -0
  112. package/dist/scripts/flight-hotel-anchor-363-registered-e2e.js +169 -0
  113. package/dist/scripts/flight-malformed-tests.js +159 -0
  114. package/dist/scripts/flyai-tests.js +325 -68
  115. package/dist/scripts/g5-guard-tests.js +131 -0
  116. package/dist/scripts/g5-guard.js +189 -0
  117. package/dist/scripts/gen-lunar-anchors.js +106 -0
  118. package/dist/scripts/gotry-backend-kernel-tests.js +79 -0
  119. package/dist/scripts/ground-transfer-tests.js +956 -0
  120. package/dist/scripts/hbcli-e2e-tests.js +71 -90
  121. package/dist/scripts/hbcli-live-optin-tests.js +96 -0
  122. package/dist/scripts/hbcli-release-contract-tests.js +122 -0
  123. package/dist/scripts/hbcli-tests.js +41 -115
  124. package/dist/scripts/health-watch-cli.js +42 -28
  125. package/dist/scripts/hotel-date-gate-tests.js +496 -0
  126. package/dist/scripts/hotelbyte-reconcile-tests.js +141 -0
  127. package/dist/scripts/hotelbyte-spawn-e2e-tests.js +373 -0
  128. package/dist/scripts/i18n-tests.js +16 -9
  129. package/dist/scripts/incident-tests.js +281 -87
  130. package/dist/scripts/issue-194-job-id-guard-tests.js +106 -0
  131. package/dist/scripts/issue-233-cancel-refund-commission-tests.js +392 -0
  132. package/dist/scripts/issue-271-liveness-tests.js +547 -0
  133. package/dist/scripts/issue-289-model-retry-real-tests.js +296 -0
  134. package/dist/scripts/issue-289-model-retry-tests.js +441 -0
  135. package/dist/scripts/issue-289-web-retry-e2e.js +630 -0
  136. package/dist/scripts/issue-338-home-city-e2e.js +577 -0
  137. package/dist/scripts/issue343-real-entry-e2e.js +160 -0
  138. package/dist/scripts/journey-tests.js +22 -27
  139. package/dist/scripts/kernel-manifest-evidence.js +109 -0
  140. package/dist/scripts/kernel-manifest-gate.js +126 -0
  141. package/dist/scripts/kernel-manifest-tests.js +212 -0
  142. package/dist/scripts/kernel-manifest-trace-entry.js +7 -0
  143. package/dist/scripts/kernel-manifest-trace-hook.mjs +28 -0
  144. package/dist/scripts/kernel-manifest.js +369 -0
  145. package/dist/scripts/ledger-repair-apply-tests.js +316 -0
  146. package/dist/scripts/ledger-repair-plan-tests.js +375 -0
  147. package/dist/scripts/ledger-tests.js +325 -340
  148. package/dist/scripts/ledger-workflow-crash.js +10 -20
  149. package/dist/scripts/map-tools-vendor-package-proof.js +206 -134
  150. package/dist/scripts/memory-capture-tests.js +242 -61
  151. package/dist/scripts/memory-decay-tests.js +18 -52
  152. package/dist/scripts/memory-lifecycle-tests.js +657 -0
  153. package/dist/scripts/memory-lifecycle.js +196 -0
  154. package/dist/scripts/memory-metrics.js +24 -12
  155. package/dist/scripts/memory-value-report.js +474 -222
  156. package/dist/scripts/memory-value-tests.js +328 -0
  157. package/dist/scripts/metrics-report-tests.js +62 -199
  158. package/dist/scripts/model-override-e2e.js +66 -105
  159. package/dist/scripts/nightly-evidence-tests.js +64 -89
  160. package/dist/scripts/nightly-evidence.js +108 -111
  161. package/dist/scripts/nudge-digest.js +39 -28
  162. package/dist/scripts/onboarding-tests.js +63 -88
  163. package/dist/scripts/opensky-check.js +18 -13
  164. package/dist/scripts/opensky-tests.js +28 -28
  165. package/dist/scripts/persona-surface-guard-tests.js +37 -12
  166. package/dist/scripts/pnpm-dsh-closure-proof.js +2 -5
  167. package/dist/scripts/policy-anchor-359-registered-e2e.js +214 -0
  168. package/dist/scripts/price-drift-tests.js +126 -227
  169. package/dist/scripts/price-drift-watch.js +209 -253
  170. package/dist/scripts/probe-poi-tests.js +52 -45
  171. package/dist/scripts/product-metrics.js +187 -273
  172. package/dist/scripts/publish-preverify.js +47 -41
  173. package/dist/scripts/realtime-pricing-tests.js +37 -76
  174. package/dist/scripts/replay-async.js +20 -18
  175. package/dist/scripts/replay-real.js +16 -18
  176. package/dist/scripts/replay.js +52 -82
  177. package/dist/scripts/session-attach-diagnose.js +16 -12
  178. package/dist/scripts/session-attach-poc.js +34 -37
  179. package/dist/scripts/session-benchmark.js +66 -147
  180. package/dist/scripts/session-dida-live-e2e.js +151 -0
  181. package/dist/scripts/session-extract-tests.js +14 -35
  182. package/dist/scripts/session-login.js +14 -13
  183. package/dist/scripts/session-tests.js +545 -583
  184. package/dist/scripts/sf-live-benchmark.js +92 -110
  185. package/dist/scripts/sf-live-cli-tests.js +2 -9
  186. package/dist/scripts/sf-soft-score-tests.js +19 -60
  187. package/dist/scripts/sf-summary-tests.js +149 -0
  188. package/dist/scripts/sf-summary.js +466 -84
  189. package/dist/scripts/skeleton-check.js +16 -14
  190. package/dist/scripts/skeleton-integration-test.js +11 -10
  191. package/dist/scripts/skills-contract-tests.js +51 -46
  192. package/dist/scripts/smoke-session-gate-tests.js +12 -20
  193. package/dist/scripts/smoke.js +541 -422
  194. package/dist/scripts/sponsor-reuse-tests.js +262 -0
  195. package/dist/scripts/state-cli-tests.js +226 -101
  196. package/dist/scripts/state-cli.js +549 -212
  197. package/dist/scripts/static-golden-tests.js +46 -180
  198. package/dist/scripts/time-eval-tests.js +210 -192
  199. package/dist/scripts/travel-timeline-tests.js +29 -93
  200. package/dist/scripts/turn-handoff-collect-tests.js +46 -93
  201. package/dist/scripts/turn-handoff-collect.js +71 -99
  202. package/dist/scripts/turn-policy-tests.js +28 -29
  203. package/dist/scripts/typed-contract-canary.js +77 -162
  204. package/dist/scripts/tz-resolver-sanity.js +50 -0
  205. package/dist/scripts/tz-resolver-tests.js +584 -0
  206. package/dist/scripts/unified-tests.js +23 -19
  207. package/dist/scripts/visa-policy-tests.js +31 -44
  208. package/dist/scripts/weather-tests.js +121 -543
  209. package/dist/scripts/wish-channel-gate-tests.js +29 -86
  210. package/dist/scripts/write-gate-tests.js +522 -0
  211. package/dist/scripts/z3-lifecycle-fault-tests.js +188 -0
  212. package/dist/scripts/z3-lifecycle-tests.js +170 -0
  213. package/dist/scripts/z3-race-repeat-tests.js +39 -0
  214. package/dist/scripts/z3-race-tests.js +18 -12
  215. package/dist/src/artifact-gate.js +652 -221
  216. package/dist/src/backend/kernel.js +91 -0
  217. package/dist/src/backend/modules/booking-copilot.js +55 -0
  218. package/dist/src/backend/modules/booking-executor.js +124 -0
  219. package/dist/src/backend/modules/session-search.js +194 -0
  220. package/dist/src/benchmark-agent-conformance.js +296 -262
  221. package/dist/src/benchmark-environment-bridge.js +298 -413
  222. package/dist/src/benchmark-headless-child-diagnostics.js +93 -100
  223. package/dist/src/benchmark-tool-isolation.js +94 -67
  224. package/dist/src/bookable-facts.js +299 -174
  225. package/dist/src/booking-saga.js +64 -120
  226. package/dist/src/booking-surface/availability-policy.js +443 -576
  227. package/dist/src/booking-surface/cancel-refund-commission.js +379 -0
  228. package/dist/src/booking-surface/contracts.js +24 -80
  229. package/dist/src/booking-surface/dsh-planner.js +510 -281
  230. package/dist/src/booking-surface/dsh-plugin.js +17 -1
  231. package/dist/src/booking-surface/error-codes.js +82 -10
  232. package/dist/src/booking-surface/index.js +0 -3
  233. package/dist/src/booking-surface/profile.js +10 -54
  234. package/dist/src/booking-surface/recovery-chain.js +367 -0
  235. package/dist/src/booking-surface/runtime.js +765 -891
  236. package/dist/src/booking-surface/server.js +200 -251
  237. package/dist/src/booking-surface/startup.js +58 -54
  238. package/dist/src/booking-surface/validation.js +150 -218
  239. package/dist/src/bridge.js +20 -13
  240. package/dist/src/companions.js +48 -74
  241. package/dist/src/contracts.js +21 -43
  242. package/dist/src/dsh-llm.js +82 -120
  243. package/dist/src/engine.js +253 -239
  244. package/dist/src/evaluation-cadence.js +72 -209
  245. package/dist/src/evaluation-contracts.js +220 -843
  246. package/dist/src/flight-pack-adapter.js +54 -0
  247. package/dist/src/flight-pack-contract.js +2 -0
  248. package/dist/src/gotry-backend.js +70 -0
  249. package/dist/src/hotel-date-gate.js +118 -0
  250. package/dist/src/i18n.js +18 -7
  251. package/dist/src/index.js +1425 -1629
  252. package/dist/src/journey.js +132 -81
  253. package/dist/src/ledger-repair-apply.js +538 -0
  254. package/dist/src/ledger-repair-plan.js +463 -0
  255. package/dist/src/loop.js +257 -166
  256. package/dist/src/memory-capture.js +180 -32
  257. package/dist/src/memory-decay.js +30 -14
  258. package/dist/src/memory-lifecycle.js +1310 -0
  259. package/dist/src/memory-utility.js +27 -40
  260. package/dist/src/mock-llm.js +36 -61
  261. package/dist/src/model.js +81 -36
  262. package/dist/src/realtime-pricing.js +63 -72
  263. package/dist/src/slot-spec.js +84 -106
  264. package/dist/src/state-ledger.js +310 -471
  265. package/dist/src/subagent-job-id-guard.js +58 -0
  266. package/dist/src/time-anchor.js +231 -33
  267. package/dist/src/tool-packet.js +20 -8
  268. package/dist/src/travel-slots.js +58 -35
  269. package/dist/src/travel-timeline.js +44 -63
  270. package/dist/src/turn-deadline.js +121 -127
  271. package/dist/src/turn-policy.js +61 -89
  272. package/dist/src/tz-resolver.js +143 -0
  273. package/dist/src/unified.js +504 -381
  274. package/dist/src/wish-pool.js +39 -14
  275. package/dist/src/write-gate.js +495 -0
  276. package/dist/src/z3-shared.js +273 -7
  277. package/extension/README.md +4 -3
  278. package/extension/background.js +125 -14
  279. package/extension/content-bridge.js +23 -1
  280. package/extension/content-main.js +15 -4
  281. package/extension/manifest.json +16 -8
  282. package/package.json +251 -220
  283. package/ts/capabilities/agent-reach.ts +4 -4
  284. package/ts/capabilities/anything.ts +1 -1
  285. package/ts/capabilities/artifacts.ts +46 -9
  286. package/ts/capabilities/flyai.ts +156 -37
  287. package/ts/capabilities/hbcli.ts +1 -1
  288. package/ts/capabilities/incident-log.ts +88 -59
  289. package/ts/capabilities/session/adapters/ctrip-flight.ts +99 -36
  290. package/ts/capabilities/session/adapters/dida-portal.ts +250 -0
  291. package/ts/capabilities/session/adapters/rail-12306.ts +123 -24
  292. package/ts/capabilities/session/extension-bridge.ts +226 -101
  293. package/ts/capabilities/session/extension-channel.ts +22 -9
  294. package/ts/capabilities/session/wizard.ts +2 -2
  295. package/ts/capabilities/session-consent.ts +98 -14
  296. package/ts/capabilities/session-login.ts +1 -0
  297. package/ts/capabilities/session-search.ts +315 -31
  298. package/ts/dsh-runtime/vendor/README.md +8 -4
  299. package/ts/dsh-runtime/vendor/dsh-map-tools/README.en.md +7 -1
  300. package/ts/dsh-runtime/vendor/dsh-map-tools/README.md +5 -3
  301. package/ts/dsh-runtime/vendor/dsh-map-tools/lib/settings-ns.js +1 -1
  302. package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/settings-ns.d.ts +1 -1
  303. package/ts/dsh-runtime/vendor/dsh-map-tools/package.json +6 -6
  304. package/ts/package.json +236 -16
  305. package/ts/scripts/map-tools-vendor-package-proof.ts +152 -31
  306. package/ts/scripts/state-cli.ts +418 -51
  307. package/ts/src/artifact-gate.ts +561 -15
  308. package/ts/src/benchmark-environment-bridge.ts +37 -20
  309. package/ts/src/bookable-facts.ts +183 -7
  310. package/ts/src/booking-surface/cancel-refund-commission.ts +488 -0
  311. package/ts/src/booking-surface/dsh-planner.ts +240 -32
  312. package/ts/src/booking-surface/dsh-plugin.js +17 -1
  313. package/ts/src/booking-surface/error-codes.ts +75 -0
  314. package/ts/src/booking-surface/recovery-chain.ts +409 -0
  315. package/ts/src/booking-surface/server.ts +84 -51
  316. package/ts/src/booking-surface/validation.ts +2 -0
  317. package/ts/src/contracts.ts +12 -2
  318. package/ts/src/dsh-llm.ts +4 -8
  319. package/ts/src/index.ts +609 -90
  320. package/ts/src/loop.ts +116 -7
  321. package/ts/src/memory-capture.ts +227 -3
  322. package/ts/src/mock-llm.ts +4 -8
  323. package/ts/src/model.ts +88 -2
  324. package/ts/src/state-ledger.ts +47 -29
  325. package/ts/src/subagent-job-id-guard.ts +72 -0
  326. package/ts/src/time-anchor.ts +217 -13
  327. package/ts/src/unified.ts +316 -54
@@ -1,3 +1,4 @@
1
+ /** Production executable proof for the standalone Booking Copilot server. */
1
2
  import assert from 'node:assert/strict';
2
3
  import { spawn, spawnSync } from 'node:child_process';
3
4
  import { mkdtempSync, readFileSync, rmSync } from 'node:fs';
@@ -6,30 +7,22 @@ import { join, resolve } from 'node:path';
6
7
  const root = resolve(import.meta.dirname, '../..');
7
8
  const packageJson = JSON.parse(readFileSync(join(root, 'package.json'), 'utf8'));
8
9
  assert.equal(packageJson.bin?.['gotry-booking-copilot'], 'bin/gotry-booking-copilot.js');
9
- const build = spawnSync(process.execPath, [
10
- 'scripts/build-dist.mjs'
11
- ], {
10
+ const build = spawnSync(process.execPath, ['scripts/build-dist.mjs'], {
12
11
  cwd: root,
13
- encoding: 'utf8'
12
+ encoding: 'utf8',
14
13
  });
15
14
  assert.equal(build.status, 0, build.stderr || build.stdout);
16
15
  const bin = join(root, 'bin/gotry-booking-copilot.js');
17
- const missingKey = spawnSync(process.execPath, [
18
- bin
19
- ], {
16
+ const missingKey = spawnSync(process.execPath, [bin], {
20
17
  cwd: root,
21
- env: {
22
- PATH: process.env.PATH
23
- },
24
- encoding: 'utf8'
18
+ env: { PATH: process.env.PATH },
19
+ encoding: 'utf8',
25
20
  });
26
21
  assert.equal(missingKey.status, 1);
27
22
  assert.match(missingKey.stderr, /booking_copilot_api_key_required/);
28
23
  const stateRoot = mkdtempSync(join(tmpdir(), 'gotry-booking-bin-'));
29
24
  try {
30
- const child = spawn(process.execPath, [
31
- bin
32
- ], {
25
+ const child = spawn(process.execPath, [bin], {
33
26
  cwd: root,
34
27
  env: {
35
28
  PATH: process.env.PATH,
@@ -37,28 +30,23 @@ try {
37
30
  GOTRY_BOOKING_COPILOT_STATE_ROOT: stateRoot,
38
31
  GOTRY_BOOKING_COPILOT_HOST: '127.0.0.1',
39
32
  GOTRY_BOOKING_COPILOT_PORT: '0',
40
- DEEPSEEK_API_KEY: 'fixture-model-key'
33
+ DEEPSEEK_API_KEY: 'fixture-model-key',
41
34
  },
42
- stdio: [
43
- 'ignore',
44
- 'pipe',
45
- 'pipe'
46
- ]
35
+ stdio: ['ignore', 'pipe', 'pipe'],
47
36
  });
48
37
  let stderr = '';
49
38
  child.stderr.setEncoding('utf8');
50
- child.stderr.on('data', (chunk)=>{
51
- stderr += chunk;
52
- });
53
- await new Promise((resolveReady, reject)=>{
54
- const timeout = setTimeout(()=>reject(new Error(`booking copilot bin did not listen: ${stderr}`)), 10_000);
55
- const inspect = ()=>{
56
- if (!stderr.includes('/a2a/booking-copilot/turn')) return;
39
+ child.stderr.on('data', (chunk) => { stderr += chunk; });
40
+ await new Promise((resolveReady, reject) => {
41
+ const timeout = setTimeout(() => reject(new Error(`booking copilot bin did not listen: ${stderr}`)), 10_000);
42
+ const inspect = () => {
43
+ if (!stderr.includes('/a2a/booking-copilot/turn'))
44
+ return;
57
45
  clearTimeout(timeout);
58
46
  resolveReady();
59
47
  };
60
48
  child.stderr.on('data', inspect);
61
- child.once('exit', (code)=>{
49
+ child.once('exit', (code) => {
62
50
  clearTimeout(timeout);
63
51
  reject(new Error(`booking copilot bin exited before listen: ${code}: ${stderr}`));
64
52
  });
@@ -67,23 +55,12 @@ try {
67
55
  assert.ok(!stderr.includes('fixture-bff-key'));
68
56
  assert.ok(!stderr.includes('fixture-model-key'));
69
57
  child.kill('SIGTERM');
70
- const exit = await new Promise((resolveExit)=>{
71
- child.once('exit', (code, signal)=>resolveExit({
72
- code,
73
- signal
74
- }));
75
- });
76
- assert.deepEqual(exit, {
77
- code: 0,
78
- signal: null
79
- }, `graceful shutdown failed: ${stderr}`);
80
- } finally{
81
- rmSync(stateRoot, {
82
- recursive: true,
83
- force: true
58
+ const exit = await new Promise((resolveExit) => {
59
+ child.once('exit', (code, signal) => resolveExit({ code, signal }));
84
60
  });
61
+ assert.deepEqual(exit, { code: 0, signal: null }, `graceful shutdown failed: ${stderr}`);
62
+ }
63
+ finally {
64
+ rmSync(stateRoot, { recursive: true, force: true });
85
65
  }
86
66
  console.log('BOOKING COPILOT BIN PROOF: startup failure/listen/SIGTERM lifecycle OK');
87
-
88
-
89
- //# sourceURL=ts/scripts/booking-copilot-bin-proof-tests.ts
@@ -1,56 +1,56 @@
1
+ /**
2
+ * Deterministic, model-free GoTry server for the Hotel-BE/Hotel-FE proof.
3
+ *
4
+ * The proof starts this process as a real GoTry HTTP/SSE server. The planner
5
+ * is intentionally in-process and typed: it selects a hotel on the payment
6
+ * link surface, starts a search on every other accepted surface, and only
7
+ * emits a terminal event after the corresponding receipt continuation.
8
+ */
1
9
  import { mkdtempSync, rmSync } from 'node:fs';
2
10
  import { join } from 'node:path';
3
11
  import { tmpdir } from 'node:os';
4
12
  import { ensureLedger } from '../src/state-ledger.js';
5
- import { BOOKING_SURFACE_ALLOWED_ACTIONS, BOOKING_SURFACE_SCHEMA_SHA256, BOOKING_SURFACE_SCHEMA_VERSION } from '../src/booking-surface/contracts.js';
13
+ import { BOOKING_SURFACE_ALLOWED_ACTIONS, BOOKING_SURFACE_SCHEMA_SHA256, BOOKING_SURFACE_SCHEMA_VERSION, } from '../src/booking-surface/contracts.js';
6
14
  import { BookingCopilotTaskRuntime } from '../src/booking-surface/runtime.js';
7
15
  import { startBookingCopilotServer } from '../src/booking-surface/server.js';
8
- import '../src/booking-surface/runtime.js';
9
16
  const API_KEY = 'test-only-cross-repo-key';
10
17
  const stateRoot = mkdtempSync(join(tmpdir(), 'gotry-booking-copilot-crossrepo-'));
11
18
  const ledger = ensureLedger(stateRoot);
12
19
  let sequence = 0;
13
- const principal = {
14
- subject: 'fixture-crossrepo-bff',
15
- scope: 'booking:read'
16
- };
20
+ const principal = { subject: 'fixture-crossrepo-bff', scope: 'booking:read' };
17
21
  const ingressMode = 'bff-ingress-binding';
18
22
  const ingressBinding = {
19
- bind (input) {
23
+ bind(input) {
20
24
  const surface = input.surfaceHint;
21
25
  return {
22
26
  taskId: `fixture-task-${input.requestKey}`,
23
27
  turnId: `fixture-turn-${input.requestKey}`,
24
28
  contextRef: `ctx-fixture-${input.requestKey}`,
25
29
  surface,
26
- allowedActions: [
27
- ...BOOKING_SURFACE_ALLOWED_ACTIONS[surface]
28
- ]
30
+ allowedActions: [...BOOKING_SURFACE_ALLOWED_ACTIONS[surface]],
29
31
  };
30
- }
32
+ },
31
33
  };
32
- const plannerFactory = (initialTask)=>{
34
+ const plannerFactory = (initialTask) => {
33
35
  let receiptObserved = initialTask.lastReceipt !== undefined;
34
36
  return {
35
- async next ({ turn, task }) {
37
+ async next({ turn, task }) {
36
38
  if (turn.kind === 'action.receipt.continuation') {
37
39
  receiptObserved = true;
38
- return [
39
- {
40
+ return [{
40
41
  kind: 'terminal',
41
42
  terminal: {
42
43
  status: 'completed',
43
44
  summary: 'Fixture receipt observed.',
44
- factRefs: []
45
- }
46
- }
47
- ];
45
+ factRefs: [],
46
+ },
47
+ }];
48
48
  }
49
+ // After the receipt-driven approval question, the next browser ingress
50
+ // carries the exact selected option. Let the planner issue the same
51
+ // typed read operation; the runtime owns the approval ref injection.
49
52
  if (turn.kind === 'user.turn' && turn.request.approval) {
50
- return [
51
- {
52
- kind: 'operation',
53
- action: {
53
+ return [{ kind: 'operation', action: {
54
54
  schemaVersion: BOOKING_SURFACE_SCHEMA_VERSION,
55
55
  kind: 'search.run',
56
56
  actionId: 'cross-repo-action-2',
@@ -58,57 +58,48 @@ const plannerFactory = (initialTask)=>{
58
58
  expectedRevision: task.revision,
59
59
  reason: 'Run the approved relaxed search.',
60
60
  factRefs: [],
61
- input: {}
62
- }
63
- }
64
- ];
61
+ input: {},
62
+ } }];
65
63
  }
66
64
  if (receiptObserved) {
67
- return [
68
- {
65
+ return [{
69
66
  kind: 'terminal',
70
67
  terminal: {
71
68
  status: 'completed',
72
69
  summary: 'Fixture task already has a receipt.',
73
- factRefs: []
74
- }
75
- }
76
- ];
70
+ factRefs: [],
71
+ },
72
+ }];
77
73
  }
78
- const action = task.surface === 'payment_link' ? {
79
- schemaVersion: BOOKING_SURFACE_SCHEMA_VERSION,
80
- kind: 'hotel.select',
81
- actionId: 'cross-repo-action-1',
82
- contextRef: task.contextRef,
83
- expectedRevision: task.revision,
84
- reason: 'Select the requested hotel.',
85
- factRefs: [],
86
- input: {
87
- hotelRef: 'hotel-proof-1'
88
- }
89
- } : {
90
- schemaVersion: BOOKING_SURFACE_SCHEMA_VERSION,
91
- kind: 'search.run',
92
- actionId: 'cross-repo-action-1',
93
- contextRef: task.contextRef,
94
- expectedRevision: task.revision,
95
- reason: 'Run the requested search.',
96
- factRefs: [],
97
- input: {}
98
- };
99
- return [
100
- {
101
- kind: 'operation',
102
- action
74
+ const action = task.surface === 'payment_link'
75
+ ? {
76
+ schemaVersion: BOOKING_SURFACE_SCHEMA_VERSION,
77
+ kind: 'hotel.select',
78
+ actionId: 'cross-repo-action-1',
79
+ contextRef: task.contextRef,
80
+ expectedRevision: task.revision,
81
+ reason: 'Select the requested hotel.',
82
+ factRefs: [],
83
+ input: { hotelRef: 'hotel-proof-1' },
103
84
  }
104
- ];
105
- }
85
+ : {
86
+ schemaVersion: BOOKING_SURFACE_SCHEMA_VERSION,
87
+ kind: 'search.run',
88
+ actionId: 'cross-repo-action-1',
89
+ contextRef: task.contextRef,
90
+ expectedRevision: task.revision,
91
+ reason: 'Run the requested search.',
92
+ factRefs: [],
93
+ input: {},
94
+ };
95
+ return [{ kind: 'operation', action }];
96
+ },
106
97
  };
107
98
  };
108
99
  async function main() {
109
100
  const runtime = new BookingCopilotTaskRuntime(ledger, {
110
- idFactory: (prefix)=>`${prefix}-cross-repo-${++sequence}`,
111
- now: ()=>'2026-08-31T00:00:00.000Z'
101
+ idFactory: (prefix) => `${prefix}-cross-repo-${++sequence}`,
102
+ now: () => '2026-08-31T00:00:00.000Z',
112
103
  });
113
104
  const handle = await startBookingCopilotServer({
114
105
  apiKey: API_KEY,
@@ -118,15 +109,15 @@ async function main() {
118
109
  principal,
119
110
  ingressMode,
120
111
  host: '127.0.0.1',
121
- port: 0
112
+ port: 0,
122
113
  });
123
114
  process.stdout.write(`BOOKING_COPILOT_FIXTURE_STARTUP=${JSON.stringify({
124
115
  url: `http://127.0.0.1:${handle.port}`,
125
116
  version: BOOKING_SURFACE_SCHEMA_VERSION,
126
- sha256: BOOKING_SURFACE_SCHEMA_SHA256
117
+ sha256: BOOKING_SURFACE_SCHEMA_SHA256,
127
118
  })}\n`);
128
- await new Promise((resolve)=>{
129
- const stop = ()=>resolve();
119
+ await new Promise((resolve) => {
120
+ const stop = () => resolve();
130
121
  process.once('SIGTERM', stop);
131
122
  process.once('SIGINT', stop);
132
123
  });
@@ -134,20 +125,17 @@ async function main() {
134
125
  }
135
126
  try {
136
127
  await main();
137
- } catch (error) {
128
+ }
129
+ catch (error) {
138
130
  process.stderr.write(`booking-copilot-crossrepo-fixture failed: ${error instanceof Error ? error.message : String(error)}\n`);
139
131
  process.exitCode = 1;
140
- } finally{
132
+ }
133
+ finally {
141
134
  try {
142
135
  ledger.close();
143
- } catch (error) {
136
+ }
137
+ catch (error) {
144
138
  process.stderr.write(`booking-copilot-crossrepo-fixture ledger close failed: ${error instanceof Error ? error.message : String(error)}\n`);
145
139
  }
146
- rmSync(stateRoot, {
147
- recursive: true,
148
- force: true
149
- });
140
+ rmSync(stateRoot, { recursive: true, force: true });
150
141
  }
151
-
152
-
153
- //# sourceURL=ts/scripts/booking-copilot-crossrepo-fixture-server.ts