@danceiny/gotry 0.0.1-rc.9 → 0.2.0-rc.27
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.
- package/README.md +172 -219
- package/README.zh-CN.md +222 -0
- package/bin/gotry-backend.js +53 -0
- package/bin/gotry-booking-copilot.js +53 -0
- package/bin/gotry-bootstrap.js +1744 -0
- package/bin/gotry-inner.js +733 -83
- package/bin/gotry-process-liveness.d.ts +27 -0
- package/bin/gotry-process-liveness.js +97 -0
- package/bin/gotry-runtime-resolution.d.ts +27 -0
- package/bin/gotry-runtime-resolution.js +49 -0
- package/bin/gotry.js +1 -1
- package/client/client.js +203 -0
- package/cordis.gotry-patch.yml +80 -56
- package/data/airline-airports.json +39 -0
- package/data/stations-12306-verify.json +524 -0
- package/dist/capabilities/agent-reach-deep.js +45 -122
- package/dist/capabilities/agent-reach.js +101 -146
- package/dist/capabilities/anything.js +135 -94
- package/dist/capabilities/artifacts.js +370 -0
- package/dist/capabilities/channel-health.js +131 -0
- package/dist/capabilities/channel-registry.js +256 -0
- package/dist/capabilities/doctor.js +546 -0
- package/dist/capabilities/effect.js +394 -0
- package/dist/capabilities/external-event.js +149 -0
- package/dist/capabilities/fact-log.js +55 -0
- package/dist/capabilities/flyai-config.js +337 -0
- package/dist/capabilities/flyai.js +947 -110
- package/dist/capabilities/fx-contract.js +293 -0
- package/dist/capabilities/geo-atlas.js +246 -0
- package/dist/capabilities/ground-transfer.js +509 -0
- package/dist/capabilities/hbcli.js +260 -123
- package/dist/capabilities/hotelbyte-transaction.js +194 -0
- package/dist/capabilities/incident-log.js +131 -61
- package/dist/capabilities/itinerary-artifact.js +190 -0
- package/dist/capabilities/itinerary-deck-artifact.js +194 -0
- package/dist/capabilities/itinerary-deck-export.js +339 -0
- package/dist/capabilities/lavish-local.js +924 -0
- package/dist/capabilities/model-override.js +38 -0
- package/dist/capabilities/opensky.js +54 -43
- package/dist/capabilities/resilience.js +191 -0
- package/dist/capabilities/session/action-cache.js +50 -44
- package/dist/capabilities/session/adapters/ctrip-flight.js +120 -62
- package/dist/capabilities/session/adapters/ctrip-hotel.js +222 -0
- package/dist/capabilities/session/adapters/dida-portal.js +274 -0
- package/dist/capabilities/session/adapters/meituan-local.js +35 -54
- package/dist/capabilities/session/adapters/rail-12306.js +342 -0
- package/dist/capabilities/session/benchmark.js +189 -0
- package/dist/capabilities/session/bridge-ledger.js +224 -0
- package/dist/capabilities/session/extension-bridge.js +636 -0
- package/dist/capabilities/session/extension-channel.js +109 -0
- package/dist/capabilities/session/extension-distribution.js +230 -0
- package/dist/capabilities/session/extract.js +31 -21
- package/dist/capabilities/session/golden-score.js +114 -0
- package/dist/capabilities/session/health-watch.js +215 -0
- package/dist/capabilities/session/read-guard.js +75 -24
- package/dist/capabilities/session/static-flight-golden.js +150 -0
- package/dist/capabilities/session/transport.js +97 -83
- package/dist/capabilities/session/wizard.js +117 -0
- package/dist/capabilities/session-consent.js +178 -0
- package/dist/capabilities/session-login.js +170 -0
- package/dist/capabilities/session-search.js +635 -44
- package/dist/capabilities/spawn-bounded.js +203 -0
- package/dist/capabilities/sponsor-plugin.js +341 -0
- package/dist/capabilities/visa-policy.js +140 -0
- package/dist/capabilities/weather.js +243 -138
- package/dist/data/session-golden-20.json +25 -0
- package/dist/data/sf-golden-manifest.json +103 -0
- package/dist/data/sf-static-routes.json +91 -0
- package/dist/scripts/action-cache-tests.js +24 -59
- package/dist/scripts/agent-planning-turn-deadline-e2e.js +242 -0
- package/dist/scripts/agent-planning-turn-deadline-tests.js +185 -0
- package/dist/scripts/agent-reach-deep-tests.js +30 -40
- package/dist/scripts/agent-reach-error-tests.js +354 -0
- package/dist/scripts/agent-reach-tests.js +26 -18
- package/dist/scripts/agent-reach-wrapper-tests.js +50 -50
- package/dist/scripts/anything-tests.js +116 -60
- package/dist/scripts/artifact-client-contract-tests.js +220 -0
- package/dist/scripts/artifacts-capability-tests.js +727 -0
- package/dist/scripts/async-collect.js +50 -11
- package/dist/scripts/benchmark-environment-bridge-e2e.js +741 -0
- package/dist/scripts/benchmark-environment-bridge-tests.js +1452 -0
- package/dist/scripts/booking-copilot-availability-ledger-binding-tests.js +126 -0
- package/dist/scripts/booking-copilot-availability-policy-tests.js +265 -0
- package/dist/scripts/booking-copilot-bin-proof-tests.js +66 -0
- package/dist/scripts/booking-copilot-cleanup-proof-helper.js +76 -0
- package/dist/scripts/booking-copilot-crossrepo-fixture-server.js +144 -0
- package/dist/scripts/booking-copilot-dsh-core-proof-tests.js +424 -0
- package/dist/scripts/booking-copilot-dsh-planner-proof-tests.js +2839 -0
- package/dist/scripts/booking-copilot-dsh-plugin-proof-tests.js +309 -0
- package/dist/scripts/booking-copilot-dsh-readiness-proof.js +238 -0
- package/dist/scripts/booking-copilot-dsh-warmer-proof.js +123 -0
- package/dist/scripts/booking-copilot-event-sequence-concurrency-proof-tests.js +156 -0
- package/dist/scripts/booking-copilot-gap-code-contract-proof-tests.js +70 -0
- package/dist/scripts/booking-copilot-intent-proof-tests.js +422 -0
- package/dist/scripts/booking-copilot-operation-ledger-concurrency-proof-tests.js +184 -0
- package/dist/scripts/booking-copilot-planner-live-probe.js +95 -0
- package/dist/scripts/booking-copilot-proof-runtime.js +42 -0
- package/dist/scripts/booking-copilot-receipt-ledger-concurrency-proof-tests.js +210 -0
- package/dist/scripts/booking-copilot-runtime-proof-tests.js +2349 -0
- package/dist/scripts/booking-copilot-server-proof-tests.js +784 -0
- package/dist/scripts/booking-copilot-startup-proof-tests.js +94 -0
- package/dist/scripts/booking-executor-tests.js +80 -0
- package/dist/scripts/booking-recovery-chain-tests.js +182 -0
- package/dist/scripts/booking-saga-tests.js +125 -0
- package/dist/scripts/booking-surface-contract-proof-tests.js +212 -0
- package/dist/scripts/bootstrap-tests.js +1479 -0
- package/dist/scripts/bridge-events-tests.js +239 -0
- package/dist/scripts/bridge-ledger-tests.js +428 -0
- package/dist/scripts/build-changelog.js +238 -0
- package/dist/scripts/build-metrics-report.js +331 -0
- package/dist/scripts/changelog-tests.js +118 -0
- package/dist/scripts/channel-probe-tests.js +103 -0
- package/dist/scripts/channel-probe.js +169 -0
- package/dist/scripts/channel-registry-tests.js +208 -0
- package/dist/scripts/companion-tests.js +25 -70
- package/dist/scripts/dida-cookie-probe.js +87 -0
- package/dist/scripts/dida-runner-stop-tests.js +311 -0
- package/dist/scripts/dida-sw-probe.js +114 -0
- package/dist/scripts/diff-test.js +17 -12
- package/dist/scripts/doctor-tests.js +564 -0
- package/dist/scripts/dsh-artifact-e2e.js +279 -0
- package/dist/scripts/dsh-artifact-web-e2e.js +675 -0
- package/dist/scripts/dsh-http-proxy-sse-proof.js +90 -0
- package/dist/scripts/dsh-runtime-closure-tests.js +182 -0
- package/dist/scripts/dsh-runtime-closure.js +162 -0
- package/dist/scripts/dsh-session-v3-migration-proof.js +109 -0
- package/dist/scripts/dsh-subprocess-local-proof.js +150 -0
- package/dist/scripts/dsh-target-closure-proof.js +178 -0
- package/dist/scripts/effect-tests.js +539 -0
- package/dist/scripts/engine-run.js +1 -3
- package/dist/scripts/engine-tests.js +16 -10
- package/dist/scripts/evaluation-cadence-tests.js +174 -0
- package/dist/scripts/evaluation-contract-tests.js +268 -0
- package/dist/scripts/extension-distribution-cli.js +39 -0
- package/dist/scripts/extension-distribution-tests.js +443 -0
- package/dist/scripts/extension-tests.js +988 -0
- package/dist/scripts/external-event-tests.js +350 -0
- package/dist/scripts/fact-gate-tests.js +869 -0
- package/dist/scripts/fixtures/extension-bridge-unref-child.mjs +21 -0
- package/dist/scripts/flight-hotel-anchor-363-registered-e2e.js +169 -0
- package/dist/scripts/flight-malformed-tests.js +159 -0
- package/dist/scripts/flyai-setup-tests.js +228 -0
- package/dist/scripts/flyai-setup-tool-tests.js +54 -0
- package/dist/scripts/flyai-tests.js +692 -0
- package/dist/scripts/flyai-tool-registration-contract-tests.js +91 -0
- package/dist/scripts/fx-contract-tests.js +201 -0
- package/dist/scripts/g5-guard-tests.js +131 -0
- package/dist/scripts/g5-guard.js +189 -0
- package/dist/scripts/gen-lunar-anchors.js +106 -0
- package/dist/scripts/geo-atlas-tests.js +283 -0
- package/dist/scripts/gotry-backend-kernel-tests.js +206 -0
- package/dist/scripts/gotry-try-demo-tests.js +79 -0
- package/dist/scripts/gotry-try-demo.js +49 -0
- package/dist/scripts/ground-transfer-tests.js +956 -0
- package/dist/scripts/hbcli-e2e-tests.js +159 -0
- package/dist/scripts/hbcli-live-optin-tests.js +96 -0
- package/dist/scripts/hbcli-release-contract-tests.js +122 -0
- package/dist/scripts/hbcli-tests.js +121 -69
- package/dist/scripts/health-watch-cli.js +73 -0
- package/dist/scripts/hotel-date-gate-tests.js +496 -0
- package/dist/scripts/hotelbyte-reconcile-tests.js +141 -0
- package/dist/scripts/hotelbyte-spawn-e2e-tests.js +373 -0
- package/dist/scripts/i18n-tests.js +41 -0
- package/dist/scripts/incident-tests.js +281 -87
- package/dist/scripts/issue-194-job-id-guard-tests.js +106 -0
- package/dist/scripts/issue-233-cancel-refund-commission-tests.js +392 -0
- package/dist/scripts/issue-271-liveness-tests.js +569 -0
- package/dist/scripts/issue-289-model-retry-real-tests.js +296 -0
- package/dist/scripts/issue-289-model-retry-tests.js +441 -0
- package/dist/scripts/issue-289-web-retry-e2e.js +630 -0
- package/dist/scripts/issue-338-home-city-e2e.js +577 -0
- package/dist/scripts/issue343-real-entry-e2e.js +160 -0
- package/dist/scripts/issue436-persisted-routing-e2e.js +247 -0
- package/dist/scripts/itinerary-artifact-tests.js +368 -0
- package/dist/scripts/itinerary-deck-artifact-tests.js +416 -0
- package/dist/scripts/itinerary-deck-export-tests.js +552 -0
- package/dist/scripts/itinerary-deck-tests.js +435 -0
- package/dist/scripts/itinerary-html-tests.js +426 -0
- package/dist/scripts/journey-tests.js +22 -27
- package/dist/scripts/kernel-manifest-evidence.js +109 -0
- package/dist/scripts/kernel-manifest-gate.js +126 -0
- package/dist/scripts/kernel-manifest-tests.js +212 -0
- package/dist/scripts/kernel-manifest-trace-entry.js +7 -0
- package/dist/scripts/kernel-manifest-trace-hook.mjs +28 -0
- package/dist/scripts/kernel-manifest.js +369 -0
- package/dist/scripts/lavish-local-tests.js +1226 -0
- package/dist/scripts/lavish-product-tools-tests.js +537 -0
- package/dist/scripts/ledger-repair-apply-tests.js +316 -0
- package/dist/scripts/ledger-repair-plan-tests.js +375 -0
- package/dist/scripts/ledger-tests.js +382 -246
- package/dist/scripts/ledger-workflow-crash.js +10 -20
- package/dist/scripts/managed-dsh-cleanup-diagnostic-proof.js +184 -0
- package/dist/scripts/managed-dsh-close-failure-proof.js +172 -0
- package/dist/scripts/managed-dsh-run-port-proof.js +153 -0
- package/dist/scripts/managed-dsh-terminal-proof.js +252 -0
- package/dist/scripts/map-tools-vendor-package-proof.js +365 -0
- package/dist/scripts/memory-capture-tests.js +242 -61
- package/dist/scripts/memory-decay-tests.js +18 -52
- package/dist/scripts/memory-lifecycle-tests.js +657 -0
- package/dist/scripts/memory-lifecycle.js +196 -0
- package/dist/scripts/memory-metrics.js +24 -12
- package/dist/scripts/memory-value-report.js +631 -0
- package/dist/scripts/memory-value-tests.js +328 -0
- package/dist/scripts/metrics-report-tests.js +151 -0
- package/dist/scripts/model-override-e2e.js +137 -0
- package/dist/scripts/nightly-evidence-tests.js +161 -0
- package/dist/scripts/nightly-evidence.js +286 -0
- package/dist/scripts/nudge-digest.js +39 -28
- package/dist/scripts/observability-tests.js +381 -0
- package/dist/scripts/onboarding-tests.js +161 -0
- package/dist/scripts/opensky-check.js +18 -13
- package/dist/scripts/opensky-tests.js +28 -28
- package/dist/scripts/persona-surface-guard-tests.js +49 -0
- package/dist/scripts/pnpm-dsh-closure-proof.js +17 -0
- package/dist/scripts/policy-anchor-359-registered-e2e.js +214 -0
- package/dist/scripts/price-drift-tests.js +340 -0
- package/dist/scripts/price-drift-watch.js +447 -0
- package/dist/scripts/probe-poi-tests.js +53 -45
- package/dist/scripts/product-metrics.js +483 -0
- package/dist/scripts/publish-preverify.js +110 -0
- package/dist/scripts/realtime-pricing-tests.js +76 -0
- package/dist/scripts/recall-tests.js +513 -0
- package/dist/scripts/replay-async.js +20 -18
- package/dist/scripts/replay-real.js +18 -18
- package/dist/scripts/replay.js +52 -82
- package/dist/scripts/session-attach-diagnose.js +20 -20
- package/dist/scripts/session-attach-poc.js +34 -37
- package/dist/scripts/session-benchmark.js +180 -0
- package/dist/scripts/session-dida-live-e2e.js +199 -0
- package/dist/scripts/session-extract-tests.js +14 -35
- package/dist/scripts/session-link-tests.js +478 -0
- package/dist/scripts/session-login.js +27 -46
- package/dist/scripts/session-tests.js +796 -96
- package/dist/scripts/session-zones-tests.js +358 -0
- package/dist/scripts/sf-live-benchmark.js +367 -0
- package/dist/scripts/sf-live-challenge-stop-tests.js +453 -0
- package/dist/scripts/sf-live-cli-tests.js +92 -0
- package/dist/scripts/sf-live-options.js +46 -0
- package/dist/scripts/sf-manifest-tests.js +30 -0
- package/dist/scripts/sf-manifest.js +33 -0
- package/dist/scripts/sf-soft-score-tests.js +67 -0
- package/dist/scripts/sf-summary-tests.js +324 -0
- package/dist/scripts/sf-summary.js +525 -0
- package/dist/scripts/share-tests.js +432 -0
- package/dist/scripts/skeleton-check.js +16 -14
- package/dist/scripts/skeleton-integration-test.js +28 -11
- package/dist/scripts/skills-contract-tests.js +51 -46
- package/dist/scripts/smoke-session-gate-tests.js +21 -0
- package/dist/scripts/smoke.js +690 -246
- package/dist/scripts/spawn-bounded-abort-tests.js +241 -0
- package/dist/scripts/sponsor-reuse-tests.js +262 -0
- package/dist/scripts/state-cli-tests.js +226 -101
- package/dist/scripts/state-cli.js +550 -199
- package/dist/scripts/state-repair-cli.js +66 -0
- package/dist/scripts/state-repair-tests.js +140 -0
- package/dist/scripts/static-golden-tests.js +165 -0
- package/dist/scripts/time-eval-tests.js +210 -192
- package/dist/scripts/travel-timeline-tests.js +29 -93
- package/dist/scripts/turn-handoff-collect-tests.js +169 -0
- package/dist/scripts/turn-handoff-collect.js +161 -0
- package/dist/scripts/turn-policy-tests.js +55 -0
- package/dist/scripts/typed-contract-canary.js +176 -0
- package/dist/scripts/tz-resolver-sanity.js +50 -0
- package/dist/scripts/tz-resolver-tests.js +584 -0
- package/dist/scripts/unified-tests.js +23 -19
- package/dist/scripts/visa-policy-tests.js +62 -0
- package/dist/scripts/weather-tests.js +276 -41
- package/dist/scripts/wish-channel-gate-tests.js +54 -0
- package/dist/scripts/write-gate-tests.js +522 -0
- package/dist/scripts/z3-lifecycle-fault-tests.js +188 -0
- package/dist/scripts/z3-lifecycle-tests.js +170 -0
- package/dist/scripts/z3-race-repeat-tests.js +39 -0
- package/dist/scripts/z3-race-tests.js +41 -0
- package/dist/src/artifact-gate.js +829 -0
- package/dist/src/backend/kernel.js +91 -0
- package/dist/src/backend/modules/booking-copilot.js +92 -0
- package/dist/src/backend/modules/booking-executor.js +124 -0
- package/dist/src/backend/modules/session-search.js +551 -0
- package/dist/src/benchmark-agent-conformance.js +578 -0
- package/dist/src/benchmark-environment-bridge.js +515 -0
- package/dist/src/benchmark-headless-child-diagnostics.js +166 -0
- package/dist/src/benchmark-tool-isolation.js +151 -0
- package/dist/src/bookable-facts.js +533 -0
- package/dist/src/booking-saga.js +97 -0
- package/dist/src/booking-surface/availability-policy.js +697 -0
- package/dist/src/booking-surface/booking-intent.js +43 -0
- package/dist/src/booking-surface/cancel-refund-commission.js +379 -0
- package/dist/src/booking-surface/canonical-schema.js +116 -0
- package/dist/src/booking-surface/contracts.js +75 -0
- package/dist/src/booking-surface/dsh-planner.js +1854 -0
- package/dist/src/booking-surface/dsh-plugin.js +378 -0
- package/dist/src/booking-surface/dsh-worker.js +98 -0
- package/dist/src/booking-surface/error-codes.js +231 -0
- package/dist/src/booking-surface/index.js +9 -0
- package/dist/src/booking-surface/managed-dsh-cleanup-diagnostic.js +97 -0
- package/dist/src/booking-surface/managed-dsh-run-port.js +244 -0
- package/dist/src/booking-surface/profile.js +24 -0
- package/dist/src/booking-surface/recovery-chain.js +367 -0
- package/dist/src/booking-surface/runtime.js +1968 -0
- package/dist/src/booking-surface/server.js +674 -0
- package/dist/src/booking-surface/startup.js +168 -0
- package/dist/src/booking-surface/validation.js +261 -0
- package/dist/src/bridge.js +20 -13
- package/dist/src/companions.js +48 -74
- package/dist/src/contracts.js +21 -43
- package/dist/src/dsh-llm.js +97 -111
- package/dist/src/engine.js +276 -193
- package/dist/src/evaluation-cadence.js +97 -0
- package/dist/src/evaluation-contracts.js +283 -0
- package/dist/src/flight-pack-adapter.js +54 -0
- package/dist/src/flight-pack-contract.js +2 -0
- package/dist/src/flyai-setup-tool.js +70 -0
- package/dist/src/gotry-backend.js +125 -0
- package/dist/src/hotel-date-gate.js +118 -0
- package/dist/src/i18n.js +88 -0
- package/dist/src/index.js +2227 -882
- package/dist/src/itinerary-deck.js +139 -0
- package/dist/src/itinerary-doc-shared.js +661 -0
- package/dist/src/itinerary-html.js +131 -0
- package/dist/src/journey.js +155 -108
- package/dist/src/lavish-tools.js +400 -0
- package/dist/src/ledger-repair-apply.js +538 -0
- package/dist/src/ledger-repair-plan.js +463 -0
- package/dist/src/loop.js +319 -160
- package/dist/src/memory-capture.js +180 -32
- package/dist/src/memory-decay.js +30 -14
- package/dist/src/memory-lifecycle.js +1310 -0
- package/dist/src/memory-utility.js +27 -40
- package/dist/src/mock-llm.js +36 -61
- package/dist/src/model.js +81 -36
- package/dist/src/realtime-pricing.js +103 -0
- package/dist/src/recall/card.js +74 -0
- package/dist/src/recall/evaluator.js +140 -0
- package/dist/src/recall/integration.js +17 -0
- package/dist/src/recall/tick.js +166 -0
- package/dist/src/session-link/plan-it-action.js +48 -0
- package/dist/src/session-link/session-link.js +248 -0
- package/dist/src/session-zones.js +507 -0
- package/dist/src/share/adapters.js +51 -0
- package/dist/src/share/share-consent.js +76 -0
- package/dist/src/share/share-deck.js +58 -0
- package/dist/src/share/share-token.js +146 -0
- package/dist/src/slot-spec.js +84 -106
- package/dist/src/state-ledger.js +435 -516
- package/dist/src/state-repair.js +299 -0
- package/dist/src/subagent-job-id-guard.js +58 -0
- package/dist/src/time-anchor.js +231 -33
- package/dist/src/tool-packet.js +20 -8
- package/dist/src/travel-slots.js +58 -35
- package/dist/src/travel-timeline.js +44 -63
- package/dist/src/turn-deadline.js +287 -0
- package/dist/src/turn-policy.js +118 -0
- package/dist/src/tz-resolver.js +143 -0
- package/dist/src/unified.js +535 -359
- package/dist/src/wish-pool.js +42 -12
- package/dist/src/write-gate.js +495 -0
- package/dist/src/z3-shared.js +284 -0
- package/extension/README.md +21 -0
- package/extension/README.zh-CN.md +21 -0
- package/extension/background.js +463 -0
- package/extension/content-bridge.js +270 -0
- package/extension/content-main.js +111 -0
- package/extension/manifest.json +60 -0
- package/package.json +407 -14
- package/schemas/booking.intent.schema.json +193 -0
- package/schemas/booking.surface.schema.json +2622 -0
- package/ts/capabilities/agent-reach-deep.ts +114 -0
- package/ts/capabilities/agent-reach.ts +198 -0
- package/ts/capabilities/anything.ts +255 -0
- package/ts/capabilities/artifacts.ts +428 -0
- package/ts/capabilities/fact-log.ts +54 -0
- package/ts/capabilities/flyai-config.ts +388 -0
- package/ts/capabilities/flyai.ts +1274 -0
- package/ts/capabilities/hbcli.ts +253 -71
- package/ts/capabilities/incident-log.ts +88 -59
- package/ts/capabilities/itinerary-artifact.ts +214 -0
- package/ts/capabilities/itinerary-deck-artifact.ts +218 -0
- package/ts/capabilities/itinerary-deck-export.ts +378 -0
- package/ts/capabilities/opensky.ts +121 -0
- package/ts/capabilities/session/action-cache.ts +148 -0
- package/ts/capabilities/session/adapters/ctrip-flight.ts +181 -0
- package/ts/capabilities/session/adapters/ctrip-hotel.ts +238 -0
- package/ts/capabilities/session/adapters/dida-portal.ts +338 -0
- package/ts/capabilities/session/adapters/meituan-local.ts +70 -0
- package/ts/capabilities/session/adapters/rail-12306.ts +392 -0
- package/ts/capabilities/session/benchmark.ts +276 -0
- package/ts/capabilities/session/bridge-ledger.ts +333 -0
- package/ts/capabilities/session/extension-bridge.ts +794 -0
- package/ts/capabilities/session/extension-channel.ts +144 -0
- package/ts/capabilities/session/extension-distribution.ts +266 -0
- package/ts/capabilities/session/extract.ts +54 -0
- package/ts/capabilities/session/golden-score.ts +139 -0
- package/ts/capabilities/session/health-watch.ts +264 -0
- package/ts/capabilities/session/read-guard.ts +141 -0
- package/ts/capabilities/session/static-flight-golden.ts +209 -0
- package/ts/capabilities/session/transport.ts +146 -0
- package/ts/capabilities/session/wizard.ts +140 -0
- package/ts/capabilities/session-consent.ts +211 -0
- package/ts/capabilities/session-login.ts +208 -0
- package/ts/capabilities/session-search.ts +893 -0
- package/ts/capabilities/weather.ts +330 -0
- package/ts/dsh-runtime/vendor/README.md +68 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/LICENSE +21 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/README.en.md +405 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/README.md +404 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/client/client.js +1584 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/cordis.patch.yml +5 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/icon.svg +5 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/clients/amap.js +595 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/clients/nominatim.js +63 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/clients/osrm.js +58 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/clients/photon.js +55 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/config-file.js +87 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/config-route.js +131 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/config.js +16 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/geo.js +232 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/index.js +120 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/settings-ns.js +40 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/staticmap-route.js +115 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/tools/geocode.js +127 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/tools/poi.js +84 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/tools/routes.js +267 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/clients/amap.d.ts +90 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/clients/nominatim.d.ts +17 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/clients/osrm.d.ts +15 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/clients/photon.d.ts +22 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/config-file.d.ts +33 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/config-route.d.ts +23 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/config.d.ts +23 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/geo.d.ts +61 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/index.d.ts +18 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/settings-ns.d.ts +14 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/staticmap-route.d.ts +31 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/tools/geocode.d.ts +11 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/tools/poi.d.ts +9 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/tools/routes.d.ts +75 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types/types.d.ts +68 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/lib/types.js +16 -0
- package/ts/dsh-runtime/vendor/dsh-map-tools/package.json +97 -0
- package/ts/package.json +293 -3
- package/ts/scripts/async-collect.ts +91 -0
- package/ts/scripts/map-tools-vendor-package-proof.ts +404 -0
- package/ts/scripts/skeleton-check.ts +1 -1
- package/ts/scripts/skeleton-integration-test.ts +23 -1
- package/ts/scripts/state-cli.ts +568 -0
- package/ts/scripts/turn-handoff-collect.ts +178 -0
- package/ts/src/artifact-gate.ts +991 -0
- package/ts/src/benchmark-agent-conformance.ts +619 -0
- package/ts/src/benchmark-environment-bridge.ts +538 -0
- package/ts/src/benchmark-headless-child-diagnostics.ts +184 -0
- package/ts/src/benchmark-tool-isolation.ts +166 -0
- package/ts/src/bookable-facts.ts +837 -0
- package/ts/src/booking-saga.ts +133 -0
- package/ts/src/booking-surface/availability-policy.ts +522 -0
- package/ts/src/booking-surface/booking-intent.ts +86 -0
- package/ts/src/booking-surface/cancel-refund-commission.ts +488 -0
- package/ts/src/booking-surface/canonical-schema.js +116 -0
- package/ts/src/booking-surface/contracts.ts +475 -0
- package/ts/src/booking-surface/dsh-planner.ts +1949 -0
- package/ts/src/booking-surface/dsh-plugin.js +378 -0
- package/ts/src/booking-surface/dsh-worker.ts +110 -0
- package/ts/src/booking-surface/error-codes.ts +241 -0
- package/ts/src/booking-surface/index.ts +9 -0
- package/ts/src/booking-surface/managed-dsh-cleanup-diagnostic.ts +151 -0
- package/ts/src/booking-surface/managed-dsh-run-port.ts +273 -0
- package/ts/src/booking-surface/profile.ts +42 -0
- package/ts/src/booking-surface/recovery-chain.ts +409 -0
- package/ts/src/booking-surface/runtime.ts +1793 -0
- package/ts/src/booking-surface/server.ts +733 -0
- package/ts/src/booking-surface/startup.ts +201 -0
- package/ts/src/booking-surface/validation.ts +217 -0
- package/ts/src/companions.ts +113 -0
- package/ts/src/contracts.ts +13 -3
- package/ts/src/dsh-llm.ts +44 -11
- package/ts/src/flyai-setup-tool.ts +77 -0
- package/ts/src/index.ts +1948 -198
- package/ts/src/itinerary-deck.ts +189 -0
- package/ts/src/itinerary-doc-shared.ts +741 -0
- package/ts/src/itinerary-html.ts +171 -0
- package/ts/src/loop.ts +223 -25
- package/ts/src/memory-capture.ts +283 -0
- package/ts/src/memory-decay.ts +55 -0
- package/ts/src/memory-utility.ts +70 -0
- package/ts/src/mock-llm.ts +4 -8
- package/ts/src/model.ts +88 -2
- package/ts/src/recall/card.ts +106 -0
- package/ts/src/recall/evaluator.ts +170 -0
- package/ts/src/recall/integration.ts +35 -0
- package/ts/src/recall/tick.ts +213 -0
- package/ts/src/session-link/plan-it-action.ts +78 -0
- package/ts/src/session-link/session-link.ts +275 -0
- package/ts/src/share/adapters.ts +93 -0
- package/ts/src/share/share-consent.ts +105 -0
- package/ts/src/share/share-deck.ts +85 -0
- package/ts/src/share/share-token.ts +166 -0
- package/ts/src/slot-spec.ts +172 -0
- package/ts/src/state-ledger.ts +912 -0
- package/ts/src/subagent-job-id-guard.ts +72 -0
- package/ts/src/time-anchor.ts +338 -0
- package/ts/src/tool-packet.ts +32 -0
- package/ts/src/travel-slots.ts +219 -0
- package/ts/src/travel-timeline.ts +83 -0
- package/ts/src/turn-deadline.ts +366 -0
- package/ts/src/turn-policy.ts +154 -0
- package/ts/src/unified.ts +354 -88
- package/ts/src/wish-pool.ts +79 -0
- package/dist/scripts/session-attach-wait.js +0 -41
|
@@ -0,0 +1,369 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* GoTry 内核清单冻结 + 运行模块证据(issue #234;M5 备产系列,父单 #136)。
|
|
3
|
+
*
|
|
4
|
+
* 把复用矩阵纪律「哪些模块属于 GoTry 内核(不允许被替换/绕过)」机械化为可校验清单:
|
|
5
|
+
* 1. 冻结清单 ts/data/kernel-manifest.json(gotry_kernel_manifest_v1):预先冻结
|
|
6
|
+
* 内核文件集合 + 文件 SHA256 + 每项依据,绑定 baseSHA——零 diff 证明 = 哈希相等,
|
|
7
|
+
* 不存在「事后删文件制造零 diff」的空间(删文件即 kernel-file-missing 红)。
|
|
8
|
+
* 2. 运行模块证据(gotry_kernel_evidence_v1):对真实产品运行面(ts/src/index.ts
|
|
9
|
+
* dsh 插件入口)做真实运行 import trace(node:module registerHooks 同步钩子,
|
|
10
|
+
* 子进程离线),断言内核清单全部被运行加载;再对照功能路径覆盖(同引擎/账本/闸
|
|
11
|
+
* 路径的 run-all 套件静态 import 闭包)。仅 LOC/字符串扫描不构成复用证明。
|
|
12
|
+
* 3. 证据快照哈希绑定(manifestHash + evidenceHash),离线可复跑、可审计。
|
|
13
|
+
*
|
|
14
|
+
* 边界(诚实声明,对齐 issue #234 与 #137 门注):本面只输出工程复用证据,
|
|
15
|
+
* 不冒充 traveler 效果或 M6 试点签约;精确运行模块证据成为实施门以 #136 M5 Exit
|
|
16
|
+
* 与创始人 P6 批准记录在 #137 为前提——本面是 pre-entry 设计 + 确定性 fixture。
|
|
17
|
+
*
|
|
18
|
+
* 用法:
|
|
19
|
+
* npx tsx scripts/kernel-manifest-evidence.ts 生成证据快照(--out 或 stdout)
|
|
20
|
+
* npx tsx scripts/kernel-manifest-gate.ts 机械闸(默认 HEAD 全量校验)
|
|
21
|
+
* npx tsx scripts/kernel-manifest-tests.ts 反证自测(全离线)
|
|
22
|
+
*/
|
|
23
|
+
import { spawnSync } from 'node:child_process';
|
|
24
|
+
import { createHash } from 'node:crypto';
|
|
25
|
+
import { existsSync, mkdtempSync, readFileSync, rmSync } from 'node:fs';
|
|
26
|
+
import { tmpdir } from 'node:os';
|
|
27
|
+
import { dirname, isAbsolute, join, relative, resolve, sep } from 'node:path';
|
|
28
|
+
import { fileURLToPath } from 'node:url';
|
|
29
|
+
export const MANIFEST_SCHEMA_VERSION = 'gotry_kernel_manifest_v1';
|
|
30
|
+
export const EVIDENCE_SCHEMA_VERSION = 'gotry_kernel_evidence_v1';
|
|
31
|
+
export const MANIFEST_REL = 'ts/data/kernel-manifest.json';
|
|
32
|
+
export const RUNTIME_ENTRY_REL = 'ts/src/index.ts';
|
|
33
|
+
export const TRACE_ENTRY_REL = 'ts/scripts/kernel-manifest-trace-entry.ts';
|
|
34
|
+
export const TRACE_HOOK_REL = 'ts/scripts/kernel-manifest-trace-hook.mjs';
|
|
35
|
+
/** registerHooks 需 Node ≥ 22.15(同步、主线程);低于此版本闸无法运行(exit 2)。 */
|
|
36
|
+
export const MIN_NODE_FOR_REGISTER_HOOKS = [22, 15, 0];
|
|
37
|
+
export const KERNEL_GROUPS = ['engine', 'ledger', 'gate'];
|
|
38
|
+
function toResult(findings) {
|
|
39
|
+
return { ok: findings.length === 0, findings };
|
|
40
|
+
}
|
|
41
|
+
/** 规范化 JSON:键递归排序,消除键序对哈希的扰动(哈希绑定的基础)。 */
|
|
42
|
+
export function canonicalJson(value) {
|
|
43
|
+
if (value === null || typeof value !== 'object')
|
|
44
|
+
return JSON.stringify(value) ?? 'null';
|
|
45
|
+
if (Array.isArray(value))
|
|
46
|
+
return `[${value.map((v) => canonicalJson(v)).join(',')}]`;
|
|
47
|
+
const keys = Object.keys(value).sort();
|
|
48
|
+
const body = keys
|
|
49
|
+
.map((k) => `${JSON.stringify(k)}:${canonicalJson(value[k])}`)
|
|
50
|
+
.join(',');
|
|
51
|
+
return `{${body}}`;
|
|
52
|
+
}
|
|
53
|
+
export function sha256Hex(text) {
|
|
54
|
+
return createHash('sha256').update(text, 'utf8').digest('hex');
|
|
55
|
+
}
|
|
56
|
+
/** 冻结清单的哈希绑定:清单内容(规范化)的 SHA256。 */
|
|
57
|
+
export function manifestHash(manifest) {
|
|
58
|
+
return sha256Hex(canonicalJson(manifest));
|
|
59
|
+
}
|
|
60
|
+
/** 证据快照的哈希绑定:去掉 evidenceHash 字段后(规范化)的 SHA256。 */
|
|
61
|
+
export function evidenceHash(evidence) {
|
|
62
|
+
const { evidenceHash: _ignored, ...rest } = evidence;
|
|
63
|
+
return sha256Hex(canonicalJson(rest));
|
|
64
|
+
}
|
|
65
|
+
export function repoRelative(repoRoot, absPath) {
|
|
66
|
+
return relative(repoRoot, absPath).split(sep).join('/');
|
|
67
|
+
}
|
|
68
|
+
export function defaultRepoRoot() {
|
|
69
|
+
// 本文件位于 <repo>/ts/scripts/,仓库根在其上两级。
|
|
70
|
+
return resolve(dirname(fileURLToPath(import.meta.url)), '..', '..');
|
|
71
|
+
}
|
|
72
|
+
export function loadKernelManifest(repoRoot, manifestRel = MANIFEST_REL) {
|
|
73
|
+
const raw = JSON.parse(readFileSync(join(repoRoot, manifestRel), 'utf8'));
|
|
74
|
+
return raw;
|
|
75
|
+
}
|
|
76
|
+
const SHA256_RE = /^[0-9a-f]{64}$/;
|
|
77
|
+
const GIT_SHA_RE = /^[0-9a-f]{40}$/;
|
|
78
|
+
/** 内核条目只允许产品运行面 ts/src/<module>.ts(宁窄勿宽,拒绝目录/逃逸/杂类)。 */
|
|
79
|
+
const KERNEL_PATH_RE = /^ts\/src\/[A-Za-z0-9_-]+\.ts$/;
|
|
80
|
+
/** 废弃兼容层永远不得冒充内核(AGENTS.md:engine.ts / journey.ts deprecated)。 */
|
|
81
|
+
export const FORBIDDEN_KERNEL_PATHS = new Set(['ts/src/engine.ts', 'ts/src/journey.ts']);
|
|
82
|
+
/** 计算文件当前 SHA256;文件缺失返回 null。 */
|
|
83
|
+
export function fileSha256(repoRoot, relPath) {
|
|
84
|
+
const abs = join(repoRoot, relPath);
|
|
85
|
+
if (!existsSync(abs))
|
|
86
|
+
return null;
|
|
87
|
+
return sha256Hex(readFileSync(abs, 'utf8'));
|
|
88
|
+
}
|
|
89
|
+
/**
|
|
90
|
+
* 静态 import 闭包:从 entryRel 出发,沿相对 .ts import(transitive)收集可达文件
|
|
91
|
+
* (仓库相对路径)。仓库约定 import 带 .ts 扩展名;覆盖 `from '...'` 与 `import('...')`。
|
|
92
|
+
*/
|
|
93
|
+
export function importClosure(repoRoot, entryRel) {
|
|
94
|
+
const seen = new Set();
|
|
95
|
+
const queue = [entryRel];
|
|
96
|
+
const FROM_RE = /from\s+'([^']+)'/g;
|
|
97
|
+
const DYNAMIC_RE = /import\('([^']+)'\)/g;
|
|
98
|
+
while (queue.length > 0) {
|
|
99
|
+
const current = queue.pop();
|
|
100
|
+
if (seen.has(current))
|
|
101
|
+
continue;
|
|
102
|
+
seen.add(current);
|
|
103
|
+
const abs = join(repoRoot, current);
|
|
104
|
+
if (!existsSync(abs))
|
|
105
|
+
continue;
|
|
106
|
+
const content = readFileSync(abs, 'utf8');
|
|
107
|
+
const specifiers = new Set();
|
|
108
|
+
for (const re of [FROM_RE, DYNAMIC_RE]) {
|
|
109
|
+
re.lastIndex = 0;
|
|
110
|
+
let m;
|
|
111
|
+
while ((m = re.exec(content)) !== null)
|
|
112
|
+
specifiers.add(m[1]);
|
|
113
|
+
}
|
|
114
|
+
for (const spec of specifiers) {
|
|
115
|
+
if (!spec.startsWith('.') || !spec.endsWith('.ts'))
|
|
116
|
+
continue;
|
|
117
|
+
const target = repoRelative(repoRoot, resolve(dirname(abs), spec));
|
|
118
|
+
if (!target.startsWith('..'))
|
|
119
|
+
queue.push(target);
|
|
120
|
+
}
|
|
121
|
+
}
|
|
122
|
+
return seen;
|
|
123
|
+
}
|
|
124
|
+
/** 当前 git HEAD(40 hex);非 git 环境/失败返回 null。 */
|
|
125
|
+
export function currentHeadSha(repoRoot) {
|
|
126
|
+
const result = spawnSync('git', ['rev-parse', 'HEAD'], { cwd: repoRoot, encoding: 'utf8' });
|
|
127
|
+
if (result.error || result.status !== 0)
|
|
128
|
+
return null;
|
|
129
|
+
const sha = result.stdout.trim();
|
|
130
|
+
return GIT_SHA_RE.test(sha) ? sha : null;
|
|
131
|
+
}
|
|
132
|
+
function nodeVersionTuple() {
|
|
133
|
+
return process.versions.node.split('.').map((n) => Number(n));
|
|
134
|
+
}
|
|
135
|
+
/** 运行环境是否具备 registerHooks(同步钩子)能力。 */
|
|
136
|
+
export function nodeSupportsRegisterHooks() {
|
|
137
|
+
const [maj, min, patch] = nodeVersionTuple();
|
|
138
|
+
const [rMaj, rMin, rPatch] = MIN_NODE_FOR_REGISTER_HOOKS;
|
|
139
|
+
return maj > rMaj || (maj === rMaj && (min > rMin || (min === rMin && patch >= rPatch)));
|
|
140
|
+
}
|
|
141
|
+
/**
|
|
142
|
+
* 真实运行 import trace:子进程里对真实产品运行面(ts/src/index.ts)执行 import,
|
|
143
|
+
* 用 node:module registerHooks 同步 load 钩子记录全部实例化模块;返回仓库内
|
|
144
|
+
* ts/ 面的相对路径(排序)。import-only,零状态写入,全离线。
|
|
145
|
+
*/
|
|
146
|
+
export function runRuntimeTrace(repoRoot) {
|
|
147
|
+
const nodeVersion = process.versions.node;
|
|
148
|
+
if (!nodeSupportsRegisterHooks()) {
|
|
149
|
+
return {
|
|
150
|
+
ok: false,
|
|
151
|
+
error: `Node ${nodeVersion} 缺少 node:module registerHooks(需 ≥ ${MIN_NODE_FOR_REGISTER_HOOKS.join('.')});无法产生运行模块证据`,
|
|
152
|
+
nodeVersion,
|
|
153
|
+
moduleCount: 0,
|
|
154
|
+
repoModuleCount: 0,
|
|
155
|
+
loadedRepoModules: [],
|
|
156
|
+
};
|
|
157
|
+
}
|
|
158
|
+
const tsDir = join(repoRoot, 'ts');
|
|
159
|
+
const outDir = mkdtempSync(join(tmpdir(), 'gotry-kernel-trace-'));
|
|
160
|
+
const outPath = join(outDir, 'trace.json');
|
|
161
|
+
const result = spawnSync(process.execPath, ['--import', 'tsx/esm', '--import', join(tsDir, 'scripts', 'kernel-manifest-trace-hook.mjs'), join(tsDir, 'scripts', 'kernel-manifest-trace-entry.ts')], { cwd: tsDir, encoding: 'utf8', timeout: 180_000, env: { ...process.env, KR_TRACE_OUT: outPath } });
|
|
162
|
+
try {
|
|
163
|
+
if (result.error) {
|
|
164
|
+
return { ok: false, error: `trace 子进程失败:${result.error.message}`, nodeVersion, moduleCount: 0, repoModuleCount: 0, loadedRepoModules: [] };
|
|
165
|
+
}
|
|
166
|
+
if (result.status !== 0) {
|
|
167
|
+
return { ok: false, error: `trace 子进程非零退出 ${result.status}:${(result.stderr ?? '').trim().slice(0, 400)}`, nodeVersion, moduleCount: 0, repoModuleCount: 0, loadedRepoModules: [] };
|
|
168
|
+
}
|
|
169
|
+
if (!(readFileSync(outPath, 'utf8') ?? '').includes('loaded')) {
|
|
170
|
+
return { ok: false, error: 'trace 输出缺失或形状不符(load 钩子未记录任何模块)', nodeVersion, moduleCount: 0, repoModuleCount: 0, loadedRepoModules: [] };
|
|
171
|
+
}
|
|
172
|
+
const parsed = JSON.parse(readFileSync(outPath, 'utf8'));
|
|
173
|
+
const repoModules = parsed.loaded
|
|
174
|
+
.filter((url) => url.startsWith('file://'))
|
|
175
|
+
.map((url) => repoRelative(repoRoot, fileURLToPath(url)))
|
|
176
|
+
.filter((rel) => rel.startsWith('ts/') && !rel.includes('/node_modules/') && !rel.startsWith('ts/dsh-runtime/'))
|
|
177
|
+
.sort();
|
|
178
|
+
const seen = new Set(repoModules);
|
|
179
|
+
return { ok: true, nodeVersion, moduleCount: parsed.loaded.length, repoModuleCount: repoModules.length, loadedRepoModules: [...seen] };
|
|
180
|
+
}
|
|
181
|
+
finally {
|
|
182
|
+
try {
|
|
183
|
+
rmSync(outDir, { recursive: true, force: true });
|
|
184
|
+
}
|
|
185
|
+
catch { /* 临时目录清理失败不影响裁决 */ }
|
|
186
|
+
}
|
|
187
|
+
}
|
|
188
|
+
/** 冻结清单本身的结构纪律(schema/依据/路径形状),与其余校验分离以便单独反证。 */
|
|
189
|
+
export function validateManifestSchema(manifest) {
|
|
190
|
+
const findings = [];
|
|
191
|
+
if (manifest.schemaVersion !== MANIFEST_SCHEMA_VERSION) {
|
|
192
|
+
findings.push({ code: 'manifest-schema-version', detail: `schemaVersion 必须是 ${MANIFEST_SCHEMA_VERSION}(当前 ${manifest.schemaVersion})` });
|
|
193
|
+
}
|
|
194
|
+
if (!GIT_SHA_RE.test(manifest.baseSHA ?? '')) {
|
|
195
|
+
findings.push({ code: 'manifest-base-sha', detail: `baseSHA 必须是 40 位十六进制 git SHA(当前 ${JSON.stringify(manifest.baseSHA)})` });
|
|
196
|
+
}
|
|
197
|
+
if (!manifest.frozenAt || typeof manifest.frozenAt !== 'string') {
|
|
198
|
+
findings.push({ code: 'manifest-frozen-at', detail: 'frozenAt 必须非空(冻结日期)' });
|
|
199
|
+
}
|
|
200
|
+
const entries = manifest.entries ?? [];
|
|
201
|
+
if (entries.length === 0) {
|
|
202
|
+
findings.push({ code: 'manifest-empty', detail: '内核清单为空:宁窄勿宽,但不允许空清单冒充冻结面' });
|
|
203
|
+
}
|
|
204
|
+
const seen = new Set();
|
|
205
|
+
for (const entry of entries) {
|
|
206
|
+
if (!KERNEL_PATH_RE.test(entry.path ?? '') || entry.path.includes('..') || isAbsolute(entry.path)) {
|
|
207
|
+
findings.push({ code: 'manifest-path-shape', detail: `内核路径必须是 ts/src/<module>.ts 形状(当前 ${JSON.stringify(entry.path)})` });
|
|
208
|
+
}
|
|
209
|
+
if (FORBIDDEN_KERNEL_PATHS.has(entry.path ?? '')) {
|
|
210
|
+
findings.push({ code: 'manifest-forbidden-path', detail: `废弃兼容层不得进入内核清单:${entry.path}(AGENTS.md:engine.*/journey.* deprecated)` });
|
|
211
|
+
}
|
|
212
|
+
if (seen.has(entry.path))
|
|
213
|
+
findings.push({ code: 'manifest-duplicate-path', detail: `内核路径重复:${entry.path}` });
|
|
214
|
+
seen.add(entry.path);
|
|
215
|
+
if (!KERNEL_GROUPS.includes(entry.group)) {
|
|
216
|
+
findings.push({ code: 'manifest-group', detail: `group 必须属于 ${KERNEL_GROUPS.join('/')}(当前 ${JSON.stringify(entry.group)})` });
|
|
217
|
+
}
|
|
218
|
+
if (!SHA256_RE.test(entry.sha256 ?? '')) {
|
|
219
|
+
findings.push({ code: 'manifest-sha-shape', detail: `sha256 必须是 64 位十六进制:${entry.path}` });
|
|
220
|
+
}
|
|
221
|
+
if (!entry.rationale || entry.rationale.trim().length === 0) {
|
|
222
|
+
findings.push({ code: 'manifest-rationale-missing', detail: `内核条目缺 rationale(为什么属于内核):${entry.path}` });
|
|
223
|
+
}
|
|
224
|
+
if (!entry.basis || entry.basis.trim().length === 0) {
|
|
225
|
+
findings.push({ code: 'manifest-basis-missing', detail: `内核条目缺 basis(依据:architecture §/ADR/AGENTS 条款):${entry.path}` });
|
|
226
|
+
}
|
|
227
|
+
}
|
|
228
|
+
return toResult(findings);
|
|
229
|
+
}
|
|
230
|
+
/**
|
|
231
|
+
* 内核零 diff 校验:当前工作区每个内核文件存在且 SHA256 与冻结值一致。
|
|
232
|
+
* 改核心 → kernel-hash-mismatch;删文件 → kernel-file-missing(事后删文件
|
|
233
|
+
* 制造零 diff 的反证被此条封死)。
|
|
234
|
+
*/
|
|
235
|
+
export function validateKernelIntegrity(manifest, repoRoot, opts = {}) {
|
|
236
|
+
const findings = [];
|
|
237
|
+
for (const entry of manifest.entries ?? []) {
|
|
238
|
+
const current = fileSha256(repoRoot, entry.path);
|
|
239
|
+
if (current === null) {
|
|
240
|
+
findings.push({ code: 'kernel-file-missing', detail: `内核文件缺失(冻结面不允许事后删文件):${entry.path}` });
|
|
241
|
+
continue;
|
|
242
|
+
}
|
|
243
|
+
if (current !== entry.sha256) {
|
|
244
|
+
findings.push({ code: 'kernel-hash-mismatch', detail: `内核文件被改动:${entry.path}(frozen ${entry.sha256.slice(0, 12)}… → current ${current.slice(0, 12)}…)` });
|
|
245
|
+
}
|
|
246
|
+
}
|
|
247
|
+
if (opts.packagingCheck !== false) {
|
|
248
|
+
const rootPkgAbs = join(repoRoot, 'package.json');
|
|
249
|
+
if (existsSync(rootPkgAbs)) {
|
|
250
|
+
const pkg = JSON.parse(readFileSync(rootPkgAbs, 'utf8'));
|
|
251
|
+
if (Array.isArray(pkg.files) && pkg.files.length > 0) {
|
|
252
|
+
for (const entry of manifest.entries ?? []) {
|
|
253
|
+
const packaged = pkg.files.some((f) => f === entry.path || entry.path.startsWith(f.endsWith('/') ? f : `${f}/`));
|
|
254
|
+
if (!packaged) {
|
|
255
|
+
findings.push({ code: 'kernel-not-packaged', detail: `内核文件不在 npm 包 files 面内(发布产物无法内核一致):${entry.path}` });
|
|
256
|
+
}
|
|
257
|
+
}
|
|
258
|
+
}
|
|
259
|
+
}
|
|
260
|
+
}
|
|
261
|
+
return toResult(findings);
|
|
262
|
+
}
|
|
263
|
+
/**
|
|
264
|
+
* 功能路径覆盖:同引擎/账本/闸路径各由一个 run-all 套件承载,套件必须真实存在
|
|
265
|
+
* 且其静态 import 闭包包含所声称的内核模块(缺路径覆盖 → 红)。
|
|
266
|
+
*/
|
|
267
|
+
export function validateFunctionalCoverage(manifest, repoRoot) {
|
|
268
|
+
const findings = [];
|
|
269
|
+
const paths = manifest.functionalPaths ?? [];
|
|
270
|
+
const entries = manifest.entries ?? [];
|
|
271
|
+
const coveredGroups = new Set();
|
|
272
|
+
for (const fp of paths) {
|
|
273
|
+
if (!KERNEL_GROUPS.includes(fp.group)) {
|
|
274
|
+
findings.push({ code: 'coverage-group', detail: `功能路径 group 非法:${fp.name}(${JSON.stringify(fp.group)})` });
|
|
275
|
+
continue;
|
|
276
|
+
}
|
|
277
|
+
coveredGroups.add(fp.group);
|
|
278
|
+
if (!Number.isInteger(fp.runAllSection) || fp.runAllSection <= 0) {
|
|
279
|
+
findings.push({ code: 'coverage-runall-section', detail: `功能路径缺有效 runAllSection:${fp.name}` });
|
|
280
|
+
}
|
|
281
|
+
if (typeof fp.suite !== 'string' || !fp.suite.startsWith('ts/scripts/') || fp.suite.includes('..')) {
|
|
282
|
+
findings.push({ code: 'coverage-suite-path', detail: `功能路径 suite 必须位于 ts/scripts/:${fp.name}(${JSON.stringify(fp.suite)})` });
|
|
283
|
+
continue;
|
|
284
|
+
}
|
|
285
|
+
if (!existsSync(join(repoRoot, fp.suite))) {
|
|
286
|
+
findings.push({ code: 'coverage-suite-missing', detail: `功能路径套件缺失(缺路径覆盖):${fp.suite}` });
|
|
287
|
+
continue;
|
|
288
|
+
}
|
|
289
|
+
const closure = importClosure(repoRoot, fp.suite);
|
|
290
|
+
for (const kernelPath of fp.kernelModules ?? []) {
|
|
291
|
+
const entry = entries.find((e) => e.path === kernelPath);
|
|
292
|
+
if (!entry) {
|
|
293
|
+
findings.push({ code: 'coverage-foreign-module', detail: `功能路径声称覆盖的模块不在内核清单:${fp.name} → ${kernelPath}` });
|
|
294
|
+
continue;
|
|
295
|
+
}
|
|
296
|
+
if (entry.group !== fp.group) {
|
|
297
|
+
findings.push({ code: 'coverage-group-mismatch', detail: `功能路径 group 与内核条目 group 不一致:${fp.name}(${fp.group}) → ${kernelPath}(${entry.group})` });
|
|
298
|
+
}
|
|
299
|
+
if (!closure.has(kernelPath)) {
|
|
300
|
+
findings.push({ code: 'coverage-suite-not-importing-kernel', detail: `套件静态 import 闭包不含内核模块(路径覆盖断裂):${fp.suite} ↛ ${kernelPath}` });
|
|
301
|
+
}
|
|
302
|
+
}
|
|
303
|
+
}
|
|
304
|
+
for (const entry of entries) {
|
|
305
|
+
if (!coveredGroups.has(entry.group)) {
|
|
306
|
+
findings.push({ code: 'coverage-entry-without-path', detail: `内核条目无任何功能路径覆盖:${entry.path}(group ${entry.group})` });
|
|
307
|
+
}
|
|
308
|
+
}
|
|
309
|
+
return toResult(findings);
|
|
310
|
+
}
|
|
311
|
+
/** 证据快照 ↔ 当前树 ↔ 冻结清单 三方一致性(requireLoadedCoverage=false 用于离线审计无 trace 面)。 */
|
|
312
|
+
export function validateEvidence(evidence, manifest, repoRoot, opts = {}) {
|
|
313
|
+
const findings = [];
|
|
314
|
+
if (evidence.schemaVersion !== EVIDENCE_SCHEMA_VERSION) {
|
|
315
|
+
findings.push({ code: 'evidence-schema-version', detail: `schemaVersion 必须是 ${EVIDENCE_SCHEMA_VERSION}(当前 ${evidence.schemaVersion})` });
|
|
316
|
+
}
|
|
317
|
+
if (!GIT_SHA_RE.test(evidence.candidateSHA ?? '')) {
|
|
318
|
+
findings.push({ code: 'evidence-candidate-sha', detail: `candidateSHA 必须是 40 位十六进制(当前 ${JSON.stringify(evidence.candidateSHA)})` });
|
|
319
|
+
}
|
|
320
|
+
if (opts.expectedCandidateSha && evidence.candidateSHA !== opts.expectedCandidateSha) {
|
|
321
|
+
findings.push({ code: 'evidence-candidate-sha-mismatch', detail: `candidateSHA 与当前 HEAD 不一致:${evidence.candidateSHA} ≠ ${opts.expectedCandidateSha}` });
|
|
322
|
+
}
|
|
323
|
+
if (evidence.baseSHA !== manifest.baseSHA) {
|
|
324
|
+
findings.push({ code: 'evidence-base-sha-mismatch', detail: `baseSHA 与冻结清单不一致:${evidence.baseSHA} ≠ ${manifest.baseSHA}` });
|
|
325
|
+
}
|
|
326
|
+
if (evidence.manifestRef?.sha256 !== manifestHash(manifest)) {
|
|
327
|
+
findings.push({ code: 'manifest-hash-mismatch', detail: `manifestHash 与冻结清单不符(清单被改动或快照错绑):${JSON.stringify(evidence.manifestRef?.sha256)} ≠ ${manifestHash(manifest).slice(0, 12)}…` });
|
|
328
|
+
}
|
|
329
|
+
if (evidence.evidenceHash !== evidenceHash(evidence)) {
|
|
330
|
+
findings.push({ code: 'evidence-hash-mismatch', detail: `evidenceHash 与快照内容不符(快照被改动):${JSON.stringify(evidence.evidenceHash)} ≠ ${evidenceHash(evidence).slice(0, 12)}…` });
|
|
331
|
+
}
|
|
332
|
+
const integrity = validateKernelIntegrity(manifest, repoRoot);
|
|
333
|
+
findings.push(...integrity.findings);
|
|
334
|
+
const coverage = validateFunctionalCoverage(manifest, repoRoot);
|
|
335
|
+
findings.push(...coverage.findings);
|
|
336
|
+
const manifestPaths = new Set((manifest.entries ?? []).map((e) => e.path));
|
|
337
|
+
const evidenceKernel = evidence.kernel ?? [];
|
|
338
|
+
const evidencePaths = new Set(evidenceKernel.map((k) => k.path));
|
|
339
|
+
for (const path of manifestPaths) {
|
|
340
|
+
if (!evidencePaths.has(path))
|
|
341
|
+
findings.push({ code: 'evidence-kernel-missing', detail: `证据快照缺内核条目:${path}` });
|
|
342
|
+
}
|
|
343
|
+
for (const item of evidenceKernel) {
|
|
344
|
+
if (!manifestPaths.has(item.path)) {
|
|
345
|
+
findings.push({ code: 'evidence-kernel-foreign', detail: `证据快照出现清单外内核条目:${item.path}` });
|
|
346
|
+
continue;
|
|
347
|
+
}
|
|
348
|
+
const entry = (manifest.entries ?? []).find((e) => e.path === item.path);
|
|
349
|
+
if (item.sha256Frozen !== entry.sha256) {
|
|
350
|
+
findings.push({ code: 'evidence-frozen-sha-mismatch', detail: `证据快照冻结哈希与清单不符:${item.path}` });
|
|
351
|
+
}
|
|
352
|
+
const current = fileSha256(repoRoot, item.path);
|
|
353
|
+
if (current !== null && item.sha256Current !== current) {
|
|
354
|
+
findings.push({ code: 'evidence-current-sha-stale', detail: `证据快照当前哈希与工作区不符(快照未重算):${item.path}` });
|
|
355
|
+
}
|
|
356
|
+
}
|
|
357
|
+
const loaded = new Set(evidence.runtime?.loadedRepoModules ?? []);
|
|
358
|
+
if (opts.requireLoadedCoverage !== false) {
|
|
359
|
+
if (loaded.size === 0) {
|
|
360
|
+
findings.push({ code: 'evidence-trace-empty', detail: '运行模块 trace 为空:缺真实运行 import 证据' });
|
|
361
|
+
}
|
|
362
|
+
for (const entry of manifest.entries ?? []) {
|
|
363
|
+
if (!loaded.has(entry.path)) {
|
|
364
|
+
findings.push({ code: 'kernel-not-loaded', detail: `内核模块未被真实运行加载(替换/绕过内核的形状):${entry.path}` });
|
|
365
|
+
}
|
|
366
|
+
}
|
|
367
|
+
}
|
|
368
|
+
return toResult(findings);
|
|
369
|
+
}
|