@dsh-enhanced/personal-memory 0.1.48 → 0.1.49

package/README.md

@@ -1,6 +1,6 @@
 # @dsh-enhanced/personal-memory
 
-面向个人助理的短期上下文之外长期记忆：保存简短且稳定的事实、偏好、约定和经验，按 user/agent 与 user-global/workspace 双维隔离，通过 `assistant-policy` 的持久审批提案写入。研究资料、文档和项目知识不属于这里，应交给 `personal-wiki`。
+面向个人助理的短期上下文之外长期记忆：保存简短且稳定的事实、偏好、约定和经验，按 user/agent 与 user-global/workspace 双维隔离。手动写入走 `assistant-policy` 的持久审批提案；可选有限授权支持独立审查后的事实/经验采用。研究资料、文档和项目知识不属于这里，应交给 `personal-wiki`。
 
 ## 安装
 
@@ -60,6 +60,22 @@ dsh --profile web --dump-config
 
 内容被包在 `<memory_source>` 中并明确标为“不可信数据而非指令”；XML 元字符和模板花括号在预算计算前转义。原生 Host 持久保存发生变化的新快照，用它取代先前快照的有效语义；撤回、过期或权限撤销会影响下一步的当前快照，**不会删除 Session 中已经提供过的历史快照、工具结果或模型输出**。因此不能把本功能当作会话历史的数据擦除或跨 owner 会话迁移保护。没有 `systemPrompt` 的程序化集成保留旧的 `agent/session-start` 一次性冻结快照，不能承诺逐步更新。`memory_search`、`memory_search_confirmed` 与 `memory_manage` 的模型可见结果也使用有界、转义的独立 framing。缺少绝对 cwd、agent preset 或已验证 owner 时不搜索、不提案、不贡献新快照，也不会退化到共享域。
 
+## 有限授权的事实与经验采用
+
+可选 `automaticLearning` 为 Host 提供 `adoptReviewedLearning({request})`、`lookupLearningAdoption({request})` 和记忆审查所需的 `inspectLearningTarget(...)`。学习生产者还可调用 `listLearningTargets({owner,limit})`（默认 20，范围 1–100），获取经当前 Delivery owner、Policy、Evaluation 和原任务来源复核的可管理事实/经验摘要；来源暂失时返回空列表，人工改写、失效或撤回的版本不会列出。`inspectLearningAdoptionAvailability({owner})` 只读返回当前授权指纹、到期时间、剩余修改次数与内容字节数及 `available`，不登记授权或消耗额度。两项查询都要求与配置授权完全一致的 owner；目标在来源复核后排序限量。这些接口不注册为模型工具；`memory_manage` 仍只创建手动审批提案。此组件负责采用与召回；普通任务自动发现、提取和调度由独立 [assistant-memory-learning](../assistant-memory-learning/README.md) bundle 提供。新插件生成与动态工程采用另按当前状态验收。
+
+授权包含独立的 `authorityId`、精确 `owner`、固定 `reviewAuthorityId` / `reviewAuthorityDigest`、`expiresAt`、`maxMutations`（1–1000）、`maxTotalContentBytes`、`maxRecordTtlMs`、允许的 `kinds`（fact/experience）和 `operations`（add/replace/remove）。owner 包含 Delivery route id/hash、principal id/record/version、绝对 workspace 与 preset。采用授权、Delivery 路由和审查授权的 ID 分别管理；同一采用授权 ID 的内容不可更改，重启、撤回或失败不能重置已用额度。授权到期停止新写入，记录仍按独立 TTL 和当前来源有效性参与读取。
+
+采用要求同批 Delivery、Evaluation 和 Verifier 服务，以及 Policy 对背景主体 `assistant-memory-learning`、精确 workspace/principal、动作 `adopt`、资源 `memory:learning:<采用授权ID>` 的 allow 规则。审查另按 Verifier 的 `review` 规则和独立预算授权。可选 peers 不会自动挂载这些服务；服务缺失或卸载时新采用拒绝，人工记忆照常按原 Policy 工作。调用方只提供共享合同中的 request，不能提交批准布尔值、替代回执、namespace、trust、provenance 或额度。
+
+Host 先向真实 Verifier 查询已持久化的独立批准，再在 Delivery → Evaluation → Memory 的锁序下重新核对来源原文摘要、owner 和 canonical 结果。事实可以来自明确的 owner 原话，无需任务成功标签；经验必须绑定已判断的原任务结果，不能以正常回复代替结果。记忆固定为当前 agent/workspace 下的 `agent-observed`、`private`，不升级为 `user-confirmed`；TTL、来源时间和原 inbox 引用由 Host 写入。记录、检索索引、审计、累计额度及完整采用回执在同一 Memory 事务中提交。
+
+重复 operation 只返回原始持久回执，不返回之后手动编辑的内容，也不再次消费额度；同 operation 的不同 request 拒绝。历史回执只证明过去提交，不证明记录仍可见。回执查询仍要求当前 owner 和 Policy；临时失去访问资格时不会重新执行该操作，恢复后可继续对账。replace/remove 只允许 ID、版本、完整记录摘要均匹配的自动版本；手动修改后的版本永久退出原自动管理链，即使恢复相同正文也不能被旧候选接管。
+
+搜索、显式 read、导出和每步动态快照在排名及 claim 分歧计算前重验自动记录，来源锁保持到读取完成。一次最多核对 1000 条受管记录，超限时隐藏自动记录。来源/结果改变或暂时读不到时只隐藏；明确的当前 owner 撤回才对仍然匹配的自动版本做 CAS 删除并清理索引。服务恢复后重新检查，不把服务故障写成永久撤回。已有经验的结果被纠正后不再召回，新的独立候选可以替换它；删除不返还历史额度。没有当前任务 query 的动态快照、以及缺少 `systemPrompt` 时的一次性永久快照，都不自动注入这些记录。
+
+这不会擦除已在 Session 历史中出现的正文，也不能证明模型已实际使用某条记忆或测得收益。真实后续任务的质量、成本、延迟与回归仍需独立观察。
+
 ## 压缩后的原始文件证据
 
 默认启用 `toolEvidence` 时，插件只索引当前可信 owner 由模型直接调用的原生成功 `read` 结果；`run_code`/PTC 子调度及其他嵌套调用暂不索引。记录绑定 owner namespace/version、workspace、preset、Session、原始事件序号、call id、原始 FS 观测的规范路径/目标身份摘要和内容摘要；摘要同时覆盖原始参数与模型可见结果。复制的 result、压缩 replacement、Memory 工具、其他自定义工具、shell 和图片均不成为新原始证据。原文只存在于原生 Session，不另存入 Memory，也不自动获得长期记忆审批。
@@ -88,13 +104,13 @@ JSONL 冷恢复只使用先前 owner 绑定的索引，不按新 owner 回填旧
 
 每次检索与快照的排名、状态和冲突伙伴使用同一 SQLite 读视图，不阻塞其他 WAL writer；并发修改会在下一次读取体现。同一可见 claim key 有不同记录值时，快照会共同呈现来源和条件；预算无法容纳所有相关记录时，只给出分歧提示与有界记录引用，不留下看似无争议的单一正文。显式搜索的 `disagreement` 包含 key、记录数及最多 4 个记录 ID，在 query/top-K 截断前计算。自动补充的分歧信息仅来自当前 owner/scope 内有效、非敏感的记录；撤回、到期和身份变更会在下次读取生效。相同 key 的不同值可能源于不同适用条件，应核对当前系统和原始证据；本功能不解析任意自然语言矛盾，也不自行决定哪个值正确。
 
-带 knowledge 的导出文档使用版本 2，导入仍须逐条批准；没有 knowledge 的导出继续使用版本 1，当前版本同时接受两种格式。旧 reader 会拒绝版本 2，避免悄悄丢掉条件后复用经验。升级到数据库 schema 6 前应停止旧 Host writer；v4→v5 新增 nullable knowledge 列，v5→v6 新增独立工具证据索引表，保留旧记录、pending 提案和既有回执指纹，不能让旧版本继续写入新库。
+带 knowledge 的导出文档使用版本 2，导入仍须逐条批准；没有 knowledge 的导出继续使用版本 1，当前版本同时接受两种格式。旧 reader 会拒绝版本 2，避免悄悄丢掉条件后复用经验。升级到数据库 schema 7 前应停止旧 Host writer；v4→v5 新增 nullable knowledge 列，v5→v6 新增工具证据索引，v6→v7 新增有限采用授权与回执表。迁移保留旧记录、pending 提案和既有回执指纹，不把人工记录改为自动管理；不能让旧版本继续写入新库。
 
 ## 数据与一致性
 
 SQLite 使用 WAL、`busy_timeout`、外键、FULL synchronous 和前向 schema 版本；目录为 `0700`，数据库为 `0600`。记录包含 stable id、内容哈希、provenance、trust、confidence、sensitivity、TTL、supersedes、可选 knowledge 和 version。replace/remove 在批准后重新读取 target version 并以 CAS 提交；审批与内存位于两个数据库，若进程恰好在 policy 批准后退出，可用原决定安全重放。并发变化会把提案标为 `conflicted`，不会覆盖新值。
 
-Schema 版本仍为 6；词法索引版本独立记录在 `schema_meta` 的 `tokenizer-index-version`。重新打开旧库时会在启动迁移事务内按当前 tokenizer 仅重建 active 记录的 `memory_tokens`（内容加 knowledge 文本），不复活 removed 记录，也不改变 identity、schema 版本或审计数据；每个索引版本只重建一次。
+Schema 版本为 7；词法索引版本独立记录在 `schema_meta` 的 `tokenizer-index-version`。重新打开旧库时会在启动迁移事务内按当前 tokenizer 仅重建 active 记录的 `memory_tokens`（内容加 knowledge 文本），不复活 removed 记录，也不改变 identity、schema 版本或审计数据；每个索引版本只重建一次。
 
 升级前必须停止所有仍会写入同一数据库的旧 Host；受管部署使用安装器已有的 stop/quiescence 屏障，手动部署须确认全部旧 writer 已退出。迁移后不得让旧 tokenizer 再写入此库；回退旧版本须按数据恢复流程使用匹配版本的数据库备份。
 
@@ -115,6 +131,7 @@ JSON 导入是一组独立、可重放的提案，不承诺跨所有记录的一
 
 | 字段 | 默认值 | 作用 |
 |---|---:|---|
+| `automaticLearning` | 未配置 | 可选有限采用授权；字段与当前来源检查见上节 |
 | `approvalMode` | `delivery-required` | 生产默认要求 authenticated Delivery route；仅可信本地/headless 集成可显式设为 `delivery-or-headless` 并传 principal |
 | `maxContentBytes` | 4096 | 单条内容最大 UTF-8 字节数 |
 | `maxRecordsPerIdentity` | 1000 | 每个完整身份域的活动记录上限 |
@@ -153,7 +170,7 @@ JSON 导入是一组独立、可重放的提案，不承诺跨所有记录的一
 - 网络：本插件不直接发网络请求；工具证据重读可调用 Host 配置的远端 FS provider。组合 Delivery 时只写 durable dispatch，由 channel 插件负责发送审批卡片。
 - 子进程、凭据、浏览器、安装脚本：无。
 - 数据敏感性：`sensitive` 只表示禁止环境快照；显式、已授权的搜索仍可能把内容发送给当前模型。真正的密码/API key 应放在后续 `credentials-keychain`，不要写入 memory。
-- 非目标：向量数据库、自动无审批写入、自动遗忘/dreaming、知识图谱、Wiki 长文、跨设备同步和多用户 ACL。
+- 非目标：向量数据库、无授权写入、自动遗忘/dreaming、知识图谱、Wiki 长文、跨设备同步和多用户 ACL。
 
 ## 兼容性
 

package/lib/evidence-runtime.js

@@ -32,7 +32,7 @@ export function originalToolEvidence(session, eventSeq, maxSourceBytes = DEFAULT
     const event = session.eventAt(eventSeq);
     if (event?.type !== 'tool/result' || !isAppendSurfaceEvent(event))
         return undefined;
-    const result = event.data.message.content[0];
+    const result = event.data.message;
     const callId = result.toolCallId;
     if (event.data.message.source.callId !== callId)
         return undefined;

package/lib/evidence-runtime.js.map

@@ -1 +1 @@
-{"version":3,"file":"evidence-runtime.js","sourceRoot":"","sources":["../src/evidence-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,oBAAoB,EAAgB,MAAM,0BAA0B,CAAA;AAE7E,MAAM,wBAAwB,GAAG,SAAS,CAAA;AAC1C,MAAM,iBAAiB,GAAG,MAAM,CAAA;AAChC,MAAM,cAAc,GAAG,KAAK,CAAA;AAsB5B,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAC7D,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAC5C,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACnE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AACxD,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAA;AAC3C,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAA;AACjD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;AACnC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,QAAgB,EAChB,iBAAyB,wBAAwB;IAEjD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,cAAc,CAAC;QAAE,OAAO,SAAS,CAAA;IAC1G,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,QAAiB,CAAC,CAAA;IAChD,IAAI,KAAK,EAAE,IAAI,KAAK,aAAa,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAEnF,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAA;IAChC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,SAAS,CAAA;IAEjE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,iBAAiB,CAAC,CAAA;IAC1D,IAAI,QAA4B,CAAA;IAChC,IAAI,aAAa,GAAG,EAAE,CAAA;IACtB,KAAK,IAAI,GAAG,GAAG,QAAQ,GAAG,CAAC,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAY,CAAC,CAAA;QAC/C,IAAI,SAAS,EAAE,IAAI,KAAK,aAAa,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,SAAS,CAAA;QAC1G,IAAI,SAAS,EAAE,IAAI,KAAK,WAAW;YAAE,SAAQ;QAC7C,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QAC9C,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAA;QACxG,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS;eAClC,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QACzG,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAA;QAC9B,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,CAAA;QACxC,MAAK;IACP,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,IAAI,YAAY,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAA;IAEtE,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,KAAK,IAAI,CAAA;IACtC,MAAM,KAAK,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAA;IAC1D,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,GAAG,cAAc;QAAE,OAAO,SAAS,CAAA;IAClI,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAC9B,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,cAAc;QAAE,OAAO,SAAS,CAAA;IACtE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,aAAa;QACb,aAAa,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QAChH,UAAU,EAAE,KAAK,CAAC,IAAI;QACtB,IAAI;QACJ,MAAM;KACP,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,MAAc;IACnD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACrF,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM;WACtC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAC/F,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,OAAO,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM,CAAA;AAC3C,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM,CAAA;AAC3C,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,gBAAgB,CAC9B,KAAyC,EACzC,MAAc,EACd,WAAmB,cAAc;IAEjC,IAAI,OAAO,KAAK,EAAE,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAA;IACpF,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,4BAA4B,CAAC,CAAA;IAC5F,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,+BAA+B,CAAC,CAAA;IAE1G,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAA;IAC7D,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAA;IACrD,IAAI,GAAG,GAAG,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM;WACtC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACnG,sEAAsE;QACtE,4DAA4D;QAC5D,GAAG,GAAG,GAAG,KAAK,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;IAC9C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC;QACnC,MAAM;QACN,UAAU,EAAE,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;QAClD,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM;KAC9B,CAAC,CAAA;AACJ,CAAC"}
+{"version":3,"file":"evidence-runtime.js","sourceRoot":"","sources":["../src/evidence-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,oBAAoB,EAAgB,MAAM,0BAA0B,CAAA;AAE7E,MAAM,wBAAwB,GAAG,SAAS,CAAA;AAC1C,MAAM,iBAAiB,GAAG,MAAM,CAAA;AAChC,MAAM,cAAc,GAAG,KAAK,CAAA;AAsB5B,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAC7D,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAC5C,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACnE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AACxD,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAA;AAC3C,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAA;AACjD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;AACnC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,QAAgB,EAChB,iBAAyB,wBAAwB;IAEjD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,cAAc,CAAC;QAAE,OAAO,SAAS,CAAA;IAC1G,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,QAAiB,CAAC,CAAA;IAChD,IAAI,KAAK,EAAE,IAAI,KAAK,aAAa,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAEnF,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAA;IACjC,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAA;IAChC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,SAAS,CAAA;IAEjE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,iBAAiB,CAAC,CAAA;IAC1D,IAAI,QAA4B,CAAA;IAChC,IAAI,aAAa,GAAG,EAAE,CAAA;IACtB,KAAK,IAAI,GAAG,GAAG,QAAQ,GAAG,CAAC,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAY,CAAC,CAAA;QAC/C,IAAI,SAAS,EAAE,IAAI,KAAK,aAAa,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,SAAS,CAAA;QAC1G,IAAI,SAAS,EAAE,IAAI,KAAK,WAAW;YAAE,SAAQ;QAC7C,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QAC9C,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAA;QACxG,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS;eAClC,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QACzG,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAA;QAC9B,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,CAAA;QACxC,MAAK;IACP,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,IAAI,YAAY,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAA;IAEtE,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,KAAK,IAAI,CAAA;IACtC,MAAM,KAAK,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAA;IAC1D,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,GAAG,cAAc;QAAE,OAAO,SAAS,CAAA;IAClI,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAC9B,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,cAAc;QAAE,OAAO,SAAS,CAAA;IACtE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,aAAa;QACb,aAAa,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QAChH,UAAU,EAAE,KAAK,CAAC,IAAI;QACtB,IAAI;QACJ,MAAM;KACP,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,MAAc;IACnD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACrF,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM;WACtC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAC/F,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,OAAO,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM,CAAA;AAC3C,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM,CAAA;AAC3C,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,gBAAgB,CAC9B,KAAyC,EACzC,MAAc,EACd,WAAmB,cAAc;IAEjC,IAAI,OAAO,KAAK,EAAE,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAA;IACpF,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,4BAA4B,CAAC,CAAA;IAC5F,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC;QAAE,MAAM,IAAI,UAAU,CAAC,+BAA+B,CAAC,CAAA;IAE1G,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAA;IAC7D,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAA;IACrD,IAAI,GAAG,GAAG,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM;WACtC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACnG,sEAAsE;QACtE,4DAA4D;QAC5D,GAAG,GAAG,GAAG,KAAK,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;IAC9C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC;QACnC,MAAM;QACN,UAAU,EAAE,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;QAClD,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM;KAC9B,CAAC,CAAA;AACJ,CAAC"}

package/lib/index.d.ts

@@ -6,6 +6,7 @@ export declare const name = "dsh-enhanced-personal-memory";
 export { PersonalMemoryService, version };
 export type { Config };
 export * from './types.js';
+export { validateMemoryLearningAdoptionGrant } from './learning-adoptions.js';
 export declare function apply(ctx: Context, config: import('./service.js').Config): void;
 export default PersonalMemoryService;
 //# sourceMappingURL=index.d.ts.map

package/lib/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAEtC,eAAO,MAAM,IAAI,iCAAiC,CAAA;AAClD,OAAO,EAAE,qBAAqB,EAAE,OAAO,EAAE,CAAA;AACzC,YAAY,EAAE,MAAM,EAAE,CAAA;AACtB,cAAc,YAAY,CAAA;AAE1B,wBAAgB,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,cAAc,EAAE,MAAM,GAAG,IAAI,CAE/E;AAED,eAAe,qBAAqB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAEtC,eAAO,MAAM,IAAI,iCAAiC,CAAA;AAClD,OAAO,EAAE,qBAAqB,EAAE,OAAO,EAAE,CAAA;AACzC,YAAY,EAAE,MAAM,EAAE,CAAA;AACtB,cAAc,YAAY,CAAA;AAC1B,OAAO,EAAE,mCAAmC,EAAE,MAAM,yBAAyB,CAAA;AAE7E,wBAAgB,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,cAAc,EAAE,MAAM,GAAG,IAAI,CAE/E;AAED,eAAe,qBAAqB,CAAA"}

package/lib/index.js

@@ -3,6 +3,7 @@ import { version } from './version.js';
 export const name = 'dsh-enhanced-personal-memory';
 export { PersonalMemoryService, version };
 export * from './types.js';
+export { validateMemoryLearningAdoptionGrant } from './learning-adoptions.js';
 export function apply(ctx, config) {
     new PersonalMemoryService(ctx, config);
 }

package/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAA;AAEpD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAEtC,MAAM,CAAC,MAAM,IAAI,GAAG,8BAA8B,CAAA;AAClD,OAAO,EAAE,qBAAqB,EAAE,OAAO,EAAE,CAAA;AAEzC,cAAc,YAAY,CAAA;AAE1B,MAAM,UAAU,KAAK,CAAC,GAAY,EAAE,MAAqC;IACvE,IAAI,qBAAqB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;AACxC,CAAC;AAED,eAAe,qBAAqB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAA;AAEpD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAEtC,MAAM,CAAC,MAAM,IAAI,GAAG,8BAA8B,CAAA;AAClD,OAAO,EAAE,qBAAqB,EAAE,OAAO,EAAE,CAAA;AAEzC,cAAc,YAAY,CAAA;AAC1B,OAAO,EAAE,mCAAmC,EAAE,MAAM,yBAAyB,CAAA;AAE7E,MAAM,UAAU,KAAK,CAAC,GAAY,EAAE,MAAqC;IACvE,IAAI,qBAAqB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;AACxC,CAAC;AAED,eAAe,qBAAqB,CAAA"}

package/lib/learning-adoptions.d.ts

@@ -0,0 +1,100 @@
+import { type MemoryLearningOwner, type MemoryLearningReviewRequest } from '@dsh-enhanced/assistant-growth-contract';
+import type { MemoryRecord } from './types.js';
+export interface MemoryLearningAdoptionGrant {
+    authorityId: string;
+    owner: MemoryLearningOwner;
+    reviewAuthorityId: string;
+    reviewAuthorityDigest: string;
+    expiresAt: number;
+    maxMutations: number;
+    maxTotalContentBytes: number;
+    maxRecordTtlMs: number;
+    kinds: readonly ('fact' | 'experience')[];
+    operations: readonly ('add' | 'replace' | 'remove')[];
+}
+export interface MemoryLearningReviewReceipt {
+    protocol: 'memory-learning-review-receipt/v1';
+    operationId: string;
+    requestDigest: string;
+    authorityId: string;
+    authorityDigest: string;
+    sessionId: string;
+    model: {
+        provider: string;
+        model: string;
+        reasoningEffort?: string;
+    };
+    status: 'approved' | 'rejected' | 'unknown';
+    reason: string;
+    outputDigest?: string;
+    receiptDigest: string;
+}
+export interface MemoryLearningAdoptionResult {
+    protocol: 'memory-learning-adoption/v1';
+    authorityId: string;
+    operationId: string;
+    requestDigest: string;
+    reviewReceiptDigest: string;
+    record: MemoryRecord;
+    recordDigest: string;
+    adoptedAt: number;
+    receiptDigest: string;
+}
+export interface MemoryLearningManagedSource {
+    authorityId: string;
+    request: MemoryLearningReviewRequest;
+    id: string;
+    version: number;
+    recordDigest: string;
+    sourceDigest: string;
+}
+export interface MemoryLearningValidatedRef {
+    id: string;
+    version: number;
+    recordDigest: string;
+}
+export interface MemoryLearningAdoptionCommit {
+    grant: MemoryLearningAdoptionGrant;
+    request: MemoryLearningReviewRequest;
+    reviewReceipt: MemoryLearningReviewReceipt;
+    sourceObservedAt: number;
+}
+export interface MemoryLearningTargetInput {
+    owner: MemoryLearningOwner;
+    id: string;
+    expectedVersion: number;
+}
+export type MemoryLearningTarget = Readonly<{
+    id: string;
+    version: number;
+    managed: true;
+    kind: 'fact' | 'experience';
+    content: string;
+    knowledge?: MemoryRecord['knowledge'];
+}>;
+export type MemoryLearningTargetSummary = Readonly<Omit<MemoryLearningTarget, 'managed'>>;
+/** Current, read-only view of a frozen Host grant and its remaining budget. */
+export type MemoryLearningAdoptionAvailability = Readonly<{
+    authorityId: string;
+    grantDigest: string;
+    expiresAt: number;
+    remainingMutations: number;
+    remainingContentBytes: number;
+    available: boolean;
+}>;
+export interface MemoryLearningSourceInvalidation {
+    owner: MemoryLearningOwner;
+    id: string;
+    version: number;
+    recordDigest: string;
+    sourceDigest: string;
+    reason: 'withdrawn' | 'source-changed';
+}
+export declare function validateLearningGrant(value: unknown): Readonly<MemoryLearningAdoptionGrant>;
+export declare const validateMemoryLearningAdoptionGrant: typeof validateLearningGrant;
+export declare function validateLearningReviewReceipt(value: unknown, request: MemoryLearningReviewRequest, grant: MemoryLearningAdoptionGrant): Readonly<MemoryLearningReviewReceipt>;
+export declare function validateLearningRequest(value: unknown): MemoryLearningReviewRequest;
+export declare function learningGrantDigest(grant: MemoryLearningAdoptionGrant): string;
+export declare function learningRecordDigest(record: MemoryRecord): string;
+export declare function learningResultDigest(result: Omit<MemoryLearningAdoptionResult, 'receiptDigest'>): string;
+//# sourceMappingURL=learning-adoptions.d.ts.map

package/lib/learning-adoptions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"learning-adoptions.d.ts","sourceRoot":"","sources":["../src/learning-adoptions.ts"],"names":[],"mappings":"AAAA,OAAO,EAEgC,KAAK,mBAAmB,EAAE,KAAK,2BAA2B,EAChG,MAAM,yCAAyC,CAAA;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAE9C,MAAM,WAAW,2BAA2B;IAC1C,WAAW,EAAE,MAAM,CAAA;IACnB,KAAK,EAAE,mBAAmB,CAAA;IAC1B,iBAAiB,EAAE,MAAM,CAAA;IACzB,qBAAqB,EAAE,MAAM,CAAA;IAC7B,SAAS,EAAE,MAAM,CAAA;IACjB,YAAY,EAAE,MAAM,CAAA;IACpB,oBAAoB,EAAE,MAAM,CAAA;IAC5B,cAAc,EAAE,MAAM,CAAA;IACtB,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,YAAY,CAAC,EAAE,CAAA;IACzC,UAAU,EAAE,SAAS,CAAC,KAAK,GAAG,SAAS,GAAG,QAAQ,CAAC,EAAE,CAAA;CACtD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,EAAE,mCAAmC,CAAA;IAC7C,WAAW,EAAE,MAAM,CAAA;IACnB,aAAa,EAAE,MAAM,CAAA;IACrB,WAAW,EAAE,MAAM,CAAA;IACnB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,KAAK,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,eAAe,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IACpE,MAAM,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,CAAA;IAC3C,MAAM,EAAE,MAAM,CAAA;IACd,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,aAAa,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,EAAE,6BAA6B,CAAA;IACvC,WAAW,EAAE,MAAM,CAAA;IACnB,WAAW,EAAE,MAAM,CAAA;IACnB,aAAa,EAAE,MAAM,CAAA;IACrB,mBAAmB,EAAE,MAAM,CAAA;IAC3B,MAAM,EAAE,YAAY,CAAA;IACpB,YAAY,EAAE,MAAM,CAAA;IACpB,SAAS,EAAE,MAAM,CAAA;IACjB,aAAa,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,2BAA2B;IAC1C,WAAW,EAAE,MAAM,CAAA;IACnB,OAAO,EAAE,2BAA2B,CAAA;IACpC,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,MAAM,CAAA;IACf,YAAY,EAAE,MAAM,CAAA;IACpB,YAAY,EAAE,MAAM,CAAA;CACrB;AAED,MAAM,WAAW,0BAA0B;IACzC,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,MAAM,CAAA;IACf,YAAY,EAAE,MAAM,CAAA;CACrB;AAED,MAAM,WAAW,4BAA4B;IAC3C,KAAK,EAAE,2BAA2B,CAAA;IAClC,OAAO,EAAE,2BAA2B,CAAA;IACpC,aAAa,EAAE,2BAA2B,CAAA;IAC1C,gBAAgB,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,yBAAyB;IACxC,KAAK,EAAE,mBAAmB,CAAA;IAC1B,EAAE,EAAE,MAAM,CAAA;IACV,eAAe,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,IAAI,CAAA;IACb,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;IAC3B,OAAO,EAAE,MAAM,CAAA;IACf,SAAS,CAAC,EAAE,YAAY,CAAC,WAAW,CAAC,CAAA;CACtC,CAAC,CAAA;AAEF,MAAM,MAAM,2BAA2B,GAAG,QAAQ,CAAC,IAAI,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC,CAAA;AAEzF,+EAA+E;AAC/E,MAAM,MAAM,kCAAkC,GAAG,QAAQ,CAAC;IACxD,WAAW,EAAE,MAAM,CAAA;IACnB,WAAW,EAAE,MAAM,CAAA;IACnB,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,qBAAqB,EAAE,MAAM,CAAA;IAC7B,SAAS,EAAE,OAAO,CAAA;CACnB,CAAC,CAAA;AAEF,MAAM,WAAW,gCAAgC;IAC/C,KAAK,EAAE,mBAAmB,CAAA;IAC1B,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,MAAM,CAAA;IACf,YAAY,EAAE,MAAM,CAAA;IACpB,YAAY,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,WAAW,GAAG,gBAAgB,CAAA;CACvC;AA+BD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,CAAC,2BAA2B,CAAC,CAW3F;AACD,eAAO,MAAM,mCAAmC,8BAAwB,CAAA;AAExE,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,OAAO,EAC1D,OAAO,EAAE,2BAA2B,EAAE,KAAK,EAAE,2BAA2B,GAAG,QAAQ,CAAC,2BAA2B,CAAC,CAgBjH;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,2BAA2B,CAEnF;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,2BAA2B,GAAG,MAAM,CAAqC;AACpH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAAsC;AACxG,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,4BAA4B,EAAE,eAAe,CAAC,GAAG,MAAM,CAExG"}

package/lib/learning-adoptions.js

@@ -0,0 +1,85 @@
+import { growthObjectDigest, memoryLearningRequestDigest, validateMemoryLearningOwner, validateMemoryLearningReviewRequest, } from '@dsh-enhanced/assistant-growth-contract';
+const sha = /^[0-9a-f]{64}$/u;
+const identifier = /^[A-Za-z0-9][A-Za-z0-9._:/-]{0,255}$/u;
+function fail(message) { throw new Error(`memory learning adoption: ${message}`); }
+function exact(value, required, optional = []) {
+    if (!value || typeof value !== 'object' || Array.isArray(value)
+        || ![Object.prototype, null].includes(Object.getPrototypeOf(value)))
+        fail('invalid object');
+    const descriptors = Object.getOwnPropertyDescriptors(value);
+    if (Reflect.ownKeys(value).some(key => typeof key !== 'string' || ![...required, ...optional].includes(key))
+        || required.some(key => !Object.hasOwn(descriptors, key))
+        || Object.values(descriptors).some(field => !field.enumerable || !('value' in field)))
+        fail('invalid fields');
+    return value;
+}
+function id(value) { if (typeof value !== 'string' || !identifier.test(value))
+    fail('invalid id'); }
+function digest(value) { if (typeof value !== 'string' || !sha.test(value))
+    fail('invalid digest'); }
+function integer(value, min, max) {
+    if (!Number.isSafeInteger(value) || value < min || value > max)
+        fail('invalid bound');
+}
+function choices(value, allowed) {
+    if (!Array.isArray(value) || Object.getPrototypeOf(value) !== Array.prototype
+        || value.length < 1 || value.length > allowed.length
+        || Reflect.ownKeys(value).length !== value.length + 1)
+        fail('invalid choices');
+    const seen = new Set();
+    for (let index = 0; index < value.length; index++) {
+        const descriptor = Object.getOwnPropertyDescriptor(value, String(index));
+        if (!descriptor || !descriptor.enumerable || !Object.hasOwn(descriptor, 'value')
+            || !allowed.includes(descriptor.value) || seen.has(descriptor.value))
+            fail('invalid choices');
+        seen.add(descriptor.value);
+    }
+}
+export function validateLearningGrant(value) {
+    const grant = exact(value, ['authorityId', 'owner', 'reviewAuthorityId', 'reviewAuthorityDigest',
+        'expiresAt', 'maxMutations', 'maxTotalContentBytes', 'maxRecordTtlMs', 'kinds', 'operations']);
+    id(grant.authorityId);
+    id(grant.reviewAuthorityId);
+    digest(grant.reviewAuthorityDigest);
+    validateMemoryLearningOwner(grant.owner);
+    integer(grant.expiresAt, 1, Number.MAX_SAFE_INTEGER);
+    integer(grant.maxMutations, 1, 1_000);
+    integer(grant.maxTotalContentBytes, 1, 16_384_000);
+    integer(grant.maxRecordTtlMs, 1, 365 * 24 * 60 * 60 * 1_000);
+    choices(grant.kinds, ['fact', 'experience']);
+    choices(grant.operations, ['add', 'replace', 'remove']);
+    return Object.freeze(structuredClone(value));
+}
+export const validateMemoryLearningAdoptionGrant = validateLearningGrant;
+export function validateLearningReviewReceipt(value, request, grant) {
+    const receipt = exact(value, ['protocol', 'operationId', 'requestDigest', 'authorityId', 'authorityDigest',
+        'sessionId', 'model', 'status', 'reason', 'outputDigest', 'receiptDigest']);
+    if (receipt.protocol !== 'memory-learning-review-receipt/v1' || receipt.status !== 'approved'
+        || receipt.operationId !== request.operationId || receipt.requestDigest !== memoryLearningRequestDigest(request)
+        || receipt.authorityId !== grant.reviewAuthorityId || receipt.authorityDigest !== grant.reviewAuthorityDigest)
+        fail('review binding mismatch');
+    id(receipt.sessionId);
+    digest(receipt.outputDigest);
+    digest(receipt.receiptDigest);
+    if (typeof receipt.reason !== 'string' || !receipt.reason.trim() || Buffer.byteLength(receipt.reason) > 4096)
+        fail('review reason');
+    const model = exact(receipt.model, ['provider', 'model'], ['reasoningEffort']);
+    for (const value of [model.provider, model.model, model.reasoningEffort].filter(value => value !== undefined)) {
+        if (typeof value !== 'string' || !value.trim() || value.includes('\0') || !value.isWellFormed()
+            || Buffer.byteLength(value) > 256)
+            fail('review model');
+    }
+    const { receiptDigest, ...body } = receipt;
+    if (growthObjectDigest(body) !== receiptDigest)
+        fail('review receipt digest');
+    return Object.freeze(structuredClone(value));
+}
+export function validateLearningRequest(value) {
+    return validateMemoryLearningReviewRequest(value);
+}
+export function learningGrantDigest(grant) { return growthObjectDigest(grant); }
+export function learningRecordDigest(record) { return growthObjectDigest(record); }
+export function learningResultDigest(result) {
+    return growthObjectDigest(result);
+}
+//# sourceMappingURL=learning-adoptions.js.map

package/lib/learning-adoptions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"learning-adoptions.js","sourceRoot":"","sources":["../src/learning-adoptions.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAAE,2BAA2B,EAAE,2BAA2B,EAC5E,mCAAmC,GACpC,MAAM,yCAAyC,CAAA;AAoGhD,MAAM,GAAG,GAAG,iBAAiB,CAAA;AAC7B,MAAM,UAAU,GAAG,uCAAuC,CAAA;AAC1D,SAAS,IAAI,CAAC,OAAe,IAAW,MAAM,IAAI,KAAK,CAAC,6BAA6B,OAAO,EAAE,CAAC,CAAA,CAAC,CAAC;AACjG,SAAS,KAAK,CAAC,KAAc,EAAE,QAA2B,EAAE,WAA8B,EAAE;IAC1F,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;WAC1D,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QAAE,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAC7F,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAA;IAC3D,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;WACvG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;WACtD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC;QAAE,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAC/G,OAAO,KAAgC,CAAA;AACzC,CAAC;AACD,SAAS,EAAE,CAAC,KAAc,IAAU,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;IAAE,IAAI,CAAC,YAAY,CAAC,CAAA,CAAC,CAAC;AAClH,SAAS,MAAM,CAAC,KAAc,IAAU,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;IAAE,IAAI,CAAC,gBAAgB,CAAC,CAAA,CAAC,CAAC;AACnH,SAAS,OAAO,CAAC,KAAc,EAAE,GAAW,EAAE,GAAW;IACvD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,GAAG,IAAK,KAAgB,GAAG,GAAG;QAAE,IAAI,CAAC,eAAe,CAAC,CAAA;AAC/G,CAAC;AACD,SAAS,OAAO,CAAmB,KAAc,EAAE,OAAqB;IACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS;WACxE,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;WACjD,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,IAAI,CAAC,iBAAiB,CAAC,CAAA;IAChF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAK,CAAA;IACzB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;QACxE,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC;eAC3E,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAU,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAU,CAAC;YAAE,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACzG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAU,CAAC,CAAA;IACjC,CAAC;AACH,CAAC;AACD,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,aAAa,EAAE,OAAO,EAAE,mBAAmB,EAAE,uBAAuB;QAC9F,WAAW,EAAE,cAAc,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAA;IAChG,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAA;IACvF,2BAA2B,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACxC,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAA;IACpD,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,EAAE,KAAK,CAAC,CAAA;IACrC,OAAO,CAAC,KAAK,CAAC,oBAAoB,EAAE,CAAC,EAAE,UAAU,CAAC,CAAA;IAClD,OAAO,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC,EAAE,GAAG,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,CAAA;IAC5D,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;IAAC,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAA;IACrG,OAAO,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAgC,CAAC,CAAA;AAC7E,CAAC;AACD,MAAM,CAAC,MAAM,mCAAmC,GAAG,qBAAqB,CAAA;AAExE,MAAM,UAAU,6BAA6B,CAAC,KAAc,EAC1D,OAAoC,EAAE,KAAkC;IACxE,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB;QACxG,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC,CAAA;IAC7E,IAAI,OAAO,CAAC,QAAQ,KAAK,mCAAmC,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;WACxF,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,aAAa,KAAK,2BAA2B,CAAC,OAAO,CAAC;WAC7G,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,iBAAiB,IAAI,OAAO,CAAC,eAAe,KAAK,KAAK,CAAC,qBAAqB;QAAE,IAAI,CAAC,yBAAyB,CAAC,CAAA;IAChJ,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAA;IAClF,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI;QAAE,IAAI,CAAC,eAAe,CAAC,CAAA;IACnI,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAA;IAC9E,KAAK,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9G,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE;eAC1F,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,GAAG;YAAE,IAAI,CAAC,cAAc,CAAC,CAAA;IAC3D,CAAC;IACD,MAAM,EAAE,aAAa,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAA;IAC1C,IAAI,kBAAkB,CAAC,IAAI,CAAC,KAAK,aAAa;QAAE,IAAI,CAAC,uBAAuB,CAAC,CAAA;IAC7E,OAAO,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAgC,CAAC,CAAA;AAC7E,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACpD,OAAO,mCAAmC,CAAC,KAAK,CAAC,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAkC,IAAY,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAA,CAAC,CAAC;AACpH,MAAM,UAAU,oBAAoB,CAAC,MAAoB,IAAY,OAAO,kBAAkB,CAAC,MAAM,CAAC,CAAA,CAAC,CAAC;AACxG,MAAM,UAAU,oBAAoB,CAAC,MAA2D;IAC9F,OAAO,kBAAkB,CAAC,MAAM,CAAC,CAAA;AACnC,CAAC"}

package/lib/learning-service.d.ts

@@ -0,0 +1,38 @@
+import type { Context } from '@deepseek-ai/cordis';
+import { type MemoryLearningOwner, type MemoryLearningReviewRequest } from '@dsh-enhanced/assistant-growth-contract';
+import { type MemoryStore } from './store.js';
+import type { MemoryAgentContext, MemoryLearningAdoptionGrant, MemoryLearningAdoptionResult, MemoryLearningTargetSummary, MemoryLearningAdoptionAvailability } from './types.js';
+/** Host-only adoption and read-time source checks. No model-visible mutation tool. */
+export declare class MemoryLearningService {
+    #private;
+    private readonly ctx;
+    private readonly store;
+    constructor(ctx: Context, store: MemoryStore, grant: MemoryLearningAdoptionGrant);
+    /** Historical exact receipt for lost ACKs; not a claim that its record is still visible. */
+    lookup(input: MemoryLearningReviewRequest): Readonly<MemoryLearningAdoptionResult> | undefined;
+    adopt(input: MemoryLearningReviewRequest): Readonly<MemoryLearningAdoptionResult>;
+    inspectTarget(input: {
+        owner: MemoryLearningOwner;
+        id: string;
+        expectedVersion: number;
+    }): Readonly<{
+        id: string;
+        version: number;
+        managed: true;
+        kind: "fact" | "experience";
+        content: string;
+        knowledge?: import("./types.js").MemoryRecord["knowledge"];
+    }> | undefined;
+    /** Host-only bounded candidates, after current owner, Policy and source checks. */
+    listTargets(input: {
+        owner: MemoryLearningOwner;
+        limit?: number;
+    }): readonly MemoryLearningTargetSummary[];
+    /** Host-only budget view; no grant registration or Policy quota consumption. */
+    inspectAvailability(input: {
+        owner: MemoryLearningOwner;
+    }): MemoryLearningAdoptionAvailability;
+    /** Sources stay locked through Memory's read snapshot, ranking and framing. */
+    withVisible<T>(context: MemoryAgentContext, callback: () => T): T;
+}
+//# sourceMappingURL=learning-service.d.ts.map

package/lib/learning-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"learning-service.d.ts","sourceRoot":"","sources":["../src/learning-service.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAKlD,OAAO,EAGL,KAAK,mBAAmB,EAAE,KAAK,2BAA2B,EAC3D,MAAM,yCAAyC,CAAA;AAChD,OAAO,EAAyB,KAAK,WAAW,EAAE,MAAM,YAAY,CAAA;AACpE,OAAO,KAAK,EACV,kBAAkB,EAAE,2BAA2B,EAAE,4BAA4B,EAChD,2BAA2B,EAAE,kCAAkC,EAC7F,MAAM,YAAY,CAAA;AAKnB,sFAAsF;AACtF,qBAAa,qBAAqB;;IAGpB,OAAO,CAAC,QAAQ,CAAC,GAAG;IAAW,OAAO,CAAC,QAAQ,CAAC,KAAK;gBAApC,GAAG,EAAE,OAAO,EAAmB,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,2BAA2B;IAiFlH,4FAA4F;IAC5F,MAAM,CAAC,KAAK,EAAE,2BAA2B,GAAG,QAAQ,CAAC,4BAA4B,CAAC,GAAG,SAAS;IAW9F,KAAK,CAAC,KAAK,EAAE,2BAA2B,GAAG,QAAQ,CAAC,4BAA4B,CAAC;IAyBjF,aAAa,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,mBAAmB,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,MAAM,CAAA;KAAE;;;;;;;;IAKxF,mFAAmF;IACnF,WAAW,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,mBAAmB,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,2BAA2B,EAAE;IAqC1G,gFAAgF;IAChF,mBAAmB,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,mBAAmB,CAAA;KAAE,GAAG,kCAAkC;IAiB9F,+EAA+E;IAC/E,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC;CAkClE"}

package/lib/learning-service.js

@@ -0,0 +1,236 @@
+import { growthObjectDigest, memoryLearningRequestDigest, validateMemoryLearningReviewRequest, validateMemoryLearningOwner, } from '@dsh-enhanced/assistant-growth-contract';
+import { memoryPrincipalDigest } from './store.js';
+import { validateMemoryLearningAdoptionGrant } from './learning-adoptions.js';
+/** Host-only adoption and read-time source checks. No model-visible mutation tool. */
+export class MemoryLearningService {
+    ctx;
+    store;
+    #grant;
+    constructor(ctx, store, grant) {
+        this.ctx = ctx;
+        this.store = store;
+        this.#grant = validateMemoryLearningAdoptionGrant(grant);
+        store.registerLearningGrant(this.#grant);
+    }
+    #scope() {
+        const owner = this.#grant.owner;
+        return { authorityId: owner.authorityId, principalId: owner.principalId, workspace: owner.workspace,
+            agentPreset: owner.agentPreset, expectedOwner: { authorityHash: owner.authorityHash,
+                principalRecordId: owner.principalRecordId, principalVersion: owner.principalVersion } };
+    }
+    #services() {
+        const delivery = this.ctx.get('assistantDelivery');
+        const evaluation = this.ctx.get('assistantEvaluation');
+        if (!delivery || !evaluation || typeof delivery.withOwnerForegroundTaskSourcesFence !== 'function'
+            || typeof delivery.inspectOwnerForegroundLearningTask !== 'function'
+            || typeof evaluation.canonicalHostScope !== 'function' || typeof evaluation.getTrustedForegroundLearningProjection !== 'function'
+            || typeof evaluation.inspectTrustedTaskOwnerRevision !== 'function' || typeof evaluation.listTrustedTaskLearningProjections !== 'function'
+            || typeof evaluation.withTrustedCanonicalScopeWriterFence !== 'function')
+            throw new Error('memory learning source services unavailable');
+        return { delivery, evaluation };
+    }
+    #policy(request, consume = false) {
+        const policy = this.ctx.get('assistantPolicy');
+        if (!policy)
+            throw new Error('memory learning policy unavailable');
+        const owner = request?.owner ?? this.#grant.owner;
+        const input = { subject: { kind: 'background', id: 'assistant-memory-learning',
+                workspace: owner.workspace, principal: owner.principalId }, action: 'adopt',
+            resource: { kind: 'memory', id: `learning:${this.#grant.authorityId}` }, context: { initiator: 'background' } };
+        const decision = consume && request ? policy.authorize(input, { idempotencyKey: `memory-adopt:${this.#grant.authorityId}:${memoryLearningRequestDigest(request)}` })
+            : policy.evaluate(input);
+        if (decision.effect !== 'allow')
+            throw new Error('memory learning adoption policy denied');
+    }
+    #request(input) {
+        const request = validateMemoryLearningReviewRequest(input);
+        if (growthObjectDigest(request.owner) !== growthObjectDigest(this.#grant.owner))
+            throw new Error('memory learning owner changed');
+        return request;
+    }
+    #owner(input) {
+        const owner = validateMemoryLearningOwner(input);
+        if (growthObjectDigest(owner) !== growthObjectDigest(this.#grant.owner))
+            throw new Error('memory learning owner changed');
+        return owner;
+    }
+    #evaluationFence(evaluation, callback) {
+        const owner = this.#grant.owner;
+        const scope = evaluation.canonicalHostScope({ workspace: owner.workspace, preset: owner.agentPreset });
+        const { scopeWatermark } = evaluation.listTrustedTaskLearningProjections({ scope, limit: 1 });
+        const result = evaluation.withTrustedCanonicalScopeWriterFence({ scope, scopeWatermark }, callback);
+        if (!result.matched)
+            throw new Error('memory learning canonical scope changed');
+        return result.value;
+    }
+    #sourceState(request, content, services) {
+        if (!content || content.sourceDigest !== request.source.sourceDigest || content.contentDigest !== request.source.contentDigest
+            || content.input.truncated || content.reply.truncated || !content.source.execution.modelSelection)
+            return 'source-changed';
+        const { owner } = request;
+        const scope = services.evaluation.canonicalHostScope({ workspace: owner.workspace, preset: owner.agentPreset });
+        const current = services.evaluation.getTrustedForegroundLearningProjection({ scope, inboxId: request.source.inboxId });
+        const revision = current === undefined ? undefined : services.evaluation.inspectTrustedTaskOwnerRevision({
+            scope, outcomeId: current.triggerOutcomeId, principalRecordId: owner.principalRecordId, principalVersion: owner.principalVersion,
+        });
+        if (revision?.action === 'withdraw')
+            return 'withdrawn';
+        if (request.source.canonical) {
+            const expected = request.source.canonical;
+            const task = services.delivery.inspectOwnerForegroundLearningTask({ authorityId: owner.authorityId, principalId: owner.principalId,
+                workspace: owner.workspace, agentPreset: owner.agentPreset, outcomeId: expected.outcomeId });
+            if (!task || task.judgement === 'unresolved' || task.source.inboxId !== request.source.inboxId || !task.source.quiescent
+                || task.ownerRevision?.action === 'withdraw' || task.canonical.projection.disposition !== 'upsert'
+                || task.canonical.projection.version !== expected.version || task.canonical.projection.digest !== expected.digest
+                || task.canonical.objective?.status !== expected.objectiveStatus
+                || task.owner.principalRecordId !== owner.principalRecordId || task.owner.principalVersion !== owner.principalVersion
+                || task.owner.authorityHash !== owner.authorityHash || task.feedback?.truncated)
+                return 'source-changed';
+        }
+        return 'current';
+    }
+    /** Historical exact receipt for lost ACKs; not a claim that its record is still visible. */
+    lookup(input) {
+        const request = this.#request(input);
+        const delivery = this.ctx.get('assistantDelivery');
+        if (!delivery || typeof delivery.withOwnerForegroundTaskSourcesFence !== 'function')
+            throw new Error('memory learning owner service unavailable');
+        return delivery.withOwnerForegroundTaskSourcesFence({ ...this.#scope(), sources: [] }, () => {
+            this.#policy(request);
+            return this.store.lookupLearningAdoption({ authorityId: this.#grant.authorityId,
+                operationId: request.operationId, requestDigest: memoryLearningRequestDigest(request) });
+        });
+    }
+    adopt(input) {
+        const request = this.#request(input);
+        const prior = this.lookup(request);
+        if (prior)
+            return prior;
+        if (Date.now() >= this.#grant.expiresAt)
+            throw new Error('memory learning adoption grant expired');
+        const verifier = this.ctx.get('assistantVerifier');
+        if (!verifier || typeof verifier.lookupMemoryLearningReview !== 'function')
+            throw new Error('memory learning independent reviewer unavailable');
+        // Verifier lookup takes its own producer locks. Complete it before taking
+        // Delivery → Evaluation → Memory below; no asynchronous gap is introduced.
+        const reviewReceipt = verifier.lookupMemoryLearningReview(request);
+        if (!reviewReceipt || reviewReceipt.status !== 'approved' || reviewReceipt.requestDigest !== memoryLearningRequestDigest(request)
+            || reviewReceipt.operationId !== request.operationId || reviewReceipt.authorityId !== this.#grant.reviewAuthorityId
+            || reviewReceipt.authorityDigest !== this.#grant.reviewAuthorityDigest)
+            throw new Error('memory learning independent approval unavailable or changed');
+        const services = this.#services();
+        return services.delivery.withOwnerForegroundTaskSourcesFence({ ...this.#scope(),
+            sources: [{ inboxId: request.source.inboxId, expectedSourceDigest: request.source.sourceDigest }] }, contents => this.#evaluationFence(services.evaluation, () => {
+            const content = contents[0];
+            if (this.#sourceState(request, content, services) !== 'current')
+                throw new Error('memory learning source changed or withdrawn');
+            this.#policy(request, true);
+            return this.store.applyLearningAdoption({ grant: this.#grant, request, reviewReceipt,
+                sourceObservedAt: content.source.execution.completedAt });
+        }));
+    }
+    inspectTarget(input) {
+        if (growthObjectDigest(input.owner) !== growthObjectDigest(this.#grant.owner))
+            return undefined;
+        return this.store.inspectLearningTarget(input);
+    }
+    /** Host-only bounded candidates, after current owner, Policy and source checks. */
+    listTargets(input) {
+        const owner = this.#owner(input.owner);
+        const limit = input.limit ?? 20;
+        if (!Number.isSafeInteger(limit) || limit < 1 || limit > 100)
+            throw new Error('memory learning target limit is invalid');
+        const services = this.#services();
+        this.#policy();
+        const context = { workspace: owner.workspace, agentPreset: owner.agentPreset,
+            namespace: { mode: 'delivery', principalDigest: memoryPrincipalDigest(owner.principalId),
+                principalRecordId: owner.principalRecordId, principalVersion: owner.principalVersion } };
+        const managed = this.store.listManagedLearningSources(context)
+            .filter(item => growthObjectDigest(item.request.owner) === growthObjectDigest(owner));
+        if (managed.length > 1000)
+            return Object.freeze([]);
+        const sources = [...new Map(managed.map(item => [item.request.source.inboxId,
+                { inboxId: item.request.source.inboxId, expectedSourceDigest: item.request.source.sourceDigest }])).values()];
+        try {
+            return services.delivery.withOwnerForegroundTaskSourcesFence({ ...this.#scope(), sources }, contents => this.#evaluationFence(services.evaluation, () => {
+                this.#policy();
+                if (!this.store.inspectLearningAdoptionAvailability(this.#grant).available)
+                    return Object.freeze([]);
+                const byInbox = new Map(sources.map((source, index) => [source.inboxId, contents[index]]));
+                const targets = managed.flatMap(item => {
+                    if (this.#sourceState(item.request, byInbox.get(item.request.source.inboxId), services) !== 'current')
+                        return [];
+                    const target = this.store.inspectLearningTarget({ owner, id: item.id, expectedVersion: item.version });
+                    return target === undefined ? [] : [{ id: target.id, version: target.version,
+                            kind: target.kind, content: target.content,
+                            ...(target.knowledge === undefined ? {} : { knowledge: target.knowledge }) }];
+                });
+                targets.sort((a, b) => a.id.localeCompare(b.id) || a.version - b.version);
+                return Object.freeze(targets.slice(0, limit));
+            }));
+        }
+        catch {
+            // A temporarily missing source or provider cannot make an automatic
+            // record available to a new producer.
+            return Object.freeze([]);
+        }
+    }
+    /** Host-only budget view; no grant registration or Policy quota consumption. */
+    inspectAvailability(input) {
+        this.#owner(input.owner);
+        const delivery = this.ctx.get('assistantDelivery');
+        if (!delivery || typeof delivery.withOwnerForegroundTaskSourcesFence !== 'function')
+            throw new Error('memory learning owner service unavailable');
+        return delivery.withOwnerForegroundTaskSourcesFence({ ...this.#scope(), sources: [] }, () => {
+            this.#policy();
+            return this.store.inspectLearningAdoptionAvailability(this.#grant);
+        });
+    }
+    #matchesContext(context) {
+        const owner = this.#grant.owner, namespace = context.namespace;
+        return context.workspace === owner.workspace && context.agentPreset === owner.agentPreset
+            && namespace.mode === 'delivery' && namespace.principalRecordId === owner.principalRecordId
+            && namespace.principalVersion === owner.principalVersion && namespace.principalDigest === memoryPrincipalDigest(owner.principalId);
+    }
+    /** Sources stay locked through Memory's read snapshot, ranking and framing. */
+    withVisible(context, callback) {
+        if (!this.#matchesContext(context))
+            return callback();
+        // This query has no held Memory transaction. Newly appearing/changed
+        // managed versions are excluded by the final exact-reference filter.
+        const managed = this.store.listManagedLearningSources(context)
+            .filter(source => growthObjectDigest(source.request.owner) === growthObjectDigest(this.#grant.owner));
+        if (managed.length === 0 || managed.length > 1000)
+            return callback();
+        let callbackStarted = false;
+        try {
+            const services = this.#services();
+            const sources = [...new Map(managed.map(item => [item.request.source.inboxId,
+                    { inboxId: item.request.source.inboxId, expectedSourceDigest: item.request.source.sourceDigest }])).values()];
+            return services.delivery.withOwnerForegroundTaskSourcesFence({ ...this.#scope(), sources }, contents => this.#evaluationFence(services.evaluation, () => {
+                const byInbox = new Map(sources.map((source, index) => [source.inboxId, contents[index]]));
+                const checked = managed.map(item => ({ item, state: this.#sourceState(item.request, byInbox.get(item.request.source.inboxId), services) }));
+                const visible = [];
+                for (const { item, state } of checked) {
+                    if (state === 'current')
+                        visible.push(item);
+                    // A missing/changed source or canonical projection can be temporarily
+                    // unreadable. Only an explicit owner withdrawal warrants deletion.
+                    else if (state === 'withdrawn')
+                        this.store.invalidateManagedLearningSource({ owner: item.request.owner, id: item.id, version: item.version,
+                            recordDigest: item.recordDigest, sourceDigest: item.sourceDigest, reason: state });
+                }
+                callbackStarted = true;
+                return this.store.withLearningVisibility(visible, callback);
+            }));
+        }
+        catch (error) {
+            if (callbackStarted)
+                throw error;
+            // Temporary provider absence/errors hide automatic records, without
+            // manufacturing a durable withdrawal or suppressing manual memory.
+            return callback();
+        }
+    }
+}
+//# sourceMappingURL=learning-service.js.map