健康数据与个人实验

2026-10-02 逐图审计后的界面修复候选

PC 通用 /modules/health/new 进入既有 /modules/health 专用工作台；不改变历史通用列表和详情读取，也不增加新的健康写入能力。

本节记录客户端源码修复；本批浏览器明暗主题、实际点击、读屏、原生设备与真实 API/数据库验收仍为 not_run。不会据样式、模板或状态测试提升领域完成度；既有权限、隐私、幂等、版本及回读合同保持独立。

第二批 H5 可视区只读复测计划

新增 mobile-health-picker-geometry，在认证合成上下文、390×844 视口分别检查观察记录“隐私”字段的 uni-picker 初始位置与普通滚动至视口中心后的几何可达性。浅深主题各一例；检查目标非零、完整在视口、可见祖先及五点命中，不打开选择器、不改隐私、不提交。修复后实际浏览器运行尚为 not_run，不证明健康记录业务验收。

2026-10-03 HLT-001 PC 活跃提交输入冻结

本批只覆盖 PC HealthObservationForm 在本次 POST 与严格 root/revision 回读尚未结束的区间。指标、原始数值、单位、测量时间、时区、说明、隐私、本人确认、纠错目标和原因既显示禁用，也在模型写入入口拒绝直接或迟到事件；重复提交在任何副作用前被同步拒绝。指标对应单位的派生写入一并受控，空闲时同轮选择指标后提交仍使用对应单位，不把用户原文提前 trim 或转为数值。

纠错请求在首次等待前固定当次目标编号、提交时当前列表版本、原因和 typed body；列表刷新、重排、目标消失与任务隐藏/显示不能改写正在发送的请求；hide/show 证据来自合成 parent wrapper，不代表完整父工作台验收。严格回执及 root/revision 核对完成后才沿原路径通知一次并重置；父列表刷新是独立流程。校验、确定拒绝、不确定 POST 或回读失败都保留原始输入与上下文，不用规范化请求覆盖草稿。

这只是活跃提交区间保护：既有 catch/finally 在错误后仍解锁；已分类未知 POST 的原键/原 body 约束继续由原控制器处理，改稿仍可能被拒绝；任意错误及坏回执不新增保键保证。已有回执而回读失败时，本表单仍无 GET-only 恢复入口，再次提交不能创建新 POST；不同创建/纠错操作键的既有边界也没有改为全局锁。不新增重试、放弃回执、持久草稿、step-up 能力或客户端权限判断。局部布尔锁不提供路由、账号会话或卸载重挂隔离；既有实验秘密清理不代表观察记录拥有相同能力。

Mobile 未修改，健康八项仍为 partial。合成 fixture、真实 SFC 内存挂载与 fake transport 的当前红绿证据和门禁见《健康记录提交冻结证据》；真实 HTTP、PostgreSQL、浏览器焦点/IME、原生设备及跨账号运行验收仍为 not_run，不宣称完整 Health 恢复或业务验收完成。

2026-10-03 HLT-001 Mobile 活跃提交输入冻结

本节为 PC 批次之后独立追加的 Mobile 源码候选记录；上方 PC 批次及其“Mobile 未修改”陈述保留为当时范围，不被回写。本批只覆盖 MobileHealthWorkbench 观察记录本次提交、严格 root/revision 回读与原有 awaited 列表重载的活跃区间。观察专属同步锁负责拒绝重复提交和模型写入，其他任务结束后把共享 busy 置为 false 也不能解除该观察锁；这不赋予 shared busy 整个工作台的互斥所有权。

指标、原始数值、单位、测量时间、时区、说明、隐私、本人确认和纠错目标均同时显示禁用并守卫实际写入入口，包括 picker、input、checkbox、纠错选择和派生单位写入。纠错在 dynamic import 之前同步固定原始类型的目标 id、提交时当前列表 revision 与 typed body/reason，不能只保存可变 target 对象；原因仍由原 converter 固定为 USER_CORRECTION，没有可编辑原因控件；等待中的列表变化和直接事件不能重定向已接纳请求。原始输入不提前 trim/coerce，请求规范化仍由原 converter 负责；PRIVATE/SECRET、既有本人事实确认、SECRET notes 限制、append-only 和 expectedRevision 合同不变。

冻结覆盖原有 awaited reload，但不把列表重载改为新的 mutation 回执或事务保证。校验或请求失败沿原错误路径保留原始输入；严格回读成功后的原有重置及后续列表读取失败语义不被改写。既有 catch/finally 结束后仍解锁：未知 POST 保键范围、改稿拒绝、receipt pending 后没有 GET-only 恢复入口、不同操作键不全局互锁等限制继续存在。不新增自动重发、放弃回执、新幂等键、持久草稿、权限或 step-up 能力。

观察局部锁不提供 route/session/unmount/remount 隔离，既有实验秘密清理不能推导为观察会话保护。本批不代表通用 Health 恢复或完整生命周期安全。健康八项仍为 partial；仅使用合成 fixture。当前真实 SFC/fake transport 证据与实跑门禁见《移动健康记录提交冻结证据》；真实 HTTP、PostgreSQL、浏览器焦点/IME、原生设备、跨账号与真实 provider 验收仍为 not_run。

2026-10-03 HLT-001 双端回执恢复候选

本节在既有 PC 与 Mobile 活跃提交冻结历史之后独立追加；前述批次限制保留为当时范围。本批将双端 HLT-001 创建与追加纠错、PRIVATE 与 SECRET、UI 与 headless 调用收敛到各客户端同一运行时、当前 session 的单一观察 owner。不同纠错目标也互斥；旧通用控制器不能提交、确认或放弃 HLT-001。其余七项 Health 功能没有改成全局 owner。

已解析回执且 PRIVATE 的 UI 意图，在同运行时、同 session 的当前独占 consumer 下可显式执行 GET-only 核对；卸载重挂或 Mobile show 只恢复原始快照，不自动 POST 或回读。已知从未 dispatch 的意图只允许显式恢复发送冻结 body 与原键，并撤销旧 dispatch token；未知已发结果永久阻止本 session 内重发或放弃换键，不因超过 24 小时解锁。唯一确定拒绝例外是直接首次 POST 的真实传输错误类、422、合法 requestId 与六码白名单同时成立：先保留并恢复原始字段，再精确确认拒绝，之后才能发起新的显式修正意图；解析/GET 错误不能走此例外。

核对保留严格当前 root 与 receipt 的 id/revision/status/hash/updatedAt 等值及历史版本成员校验，并将 root 按服务端规范化语义绑定首次 typed input。纠错回执必须指向不同的新记录 B，且 B.supersedesObservationId 等于冻结原记录 A；保留 A/N/reason，不声称完整原记录纠错链认证。分页循环或 100 页仍有 cursor 均失败关闭；root 已被后续纠错取代时仍 pending，不能降级为历史成功。SECRET UI 回执保留并说明等待本批未提供的授权敏感核对，零新 proof 交互或敏感 GET 探测。

独占 consumer、准确回执/结果对象身份、session generation、派发/读取 token 与草稿 generation 共同约束核对及一次消费；同步 watcher 改变 session、lease 或草稿后，旧 reset/status/emit/reload 必须停止。headless 只能核对本 owner 返回的原回执对象，不能采用 UI 意图或相等副本；既有逐次 freshProof 回调受读取守卫且不留存。Web 真实卸载撤销，任务 v-show 维持原实例；Mobile 由实际 page-root scope 同步处理 hide/show/unload/unmount。观察列表与详情读取及本次保存后续刷新有独立序列围栏，Web 不因观察成功刷新实验，Mobile 仍等待列表重载并持有观察专属锁；列表刷新失败单独报告。

本批仅为客户端内存候选，不提供重启/重新登录恢复、服务端回滚、持久草稿、全 Health 会话安全或全部隐私等级的成功 UX。既有原始字段与派生 writer 冻结继续保留。健康八项仍为 partial；实际新旧套件、初始失败、独立审查、root 门禁与文档隔离生成证据见《健康记录回执恢复证据》。合成数据、真实 SFC 内存挂载和 fake transport 不替代真实 HTTP、PostgreSQL、浏览器焦点/IME、原生设备、跨账号或真实 proof 验收，后者仍为 not_run。

2026-10-04 Health 原年月日合法性候选

本批原日历守卫与限定证据已核，业务状态仍为 partial。本批在 Health 自有 normalizeHealthInstant 的原 ISO 形状检查之后验证原四位年、月、日的 Gregorian 合法性，拒绝 Date 原先会滚动的不存在日期，再沿既有 Date 解析和 UTC 毫秒输出。保留原 ISO_OFFSET_PATTERN、低年与世纪闰年、合法 offset 跨日、24:00:00 与全零分数、1–9 位小数和输入年界之外的合法 UTC 输出。既有非 ISO 拒绝、required 空值错误、endsAt/endedAt 上层可空合同及 measuredAt 五分钟未来窗口不变；错误仍为 HEALTH_MEASURE_TIME_INVALID，details 只含对应 field。

主要验收链是 HLT-001 新建与追加纠错；修改的同模块 helper 实际影响 19 个函数、27 处调用、19 个 field，亦覆盖导入行/preview 时间、实验、行为、趋势与关联范围、proof/binding/export 及七个服务端视图/状态/关联时间入口。三类真实 preview 的坏日历行经 ImportRowRuleError 包装成 rowNumber/code/field，拒绝行不进入 candidates，合法行继续；previewedAt 本身非法则是顶层时间错误。新 spec 的 H-CAL-01..07 以实际入口覆盖上述清单；作者完整新155与旧15共170用例通过，三类各有全合法 offset 闰日行及精确坏行包装断言。不扩大到 serverNow 直接 Date、仓储历史 iso 读回、列表直接 from/to 或 query.asOf 其它路径。

create/correction 日期校验仍位于 idempotency work 内：先取得 DB 时钟；correction 还先读取 owner 范围原记录，并保留缺记录、字段、revision、状态、reason 的原优先级。非法日历在业务 insert/update/delete 前拒绝不等于没有任何 DB 操作，幂等读取/预占和时钟读取可能已经发生。既有成功 receipt cache hit 经 restore 跳过 work，不重新验证或撤销历史成功；raw typed input fingerprint 和历史观察均不改写。

真实 repository 公开 create/correct 配合合成端口，只能证明已进入 work、读取 clock/必要原记录后按精确错误退出，业务写端口和成功 continuation 未触达；合成 receipt 经真实 policy.restore 的 replay 只证明编排。它们不能证明 PostgreSQL rollback、锁、并发唯一性或维护门。typed Health 当前没有显式 runWrite('health') 或 owner advisory/row lock，本批不补写这些保证。proof/export 规则用例也不等于真实 proof 签发、消费、SECRET HTTP 或下载验收。

客户端原边界单列：Web requireOffsetInstant 与 Mobile requireOffset 仍是 trim、Date.parse 有限性和 offset 后缀校验；不宣称 UI 已阻止不存在的原日历日期。本批不改双端及回执恢复行为，也没有真实 UI 重现或提交验收。既有 PC、Mobile、回执批次和此前文字保留其当时范围。

基线首轮155中67日期产品红与1辅助期望装配失配分开记录；修正辅助期望后，最终同字节 no-cache RED 为67失败/88通过，单domain守卫后作者UTC/no-cache新旧三suite170全过。独立UTC170复跑及实现审查GO；root三独立进程UTC170、Asia/Shanghai155、America/New_York155均exit0/no-cache/0skip，实际本地午夜ISO与offset分别为2026-01-15T00:00Z/0、前日16:00Z/−480、当日05:00Z/300，不累加重复矩阵。API无增量types、原14静态链和integrity各exit0；Node实际exit1，5/5后802通过、18原pwsh ENOENT、3原skip，不能称全绿。完整矩阵、命令、原始日志与冻结 hash 见《健康观察日期合法性证据》。正式冻结时 final Web build、资源/网络及文档后补门未运行者明确为 not_run，之后只另存外部补证，不回填本文。Health 八项的 Catalog 状态保持 partial；真实 HTTP、PostgreSQL、浏览器、原生设备、真实 provider、SECRET 授权和跨账号业务验收仍为 not_run。

2026-10-04 HLT-001 创建与追加纠错维护门候选

本批两入口维护门及限定实证已核。本节在已发表的日历、PC、Mobile 与回执恢复历史之后独立追加；上方日历批次关于“当时 typed Health 没有显式维护门”的原文保持当时范围。本批仅覆盖 HLT-001 createObservation 与 correctObservation 共用的 runReceiptMutation，不是全 Health 写保护，Health 八项仍为 partial。

最小接线以必需注入的真实 MaintenanceModeService.runWrite('health') 在原 try/catch 内包住完整 IdempotencyService.run，包括 lookup、reservation、work 与旧成功 receipt replay；幂等第六 options 明确为 shareInFlightResult:false，避免通过内部 inFlight 提前共享尚未完成外层事务的结果。原 receipt policy、operation、raw typed fingerprint、domain 日期规则和错误映射不变；未增加 optional/default 依赖或缺依赖放行。

既有 owner、identity、principal、scope、权限快照、手工 source 与 key 前置顺序保留。通过这些前置后，maintenance active 由真实 gate 在 shared-lock 与状态读取后拒绝，即使旧 receipt 已成功也先抛 SYSTEM_MAINTENANCE；details 仅为 scope=record-kernel-migration、entryPoint=health，真实 API descriptor 映射为503。active 不触达幂等 lookup、业务时钟、原观察读取或业务写；这不等于零 DB 操作。inactive 或无 state 时保留原业务顺序、成功 receipt 与 replay，普通非SECRET列表/详情也继续原读路径；不把敏感 proof 消费归为零写读取。

新 unit 的限定装配是四个真实类 HealthV2Service、HealthV2Repository、IdempotencyService、MaintenanceModeService 共用同一个纯 JS recording DB端口；只隔离 database.module 的 DI token，pool 为不可调用哨兵，不创建 pg-mem、Nest、HTTP 或真实连接。成功回放从真实首次调用留下的 envelope 恢复；外层端口 deferred/reject 与实际第六参数只证明 JavaScript 结果暴露和选项接线，不证明 PostgreSQL commit、rollback、shared/exclusive竞争或跨实例排空。

两个旧 fixture 只按精确设计增加真实维护依赖和 token 隔离；calendar 的原五参数期望只追加第六 options，原日期、时区、错误、调用次数、trace 与 no-business-writes断言保留。calendar 独立 inactive 维护端口仅保持旧日期用例目标，不证明与业务共享事务；旧 repository 的 private 投影测试也不计为本批维护门验收。最终新spec在原production上包含M7事件循环检查点的有效RED为62例20产品失败/42通过，与候选GREEN同字节；作者UTC/no-cache三suite221/221通过（维护62、calendar155、repository4），comments/security轻门exit0。初始0-test TS7022与15个details辅助期望错误另存，不计产品RED；原baseline-valid与增强后的baseline-final也分开记录。

完整实际命令、RED/GREEN关系、M1..M8断言、旧fixture差异、独立审查、root门及冻结hash见《健康观察维护门证据》。独立实现审查GO并实际UTC/no-cache三suite221/221复跑，五SHA前后稳定，四旧文件的精确逆转逐字同R；root实际UTC/no-cache三suite221/221通过，真实UTC午夜ISO与offset0已核；API无增量types、原14静态链和integrity各exit0。Node实际exit1，5/5后802通过、18原pwsh ENOENT和3原报告缺件skip逐位置相同，不能称全绿。本次正式冻结时 final Web build、产物资源/网络、文档后14门和integrity均为 not_run，之后仅另存外部补证、不回填本文；真实DATABASE_TOKEN代理运行、PostgreSQL锁竞争/rollback/唯一约束、HTTP401/503部署、浏览器、原生设备、真实provider、SECRET授权/消费和完整Health验收均不由本批纯端口unit证明。

2026-10-04 Health 引用写维护门：八入口窄范围证据

既有 HealthV2Repository.runReferenceMutation 已在原 try/catch 内使用必需真实 maintenance.runWrite('health') 包住完整 idempotency.run，并显式传入 { shareInFlightResult: false }。生产只改一行行为和四处中文注释；本地导入 preview/commit、实验 create/patch/status/observation-link、行为 event/link 共8路由模板（含3kind导入为12主case），原 callsite、指纹、resourceId reference、restore/work、错误mapper和receipt helper均保持。

作者同字节新spec有效RED为113产品失败/147通过/260总数，候选新spec 260/260、原三suite 221/221均实际exit0；comments/security静态轻门均exit0。初始0-test类型装配失败、第二轮1项trend辅助期望错误，以及候选metadata复制残留均另存原记录，未算有效RED、未改原始日志。独立4suite实际481/481、exit0并裁定GO，两源及三旧spec前后未改；复跑不累加为新测试矩阵。root预文档精确4suite481/481、API无增量types、原14脚本链与integrity实际exit0；Node实际exit1，domain5/5之后802通过/18原pwsh ENOENT/3原skip，不称全绿。wrapper初次文件名冲突在项目测试启动前停止，原失败历史保留；root已明确批准本三文档冻结。

维护门覆盖lookup、过期清理、reservation、work、SUCCEEDED更新与成功reference restore。service原context/权限→key不变；preview继续DB clock→真parser→repository/policy→gate，非法顶层格式保持原错，非法行可能汇总errors后仍到门。active真实SystemMaintenanceError为503；未知lock/state Error保持身份并安全映射500 INTERNAL_ERROR。preview回放结合本次解析与保存batch时间，实验回放当前资源，不改成首次完整快照receipt。

纯数据端口的空行集不执行WHERE谓词，maintenance state来自合成control；既有查询源码未改。四个真实类、外层barrier和真实inFlight不发布/不加入只证明JS编排和结果暴露，不证明真实PG commit/rollback、advisory锁竞争、唯一约束或跨实例排空。HLT-001、三旧fixture、proof签发/消费、普通读及平台逻辑未改，proof独立维护缺口未修。最终Web build、资源/网络及文档后14/integrity在冻结时均为not_run，之后仅外部补证，不回填冻结正文。

本唯一section含两侧换行的完整payload精确剥离后必须恢复已发表字节；双页逐字镜像，145基线/143固定/682历史受保护。完整隔离生成包含Drizzle journal与acceptance registry，正式落盘只复制通过fresh完整两轮校验的同正文隔离副本：142稳定、20既有drift不扩大，任何失败即停止写入。Health八项仍为partial，逐项证据见docs/验证/2026-10-04-健康引用写维护门证据.md。

2026-10-04 Health 凭证安全写维护门：恢复后窄范围证据

本批只保护issueStepUp与consumeStepUp的proof安全写，两入口均接真实短maintenance.runWrite('health')。前述日历、观察写及引用写批次全文按当时范围保留，不回写其历史结论。健康八项仍为partial。

签发保留service权限、真实当前密码和用途/selection前置，门通过后单次clock_timestamp()，沿原随机32-byte/base64url、绑定、hash-only INSERT和五分钟TTL，外层完成后才返回一次原文receipt。消费保留原快速拒绝和service查找/domain前置，短门内按owner/module/session/proofId精确SELECT id LIMIT 1 FOR UPDATE，取得目标行锁后才单次clock，再原条件UPDATE：保留四scope、consumedAt IS NULL、issuedAt<=now，expiry严格为expiresAt>now；RETURNING恰一行成功，false沿原REPLAYED。新增显式事务可能延长原proof行等待，锁后采样是必需保护。

合法前置后的active真实503只暴露scope/entryPoint，原错误顺序及未知500传播保持；锁、clock、写和外层完成失败不提前回执/敏感读取，不重试或返还proof。普通GET/export不套门，敏感读取等短消费事务结束，敏感export再独立外层Repeatable Read；后续404/查询/序列化/超限失败不回收已消费proof。采样边界为维护门与目标proof行锁完成以后，不承诺提交瞬间、其它DDL/外部等待或时钟跳变后的完整expiry安全，也未增加消费时session/权限和全部读取的同事务复核。

executor reset使旧未提交日志/报告不可访问，本批以恢复后新原件重新完整取证。最终同字节新spec130/130、旧四suite481/481；透明wrapper130，发布baseline44失败/86通过，M1–M4分别14/5/9/5实际产品失败，所有proof轮次H0十二合法控制通过。M1捕获等待后旧事务时间错误消费/TTL，M2删锁与M3前移clock在同目标SELECT/UPDATE共享占用释放跨expiry后真实错误成功，M4捕获恰expiry放行；不是timeout或缺trace冒充RED。comments/security实际exit0。pre-reset的H13证明缺口、合成PASSWORD inline-secret失败及其明确占位最小修复保留为聊天已确认历史概要，不假称旧原件现存。

新独立实现GO及原配置611/611、UTC、0skip已核，新权威24语句片段精确逆转恢复6270e15e。root恢复后精确611、API noEmit/noincremental、原14脚本链及integrity均exit0；integrity为0error/2warning。Node真实exit1：领域5/5，之后823中802通过、18原pwsh ENOENT失败、3原skip，不称全绿。旧reset中断APItypes依然unknown，旧14/integrity未运行，不能用新pass改写。各轮611是同矩阵复跑，不累加覆盖数。

真实service/repository/Auth/maintenance、真实scrypt/domain和有限PgDialect合成端口只证明请求SQL、锁配置、JS时序与失败关闭。pg-mem接受FOR UPDATE语法但忽略锁；没有真实PG advisory/row锁、rollback/MVCC/跨实例、DATABASE_TOKEN代理、HTTP、SECRET下载或完整HLT-008验收。Health仍partial。

新文档保全实际重核145基线/143固定，改以3585非放行已发表文件保护替代reset丢失的旧684选择清单，并绑定恢复后108新生成物；不宣称旧增量连续。完整fresh隔离生成包含Drizzle journal与acceptance registry，两轮142产物稳定、20既有drift不扩大；完整payload含两侧换行精确剥离恢复6270e15e原文，双页逐字镜像。正式只落本三doc，不回写生成drift。最终Web、资源/网络和文档后14/integrity在正文冻结时均not_run，之后只外部补证，不循环回填。完整证据见docs/验证/2026-10-04-健康凭证维护门证据.md。

2026-10-06 HLT-007 Mobile 关联分析目标选择候选

内容事实截止：2026-10-06T05:47:29.673190+00:00。关联查询区新增两个独立真实Picker，复用原metric/behavior枚举与中文展示，保留SLEEP/EXERCISE默认。行为录入草稿与query pair分离；取消/非法索引不静默回默认。Web、API/backend、日期/proof合同、算法、Catalog与其它Health操作不扩大。

correlationSubmitting覆盖proof和GET两段pending，控件disabled与真实writer同步拒绝迟到改稿/重复查询，其他finally清shared busy不解锁本查询。首次await前复制pair、原始窗口和includeSecret，成功结果保存并展示accepted query，之后改稿或失败不重标旧结果。不规范化日期、不创建行为或链接、不输出医学或因果建议。

完整物理基线H0先经已安装控件发健康默认GET；同字节RED仅在实际query picker标签[]与两项必需标签的能力断言失败。最终07f56 spec的作者H0/RED为1通过/1预期失败，各16精确筛选；候选GREEN17/17。独立实际新17、原四suite122及Mobile类型exit0。七metric/八behavior分别覆盖，不说56组合穷尽；复跑不累加覆盖。

原hc09在未改security的inline-secret扫描exit1，原14链后八项及hc10未运行。PASSWORD占位v2虽完成预期角色运行，early scanner仍因includeSecret的Boolean期望字面exit1；最终复用既有exact-query helper，保持相同equality并增加method/body/header检查，scanner不改。最终early scanner及后续fresh角色/根证据与所有旧失败分代保留，真实合成fixture问题不说成凭据泄漏。

最终同freeze根新十门实际完成：Web4226通过及1原HTTP skip，Mobile5365通过；两端类型、H5构建、Nuxt构建/网络、原完整14脚本链和integrity实际exit0。Node实际exit1：domain5/5后802通过、18原pwsh ENOENT、3原Constitution缺件skip，不能称全绿。H5构建不等于H5业务验收。

既有hide/session continuation缺口仍递延，局部锁不是全工作台互斥或生命周期隔离；静态风险不等于正常logout后的可见泄漏或服务器跨session授权绕过。Health八项仍partial。真实浏览器/H5视觉、原生设备、认证HTTP、PostgreSQL、设备/Provider、SECRET消费、跨账号及完整业务验收均not_run。

本截止时CONTENT_ONLY、两轮原生成器142/71/20验证、docs5采用/物理归档/PHYSICAL_DOCS_ONLY、文档后root final、发布/CI和最终包均not_run；以后只外部续证、不回填本文。唯一section完整payload含两侧换行剥离须恢复全部原文，原HLT八行和Catalog状态保持。详细原件与命令见《Health关联分析目标选择证据》。

2026-10-06 HLT-007 Mobile 关联分析生命周期候选

内容事实截止：2026-10-06T09:20:22.286309+00:00。最终source4为既有Health types.ts、实际page-root、workbench与未改spec789e；独立scope接口追加到原types模块，parser/runtime保留，两处type-only import及关联注释调整，独立helper缺席。registry/scanner/旧测试不放宽，Health八项仍partial；既有selector和全部历史章节保持当时原文。

实际page-root以独立current/epoch/terminal/同步订阅撤销关联，观察scope不扩大。hide按accepted correlation.query.includeSecret清SECRET结果，清密码/确认，保留普通完成结果原标签及raw pair/window/includeSecret；编辑checkbox不改变已接受结果分类。session清全部旧结果/秘密，终态去引用/取消订阅不复活，show不自动proof/GET。

精确attempt/session/epoch守卫proof后、GET后、catch/finally；app-owned proof同步GET派发后或撤销时立即去引用。清理哨兵及逐效果guard防同步重入与嵌套部分清理；hide/show完整返回后允许新明确B，旧A后续finally不得解B锁。opaque busy stamp在每次Boolean写前更新，含true→true；只释放最新自身claim，idle不写busy，无关方法体/Boolean效果保持，不是全局mutex。

原transport401不改：同generation迟到401仍可先清token/reLaunch并使B失效，旧generation保护新session；局部围栏不是no-navigation保证。原需求直接规定后台/session清内存proof，密码/确认/accepted SECRET清理是本片经评审策略；不声称网络abort、平台buffer/内存零化、服务端rollback或proof退款。

修正v7 fresh物理基线H0实际0：1通过/136精确过滤；同spec产品RED实际1：hide/show后旧proof多派发1个held GET，结果为空，不是可见泄漏证明。作者与独立各137/137、原五suite139/139、Mobile types实际0。六个真实外层ScrollView公开hook各触发一次；session通知不定位精确password setter，独立finally-only同步hook仍未证明。复跑不累计覆盖。

旧spec883a完整131pass/6fail是观察者选错effect、六次动作未运行的fixture失败；旧v6 root Node800/20/3含两个拒绝独立helper的新架构失败，均保留原件。type-only迁入已有types.ts后，fresh Node两架构实际pass；一次tuple/list metadata回放差异仅作一行JSON normalization、classifier/测试/源不变，独立审查后root用同v2seal重跑前三门并完成全部十项predoc，旧运行不改写。

最终root同source4/v2seal实际Web4226通过及唯一原HTTP过滤skip，Mobile5502/5502；Node actual1：domain5/5后802pass/18原pwsh ENOENT/3原Constitution缺件skip，逐项同原身份，不称全绿。两端types、H5、Nuxt predoc/network、原14静态链与integrity actual0；integrity0error/2既有wrapper warning。完整命令、原退出、历史与hash见《Health关联分析生命周期证据》。

截止时CONTENT_ONLY、原生成器两轮142/71/20、docs5采用、物理archive/root回读/PHYSICAL_DOCS_ONLY、文档后final五门、发布/CI及最终包全部not_run；后续仅外部续证，不回填本文。完整payload含两侧换行剥离须恢复全部旧字节、八partial行与Catalog。真实browser/H5后台/native、logout可见性、认证HTTP、PostgreSQL、provider、SECRET实际消费、跨账号及完整Health验收均not_run，构建不能替代业务验收。

2026-10-11 HLT-007 Web 关联查询与结果身份候选

验证日期：2026-10-11。Web 的提交五字段在 proof 等待前固定，业务草稿继续可编辑；独立关联 pending 防止重复提交，不被其他刷新 finally 释放。成功原子保存 query/result，结果显示已接受指标、行为、窗口与隐私，后改草稿或失败不为旧数字重贴标签。

结果时间显示提交时区的中文日期、完整秒、原小数和各端 UTC offset，区分同分钟/同秒不同窗口；不改全局时区、日期请求或后端毫秒规范化。仅为关联补足已有 session generation 与真实 unmount 所有权，proof/GET/catch/finally 均核验；退休清关联 context 与专属密码/proof，不改行为草稿、共享确认或无关错误。密码按每次模型事件版本保护同值重输，proof 同步 GET 派发后立即去引用。

最终同字节基线 H0 为 3 通过/26 精确过滤，主 RED 为 1 个预期业务失败/28 精确过滤，实际原 GET 使用了 proof 等待中编辑的查询。最终候选新增测试 29/29，纠正后的原相关 8 suite 为265通过加1项原HTTP排除，Web noEmit 类型与注释/文档/语法/导入/安全/完整性六门实际 exit0；完整性为 0 error/2 个既有 wrapper warning。保持 5 秒 test/10 秒 hook、单 worker、无 cache/文件并行。

v2 的 28 通过/1 夹具失败完整保留：computed public render hook 没有 newValue，原过滤使 observed=0。v3 只修观察夹具，生产字节不变；同步窗口强制 observed=1、native input=1、eventKeys=[effect]，未删用例或放宽断言。重复运行不累加唯一覆盖，基线 RED 与失败夹具不改写为绿色。

完整原样 SFC、真实 Vue 原生指令、生产 API/parser/presentation/session 在受控内存 renderer 上运行，最低 fetch/配置/偏好为合成边界。独立自有探针实际12/12、0 skip、exit0；原生产 H0 1通过/11精确过滤，主RED 1项精确查询产品失败/11精确过滤，源码前后及依赖入口核对未发现漂移，源码/spec 未改，两组结果分开计数。本次更正验证范围说明，更正后的文档关联/完整性、双轮生成及组合回归仍待完成。已有 prepare 不是生产 build，未重试全量套件；真实浏览器、认证 HTTP、PostgreSQL、SECRET 签发/消费、原生设备和完整 Health 验收均 not_run。

本片不修共享 checkbox 别名或其它 Health 操作寿命，不添加医疗/因果结论、行为/链接写入、后台隐藏或网络 abort。Health 八项仍 partial。原 canonical/mirror 所有历史保持，精确剥离本唯一 section 的完整 payload 必须恢复原字节。详见 docs/验证/2026-10-11-Web健康关联查询身份证据.md。

验证范围更正：原相关回归漏掉唯一 HTTP 名称排除，实际启动本机回环临时 HTTP 夹具，违反本批不启动监听器的范围。原266通过记录保留为范围违规，不是产品失败；该用例 finally 等待 server.close 且测试/进程正常完成，据此确认夹具已关闭，未另探测端口。新29和独立12不受影响；同八文件恢复既定排除后实际265通过/1原HTTP排除、exit0，全部266项身份保持；源码、测试及5秒/10秒限制不变，原违规运行记录不被覆盖。

2026-10-11 HLT-007 Web 确认用途隔离候选

本片仅分离本人事实声明、SECRET 行为创建与 SECRET 关联读取的三个本地确认模型，默认均为 false。原标签和两个 SECRET 守卫保持各自用途，普通事实或另一表单的勾选不再自动满足敏感操作确认。不新增普通事实强制校验，也不把原规格改述为必须使用三个 checkbox。

行为严格回读成功后，原时点只重置本人事实与事件确认；明确的范围变化是保留无关关联确认，原共享状态曾将其一起清除。失败、未知 POST、坏回执及回读不匹配不提前重置。关联查询与同实例 session 变化均不新增确认过期规则；密码/proof 清理时点、查询快照及请求退休规则保留。

PRIVATE 默认、显式 includeSecret、当前密码、真实 step-up、专用 proof header 与服务端权限仍保留。这是客户端确认用途修正，不是已证明的后端鉴权绕过或数据泄漏；SECRET 行为现有回读限制未修。Mobile、共享 API、服务端、数据库、算法和 Catalog 不扩大，Health 八项仍 partial。

2026-10-12 更新：原生产健康控制 5/5 通过，错误用途断言得到预期失败；第一候选聚焦 49/50，直接观察到原生产也存在的同轮退休后原生 value 未空问题，未直接观察 Health 内部密码模型。失败与未加中间 flush 的用例保留。后继仅将密码适配器改为由原 ref 跟踪和通知的 customRef，原 ref、setter 与 v-model 保留；不重复 track/trigger。新增节点身份/合成焦点和普通组合输入测试，不覆盖 composing 期间退休、无 input 自动填充或真实浏览器焦点。独立最小 SFC 的四项框架对照直接观察模型与原生值，computed 同轮模型空而原生值非空、customRef 均空；这些对照仅支持机制。后继 16 个有界阶段均符合预期，其中两个原生产反例实际 exit 1；候选 23+29 项共 52/52、相关 9/9、Web 类型与六项静态检查通过，公开 hook 精确六键与单次重入断言也已确认。独立完整 SFC 12/12 通过，原生产健康控制 3/3；基线反例的工具分类拒绝经实际断言与错误差异核对后确认，原记录保留。文档生成与幂等按最终交付门禁单独核验；真实浏览器、认证 HTTP、PostgreSQL、真实 proof 和完整 Health 验收亦 not_run。详见 docs/验证/2026-10-11-Web健康行为确认用途证据.md。本唯一段落剥离后须逐字恢复所有历史。

2026-10-12 Web 健康导出确认短语持续提示候选

本批只补足 PC HLT-008 的既有确认输入说明：用户选择包含绝密内容后，在“确认短语”字段持续显示应输入的 EXPORT_HEALTH_SECRET，并以每个实例独立的 aria-describedby 关联；输入的 aria-labelledby 只引用“确认短语”标题，名称与说明分开。说明在普通模式也可见，不因已填值消失；隐藏再显示不改已有草稿。长字面量允许窄屏换行，真实布局与读屏效果待浏览器验证。

该字符串是公开合同要求的用户确认，不是密码或一次性 proof。不预填、不自动勾选、不改变大小写或空格精确匹配；原权限、密码、selection-bound step-up、请求头、typed payload、下载字节数与摘要检查保持。Mobile、HealthBehaviorPanel 和其他请求生命周期均未修改。

隔离候选已准备完整 SFC/原生 Vue 指令测试：持续可见、同页多实例关联、错误输入阻止、确认勾选与密码门禁、三格式原 selection/hash/proof wire。受控 step-up/export 请求检查不证明摘要/字节校验或下载成功。所有新增测试、类型检查、构建、浏览器、真实 HTTP、PostgreSQL 和 proof 验收当前为 not_run，不宣称已通过或完成；Health 八项仍 partial。详见《Web健康导出确认短语持续提示设计》及实施计划。

2026-10-12 确认短语提示作者及独立验证续记

前节的 not_run 保留为源码准备时快照。本节事实截止 2026-10-12T00:54:03Z：作者同完整 SFC 测试的原生产 H0 实际exit0、15通过/3精确筛除；定向 RED 实际exit1、1个预期失败/17精确筛除，准确落在 associatedHint 检查缺失 aria-describedby 的断言，未把夹具、导入或超时错误当成产品失败。候选新增18/18及原相关两文件9/9均exit0、0skip；Web noEmit类型与注释/文档关联/语法/相对导入/安全/完整性六门均实际exit0，完整性0error/2个既有wrapper warning。

作者两次外层门禁失败原件保留且未重跑：Nuxt prepare实际exit0后，四个本地regular cache新增触发原alias检查；独立核对28个原别名不变，逐一确认三个Jiti缓存来源和一个Nuxt UUID缓存格式，再单独裁定并冻结。H0实际exit0、15通过但reporter的过滤状态是skipped，原预期是pending；完整18项身份核对后只改20个过滤状态预期并单独裁定。原外层exit91不抹除，也不计作产品失败或额外通过用例。

独立自有六例的修正后原生产H0实际exit0、5通过/1精确筛除；定向RED实际exit1、1个预期失败/5精确筛除，准确定位首个缺失aria-labelledby的名称关联断言。候选独立6/6、0skip、exit0，源码与工具入口检查无漂移；覆盖普通请求不混入隐藏敏感草稿、密码空格原样传递、畸形proof与缺WebCrypto阻断、坏字节数/摘要拒绝下载，以及双面板名称/描述在条件重建后的隔离。

首次独立H0实际exit1、3通过/2夹具失败/1精确筛除完整保留：两项新夹具期望内部“校验失败”，而现有界面返回“导出内容未通过完整性校验，未生成下载。”。仅一行改为完整公开文案相等检查后另位复验；坏元数据、无Blob URL、无成功状态和单请求断言均保留，生产与作者spec不改。该失败不改写为绿色，重复运行不累加覆盖。

保持原5秒test/10秒hook、单worker、无cache/文件并行及唯一HTTP名称排除。证据续记前的原文档两轮生成和生成后关联检查实际exit0；canonical/public Health字节保持，第二轮无变化。本续记自身的生成/镜像/关联门禁在本截止时尚未执行，后续只另存交付证据，不回填已冻结本文。共享包构建与Nuxt prepare不等于完整生产build。受控请求与坏响应拒绝不证明成功摘要/字节校验、下载或proof签发消费；浏览器布局/读屏/键盘、真实HTTP、PostgreSQL、Mobile及完整业务验收仍not_run，Health八项仍partial。

2026-10-12 HLT-008 Mobile 固定确认短语持续提示候选、作者及独立证据

本片仅为包含绝密数据时的确认短语输入增加持续可见的“请输入确认短语：EXPORT_HEALTH_SECRET”，并复用既有 native-input-label 将相同静态文字绑定到 H5 实际原生输入。该公开操作短语不受技术信息偏好隐藏；生产净增163字节，完整 script/style 不变，原始输入、占位、默认值、明确勾选、密码、proof、请求、内容完整性及生命周期逻辑保留。

UniLabel 并非 HTML label，不能由 Web label/for 或包装层 ARIA 推定内部输入已命名。作者采用官方 Uni H5 编译与已安装控件，观察实际原生 input；Mobile 渲染与官方编译仍为 Vue/compiler 3.4.21。vue-tsc 2.2.12 的私有 language-core 分析依赖 compiler-dom/core/shared 3.5.39 单列，不能说所有依赖均3.4.21；生产类型检查不覆盖新spec或专用测试运行配置。现有指令仅在H5使用DOM，不承诺原生App或小程序读屏通过。

首失败完整保留：初次冷旧源码H0在未修改 trendDraft.from 处触发v-model编译错误，原生exit1、2通过/1失败/16精确过滤，该次验证停止，分类为意外宿主故障，不能当产品RED。修正只在测试初始parse options增加46字节的 templateParseOptions，匹配已安装plugin-vue和官方Uni初始解析路径；没有warm-up、二次编译、缓存旁路、吞错、断言放宽或生产修补。

作者运行事实截止2026-10-12T03:37:28.337933+00:00：修正后五个共享包构建exit0，冷旧源码H0为3通过/16精确过滤；严格RED原生exit1、1失败/18精确过滤，准确落在spec第276行持续可见完整短语断言，实际空数组对预期一项文字，之后的原生名称断言未在该反例执行。候选同spec19/19、相关五文件30/30，生产Mobile类型及comments/doc-links/syntax/relative-imports/presentation-localization/integrity六门各exit0；integrity为0error/2既有wrapper warning。12阶段包含预期失败，不等于12个绿色测试。上述作者证据截止保留其历史范围；复跑不累加唯一覆盖。

候选覆盖持续指导、条件重建、任务显隐、严格字符串与独立勾选/密码门禁、合成typed query/selection hash/proof header和现有完整性后的临时下载端口。拒绝先排除旧alert，再核对唯一真实UniView公开错误及按钮解锁/零观测副作用；密码缺失沿原安全fallback并清空密码。坏摘要/字节数只主张零object URL/下载/成功结果，不主张零Blob分配。不监听端口的测试Server的六事件记录仅提供指定server未监听和清理的有界证据，没有kernel/syscall隔离证明。

独立证据事实截止2026-10-12T04:05:12.938413+00:00：独立五共享包构建native exit0，冷旧源码H0为1通过/9精确过滤；独立名称RED为1精确失败/9精确过滤、native exit1，准确落在独立spec第105行实际原生确认input的aria-label断言，预期完整静态文字、实际null。候选同一独立spec10/10、0skip、native exit0，包含1 H0、1名称能力例、3正向候选行为和5精确内存模板反例：仅可见文字、只命名包装层、短语仅在占位、误绑密码、技术信息开关隐藏提示均被各自精确缺陷数组识别。反例保留script/style，不写产品。独立断言和变异复用作者合成宿主，不称独立浏览器或独立宿主。四阶段原生退出依次为0/0/1/0，精确失败定位见证据文档；独立验证代码不属于本次源码变更；这些局部结果不代表全部Health业务已通过。

本次文档修订在docs-site/modules/health.html与apps/web/public/docs/modules/health.html使用同一唯一section，全部Web与历史内容保留；删除本section及两侧新增换行后恢复各49,932字节原文。作者六项静态检查早于本次文档，保留为历史结果。文档生成器双轮/幂等、镜像/链接及静态检查只对实际检查的版本有效；本文清理只做文档内容和字节比较，不增加行为或类型覆盖，旧文档的历史not_run状态不改写。作者19/19、相关五文件30/30、独立10/10是各自已有结果，不改称一次新增的59例运行，历史全量结果也不能当作本修订后的新全量运行。真实H5/App/MP构建、浏览器布局/读屏/键盘、原生设备、认证HTTP、密码/proof签发消费、真实下载、服务、PostgreSQL及完整Health验收仍not_run，Health八项保持partial。原导出生命周期及并发限制未扩大。详见docs/验证/2026-10-12-Mobile健康导出固定短语提示证据.md。

2026-10-12 Mobile 实验与行为文本上限候选

只为现有实验标题、假设、行为改变、测量计划和行为标签补充maxlength：标题/标签200，三项实验必填正文2000，与既有Health DTO/领域一致，避免Uni默认140。完整script/style、输入绑定、必填、本人确认、PRIVATE默认、USER_INPUT来源、服务端校验及既有请求/回读/保留策略不改。

事实截止2026-10-12T19:42:45Z：独立物理旧树H0 2例通过/24过滤，五项RED准确在Uni公开props maxlength140对200/2000失败/21过滤；候选26例、Health四spec49例（含原导出19、观察20、展示4、typed6）和支持三spec20例分别通过，0skip，不重复累加H0/RED或原导出。宿主提取保留官方Uni初始parse与compileScript选项、原export19断言和钩子。生产类型及六静态门通过；首次comments缺显式TS入口的exit1保留，按仓库支持入口重跑成功。integrity为0error/2既有wrapper warning。

真实已安装Uni控件props和原生maxlength、140/141/合同上限经生产客户端到合成传输、明确422后原稿保留和既有必填/确认分别覆盖。合成DOM不模拟浏览器maxlength截断，合成422不证明真实服务端/DB；真实浏览器/IME/粘贴/读屏、App/小程序、HTTP/PG、成功保存回读与完整Health验收仍not_run，八项保持partial。未恢复或引用丢失运行记录。文档生成核对在单独副本进行，不增加业务覆盖。详见docs/验证/2026-10-12-Mobile健康文本输入上限证据.md。

2026-10-13 Web 个人实验观察绑定持续标签候选

入口为 /modules/health → 个人实验 → 选择已有实验。本批只为两个既有绑定 select 分别增加原生可见标签“健康观察”“观察角色”，选值后仍显示字段名；保留“绑定健康观察的历史版本（不复制数值）”说明。复用 health-field 和已有主题/换行布局，每个 label 只包裹一个 select，不使用共享固定 ID。

完整 script、两个 select 的模型与选项保持；观察默认空、角色默认 RESULT，三角色枚举与技术信息偏好不变。绑定只提交原 observation revision/hash 引用；SECRET 密码/proof、权限、幂等、loading/空观察按钮禁用、原严格回读与刷新次序不改。不新增 pending 控件锁或终态绑定规则，不修改关联分析选择器、Mobile、API、数据库或 Catalog。

已准备完整 SFC/真实 Vue 模型指令加性测试，静态预期 H0 12、缺标签 RED 4、持续/双实例 3，共19项；所有测试、类型、构建、静态脚本、文档生成及独立运行均 NOT_RUN。内存和合成传输不证明浏览器、读屏、真实授权、proof 签发消费、HTTP/PostgreSQL或完整Health验收，八项仍partial。旧版历史原文与结果保持当时范围；精确剥离本section及两侧新增换行须恢复原文。详见docs/验证/2026-10-13-Web健康实验观察绑定持续标签证据.md。

2026-10-13 个人实验绑定标签实际验证续记

事实截止2026-10-13T00:20:45Z。前节NOT_RUN保留为源码准备时历史。本次原生产H0原生exit0、12通过/7过滤；标签RED原生exit1、4个精确缺标签失败/15过滤，均为spec第296行第84列原生标签空字符串对两字段名称的断言。候选同spec19/19、原七个Health Web文件194/194均exit0、0skip；三个阶段19项完整名称/顺序和spec字节一致。原suite按真实报告分别为23/29/18/95/20/4/5，不混入Mobile同名文件，不累加重复覆盖。

基线/候选各自fresh共享构建与原Nuxt类型检查均exit0，未手造.nuxt或替换模块；不等于完整生产build。候选注释/文档关联/语法/导入/中文展示/完整性六门均exit0；integrity为0error及2个既有wrapper warning。原5秒test/10秒hook、单worker/无cache/无文件并行保持，全部阶段无timeout或强制清理信号，生命周期记录未监听且reap后无残留阶段进程。独立审查复核源与实际报告，没有另算一次独立测试运行。

完整原SFC/模型指令、生产API/parser/展示处理合成传输，只证明客户端引用payload、原禁用/密码边界与历史revision/hash回读接线；不证明浏览器可访问树、权限、proof签发消费、真实HTTP/PG或医疗结果。最终文档双轮生成等在本正文冻结时NOT_RUN，后续只外部补证。浏览器/读屏/键盘、完整production build、Mobile、完整Health验收与发布CI仍NOT_RUN，八项保持partial。详见docs/验证/2026-10-13-Web健康实验观察绑定持续标签证据.md。

2026-10-16 Web 个人实验成功标准

HLT-006 原正文增加“成功标准（可选）”原生标签和maxlength=2000的textarea，使用已有successCriteria草稿。可录入用户自己的描述性标准、回显已有值、通过原PATCH修订或清空为null；不自动判断成功，不提供诊断或治疗建议。

沿用已有trim/null、expectedRevision、提交中和终态fieldset禁用、严格current/FULL revision回读及明确失败保稿。生产script、style、API、contracts和后端不改。旧树缺输入断言真实RED并独审，候选新增23/23、原8个Health套件213/213实际通过且0跳过；两臂共享构建、Nuxt及新spec严格类型通过。

六项静态门通过；中文展示首次因静态compiler入口遗漏真实失败，保留原记录，独审补既有可信3.4.21入口/闭包后原脚本retry1通过，未改组件或基线。最终双轮HTML生成、镜像/幂等和生成后门禁针对本节同字节另行核验，结果见同批交付原始记录。

内存宿主与合成传输只验证客户端输入接线及回读，不证明浏览器maxlength实际阻止输入、布局/读屏、真实持久化、权限或医疗结果。浏览器、真实HTTP/PostgreSQL、Mobile、production build、完整Health验收及发布CI仍NOT_RUN，健康八项保持partial。详见docs/验证/2026-10-16-Web健康实验成功标准证据.md。

2026-10-16 Mobile 个人实验成功标准

HLT-006 创建表单增加“成功标准（可选）”的textarea，直接使用已有experimentDraft.successCriteria，maxlength=2000并复用native-input-label。仅增加203字节模板，完整script/style、API、合同与后端不变；沿用trim/null、原必填与本人确认、提交按钮锁、严格root/FULL历史回读及保稿，不新增编辑流程。原实验输入不因busy冻结，本字段也不新增冻结。

成功标准是用户自己的描述，不自动判定成功、不提供诊断或治疗建议。新12例准备使用完整SFC、已安装Uni H5控件和真实模型/API/parser，最低uni.request提供合成回包。旧Health75不改；原编译支持204独立留证，扩展205按同字节两臂验证419/107新清单与唯一绑定，不能把新增期望RED说成旧业务回归。

本节为源码准备时快照：新增/相关测试、类型、MP/H5构建、六静态及文档门均NOT_RUN，后续实际终态见同批证据与原始交付记录。真实浏览器maxlength截断、IME/粘贴、布局/读屏、App/小程序设备、真实HTTP/PostgreSQL、权限/proof、完整Health验收及发布CI仍未覆盖，八项保持partial。详见docs/验证/2026-10-16-Mobile健康实验成功标准证据.md。

2026-10-17续记：初始候选真实10/12，合法多行root回包被Mobile通用文本解析拒绝，成功及空历史两例因此失败。服务端允许TAB/LF/CR，不能改单行夹具掩盖。批准仅successCriteria独立解析与5例root/FULL正反回归，其他nullableText不动；后续最终297身份、类型与构建仍待实际证据，不将原失败改写为绿。

最终生产字节续验：仅successCriteria窄解析修复后，新parser5、原字节完整SFC12、旧Health75及编译支持205共297项均通过且0跳过，两类类型门与同序collection通过。原MP/H5 production构建均exit0，分别1026/309文件、116声明路由；两包标准归档逐成员实物恢复后回收。严格多行回读及保稿未放宽，原10/2失败保留。文档与末门实际结果见同批证据；真实浏览器、设备、HTTP及完整Health验收仍未覆盖。

2026-10-17 Web 个人实验多行正文响应

HLT-006 服务端允许描述正文内部TAB/LF/CR，Web原通用响应文本校验错误拒绝。仅为hypothesis、behaviorChange、measurementPlan及successCriteria新增窄解析：前三项仍必填非空，成功标准仍string/null，回包原文不裁剪；其余30个ASCII控制字符仍拒绝。title、targetUnit、baseline、stopReason及通用helper保持原严格边界，不改UI、API、服务端或输入转换，不增加响应长度规则。

旧parser的hypothesis/LF唯一用例真实RED并独审，仅切换types后候选parser65、完整原SFC42、旧8个Health套件213合计320项全部通过，0失败/跳过/待办；原236项保持，原SFC测试27,504字节前缀逐字保留。最低$fetch合成边界消费POST/PATCH完整View及最小receipt，等待current/FULL后才成功，已有多行回显、明确拒绝保稿、缺/坏历史及坏回包拒绝均已验证。

两臂原共享构建、Nuxt及严格spec类型均exit0；六静态首跑exit0，完整性0errors及原2项wrapper warning。中文展示首跑即绑定已审Mobile compiler-sfc3.4.21静态入口及闭包，Web依赖不变。原HTML双轮/镜像/幂等和最终同字节末门在本节冻结时尚未运行，后续结果见本批原始记录。合成传输不证明真实HTTP/PostgreSQL、权限、浏览器截断或医疗效果；完整Health仍partial，真实浏览器、Mobile、production build、部署与CI未覆盖。详见docs/验证/2026-10-17-Web健康实验多行正文解析证据.md。

2026-10-17 Web 手工观察多行说明回读

HLT-001 服务端现有notes允许正文内部TAB/LF/CR，Web原nullableText错误拒绝合法PRIVATE当前详情。仅给观察notes增加专用可空解析并替换一个调用：原文不trim、不增响应长度规则，仍拒其余30个ASCII控制；缺字段、null、空串及显式undefined保持原区别，其余文本与已发表实验helper不变。

完整真实表单textarea、Vue模型和生产API/parser经最低$fetch合成边界验证创建与追加纠错：两者都是POST最小receipt，纠错新B不同于A且root保留supersedes关系，平面revision历史真实省略notes。只有root正文与历史全部核对后才saved并原重置；缺notes、null或错正文不得拿草稿补回，未知态保稿、单POST，显式恢复只GET。SECRET非空notes的既有客户端拒绝及UI敏感零GET保护不变；这不表示服务端禁止存储SECRET notes。

三项合法LF路径在原types下真实RED，H0三项通过；默认test环境下基线原320全绿，候选新增parser65、完整SFC58及原320合计443/443，零失败/跳过/待办。控制器曾显式production导致旧宿主14项失败，原types同配置完整复现；撤销该覆盖后按仓库Vitest默认test重新跑两臂，未改旧测试或超时。原失败记录保留。

两臂原Nuxt与严格新spec类型实际通过，独立companion与strict的1856/1476文件图闭合；默认test续验逐项核原类型输入后继承，不冒称在test环境重跑类型。原六静态通过，完整性0errors、原2wrapper warning。双轮HTML、镜像/幂等及末门在本节冻结时尚未运行，后续按实际原始记录补证。合成传输不证明真实HTTP/PostgreSQL、权限、浏览器maxlength/IME或医疗效果；Mobile、浏览器、production build、部署/CI与完整Health验收未覆盖，八项保持partial。详见docs/验证/2026-10-17-Web健康观察多行说明解析证据.md。

2026-10-17 Web 个人实验基线多行回读

可选baseline沿用服务端实验文本合同，Web响应解析复用已有可空实验描述helper，保留TAB/LF/CR与string/null原文，仍拒绝其余30种ASCII控制。修正此前把baseline归入单行严格字段的测试假设；旧批说明保留为当时范围，不代表本次合同。

只处理已存PRIVATE实验的列表、current及FULL历史兼容，不新增基线控件；修订其它已有字段仍不在PATCH中发送baseline。UI、后端、API、SECRET proof与过滤、幂等及版本/hash对账均不变。原types下parser LF与完整SFC列表两项真实产品RED；候选13套件497/497通过，零失败/跳过/待办，原类型及六静态通过。旧parser65纠正为64，新增parser44及完整SFC追加11；原失败与进程组停线均保留。文档双轮及末门实际结果见本批证据；真实HTTP、数据库、浏览器和权限验收未运行，健康八项仍partial。

2026-10-17 Web 个人实验创建基线控件

原可选baseline草稿和创建POST已具备，本批仅补原生textarea：创建可填、已有实验原文只读，PATCH合同仍不含baseline。沿现有trim/空白null转换、失败保稿、完整current/FULL核对后成功重置；原fieldset在写入期及终态禁用，不把列表刷新称为写入锁。结束时间另批。

原SFC缺控件唯一用例真实RED；只切换模板后13套件516/516通过、零失败/跳过/待办，完整原SFC53项字节前缀保留并新增19项。两臂原类型通过；候选六静态通过。文档双轮与末门实际结果见本批证据。只核HOST属性与离线组件流程，不外推浏览器maxlength/readonly执行、真实HTTP/数据库或权限验收，八项健康仍partial。详见docs/验证报告/Web健康实验创建基线控件证据.md。

观察显式使用当前时间

测量时间和时区默认仍空；点击按钮才以设备时钟覆盖测量时间，仅给严格空时区补设备 IANA，已填原文保持，设备信息失败不猜测 UTC。沿原受控 writer、锁和代次保护，待回读不改冻结稿。

原 SFC 缺按钮唯一真实 RED；候选 549/549 全绿，原 58 项字节前缀保留、新增 15 项及旧三 TZ 用例通过。两臂原类型通过，候选六静态通过；首次两 fixture 的 TS2339 修正与原失败保留，不当产品 RED。文档末门待本轮原生补证；完整日期选择和 Mobile 另批，CUR-005 与 Health 仍 partial。详见 docs/验证报告/Web健康观察显式当前时间证据.md。

本地导入新文件重新确认

选择事件实际取得新文件后，立即撤销上一份文件的确认，再沿原流程校验和预览；非法类型、正文读取或预览失败也不能继承旧确认。取消选择且没有文件时保留原预览和确认，不发新请求。

新文件成功预览后须重新勾选；零可接受候选仍禁提交。原 importId、previewHash、幂等及批次、行结果、观察详情和历史严格回读合同不变，不因回读失败显示成功。

新增十项采用完整 SFC、真实客户端及合成传输，同实例以 SLEEP 文件 A 到 EXERCISE 文件 B 验证，不重置真实 pending 槽。注释前完整回归三时区各722、共2166次已通过；仅补八条注释后，最终字节新增十例三时区共30次及六项静态门已通过。类型历史证据、文档与末门结果分别记录，详见同批证据。独立云备份未完成，未将其计为成功。原诊断 STOPPED 和独立事后产品失败分析均保留，不追认旧阶段成功。

本批不修复同类别预览槽、文件读取期间类别变化、会话或卸载竞态。真实浏览器、HTTP、数据库、权限、Mobile、provider 及完整 Health 验收未据此完成，Health 八项保持 partial。详见 docs/验证/2026-10-19-Web健康导入文件确认证据.md。

已完成导入后继续预览同类别文件

本地文件经明确确认、提交及批次、行结果、观察和完整历史回读后，可在同一页面选择下一份同类别文件。下一份预览仍须重新勾选确认，取消选择且没有文件时不改变原状态。

只在原预览与完成批次精确对应、原 preview/commit 两个操作回执都匹配后原子消费两槽；失败、未知或错配不借放弃操作解锁，不清除其他类别。预览类别绑定原请求快照，行结果与完整预览指纹也纳入核对。分页保持100页上限，仍有下一游标则拒绝完成；已有当前修订不能替代完整终页。

完整 SFC 的同类别重用、分页和类别归属缺口均先由真实失败验证；新增40项加原十项共50项，三时区19个 Health spec 各762项、共2286次实际通过，严格类型与六静态检查通过。 真实浏览器、HTTP、数据库、权限、Mobile、provider 及完整 Health 验收未据此完成；云备份未完成，Health 八项保持 partial。详见 docs/验证/2026-10-20-Web健康导入同类别再次预览证据.md。

Mobile 已完成导入后继续预览同类别文件

原预览、完整批次和行结果、每条成功观察详情与全部历史都严格核对后，才原子消费精确匹配的preview/commit两槽；下一份同类别文件使用新键并默认未确认。失败、未知、错配及未到自然终页不会释放原槽；其他类别保持不变。

完成态按钮与实际提交入口禁止旧预览再次POST；真实新文件在读取前撤销旧确认和预览，取消保持原态，零可接受候选禁提交。医疗、权限、隐私、用户原文及服务端幂等合同不变。

最终11个Mobile Health spec三时区各382项、共1146次全过，生产与测试严格类型、六静态检查通过。 新增44项包含完整Mobile页面主路径与真实API、局部控制器保护，原Uni控件保持；传输、文件系统及DOM为合成边界；H5文件是模板事件注入，非真实浏览器文件能力验收。测试专用11个Component声明仅证明组件注册边界，宿主纯类型修订编译运行字节不变。

未提交改选、完整未知结果UI恢复、读取期间类别变化、会话/卸载及离线重写不在本批；真实浏览器、设备、HTTP、数据库、权限、provider、构建与部署仍需独立验收。Health保持partial，云备份未完成。详见docs/验证/2026-10-20-Mobile健康导入同类别再次预览证据.md。

Web 导入异类别回执保留原尝试

本地预览收到结构合法、但类别与原请求不符的回执时，仍拒绝显示候选；先在原操作中保留已解析结果与原幂等键，再向调用方报错。再次选择原文件或同类别另一份文件均不能通过新键重发，也不能放弃原结果解锁；这不是自动恢复功能。

仅移动预览类别对应校验的位置，原请求快照、URL、parser及网络错误分类不变；其他类别独立，用户明确确认、完成态双重守卫和严格回读后的精确双槽消费保持。Mobile、一般损坏响应分类及新恢复界面不在本批范围。

最终19个Health spec三时区各770项、共2310次通过，定向58项包含其中；严格TypeScript、完整Vue类型和六静态检查通过。 原50项完整保留，新增8项采用真实API和完整SFC，经合成传输证明客户端保护；真实浏览器、HTTP、数据库、权限、provider、Mobile、构建、部署及发布CI未据此验收。云备份未完成，Health八项仍为partial。详见 docs/验证/2026-10-20-Web健康导入异类别回执证据.md。

2026-10-23 Web 已收到预览的显式恢复

当前面板按类别保留已收到且尚未提交的合法预览及文件名。类别切换或文件重选后，可显式恢复原批次与摘要；恢复必须重新勾选，不重新上传文件，不释放原幂等尝试。已完成严格回读的批次移除恢复入口；类别与当前预览不匹配时禁止提交。

会话变化及卸载使旧面板退休并清理副本，迟到回调不能回填。原文件正文不加入恢复副本，不写本地缓存。仅覆盖当前 Web 面板内已收到回执的恢复，不扩大未知结果、过期、跨页、Mobile 或外部设备能力。Health 八项保持 partial。

本轮完整导入套件63项实际通过，Web类型检查通过；真实PC双文件路径已复测，恢复后确认初始为空，原睡眠批次收到201并完成批次、行、观察及历史200回读。构建与末门按本轮证据文件分别记录；不将局部修复提升为完整Health验收。

2026-10-23 真实UI发现的HTTP合同纠正

实验创建DTO补齐共享合同的可选空停止原因；原DRAFT状态规则继续拒绝字符串停止原因。观察绑定DTO兼容显式实验编号，正文声明与路径不一致时在应用服务调用前拒绝，旧省略形式继续使用路径。权限、owner、状态机和数据库未变。

趋势、关联及导出查询从Transform的原始对象读取布尔值，避免生产隐式转换把字符串false解释为true；非法原值由原校验拒绝，未关闭全局转换、绝密权限或proof。普通趋势已真实成功，编辑下一份草稿不重贴旧结果的已提交查询标签。

导出metadata改按实际UTF-8正文计算SHA-256，typed事实的canonical摘要与三种正文格式保持。72项后端定向测试实际通过，API类型与生产构建通过；真实PC实验创建/绑定及H5创建已回读。普通JSON、CSV和Markdown已通过应用完整性校验并实际下载，落地文件字节数与SHA-256均匹配声明；缺少明确确认的绝密导出继续被阻止。

这些是本轮局部证据，不能代替完整Health、全部失败路径、直接数据库/原生设备或真实外部服务验收；八项仍partial。Web导入恢复的63项为独立客户端套件，不与后端72项合并宣称全系统通过。

2026-10-23 H5实验确认、任务键盘与测量计划回读

本轮真实H5发现实验本人确认点击文字后内部勾选与父级提交资格不同步。创建本人确认改由已安装UniCheckboxGroup的change驱动，保留原Label与Checkbox；忙碌时禁用并拒绝迟到变更。六个任务入口明确button角色、焦点与aria-pressed，Enter/Space使用共享重复按键保护，与点击共用busy守卫。只切换显示，不提交或清理草稿。

另一次真实列表200包含PC保存的多行measurementPlan，Mobile通用文本解析拒绝合法LF而使两条实验不可选。仅该必填描述字段增加与服务端一致的TAB/LF/CR解析，保留原文，拒绝其他控制字符、缺字段、非字符串和空白正文；其他text/nullableText及既有successCriteria边界保持原样。对应UIA-005/006/009，范围和实际测试见本轮证据，不代表Health八项完成。

新交互5例有效旧源码RED后转绿；新测量计划8例有效旧源码5失败/3控制通过后转绿。首次交互GREEN因命令工作目录错误未补宿主映射、首次parser RED误用不存在导出，均为工具/测试准备错误，独立保留，不算产品RED。既有两个关联宿主需注册真实CheckboxGroup，未降低原断言。浏览器已核Tab/Enter/Space、文字确认往返、两条实验选择器恢复；原生设备、读屏及完整状态机未验收。

H5描述正文与原生选择器局部回归

补齐假设、行为改变和基线的合法多行回读，严格标题、单位、停止原因与身份封套不放宽。55项新矩阵先取得15项有效失败，再全Health16套477项通过。真实PC合成实验五描述含LF，H5列表解析与三条选择通过。

撤回此前以DOM选项存在判断视觉恢复的表述：原生弹层选项实际位于视口外。仅H5原生弹层提前保留框架固定留白；390x844明暗完整刷新、1/3/7项可见、滚动确认与取消通过，无依赖修改。完整状态机、设备与业务验收仍未覆盖。详见docs/验证/2026-10-23-Mobile健康多行回读与选择器证据.md。

2026-10-25 第10批：已接收导入回执的只读恢复

HLT002/003/004本地JSON导入保持专用preview/commit与批次、行、观察和历史严格核对。收到commit回执后双端保留原预览和receipt，GET失败可“重新核对导入结果”，只GET、不生成新caller key或再次POST；完整一致前不发布成功。Web按原kind/importId/previewHash槽恢复，Mobile在核对前锁定类别与新文件入口，旧页面/会话事件不能重核。

失败保稿、44px主触控及设备/本地来源分离复用最初样例规范。双端真实产品RED各1项；最终Web74/Mobile109、API18通过，API包含真实Nest管线加pg-mem，不是真PG。双端最终类型通过。该代理当时comments exit1为其他B09 helper缺3条JSDoc，原日志保留；后续他批修正后的通过不覆盖此历史。

未收到receipt的未知POST不由本批擅自根据GET确认或换key绕过，完整页面恢复仍待；没有跨刷新持久恢复。隐藏/卸载不是取消HTTP或回滚。真实PG、PC/H5全角色/主题/窄屏/键盘读屏、设备和Provider仍待，不能把本地JSON或合成响应记作设备同步。