agentfootprint 10.9.0 → 11.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (1100) hide show
  1. package/AGENTS.md +14 -4
  2. package/CAPABILITIES.md +16 -3
  3. package/README.md +115 -52
  4. package/ai-instructions/claude-code/SKILL.md +14 -4
  5. package/dist/adapters/hosting/agentCoreA2A.js +4 -0
  6. package/dist/adapters/hosting/agentCoreA2A.js.map +1 -1
  7. package/dist/adapters/hosting/firestoreSessions.js +9 -2
  8. package/dist/adapters/hosting/firestoreSessions.js.map +1 -1
  9. package/dist/adapters/hosting/googleAgentEngine.js +4 -6
  10. package/dist/adapters/hosting/googleAgentEngine.js.map +1 -1
  11. package/dist/adapters/llm/AnthropicProvider.js +4 -0
  12. package/dist/adapters/llm/AnthropicProvider.js.map +1 -1
  13. package/dist/adapters/llm/BrowserAnthropicProvider.js +4 -0
  14. package/dist/adapters/llm/BrowserAnthropicProvider.js.map +1 -1
  15. package/dist/adapters/llm/MockProvider.js +2 -0
  16. package/dist/adapters/llm/MockProvider.js.map +1 -1
  17. package/dist/ag-ui/request.js +27 -2
  18. package/dist/ag-ui/request.js.map +1 -1
  19. package/dist/ag-ui/serializer.js +21 -8
  20. package/dist/ag-ui/serializer.js.map +1 -1
  21. package/dist/answer-account/facts/howSure.js +3 -0
  22. package/dist/answer-account/facts/howSure.js.map +1 -1
  23. package/dist/answer-account/templates.js +4 -1
  24. package/dist/answer-account/templates.js.map +1 -1
  25. package/dist/answer-validation/agentChecks.js +130 -0
  26. package/dist/answer-validation/agentChecks.js.map +1 -0
  27. package/dist/answer-validation/index.js +5 -1
  28. package/dist/answer-validation/index.js.map +1 -1
  29. package/dist/answer-validation/outputSchema.js +8 -1
  30. package/dist/answer-validation/outputSchema.js.map +1 -1
  31. package/dist/answer-validation/types.js +9 -2
  32. package/dist/answer-validation/types.js.map +1 -1
  33. package/dist/answer-validation/validate.js +82 -3
  34. package/dist/answer-validation/validate.js.map +1 -1
  35. package/dist/core/Agent.js +214 -59
  36. package/dist/core/Agent.js.map +1 -1
  37. package/dist/core/RunnerBase.js +4 -0
  38. package/dist/core/RunnerBase.js.map +1 -1
  39. package/dist/core/agent/AgentBuilder.js +139 -33
  40. package/dist/core/agent/AgentBuilder.js.map +1 -1
  41. package/dist/core/agent/arguments/checks.js +1 -1
  42. package/dist/core/agent/arguments/subflow.js +1 -0
  43. package/dist/core/agent/arguments/subflow.js.map +1 -1
  44. package/dist/core/agent/assessment/assess.js +31 -0
  45. package/dist/core/agent/assessment/assess.js.map +1 -1
  46. package/dist/core/agent/assessment/compose.js +3 -0
  47. package/dist/core/agent/assessment/compose.js.map +1 -1
  48. package/dist/core/agent/assessment/reasons.js +19 -1
  49. package/dist/core/agent/assessment/reasons.js.map +1 -1
  50. package/dist/core/agent/buildAgentChart.js +7 -17
  51. package/dist/core/agent/buildAgentChart.js.map +1 -1
  52. package/dist/core/agent/buildDynamicAgentChart.js +18 -15
  53. package/dist/core/agent/buildDynamicAgentChart.js.map +1 -1
  54. package/dist/core/agent/buildToolRegistry.js +13 -0
  55. package/dist/core/agent/buildToolRegistry.js.map +1 -1
  56. package/dist/core/agent/composeRequest.js +19 -1
  57. package/dist/core/agent/composeRequest.js.map +1 -1
  58. package/dist/core/agent/evidence/answerCarriers.js +1 -1
  59. package/dist/core/agent/evidence/answerCarriers.js.map +1 -1
  60. package/dist/core/agent/evidence/evidenceIndex.js +1 -1
  61. package/dist/core/agent/evidence/evidenceIndex.js.map +1 -1
  62. package/dist/core/agent/evidence/extract.js +139 -32
  63. package/dist/core/agent/evidence/extract.js.map +1 -1
  64. package/dist/core/agent/evidence/figures.js +1 -1
  65. package/dist/core/agent/evidence/figures.js.map +1 -1
  66. package/dist/core/agent/evidence/frames.js +3 -1
  67. package/dist/core/agent/evidence/frames.js.map +1 -1
  68. package/dist/core/agent/evidence/gate.js +10 -2
  69. package/dist/core/agent/evidence/gate.js.map +1 -1
  70. package/dist/core/agent/evidence/numericRanges.js +1 -1
  71. package/dist/core/agent/evidence/numericRanges.js.map +1 -1
  72. package/dist/core/agent/evidence/recovery.js +3 -1
  73. package/dist/core/agent/evidence/recovery.js.map +1 -1
  74. package/dist/core/agent/evidence/resultCarries.js +3 -3
  75. package/dist/core/agent/evidence/resultCarries.js.map +1 -1
  76. package/dist/core/agent/findings/context.js +163 -0
  77. package/dist/core/agent/findings/context.js.map +1 -0
  78. package/dist/core/agent/findings/contingent.js +1 -1
  79. package/dist/core/agent/findings/contingent.js.map +1 -1
  80. package/dist/core/agent/findings/instruction.js +26 -0
  81. package/dist/core/agent/findings/instruction.js.map +1 -0
  82. package/dist/core/agent/findings/ledger.js +49 -0
  83. package/dist/core/agent/findings/ledger.js.map +1 -1
  84. package/dist/core/agent/findings/negativeProse.js +53 -0
  85. package/dist/core/agent/findings/negativeProse.js.map +1 -0
  86. package/dist/core/agent/findings/offer.js +9 -57
  87. package/dist/core/agent/findings/offer.js.map +1 -1
  88. package/dist/core/agent/findings/reserved.js +12 -83
  89. package/dist/core/agent/findings/reserved.js.map +1 -1
  90. package/dist/core/agent/findings/types.js +3 -2
  91. package/dist/core/agent/findings/types.js.map +1 -1
  92. package/dist/core/agent/honesty/mounts.js +6 -0
  93. package/dist/core/agent/honesty/mounts.js.map +1 -1
  94. package/dist/core/agent/nativeOutputFormat.js +19 -1
  95. package/dist/core/agent/nativeOutputFormat.js.map +1 -1
  96. package/dist/core/agent/negativeClaims/capture.js +522 -0
  97. package/dist/core/agent/negativeClaims/capture.js.map +1 -0
  98. package/dist/core/agent/negativeClaims/checkpoint.js +83 -0
  99. package/dist/core/agent/negativeClaims/checkpoint.js.map +1 -0
  100. package/dist/core/agent/negativeClaims/config.js +192 -0
  101. package/dist/core/agent/negativeClaims/config.js.map +1 -0
  102. package/dist/core/agent/negativeClaims/delivery.js +249 -0
  103. package/dist/core/agent/negativeClaims/delivery.js.map +1 -0
  104. package/dist/core/agent/negativeClaims/observe.js +38 -0
  105. package/dist/core/agent/negativeClaims/observe.js.map +1 -0
  106. package/dist/core/agent/negativeClaims/prose.js +116 -0
  107. package/dist/core/agent/negativeClaims/prose.js.map +1 -0
  108. package/dist/core/agent/negativeClaims/recheck.js +37 -0
  109. package/dist/core/agent/negativeClaims/recheck.js.map +1 -0
  110. package/dist/core/agent/outputEnforcement.js.map +1 -1
  111. package/dist/core/agent/stages/answerEvidence.js +21 -0
  112. package/dist/core/agent/stages/answerEvidence.js.map +1 -0
  113. package/dist/core/agent/stages/answerValidation.js +112 -4
  114. package/dist/core/agent/stages/answerValidation.js.map +1 -1
  115. package/dist/core/agent/stages/callLLM.js +82 -41
  116. package/dist/core/agent/stages/callLLM.js.map +1 -1
  117. package/dist/core/agent/stages/evidenceRecheck.js +16 -2
  118. package/dist/core/agent/stages/evidenceRecheck.js.map +1 -1
  119. package/dist/core/agent/stages/outputRetry.js +23 -7
  120. package/dist/core/agent/stages/outputRetry.js.map +1 -1
  121. package/dist/core/agent/stages/prepareFinal.js +6 -1
  122. package/dist/core/agent/stages/prepareFinal.js.map +1 -1
  123. package/dist/core/agent/stages/reliabilityExecution.js +3 -0
  124. package/dist/core/agent/stages/reliabilityExecution.js.map +1 -1
  125. package/dist/core/agent/stages/route.js +81 -33
  126. package/dist/core/agent/stages/route.js.map +1 -1
  127. package/dist/core/agent/stages/searchCoverage.js +121 -0
  128. package/dist/core/agent/stages/searchCoverage.js.map +1 -0
  129. package/dist/core/agent/stages/seed.js +19 -21
  130. package/dist/core/agent/stages/seed.js.map +1 -1
  131. package/dist/core/agent/stages/toolCalls.js +699 -76
  132. package/dist/core/agent/stages/toolCalls.js.map +1 -1
  133. package/dist/core/agent/toolChoice/compose.js +1 -0
  134. package/dist/core/agent/toolChoice/compose.js.map +1 -1
  135. package/dist/core/agent/toolChoice/pick.js +2 -0
  136. package/dist/core/agent/toolChoice/pick.js.map +1 -1
  137. package/dist/core/checkin.js +82 -18
  138. package/dist/core/checkin.js.map +1 -1
  139. package/dist/core/consentRequest.js +844 -0
  140. package/dist/core/consentRequest.js.map +1 -0
  141. package/dist/core/pause.js +104 -6
  142. package/dist/core/pause.js.map +1 -1
  143. package/dist/core/runCheckpoint.js +8 -1
  144. package/dist/core/runCheckpoint.js.map +1 -1
  145. package/dist/core/slots/buildToolsSlot.js +4 -24
  146. package/dist/core/slots/buildToolsSlot.js.map +1 -1
  147. package/dist/debug.js +2 -0
  148. package/dist/debug.js.map +1 -1
  149. package/dist/esm/adapters/hosting/agentCoreA2A.js +4 -0
  150. package/dist/esm/adapters/hosting/agentCoreA2A.js.map +1 -1
  151. package/dist/esm/adapters/hosting/firestoreSessions.js +9 -2
  152. package/dist/esm/adapters/hosting/firestoreSessions.js.map +1 -1
  153. package/dist/esm/adapters/hosting/googleAgentEngine.js +4 -6
  154. package/dist/esm/adapters/hosting/googleAgentEngine.js.map +1 -1
  155. package/dist/esm/adapters/llm/AnthropicProvider.d.ts +1 -0
  156. package/dist/esm/adapters/llm/AnthropicProvider.js +5 -1
  157. package/dist/esm/adapters/llm/AnthropicProvider.js.map +1 -1
  158. package/dist/esm/adapters/llm/BrowserAnthropicProvider.d.ts +1 -0
  159. package/dist/esm/adapters/llm/BrowserAnthropicProvider.js +5 -1
  160. package/dist/esm/adapters/llm/BrowserAnthropicProvider.js.map +1 -1
  161. package/dist/esm/adapters/llm/MockProvider.d.ts +2 -0
  162. package/dist/esm/adapters/llm/MockProvider.js +2 -0
  163. package/dist/esm/adapters/llm/MockProvider.js.map +1 -1
  164. package/dist/esm/ag-ui/request.d.ts +4 -1
  165. package/dist/esm/ag-ui/request.js +27 -2
  166. package/dist/esm/ag-ui/request.js.map +1 -1
  167. package/dist/esm/ag-ui/serializer.d.ts +15 -2
  168. package/dist/esm/ag-ui/serializer.js +20 -7
  169. package/dist/esm/ag-ui/serializer.js.map +1 -1
  170. package/dist/esm/answer-account/facts/howSure.js +3 -0
  171. package/dist/esm/answer-account/facts/howSure.js.map +1 -1
  172. package/dist/esm/answer-account/templates.d.ts +4 -1
  173. package/dist/esm/answer-account/templates.js +4 -1
  174. package/dist/esm/answer-account/templates.js.map +1 -1
  175. package/dist/esm/answer-validation/agentChecks.d.ts +75 -0
  176. package/dist/esm/answer-validation/agentChecks.js +125 -0
  177. package/dist/esm/answer-validation/agentChecks.js.map +1 -0
  178. package/dist/esm/answer-validation/index.d.ts +2 -1
  179. package/dist/esm/answer-validation/index.js +1 -0
  180. package/dist/esm/answer-validation/index.js.map +1 -1
  181. package/dist/esm/answer-validation/outputSchema.d.ts +18 -7
  182. package/dist/esm/answer-validation/outputSchema.js +8 -1
  183. package/dist/esm/answer-validation/outputSchema.js.map +1 -1
  184. package/dist/esm/answer-validation/types.d.ts +125 -1
  185. package/dist/esm/answer-validation/types.js +9 -2
  186. package/dist/esm/answer-validation/types.js.map +1 -1
  187. package/dist/esm/answer-validation/validate.d.ts +11 -2
  188. package/dist/esm/answer-validation/validate.js +82 -3
  189. package/dist/esm/answer-validation/validate.js.map +1 -1
  190. package/dist/esm/core/Agent.d.ts +25 -1
  191. package/dist/esm/core/Agent.js +202 -47
  192. package/dist/esm/core/Agent.js.map +1 -1
  193. package/dist/esm/core/RunnerBase.js +4 -0
  194. package/dist/esm/core/RunnerBase.js.map +1 -1
  195. package/dist/esm/core/agent/AgentBuilder.d.ts +43 -12
  196. package/dist/esm/core/agent/AgentBuilder.js +135 -29
  197. package/dist/esm/core/agent/AgentBuilder.js.map +1 -1
  198. package/dist/esm/core/agent/arguments/checks.d.ts +1 -1
  199. package/dist/esm/core/agent/arguments/checks.js +1 -1
  200. package/dist/esm/core/agent/arguments/subflow.d.ts +6 -0
  201. package/dist/esm/core/agent/arguments/subflow.js +1 -0
  202. package/dist/esm/core/agent/arguments/subflow.js.map +1 -1
  203. package/dist/esm/core/agent/assessment/assess.js +31 -0
  204. package/dist/esm/core/agent/assessment/assess.js.map +1 -1
  205. package/dist/esm/core/agent/assessment/compose.js +3 -0
  206. package/dist/esm/core/agent/assessment/compose.js.map +1 -1
  207. package/dist/esm/core/agent/assessment/reasons.js +19 -1
  208. package/dist/esm/core/agent/assessment/reasons.js.map +1 -1
  209. package/dist/esm/core/agent/assessment/types.d.ts +3 -2
  210. package/dist/esm/core/agent/buildAgentChart.d.ts +4 -12
  211. package/dist/esm/core/agent/buildAgentChart.js +7 -17
  212. package/dist/esm/core/agent/buildAgentChart.js.map +1 -1
  213. package/dist/esm/core/agent/buildDynamicAgentChart.js +18 -15
  214. package/dist/esm/core/agent/buildDynamicAgentChart.js.map +1 -1
  215. package/dist/esm/core/agent/buildToolRegistry.js +13 -0
  216. package/dist/esm/core/agent/buildToolRegistry.js.map +1 -1
  217. package/dist/esm/core/agent/composeRequest.d.ts +19 -0
  218. package/dist/esm/core/agent/composeRequest.js +17 -0
  219. package/dist/esm/core/agent/composeRequest.js.map +1 -1
  220. package/dist/esm/core/agent/evidence/answerCarriers.js +1 -1
  221. package/dist/esm/core/agent/evidence/answerCarriers.js.map +1 -1
  222. package/dist/esm/core/agent/evidence/evidenceIndex.js +1 -1
  223. package/dist/esm/core/agent/evidence/evidenceIndex.js.map +1 -1
  224. package/dist/esm/core/agent/evidence/extract.d.ts +45 -6
  225. package/dist/esm/core/agent/evidence/extract.js +136 -30
  226. package/dist/esm/core/agent/evidence/extract.js.map +1 -1
  227. package/dist/esm/core/agent/evidence/figures.js +1 -1
  228. package/dist/esm/core/agent/evidence/figures.js.map +1 -1
  229. package/dist/esm/core/agent/evidence/frames.js +4 -2
  230. package/dist/esm/core/agent/evidence/frames.js.map +1 -1
  231. package/dist/esm/core/agent/evidence/gate.d.ts +6 -0
  232. package/dist/esm/core/agent/evidence/gate.js +11 -3
  233. package/dist/esm/core/agent/evidence/gate.js.map +1 -1
  234. package/dist/esm/core/agent/evidence/numericRanges.js +1 -1
  235. package/dist/esm/core/agent/evidence/numericRanges.js.map +1 -1
  236. package/dist/esm/core/agent/evidence/recovery.d.ts +2 -0
  237. package/dist/esm/core/agent/evidence/recovery.js +3 -1
  238. package/dist/esm/core/agent/evidence/recovery.js.map +1 -1
  239. package/dist/esm/core/agent/evidence/resultCarries.d.ts +2 -2
  240. package/dist/esm/core/agent/evidence/resultCarries.js +3 -3
  241. package/dist/esm/core/agent/evidence/resultCarries.js.map +1 -1
  242. package/dist/esm/core/agent/evidence/types.d.ts +17 -0
  243. package/dist/esm/core/agent/findings/context.d.ts +13 -0
  244. package/dist/esm/core/agent/findings/context.js +158 -0
  245. package/dist/esm/core/agent/findings/context.js.map +1 -0
  246. package/dist/esm/core/agent/findings/contingent.js +1 -1
  247. package/dist/esm/core/agent/findings/contingent.js.map +1 -1
  248. package/dist/esm/core/agent/findings/instruction.d.ts +12 -0
  249. package/dist/esm/core/agent/findings/instruction.js +22 -0
  250. package/dist/esm/core/agent/findings/instruction.js.map +1 -0
  251. package/dist/esm/core/agent/findings/ledger.d.ts +3 -0
  252. package/dist/esm/core/agent/findings/ledger.js +49 -0
  253. package/dist/esm/core/agent/findings/ledger.js.map +1 -1
  254. package/dist/esm/core/agent/findings/negativeProse.d.ts +1 -0
  255. package/dist/esm/core/agent/findings/negativeProse.js +49 -0
  256. package/dist/esm/core/agent/findings/negativeProse.js.map +1 -0
  257. package/dist/esm/core/agent/findings/offer.d.ts +9 -57
  258. package/dist/esm/core/agent/findings/offer.js +9 -57
  259. package/dist/esm/core/agent/findings/offer.js.map +1 -1
  260. package/dist/esm/core/agent/findings/reserved.d.ts +7 -31
  261. package/dist/esm/core/agent/findings/reserved.js +12 -83
  262. package/dist/esm/core/agent/findings/reserved.js.map +1 -1
  263. package/dist/esm/core/agent/findings/types.d.ts +11 -4
  264. package/dist/esm/core/agent/findings/types.js +3 -2
  265. package/dist/esm/core/agent/findings/types.js.map +1 -1
  266. package/dist/esm/core/agent/honesty/mounts.d.ts +7 -0
  267. package/dist/esm/core/agent/honesty/mounts.js +6 -0
  268. package/dist/esm/core/agent/honesty/mounts.js.map +1 -1
  269. package/dist/esm/core/agent/nativeOutputFormat.d.ts +2 -1
  270. package/dist/esm/core/agent/nativeOutputFormat.js +19 -1
  271. package/dist/esm/core/agent/nativeOutputFormat.js.map +1 -1
  272. package/dist/esm/core/agent/negativeClaims/capture.d.ts +65 -0
  273. package/dist/esm/core/agent/negativeClaims/capture.js +508 -0
  274. package/dist/esm/core/agent/negativeClaims/capture.js.map +1 -0
  275. package/dist/esm/core/agent/negativeClaims/checkpoint.d.ts +7 -0
  276. package/dist/esm/core/agent/negativeClaims/checkpoint.js +79 -0
  277. package/dist/esm/core/agent/negativeClaims/checkpoint.js.map +1 -0
  278. package/dist/esm/core/agent/negativeClaims/config.d.ts +66 -0
  279. package/dist/esm/core/agent/negativeClaims/config.js +185 -0
  280. package/dist/esm/core/agent/negativeClaims/config.js.map +1 -0
  281. package/dist/esm/core/agent/negativeClaims/delivery.d.ts +24 -0
  282. package/dist/esm/core/agent/negativeClaims/delivery.js +244 -0
  283. package/dist/esm/core/agent/negativeClaims/delivery.js.map +1 -0
  284. package/dist/esm/core/agent/negativeClaims/observe.d.ts +14 -0
  285. package/dist/esm/core/agent/negativeClaims/observe.js +34 -0
  286. package/dist/esm/core/agent/negativeClaims/observe.js.map +1 -0
  287. package/dist/esm/core/agent/negativeClaims/prose.d.ts +9 -0
  288. package/dist/esm/core/agent/negativeClaims/prose.js +112 -0
  289. package/dist/esm/core/agent/negativeClaims/prose.js.map +1 -0
  290. package/dist/esm/core/agent/negativeClaims/recheck.d.ts +7 -0
  291. package/dist/esm/core/agent/negativeClaims/recheck.js +32 -0
  292. package/dist/esm/core/agent/negativeClaims/recheck.js.map +1 -0
  293. package/dist/esm/core/agent/outputEnforcement.d.ts +5 -1
  294. package/dist/esm/core/agent/outputEnforcement.js.map +1 -1
  295. package/dist/esm/core/agent/receipt/receipt.d.ts +2 -2
  296. package/dist/esm/core/agent/stages/answerEvidence.d.ts +28 -0
  297. package/dist/esm/core/agent/stages/answerEvidence.js +16 -0
  298. package/dist/esm/core/agent/stages/answerEvidence.js.map +1 -0
  299. package/dist/esm/core/agent/stages/answerValidation.d.ts +15 -3
  300. package/dist/esm/core/agent/stages/answerValidation.js +113 -5
  301. package/dist/esm/core/agent/stages/answerValidation.js.map +1 -1
  302. package/dist/esm/core/agent/stages/callLLM.d.ts +11 -2
  303. package/dist/esm/core/agent/stages/callLLM.js +85 -44
  304. package/dist/esm/core/agent/stages/callLLM.js.map +1 -1
  305. package/dist/esm/core/agent/stages/evidenceRecheck.d.ts +6 -1
  306. package/dist/esm/core/agent/stages/evidenceRecheck.js +16 -2
  307. package/dist/esm/core/agent/stages/evidenceRecheck.js.map +1 -1
  308. package/dist/esm/core/agent/stages/outputRetry.js +23 -7
  309. package/dist/esm/core/agent/stages/outputRetry.js.map +1 -1
  310. package/dist/esm/core/agent/stages/prepareFinal.js +6 -1
  311. package/dist/esm/core/agent/stages/prepareFinal.js.map +1 -1
  312. package/dist/esm/core/agent/stages/reliabilityExecution.d.ts +3 -0
  313. package/dist/esm/core/agent/stages/reliabilityExecution.js +3 -0
  314. package/dist/esm/core/agent/stages/reliabilityExecution.js.map +1 -1
  315. package/dist/esm/core/agent/stages/route.d.ts +8 -2
  316. package/dist/esm/core/agent/stages/route.js +81 -33
  317. package/dist/esm/core/agent/stages/route.js.map +1 -1
  318. package/dist/esm/core/agent/stages/searchCoverage.d.ts +94 -0
  319. package/dist/esm/core/agent/stages/searchCoverage.js +117 -0
  320. package/dist/esm/core/agent/stages/searchCoverage.js.map +1 -0
  321. package/dist/esm/core/agent/stages/seed.d.ts +10 -0
  322. package/dist/esm/core/agent/stages/seed.js +19 -21
  323. package/dist/esm/core/agent/stages/seed.js.map +1 -1
  324. package/dist/esm/core/agent/stages/toolCalls.d.ts +16 -0
  325. package/dist/esm/core/agent/stages/toolCalls.js +700 -77
  326. package/dist/esm/core/agent/stages/toolCalls.js.map +1 -1
  327. package/dist/esm/core/agent/toolChoice/compose.d.ts +2 -0
  328. package/dist/esm/core/agent/toolChoice/compose.js +1 -0
  329. package/dist/esm/core/agent/toolChoice/compose.js.map +1 -1
  330. package/dist/esm/core/agent/toolChoice/pick.d.ts +2 -0
  331. package/dist/esm/core/agent/toolChoice/pick.js +2 -0
  332. package/dist/esm/core/agent/toolChoice/pick.js.map +1 -1
  333. package/dist/esm/core/agent/toolChoice/types.d.ts +1 -1
  334. package/dist/esm/core/agent/types.d.ts +86 -5
  335. package/dist/esm/core/checkin.d.ts +83 -7
  336. package/dist/esm/core/checkin.js +77 -15
  337. package/dist/esm/core/checkin.js.map +1 -1
  338. package/dist/esm/core/consentRequest.d.ts +488 -0
  339. package/dist/esm/core/consentRequest.js +817 -0
  340. package/dist/esm/core/consentRequest.js.map +1 -0
  341. package/dist/esm/core/pause.d.ts +88 -7
  342. package/dist/esm/core/pause.js +102 -5
  343. package/dist/esm/core/pause.js.map +1 -1
  344. package/dist/esm/core/runCheckpoint.d.ts +5 -1
  345. package/dist/esm/core/runCheckpoint.js +8 -1
  346. package/dist/esm/core/runCheckpoint.js.map +1 -1
  347. package/dist/esm/core/slots/buildToolsSlot.d.ts +4 -11
  348. package/dist/esm/core/slots/buildToolsSlot.js +4 -24
  349. package/dist/esm/core/slots/buildToolsSlot.js.map +1 -1
  350. package/dist/esm/debug.d.ts +1 -1
  351. package/dist/esm/debug.js +2 -0
  352. package/dist/esm/debug.js.map +1 -1
  353. package/dist/esm/events/payloads.d.ts +145 -3
  354. package/dist/esm/events/registry.d.ts +3 -1
  355. package/dist/esm/events/registry.js +2 -0
  356. package/dist/esm/events/registry.js.map +1 -1
  357. package/dist/esm/hosting/answeredPause.d.ts +301 -0
  358. package/dist/esm/hosting/answeredPause.js +522 -0
  359. package/dist/esm/hosting/answeredPause.js.map +1 -0
  360. package/dist/esm/hosting/conformance/cases.js +81 -1
  361. package/dist/esm/hosting/conformance/cases.js.map +1 -1
  362. package/dist/esm/hosting/conformance/types.d.ts +1 -1
  363. package/dist/esm/hosting/envelope.d.ts +6 -0
  364. package/dist/esm/hosting/envelope.js +14 -0
  365. package/dist/esm/hosting/envelope.js.map +1 -1
  366. package/dist/esm/hosting/errors.d.ts +14 -2
  367. package/dist/esm/hosting/errors.js +13 -6
  368. package/dist/esm/hosting/errors.js.map +1 -1
  369. package/dist/esm/hosting/index.d.ts +2 -1
  370. package/dist/esm/hosting/index.js +3 -0
  371. package/dist/esm/hosting/index.js.map +1 -1
  372. package/dist/esm/hosting/memorySessions.js +10 -2
  373. package/dist/esm/hosting/memorySessions.js.map +1 -1
  374. package/dist/esm/hosting/processLocalStore.d.ts +20 -0
  375. package/dist/esm/hosting/processLocalStore.js +26 -0
  376. package/dist/esm/hosting/processLocalStore.js.map +1 -0
  377. package/dist/esm/hosting/protocolAdapter.d.ts +13 -0
  378. package/dist/esm/hosting/refusalStatus.d.ts +6 -0
  379. package/dist/esm/hosting/refusalStatus.js +13 -0
  380. package/dist/esm/hosting/refusalStatus.js.map +1 -1
  381. package/dist/esm/hosting/sessionWire.d.ts +8 -3
  382. package/dist/esm/hosting/sessionWire.js.map +1 -1
  383. package/dist/esm/hosting/sqliteSessions.js +27 -3
  384. package/dist/esm/hosting/sqliteSessions.js.map +1 -1
  385. package/dist/esm/hosting/standingAgent.js +70 -26
  386. package/dist/esm/hosting/standingAgent.js.map +1 -1
  387. package/dist/esm/hosting/streamHandler.d.ts +3 -1
  388. package/dist/esm/hosting/streamHandler.js +150 -32
  389. package/dist/esm/hosting/streamHandler.js.map +1 -1
  390. package/dist/esm/hosting/types.d.ts +28 -6
  391. package/dist/esm/hosting/types.js.map +1 -1
  392. package/dist/esm/index.d.ts +7 -3
  393. package/dist/esm/index.js +21 -17
  394. package/dist/esm/index.js.map +1 -1
  395. package/dist/esm/integrity/negative-claim/anchor.d.ts +9 -0
  396. package/dist/esm/integrity/negative-claim/anchor.js +120 -0
  397. package/dist/esm/integrity/negative-claim/anchor.js.map +1 -0
  398. package/dist/esm/integrity/negative-claim/citation.d.ts +34 -0
  399. package/dist/esm/integrity/negative-claim/citation.js +367 -0
  400. package/dist/esm/integrity/negative-claim/citation.js.map +1 -0
  401. package/dist/esm/integrity/negative-claim/containment.d.ts +40 -0
  402. package/dist/esm/integrity/negative-claim/containment.js +257 -0
  403. package/dist/esm/integrity/negative-claim/containment.js.map +1 -0
  404. package/dist/esm/integrity/negative-claim/derive.d.ts +17 -0
  405. package/dist/esm/integrity/negative-claim/derive.js +122 -0
  406. package/dist/esm/integrity/negative-claim/derive.js.map +1 -0
  407. package/dist/esm/integrity/negative-claim/detect.d.ts +44 -0
  408. package/dist/esm/integrity/negative-claim/detect.js +65 -0
  409. package/dist/esm/integrity/negative-claim/detect.js.map +1 -0
  410. package/dist/esm/integrity/negative-claim/judge.d.ts +41 -0
  411. package/dist/esm/integrity/negative-claim/judge.js +95 -0
  412. package/dist/esm/integrity/negative-claim/judge.js.map +1 -0
  413. package/dist/esm/integrity/negative-claim/language.d.ts +14 -0
  414. package/dist/esm/integrity/negative-claim/language.js +42 -0
  415. package/dist/esm/integrity/negative-claim/language.js.map +1 -0
  416. package/dist/esm/integrity/negative-claim/limits.d.ts +2 -0
  417. package/dist/esm/integrity/negative-claim/limits.js +3 -0
  418. package/dist/esm/integrity/negative-claim/limits.js.map +1 -0
  419. package/dist/esm/integrity/negative-claim/matcher.d.ts +51 -0
  420. package/dist/esm/integrity/negative-claim/matcher.js +164 -0
  421. package/dist/esm/integrity/negative-claim/matcher.js.map +1 -0
  422. package/dist/esm/integrity/negative-claim/noRead.d.ts +8 -0
  423. package/dist/esm/integrity/negative-claim/noRead.js +9 -0
  424. package/dist/esm/integrity/negative-claim/noRead.js.map +1 -0
  425. package/dist/esm/integrity/negative-claim/phrases.d.ts +69 -0
  426. package/dist/esm/integrity/negative-claim/phrases.js +249 -0
  427. package/dist/esm/integrity/negative-claim/phrases.js.map +1 -0
  428. package/dist/esm/integrity/negative-claim/prose.d.ts +36 -0
  429. package/dist/esm/integrity/negative-claim/prose.js +143 -0
  430. package/dist/esm/integrity/negative-claim/prose.js.map +1 -0
  431. package/dist/esm/integrity/negative-claim/readings.d.ts +81 -0
  432. package/dist/esm/integrity/negative-claim/readings.js +322 -0
  433. package/dist/esm/integrity/negative-claim/readings.js.map +1 -0
  434. package/dist/esm/integrity/negative-claim/resolve.d.ts +37 -0
  435. package/dist/esm/integrity/negative-claim/resolve.js +179 -0
  436. package/dist/esm/integrity/negative-claim/resolve.js.map +1 -0
  437. package/dist/esm/integrity/negative-claim/statement.d.ts +75 -0
  438. package/dist/esm/integrity/negative-claim/statement.js +361 -0
  439. package/dist/esm/integrity/negative-claim/statement.js.map +1 -0
  440. package/dist/esm/integrity/negative-claim/types.d.ts +144 -0
  441. package/dist/esm/integrity/negative-claim/types.js +39 -0
  442. package/dist/esm/integrity/negative-claim/types.js.map +1 -0
  443. package/dist/esm/integrity/negative-claim/units.d.ts +33 -0
  444. package/dist/esm/integrity/negative-claim/units.js +185 -0
  445. package/dist/esm/integrity/negative-claim/units.js.map +1 -0
  446. package/dist/esm/integrity/negative-claim/work.d.ts +12 -0
  447. package/dist/esm/integrity/negative-claim/work.js +19 -0
  448. package/dist/esm/integrity/negative-claim/work.js.map +1 -0
  449. package/dist/esm/integrity/unsupported-claim/check.d.ts +33 -0
  450. package/dist/esm/integrity/unsupported-claim/check.js +48 -26
  451. package/dist/esm/integrity/unsupported-claim/check.js.map +1 -1
  452. package/dist/esm/integrity/unsupported-claim/delivered.d.ts +72 -0
  453. package/dist/esm/integrity/unsupported-claim/delivered.js +98 -0
  454. package/dist/esm/integrity/unsupported-claim/delivered.js.map +1 -0
  455. package/dist/esm/integrity/unsupported-claim/evaluate.d.ts +103 -1
  456. package/dist/esm/integrity/unsupported-claim/evaluate.js +373 -0
  457. package/dist/esm/integrity/unsupported-claim/evaluate.js.map +1 -1
  458. package/dist/esm/lib/conventions.d.ts +1 -0
  459. package/dist/esm/lib/conventions.js +3 -0
  460. package/dist/esm/lib/conventions.js.map +1 -1
  461. package/dist/esm/lib/frozenCopy.d.ts +75 -0
  462. package/dist/esm/lib/frozenCopy.js +198 -0
  463. package/dist/esm/lib/frozenCopy.js.map +1 -0
  464. package/dist/esm/lib/jsonFaithful.d.ts +34 -0
  465. package/dist/esm/lib/jsonFaithful.js +111 -0
  466. package/dist/esm/lib/jsonFaithful.js.map +1 -0
  467. package/dist/esm/lib/normalize.d.ts +96 -0
  468. package/dist/esm/{tools → lib}/normalize.js +142 -6
  469. package/dist/esm/lib/normalize.js.map +1 -0
  470. package/dist/esm/lib/saidByPerson.d.ts +2 -0
  471. package/dist/esm/lib/saidByPerson.js +3 -0
  472. package/dist/esm/lib/saidByPerson.js.map +1 -1
  473. package/dist/esm/mcp/toolExtras.d.ts +10 -0
  474. package/dist/esm/mcp/toolExtras.js +11 -0
  475. package/dist/esm/mcp/toolExtras.js.map +1 -1
  476. package/dist/esm/provider-contract/nativeOutputSchema.d.ts +6 -2
  477. package/dist/esm/provider-contract/nativeOutputSchema.js +9 -2
  478. package/dist/esm/provider-contract/nativeOutputSchema.js.map +1 -1
  479. package/dist/esm/provider-contract/types.d.ts +12 -1
  480. package/dist/esm/provider-contract/types.js.map +1 -1
  481. package/dist/esm/recorders/core/CheckInRecorder.d.ts +6 -1
  482. package/dist/esm/recorders/core/CheckInRecorder.js +5 -1
  483. package/dist/esm/recorders/core/CheckInRecorder.js.map +1 -1
  484. package/dist/esm/redaction/conversation.js +6 -0
  485. package/dist/esm/redaction/conversation.js.map +1 -1
  486. package/dist/esm/redaction/knownStrings.d.ts +9 -7
  487. package/dist/esm/redaction/knownStrings.js +74 -0
  488. package/dist/esm/redaction/knownStrings.js.map +1 -1
  489. package/dist/esm/resilience/withCircuitBreaker.js +3 -0
  490. package/dist/esm/resilience/withCircuitBreaker.js.map +1 -1
  491. package/dist/esm/resilience/withFallback.js +8 -1
  492. package/dist/esm/resilience/withFallback.js.map +1 -1
  493. package/dist/esm/resilience/withRetry.js +3 -0
  494. package/dist/esm/resilience/withRetry.js.map +1 -1
  495. package/dist/esm/semantics/check.d.ts +44 -2
  496. package/dist/esm/semantics/check.js +112 -3
  497. package/dist/esm/semantics/check.js.map +1 -1
  498. package/dist/esm/semantics/cli.js +33 -3
  499. package/dist/esm/semantics/cli.js.map +1 -1
  500. package/dist/esm/semantics/coverage/absent.d.ts +19 -2
  501. package/dist/esm/semantics/coverage/absent.js +56 -52
  502. package/dist/esm/semantics/coverage/absent.js.map +1 -1
  503. package/dist/esm/semantics/coverage/among.d.ts +73 -0
  504. package/dist/esm/semantics/coverage/among.js +172 -0
  505. package/dist/esm/semantics/coverage/among.js.map +1 -0
  506. package/dist/esm/semantics/coverage/composedCoverage.d.ts +220 -0
  507. package/dist/esm/semantics/coverage/composedCoverage.js +42 -0
  508. package/dist/esm/semantics/coverage/composedCoverage.js.map +1 -0
  509. package/dist/esm/semantics/coverage/evidence.js +27 -2
  510. package/dist/esm/semantics/coverage/evidence.js.map +1 -1
  511. package/dist/esm/semantics/coverage/index.d.ts +4 -1
  512. package/dist/esm/semantics/coverage/index.js +2 -0
  513. package/dist/esm/semantics/coverage/index.js.map +1 -1
  514. package/dist/esm/semantics/coverage/ledger.d.ts +2 -1
  515. package/dist/esm/semantics/coverage/ledger.js +15 -53
  516. package/dist/esm/semantics/coverage/ledger.js.map +1 -1
  517. package/dist/esm/semantics/coverage/read.d.ts +19 -0
  518. package/dist/esm/semantics/coverage/read.js.map +1 -1
  519. package/dist/esm/semantics/coverage/recognize.d.ts +17 -1
  520. package/dist/esm/semantics/coverage/recognize.js +40 -0
  521. package/dist/esm/semantics/coverage/recognize.js.map +1 -1
  522. package/dist/esm/semantics/coverage/search/binding.d.ts +27 -0
  523. package/dist/esm/semantics/coverage/search/binding.js +42 -0
  524. package/dist/esm/semantics/coverage/search/binding.js.map +1 -0
  525. package/dist/esm/semantics/coverage/search/compose.d.ts +90 -0
  526. package/dist/esm/semantics/coverage/search/compose.js +120 -0
  527. package/dist/esm/semantics/coverage/search/compose.js.map +1 -0
  528. package/dist/esm/semantics/coverage/search/declaration.d.ts +75 -0
  529. package/dist/esm/semantics/coverage/search/declaration.js +453 -0
  530. package/dist/esm/semantics/coverage/search/declaration.js.map +1 -0
  531. package/dist/esm/semantics/coverage/search/door.d.ts +46 -0
  532. package/dist/esm/semantics/coverage/search/door.js +130 -0
  533. package/dist/esm/semantics/coverage/search/door.js.map +1 -0
  534. package/dist/esm/semantics/coverage/search/events.d.ts +42 -0
  535. package/dist/esm/semantics/coverage/search/events.js +100 -0
  536. package/dist/esm/semantics/coverage/search/events.js.map +1 -0
  537. package/dist/esm/semantics/coverage/search/facets.d.ts +52 -0
  538. package/dist/esm/semantics/coverage/search/facets.js +191 -0
  539. package/dist/esm/semantics/coverage/search/facets.js.map +1 -0
  540. package/dist/esm/semantics/coverage/search/gaps.d.ts +63 -0
  541. package/dist/esm/semantics/coverage/search/gaps.js +221 -0
  542. package/dist/esm/semantics/coverage/search/gaps.js.map +1 -0
  543. package/dist/esm/semantics/coverage/search/inEffect.d.ts +65 -0
  544. package/dist/esm/semantics/coverage/search/inEffect.js +48 -0
  545. package/dist/esm/semantics/coverage/search/inEffect.js.map +1 -0
  546. package/dist/esm/semantics/coverage/search/resultFacts.d.ts +42 -0
  547. package/dist/esm/semantics/coverage/search/resultFacts.js +100 -0
  548. package/dist/esm/semantics/coverage/search/resultFacts.js.map +1 -0
  549. package/dist/esm/semantics/coverage/search/review.d.ts +36 -0
  550. package/dist/esm/semantics/coverage/search/review.js +89 -0
  551. package/dist/esm/semantics/coverage/search/review.js.map +1 -0
  552. package/dist/esm/semantics/coverage/search/served.d.ts +51 -0
  553. package/dist/esm/semantics/coverage/search/served.js +130 -0
  554. package/dist/esm/semantics/coverage/search/served.js.map +1 -0
  555. package/dist/esm/semantics/coverage/search/span.d.ts +34 -0
  556. package/dist/esm/semantics/coverage/search/span.js +61 -0
  557. package/dist/esm/semantics/coverage/search/span.js.map +1 -0
  558. package/dist/esm/semantics/coverage/search/statementText.d.ts +46 -0
  559. package/dist/esm/semantics/coverage/search/statementText.js +102 -0
  560. package/dist/esm/semantics/coverage/search/statementText.js.map +1 -0
  561. package/dist/esm/semantics/coverage/search/types.d.ts +120 -0
  562. package/dist/esm/semantics/coverage/search/types.js +11 -0
  563. package/dist/esm/semantics/coverage/search/types.js.map +1 -0
  564. package/dist/esm/semantics/coverage/search/valueWords.d.ts +22 -0
  565. package/dist/esm/semantics/coverage/search/valueWords.js +32 -0
  566. package/dist/esm/semantics/coverage/search/valueWords.js.map +1 -0
  567. package/dist/esm/semantics/coverage/types.d.ts +163 -0
  568. package/dist/esm/semantics/described.js +3 -1
  569. package/dist/esm/semantics/described.js.map +1 -1
  570. package/dist/esm/semantics/envelope.js +26 -2
  571. package/dist/esm/semantics/envelope.js.map +1 -1
  572. package/dist/esm/semantics/index.d.ts +2 -1
  573. package/dist/esm/semantics/index.js.map +1 -1
  574. package/dist/esm/semantics/overclaim.d.ts +105 -0
  575. package/dist/esm/semantics/overclaim.js +397 -0
  576. package/dist/esm/semantics/overclaim.js.map +1 -0
  577. package/dist/esm/semantics/types.d.ts +13 -0
  578. package/dist/esm/semantics/types.js.map +1 -1
  579. package/dist/esm/time/forms.js +1 -1
  580. package/dist/esm/time/textForms.js +1 -1
  581. package/dist/esm/time-travel/servedView.d.ts +2 -2
  582. package/dist/esm/time-travel/servedView.js +52 -160
  583. package/dist/esm/time-travel/servedView.js.map +1 -1
  584. package/dist/esm/tools/declare.d.ts +1 -1
  585. package/dist/esm/tools/declare.js +2 -2
  586. package/dist/esm/tools/declare.js.map +1 -1
  587. package/dist/esm/tools/hostFilled.d.ts +20 -1
  588. package/dist/esm/tools/hostFilled.js +46 -1
  589. package/dist/esm/tools/hostFilled.js.map +1 -1
  590. package/dist/esm/tools/searchOf.d.ts +60 -0
  591. package/dist/esm/tools/searchOf.js +97 -0
  592. package/dist/esm/tools/searchOf.js.map +1 -0
  593. package/dist/esm/tools/tools.d.ts +49 -0
  594. package/dist/esm/tools/tools.js +76 -1
  595. package/dist/esm/tools/tools.js.map +1 -1
  596. package/dist/esm/trace-toolpack/causeCapture.d.ts +17 -0
  597. package/dist/esm/trace-toolpack/causeCapture.js +96 -0
  598. package/dist/esm/trace-toolpack/causeCapture.js.map +1 -0
  599. package/dist/esm/trace-toolpack/causeControl.d.ts +6 -0
  600. package/dist/esm/trace-toolpack/causeControl.js +45 -0
  601. package/dist/esm/trace-toolpack/causeControl.js.map +1 -0
  602. package/dist/esm/trace-toolpack/causeReader.js +11 -9
  603. package/dist/esm/trace-toolpack/causeReader.js.map +1 -1
  604. package/dist/esm/trace-toolpack/causeResponse.d.ts +3 -2
  605. package/dist/esm/trace-toolpack/causeResponse.js +27 -7
  606. package/dist/esm/trace-toolpack/causeResponse.js.map +1 -1
  607. package/dist/esm/trace-toolpack/causeSnapshot.d.ts +6 -1
  608. package/dist/esm/trace-toolpack/causeSnapshot.js +26 -15
  609. package/dist/esm/trace-toolpack/causeSnapshot.js.map +1 -1
  610. package/dist/esm/trace-toolpack/causeTools.js +1 -1
  611. package/dist/esm/trace-toolpack/causeTools.js.map +1 -1
  612. package/dist/events/registry.js +2 -0
  613. package/dist/events/registry.js.map +1 -1
  614. package/dist/hosting/answeredPause.js +536 -0
  615. package/dist/hosting/answeredPause.js.map +1 -0
  616. package/dist/hosting/conformance/cases.js +80 -0
  617. package/dist/hosting/conformance/cases.js.map +1 -1
  618. package/dist/hosting/envelope.js +14 -0
  619. package/dist/hosting/envelope.js.map +1 -1
  620. package/dist/hosting/errors.js +13 -6
  621. package/dist/hosting/errors.js.map +1 -1
  622. package/dist/hosting/index.js +7 -3
  623. package/dist/hosting/index.js.map +1 -1
  624. package/dist/hosting/memorySessions.js +10 -2
  625. package/dist/hosting/memorySessions.js.map +1 -1
  626. package/dist/hosting/processLocalStore.js +31 -0
  627. package/dist/hosting/processLocalStore.js.map +1 -0
  628. package/dist/hosting/refusalStatus.js +13 -0
  629. package/dist/hosting/refusalStatus.js.map +1 -1
  630. package/dist/hosting/sessionWire.js.map +1 -1
  631. package/dist/hosting/sqliteSessions.js +27 -3
  632. package/dist/hosting/sqliteSessions.js.map +1 -1
  633. package/dist/hosting/standingAgent.js +69 -25
  634. package/dist/hosting/standingAgent.js.map +1 -1
  635. package/dist/hosting/streamHandler.js +149 -31
  636. package/dist/hosting/streamHandler.js.map +1 -1
  637. package/dist/hosting/types.js.map +1 -1
  638. package/dist/index.js +26 -21
  639. package/dist/index.js.map +1 -1
  640. package/dist/integrity/negative-claim/anchor.js +124 -0
  641. package/dist/integrity/negative-claim/anchor.js.map +1 -0
  642. package/dist/integrity/negative-claim/citation.js +371 -0
  643. package/dist/integrity/negative-claim/citation.js.map +1 -0
  644. package/dist/integrity/negative-claim/containment.js +262 -0
  645. package/dist/integrity/negative-claim/containment.js.map +1 -0
  646. package/dist/integrity/negative-claim/derive.js +130 -0
  647. package/dist/integrity/negative-claim/derive.js.map +1 -0
  648. package/dist/integrity/negative-claim/detect.js +69 -0
  649. package/dist/integrity/negative-claim/detect.js.map +1 -0
  650. package/dist/integrity/negative-claim/judge.js +100 -0
  651. package/dist/integrity/negative-claim/judge.js.map +1 -0
  652. package/dist/integrity/negative-claim/language.js +46 -0
  653. package/dist/integrity/negative-claim/language.js.map +1 -0
  654. package/dist/integrity/negative-claim/limits.js +6 -0
  655. package/dist/integrity/negative-claim/limits.js.map +1 -0
  656. package/dist/integrity/negative-claim/matcher.js +179 -0
  657. package/dist/integrity/negative-claim/matcher.js.map +1 -0
  658. package/dist/integrity/negative-claim/noRead.js +13 -0
  659. package/dist/integrity/negative-claim/noRead.js.map +1 -0
  660. package/dist/integrity/negative-claim/phrases.js +253 -0
  661. package/dist/integrity/negative-claim/phrases.js.map +1 -0
  662. package/dist/integrity/negative-claim/prose.js +147 -0
  663. package/dist/integrity/negative-claim/prose.js.map +1 -0
  664. package/dist/integrity/negative-claim/readings.js +338 -0
  665. package/dist/integrity/negative-claim/readings.js.map +1 -0
  666. package/dist/integrity/negative-claim/resolve.js +184 -0
  667. package/dist/integrity/negative-claim/resolve.js.map +1 -0
  668. package/dist/integrity/negative-claim/statement.js +369 -0
  669. package/dist/integrity/negative-claim/statement.js.map +1 -0
  670. package/dist/integrity/negative-claim/types.js +42 -0
  671. package/dist/integrity/negative-claim/types.js.map +1 -0
  672. package/dist/integrity/negative-claim/units.js +190 -0
  673. package/dist/integrity/negative-claim/units.js.map +1 -0
  674. package/dist/integrity/negative-claim/work.js +24 -0
  675. package/dist/integrity/negative-claim/work.js.map +1 -0
  676. package/dist/integrity/unsupported-claim/check.js +50 -27
  677. package/dist/integrity/unsupported-claim/check.js.map +1 -1
  678. package/dist/integrity/unsupported-claim/delivered.js +102 -0
  679. package/dist/integrity/unsupported-claim/delivered.js.map +1 -0
  680. package/dist/integrity/unsupported-claim/evaluate.js +377 -1
  681. package/dist/integrity/unsupported-claim/evaluate.js.map +1 -1
  682. package/dist/lib/conventions.js +3 -0
  683. package/dist/lib/conventions.js.map +1 -1
  684. package/dist/lib/frozenCopy.js +207 -0
  685. package/dist/lib/frozenCopy.js.map +1 -0
  686. package/dist/lib/jsonFaithful.js +115 -0
  687. package/dist/lib/jsonFaithful.js.map +1 -0
  688. package/dist/{tools → lib}/normalize.js +151 -7
  689. package/dist/lib/normalize.js.map +1 -0
  690. package/dist/lib/saidByPerson.js +4 -1
  691. package/dist/lib/saidByPerson.js.map +1 -1
  692. package/dist/mcp/toolExtras.js +11 -0
  693. package/dist/mcp/toolExtras.js.map +1 -1
  694. package/dist/provider-contract/nativeOutputSchema.js +11 -3
  695. package/dist/provider-contract/nativeOutputSchema.js.map +1 -1
  696. package/dist/provider-contract/types.js.map +1 -1
  697. package/dist/recorders/core/CheckInRecorder.js +5 -1
  698. package/dist/recorders/core/CheckInRecorder.js.map +1 -1
  699. package/dist/redaction/conversation.js +6 -0
  700. package/dist/redaction/conversation.js.map +1 -1
  701. package/dist/redaction/knownStrings.js +74 -0
  702. package/dist/redaction/knownStrings.js.map +1 -1
  703. package/dist/resilience/withCircuitBreaker.js +3 -0
  704. package/dist/resilience/withCircuitBreaker.js.map +1 -1
  705. package/dist/resilience/withFallback.js +7 -0
  706. package/dist/resilience/withFallback.js.map +1 -1
  707. package/dist/resilience/withRetry.js +3 -0
  708. package/dist/resilience/withRetry.js.map +1 -1
  709. package/dist/semantics/check.js +112 -3
  710. package/dist/semantics/check.js.map +1 -1
  711. package/dist/semantics/cli.js +32 -2
  712. package/dist/semantics/cli.js.map +1 -1
  713. package/dist/semantics/coverage/absent.js +56 -52
  714. package/dist/semantics/coverage/absent.js.map +1 -1
  715. package/dist/semantics/coverage/among.js +177 -0
  716. package/dist/semantics/coverage/among.js.map +1 -0
  717. package/dist/semantics/coverage/composedCoverage.js +46 -0
  718. package/dist/semantics/coverage/composedCoverage.js.map +1 -0
  719. package/dist/semantics/coverage/evidence.js +27 -2
  720. package/dist/semantics/coverage/evidence.js.map +1 -1
  721. package/dist/semantics/coverage/index.js +5 -1
  722. package/dist/semantics/coverage/index.js.map +1 -1
  723. package/dist/semantics/coverage/ledger.js +18 -56
  724. package/dist/semantics/coverage/ledger.js.map +1 -1
  725. package/dist/semantics/coverage/read.js.map +1 -1
  726. package/dist/semantics/coverage/recognize.js +43 -1
  727. package/dist/semantics/coverage/recognize.js.map +1 -1
  728. package/dist/semantics/coverage/search/binding.js +46 -0
  729. package/dist/semantics/coverage/search/binding.js.map +1 -0
  730. package/dist/semantics/coverage/search/compose.js +124 -0
  731. package/dist/semantics/coverage/search/compose.js.map +1 -0
  732. package/dist/semantics/coverage/search/declaration.js +462 -0
  733. package/dist/semantics/coverage/search/declaration.js.map +1 -0
  734. package/dist/semantics/coverage/search/door.js +134 -0
  735. package/dist/semantics/coverage/search/door.js.map +1 -0
  736. package/dist/semantics/coverage/search/events.js +104 -0
  737. package/dist/semantics/coverage/search/events.js.map +1 -0
  738. package/dist/semantics/coverage/search/facets.js +196 -0
  739. package/dist/semantics/coverage/search/facets.js.map +1 -0
  740. package/dist/semantics/coverage/search/gaps.js +226 -0
  741. package/dist/semantics/coverage/search/gaps.js.map +1 -0
  742. package/dist/semantics/coverage/search/inEffect.js +52 -0
  743. package/dist/semantics/coverage/search/inEffect.js.map +1 -0
  744. package/dist/semantics/coverage/search/resultFacts.js +109 -0
  745. package/dist/semantics/coverage/search/resultFacts.js.map +1 -0
  746. package/dist/semantics/coverage/search/review.js +93 -0
  747. package/dist/semantics/coverage/search/review.js.map +1 -0
  748. package/dist/semantics/coverage/search/served.js +137 -0
  749. package/dist/semantics/coverage/search/served.js.map +1 -0
  750. package/dist/semantics/coverage/search/span.js +66 -0
  751. package/dist/semantics/coverage/search/span.js.map +1 -0
  752. package/dist/semantics/coverage/search/statementText.js +107 -0
  753. package/dist/semantics/coverage/search/statementText.js.map +1 -0
  754. package/dist/semantics/coverage/search/types.js +12 -0
  755. package/dist/semantics/coverage/search/types.js.map +1 -0
  756. package/dist/semantics/coverage/search/valueWords.js +36 -0
  757. package/dist/semantics/coverage/search/valueWords.js.map +1 -0
  758. package/dist/semantics/described.js +3 -1
  759. package/dist/semantics/described.js.map +1 -1
  760. package/dist/semantics/envelope.js +26 -2
  761. package/dist/semantics/envelope.js.map +1 -1
  762. package/dist/semantics/index.js.map +1 -1
  763. package/dist/semantics/overclaim.js +407 -0
  764. package/dist/semantics/overclaim.js.map +1 -0
  765. package/dist/semantics/types.js.map +1 -1
  766. package/dist/time/forms.js +1 -1
  767. package/dist/time/textForms.js +1 -1
  768. package/dist/time-travel/servedView.js +51 -159
  769. package/dist/time-travel/servedView.js.map +1 -1
  770. package/dist/tools/declare.js +2 -2
  771. package/dist/tools/declare.js.map +1 -1
  772. package/dist/tools/hostFilled.js +48 -2
  773. package/dist/tools/hostFilled.js.map +1 -1
  774. package/dist/tools/searchOf.js +104 -0
  775. package/dist/tools/searchOf.js.map +1 -0
  776. package/dist/tools/tools.js +80 -2
  777. package/dist/tools/tools.js.map +1 -1
  778. package/dist/trace-toolpack/causeCapture.js +103 -0
  779. package/dist/trace-toolpack/causeCapture.js.map +1 -0
  780. package/dist/trace-toolpack/causeControl.js +49 -0
  781. package/dist/trace-toolpack/causeControl.js.map +1 -0
  782. package/dist/trace-toolpack/causeReader.js +11 -9
  783. package/dist/trace-toolpack/causeReader.js.map +1 -1
  784. package/dist/trace-toolpack/causeResponse.js +27 -7
  785. package/dist/trace-toolpack/causeResponse.js.map +1 -1
  786. package/dist/trace-toolpack/causeSnapshot.js +31 -20
  787. package/dist/trace-toolpack/causeSnapshot.js.map +1 -1
  788. package/dist/trace-toolpack/causeTools.js +1 -1
  789. package/dist/trace-toolpack/causeTools.js.map +1 -1
  790. package/dist/types/adapters/hosting/agentCoreA2A.d.ts.map +1 -1
  791. package/dist/types/adapters/hosting/firestoreSessions.d.ts.map +1 -1
  792. package/dist/types/adapters/hosting/googleAgentEngine.d.ts.map +1 -1
  793. package/dist/types/adapters/llm/AnthropicProvider.d.ts +1 -0
  794. package/dist/types/adapters/llm/AnthropicProvider.d.ts.map +1 -1
  795. package/dist/types/adapters/llm/BrowserAnthropicProvider.d.ts +1 -0
  796. package/dist/types/adapters/llm/BrowserAnthropicProvider.d.ts.map +1 -1
  797. package/dist/types/adapters/llm/MockProvider.d.ts +2 -0
  798. package/dist/types/adapters/llm/MockProvider.d.ts.map +1 -1
  799. package/dist/types/ag-ui/request.d.ts +4 -1
  800. package/dist/types/ag-ui/request.d.ts.map +1 -1
  801. package/dist/types/ag-ui/serializer.d.ts +15 -2
  802. package/dist/types/ag-ui/serializer.d.ts.map +1 -1
  803. package/dist/types/answer-account/facts/howSure.d.ts.map +1 -1
  804. package/dist/types/answer-account/templates.d.ts +4 -1
  805. package/dist/types/answer-account/templates.d.ts.map +1 -1
  806. package/dist/types/answer-validation/agentChecks.d.ts +76 -0
  807. package/dist/types/answer-validation/agentChecks.d.ts.map +1 -0
  808. package/dist/types/answer-validation/index.d.ts +2 -1
  809. package/dist/types/answer-validation/index.d.ts.map +1 -1
  810. package/dist/types/answer-validation/outputSchema.d.ts +18 -7
  811. package/dist/types/answer-validation/outputSchema.d.ts.map +1 -1
  812. package/dist/types/answer-validation/types.d.ts +125 -1
  813. package/dist/types/answer-validation/types.d.ts.map +1 -1
  814. package/dist/types/answer-validation/validate.d.ts +11 -2
  815. package/dist/types/answer-validation/validate.d.ts.map +1 -1
  816. package/dist/types/core/Agent.d.ts +25 -1
  817. package/dist/types/core/Agent.d.ts.map +1 -1
  818. package/dist/types/core/RunnerBase.d.ts.map +1 -1
  819. package/dist/types/core/agent/AgentBuilder.d.ts +43 -12
  820. package/dist/types/core/agent/AgentBuilder.d.ts.map +1 -1
  821. package/dist/types/core/agent/arguments/checks.d.ts +1 -1
  822. package/dist/types/core/agent/arguments/subflow.d.ts +6 -0
  823. package/dist/types/core/agent/arguments/subflow.d.ts.map +1 -1
  824. package/dist/types/core/agent/assessment/assess.d.ts.map +1 -1
  825. package/dist/types/core/agent/assessment/compose.d.ts.map +1 -1
  826. package/dist/types/core/agent/assessment/reasons.d.ts.map +1 -1
  827. package/dist/types/core/agent/assessment/types.d.ts +3 -2
  828. package/dist/types/core/agent/assessment/types.d.ts.map +1 -1
  829. package/dist/types/core/agent/buildAgentChart.d.ts +4 -12
  830. package/dist/types/core/agent/buildAgentChart.d.ts.map +1 -1
  831. package/dist/types/core/agent/buildDynamicAgentChart.d.ts.map +1 -1
  832. package/dist/types/core/agent/buildToolRegistry.d.ts.map +1 -1
  833. package/dist/types/core/agent/composeRequest.d.ts +19 -0
  834. package/dist/types/core/agent/composeRequest.d.ts.map +1 -1
  835. package/dist/types/core/agent/evidence/extract.d.ts +45 -6
  836. package/dist/types/core/agent/evidence/extract.d.ts.map +1 -1
  837. package/dist/types/core/agent/evidence/frames.d.ts.map +1 -1
  838. package/dist/types/core/agent/evidence/gate.d.ts +6 -0
  839. package/dist/types/core/agent/evidence/gate.d.ts.map +1 -1
  840. package/dist/types/core/agent/evidence/recovery.d.ts +2 -0
  841. package/dist/types/core/agent/evidence/recovery.d.ts.map +1 -1
  842. package/dist/types/core/agent/evidence/resultCarries.d.ts +2 -2
  843. package/dist/types/core/agent/evidence/types.d.ts +17 -0
  844. package/dist/types/core/agent/evidence/types.d.ts.map +1 -1
  845. package/dist/types/core/agent/findings/context.d.ts +14 -0
  846. package/dist/types/core/agent/findings/context.d.ts.map +1 -0
  847. package/dist/types/core/agent/findings/instruction.d.ts +13 -0
  848. package/dist/types/core/agent/findings/instruction.d.ts.map +1 -0
  849. package/dist/types/core/agent/findings/ledger.d.ts +3 -0
  850. package/dist/types/core/agent/findings/ledger.d.ts.map +1 -1
  851. package/dist/types/core/agent/findings/negativeProse.d.ts +2 -0
  852. package/dist/types/core/agent/findings/negativeProse.d.ts.map +1 -0
  853. package/dist/types/core/agent/findings/offer.d.ts +9 -57
  854. package/dist/types/core/agent/findings/offer.d.ts.map +1 -1
  855. package/dist/types/core/agent/findings/reserved.d.ts +7 -31
  856. package/dist/types/core/agent/findings/reserved.d.ts.map +1 -1
  857. package/dist/types/core/agent/findings/types.d.ts +11 -4
  858. package/dist/types/core/agent/findings/types.d.ts.map +1 -1
  859. package/dist/types/core/agent/honesty/mounts.d.ts +7 -0
  860. package/dist/types/core/agent/honesty/mounts.d.ts.map +1 -1
  861. package/dist/types/core/agent/nativeOutputFormat.d.ts +2 -1
  862. package/dist/types/core/agent/nativeOutputFormat.d.ts.map +1 -1
  863. package/dist/types/core/agent/negativeClaims/capture.d.ts +66 -0
  864. package/dist/types/core/agent/negativeClaims/capture.d.ts.map +1 -0
  865. package/dist/types/core/agent/negativeClaims/checkpoint.d.ts +8 -0
  866. package/dist/types/core/agent/negativeClaims/checkpoint.d.ts.map +1 -0
  867. package/dist/types/core/agent/negativeClaims/config.d.ts +67 -0
  868. package/dist/types/core/agent/negativeClaims/config.d.ts.map +1 -0
  869. package/dist/types/core/agent/negativeClaims/delivery.d.ts +25 -0
  870. package/dist/types/core/agent/negativeClaims/delivery.d.ts.map +1 -0
  871. package/dist/types/core/agent/negativeClaims/observe.d.ts +15 -0
  872. package/dist/types/core/agent/negativeClaims/observe.d.ts.map +1 -0
  873. package/dist/types/core/agent/negativeClaims/prose.d.ts +10 -0
  874. package/dist/types/core/agent/negativeClaims/prose.d.ts.map +1 -0
  875. package/dist/types/core/agent/negativeClaims/recheck.d.ts +8 -0
  876. package/dist/types/core/agent/negativeClaims/recheck.d.ts.map +1 -0
  877. package/dist/types/core/agent/outputEnforcement.d.ts +5 -1
  878. package/dist/types/core/agent/outputEnforcement.d.ts.map +1 -1
  879. package/dist/types/core/agent/receipt/receipt.d.ts +2 -2
  880. package/dist/types/core/agent/receipt/receipt.d.ts.map +1 -1
  881. package/dist/types/core/agent/stages/answerEvidence.d.ts +29 -0
  882. package/dist/types/core/agent/stages/answerEvidence.d.ts.map +1 -0
  883. package/dist/types/core/agent/stages/answerValidation.d.ts +15 -3
  884. package/dist/types/core/agent/stages/answerValidation.d.ts.map +1 -1
  885. package/dist/types/core/agent/stages/callLLM.d.ts +11 -2
  886. package/dist/types/core/agent/stages/callLLM.d.ts.map +1 -1
  887. package/dist/types/core/agent/stages/evidenceRecheck.d.ts +6 -1
  888. package/dist/types/core/agent/stages/evidenceRecheck.d.ts.map +1 -1
  889. package/dist/types/core/agent/stages/outputRetry.d.ts.map +1 -1
  890. package/dist/types/core/agent/stages/prepareFinal.d.ts.map +1 -1
  891. package/dist/types/core/agent/stages/reliabilityExecution.d.ts +3 -0
  892. package/dist/types/core/agent/stages/reliabilityExecution.d.ts.map +1 -1
  893. package/dist/types/core/agent/stages/route.d.ts +8 -2
  894. package/dist/types/core/agent/stages/route.d.ts.map +1 -1
  895. package/dist/types/core/agent/stages/searchCoverage.d.ts +95 -0
  896. package/dist/types/core/agent/stages/searchCoverage.d.ts.map +1 -0
  897. package/dist/types/core/agent/stages/seed.d.ts +10 -0
  898. package/dist/types/core/agent/stages/seed.d.ts.map +1 -1
  899. package/dist/types/core/agent/stages/toolCalls.d.ts +16 -0
  900. package/dist/types/core/agent/stages/toolCalls.d.ts.map +1 -1
  901. package/dist/types/core/agent/toolChoice/compose.d.ts +2 -0
  902. package/dist/types/core/agent/toolChoice/compose.d.ts.map +1 -1
  903. package/dist/types/core/agent/toolChoice/pick.d.ts +2 -0
  904. package/dist/types/core/agent/toolChoice/pick.d.ts.map +1 -1
  905. package/dist/types/core/agent/toolChoice/types.d.ts +1 -1
  906. package/dist/types/core/agent/toolChoice/types.d.ts.map +1 -1
  907. package/dist/types/core/agent/types.d.ts +86 -5
  908. package/dist/types/core/agent/types.d.ts.map +1 -1
  909. package/dist/types/core/checkin.d.ts +83 -7
  910. package/dist/types/core/checkin.d.ts.map +1 -1
  911. package/dist/types/core/consentRequest.d.ts +489 -0
  912. package/dist/types/core/consentRequest.d.ts.map +1 -0
  913. package/dist/types/core/pause.d.ts +88 -7
  914. package/dist/types/core/pause.d.ts.map +1 -1
  915. package/dist/types/core/runCheckpoint.d.ts +5 -1
  916. package/dist/types/core/runCheckpoint.d.ts.map +1 -1
  917. package/dist/types/core/slots/buildToolsSlot.d.ts +4 -11
  918. package/dist/types/core/slots/buildToolsSlot.d.ts.map +1 -1
  919. package/dist/types/debug.d.ts +1 -1
  920. package/dist/types/debug.d.ts.map +1 -1
  921. package/dist/types/events/payloads.d.ts +145 -3
  922. package/dist/types/events/payloads.d.ts.map +1 -1
  923. package/dist/types/events/registry.d.ts +3 -1
  924. package/dist/types/events/registry.d.ts.map +1 -1
  925. package/dist/types/hosting/answeredPause.d.ts +302 -0
  926. package/dist/types/hosting/answeredPause.d.ts.map +1 -0
  927. package/dist/types/hosting/conformance/cases.d.ts.map +1 -1
  928. package/dist/types/hosting/conformance/types.d.ts +1 -1
  929. package/dist/types/hosting/conformance/types.d.ts.map +1 -1
  930. package/dist/types/hosting/envelope.d.ts +6 -0
  931. package/dist/types/hosting/envelope.d.ts.map +1 -1
  932. package/dist/types/hosting/errors.d.ts +14 -2
  933. package/dist/types/hosting/errors.d.ts.map +1 -1
  934. package/dist/types/hosting/index.d.ts +2 -1
  935. package/dist/types/hosting/index.d.ts.map +1 -1
  936. package/dist/types/hosting/memorySessions.d.ts.map +1 -1
  937. package/dist/types/hosting/processLocalStore.d.ts +21 -0
  938. package/dist/types/hosting/processLocalStore.d.ts.map +1 -0
  939. package/dist/types/hosting/protocolAdapter.d.ts +13 -0
  940. package/dist/types/hosting/protocolAdapter.d.ts.map +1 -1
  941. package/dist/types/hosting/refusalStatus.d.ts +6 -0
  942. package/dist/types/hosting/refusalStatus.d.ts.map +1 -1
  943. package/dist/types/hosting/sessionWire.d.ts +8 -3
  944. package/dist/types/hosting/sessionWire.d.ts.map +1 -1
  945. package/dist/types/hosting/sqliteSessions.d.ts.map +1 -1
  946. package/dist/types/hosting/standingAgent.d.ts.map +1 -1
  947. package/dist/types/hosting/streamHandler.d.ts +3 -1
  948. package/dist/types/hosting/streamHandler.d.ts.map +1 -1
  949. package/dist/types/hosting/types.d.ts +28 -6
  950. package/dist/types/hosting/types.d.ts.map +1 -1
  951. package/dist/types/index.d.ts +7 -3
  952. package/dist/types/index.d.ts.map +1 -1
  953. package/dist/types/integrity/negative-claim/anchor.d.ts +10 -0
  954. package/dist/types/integrity/negative-claim/anchor.d.ts.map +1 -0
  955. package/dist/types/integrity/negative-claim/citation.d.ts +35 -0
  956. package/dist/types/integrity/negative-claim/citation.d.ts.map +1 -0
  957. package/dist/types/integrity/negative-claim/containment.d.ts +41 -0
  958. package/dist/types/integrity/negative-claim/containment.d.ts.map +1 -0
  959. package/dist/types/integrity/negative-claim/derive.d.ts +18 -0
  960. package/dist/types/integrity/negative-claim/derive.d.ts.map +1 -0
  961. package/dist/types/integrity/negative-claim/detect.d.ts +45 -0
  962. package/dist/types/integrity/negative-claim/detect.d.ts.map +1 -0
  963. package/dist/types/integrity/negative-claim/judge.d.ts +42 -0
  964. package/dist/types/integrity/negative-claim/judge.d.ts.map +1 -0
  965. package/dist/types/integrity/negative-claim/language.d.ts +15 -0
  966. package/dist/types/integrity/negative-claim/language.d.ts.map +1 -0
  967. package/dist/types/integrity/negative-claim/limits.d.ts +3 -0
  968. package/dist/types/integrity/negative-claim/limits.d.ts.map +1 -0
  969. package/dist/types/integrity/negative-claim/matcher.d.ts +52 -0
  970. package/dist/types/integrity/negative-claim/matcher.d.ts.map +1 -0
  971. package/dist/types/integrity/negative-claim/noRead.d.ts +9 -0
  972. package/dist/types/integrity/negative-claim/noRead.d.ts.map +1 -0
  973. package/dist/types/integrity/negative-claim/phrases.d.ts +70 -0
  974. package/dist/types/integrity/negative-claim/phrases.d.ts.map +1 -0
  975. package/dist/types/integrity/negative-claim/prose.d.ts +37 -0
  976. package/dist/types/integrity/negative-claim/prose.d.ts.map +1 -0
  977. package/dist/types/integrity/negative-claim/readings.d.ts +82 -0
  978. package/dist/types/integrity/negative-claim/readings.d.ts.map +1 -0
  979. package/dist/types/integrity/negative-claim/resolve.d.ts +38 -0
  980. package/dist/types/integrity/negative-claim/resolve.d.ts.map +1 -0
  981. package/dist/types/integrity/negative-claim/statement.d.ts +76 -0
  982. package/dist/types/integrity/negative-claim/statement.d.ts.map +1 -0
  983. package/dist/types/integrity/negative-claim/types.d.ts +145 -0
  984. package/dist/types/integrity/negative-claim/types.d.ts.map +1 -0
  985. package/dist/types/integrity/negative-claim/units.d.ts +34 -0
  986. package/dist/types/integrity/negative-claim/units.d.ts.map +1 -0
  987. package/dist/types/integrity/negative-claim/work.d.ts +13 -0
  988. package/dist/types/integrity/negative-claim/work.d.ts.map +1 -0
  989. package/dist/types/integrity/unsupported-claim/check.d.ts +33 -0
  990. package/dist/types/integrity/unsupported-claim/check.d.ts.map +1 -1
  991. package/dist/types/integrity/unsupported-claim/delivered.d.ts +73 -0
  992. package/dist/types/integrity/unsupported-claim/delivered.d.ts.map +1 -0
  993. package/dist/types/integrity/unsupported-claim/evaluate.d.ts +103 -1
  994. package/dist/types/integrity/unsupported-claim/evaluate.d.ts.map +1 -1
  995. package/dist/types/lib/conventions.d.ts +1 -0
  996. package/dist/types/lib/conventions.d.ts.map +1 -1
  997. package/dist/types/lib/frozenCopy.d.ts +76 -0
  998. package/dist/types/lib/frozenCopy.d.ts.map +1 -0
  999. package/dist/types/lib/jsonFaithful.d.ts +35 -0
  1000. package/dist/types/lib/jsonFaithful.d.ts.map +1 -0
  1001. package/dist/types/lib/normalize.d.ts +97 -0
  1002. package/dist/types/lib/normalize.d.ts.map +1 -0
  1003. package/dist/types/lib/saidByPerson.d.ts +2 -0
  1004. package/dist/types/lib/saidByPerson.d.ts.map +1 -1
  1005. package/dist/types/mcp/toolExtras.d.ts +10 -0
  1006. package/dist/types/mcp/toolExtras.d.ts.map +1 -1
  1007. package/dist/types/provider-contract/nativeOutputSchema.d.ts +6 -2
  1008. package/dist/types/provider-contract/nativeOutputSchema.d.ts.map +1 -1
  1009. package/dist/types/provider-contract/types.d.ts +12 -1
  1010. package/dist/types/provider-contract/types.d.ts.map +1 -1
  1011. package/dist/types/recorders/core/CheckInRecorder.d.ts +6 -1
  1012. package/dist/types/recorders/core/CheckInRecorder.d.ts.map +1 -1
  1013. package/dist/types/redaction/conversation.d.ts.map +1 -1
  1014. package/dist/types/redaction/knownStrings.d.ts +9 -7
  1015. package/dist/types/redaction/knownStrings.d.ts.map +1 -1
  1016. package/dist/types/resilience/withCircuitBreaker.d.ts.map +1 -1
  1017. package/dist/types/resilience/withFallback.d.ts.map +1 -1
  1018. package/dist/types/resilience/withRetry.d.ts.map +1 -1
  1019. package/dist/types/semantics/check.d.ts +44 -2
  1020. package/dist/types/semantics/check.d.ts.map +1 -1
  1021. package/dist/types/semantics/cli.d.ts.map +1 -1
  1022. package/dist/types/semantics/coverage/absent.d.ts +19 -2
  1023. package/dist/types/semantics/coverage/absent.d.ts.map +1 -1
  1024. package/dist/types/semantics/coverage/among.d.ts +74 -0
  1025. package/dist/types/semantics/coverage/among.d.ts.map +1 -0
  1026. package/dist/types/semantics/coverage/composedCoverage.d.ts +221 -0
  1027. package/dist/types/semantics/coverage/composedCoverage.d.ts.map +1 -0
  1028. package/dist/types/semantics/coverage/evidence.d.ts.map +1 -1
  1029. package/dist/types/semantics/coverage/index.d.ts +4 -1
  1030. package/dist/types/semantics/coverage/index.d.ts.map +1 -1
  1031. package/dist/types/semantics/coverage/ledger.d.ts +2 -1
  1032. package/dist/types/semantics/coverage/ledger.d.ts.map +1 -1
  1033. package/dist/types/semantics/coverage/read.d.ts +19 -0
  1034. package/dist/types/semantics/coverage/read.d.ts.map +1 -1
  1035. package/dist/types/semantics/coverage/recognize.d.ts +17 -1
  1036. package/dist/types/semantics/coverage/recognize.d.ts.map +1 -1
  1037. package/dist/types/semantics/coverage/search/binding.d.ts +28 -0
  1038. package/dist/types/semantics/coverage/search/binding.d.ts.map +1 -0
  1039. package/dist/types/semantics/coverage/search/compose.d.ts +91 -0
  1040. package/dist/types/semantics/coverage/search/compose.d.ts.map +1 -0
  1041. package/dist/types/semantics/coverage/search/declaration.d.ts +76 -0
  1042. package/dist/types/semantics/coverage/search/declaration.d.ts.map +1 -0
  1043. package/dist/types/semantics/coverage/search/door.d.ts +47 -0
  1044. package/dist/types/semantics/coverage/search/door.d.ts.map +1 -0
  1045. package/dist/types/semantics/coverage/search/events.d.ts +43 -0
  1046. package/dist/types/semantics/coverage/search/events.d.ts.map +1 -0
  1047. package/dist/types/semantics/coverage/search/facets.d.ts +53 -0
  1048. package/dist/types/semantics/coverage/search/facets.d.ts.map +1 -0
  1049. package/dist/types/semantics/coverage/search/gaps.d.ts +64 -0
  1050. package/dist/types/semantics/coverage/search/gaps.d.ts.map +1 -0
  1051. package/dist/types/semantics/coverage/search/inEffect.d.ts +66 -0
  1052. package/dist/types/semantics/coverage/search/inEffect.d.ts.map +1 -0
  1053. package/dist/types/semantics/coverage/search/resultFacts.d.ts +43 -0
  1054. package/dist/types/semantics/coverage/search/resultFacts.d.ts.map +1 -0
  1055. package/dist/types/semantics/coverage/search/review.d.ts +37 -0
  1056. package/dist/types/semantics/coverage/search/review.d.ts.map +1 -0
  1057. package/dist/types/semantics/coverage/search/served.d.ts +52 -0
  1058. package/dist/types/semantics/coverage/search/served.d.ts.map +1 -0
  1059. package/dist/types/semantics/coverage/search/span.d.ts +35 -0
  1060. package/dist/types/semantics/coverage/search/span.d.ts.map +1 -0
  1061. package/dist/types/semantics/coverage/search/statementText.d.ts +47 -0
  1062. package/dist/types/semantics/coverage/search/statementText.d.ts.map +1 -0
  1063. package/dist/types/semantics/coverage/search/types.d.ts +121 -0
  1064. package/dist/types/semantics/coverage/search/types.d.ts.map +1 -0
  1065. package/dist/types/semantics/coverage/search/valueWords.d.ts +23 -0
  1066. package/dist/types/semantics/coverage/search/valueWords.d.ts.map +1 -0
  1067. package/dist/types/semantics/coverage/types.d.ts +163 -0
  1068. package/dist/types/semantics/coverage/types.d.ts.map +1 -1
  1069. package/dist/types/semantics/described.d.ts.map +1 -1
  1070. package/dist/types/semantics/envelope.d.ts.map +1 -1
  1071. package/dist/types/semantics/index.d.ts +2 -1
  1072. package/dist/types/semantics/index.d.ts.map +1 -1
  1073. package/dist/types/semantics/overclaim.d.ts +106 -0
  1074. package/dist/types/semantics/overclaim.d.ts.map +1 -0
  1075. package/dist/types/semantics/types.d.ts +13 -0
  1076. package/dist/types/semantics/types.d.ts.map +1 -1
  1077. package/dist/types/time-travel/servedView.d.ts +2 -2
  1078. package/dist/types/time-travel/servedView.d.ts.map +1 -1
  1079. package/dist/types/tools/declare.d.ts +1 -1
  1080. package/dist/types/tools/hostFilled.d.ts +20 -1
  1081. package/dist/types/tools/hostFilled.d.ts.map +1 -1
  1082. package/dist/types/tools/searchOf.d.ts +61 -0
  1083. package/dist/types/tools/searchOf.d.ts.map +1 -0
  1084. package/dist/types/tools/tools.d.ts +49 -0
  1085. package/dist/types/tools/tools.d.ts.map +1 -1
  1086. package/dist/types/trace-toolpack/causeCapture.d.ts +18 -0
  1087. package/dist/types/trace-toolpack/causeCapture.d.ts.map +1 -0
  1088. package/dist/types/trace-toolpack/causeControl.d.ts +7 -0
  1089. package/dist/types/trace-toolpack/causeControl.d.ts.map +1 -0
  1090. package/dist/types/trace-toolpack/causeReader.d.ts.map +1 -1
  1091. package/dist/types/trace-toolpack/causeResponse.d.ts +3 -2
  1092. package/dist/types/trace-toolpack/causeResponse.d.ts.map +1 -1
  1093. package/dist/types/trace-toolpack/causeSnapshot.d.ts +6 -1
  1094. package/dist/types/trace-toolpack/causeSnapshot.d.ts.map +1 -1
  1095. package/package.json +3 -2
  1096. package/dist/esm/tools/normalize.d.ts +0 -43
  1097. package/dist/esm/tools/normalize.js.map +0 -1
  1098. package/dist/tools/normalize.js.map +0 -1
  1099. package/dist/types/tools/normalize.d.ts +0 -44
  1100. package/dist/types/tools/normalize.d.ts.map +0 -1
@@ -0,0 +1,46 @@
1
+ "use strict";
2
+ /**
3
+ * language — whether a unit is English, over a CLOSED stop-word set. The grammar is English
4
+ * only; a unit in another language is noted `language-unsupported`, never passed silently.
5
+ *
6
+ * Pattern: a count, not a model. A unit is unsupported when it is mostly letters of a non-Latin
7
+ * script, or when one other language's stop words outnumber the English ones (and at
8
+ * least two of them are there). The foreign lists hold no word that is also common
9
+ * English (`die`, `den`, `per`, `con`, `as`, `on` are left out), so an English sentence
10
+ * naming "the San José cluster" stays English.
11
+ * Role: integrity/ layer (L3), read by `detect.ts`.
12
+ */
13
+ Object.defineProperty(exports, "__esModule", { value: true });
14
+ exports.isSupportedLanguage = void 0;
15
+ const ENGLISH = new Set(('the a an is are was were be been there no not none nothing has have had do does did of to ' +
16
+ 'and or in on at for with by from any this that these those it its all every found exist ' +
17
+ 'exists open i we you they our your their').split(' '));
18
+ const FOREIGN = {
19
+ es: new Set('hay los las el del una unos unas para por que está están ningún ninguna ninguno nada existe en sin también pero sí abiertos abiertas'.split(' ')),
20
+ fr: new Set("les des est sont une aucun aucune pas il elle avec pour dans sur ce cette qui du au aux rien n'y y ouvert ouverte".split(' ')),
21
+ de: new Set('der das und ist sind nicht kein keine keinen ein eine einen mit für auf es gibt nichts dem zu offenen'.split(' ')),
22
+ pt: new Set('não há os um uma nenhum nenhuma são existem também abertos'.split(' ')),
23
+ it: new Set('il gli non sono è nessun nessuna ci della delle aperti'.split(' ')),
24
+ nl: new Set('het een niet geen zijn er voor ook'.split(' ')),
25
+ };
26
+ /** Whether a unit can be read by the English grammar. */
27
+ function isSupportedLanguage(unitText, tokens) {
28
+ const letters = unitText.match(/\p{L}/gu)?.length ?? 0;
29
+ const latin = unitText.match(/\p{Script=Latin}/gu)?.length ?? 0;
30
+ if (letters - latin >= 3 && letters - latin > latin)
31
+ return false;
32
+ let english = 0;
33
+ const foreign = {};
34
+ for (const token of tokens) {
35
+ if (ENGLISH.has(token.text))
36
+ english += 1;
37
+ for (const [language, words] of Object.entries(FOREIGN)) {
38
+ if (words.has(token.text))
39
+ foreign[language] = (foreign[language] ?? 0) + 1;
40
+ }
41
+ }
42
+ const most = Math.max(0, ...Object.values(foreign));
43
+ return !(most >= 2 && most > english);
44
+ }
45
+ exports.isSupportedLanguage = isSupportedLanguage;
46
+ //# sourceMappingURL=language.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"language.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/language.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAIH,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,CACE,4FAA4F;IAC5F,0FAA0F;IAC1F,0CAA0C,CAC3C,CAAC,KAAK,CAAC,GAAG,CAAC,CACb,CAAC;AAEF,MAAM,OAAO,GAAkD;IAC7D,EAAE,EAAE,IAAI,GAAG,CACT,sIAAsI,CAAC,KAAK,CAC1I,GAAG,CACJ,CACF;IACD,EAAE,EAAE,IAAI,GAAG,CACT,mHAAmH,CAAC,KAAK,CACvH,GAAG,CACJ,CACF;IACD,EAAE,EAAE,IAAI,GAAG,CACT,uGAAuG,CAAC,KAAK,CAC3G,GAAG,CACJ,CACF;IACD,EAAE,EAAE,IAAI,GAAG,CAAC,4DAA4D,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpF,EAAE,EAAE,IAAI,GAAG,CAAC,wDAAwD,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChF,EAAE,EAAE,IAAI,GAAG,CAAC,oCAAoC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;CAC7D,CAAC;AAEF,yDAAyD;AACzD,SAAgB,mBAAmB,CAAC,QAAgB,EAAE,MAAwB;IAC5E,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;IAChE,IAAI,OAAO,GAAG,KAAK,IAAI,CAAC,IAAI,OAAO,GAAG,KAAK,GAAG,KAAK;QAAE,OAAO,KAAK,CAAC;IAClE,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC;QAC1C,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACxD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACpD,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,GAAG,OAAO,CAAC,CAAC;AACxC,CAAC;AAdD,kDAcC"}
@@ -0,0 +1,6 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.MAX_NEGATIVE_CLAIMS = void 0;
4
+ /** Maximum claims judged per answer field, shared by the typed and prose doors. */
5
+ exports.MAX_NEGATIVE_CLAIMS = 32;
6
+ //# sourceMappingURL=limits.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"limits.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/limits.ts"],"names":[],"mappings":";;;AAAA,mFAAmF;AACtE,QAAA,mBAAmB,GAAG,EAAE,CAAC"}
@@ -0,0 +1,179 @@
1
+ "use strict";
2
+ /**
3
+ * matcher — the prose grammar's machinery: a reply's tokens with their offsets, and the phrase
4
+ * matcher over them. It owns NO spelling rule: every token is spelled by the library's one
5
+ * spelling leaf (`lib/normalize.ts` · `foldCase`), and names compare by its `sameName`.
6
+ *
7
+ * Pattern: pure functions, linear in the text. A token is a run of letters, digits and marks,
8
+ * with `- _ . / : @ #` kept INSIDE an identifier (`host-07.dc1.example.com`, `eth1/3`)
9
+ * and an apostrophe kept inside a word (`doesn't`); every step of the one tokenizer
10
+ * regex consumes a character, so no input backtracks. Spans are offsets into the text
11
+ * as given; only each token's own text is spelled.
12
+ * Role: integrity/ layer (L3), read by `units.ts`, `detect.ts`, `language.ts`,
13
+ * `resolve.ts` and `containment.ts`.
14
+ */
15
+ Object.defineProperty(exports, "__esModule", { value: true });
16
+ exports.allHits = exports.firstHit = exports.matchPhrase = exports.numberOf = exports.nameAt = exports.holdsName = exports.holdsAnySaid = exports.findWords = exports.holdsWords = exports.spell = exports.tokensOf = exports.spellToken = void 0;
17
+ const normalize_js_1 = require("../../lib/normalize.js");
18
+ const TOKEN = /[\p{L}\p{N}\p{M}](?:[\p{L}\p{N}\p{M}]|['\u{2019}](?=\p{L})|[-_./:@#](?=[\p{L}\p{N}]))*/gu;
19
+ /** One token as the grammar compares it: the leaf's case fold, a curly apostrophe straightened. */
20
+ function spellToken(raw) {
21
+ return (0, normalize_js_1.foldCase)(raw.normalize('NFC')).replace(/\u{2019}/gu, "'");
22
+ }
23
+ exports.spellToken = spellToken;
24
+ /** The tokens of `text[from, to)`, with offsets into `text`. */
25
+ function tokensOf(text, from = 0, to = text.length) {
26
+ const out = [];
27
+ const slice = text.slice(from, to);
28
+ for (const m of slice.matchAll(TOKEN)) {
29
+ const start = from + (m.index ?? 0);
30
+ out.push({ text: spellToken(m[0]), start, end: start + m[0].length });
31
+ }
32
+ return out;
33
+ }
34
+ exports.tokensOf = tokensOf;
35
+ /** A phrase's or a said word's tokens, as text. */
36
+ function spell(phrase, work) {
37
+ work?.charge(phrase.length + 1);
38
+ return tokensOf(phrase).map((t) => t.text);
39
+ }
40
+ exports.spell = spell;
41
+ /** Whether `tokens` hold `words` as consecutive tokens, anywhere. */
42
+ function holdsWords(tokens, words, work) {
43
+ return findWords(tokens, words, 0, work) !== -1;
44
+ }
45
+ exports.holdsWords = holdsWords;
46
+ /** The first index at which `tokens` hold `words` consecutively, or -1. */
47
+ function findWords(tokens, words, from = 0, work) {
48
+ if (words.length === 0)
49
+ return -1;
50
+ outer: for (let i = from; i + words.length <= tokens.length; i += 1) {
51
+ for (let j = 0; j < words.length; j += 1) {
52
+ work?.charge(1);
53
+ if (tokens[i + j]?.text !== words[j])
54
+ continue outer;
55
+ }
56
+ return i;
57
+ }
58
+ return -1;
59
+ }
60
+ exports.findWords = findWords;
61
+ /** Whether any of the said phrases is held by `tokens`. */
62
+ function holdsAnySaid(tokens, said, work) {
63
+ return (said ?? []).some((phrase) => holdsWords(tokens, spell(phrase, work), work));
64
+ }
65
+ exports.holdsAnySaid = holdsAnySaid;
66
+ /** Whether the unit holds `name` as one of its token runs, by the leaf's name rule (`sameName`). */
67
+ function holdsName(text, tokens, name, work) {
68
+ return nameAt(text, tokens, name, 0, work) !== -1;
69
+ }
70
+ exports.holdsName = holdsName;
71
+ /** The first token index at which the unit holds `name` (by `sameName`), from `from`; or -1. */
72
+ function nameAt(text, tokens, name, from, work) {
73
+ const words = spell(name, work);
74
+ for (let at = findWords(tokens, words, from, work); at !== -1; at = findWords(tokens, words, at + 1, work)) {
75
+ const first = tokens[at];
76
+ const last = tokens[at + words.length - 1];
77
+ work?.charge(last.end - first.start + name.length + 1);
78
+ if ((0, normalize_js_1.sameName)(text.slice(first.start, last.end), name))
79
+ return at;
80
+ }
81
+ return -1;
82
+ }
83
+ exports.nameAt = nameAt;
84
+ // ─── the phrase matcher ──────────────────────────────────────────────────
85
+ const NUMBER_WORDS = new Set('one two three four five six seven eight nine ten eleven twelve thirteen fourteen fifteen sixteen seventeen eighteen nineteen twenty'.split(' '));
86
+ /** A number word's value, or a digit string's. */
87
+ function numberOf(token) {
88
+ if (/^\d{1,6}$/.test(token))
89
+ return Number(token);
90
+ const words = [...NUMBER_WORDS];
91
+ const at = words.indexOf(token);
92
+ return at === -1 ? undefined : at + 1;
93
+ }
94
+ exports.numberOf = numberOf;
95
+ const startsWithLetter = (token) => /^\p{L}/u.test(token);
96
+ function compileSlot(raw) {
97
+ const optional = raw.endsWith('?') && raw.length > 1;
98
+ const body = optional ? raw.slice(0, -1) : raw;
99
+ if (body === '<word>')
100
+ return { optional, test: startsWithLetter };
101
+ if (body === '<num>')
102
+ return { optional, test: (t) => numberOf(t) !== undefined };
103
+ if (body === '<dur>')
104
+ return { optional, test: (t) => /^\d{1,6}[mhdw]$/.test(t) };
105
+ if (body.startsWith('!')) {
106
+ const except = new Set(body.slice(1).split('|'));
107
+ return { optional, test: (t) => startsWithLetter(t) && !except.has(t) };
108
+ }
109
+ const options = new Set(body.split('|'));
110
+ return { optional, test: (t) => options.has(t) };
111
+ }
112
+ const COMPILED = new WeakMap();
113
+ function compiled(phrase) {
114
+ const known = COMPILED.get(phrase);
115
+ if (known !== undefined)
116
+ return known;
117
+ const anchored = phrase.literal !== true && phrase.words[0] === '^';
118
+ const words = anchored ? phrase.words.slice(1) : phrase.words;
119
+ const made = {
120
+ anchored,
121
+ slots: words.map((word) => phrase.literal === true
122
+ ? { optional: false, test: (token) => token === word }
123
+ : compileSlot(word)),
124
+ };
125
+ COMPILED.set(phrase, made);
126
+ return made;
127
+ }
128
+ /** Only spaces between two matched tokens — a comma or a full stop breaks a phrase. */
129
+ const spaced = (text, left, right) => /^[ \t\u{A0}]*$/u.test(text.slice(left.end, right.start));
130
+ /** The token index after a match of `slots` from `slot`/`at`, or -1. Optional slots fork. */
131
+ function matchFrom(text, tokens, slots, slot, at, previous) {
132
+ if (slot === slots.length)
133
+ return at;
134
+ const s = slots[slot];
135
+ const token = tokens[at];
136
+ if (token !== undefined &&
137
+ s.test(token.text) &&
138
+ (previous === undefined || spaced(text, previous, token))) {
139
+ const end = matchFrom(text, tokens, slots, slot + 1, at + 1, token);
140
+ if (end !== -1)
141
+ return end;
142
+ }
143
+ return s.optional ? matchFrom(text, tokens, slots, slot + 1, at, previous) : -1;
144
+ }
145
+ /** The first hit of `phrase` in a unit's tokens, or undefined. */
146
+ function matchPhrase(text, tokens, phrase) {
147
+ const { anchored, slots } = compiled(phrase);
148
+ const starts = anchored ? Math.min(1, tokens.length) : tokens.length;
149
+ for (let i = 0; i < starts; i += 1) {
150
+ const end = matchFrom(text, tokens, slots, 0, i, undefined);
151
+ if (end > i)
152
+ return { phrase, first: i, last: end - 1 };
153
+ }
154
+ return undefined;
155
+ }
156
+ exports.matchPhrase = matchPhrase;
157
+ /** The earliest hit of any phrase of a pack (ties go to pack order), or undefined. */
158
+ function firstHit(text, tokens, pack) {
159
+ let best;
160
+ for (const phrase of pack) {
161
+ const hit = matchPhrase(text, tokens, phrase);
162
+ if (hit !== undefined && (best === undefined || hit.first < best.first))
163
+ best = hit;
164
+ }
165
+ return best;
166
+ }
167
+ exports.firstHit = firstHit;
168
+ /** Every phrase of a pack that matches somewhere in the unit. */
169
+ function allHits(text, tokens, pack) {
170
+ const out = [];
171
+ for (const phrase of pack) {
172
+ const hit = matchPhrase(text, tokens, phrase);
173
+ if (hit !== undefined)
174
+ out.push(hit);
175
+ }
176
+ return out;
177
+ }
178
+ exports.allHits = allHits;
179
+ //# sourceMappingURL=matcher.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"matcher.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/matcher.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;AAEH,yDAA4D;AAW5D,MAAM,KAAK,GACT,0FAA0F,CAAC;AAE7F,mGAAmG;AACnG,SAAgB,UAAU,CAAC,GAAW;IACpC,OAAO,IAAA,uBAAQ,EAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;AACnE,CAAC;AAFD,gCAEC;AAED,gEAAgE;AAChE,SAAgB,QAAQ,CAAC,IAAY,EAAE,IAAI,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM;IAC/D,MAAM,GAAG,GAAY,EAAE,CAAC;IACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AARD,4BAQC;AAED,mDAAmD;AACnD,SAAgB,KAAK,CAAC,MAAc,EAAE,IAAsB;IAC1D,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChC,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAC7C,CAAC;AAHD,sBAGC;AAED,qEAAqE;AACrE,SAAgB,UAAU,CACxB,MAAwB,EACxB,KAAwB,EACxB,IAAsB;IAEtB,OAAO,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAClD,CAAC;AAND,gCAMC;AAED,2EAA2E;AAC3E,SAAgB,SAAS,CACvB,MAAwB,EACxB,KAAwB,EACxB,IAAI,GAAG,CAAC,EACR,IAAsB;IAEtB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC;IAClC,KAAK,EAAE,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YAChB,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC;gBAAE,SAAS,KAAK,CAAC;QACvD,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAfD,8BAeC;AAED,2DAA2D;AAC3D,SAAgB,YAAY,CAC1B,MAAwB,EACxB,IAAmC,EACnC,IAAsB;IAEtB,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AACtF,CAAC;AAND,oCAMC;AAED,oGAAoG;AACpG,SAAgB,SAAS,CACvB,IAAY,EACZ,MAAwB,EACxB,IAAY,EACZ,IAAsB;IAEtB,OAAO,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC;AAPD,8BAOC;AAED,gGAAgG;AAChG,SAAgB,MAAM,CACpB,IAAY,EACZ,MAAwB,EACxB,IAAY,EACZ,IAAY,EACZ,IAAsB;IAEtB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,KACE,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,EAC7C,EAAE,KAAK,CAAC,CAAC,EACT,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,EAC3C,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAU,CAAC;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAU,CAAC;QACpD,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACvD,IAAI,IAAA,uBAAQ,EAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC;IACnE,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAnBD,wBAmBC;AAED,4EAA4E;AAE5E,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,qIAAqI,CAAC,KAAK,CACzI,GAAG,CACJ,CACF,CAAC;AAEF,kDAAkD;AAClD,SAAgB,QAAQ,CAAC,KAAa;IACpC,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACxC,CAAC;AALD,4BAKC;AAYD,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAW,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAE3E,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAC/C,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACnE,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;IAClF,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,QAAQ,GAAG,IAAI,OAAO,EAA+B,CAAC;AAE5D,SAAS,QAAQ,CAAC,MAAmB;IACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;IACpE,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;IAC9D,MAAM,IAAI,GAAG;QACX,QAAQ;QACR,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACxB,MAAM,CAAC,OAAO,KAAK,IAAI;YACrB,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,KAAa,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,EAAE;YAC9D,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CACtB;KACF,CAAC;IACF,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uFAAuF;AACvF,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,IAAW,EAAE,KAAY,EAAW,EAAE,CAClE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAS5D,6FAA6F;AAC7F,SAAS,SAAS,CAChB,IAAY,EACZ,MAAwB,EACxB,KAAsB,EACtB,IAAY,EACZ,EAAU,EACV,QAA2B;IAE3B,IAAI,IAAI,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAS,CAAC;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;IACzB,IACE,KAAK,KAAK,SAAS;QACnB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAClB,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,EACzD,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QACpE,IAAI,GAAG,KAAK,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC;IAC7B,CAAC;IACD,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,kEAAkE;AAClE,SAAgB,WAAW,CACzB,IAAY,EACZ,MAAwB,EACxB,MAAmB;IAEnB,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;IACrE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;QAC5D,IAAI,GAAG,GAAG,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAZD,kCAYC;AAED,sFAAsF;AACtF,SAAgB,QAAQ,CACtB,IAAY,EACZ,MAAwB,EACxB,IAA4B;IAE5B,IAAI,IAA2B,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YAAE,IAAI,GAAG,GAAG,CAAC;IACtF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAXD,4BAWC;AAED,iEAAiE;AACjE,SAAgB,OAAO,CACrB,IAAY,EACZ,MAAwB,EACxB,IAA4B;IAE5B,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,GAAG,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAXD,0BAWC"}
@@ -0,0 +1,13 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.eligibleNoReadClaim = void 0;
4
+ const INCIDENTAL = [['none'], ['no', 'action', 'is', 'needed'], ['tests', '0', 'failed']];
5
+ /** Whether a detected clause may note that no native read is recorded.
6
+ * Compare the detector's normalized tokens; extra words and other clauses
7
+ * remain eligible. This never declares a claim grounded or an entity resolved. */
8
+ function eligibleNoReadClaim(claim) {
9
+ return !INCIDENTAL.some((words) => words.length === claim.tokens.length &&
10
+ words.every((word, index) => claim.tokens[index]?.text === word));
11
+ }
12
+ exports.eligibleNoReadClaim = eligibleNoReadClaim;
13
+ //# sourceMappingURL=noRead.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"noRead.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/noRead.ts"],"names":[],"mappings":";;;AAKA,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAU,CAAC;AAEnG;;kFAEkF;AAClF,SAAgB,mBAAmB,CAAC,KAAoB;IACtD,OAAO,CAAC,UAAU,CAAC,IAAI,CACrB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM;QACpC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,KAAK,IAAI,CAAC,CACnE,CAAC;AACJ,CAAC;AAND,kDAMC"}
@@ -0,0 +1,253 @@
1
+ "use strict";
2
+ /**
3
+ * phrases — the prose grammar's CLOSED phrase packs: data, versioned and hashed.
4
+ *
5
+ * Pattern: plain frozen data. The matcher (`matcher.ts · matchPhrase`) is the only code that reads
6
+ * it, and the hash pins every number measured with it to the grammar it measured
7
+ * (`bench/negative/RULE.md`).
8
+ * Role: integrity/ layer (L3), read by `detect.ts` (claims, code and language notes) and
9
+ * `containment.ts` (source and window markers, unbounded words), and by the free
10
+ * replay (`bench/negative/`). The answer bench keeps its own registered readers, frozen;
11
+ * the hedge and source packs began as its lists.
12
+ *
13
+ * A phrase is a list of SLOTS matched against consecutive tokens of one unit, with only spaces
14
+ * between them (so "No, the deploy…" is not "no the"):
15
+ * - `a|b|c` — one token, any of the alternatives (tokens are NFC, case-folded);
16
+ * - a trailing `?` — the slot may be skipped;
17
+ * - `<word>` — any token that starts with a letter;
18
+ * - `!a|b` — any letter token EXCEPT these;
19
+ * - `<num>` — digits, or a number word (`two` … `twenty`);
20
+ * - `<dur>` — a look-back spelling (`24h`, `7d`);
21
+ * - `^` — only at the start of the unit (first slot only).
22
+ *
23
+ * The packs:
24
+ * - `none` and `complete` — the CLAIMS: non-existence, and completeness in a frame only
25
+ * (never a bare "every" or "zero");
26
+ * - `unbounded` — words that make any claim wider than any search ("never", "anywhere");
27
+ * - `source` — words that put the negative on the lookup ("the lookup returned nothing"),
28
+ * which scope a claim to the source, as a `source.said` word does;
29
+ * - `window` — the window a claim names ("in the last 2 hours");
30
+ * - `hedge` — words that voice doubt. They are NOT scope: a hedged claim is still a flat claim
31
+ * (design § 5.2). The pack exists so that law is data a test can walk.
32
+ */
33
+ Object.defineProperty(exports, "__esModule", { value: true });
34
+ exports.resolveNegativeClaimPhrases = exports.NEGATIVE_CLAIM_PHRASES_HASH = exports.NEGATIVE_CLAIM_PHRASES = exports.NEGATIVE_CLAIM_PHRASES_VERSION = void 0;
35
+ const sha256_js_1 = require("../../lib/sha256.js");
36
+ const stableJson_js_1 = require("../../lib/stableJson.js");
37
+ const boundedJson_js_1 = require("../../lib/boundedJson.js");
38
+ const matcher_js_1 = require("./matcher.js");
39
+ /** Bump with ANY edit to the packs or to what a slot means — the test pins version → hash. */
40
+ exports.NEGATIVE_CLAIM_PHRASES_VERSION = '1';
41
+ const phrase = (id, words) => Object.freeze({ id, words: Object.freeze(words.split(' ')) });
42
+ /** Literal phrases, one slot per word (the hedge and source packs). */
43
+ const literal = (pack, text) => phrase(`${pack}.${text.replace(/[^a-z0-9]+/g, '-')}`, text);
44
+ const BE = 'is|are|was|were';
45
+ const BE_NOT = "isn't|aren't|wasn't|weren't";
46
+ const NONE = [
47
+ phrase('none.there-are-no', `there ${BE} no`),
48
+ phrase('none.there-have-been-no', 'there have|has been no'),
49
+ phrase('none.there-may-be-no', 'there may|might|could|will|would|should|must be no'),
50
+ phrase('none.there-seem-to-be-no', 'there seem|seems|appear|appears to be no'),
51
+ phrase('none.there-are-not-any', `there ${BE} not any`),
52
+ phrase('none.there-aren-t-any', `there ${BE_NOT} any`),
53
+ phrase('none.there-have-not-been-any', 'there has|have|had not been any'),
54
+ phrase('none.there-haven-t-been-any', "there hasn't|haven't|hadn't been any"),
55
+ phrase('none.has-no', 'has|have|had no'),
56
+ phrase('none.does-not-have-any', 'does|do|did not have any'),
57
+ phrase('none.doesn-t-have-any', "doesn't|don't|didn't have any"),
58
+ phrase('none.no-such', 'no such'),
59
+ phrase('none.does-not-exist', 'does|do|did not exist'),
60
+ phrase('none.doesn-t-exist', "doesn't|don't|didn't exist"),
61
+ phrase('none.is-not-in', `${BE} not in|anywhere`),
62
+ phrase('none.isn-t-in', `${BE_NOT} in|anywhere`),
63
+ phrase('none.is-not-found', `${BE} not found`),
64
+ phrase('none.isn-t-found', `${BE_NOT} found`),
65
+ phrase('none.none-of', 'none of'),
66
+ phrase('none.none-are', `none ${BE}|exist|exists`),
67
+ phrase('none.nothing-is', 'nothing is|was|has|have'),
68
+ phrase('none.nothing-deployed', 'nothing deployed|firing|open|running'),
69
+ phrase('none.none', 'none'),
70
+ phrase('none.zero-noun', '0 <word>'),
71
+ phrase('none.no-lead', '^ no !other|doubt|matter|way|longer|more|less|later|earlier|problem'),
72
+ phrase('none.no-noun-is', `no <word> <word>? ${BE}|exist|exists`),
73
+ phrase('none.never-had', 'never had|has|have|existed|exist|exists|been|occurred|happened'),
74
+ ];
75
+ const COMPLETE = [
76
+ phrase('complete.these-are-all', 'these|those are|were all|every|everything'),
77
+ phrase('complete.these-are-the-only', 'these|those are|were the only'),
78
+ phrase('complete.that-is-all', 'that|this is|was all|every|everything'),
79
+ phrase('complete.that-s-all', "that's all|every|everything"),
80
+ phrase('complete.that-is-the-only', 'that|this is|was the only'),
81
+ phrase('complete.that-s-the-only', "that's the only"),
82
+ phrase('complete.the-complete-list', 'the complete|full|entire|whole list|set|inventory'),
83
+ phrase('complete.all-n', 'all <num>'),
84
+ phrase('complete.nothing-else', 'nothing else'),
85
+ phrase('complete.no-other', 'no other'),
86
+ ];
87
+ const UNBOUNDED = [
88
+ phrase('unbounded.never', 'never'),
89
+ phrase('unbounded.ever', 'ever'),
90
+ phrase('unbounded.anywhere', 'anywhere'),
91
+ phrase('unbounded.at-all', 'at all'),
92
+ phrase('unbounded.across-all', 'across all'),
93
+ phrase('unbounded.in-the-estate', 'in|across|throughout the|your|our|this estate|company|organization|organisation|environment|enterprise'),
94
+ ];
95
+ /** The answer bench's attribution list, minus "according to" and "based on" — hedges, never scope. */
96
+ const SOURCE = [
97
+ 'the lookup returned nothing',
98
+ "couldn't find",
99
+ 'could not find',
100
+ "didn't find",
101
+ 'did not find',
102
+ 'found no',
103
+ 'found nothing',
104
+ 'returned no',
105
+ 'returned nothing',
106
+ 'returned an empty',
107
+ 'returned empty',
108
+ 'came back empty',
109
+ 'shows no',
110
+ 'show no',
111
+ 'lists no',
112
+ 'no results',
113
+ 'no matching',
114
+ 'matched nothing',
115
+ ].map((text) => literal('source', text));
116
+ const UNIT = 'minute|minutes|hour|hours|day|days|week|weeks';
117
+ const WINDOW = [
118
+ phrase('window.last-n', `in|over|during|for|within? the? last|past|previous <num>? ${UNIT}`),
119
+ phrase('window.last-duration', 'in|over|during|for|within? the? last|past|previous <dur>'),
120
+ ];
121
+ /** The answer bench's hedge list, plus the two § 5.2 names ("based on", "according to"). */
122
+ const HEDGE = [
123
+ 'not sure',
124
+ 'unsure',
125
+ 'uncertain',
126
+ 'unclear',
127
+ "can't confirm",
128
+ 'cannot confirm',
129
+ "couldn't confirm",
130
+ 'could not confirm',
131
+ 'unable to confirm',
132
+ 'unable to verify',
133
+ "can't verify",
134
+ 'cannot verify',
135
+ "can't tell",
136
+ 'cannot tell',
137
+ "don't know",
138
+ 'do not know',
139
+ 'not able to',
140
+ 'no way to',
141
+ 'may not',
142
+ 'might not',
143
+ 'may be',
144
+ 'might be',
145
+ 'possibly',
146
+ "it's possible",
147
+ 'it is possible',
148
+ 'appears to',
149
+ 'seems',
150
+ 'not checked',
151
+ "wasn't checked",
152
+ "weren't checked",
153
+ 'not covered',
154
+ "doesn't cover",
155
+ 'does not cover',
156
+ "didn't cover",
157
+ 'did not cover',
158
+ 'only covers',
159
+ 'only checked',
160
+ 'only keeps',
161
+ 'only holds',
162
+ 'only shows',
163
+ 'only includes',
164
+ 'only returns',
165
+ 'only lists',
166
+ 'only has',
167
+ 'only goes back',
168
+ 'only reaches',
169
+ 'limited to',
170
+ 'partial',
171
+ 'incomplete',
172
+ 'timed out',
173
+ 'not collected',
174
+ "couldn't check",
175
+ 'could not check',
176
+ "didn't check",
177
+ 'did not check',
178
+ 'not included',
179
+ "wasn't reached",
180
+ 'not reached',
181
+ 'no data for',
182
+ 'no information',
183
+ "don't have",
184
+ 'do not have',
185
+ "doesn't have",
186
+ 'does not have',
187
+ 'not available',
188
+ "isn't available",
189
+ 'caveat',
190
+ 'keep in mind',
191
+ 'according to',
192
+ 'based on',
193
+ ].map((text) => literal('hedge', text));
194
+ /** The built-in packs — closed and frozen, independent of app extensions. */
195
+ exports.NEGATIVE_CLAIM_PHRASES = Object.freeze({
196
+ none: Object.freeze([...NONE]),
197
+ complete: Object.freeze([...COMPLETE]),
198
+ unbounded: Object.freeze([...UNBOUNDED]),
199
+ source: Object.freeze([...SOURCE]),
200
+ window: Object.freeze([...WINDOW]),
201
+ hedge: Object.freeze([...HEDGE]),
202
+ });
203
+ /** sha256 of the packs' stable JSON — what a measured number names. */
204
+ exports.NEGATIVE_CLAIM_PHRASES_HASH = (0, sha256_js_1.sha256Hex)((0, stableJson_js_1.stableJson)(exports.NEGATIVE_CLAIM_PHRASES) ?? '');
205
+ const DEFAULT_PHRASES = Object.freeze({
206
+ packs: exports.NEGATIVE_CLAIM_PHRASES,
207
+ version: exports.NEGATIVE_CLAIM_PHRASES_VERSION,
208
+ hash: exports.NEGATIVE_CLAIM_PHRASES_HASH,
209
+ });
210
+ /** Resolve at configuration time. At most 32 literal phrases of 128 UTF-16
211
+ * units each; regexes and the built-in slot DSL are rejected as patterns.
212
+ * The full effective-pack hash names any extension without changing the
213
+ * built-in version/hash or introducing executable predicates. */
214
+ function resolveNegativeClaimPhrases(extensions) {
215
+ if (extensions === undefined)
216
+ return DEFAULT_PHRASES;
217
+ const source = (0, boundedJson_js_1.ownData)((0, boundedJson_js_1.copyJson)(extensions, 32 * 128 * 6 + 1024, true), ['none', 'complete']);
218
+ const extra = { none: [], complete: [] };
219
+ let count = 0;
220
+ for (const kind of ['none', 'complete']) {
221
+ const values = source[kind];
222
+ if (values === undefined)
223
+ continue;
224
+ if (!Array.isArray(values))
225
+ throw new Error(`Negative prose phrases.${kind} must be an array.`);
226
+ count += values.length;
227
+ if (count > 32)
228
+ throw new Error('Negative prose phrases accept at most 32 extensions.');
229
+ for (const [index, value] of values.entries()) {
230
+ if (typeof value !== 'string' || value.trim().length === 0 || value.length > 128)
231
+ throw new Error('A negative prose phrase must contain 1–128 characters.');
232
+ if (/[\p{Cc}\p{Cf}]/u.test(value) ||
233
+ [...'\\|^$*+?()[]{}<>!'].some((token) => value.includes(token)) ||
234
+ /^\/.*\/[a-z]*$/iu.test(value))
235
+ throw new Error('Negative prose phrases are literal text, not regexes or slot patterns.');
236
+ const words = (0, matcher_js_1.tokensOf)(value).map((token) => token.text);
237
+ if (words.length === 0)
238
+ throw new Error('A negative prose phrase must contain words.');
239
+ extra[kind].push(Object.freeze({ id: `${kind}.app.${index}`, words: Object.freeze(words), literal: true }));
240
+ }
241
+ }
242
+ if (count === 0)
243
+ return DEFAULT_PHRASES;
244
+ const packs = Object.freeze({
245
+ ...exports.NEGATIVE_CLAIM_PHRASES,
246
+ none: Object.freeze([...exports.NEGATIVE_CLAIM_PHRASES.none, ...extra.none]),
247
+ complete: Object.freeze([...exports.NEGATIVE_CLAIM_PHRASES.complete, ...extra.complete]),
248
+ });
249
+ const hash = (0, sha256_js_1.sha256Hex)((0, stableJson_js_1.stableJson)(packs) ?? '');
250
+ return Object.freeze({ packs, hash, version: `${exports.NEGATIVE_CLAIM_PHRASES_VERSION}+${hash}` });
251
+ }
252
+ exports.resolveNegativeClaimPhrases = resolveNegativeClaimPhrases;
253
+ //# sourceMappingURL=phrases.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"phrases.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/phrases.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;;;AAEH,mDAAgD;AAChD,2DAAqD;AACrD,6DAA6D;AAC7D,6CAAwC;AAoBxC,8FAA8F;AACjF,QAAA,8BAA8B,GAAG,GAAG,CAAC;AAElD,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,KAAa,EAAe,EAAE,CACxD,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;AAEhE,uEAAuE;AACvE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAAY,EAAe,EAAE,CAC1D,MAAM,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AAE9D,MAAM,EAAE,GAAG,iBAAiB,CAAC;AAC7B,MAAM,MAAM,GAAG,6BAA6B,CAAC;AAE7C,MAAM,IAAI,GAA2B;IACnC,MAAM,CAAC,mBAAmB,EAAE,SAAS,EAAE,KAAK,CAAC;IAC7C,MAAM,CAAC,yBAAyB,EAAE,wBAAwB,CAAC;IAC3D,MAAM,CAAC,sBAAsB,EAAE,oDAAoD,CAAC;IACpF,MAAM,CAAC,0BAA0B,EAAE,0CAA0C,CAAC;IAC9E,MAAM,CAAC,wBAAwB,EAAE,SAAS,EAAE,UAAU,CAAC;IACvD,MAAM,CAAC,uBAAuB,EAAE,SAAS,MAAM,MAAM,CAAC;IACtD,MAAM,CAAC,8BAA8B,EAAE,iCAAiC,CAAC;IACzE,MAAM,CAAC,6BAA6B,EAAE,sCAAsC,CAAC;IAC7E,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC;IACxC,MAAM,CAAC,wBAAwB,EAAE,0BAA0B,CAAC;IAC5D,MAAM,CAAC,uBAAuB,EAAE,+BAA+B,CAAC;IAChE,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC;IACjC,MAAM,CAAC,qBAAqB,EAAE,uBAAuB,CAAC;IACtD,MAAM,CAAC,oBAAoB,EAAE,4BAA4B,CAAC;IAC1D,MAAM,CAAC,gBAAgB,EAAE,GAAG,EAAE,kBAAkB,CAAC;IACjD,MAAM,CAAC,eAAe,EAAE,GAAG,MAAM,cAAc,CAAC;IAChD,MAAM,CAAC,mBAAmB,EAAE,GAAG,EAAE,YAAY,CAAC;IAC9C,MAAM,CAAC,kBAAkB,EAAE,GAAG,MAAM,QAAQ,CAAC;IAC7C,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC;IACjC,MAAM,CAAC,eAAe,EAAE,QAAQ,EAAE,eAAe,CAAC;IAClD,MAAM,CAAC,iBAAiB,EAAE,yBAAyB,CAAC;IACpD,MAAM,CAAC,uBAAuB,EAAE,sCAAsC,CAAC;IACvE,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC;IAC3B,MAAM,CAAC,gBAAgB,EAAE,UAAU,CAAC;IACpC,MAAM,CAAC,cAAc,EAAE,qEAAqE,CAAC;IAC7F,MAAM,CAAC,iBAAiB,EAAE,qBAAqB,EAAE,eAAe,CAAC;IACjE,MAAM,CAAC,gBAAgB,EAAE,gEAAgE,CAAC;CAC3F,CAAC;AAEF,MAAM,QAAQ,GAA2B;IACvC,MAAM,CAAC,wBAAwB,EAAE,2CAA2C,CAAC;IAC7E,MAAM,CAAC,6BAA6B,EAAE,+BAA+B,CAAC;IACtE,MAAM,CAAC,sBAAsB,EAAE,uCAAuC,CAAC;IACvE,MAAM,CAAC,qBAAqB,EAAE,6BAA6B,CAAC;IAC5D,MAAM,CAAC,2BAA2B,EAAE,2BAA2B,CAAC;IAChE,MAAM,CAAC,0BAA0B,EAAE,iBAAiB,CAAC;IACrD,MAAM,CAAC,4BAA4B,EAAE,mDAAmD,CAAC;IACzF,MAAM,CAAC,gBAAgB,EAAE,WAAW,CAAC;IACrC,MAAM,CAAC,uBAAuB,EAAE,cAAc,CAAC;IAC/C,MAAM,CAAC,mBAAmB,EAAE,UAAU,CAAC;CACxC,CAAC;AAEF,MAAM,SAAS,GAA2B;IACxC,MAAM,CAAC,iBAAiB,EAAE,OAAO,CAAC;IAClC,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAChC,MAAM,CAAC,oBAAoB,EAAE,UAAU,CAAC;IACxC,MAAM,CAAC,kBAAkB,EAAE,QAAQ,CAAC;IACpC,MAAM,CAAC,sBAAsB,EAAE,YAAY,CAAC;IAC5C,MAAM,CACJ,yBAAyB,EACzB,wGAAwG,CACzG;CACF,CAAC;AAEF,sGAAsG;AACtG,MAAM,MAAM,GAA2B;IACrC,6BAA6B;IAC7B,eAAe;IACf,gBAAgB;IAChB,aAAa;IACb,cAAc;IACd,UAAU;IACV,eAAe;IACf,aAAa;IACb,kBAAkB;IAClB,mBAAmB;IACnB,gBAAgB;IAChB,iBAAiB;IACjB,UAAU;IACV,SAAS;IACT,UAAU;IACV,YAAY;IACZ,aAAa;IACb,iBAAiB;CAClB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;AAEzC,MAAM,IAAI,GAAG,+CAA+C,CAAC;AAE7D,MAAM,MAAM,GAA2B;IACrC,MAAM,CAAC,eAAe,EAAE,6DAA6D,IAAI,EAAE,CAAC;IAC5F,MAAM,CAAC,sBAAsB,EAAE,0DAA0D,CAAC;CAC3F,CAAC;AAEF,4FAA4F;AAC5F,MAAM,KAAK,GAA2B;IACpC,UAAU;IACV,QAAQ;IACR,WAAW;IACX,SAAS;IACT,eAAe;IACf,gBAAgB;IAChB,kBAAkB;IAClB,mBAAmB;IACnB,mBAAmB;IACnB,kBAAkB;IAClB,cAAc;IACd,eAAe;IACf,YAAY;IACZ,aAAa;IACb,YAAY;IACZ,aAAa;IACb,aAAa;IACb,WAAW;IACX,SAAS;IACT,WAAW;IACX,QAAQ;IACR,UAAU;IACV,UAAU;IACV,eAAe;IACf,gBAAgB;IAChB,YAAY;IACZ,OAAO;IACP,aAAa;IACb,gBAAgB;IAChB,iBAAiB;IACjB,aAAa;IACb,eAAe;IACf,gBAAgB;IAChB,cAAc;IACd,eAAe;IACf,aAAa;IACb,cAAc;IACd,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,eAAe;IACf,cAAc;IACd,YAAY;IACZ,UAAU;IACV,gBAAgB;IAChB,cAAc;IACd,YAAY;IACZ,SAAS;IACT,YAAY;IACZ,WAAW;IACX,eAAe;IACf,gBAAgB;IAChB,iBAAiB;IACjB,cAAc;IACd,eAAe;IACf,cAAc;IACd,gBAAgB;IAChB,aAAa;IACb,aAAa;IACb,gBAAgB;IAChB,YAAY;IACZ,aAAa;IACb,cAAc;IACd,eAAe;IACf,eAAe;IACf,iBAAiB;IACjB,QAAQ;IACR,cAAc;IACd,cAAc;IACd,UAAU;CACX,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;AAExC,6EAA6E;AAChE,QAAA,sBAAsB,GAA6B,MAAM,CAAC,MAAM,CAAC;IAC5E,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC;IACtC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;IAClC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;CACjC,CAAC,CAAC;AAEH,uEAAuE;AAC1D,QAAA,2BAA2B,GAAW,IAAA,qBAAS,EAC1D,IAAA,0BAAU,EAAC,8BAAsB,CAAC,IAAI,EAAE,CACzC,CAAC;AAeF,MAAM,eAAe,GAAiC,MAAM,CAAC,MAAM,CAAC;IAClE,KAAK,EAAE,8BAAsB;IAC7B,OAAO,EAAE,sCAA8B;IACvC,IAAI,EAAE,mCAA2B;CAClC,CAAC,CAAC;AAEH;;;iEAGiE;AACjE,SAAgB,2BAA2B,CACzC,UAA0C;IAE1C,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,eAAe,CAAC;IACrD,MAAM,MAAM,GAAG,IAAA,wBAAO,EAAC,IAAA,yBAAQ,EAAC,UAAU,EAAE,EAAE,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IAC9F,MAAM,KAAK,GAA+C,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACrF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,UAAU,CAAU,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,oBAAoB,CAAC,CAAC;QAChG,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC;QACvB,IAAI,KAAK,GAAG,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QACxF,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;gBAC9E,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;YAC5E,IACE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7B,CAAC,GAAG,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAC/D,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC;gBAE9B,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;YAC5F,MAAM,KAAK,GAAG,IAAA,qBAAQ,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;YACvF,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACd,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,QAAQ,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAC1F,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,eAAe,CAAC;IACxC,MAAM,KAAK,GAA6B,MAAM,CAAC,MAAM,CAAC;QACpD,GAAG,8BAAsB;QACzB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,8BAAsB,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACpE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,8BAAsB,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;KACjF,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,IAAA,qBAAS,EAAC,IAAA,0BAAU,EAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAChD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,sCAA8B,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;AAC9F,CAAC;AArCD,kEAqCC"}