context-infra 检查与复盘infra.guiming.net · 全内容自包含呈现 · 生成于 2026-07-20 08:24 UTC

文件系统

Z1 版块↑ Z0 总览 ↓ Z2 条目

披露层级地图:信息住在哪层、指针链是否完好

这一页回答「信息住在哪一层、什么时候被加载」——它不是系统状态图(那张图答「哪个子系统健康」,见总览页),是披露架构图:文件按何时进 context 分 L0-L3 四层,人与 Agent 共用同一份 L2 真源,各走一条同构下钻链。层级模型与判据终裁见 runs/r002_site_overhaul_20260719/design/F4_progressive_disclosure.md

披露层级地图

L0 恒定注入每 session 无条件加载L1 路由层INDEX.md / WORKSPACE 路由表L2 真源层本站消费的真源文件L3 运行数据层默认不加载,按需抵达CLAUDE.mdAGENTS.mdrules/WORKSPACE.mdrules/SOUL.mdrules/USER.mdrules/COMMUNICATION.mdrules/git_safety.mdrules/skills/INDEX.mdrules/skills/_DAO_ROUTING.mdSTATE.mdrules/contexts/tools/periodic_jobs/config/projects/adhoc_jobs/career/benchmarks/reviews/tests/tmp/38 个真源文件(本站 provenance 汇总去重)STATE.mdtools/llm_runtime/providers.confadhoc_jobs/context_infra_migration_20…runtimereceiptslogssessions虚线箭头=加载序示意(非真实指针图)· 绿点=在位/新鲜 · 红点=缺失/过期 · v1 范围=顶层目录×本站消费真源,非全仓 walk

范围诚实标注:本图 v1 只覆盖「顶层目录 × 本站消费真源」,非全仓 walk(全仓 walk 属 disclosure_probe 后续工作,见下方 VIS-8 卡「后续待补」)。L0 列=roster 文件卡(名字+新鲜度点,规则见 design/F4_progressive_disclosure.md §1 表 L0 行);L1 列=WORKSPACE 顶层目录表逐行 × INDEX 在位状态点;L2 列=本站消费的全部真源文件 × as-of;L3 列=类型卡(receipts/logs/sessions,示意不枚举)。边=指针关系(L0→L1 取自 WORKSPACE 路由,L1→L2 按路径前缀归属推导)。

双消费者同构:一套机制,两种介质

Agent 侧(序列文本读者)人侧(并行视觉处理器)入口(CLAUDE.md/AGENTS.md)路由 INDEX(WORKSPACE 路由表)查询工具(llm info/todo show)真源文件(L2 权威内容)总览图(Z0 一屏状态)区域图(Z1 版块)决策点卡(Z2 条目)全文(Z3 details/仓内真源)同构:下一层的详情不出现在上一层;agent「加载时机推迟」= 人「视觉缩放」的同一原则两种介质

图与下表投影自 design/VISIBILITY_DEFINITION_20260719.md §二-三(冻结文档,站点不创作新内容,仅做视觉投影)。

底层机制Agent 侧形态人侧形态
渐进式披露入口 → 路由 INDEX → 查询工具 → 真源文件总览图 → 区域图 → 决策点卡 → 全文
Clean context注入预算、按 role/phase 精准加载、召回污染收敛首屏信息气味、一屏一主张、文字字数上限
SSOT 单一真源STATE.md + providers.conf + GENERATED 块网站的 data 投影全部从同一真源生成
机械保鲜sync gate + staleness probe + fingerprint每张图带 as-of 时间戳 + stale 旗,探针同一套
留痕可溯receipt 台账 + session 锚图下方的 provenance 行(数据源 commit + 生成时间)

这张表的含义:可见性不是两个工程,是一个工程的两个投影面——只要 SSOT 和保鲜机制是共享的,agent 看到的文字状态和人看到的图就不会互相矛盾。

双可读判据 C1-C5

披露状态「对人和 Agent 都具备良好的可读性」——这句用户原话被操作化为五条可检查判据。C2/C4 本轮构建期实测;C1/C3/C5 诚实标「探针未建」,不伪造绿标。

C1 · 三跳可达(agent) 探针未建

任一在册主题/子系统,冷启动 agent 从 L0 出发沿指针图 ≤3 跳抵达其 L2 真源;存在从任何 L1 不可达的 L2 即断链 FAIL。

机械检查位:probe(后续) · 当前状态:本轮不可判——见下方判据表述括注的机械检查位规划

C2 · 两击可视(人) 实测通过

同一信息,人从站点首页 ≤2 次点击看到其图形态(Z0 总览→Z2 条目卡)。

机械检查位:build 断言(本轮生效) · 当前状态:Z0 总览→Z2 条目卡:人从首页 ≤2 次点击可达任一信息图形态(导航为扁平 Z0/Z1/Z2 三层,无 >2 跳链)

C3 · 层内容纪律(agent) 探针未建

L0 不含 L2 细节;L0 总字节量对冻结基线只降不升。

机械检查位:probe(后续,基线本轮先冻结记录) · 当前状态:本轮不可判——见下方判据表述括注的机械检查位规划

C4 · 双门面同源 实测通过

站点任一正文页声明其 L2 真源(provenance 行)且非空;站点源码手写正文字节=0;同一计数全站禁手写、出自同一生成器。

机械检查位:build.mjs fail-closed 断言(本轮生效) · 当前状态:provenance 非空 24/24 页 · 手写正文 0 字节 · 计数单源 是

C5 · 披露状态自身可见 探针未建

披露地图本身是生成产物、带 as-of 与 fingerprint;断链数在 STATE.md 与站点同时可见,>0 亮旗。

机械检查位:probe 输出挂 cron(后续,本页地图先 bounded 落地) · 当前状态:本轮不可判——见下方判据表述括注的机械检查位规划

Open Problem:VIS-8

VIS-8 · File System 渐进式披露:架构未成文、披露状态无双可读表面 open

渐进式披露此前是散落实践(CLAUDE.md 指针树/WORKSPACE 路由表/各目录 INDEX/D1 三档查询各自生长),无统一层级模型成文,披露链是否完好只能靠人撞见才发现。

本轮已落 vs 后续待补(展开)

本轮已落

  • 层级模型 L0-L3 + 查询面成文(含「层级由结构推导、禁逐文件披露 frontmatter」「一源两门面」两条终裁)
  • 双可读判据 C1-C5 成文
  • 本页(filesystem.html):bounded 披露地图 + 全站 provenance 行与 Z 层标注(C2/C4 构建断言生效)
  • VIS-8 登记本身

后续待补

  • disclosure_probe 全仓 walk 工具(指针图推导 + 断链/孤儿检测 + L0 字节棘轮,C1/C3/C5 由此机械化)
  • WORKSPACE.md 两修订点落笔(投影产物条款 + 披露层级节折入,挂用户)
  • L1 INDEX 首段气味存量达标率整治(66/256 存量债)
  • 与 VIS-5 的 S2/S3 召回污染文件收敛同批推进

全文见 决策台账页 · 开放问题登记簿(provenance:adhoc_jobs/context_infra_migration_20260709/design/OPEN_PROBLEMS.md VIS-8 条目)

本页直接真源:rules/WORKSPACE.md(L1 顶层表)design/VISIBILITY_DEFINITION_20260719.md(双消费者同构)runs/r002_site_overhaul_20260719/design/F4_progressive_disclosure.md(层级模型 + 判据)+ OPEN_PROBLEMS VIS-8。全站 L2 真源全量聚合(本站消费的 38 个文件)见页脚「本页信息真源」。