@wenathlan/devthink 2.0.12 → 2.0.14
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/CHANGELOG.md +20 -0
- package/accounts.ts +2087 -0
- package/agent.ts +2331 -0
- package/antigravity.ts +2139 -0
- package/apifreeze.ts +4146 -0
- package/auth.ts +642 -0
- package/background.ts +16837 -0
- package/bridge.ts +2080 -0
- package/build.ts +54 -0
- package/bun.ts +26 -0
- package/capture.ts +1614 -0
- package/checksecrets.ts +72 -0
- package/cjs.ts +9 -0
- package/cli.ts +3500 -0
- package/commands.ts +1101 -0
- package/companion.ts +450 -0
- package/compatibility.ts +37 -0
- package/config.ts +3137 -0
- package/constants.ts +943 -0
- package/core.ts +1473 -0
- package/crossbrowser.ts +1359 -0
- package/dashdone.ts +605 -0
- package/data.ts +943 -0
- package/database.ts +133 -0
- package/debug.ts +850 -0
- package/deno.ts +27 -0
- package/devthink.ts +707 -0
- package/dist/accounts.d.ts +409 -0
- package/dist/agent.d.ts +837 -0
- package/dist/antigravity.d.ts +380 -0
- package/dist/apifreeze.d.ts +113 -0
- package/dist/auth.d.ts +224 -0
- package/{bridge.d.ts → dist/bridge.d.ts} +1 -1
- package/dist/capture.d.ts +595 -0
- package/dist/cjs.d.ts +6 -0
- package/{cli.js → dist/cli.js} +2 -2
- package/dist/commands.d.ts +310 -0
- package/dist/compatibility.d.ts +17 -0
- package/dist/config.d.ts +1853 -0
- package/dist/constants.d.ts +637 -0
- package/dist/core.d.ts +361 -0
- package/dist/data.d.ts +330 -0
- package/dist/database.d.ts +24 -0
- package/dist/debug.d.ts +270 -0
- package/dist/engine.d.ts +74 -0
- package/dist/environments.d.ts +244 -0
- package/dist/evidence.d.ts +277 -0
- package/dist/export.d.ts +311 -0
- package/dist/fingerprint.d.ts +594 -0
- package/dist/flow.d.ts +300 -0
- package/dist/gates.d.ts +103 -0
- package/dist/identity.d.ts +51 -0
- package/dist/ids.d.ts +7 -0
- package/dist/llm.d.ts +652 -0
- package/dist/models.d.ts +1807 -0
- package/dist/net.d.ts +325 -0
- package/dist/neutral.d.ts +41 -0
- package/dist/oauth.d.ts +703 -0
- package/dist/page.d.ts +1166 -0
- package/dist/perf.d.ts +481 -0
- package/dist/plan.d.ts +134 -0
- package/dist/project.d.ts +395 -0
- package/dist/providers.d.ts +37 -0
- package/dist/quota.d.ts +453 -0
- package/dist/recovery.d.ts +621 -0
- package/dist/request.d.ts +1492 -0
- package/dist/run.d.ts +779 -0
- package/dist/runtime.d.ts +212 -0
- package/dist/search.d.ts +375 -0
- package/dist/security.d.ts +534 -0
- package/dist/serve.d.ts +136 -0
- package/dist/session.d.ts +296 -0
- package/dist/storage.d.ts +53 -0
- package/dist/streaming.d.ts +1119 -0
- package/dist/swarm.d.ts +328 -0
- package/dist/tools.d.ts +170 -0
- package/dist/types.d.ts +8357 -0
- package/dist/utils.d.ts +82 -0
- package/dist/version.d.ts +7 -0
- package/dist/versionregistry.d.ts +406 -0
- package/dist/views.d.ts +579 -0
- package/dist/workbenchsession.d.ts +69 -0
- package/dist/workflow.d.ts +649 -0
- package/docs/readme.md +92 -0
- package/docs/schemas/antigravity.json +192 -0
- package/engine.ts +1524 -0
- package/environments.ts +1005 -0
- package/evidence.ts +643 -0
- package/export.ts +889 -0
- package/fingerprint.ts +1458 -0
- package/flow.ts +1190 -0
- package/gates.ts +307 -0
- package/gateway.ts +34 -0
- package/hardening.ts +191 -0
- package/headless.ts +369 -0
- package/http.ts +2110 -0
- package/identity.ts +246 -0
- package/ids.ts +26 -0
- package/index.ts +369 -0
- package/llm.ts +2682 -0
- package/mcp.ts +1835 -0
- package/{memory.js → memory.ts} +3834 -2310
- package/models.ts +3805 -0
- package/modes.ts +43 -0
- package/net.ts +1214 -0
- package/neutral.ts +362 -0
- package/node.ts +26 -0
- package/oauth.ts +2216 -0
- package/offscreen.ts +170 -0
- package/pack.ts +956 -0
- package/package.json +175 -82
- package/page.ts +7824 -0
- package/pagebridge.ts +1116 -0
- package/perf.ts +957 -0
- package/plan.ts +672 -0
- package/plugin.ts +76 -0
- package/{policy.js → policy.ts} +5073 -4679
- package/prisma.config.ts +27 -0
- package/progress.ts +1308 -0
- package/project.ts +1291 -0
- package/protocol.ts +4187 -0
- package/providers.ts +246 -0
- package/quota.ts +1887 -0
- package/recovery.ts +2433 -0
- package/request.ts +4482 -0
- package/run.ts +2135 -0
- package/runtime.ts +526 -0
- package/search.ts +1760 -0
- package/security.ts +1673 -0
- package/serve.ts +419 -0
- package/server.ts +5538 -0
- package/session.ts +1162 -0
- package/storage.ts +182 -0
- package/streaming.ts +4101 -0
- package/swarm.ts +884 -0
- package/sync.ts +56 -0
- package/tests/agentcert.test.ts +128 -0
- package/tests/agentfleet.test.ts +214 -0
- package/tests/agentreview.test.ts +241 -0
- package/tests/agentstream.test.ts +335 -0
- package/tests/agentwork.test.ts +356 -0
- package/tests/apifreeze.test.ts +290 -0
- package/tests/apimap.test.ts +112 -0
- package/tests/approvalgate.test.ts +175 -0
- package/tests/artifactmanifest.test.ts +204 -0
- package/tests/attentionfeed.test.ts +163 -0
- package/tests/backgroundruns.test.ts +100 -0
- package/tests/batchscheduling.test.ts +131 -0
- package/tests/blackboard.test.ts +238 -0
- package/tests/bridge.test.ts +1088 -0
- package/tests/browsercoverage.test.ts +134 -0
- package/tests/browserpolyfills.test.ts +124 -0
- package/tests/build.mjs +1260 -0
- package/tests/clientauth.test.ts +223 -0
- package/tests/clitools.test.ts +578 -0
- package/tests/confirmgates.test.ts +190 -0
- package/tests/containerpack.test.ts +143 -0
- package/tests/controlflow.test.ts +2120 -0
- package/tests/coordination.test.ts +345 -0
- package/tests/copyscreen.test.ts +139 -0
- package/tests/core.test.ts +417 -0
- package/tests/costcert.test.ts +95 -0
- package/tests/crossbrowser.test.ts +115 -0
- package/tests/cspaudit.test.ts +79 -0
- package/tests/dashdone.test.ts +615 -0
- package/tests/datagrid.test.ts +137 -0
- package/tests/doccheck.test.ts +107 -0
- package/tests/dombatch.test.ts +109 -0
- package/tests/emulation.test.ts +282 -0
- package/tests/environments.test.ts +259 -0
- package/tests/evidenceviews.test.ts +88 -0
- package/tests/exporttools.test.ts +185 -0
- package/tests/firefoxprep.test.ts +134 -0
- package/tests/flowlibrary.test.ts +242 -0
- package/tests/flowrun.test.ts +303 -0
- package/tests/forensics.test.ts +439 -0
- package/tests/gateway.test.ts +939 -0
- package/tests/headlesslib.test.ts +171 -0
- package/tests/httpstream.test.ts +277 -0
- package/tests/immutablelog.test.ts +157 -0
- package/tests/inboundguard.test.ts +177 -0
- package/tests/lazyload.test.ts +72 -0
- package/tests/librarymodes.test.ts +623 -0
- package/tests/llm.test.ts +696 -0
- package/tests/manifest.test.ts +226 -0
- package/tests/maskinputs.test.ts +150 -0
- package/tests/matrixverify.test.ts +111 -0
- package/tests/mavenpack.test.ts +75 -0
- package/tests/mcpserver.test.ts +704 -0
- package/tests/memory.test.ts +4155 -0
- package/tests/memorycare.test.ts +230 -0
- package/tests/migrateplan.test.ts +349 -0
- package/tests/minimization.test.ts +414 -0
- package/tests/modelroute.test.ts +112 -0
- package/tests/multiagent.test.ts +440 -0
- package/tests/nativebridge.test.ts +807 -0
- package/tests/navigation.test.ts +284 -0
- package/tests/nugetpack.test.ts +83 -0
- package/tests/orchestration.test.ts +449 -0
- package/tests/originpolicy.test.ts +405 -0
- package/tests/outputcompare.test.ts +97 -0
- package/tests/package.test.ts +91 -0
- package/tests/pagebridge.test.ts +5909 -0
- package/tests/pentest.test.ts +75 -0
- package/tests/perfrecords.test.ts +257 -0
- package/tests/permdiff.test.ts +85 -0
- package/tests/phishguard.test.ts +128 -0
- package/tests/pickerviews.test.ts +155 -0
- package/tests/pipelines.test.ts +381 -0
- package/tests/planlint.test.ts +240 -0
- package/tests/planreview.test.ts +383 -0
- package/tests/platformtargets.test.ts +56 -0
- package/tests/policy.test.ts +8284 -0
- package/tests/portability.test.ts +96 -0
- package/tests/progress.test.ts +1036 -0
- package/tests/promptlibrary.test.ts +116 -0
- package/tests/protocol.test.ts +4793 -0
- package/tests/publishingpipeline.test.ts +314 -0
- package/tests/quickactions.test.ts +164 -0
- package/tests/readiness.test.ts +78 -0
- package/tests/recipes.test.ts +163 -0
- package/tests/redactshots.test.ts +216 -0
- package/tests/registernvidiakeys.ts +51 -0
- package/tests/relayserve.test.ts +304 -0
- package/tests/releasenotes.test.ts +276 -0
- package/tests/resilience.test.ts +467 -0
- package/tests/resourceaware.test.ts +187 -0
- package/tests/runbudget.test.ts +125 -0
- package/tests/runhistory.test.ts +299 -0
- package/tests/runreplay.test.ts +113 -0
- package/tests/runresume.test.ts +184 -0
- package/tests/runstate.test.ts +288 -0
- package/tests/runtimeadapters.test.ts +251 -0
- package/tests/safariskeleton.test.ts +115 -0
- package/tests/sandboxframe.test.ts +196 -0
- package/tests/sbom.test.ts +105 -0
- package/tests/secretvault.test.ts +188 -0
- package/tests/selcache.test.ts +111 -0
- package/tests/sessioninterface.test.ts +791 -0
- package/tests/sessions.test.ts +591 -0
- package/tests/siteprefs.test.ts +228 -0
- package/tests/snapshotdelta.test.ts +165 -0
- package/tests/statusviews.test.ts +237 -0
- package/tests/stepmeter.test.ts +200 -0
- package/tests/streamparse.test.ts +163 -0
- package/tests/stylepruning.test.ts +90 -0
- package/tests/surfaces.test.ts +282 -0
- package/tests/sweep.test.ts +78 -0
- package/tests/syncbridge.test.ts +164 -0
- package/tests/taskqueue.test.ts +206 -0
- package/tests/toolcalls.test.ts +336 -0
- package/tests/toolcatalog.test.ts +201 -0
- package/tests/torture-agent.test.ts +706 -0
- package/tests/torture-auth.test.ts +461 -0
- package/tests/torture-commands.test.ts +895 -0
- package/tests/torture-data.test.ts +923 -0
- package/tests/torture-environments.test.ts +285 -0
- package/tests/torture-export.test.ts +263 -0
- package/tests/torture-http.test.ts +1379 -0
- package/tests/torture-llm.test.ts +808 -0
- package/tests/torture-memory.test.ts +1084 -0
- package/tests/torture-plan.test.ts +829 -0
- package/tests/torture-run.test.ts +626 -0
- package/tests/torture-session.test.ts +928 -0
- package/tests/torture-swarm.test.ts +1245 -0
- package/tests/torture-tools.test.ts +964 -0
- package/tests/torture-workflow.test.ts +2354 -0
- package/tests/tourviews.test.ts +52 -0
- package/tests/transparency.test.ts +147 -0
- package/tests/trigger.test.ts +941 -0
- package/tests/v1sunset.test.ts +428 -0
- package/tests/virtlist.test.ts +94 -0
- package/tests/vision.test.ts +540 -0
- package/tests/vsixpack.test.ts +145 -0
- package/tests/webapi.test.ts +523 -0
- package/tests/workflow.test.ts +1785 -0
- package/tests/workfloweditor.test.ts +759 -0
- package/tests/xpipack.test.ts +128 -0
- package/tools.ts +734 -0
- package/types.ts +9908 -0
- package/umd.ts +9 -0
- package/utils.ts +249 -0
- package/version.ts +8 -0
- package/versionregistry.ts +1310 -0
- package/views.ts +2153 -0
- package/vitest.config.ts +12 -0
- package/web/App.tsx +78 -0
- package/web/README.md +47 -0
- package/web/capacitor.config.ts +46 -0
- package/web/const.ts +19 -0
- package/web/control.shell.tsx +66 -0
- package/web/dashboardpage.ts +554 -0
- package/web/db.ts +493 -0
- package/web/design.html +541 -0
- package/web/gatewayview/Gateway.tsx +345 -0
- package/web/gatewayview/config.ts +1042 -0
- package/web/gatewayview/definition.ts +174 -0
- package/web/icons.ts +15 -0
- package/{manifest.json → web/manifest.json} +1 -1
- package/web/optionspage.ts +691 -0
- package/web/popup.ts +1651 -0
- package/web/schema.prisma +176 -0
- package/web/sidepanel.ts +7941 -0
- package/web/sitemanifest.json +13 -0
- package/web/terminal-ui.tsx +622 -0
- package/web/transparencypage.ts +541 -0
- package/web/vite.config.ts +39 -0
- package/web/workspace.ts +23 -0
- package/workbenchmemory.ts +104 -0
- package/workbenchsession.ts +304 -0
- package/workflow.ts +4495 -0
- package/bridge.d.ts.map +0 -1
- package/bridge.js +0 -1877
- package/bun.d.ts.map +0 -1
- package/bun.js +0 -52329
- package/caps/background.json +0 -712
- package/caps/cli.json +0 -360
- package/caps/library.json +0 -3611
- package/caps/mcp.json +0 -126
- package/caps/pagebridge.json +0 -377
- package/caps/popup.json +0 -51
- package/caps/sidepanel.json +0 -522
- package/checksums.txt +0 -142
- package/cli.d.ts.map +0 -1
- package/companion.d.ts.map +0 -1
- package/companion.js +0 -389
- package/crossbrowser.d.ts.map +0 -1
- package/crossbrowser.js +0 -1191
- package/dashdone.d.ts.map +0 -1
- package/dashdone.js +0 -368
- package/deno.d.ts.map +0 -1
- package/deno.js +0 -52325
- package/devthink.umd.js +0 -52346
- package/fixtures/bun.ts +0 -7
- package/fixtures/cjs.js +0 -6
- package/fixtures/deno.ts +0 -6
- package/fixtures/example-org-pagestate.json +0 -22
- package/fixtures/importers/automa-workflow.json +0 -18
- package/fixtures/importers/selenium-side.json +0 -20
- package/fixtures/importers/tabular-plan.csv +0 -7
- package/fixtures/importers/uivision-macro.json +0 -10
- package/fixtures/importers/v1-plan.json +0 -13
- package/fixtures/mcp-client.mjs +0 -14
- package/fixtures/pages/checkout.html +0 -192
- package/fixtures/pages/dashboard.html +0 -110
- package/fixtures/pages/feed.html +0 -113
- package/fixtures/pages/product-grid.html +0 -150
- package/fixtures/plans/form-inventory-plan.json +0 -11
- package/fixtures/plans/release-notes-plan.json +0 -11
- package/fixtures/recipes/agentscompete.json +0 -11
- package/fixtures/recipes/agentsforms.json +0 -11
- package/fixtures/recipes/agentsmonitor.json +0 -11
- package/fixtures/recipes/agentsreview.json +0 -29
- package/fixtures/recipes/agentswarm.json +0 -11
- package/fixtures/recipes/fillcalendar.json +0 -12
- package/fixtures/recipes/fillcheckout.json +0 -13
- package/fixtures/recipes/filldependentdropdowns.json +0 -12
- package/fixtures/recipes/fillfromcsv.json +0 -13
- package/fixtures/recipes/fillloginform.json +0 -12
- package/fixtures/recipes/fillmultistepwizard.json +0 -13
- package/fixtures/recipes/fillregistration.json +0 -12
- package/fixtures/recipes/fillsearchfilters.json +0 -12
- package/fixtures/recipes/filltypeahead.json +0 -11
- package/fixtures/recipes/monitoralerts.json +0 -12
- package/fixtures/recipes/monitoravailability.json +0 -11
- package/fixtures/recipes/monitornetworkquiet.json +0 -12
- package/fixtures/recipes/monitorpagechanges.json +0 -11
- package/fixtures/recipes/monitorpricechange.json +0 -11
- package/fixtures/recipes/monitorschedule.json +0 -12
- package/fixtures/recipes/scrapedynamicprices.json +0 -13
- package/fixtures/recipes/scrapeimagegallery.json +0 -12
- package/fixtures/recipes/scrapeinfinitefeed.json +0 -13
- package/fixtures/recipes/scrapenestedlists.json +0 -12
- package/fixtures/recipes/scrapeproductgrid.json +0 -12
- package/fixtures/recipes/scrapereviews.json +0 -12
- package/fixtures/recipes/scrapesearchresults.json +0 -12
- package/fixtures/recipes/scrapetablepagination.json +0 -12
- package/fixtures/recipes/testaccessibility.json +0 -34
- package/fixtures/recipes/testconsoleerrors.json +0 -12
- package/fixtures/recipes/testdeeplinks.json +0 -12
- package/fixtures/recipes/testformvalidation.json +0 -13
- package/fixtures/recipes/testlayoutshift.json +0 -12
- package/fixtures/recipes/testlinkcheck.json +0 -12
- package/fixtures/recipes/testloadtiming.json +0 -12
- package/fixtures/recipes/testvisualdiff.json +0 -12
- package/fixtures/workflows/changelog-digest-workflow.json +0 -13
- package/fixtures/workflows/form-survey-workflow.json +0 -13
- package/gallery.json +0 -706
- package/hardening.d.ts.map +0 -1
- package/hardening.js +0 -188
- package/headless.d.ts.map +0 -1
- package/headless.js +0 -11522
- package/http.d.ts.map +0 -1
- package/http.js +0 -2165
- package/index.cjs +0 -54682
- package/index.d.ts.map +0 -1
- package/index.js +0 -52310
- package/index.neutral.js +0 -46343
- package/mcp.d.ts.map +0 -1
- package/mcp.js +0 -20515
- package/memory.d.ts.map +0 -1
- package/nativehost.template.json +0 -10
- package/node.cjs +0 -54686
- package/node.d.ts.map +0 -1
- package/pack.d.ts.map +0 -1
- package/pack.js +0 -805
- package/policy.d.ts.map +0 -1
- package/progress.d.ts.map +0 -1
- package/progress.js +0 -645
- package/protocol.d.ts.map +0 -1
- package/protocol.js +0 -8334
- package/schemas/audit.schema.json +0 -226
- package/schemas/capability.schema.json +0 -113
- package/schemas/envelope.schema.json +0 -162
- package/schemas/memory.schema.json +0 -51
- package/schemas/observation.schema.json +0 -113
- package/schemas/plan.schema.json +0 -208
- package/schemas/progress.schema.json +0 -126
- package/schemas/proposal.schema.json +0 -68
- package/schemas/session.schema.json +0 -82
- package/schemas/tool.schema.json +0 -94
- package/server.d.ts.map +0 -1
- package/server.js +0 -28877
- package/umd-example.html +0 -18
- package/umd.d.ts.map +0 -1
- /package/{bun.d.ts → dist/bun.d.ts} +0 -0
- /package/{cli.d.ts → dist/cli.d.ts} +0 -0
- /package/{companion.d.ts → dist/companion.d.ts} +0 -0
- /package/{crossbrowser.d.ts → dist/crossbrowser.d.ts} +0 -0
- /package/{dashdone.d.ts → dist/dashdone.d.ts} +0 -0
- /package/{deno.d.ts → dist/deno.d.ts} +0 -0
- /package/{hardening.d.ts → dist/hardening.d.ts} +0 -0
- /package/{headless.d.ts → dist/headless.d.ts} +0 -0
- /package/{http.d.ts → dist/http.d.ts} +0 -0
- /package/{index.d.ts → dist/index.d.ts} +0 -0
- /package/{mcp.d.ts → dist/mcp.d.ts} +0 -0
- /package/{memory.d.ts → dist/memory.d.ts} +0 -0
- /package/{node.d.ts → dist/node.d.ts} +0 -0
- /package/{pack.d.ts → dist/pack.d.ts} +0 -0
- /package/{policy.d.ts → dist/policy.d.ts} +0 -0
- /package/{progress.d.ts → dist/progress.d.ts} +0 -0
- /package/{protocol.d.ts → dist/protocol.d.ts} +0 -0
- /package/{server.d.ts → dist/server.d.ts} +0 -0
- /package/{umd.d.ts → dist/umd.d.ts} +0 -0
package/gates.ts
ADDED
|
@@ -0,0 +1,307 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The gates module of the 1.1.90 consolidation: every correlated variation of the human confirmation gate logic interned in this one file, so the module family carries one surface without duplicate variations.
|
|
3
|
+
* The correlation is the human gate itself: confirmgates holds the sensitive class gates of the run steps (confirmpay for money, confirmdelete for destruction and confirmcreds for credentials, each resolved only through one distinct human action with no timeout path and no batch approval) and approvalgate holds the remote client gates of the agent protocol (the approval raise with the full call arguments, the client identity and the called tool in every prompt, the secret redaction of the marked fields, the approve and refuse resolution with its actor and latency record and the timeout that refuses an unanswered gate by default).
|
|
4
|
+
* No gate window, class list or batch rule is ever hardcoded anywhere in the family: every timeout stays the user's choice beside the documented default, the gate payloads show exactly what the human reviews, and no gate ever resolves without its distinct human action.
|
|
5
|
+
*/
|
|
6
|
+
|
|
7
|
+
/* ── Merged from confirmgates.ts ── */
|
|
8
|
+
|
|
9
|
+
import type { confirmgate, gatekind, gateresolution, sensitiveclass, toolstep } from "./types.js";
|
|
10
|
+
import { randomid } from "./memory.js";
|
|
11
|
+
|
|
12
|
+
/**
|
|
13
|
+
* Confirm gates of the 1.1.62 family.
|
|
14
|
+
* The human gates for money, destruction and credentials live here: payment class steps pause in front of confirmpay, destructive delete steps pause in front of confirmdelete and credential use steps pause in front of confirmcreds, and each gate resolves only through one distinct human action — no timeout ever resolves a gate and no batch approval resolves two.
|
|
15
|
+
* The payloads show exactly what the human reviews: confirmpay shows the amount, the payee origin and the target element, confirmdelete shows the target, the scope and the irreversibility, and confirmcreds shows the credential label only, never its value.
|
|
16
|
+
*/
|
|
17
|
+
|
|
18
|
+
/** Reads the option payload of one step without throwing on malformed json. */
|
|
19
|
+
function stepoptions(step: Pick<toolstep, "options">): Record<string, unknown> {
|
|
20
|
+
if (!step.options) return {};
|
|
21
|
+
try {
|
|
22
|
+
const parsed = JSON.parse(step.options);
|
|
23
|
+
return Boolean(parsed) && typeof parsed === "object" && !Array.isArray(parsed)
|
|
24
|
+
? (parsed as Record<string, unknown>)
|
|
25
|
+
: {};
|
|
26
|
+
} catch {
|
|
27
|
+
return {};
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
/** Maps the sensitive classes of one step to its gated family: payment classes gate through confirmpay, delete classes through confirmdelete and credential classes through confirmcreds, while publish grades and plain sensitive by default steps ride their consent window prompt alone. */
|
|
32
|
+
export function gatekindfor(classes: sensitiveclass[]): gatekind | undefined {
|
|
33
|
+
if (classes.includes("payment")) return "confirmpay";
|
|
34
|
+
if (classes.includes("delete")) return "confirmdelete";
|
|
35
|
+
if (classes.includes("credential")) return "confirmcreds";
|
|
36
|
+
return undefined;
|
|
37
|
+
}
|
|
38
|
+
|
|
39
|
+
/** Builds the payload of one confirmpay gate: the amount, the payee origin and the target element of the step the human reviews. */
|
|
40
|
+
export function paypayload(input: { amount?: string; payeeorigin: string; target?: string }): Record<string, string> {
|
|
41
|
+
const payload: Record<string, string> = { payeeorigin: input.payeeorigin };
|
|
42
|
+
if (input.amount !== undefined && input.amount.trim() !== "") payload.amount = input.amount.trim();
|
|
43
|
+
if (input.target !== undefined && input.target.trim() !== "") payload.target = input.target.trim();
|
|
44
|
+
return payload;
|
|
45
|
+
}
|
|
46
|
+
|
|
47
|
+
/** Builds the payload of one confirmdelete gate: the target, the scope and the irreversibility of the destructive step the human reviews. */
|
|
48
|
+
export function deletepayload(input: {
|
|
49
|
+
target?: string;
|
|
50
|
+
scope: string;
|
|
51
|
+
irreversibility: string;
|
|
52
|
+
}): Record<string, string> {
|
|
53
|
+
const payload: Record<string, string> = { scope: input.scope, irreversibility: input.irreversibility };
|
|
54
|
+
if (input.target !== undefined && input.target.trim() !== "") payload.target = input.target.trim();
|
|
55
|
+
return payload;
|
|
56
|
+
}
|
|
57
|
+
|
|
58
|
+
/** Builds the payload of one confirmcreds gate: the credential label only, because the value stays behind the vault and no gate ever reveals it. */
|
|
59
|
+
export function credspayload(label: string): Record<string, string> {
|
|
60
|
+
if (label.trim() === "")
|
|
61
|
+
throw new Error("The confirmcreds gate names its credential label; the value never appears.");
|
|
62
|
+
return { label: label.trim() };
|
|
63
|
+
}
|
|
64
|
+
|
|
65
|
+
/** Opens one confirm gate for a gated step: the payload the human reviews, the origin provenance and the open state that only an explicit user action resolves. */
|
|
66
|
+
export function opengate(input: {
|
|
67
|
+
kind: gatekind;
|
|
68
|
+
stepid: string;
|
|
69
|
+
runid: string;
|
|
70
|
+
origin: string;
|
|
71
|
+
payload: Record<string, string>;
|
|
72
|
+
now: number;
|
|
73
|
+
gateid?: string;
|
|
74
|
+
}): confirmgate {
|
|
75
|
+
if (input.stepid.trim() === "" || input.runid.trim() === "" || input.origin.trim() === "")
|
|
76
|
+
throw new Error("The confirm gate needs its step, run and origin.");
|
|
77
|
+
if (Object.keys(input.payload).length === 0)
|
|
78
|
+
throw new Error("The confirm gate carries the payload the human reviews.");
|
|
79
|
+
return {
|
|
80
|
+
gateid: input.gateid ?? randomid(),
|
|
81
|
+
kind: input.kind,
|
|
82
|
+
stepid: input.stepid,
|
|
83
|
+
runid: input.runid,
|
|
84
|
+
origin: input.origin,
|
|
85
|
+
payload: { ...input.payload },
|
|
86
|
+
state: "open",
|
|
87
|
+
openedat: input.now,
|
|
88
|
+
};
|
|
89
|
+
}
|
|
90
|
+
|
|
91
|
+
/** Reads the state of the gate one step waits at: no gate, an open gate the step pauses at, a resolved gate the step passes and a refused gate the step never dispatches through. */
|
|
92
|
+
export function gatestateof(
|
|
93
|
+
gates: confirmgate[],
|
|
94
|
+
stepid: string,
|
|
95
|
+
): { state: "none" | "open" | "resolved" | "refused"; gate?: confirmgate } {
|
|
96
|
+
const gate = [...gates].reverse().find((candidate) => candidate.stepid === stepid);
|
|
97
|
+
if (gate === undefined) return { state: "none" };
|
|
98
|
+
return { state: gate.state, gate };
|
|
99
|
+
}
|
|
100
|
+
|
|
101
|
+
/** Resolves exactly one gate through one explicit human action: the decision names its acting user, an already resolved or refused gate stays terminal, and no timeout path exists because only a human resolves a gate. */
|
|
102
|
+
export function resolvegate(input: {
|
|
103
|
+
gates: confirmgate[];
|
|
104
|
+
gateid: string;
|
|
105
|
+
decision: "resolved" | "refused";
|
|
106
|
+
actor: string;
|
|
107
|
+
now: number;
|
|
108
|
+
}): { gates: confirmgate[]; resolution?: gateresolution } {
|
|
109
|
+
if (input.actor.trim() === "")
|
|
110
|
+
throw new Error("The gate resolution names its acting user; only a human resolves a gate.");
|
|
111
|
+
const gate = input.gates.find((candidate) => candidate.gateid === input.gateid);
|
|
112
|
+
if (gate === undefined) return { gates: input.gates };
|
|
113
|
+
if (gate.state !== "open") return { gates: input.gates };
|
|
114
|
+
const resolution: gateresolution = {
|
|
115
|
+
gateid: gate.gateid,
|
|
116
|
+
kind: gate.kind,
|
|
117
|
+
stepid: gate.stepid,
|
|
118
|
+
decision: input.decision,
|
|
119
|
+
actor: input.actor,
|
|
120
|
+
at: input.now,
|
|
121
|
+
};
|
|
122
|
+
return {
|
|
123
|
+
gates: input.gates.map((candidate) =>
|
|
124
|
+
candidate.gateid === input.gateid
|
|
125
|
+
? { ...candidate, state: input.decision, resolvedat: input.now, actor: input.actor }
|
|
126
|
+
: candidate,
|
|
127
|
+
),
|
|
128
|
+
resolution,
|
|
129
|
+
};
|
|
130
|
+
}
|
|
131
|
+
|
|
132
|
+
/** Refuses batch approvals: one human action resolves exactly one gate, so a resolution request that names several gates refuses in full. */
|
|
133
|
+
export function nobatchresolution(gateids: string[]): { allowed: boolean; reason: string } {
|
|
134
|
+
if (gateids.length > 1)
|
|
135
|
+
return {
|
|
136
|
+
allowed: false,
|
|
137
|
+
reason: `One human action resolves exactly one gate; the batch of ${gateids.length} gates refuses in full because no batch approval exists.`,
|
|
138
|
+
};
|
|
139
|
+
if (gateids.length === 0) return { allowed: false, reason: "A gate resolution names its single gate." };
|
|
140
|
+
return {
|
|
141
|
+
allowed: true,
|
|
142
|
+
reason: "The resolution names exactly one gate; the distinct human action resolves it alone.",
|
|
143
|
+
};
|
|
144
|
+
}
|
|
145
|
+
|
|
146
|
+
/** Builds the plain language prompt of one gate: confirmpay names the amount, the payee origin and the target element, confirmdelete names the target, the scope and the irreversibility, and confirmcreds names the credential label only. */
|
|
147
|
+
export function gateprompttext(gate: confirmgate): string {
|
|
148
|
+
if (gate.kind === "confirmpay") {
|
|
149
|
+
const amount =
|
|
150
|
+
gate.payload.amount !== undefined ? `the amount ${gate.payload.amount}` : "an amount the step options name";
|
|
151
|
+
const target = gate.payload.target !== undefined ? ` on ${gate.payload.target}` : "";
|
|
152
|
+
return `Approve the payment of ${amount} to ${gate.payload.payeeorigin}${target}? The step dispatches only after this distinct human action.`;
|
|
153
|
+
}
|
|
154
|
+
if (gate.kind === "confirmdelete") {
|
|
155
|
+
const target = gate.payload.target !== undefined ? ` on ${gate.payload.target}` : "";
|
|
156
|
+
return `Approve the destructive delete${target} scoped to ${gate.payload.scope}? ${gate.payload.irreversibility} The step dispatches only after this distinct human action.`;
|
|
157
|
+
}
|
|
158
|
+
return `Approve the use of the credential ${gate.payload.label} on ${gate.origin}? The value stays behind the vault; the label is everything this prompt shows.`;
|
|
159
|
+
}
|
|
160
|
+
|
|
161
|
+
/** Builds the gate descriptor of one gated step from its reviewed shape: the payload fields the human reviews read from the step options, the plan origin and the vault label of a credential step. */
|
|
162
|
+
export function gateforstep(input: {
|
|
163
|
+
step: Pick<toolstep, "id" | "kind" | "target" | "options">;
|
|
164
|
+
classes: sensitiveclass[];
|
|
165
|
+
runid: string;
|
|
166
|
+
origin: string;
|
|
167
|
+
credentiallabel?: string;
|
|
168
|
+
now: number;
|
|
169
|
+
}): confirmgate | undefined {
|
|
170
|
+
const kind = gatekindfor(input.classes);
|
|
171
|
+
if (kind === undefined) return undefined;
|
|
172
|
+
const options = stepoptions(input.step);
|
|
173
|
+
if (kind === "confirmpay") {
|
|
174
|
+
const amount =
|
|
175
|
+
typeof options.amount === "string"
|
|
176
|
+
? options.amount
|
|
177
|
+
: typeof options.value === "string"
|
|
178
|
+
? options.value
|
|
179
|
+
: undefined;
|
|
180
|
+
return opengate({
|
|
181
|
+
kind,
|
|
182
|
+
stepid: input.step.id,
|
|
183
|
+
runid: input.runid,
|
|
184
|
+
origin: input.origin,
|
|
185
|
+
payload: paypayload({
|
|
186
|
+
...(amount !== undefined && amount !== "" ? { amount } : {}),
|
|
187
|
+
payeeorigin: String(options.payeeorigin ?? input.origin),
|
|
188
|
+
...(input.step.target !== undefined && input.step.target !== "" ? { target: input.step.target } : {}),
|
|
189
|
+
}),
|
|
190
|
+
now: input.now,
|
|
191
|
+
});
|
|
192
|
+
}
|
|
193
|
+
if (kind === "confirmdelete") {
|
|
194
|
+
return opengate({
|
|
195
|
+
kind,
|
|
196
|
+
stepid: input.step.id,
|
|
197
|
+
runid: input.runid,
|
|
198
|
+
origin: input.origin,
|
|
199
|
+
payload: deletepayload({
|
|
200
|
+
...(input.step.target !== undefined && input.step.target !== "" ? { target: input.step.target } : {}),
|
|
201
|
+
scope: String(options.scope ?? input.origin),
|
|
202
|
+
irreversibility: String(
|
|
203
|
+
options.irreversibility ?? "A destructive delete destroys state the page cannot restore.",
|
|
204
|
+
),
|
|
205
|
+
}),
|
|
206
|
+
now: input.now,
|
|
207
|
+
});
|
|
208
|
+
}
|
|
209
|
+
if (input.credentiallabel === undefined || input.credentiallabel.trim() === "") return undefined;
|
|
210
|
+
return opengate({
|
|
211
|
+
kind,
|
|
212
|
+
stepid: input.step.id,
|
|
213
|
+
runid: input.runid,
|
|
214
|
+
origin: input.origin,
|
|
215
|
+
payload: credspayload(input.credentiallabel),
|
|
216
|
+
now: input.now,
|
|
217
|
+
});
|
|
218
|
+
}
|
|
219
|
+
|
|
220
|
+
/* ── Merged from approvalgate.ts ── */
|
|
221
|
+
|
|
222
|
+
import type { allowlistentry, approvalrequest, approvalstate, approvalexec, clientidentity } from "./types.js";
|
|
223
|
+
|
|
224
|
+
/**
|
|
225
|
+
* Approval gates of the 1.1.55 agent protocol part two.
|
|
226
|
+
* Every sensitive tool call a remote client raises lands behind a human approval gate in this file: the gate raise with the full call arguments, the client identity and the called tool in every prompt, the secret redaction of the fields the user marked secret, the approve and refuse resolution with its actor and latency record, and the timeout that refuses an unanswered gate by default.
|
|
227
|
+
* The gates never bypass review: an approved gate executes exactly the call it holds while refused and expired gates never execute anything.
|
|
228
|
+
*/
|
|
229
|
+
|
|
230
|
+
/** The documented default approval window of two minutes; any user configured window wins and an unanswered gate refuses by default. */
|
|
231
|
+
export const defaultapprovalwindowms = 120_000;
|
|
232
|
+
|
|
233
|
+
/** Raises one approval gate for a sensitive tool call: the full call arguments, the reason in plain language, the fields the user marked secret and the timeout that refuses by default. */
|
|
234
|
+
export function requireapproval(input: {
|
|
235
|
+
clientid: string;
|
|
236
|
+
tool: string;
|
|
237
|
+
reason: string;
|
|
238
|
+
params: Record<string, unknown>;
|
|
239
|
+
now: number;
|
|
240
|
+
timeout?: number;
|
|
241
|
+
secretfields?: string[];
|
|
242
|
+
id?: string;
|
|
243
|
+
}): approvalrequest {
|
|
244
|
+
return {
|
|
245
|
+
id: input.id ?? randomid(),
|
|
246
|
+
clientid: input.clientid,
|
|
247
|
+
tool: input.tool,
|
|
248
|
+
reason: input.reason,
|
|
249
|
+
params: input.params,
|
|
250
|
+
...(input.secretfields !== undefined && input.secretfields.length > 0 ? { secretfields: input.secretfields } : {}),
|
|
251
|
+
state: "pending",
|
|
252
|
+
raisedat: input.now,
|
|
253
|
+
...(input.timeout !== undefined ? { timeoutat: input.now + input.timeout } : {}),
|
|
254
|
+
};
|
|
255
|
+
}
|
|
256
|
+
|
|
257
|
+
/** Resolves one pending approval gate: the decision of the acting user closes the gate and returns the execution record with the latency from the raise; already closed gates stay untouched. */
|
|
258
|
+
export function resolveapproval(input: {
|
|
259
|
+
requests: approvalrequest[];
|
|
260
|
+
id: string;
|
|
261
|
+
decision: "approved" | "refused";
|
|
262
|
+
actor: string;
|
|
263
|
+
now: number;
|
|
264
|
+
}): { requests: approvalrequest[]; exec?: approvalexec } {
|
|
265
|
+
const gate = input.requests.find((request) => request.id === input.id);
|
|
266
|
+
if (gate === undefined || gate.state !== "pending") return { requests: input.requests };
|
|
267
|
+
const decision: approvalstate = input.decision;
|
|
268
|
+
const requests = input.requests.map((request) =>
|
|
269
|
+
request.id === input.id ? { ...request, state: decision, decidedat: input.now, actor: input.actor } : request,
|
|
270
|
+
);
|
|
271
|
+
return {
|
|
272
|
+
requests,
|
|
273
|
+
exec: { requestid: input.id, decision, actor: input.actor, at: input.now, latencyms: input.now - gate.raisedat },
|
|
274
|
+
};
|
|
275
|
+
}
|
|
276
|
+
|
|
277
|
+
/** Expires every unanswered approval gate past its timeout window: the default disposition of an expired gate is refusal and the records stay for the audit trail. */
|
|
278
|
+
export function expireapprovals(requests: approvalrequest[], now: number): approvalrequest[] {
|
|
279
|
+
return requests.map((request) =>
|
|
280
|
+
request.state === "pending" && request.timeoutat !== undefined && now >= request.timeoutat
|
|
281
|
+
? { ...request, state: "expired" as const }
|
|
282
|
+
: request,
|
|
283
|
+
);
|
|
284
|
+
}
|
|
285
|
+
|
|
286
|
+
/** Returns the pending and resolved gates of the approval view, newest raise first. */
|
|
287
|
+
export function listapprovals(requests: approvalrequest[]): approvalrequest[] {
|
|
288
|
+
return [...requests].sort((one, two) => two.raisedat - one.raisedat);
|
|
289
|
+
}
|
|
290
|
+
|
|
291
|
+
/** Redacts the call arguments of one approval prompt: every field the user marked secret carries its redaction marker while the rest of the arguments stay visible for review. */
|
|
292
|
+
export function redactparams(params: Record<string, unknown>, secretfields: string[]): Record<string, unknown> {
|
|
293
|
+
const redacted: Record<string, unknown> = {};
|
|
294
|
+
for (const [name, value] of Object.entries(params))
|
|
295
|
+
redacted[name] = secretfields.includes(name) ? "[redacted]" : value;
|
|
296
|
+
return redacted;
|
|
297
|
+
}
|
|
298
|
+
|
|
299
|
+
/** Builds the plain language approval prompt every gate surfaces: the client identity, the called tool, the reason and the full call arguments with the secret fields redacted. */
|
|
300
|
+
export function approvalprompt(request: approvalrequest, identity?: clientidentity): string {
|
|
301
|
+
const who =
|
|
302
|
+
identity !== undefined
|
|
303
|
+
? `the client ${identity.displayname} (${identity.fingerprint})`
|
|
304
|
+
: `the client ${request.clientid}`;
|
|
305
|
+
const params = JSON.stringify(redactparams(request.params, request.secretfields ?? []));
|
|
306
|
+
return `${who} calls ${request.tool}: ${request.reason} Arguments: ${params}`;
|
|
307
|
+
}
|
package/gateway.ts
ADDED
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
/** Style: DevThink Terminal Atelier — browser gateway client that stores only an ephemeral pairing token, never a provider credential. */
|
|
2
|
+
|
|
3
|
+
export type GatewayContext = { url?: string; token?: string };
|
|
4
|
+
|
|
5
|
+
export function gatewayContext(): GatewayContext {
|
|
6
|
+
const query = new URLSearchParams(window.location.search);
|
|
7
|
+
const url = query.get("gateway") || window.sessionStorage.getItem("devthink.gateway") || undefined;
|
|
8
|
+
const token = window.sessionStorage.getItem("devthink.pair.token") || undefined;
|
|
9
|
+
/** exactOptionalPropertyTypes: never assign an explicit undefined to an optional property */
|
|
10
|
+
const context: GatewayContext = {};
|
|
11
|
+
if (url !== undefined) context.url = url.replace(/\/$/, "");
|
|
12
|
+
if (token !== undefined) context.token = token;
|
|
13
|
+
return context;
|
|
14
|
+
}
|
|
15
|
+
|
|
16
|
+
export function gatewayUrl(): string | undefined {
|
|
17
|
+
return gatewayContext().url;
|
|
18
|
+
}
|
|
19
|
+
|
|
20
|
+
export async function gatewayJson<T>(path: string, init?: RequestInit): Promise<T> {
|
|
21
|
+
const context = gatewayContext();
|
|
22
|
+
if (!context.url) throw new Error("A local DevThink gateway is not paired.");
|
|
23
|
+
const headers = new Headers(init?.headers);
|
|
24
|
+
if (context.token) headers.set("authorization", `Bearer ${context.token}`);
|
|
25
|
+
if (init?.body && !headers.has("content-type")) headers.set("content-type", "application/json");
|
|
26
|
+
const response = await fetch(`${context.url}${path}`, { ...init, headers });
|
|
27
|
+
if (!response.ok) throw new Error(`Gateway returned ${response.status}.`);
|
|
28
|
+
return response.json() as Promise<T>;
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
export function gatewayReady(): boolean {
|
|
32
|
+
const context = gatewayContext();
|
|
33
|
+
return Boolean(context.url && context.token);
|
|
34
|
+
}
|
package/hardening.ts
ADDED
|
@@ -0,0 +1,191 @@
|
|
|
1
|
+
/** The security hardening family of the 1.1.95 release: the gates the release candidates carry live in their own root module beside the policy family so the frozen library surface of index.ts stays byte identical — the background service worker imports these gates directly, tests/pentest.mjs exercises every one of them against the compiled dist/hardening.js bundle, and the module stays out of the index.ts export graph because the api freeze of 1.1.91 pins that surface until 2.0.0. The family covers the log text masking of the audit trail, the local signature check of the virus scanning hook, the visible confirmation banner of the escape hatch, the review mode pause on new domains, the run trace purge, the key rotation of the encrypted sync path, the client signature verification of the local stdio bridge and the masking plus redaction pass of the transparency exports. */
|
|
2
|
+
import { maskexport, maskvalue, maskingfield } from "./security.js";
|
|
3
|
+
import type { policyevaluation, redactregion, scanverdict } from "./types.js";
|
|
4
|
+
|
|
5
|
+
/** Masks the secret shaped key value pairs of one free form log text: a summary a step, a body or a console line embedded stays masked when its key matches a masked shape, because a log field the families gained since the masking audit never leaks its typed value through the text the audit trail keeps. */
|
|
6
|
+
export function masklogtext(input: { text: string; shapes: string[] }): {
|
|
7
|
+
text: string;
|
|
8
|
+
maskedkeys: string[];
|
|
9
|
+
reason: string;
|
|
10
|
+
} {
|
|
11
|
+
const maskedkeys: string[] = [];
|
|
12
|
+
let text = input.text;
|
|
13
|
+
/* the json shape ("password": "x"), the query shape (password=x) and the labeled shape (password: x) all recognize through the same field shape grammar the named fields read */
|
|
14
|
+
const patterns: Array<[RegExp, (match: RegExpExecArray) => string]> = [
|
|
15
|
+
[/(\w+)\s*:\s*"((?:[^"\\]|\\.)*)"/g, (match) => `${match[1]}: "${maskvalue(match[2] ?? "")}"`],
|
|
16
|
+
[/(\w+)\s*=\s*([^\s&;]+)/g, (match) => `${match[1]}=${maskvalue(match[2] ?? "")}`],
|
|
17
|
+
[/(\w+)\s*:\s*([^\s,;]+)/g, (match) => `${match[1]}: ${maskvalue(match[2] ?? "")}`],
|
|
18
|
+
];
|
|
19
|
+
for (const [pattern, rewrite] of patterns) {
|
|
20
|
+
text = text.replace(pattern, (full, key, ...rest) => {
|
|
21
|
+
if (!maskingfield(String(key), input.shapes)) return full;
|
|
22
|
+
maskedkeys.push(String(key));
|
|
23
|
+
return rewrite([full, String(key), String(rest[0] ?? "")] as unknown as RegExpExecArray);
|
|
24
|
+
});
|
|
25
|
+
}
|
|
26
|
+
const unique = [...new Set(maskedkeys)];
|
|
27
|
+
return {
|
|
28
|
+
text,
|
|
29
|
+
maskedkeys: unique,
|
|
30
|
+
reason:
|
|
31
|
+
unique.length === 0
|
|
32
|
+
? "The log text carries no secret shaped key value pair; the masking pass changed nothing."
|
|
33
|
+
: `The masking pass covered the log field${unique.length === 1 ? "" : "s"} ${unique.join(", ")} the text carried since the audit; the typed values answer the redaction marker.`,
|
|
34
|
+
};
|
|
35
|
+
}
|
|
36
|
+
|
|
37
|
+
/** Gates the local signature check option of the virus scanning hook: a scanner configured with a local signature list answers its verdict on the device before any remote endpoint fires, and a digest that matches a local signature flags the file while a digest that matches nothing leaves the verdict to the configured hook. */
|
|
38
|
+
export function localscangate(input: { hook?: { scanner: string; localsignatures?: string[] }; digest?: string }): {
|
|
39
|
+
verdict: scanverdict;
|
|
40
|
+
reason: string;
|
|
41
|
+
} {
|
|
42
|
+
const signatures = input.hook?.localsignatures ?? [];
|
|
43
|
+
if (signatures.length === 0)
|
|
44
|
+
return {
|
|
45
|
+
verdict: "pending",
|
|
46
|
+
reason:
|
|
47
|
+
"The scanning hook carries no local signature list; the verdict stays with the configured scanner endpoint and the file holds.",
|
|
48
|
+
};
|
|
49
|
+
if (input.digest === undefined || input.digest.trim() === "")
|
|
50
|
+
return {
|
|
51
|
+
verdict: "pending",
|
|
52
|
+
reason: `The local signature check of ${input.hook?.scanner ?? "the scanning hook"} needs the file digest; a digest nobody computed flags nothing.`,
|
|
53
|
+
};
|
|
54
|
+
if (signatures.includes(input.digest))
|
|
55
|
+
return {
|
|
56
|
+
verdict: "flagged",
|
|
57
|
+
reason: `The local signature list of ${input.hook?.scanner} matched the file digest; the quarantine deletes the file and no remote endpoint ever fires.`,
|
|
58
|
+
};
|
|
59
|
+
return {
|
|
60
|
+
verdict: "pending",
|
|
61
|
+
reason: `The local signature list of ${input.hook?.scanner} matched no signature; the verdict falls back to the configured scanner endpoint and the file holds.`,
|
|
62
|
+
};
|
|
63
|
+
}
|
|
64
|
+
|
|
65
|
+
/** Builds the visible confirmation banner of the escape hatch: one record the surfaces render after the key press, because a halt of every native call at once deserves a confirmation the user sees and the audit trail keeps. */
|
|
66
|
+
export function hatchbannerof(input: { halted: number; at: number }): {
|
|
67
|
+
title: string;
|
|
68
|
+
explanation: string;
|
|
69
|
+
halted: number;
|
|
70
|
+
at: number;
|
|
71
|
+
} {
|
|
72
|
+
return {
|
|
73
|
+
title: `Escape hatch: ${input.halted} in flight call${input.halted === 1 ? "" : "s"} halted`,
|
|
74
|
+
explanation: `The escape hatch key stopped every native call in one press at ${new Date(input.at).toISOString()}; the transport detached until you reattach and the halt stays recorded in the audit trail.`,
|
|
75
|
+
halted: input.halted,
|
|
76
|
+
at: input.at,
|
|
77
|
+
};
|
|
78
|
+
}
|
|
79
|
+
|
|
80
|
+
/** Decides the review mode pause on a new domain: a navigation step that lands on a domain the profile workspace never recorded pauses the run with the explanatory card instead of dispatching silently, because a new domain is a new trust boundary the review walks the user through. */
|
|
81
|
+
export function newdomainpausecard(input: { origin: string; knownorigins: string[]; kind: string }): {
|
|
82
|
+
pause: boolean;
|
|
83
|
+
card: { title: string; explanation: string; origin: string };
|
|
84
|
+
reason: string;
|
|
85
|
+
} {
|
|
86
|
+
if (input.knownorigins.includes(input.origin))
|
|
87
|
+
return {
|
|
88
|
+
pause: false,
|
|
89
|
+
card: { title: "", explanation: "", origin: input.origin },
|
|
90
|
+
reason: `The domain ${input.origin} sits inside the recorded origins; the review mode runs the ${input.kind} step without the new domain pause.`,
|
|
91
|
+
};
|
|
92
|
+
return {
|
|
93
|
+
pause: true,
|
|
94
|
+
card: {
|
|
95
|
+
title: `New domain: ${input.origin}`,
|
|
96
|
+
explanation: `The ${input.kind} step targets a domain the profile workspace never recorded. The run pauses here so you can review the new trust boundary: the safedefaults profile applied reads only, every sensitive class stays denied, and the next explicit grant opens the domain the same way the first one did.`,
|
|
97
|
+
origin: input.origin,
|
|
98
|
+
},
|
|
99
|
+
reason: `The review mode paused the ${input.kind} step on the new domain ${input.origin} with the explanatory card; the run resumes after the domain review.`,
|
|
100
|
+
};
|
|
101
|
+
}
|
|
102
|
+
|
|
103
|
+
/** Selects every stored key that carries the trace of one run: the per run keys the families write end with the run id, so the purge of a run deletes every key that names it and no key survives with the run's data. */
|
|
104
|
+
export function runtracekeys(input: { runid: string; keys: string[] }): {
|
|
105
|
+
keys: string[];
|
|
106
|
+
kept: string[];
|
|
107
|
+
reason: string;
|
|
108
|
+
} {
|
|
109
|
+
if (input.runid.trim() === "")
|
|
110
|
+
throw new Error("The run trace purge names its run; a nameless run trace purges nothing.");
|
|
111
|
+
const runid = input.runid.trim();
|
|
112
|
+
const keys = input.keys.filter((key) => key === runid || key.endsWith(runid));
|
|
113
|
+
const kept = input.keys.filter((key) => !keys.includes(key));
|
|
114
|
+
return {
|
|
115
|
+
keys,
|
|
116
|
+
kept,
|
|
117
|
+
reason:
|
|
118
|
+
keys.length === 0
|
|
119
|
+
? `No stored key carries the trace of the run ${runid}; the run trace purge deletes nothing.`
|
|
120
|
+
: `The run trace purge deletes ${keys.length} stored key${keys.length === 1 ? "" : "s"} carrying the trace of the run ${runid} — ${keys.join(", ")} — while ${kept.length} key${kept.length === 1 ? "" : "s"} of other runs survive.`,
|
|
121
|
+
};
|
|
122
|
+
}
|
|
123
|
+
|
|
124
|
+
/** Gates the key rotation entry point of the encrypted sync path: the rotation needs both the current passphrase and the next one, and a rotation that reuses the same passphrase rekeys nothing. */
|
|
125
|
+
export function syncrotationgate(input: { current?: string; next?: string }): policyevaluation {
|
|
126
|
+
if ((input.current ?? "").trim() === "" || (input.next ?? "").trim() === "")
|
|
127
|
+
return {
|
|
128
|
+
allowed: false,
|
|
129
|
+
reason:
|
|
130
|
+
"The key rotation names both the current passphrase and the next one; a rotation without either passphrase never rekeys because no key ever defaults in code.",
|
|
131
|
+
};
|
|
132
|
+
if (input.current === input.next)
|
|
133
|
+
return {
|
|
134
|
+
allowed: false,
|
|
135
|
+
reason:
|
|
136
|
+
"The key rotation needs a next passphrase that differs from the current one; rotating onto the same key rekeys nothing.",
|
|
137
|
+
};
|
|
138
|
+
return {
|
|
139
|
+
allowed: true,
|
|
140
|
+
reason:
|
|
141
|
+
"The key rotation entry point opens with both passphrases present; the derived key rekeys the sync payloads while the passphrases never persist.",
|
|
142
|
+
};
|
|
143
|
+
}
|
|
144
|
+
|
|
145
|
+
/** Verifies the client signature of the local stdio bridge: the platform verifier answers when the platform allows signature verification, a presented signature that fails refuses the bridge, and a platform without a verifier keeps the bridge running unverified while the record says so. */
|
|
146
|
+
export function stdioclientsignaturegate(input: {
|
|
147
|
+
platformverifier?: (host: string, signature: string) => boolean;
|
|
148
|
+
host: string;
|
|
149
|
+
signature?: string;
|
|
150
|
+
}): { verified: boolean; allowed: boolean; reason: string } {
|
|
151
|
+
if (input.signature === undefined || input.platformverifier === undefined)
|
|
152
|
+
return {
|
|
153
|
+
verified: false,
|
|
154
|
+
allowed: true,
|
|
155
|
+
reason:
|
|
156
|
+
"The platform carries no signature verifier the bridge can call; the local stdio bridge stays unverified while the record marks it.",
|
|
157
|
+
};
|
|
158
|
+
if (!input.platformverifier(input.host, input.signature))
|
|
159
|
+
return {
|
|
160
|
+
verified: false,
|
|
161
|
+
allowed: false,
|
|
162
|
+
reason: `The client signature of the ${input.host} bridge failed the platform verification; the local stdio bridge refuses the client and no frame relays.`,
|
|
163
|
+
};
|
|
164
|
+
return {
|
|
165
|
+
verified: true,
|
|
166
|
+
allowed: true,
|
|
167
|
+
reason: `The platform verifier confirmed the client signature of the ${input.host} bridge; the local stdio bridge relays its frames under the verified client.`,
|
|
168
|
+
};
|
|
169
|
+
}
|
|
170
|
+
|
|
171
|
+
/** Masks and redacts one transparency export payload: the shape masking covers every typed field of the report while the redact regions of the origin mark the capture derived entries, so an export the transparency page issues leaves with the same masking and redaction the captures carry. */
|
|
172
|
+
export function transparencyexportmask(input: {
|
|
173
|
+
report: Record<string, unknown>;
|
|
174
|
+
shapes: string[];
|
|
175
|
+
regions: redactregion[];
|
|
176
|
+
}): { payload: Record<string, unknown>; maskedfields: string[]; redactedregions: number; reason: string } {
|
|
177
|
+
const payload = maskexport(input.report, input.shapes) as Record<string, unknown>;
|
|
178
|
+
const maskedfields = Object.keys(input.report).filter((key) => maskingfield(key, input.shapes));
|
|
179
|
+
if (input.regions.length > 0 && Array.isArray(payload.captures))
|
|
180
|
+
payload.captures = (payload.captures as unknown[]).map((entry) =>
|
|
181
|
+
Boolean(entry) && typeof entry === "object" && !Array.isArray(entry)
|
|
182
|
+
? { ...(entry as Record<string, unknown>), redacted: true, redactedregions: input.regions.length }
|
|
183
|
+
: entry,
|
|
184
|
+
);
|
|
185
|
+
return {
|
|
186
|
+
payload,
|
|
187
|
+
maskedfields,
|
|
188
|
+
redactedregions: input.regions.length,
|
|
189
|
+
reason: `The transparency export left with the masking pass over ${maskedfields.length} shaped field${maskedfields.length === 1 ? "" : "s"} and ${input.regions.length} redact region${input.regions.length === 1 ? "" : "s"} covering its capture derived entries; the raw values stay behind the redaction marker.`,
|
|
190
|
+
};
|
|
191
|
+
}
|