Skip to content

Latest commit

 

History

408 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

LDA · Agent-native 光子/量子芯片设计软件

LDA(Lightwave Design Agent)= 光子芯片(PDA) + 量子芯片(QEDA) 的开源、主权、Agent-native 设计软件。 核心主张:底层核心求解器由 AI agent 递归自举开发,人类做架构与验证,AI 不进入判决路径。 📦 v0.9.0 完整发布说明:docs/RELEASE_v0.9.0.md(15 commit 全量变更 · 商务闭环四要素 · 安全审计 · 已知限制)

当前版本:v0.9.66(2026-09-10 · VMM harness/API 集成 + B16 修正 · CI core 157 条:①VMM 落地 harnessbenchmarks.py 注入每锚 maturity_tier/provenance/upgrade_path 三字段(VMM 分类与 routes/harness 权威三分类同源,杜绝标签≠行为);②B16 真 bug 修正:MMI 1×2 自映像 golden 因子 3 → 9/4(标准 Soldano&Pennings 抛物线色散,W=2.8µm 真实器件 27.3µm≈实测 27µm<1%;旧因子给 ~36µm 高估 33%),golden.py + device_library.py 数值核同步修正,零新物理;③**/api/verification_ledger 对外暴露 VMM**:每锚 tier/provenance/upgrade_path + 三分类/来源聚合(vmm 块);④VMM 底线护栏补建文件run_maturity_baseline_smoke.py(M1–M5:字段齐备/层级不谎报/低置信可见;此前已在 CORE_SMOKES 登记、本轮补建文件并实跑 PASS,CI core 维持 157 条);⑤两文档入库docs/verification_maturity_model.md + docs/self_certified_anchor_inventory.md。⑥B2 升严格独立(VMM 终审锁):SOI strip 波导 TE 基模 n_eff 由自证桩经 FV-FDM 全矢量(2.644)+PWE 平面波(2.614) 双方法学独立全波数值终审(golden=EIM 2.651 居二者间,判据 C5 成立),升 Tier-3 严格独立;三分类 26/1/25→27/1/24、低置信自写闭式 15→14,打永久终审锁(benchmarks._VMM_FINAL_VERDICT["B2"])防反复审议。红队锚面 fuzz 护栏已于 v0.9.64 入 core,本轮仅补 VMM 基线护栏。CI core 157 条) 上一版:v0.9.65(2026-09-10 · T3 设计侧虚拟制造 2.0 可封装性链 bootstrap · 虚拟制造 1.0 正式标注就位 · CI core 156→157:①虚拟制造 1.0 已就位(此前已实现、本轮正式点名):工艺波动链路 = tapeout_pipeline.py S1 PDK 加载 / S2 DRC / S3 工艺角扫描(SS·TT·FF,公开文献典型 w_scale 0.95/1.0/1.05) / S3.5 几何寄生 / S4 LVS / S5 实测回流 + yield_anchor.py S13 良率锚(解析 Φ 闭式 ↔ 固定种子 Monte-Carlo 互证),已在 CI core 长期实跑(run_tapeout_smoke PASS),本轮仅在文档/看板正式标注「虚拟制造 1.0 已就位」,零新物理、零回归。②2.0 可封装性链 bootstrap(借公开数据与方法,与 LDA 设计方法论一致):新建 lda_pdk/packaging_tolerance.py——耦合容差 η=η0·exp(−2(dx²+dy²)/MFD²)·exp(−(π·MFD·θ/2λ)²)、横向容差 dx=MFD/2·√(−2ln(η_target))、封装良率 Rayleigh CDF Y=1−exp(−R²/2σ²)(复用 S13 闭式族),接 P-CPO 间距几何下界(cpo_engines.PITCH_FLOOR_UM)做合规判定;设计改动→封装良率预测同向变化且可复现(T3 验收)。provenance 诚实标 self_authored_with_check:σ_align / MFD 为公开假设值(ITU-T G.652 MFD=10.3µm、公开文献工艺角),不宣称 MPW 实测验证,待 T2 实测回填。新增护栏 run_packaging_tolerance_smoke.py(含 7 类反向判据入 core:σ_align↑→良率↓、MFD↑→良率↑、固定种子可复现、解析↔MC 互证 Δ≤1e-2、η 随偏移单调下降、pitch<下界→pitch_compliant=False 不假绿、provenance 诚实标注)。CI core 157 条

上一版:v0.9.63(2026-09-09 · WebUI 权限管理审计补漏(四关)· CI core 139→141:杜先生指令「再审计权限管理」→ 抓出并修掉四类问题——①P1 POST /api/admin/config 未授权返 HTTP 200store.set_config 拒绝分支漏带 code:401,监控按状态码统计漏记全部未授权尝试)→ 补 code:401;②P2 六个重计算端点游离登录闸门agent_loop 直调 34.9s / band_loop 19.9s 匿名可触发且无并发护栏,与 ring_fdtd/design_loop 同类漏网)→ 并入 HEAVY_POST_PATHS 登录闸门;③P2.5 新护栏启发扫出第 7 个漏网点 /api/verify(跑全 48 锚判决回路,candidate=perturb/l3_ai 触发真求解器)——审计 grep 全部 smoke 发现无任何判据守护「重计算端点须入闸门」纪律,补 run_heavy_post_gate_smoke.py(5 判据纯静态 ast:HEAVY 成员⊆POST_ROUTES 注册 / run_* 内核端点全部入闸门 / 与 PUBLIC_RATE_PATHS 互斥 / 剔除 agent_loop·verify 双反向必须 FAIL);④P3 公开写端点无限流opinion/submit 30 连打全 200,垃圾可无限堆后台)→ 4 个获客/生态投稿端点(opinion/purchase/ecosystem.submit/store/guide)加 IP 限流 10 次/10 分钟(store.public_write_guard,复用登录限流桶;_dispatch 加 PUBLIC_RATE_PATHS 分支),补 run_public_write_limit_smoke.py(9 判据含反向 limit=1、端到端 10×200+第11×429+换IP恢复、先隔离 STORE_PATH 临时目录再 import 全程不碰 dev 库)。agent/chat 经读码+实测判轻量 FAQ 豁免留公开。审计实测教训:改 routes/store 后必须先重启被测实例再实测(旧实例 import 期加载旧代码,曾误判「修复未生效」,重启后全 401——「标签≠行为」第 8 次血案入铁律)。四条相关回归全绿(api_v1 19/19 · admin_token 7/7 · store_auth_gate 10/10 · webui_api 90实跑+78静态)。CI core 149 条

上一版:v0.9.62(2026-09-08 · ⑮ WebUI 消费 tapeout / geometry_drc 接口(遗留③收口)· CI core 138→139:把 v0.9.60 已做好的主权几何内核(lda_pdk.tapeout_pipeline.run_tapeout_pipeline 流片管道全链路 + lda_l2.gds_drc.check_geometry 几何 DRC)从「仅 API 层」接到 WebUI——新增 /api/tapeout/api/geometry_drc 两个 HTTP 端点,后端自动从器件几何生成版图 GDS 喂入 S3.5 寄生 / S3.6 几何 DRC;前端 index.html 新增「⑮ 流片签核 Tapeout + 几何 DRC 快查」面板,输入器件字典 JSON 即展示 DRC/工艺角/LVS/寄生/几何 DRC 全流程与诚实边界。新护栏 run_webui_tapeout_drc_smoke.py(14 判据,含反向:极细波导 width=0.01µm 必触发 drc_passed=False + 几何违规,证端点接真实内核非假绿;不存在的器件 kind 诚实拒绝而非 500)。CI core 139 条

历史版本:v0.9.61(2026-09-08 · BraggMirror GDS 导出收口 + E5 语料几何补全 · CI core 137→138:BraggMirror 此前在 layout_elements 抛「暂不支持导出」⇒ 无 GDS ⇒ 进不了几何 DRC 与寄生估算(v0.9.60 审计遗留①);改用侧壁调制布拉格光栅波导几何(段长由 LDA 自有 slab 求解器按 λ0/(4·n_eff) 导出),几何 DRC 不假红(同层相接连通域豁免)、寄生可跑、诚实边界守住(n_eff 来自平面波导求解器 < 体材料 3.48,≠ 器件库一维 TMM 锚,两者只共享「四分之一波长堆叠」构造);新护栏 run_bragg_gds_smoke.py(含反向 A/B)。另把 E5 语料 geometry 缺的 W_mmi_um=2.8 / L_mmi_um=27.0 补上(原文 2.8×27 µm² footprint,v0.9.58 多源确认),并在实证锚 smoke ⑧ 加防回潮断言锁死。CI core 138 条

历史版本:v0.9.60(2026-09-08 · ④ DRC 全链路收口确认(盘点式) · 抓出并修掉几何级 DRC 三处失真:细分步长当线宽(假红)/ min_width_ok·min_spacing_ok 两标志恒 True(假绿)/ 间距剪枝致真违规漏检 · 补 S3.6 几何级 DRC 与 S3b 性能角进流片链 · 2 条新 smoke(26 判据)· CI core 138 条) 历史版本:v0.9.59(2026-09-08 · 治理⑤ 收尾:torch/numba/cupy 可选后端残留硬依赖清零 · 顶层 GPU 脚本缺后端时由 ImportError 裸崩改为「打印安装指引 + 退出码 2」 · 新增全包静态护栏 · CI core 134→135 条):v0.9.53 已把核心导入链(fdtd3d_torch / fdtd3d_numba)改成 try/except 优雅降级,但 4 个顶层 GPU 脚本仍是模块级裸 import torch,另有 2 个同类脚本缺入口守卫 ⇒ 环境无 torch/numba 时直接 ImportError 裸崩**,而不是「打印安装指引后退出」。本轮改 5 个文件activate_gpu_fdtd3d.py / run_fdtd3d_torch_selfcheck.py / run_large_grid.py / verify_gpu_focused.py_HAVE_TORCH 守卫 + 入口 return 2(附清华 TUNA CUDA 轮安装指引);benchmark_fdtd3d_torch.py 缺 torch 时自动剔除 torch-cpu/torch-cuda 后端、照常跑 numpy/numba-cpu 基准(而非崩);run_fdtd3d_numba_selfcheck.py_HAVE_NUMBA 入口守卫。有后端时行为逐字不变(守卫不触发,零回归)。护栏新增 run_optional_import_guard_smoke.py16 判据):① ast 全包静态扫描lda/393 个 .py)在模块级(非 try / 非函数类体内)不得裸 import torch/numba/cupy —— 范围是全包而非硬编码清单,新增文件自动纳入,杜绝「清单会增长 ⇒ 断言静默漂移」(v0.9.41 铁律);② 文件名含 torch/numba/cupy 的模块必须有 HAVE_* 守卫标志(兼容 _HAVE_TORCHHAVE_NUMBA 两种历史命名);③ 屏蔽 torch/numba/cupy 的子进程里 runpy 实跑 4 个顶层 GPU 脚本,断言「打印指引 + 退出码 2」而非裸崩。🔴 反向测试:R1 扫描器双向标定(顶层裸 import 坏样本必被抓 / try 内与函数内延迟导入必放行 / 缺守卫源码必判缺守卫);R2 顶层裸 import 的坏脚本实跑必须裸崩退出码 −999,证明步骤③真能区分「优雅降级」与「硬依赖」。过程中自己踩并修掉两坑:① 自动发现条件若只按「源码含 torch + 有 __main__」,会把求解核模块(fdtd2d_ring.py 等,其 demo 型 __main__ 会真启动 >300s FDTD)也拉进来 ⇒ 收窄为「run_/activate_/verify_ 前缀 + 有 _HAVE_TORCH 守卫」;② runpy 只改 sys.argv[0],残留的 argv[1] 会被带 argparse 的脚本当成未知位置参数 ⇒ 引导脚本内显式 sys.argv=[script]。未改动:52 锚计数 / 三分类 26/1/25 / 任何物理判据 / golden。核心求解链对 torch/numba 的硬依赖至此为零。) 历史版本:v0.9.57(2026-09-07 · ② E5 第二条独立求解路线:2D FDTD 重建并与 EME 对账 · 负结果钉成断言 · CI core 134 条):给 E5(MMI 1×2 过量损耗,golden=0.05 dB / tol=0.1 dB)补上方法学独立的第二条求解路线,两法都把它判在 ~4 dB,且两法分歧本身即超 tol⚠️ 先订正 v0.9.56:上一版记「2D FDTD 直波导控制失败、实现删除不入库」——该结论已被推翻,失败源于两处实现缺陷(scipy eig_banded 对称三对角应为 (2,N) 却用 (3,N) ⇒ n_eff 解成 16.18;入射监测面落在初始波包内部 ⇒ 下游 27% 能量根本不穿过该面),非方法之病。路线① 2D TEz 全场时域 FDTDlda_solver/fdtd2d_mmi.py,重建入库):控制实验直波导 10 µm 上 −0.00001 dB(求解核可信);MMI 实测 dl=0.05→4.18 dB、dl=0.04→3.29 dB。其自身二阶数值色散经实测验证(直测离散轴向波数 β̃ 与解析式差 6e-5):拍长相对误差 ≈1721·dl²,dl=0.05 ⇒ 4.30% ⇒ excess 不确定度 0.86 dB;要压到 0.03 dB 需 dl≈0.0093 µm ⇒ ~5e11 网格点步 ≈2.6 h/次 ⇒ 不可用作门禁。路线② 2D-EIM 本征模展开 EMElda_solver/mmi_eme.py,v0.9.56 入库):本征分解本身正确(与解析超越方程交叉校验 max|Δn_eff|=4.4e-3),但建模层不合格——自成像保真度只有 0.8746(理论上限 0.9898),且对拍长 L_π 病态敏感:L_π 仅 ±1% 误差即让 excess 摆动 0.199 dB = 2×tol,±5% 达 2.82 dB = 28×tol(而本模型 dl 从 0.04 细化到 0.005,L_π 就从 21.05 漂到 21.48,即 2%)。锚题 L=27 µm 处实测 excess=4.33 dB;即使放开 (L, y_split) 全平面寻优,模型自身最优也只有 0.436 dB(T=0.90),仍超 tol 4.4 倍 ⇒ 换几何解释也救不回来。这是 roadmap 已判 E5 违反 C2+C5实测确认(此前只是论证)。🔴 诚实边界不挂 E5 candidate 字段(挂上必红或被迫放宽容差,两者都违反纪律);E5 保持自证桩。新增 run_fdtd2d_mmi_smoke.py13 判据,含 C1 保幅、模式交叉校验、时域收敛、方向性通量、两法分歧 > tol、判据 D 宽度扰动 2.41 dB、色散预算与 O(dl²) 收敛、已知缺口锁)+ v0.9.56 的 run_mmi_eme_smoke.py(11 判据)。🔴 v0.9.57 新教训(同类第 6 次「标签≠行为」)横向网格偶数 ⇒ 无 y=0 节点 ⇒ 整个结构被平移 dl/2、MMI 有效宽度少 dl(0.9% 偏差)。这曾在 dl=0.05 上伪造出「两法差 0.03 dB」的假对账,换到 dl=0.025 立刻暴露为 1.18 dB。对账前必须先校验两侧栅格严格同一(EME 用 Ny|1,FDTD 必须同)。另:输出幅度若只取 |Σφ·Ẽ|² 不区分传播方向,回程光会被相干叠加,实测可让远端监测面比近端"少 0.3 dB 损耗"(物理上不可能)⇒ 改用方向性 Poynting 通量。CI core 133→134。) 历史版本:v0.9.55(2026-09-07 · ① IR 逆设计扩面 · IR→D-38 注册表四类器件闭环 · CI core 132 条):把 L0 IR 桥接层从「仅 Waveguide+RingResonator」扩到 D-38 声明式逆设计注册表四类已验证器件——lda_ir/bridge.py 新增 ir_to_inverse_design/ir_to_multifoundry_inverse,IR kind 与注册表 kind 命名一致(RingResonator/BraggMirror/RingAddDrop/Transmon),foundry 工艺窗口注入 extra 与 _inject_process_params 同源;lda_ir/photon.py 补 BraggMirror/RingAddDrop 工厂并加入 KNOWN_KINDS(Transmon 已在 quantum.py)。四类经桥接真跑通并 accepted(Bragg 3D FDTD vs TMM 方法误差 0.0013,C 级自主),多 foundry 对称派发正常。新增 run_ir_inverse_design_smoke.py 反向可测护栏(未知 kind→NotImplementedError、篡改注册表删 kind→闭环不通过,证明路由到真实注册表非副本)。🔴 铁律守住:判据 D 满足、测生产代码非副本、纯接线扩面零新物理、CI core 131→132(新增 IR 逆设计护栏 smoke 入 core)。) 历史版本:v0.9.54(2026-09-07 · 治理① 覆盖矩阵 K 证据收尾 · E8/E9 登记为 GratingEff/YbranchLoss 真宿主 · 三分类 26/1/25 不变 · CI core 131→132):把 v0.9.51 升格进 52 题集的 E8/E9 两道真·引擎级判决锚正式登记进覆盖矩阵宿主表——原矩阵只列 B5◐/B6◐ 名义守则桩、E8/E9 悬为「零宿主」,构成 K 证据口径失真(真判决锚在集内却不在矩阵内)。本版 run_anchor_coverage_matrix.py 三处修:①ANCHOR_HOSTS 增 E8→engine_gratingeff(严格独立●)、E9→engine_ybranchloss(降级量级参考△,诚实边界 c1 未标定真实 PDK 不进死标量判决列);②覆盖分类由 2 路(严格/自证桩)升 3 路 trichotomy()镜像 harness.candidate_class() 判序(先查 candidate_status==degraded_ordinal 再查 candidate ∈ BENCHMARK_CANDIDATES)杜绝 E9 被误计为严格;③全文档「50 集/48 集」陈旧字面扫清为「52 集」。矩阵 §1 现同时展示真判决锚(E8●/E9△)与名义桩(B6◐/B5◐),K 证据失真闭合。🔴 铁律守住:判据 D 满足、规模结论实测、测生产代码非副本、纯披露修正零回归。新增 run_coverage_deadzone_closure_smoke.py ⑥段 E8/E9 反向护栏(撤 E8/E9 后 GratingEff/YbranchLoss 必落回零进集锚宿主)⇒ 护栏会响。CI core 131→132(扩的是既有 smoke 断言,未新增脚本;v0.9.55 起并入 IR 逆设计护栏)。) 历史版本:v0.9.53(2026-09-07 · torch/numba 残留硬 import 清除 · B5/B7 回退下限护栏 · CI core 129→131):根除 T-8 去 GPU 后残留的模块级硬 import——fdtd3d_numba.pyfrom numba import njit, prangefdtd3d_torch.pyimport torch 原为模块顶层硬导入,缺失库时模块导入即崩溃(与同包 fdtd3d_waveguide_numba.py/adjoint_fdtd3d.py 的优雅降级范式不一致)。改为 try/except 优雅降级(_HAVE_NUMBA/_HAVE_TORCH 标志 + 无 numba 时 no-op njit+prange=range 退纯 python + torch 缺失时入口明确抛 ImportError 指引装 [torch] extra),核心导入链(lda_solver / lda_webui.app)不再硬依赖 torch/numba。新增反向护栏 run_torch_numba_optional_smoke.py(3 判据入 core):[A] 在场环境两后端 _HAVE_*=True;[B] 子进程屏蔽 import torch/numbafdtd3d_* 优雅降级 + lda_solver+lda_webui.app 仍可导入 + 入口抛清晰 ImportError。新增回退下限护栏 run_b5b7_rollback_floor_smoke.py(10 判据入 core):[A] 离线近似主路径可用(B5 numpy-overlap >3.0 几何相关、B7 numpy-fdtd 有限负 dB);[B] ORACLE 全不可用时回退下限精确持有(B5=3.0dB / B7=-40.0dB)+ 诚实标注 source=design-anchor;[C] 反向护栏 ORACLE 在场须绕开下限(sentinel 99.9 验非恒定常量)。🔴 铁律守住:pyproject dependencies 仅 numpy/scipy/jsonschema,torch/numba 仅为 [torch]/[numba] extras;护栏反向测试会响(旧硬 import 必使 [B] 红)。CI core 129→131。)\n> 历史版本:v0.9.52(2026-09-06 · P1 全量自动布线器重写 · 空间索引+局部窗口 A+增量占位 · 根除旧 router O(N³·⁵⁷) 增量瓶颈 · 实测 O(N²·⁵⁹)→O(N¹·¹⁶) · 正确性零回归 · CI core 128→129*):纯性能收益、正确性零回归——旧 router.py 每次 astar_route全部障碍重栅格化进 blockedroute_net 每候选遍历全部障碍、每条 net 追加进障碍集 ⇒ 增量布线端到端 ~O(N³·⁵⁷),~50 网即失工程可用性。重写三件套:①spatial_index.py 均匀网格哈希 ObstacleIndex(局部查询 O(局部));②router_p1.py 局部窗口 A*(每网仅栅格化附近障碍)+ 增量占位(insert_path 回填已布路径供后续避让)+ 全局 A 兜底*(任何局部失败退回旧精确行为,永不假无解/假碰撞);③生产接线 route_sim.py 链路级布线改走 route_net_p1。正确性护栏 run_router_p1_smoke.py(20 判据,入 core):与旧 route_net 逐位一致(默认全 extent 窗口)5 场景 + astar_route_p1==astar_route 5 场景;Router 合法最优(等长/无碰撞/未假封死)+ 无分歧封装;无解诚实退化;网-网避让;性能反向护栏(N=40 旧 8.8s vs 新 0.08s ≈116×,N=320/160 增长 2.7×<4 证明未静默退回全局,共享索引 vs 逐网无索引 459×)。🔴 铁律守住:判据 D 满足、规模结论实测、测生产代码非内嵌副本、纯性能收益正确性零回归。CI core 128→129。)\n> 历史版本:v0.9.51(2026-09-06 · corpus 失真区升格 · E8/E9 实证锚进 52 题集 · K 证据失真消除 · 可被外部验货比例 25/50 → 26/52 · CI core 128 不变):把覆盖矩阵里的 corpus 失真死角补进 48 题集(不伪造新锚、不接新求解器)——E-YBRANCH-LOSS / E-GRATING-EFF 两道公开实测锚,早已是真·严格独立判决锚(golden=公开文献实测死标量、candidate=引擎解析模型、死标量比对),仅没正式升格进计数口径,导致 B5/B6 被判「corpus 证据、在 48 集外」造成 K 证据口径失真。本版升格登记:①benchmarks.py 新增 E8(光栅耦合器峰值耦合效率 0.5·sin²(π·ff)·exp(−θ²/2σ²) 解析模型 vs 实测 E-GRATING-EFF 0.42±0.05,rel≤3.3% 干净 → 严格独立);②新增 E9(Y-branch 过量损耗 c1·θ² 唯象模型 vs 实测 E-YBRANCH-LOSS 0.28±0.02,rel≈43% 模型粗糙度、c1 未标定 → 降级量级参考 degraded_ordinal,不进死标量判决列、不拟合回算);③verification_adapters.py 注册两引擎候选 engine_grating_eff / engine_ybranch_split(取自 lda_design.loss_engines)。三分类刷新:严格独立 25 → 26 · 降级 0 → 1 · 自证桩 25 → 25(和=52);题库 50 → 52 题(B1-B30 + E1-E9 + S1-S13);可被外部验货比例 25/50 → 26/52。🔴 诚实边界:E9 的 c1=0.004 dB/deg² 工艺标定唯象系数(未用实测回算),θ=10°→0.4dB vs 实测 0.28dB 偏离 ~43%,按纪律不拟合回算、诚实降级;待真实 PDK 标定 c1 后再升 strict。④同步十处定时炸弹修复(IRONLAW:等价断言+会增长集合=定时炸弹一律改包含式/动态计数):run_empirical_anchor_smoke/run_count_consistency_smoke/routes.py(empirical 动态计数)/run_l1_agent_smoke/run_lvs_smoke/run_scale_smoke/run_system_budget_smoke/run_statistical_anchor_smoke/run_three_class_consistency_smoke(C4 反向动态)/run_empirical_d62_report 共 10 文件含 6 个 CORE smoke 全部去硬编码 50/E1-E7run_anchor_coverage_matrix.py B5/B6 去 K 失真。CI core 128 条不变(未新增 smoke)。 历史版本:v0.9.50(2026-09-06 · 覆盖死角闭合(B29/B30 登记 + 3 复合包 covered-by-composition)· CI core 127→128):T-9 锚题覆盖矩阵死角收口(不伪造新锚):T-9 矩阵(2026-09-04 生成)早于 v0.9.39(Sep 5),而 B29/B30 两道原「零覆盖死角」锚其实已在 v0.9.39 作为严格独立候选完整落地(B29 candidate=thermal_phase_fdm / B30 candidate=readout_fidelity_quad,注册·候选·smoke 全在位)——故真实死角是「矩阵未登记 B29/B30」+「3 复合包(mixed_system/wdm_coupler/splitter_readout)被误判为零覆盖」,而非缺锚。决定不伪造新锚:①更新 run_anchor_coverage_matrix.py——ANCHOR_HOSTS 登记 B29→engine_phaseshifter、B30→readout_fidelity,删除两处原零覆盖分支,3 复合包重分类为 covered-by-composition(组成严格锚 B4/B14/B22/B26 在宿主品类接严格独立候选 + S 层系统锚 + GC-* 整芯片对标);重生成 docs/lda_anchor_coverage_matrix_2026-09-06.md(PhaseShifter 行现 B29●T、readout_fidelity 行 B30●T,§3.1 仅 3 复合包零覆盖)。②新增机器可验证闭合护栏 run_coverage_deadzone_closure_smoke.py(27 判据含反向):B29/B30 在 BENCHMARK_ORDER 且 strict + 已登记宿主;3 复合包组成严格锚 B4/B14/B22/B26 在位 + S1-S13 在位;GC-* 覆盖 system_type=link 与 quantum_fidelity;零覆盖集恰为 3 复合包;🔴 反向:撤 B29 后 phaseshifter 必重新落入零覆盖(复刻 build_kind_anchors 轻量分组验证,护栏会响)。三分类不变:严格独立 25 / 降级 0 / 自证桩 25(和=50)。CI core 127→128。)\n> 历史版本:v0.9.49(2026-09-06 · N-5 导购二期(无 LLM 可降级版)正式上线 · CI core 126→127):按 D-2=A 拍板落地「锚定导购」——自然语言需求 → POST /api/store/guide → 对 75 货架 facets 实跑匹配(赛道/应用域/价档/关键词/预算上限多因子打分排序),结果含命中解释 reason所有数字(价格/规格)一律来自货架真实数据price_cny / item.specs),严禁模板或 LLM 杜撰规格数字;LLM 仅预留「解析+解释润色」扩展点(当前未启用,v1 纯确定性零密钥)。超市页新增「🧭 智能导购」卡片(输入框 + 示例 + 命中卡可点击跳转对应货架并高亮)。护栏 run_store_guide_smoke.py(10 判据含 4 道反向)守护:源码数字必来自数据、UI 已接线、真跑往返、价格与 /api/shelf 实付价一致、乱码/空文本优雅返回 count=0、清空赛道别名后命中失准、中文「预算N以内」解析出 price_max 且超预算项标红一致。N-3/N-4 见 v0.9.48。):①N-3 dev token 漏洞封堵——app.py:_admin_token() 移除硬编码默认串 LDA-ADMIN-DEV-TOKEN-CHANGE-ME,未设 LDA_ADMIN_TOKEN 时返回空串(fail-closed),任何令牌(含历史 dev 默认串)都无法通过管理员鉴权,杜绝「部署漏设环境变量即用公开弱令牌登录」的 fail-open 漏洞;生产经 systemd drop-in(admin-token.conf)注入强令牌,不受影响。护栏 run_admin_token_smoke.py(7 判据含反向:源码静态查 + 未设 env 子进程行为 + 起服务登录真跑 + 掺回默认串必 FAIL)。②N-4 三分类对外一致性——README 账本补实时三分类陈述(严格独立 25 / 降级 0 / 自证桩 25 / 和 50);新增 run_three_class_consistency_smoke.py(4 判据含反向)守护 README 账本 ≡ 本机 harness 推导 ≡ /api/verification_ledger 端点三分类任一漂移即红,堵死「静态陈述悄悄失真」的同类缺口。CI core 124→126。)\n> 历史版本:v0.9.47(2026-09-06 · stats.html 数据看板接线挂回导航 + 智能体客服「选择后能真正回复」修复 · CI core 122→124):①杜先生报「首页/能力展示/验证实力/创新超市/我的/管理后台背景是两种风格」——取证确认:index/insights 暗色固定、store/mine 亮色固定、public/stats 跟随系统、admin 双套覆盖,同站跳变。统一为首页暗色家族(#0b1020),硬编码颜色全部改语义变量(tint/ok/warn/err 各配 tint+ink 对),仅保留按钮白字与二维码白底两类必要例外;nav.js 部件 chip 同步。验证=playwright 真浏览器:六页 body 背景 rgb(11,16,32) 完全一致 + 逐页截图人工复核。②「对公收款说明」从能力展示页顶部迁至「我的」概览面板(弹窗含复制行与转账流程),能力展示购买弹窗内保留文字链入口(上下文可达不丢功能),行为验证 17/17。③N-2 豁免表复测:18 条逐条重跑(rc 全 0、全部零重依赖、无人低于 5s 准入线 ⇒ 无人该捞回 core),但抓到两条理由失真——sparams_3d 旧注「>60s 超时」实为 47.2s 完成、sparams_loop 实为 64.3s 完成(numba 由依赖链运行时间接载入,仓库无显式 import),另有 4 处数字漂移已全部回填复测值。新护栏 run_noncore_reason_smoke.py(8 判据含 3 道反向,入 core):理由必须含机器可查的「实测 Ns」、耗时 ∈[5,330]、禁「超时」式搪塞、禁 core/豁免双登记、禁 ghost 条目——豁免理由从此有判据守护,不再凭良心。④🔴 智能体客服「选择后不回复」修复:杜先生报「服务智能体选择后还不能真正回复」。根因=cs_widget.jsaddMsg() 漏写 return m;——它把消息节点 m 加进对话区却没返回,导致 var wait = addMsg("bot","…") 拿到 undefined,随后 body.removeChild(wait)parameter 1 is not of type 'Node',回复占位符「…」永远删不掉、真实 reply 永远加不进去(点击建议/输入发送均走同一死路 → 客服完全不可用)。这是「改造留半截」类缺陷(与 D-78 同源)。修法:补 return m; + 三处 removeChild(wait)if (wait && wait.parentNode) 守卫(双保险)。证据:playwright 真浏览器复现「点击建议→卡在…+页面报错」,修复后同路径拿到真实 reply、报错消失;后端 cs_agent.chat 单独验证各输入均正常返回(问题纯在前端返回链)。护栏 run_cs_agent_chat_smoke.py(7 判据含 2 道反向,入 core):真跑 /api/agent/chat 发问→真实 reply、留资→lead_captured、引导→guide 结构;静态守卫 addMsg 必须 return m + removeChild(wait) 不得裸调用;反向污染删 return/去守卫必须 FAIL。) 历史版本:v0.9.45(2026-09-06 · 补丁:v0.9.44 已上线但 /api/shelf 真没带 listed_at · 护栏漏层修复):v0.9.44 发布并部署后生产实测 —— 75 条 rows 的 listed_at 全为 None,而当时 CI 121 条全绿、新护栏 11 判据全绿、前端文件与本地逐字节一致,一切检查都通过了,数据就是没出去。根因:app.py: shelf_status()手工组装 rows 字典的,根本不调 to_public();我把字段加在 to_public()、判据也打在 to_public()在 A 处加东西,却在 B 处验证它。这是本项目第 4 次「标签 ≠ 行为」(前三次:D-78 门禁变量、v0.9.15 独立候选标签、v0.9.42 前端硬编码目录)。修复:端点 rows 补字段 + 🔴 护栏新增判据 ⑤b:真跑 app.shelf_status() 逐条比对(原则同 taxonomy 判据 ⑦——调生产代码,不在 smoke 里另写同式复算,否则只是自我比对)+ 反向 ⑪(注入删掉 listed_at 的 rows ⇒ 判据必须报)。护栏 11 → 13 判据含 5 道反向。教训(写给所有"加了字段"的任务):契约必须打到数据出口(端点),不能只打在数据类上——字段链路每一跳(数据类 → 端点 → 前端渲染)都要有判据,否则中间断一跳,其余全绿,用户拿到的是空的。) 历史版本:v0.9.44(2026-09-06 · 创新超市上架日期:可溯源、可排序、不可伪造 · CI core 120→121):每条货架新增 listed_at,口径 = 该货架 id 首次进入本仓库的提交日期git log --follow 逐提交复算)。刻意不采用「统一填当天」——货架是分批扩的(08-27 首批 5 → 08-28 批量 43 → 08-29 商品化 10 → 09-06 三轮新增 17),统一填今天就是伪造新鲜度:格式合法、字段非空、前端渲染正常,一切看起来都对,但数字脱离了它的来源——这是 LDA 最不能容忍的一类失真。故 run_shelf_listing_smoke.py(11 判据含 4 道反向,入 core)逐条与 git 历史复算比对,错一天即红;git 不可用时判 FAIL 而非跳过。前端:卡片显示「上架 YYYY-MM-DD」+ 30 天内 NEW 标记 + 「最新/最早上架」双排序,缺日期项在两个方向都沉底(不冒充最新、也不冒充最老)。取证据用 git 历史还原 75 条真实日期,同步派生表 innovation_market.json。)

历史版本:v0.9.43(2026-09-06 · 修复「已登录却被要求二次登录 + 输完密码不进画面」(D-78)· CI core 119→120:杜先生实测报障——登录进系统后点「🛠 提交定制需求」又弹一次登录框要求输邮箱密码;输完之后什么也没发生,不进入定制画面。根因不是逻辑错,是改造留半截:P2-5 把会话令牌由 JS 可读字符串改为 HttpOnly Cookie(防 XSS,方向正确),改造时废用了 var store_token = ""(注释已写明「前端不再持有令牌字符串」),却忘了同步改 4 处 if(!store_token){ showLogin(); return; }门禁(openCustom / openBuy / openConsult / loadOrders)⇒ 该变量恒为空串 ⇒ 门禁恒真 ⇒ 已登录用户一律被判成未登录。后端契约完全正确(逐行核验:登录走 _set_cookie(..., HttpOnly)/api/store/me 凭 Cookie 探活如期返回 user)——脏的纯粹是前端门禁。第二症状同源:登录成功后只关框+刷状态,没有重放用户原本想做的动作。修法:登录态真值改由 STORE_USER(探活结果)承担,新增 requireAuth(action) 统一门禁(自带一次探活——页面加载时探活是异步的,用户在返回前点按钮仍会误判),未登录则弹框并记 PENDING_ACTION,登录成功后自动重放;登出改清真值,会话请求统一带 credentials。验证:把 store.html 真实 <script> 块放进 node 沙箱 + 打桩 DOM/fetch,12/12 行为实测通过(含反向:把 requireAuth 退化回旧写法,测试必须失败)。已用生产实际文件重跑同一套测试(生产与本地逐字节同 sha256),12/12 通过。防复发:run_store_auth_gate_smoke.py(10 判据含 3 道反向,入 core)。另修对外账本腐化:README「当前账本」段仍写「58 货架」,实际 75。) 历史版本:v0.9.58(2026-09-08 · ② E5 回原文核实:语料原始记录逐字正确 · 撤销我的错误订正并全部回滚 · 防串台钉成 CI 断言 · CI core 134 条):执行上一轮建议「回原文把 MMI 几何补进语料」,核实结论是——语料一个字都不用改。 E5 引用的 Optical Engineering 59(10), 105102 (2020)(DOI 10.1117/1.OE.59.10.105102)经 4 个独立书目库(NASA ADS / EurekaMag / Semantic Scholar / SPIE)交叉确认,摘要逐字为「1×2 optical 3-dB splitter having a compact footprint (2.8 × 27 μm²)」「low excess loss of 0.05 dB for TE mode at 1550 nm」「experimentally demonstrated」⇒ 与语料的 device / measured_value / method / fab_source 四字段逐字吻合。🔴 ⚠️ 但本轮我犯了一次严重失误并已全部回滚:第一轮核实用「作者名+关键词」检索,命中了同组作者 2020 年的另一篇论文(S. Hassan & D. Chack, Microelectronics Journal 104, 104887 = 2.6×6.6 µm² / 340 nm / 纯仿真 / TE 0.04-TM 0.06 dB),未核对语料里的 DOI 本身就反过来说语料「张冠李戴」,据此把本来正确的 4 个字段全部改错,并写进对外账本 / benchmarks note / 语料 note / docs 报告四处。复核时按 DOI 检索才发现,已 git checkout 全量回滚三处(错误 patch 存档 /tmp/lda_rollback_backup/,不入库)。根因三条(已写入 IRONLAWS):①核实必须以语料里的 DOI/URL 为唯一入口,不可用作者名检索后再反过来否定定位符;②下「记录错了」这种强结论前,必须先排除「存在另一篇同作者/同器件论文」;③语料类改动先备份 patch 再动手。正向产出:在既有 run_empirical_anchor_smoke.py32 判据)新增 ⑧ E5 原文防回潮断言——守护 DOI / 2.8x27 / h=0.22 / 含实验实测 / value=0.05,并显式禁止混入同作者另一篇(MeJo 104,104887 / 2.6x6.6 / 340nm);反向测试 7/7 ALL PASS,其中「⑧a DOI 串台到同作者另一篇」正是本次事故的真实失误,现已被断言挡住对 E5 判定的净影响:撤销「ground truth 是第三方仿真」这条错误论据(那是另一篇的性质;E5 引用的是有实验演示的论文,作为实证锚名副其实);同时撤销「6.6 µm 仅 0.32 L_π 成像未完成」这条错误论据(亦属另一篇器件,且成像级次还取错了)。⇒ E5 结论不变(保持自证桩),但只保留 v0.9.56/57 的实测依据:两条方法学独立的路线判在 ~4 dB 量级,且两法分歧 0.23–0.99 dB 本身已超 tol=0.1 dB。 未改动:语料任何字段 / tol / golden / 52 锚计数 / 三分类 26/1/25 / CI core 134。遗留:geometry 仍缺 W_mmi_um/L_mmi_um(roadmap C2 实证,建议按原文补 2.8 / 27)。)

历史版本:v0.9.43(2026-09-06 · 修复「已登录却被要求二次登录 + 输完密码不进画面」(D-78)· CI core 119→120:杜先生实测报障——登录进系统后点「🛠 提交定制需求」又弹一次登录框要求输邮箱密码;输完之后什么也没发生,不进入定制画面。根因不是逻辑错,是改造留半截:P2-5 把会话令牌由 JS 可读字符串改为 HttpOnly Cookie(防 XSS,方向正确),改造时废用了 var store_token = ""(注释已写明「前端不再持有令牌字符串」),却忘了同步改 4 处 if(!store_token){ showLogin(); return; }门禁(openCustom / openBuy / openConsult / loadOrders)⇒ 该变量恒为空串 ⇒ 门禁恒真 ⇒ 已登录用户一律被判成未登录。后端契约完全正确(逐行核验:登录走 _set_cookie(..., HttpOnly)/api/store/me 凭 Cookie 探活如期返回 user)——脏的纯粹是前端门禁。第二症状同源:登录成功后只关框+刷状态,没有重放用户原本想做的动作。修法:登录态真值改由 STORE_USER(探活结果)承担,新增 requireAuth(action) 统一门禁(自带一次探活——页面加载时探活是异步的,用户在返回前点按钮仍会误判),未登录则弹框并记 PENDING_ACTION,登录成功后自动重放;登出改清真值,会话请求统一带 credentials。验证:把 store.html 真实 <script> 块放进 node 沙箱 + 打桩 DOM/fetch,12/12 行为实测通过(含反向:把 requireAuth 退化回旧写法,测试必须失败)。已用生产实际文件重跑同一套测试(生产与本地逐字节同 sha256),12/12 通过。防复发:run_store_auth_gate_smoke.py(10 判据含 3 道反向,入 core)。另修对外账本腐化:README「当前账本」段仍写「58 货架」,实际 75。) 历史版本:v0.9.41(2026-09-06 · D 赛道 CPO 硅光 I/O 共封装 · QKD 安全密钥率信息论锚 · CI 门禁缺口清零(六处潜伏断裂)· CI core 98→118:①D 赛道 cpo_optical_io 系统类型(硅光 I/O 共封装)——既有 8 条 CPO 相关货架没有一条判带宽密度,而 OIF/SE 公开数据表明 CPO 的真实竞争维度正是海岸线带宽密度(当前最先进 ≈0.5 Tbps/mm vs AI chiplet UCIe ≈3 Tbps/mm,6× 差距),A 赛道口径覆盖不到 ⇒ 立新类。三锚 S-CPO-IL(每通道插损)/ S-CPO-DENSITY(海岸线密度 = lane_rate ÷ pitch,纯几何)/ S-CPO-BUDGET(链路余量,S1 同式),零新物理。🔴 核心是 P-CPO 间距几何下界护栏,与 D-67 对称夹逼le 方向(插损越小越 PASS)由 D-67 能量守恒下界防漏算损耗;ge 方向(密度越大越 PASS)由 P-CPO 防把间距写小虚报密度——下界按耦合方式分档fau=125 µm 取 ITU-T G.652 单模光纤包层直径 125.0±1.0 µm;grating_array=10.3 µm 取 G.652 模场直径 MFD@1550 = 10.3±0.4 µm),一刀切会误杀片间直连、放松则恒过。golden 45→48GC-CPO-OIO-16CH 复现 1574.8 Gbps/mm = 物理上界 1600 的 98.4%(护栏贴身,判据有效)。货架 71→75(IM-CPO-OIO-8CH/-16CH/-CHIPLETIM-CPO-ELS-FIBER),生产任务 13→17(A5/B4/C4/D4)。🔴 主动放弃一个判据:不判决能效 pJ/bit——该量由电域 SerDes/DSP 主导(OIF:CPO 3 pJ/b vs OSFP 19 pJ/b),LDA 无电域锚,拿光域激光功率比会低约 4 个数量级 ⇒ 恒过 = 必假绿,只作规格标注。②QKD 安全密钥率信息论锚(方法学扩展):decoy-state BB84 渐近下界(Lo–Ma–Chen 2005 公开公式)R = q·[Q₁·(1−H₂(e₁)) − Q_μ·f·H₂(E_μ)]LDA 第一类信息论类死标量锚Q-D67 护栏(密钥率 ≤ 单光子贡献上界 + 等效探测效率 η ≤ 1);新增 qkd_link 系统类型,IM-QKD-FULL-LINKlink 升级;golden 43→45(GC-QKD-SKR-50KM 1514 bps/58.2 km、GC-QKD-SKR-100KM 4803 bps/204.7 km)。③CI 门禁缺口清零:全量 97 条全绿后追问「这 97 条是不是全部」,查出六处潜伏断裂——🔴🔴 run_production_smoke.py 从未进过 CI(文档/注释/记忆三处都写「进 CI 防回归」,run_ci_regression.py 里零引用 ⇒ 四赛道 17 任务 + 三道反向测试长期裸奔)· run_system_types_smoke 等值断言从 M2 起就红着却在 CORE 内(core 门禁从 M2 起就破)· 定价归档只覆盖 58/75 · README 计数漂移(由 count_consistency 护栏按设计抓到)· routes.py 兜底写死 ci_core=82 · 失败状态分类缺失run_coupler_band_smoke 被硬杀却报成普通 FAIL:「异常短 + 零输出」是进程被杀的指纹,单列 CRASH 防后人去"修"没错的物理判据)。机制级防复发NON_CORE_SMOKES 豁免登记表(18 项必附实测理由,<5s 无重依赖者无权豁免)+ run_ci_coverage_gate_smoke.py(发现必须归类)+ run_ci_crash_classify_smoke.py(守护 _FAIL_STATUSES 记账,漏登记 = 红变绿);36 个孤儿 smoke 逐项实测(非估计)后 18 条快速真门禁(含 4 条锚 smoke,合计仅 9.6s)接入 core。铁律升级为同步五处:条目库 / CI 断言计数 / 派生表 / 回归集登记 / 对外账本计数。终版全量回归 118 PASS / 0 SKIP / 0 FAIL(改动前基数 97)。)

当前版本:v0.9.40(2026-09-05 · 生产环境版本号 + 产品说明公开化 + 智能体客服(解答 + 线索收集,不进验证判决路径):两块用户侧产品能力落地,让 agent-native 叙事对外兑现——①生产版本号 / 产品说明公开化:版本真源改 pyproject.toml 单一优先(修复此前 importlib.metadata 读已装旧包致对外展示 0.9.37 的失真);新增 PRODUCT_INFO dict + /api/about 端点 + public.html「关于 LDA」section + 全站导航版本 pill,对外公开展示版本号、一句话定位、能力亮点与诚实边界;/api/public/stats 同步富化 product / version 字段。②智能体客服:新增 cs_agent.py(纯标准库、零新依赖,FAQ 规则回复 + 可选 LLM 升级——读 LDA_CS_LLM_BASE_URL/API_KEY/MODEL 环境变量走 OpenAI 兼容接口,失败回退 FAQ)+ cs_widget.js 浮动客服组件(挂 public/index 双页);POST /api/agent/chat 既解答客户产品问题、又正则抽取并落盘客户线索(dist/customer_leads.jsondist/ 在第 8 行 gitignored、不入库、不污染验证账本)。🔴 红线:客服 LLM 只做对话生成,绝不进入验证判决路径;线索数据不入仓、不改任何判据。CI core 仍 97 条(未新增判据,本次为产品 / 用户侧能力,非验证强度改动)。)·

当前版本:v0.9.39(2026-09-05 · T-9 锚题覆盖矩阵接线空白点收官 · B29+B30 两道真·可接空白点锚落地 · 题库 48→50 · 严格独立 23→25 · CI core 95→97:T-9 覆盖矩阵(33 引擎 × 48 锚)暴露两类零覆盖品类——①D-73 升格热光相移效率锚 B29(原仅量化口径、无独立候选);②readout_fidelity 包零覆盖钉子 E→B30 读出保真度锚。两道按七步接线法落方法学独立候选(非自证桩):B29 golden=1D 散热鳍稳态 PDE θ''−m²θ=−m²θ_p cosh 解析闭式 Δφ=2π/λ·dn/dT·∫θdz,candidate=同 PDE 三对角 FDM(Thomas)+ 梯形相位积分,判据 D 实测 N=50→6400 残差 0.45°→3.4e-3° 真实收敛(对照 B28 沿程积分代数恒等反例,B29 取非均匀 θ(z) 真数值离散化);基线(N=8000)2.7e-3°、反向 dn_dt±10% ⇒ Δ=3.8°≫tol 2e-2 必 FAIL。B30 golden=色散读出闭式 F=(1−ε+(1−ε)(1−t_m/T1))/2ε=½erfc(SNR/√2),candidate=误判概率 ε 的高斯重叠数值积分 ε=½∫min(𝒩(x;−SNR,1),𝒩(x;+SNR,1))dx(梯形积分),判据 D 实测 nx=2001→2e6 残差 9.4e-7→8e-13 单调收敛;🔴 工作点取中等 SNR≈2.2(非 t_m* 饱和区)保反向判别力——nbar/eta/N_amp±10% ⇒ ΔF≈3.4e-3≫tol 1e-3 必 FAIL。两道护栏 run_b29_thermal_phase_smoke.py / run_b30_readout_smoke.py 各 4 判据(登记防回退 / 正向 PASS / 判据 D 单调收敛+基线>1e-12 / 反向必 FAIL)全绿,CI core 95→97。三分类刷新:严格独立 25 道 · 降级量级参考 0 道 · 自证桩 25 道(三类和 = 50);判据窗口铁律、行为判据、双路径口径零回归。·

当前版本:v0.9.38(2026-09-05 · T-8 device 交叉验证去 GPU · 5 器件 live 5/5 零 SKIP · 三分类不变:严格独立 23 道 · 降级量级参考 0 道 · 自证桩 25 道(三类和 = 48)DeviceLibrary().verify_all(mode="live") 在无 GPU 机器上原本只能演示 1 个器件(Ring)——DC / YB 被 requires_gpu 硬门禁 SKIP、WG / Bragg 被判 heavy 默认跳过,对外宣称「5 器件库」而外部人跑出 1 PASS + 4 SKIP。本版先量化再动手,实测推翻 roadmap 三条原假设:①DC/YB 根本不需要重写候选——solve_*_3d_torch 内部本就有 dev="cuda" if cuda.is_available() else "cpu" 回退,卡点纯粹是门禁本身(绕过门禁直跑:DC 15.3s PASS err=2.48%/tol=25%,YB 19.1s PASS err=6.0e-4/tol=0.1);②Bragg 只有 19.9s,从来不该是 heavy(历史惯性,无实测依据);③唯一真重项只有 Waveguide(numpy 161–389s,重在内层 Python 循环而非物理必要)。交付requires_gpu 语义由「需 torch CUDA」改为恒 False(GPU 降级为可选加速),新增 backend 字段(numpy/torch/numba→numpy)+ resolve_backend() 门禁(torch 可导入即放行,设备由 torch 自选 cuda/cpu,torch 缺失才诚实 SKIP;未知 backend 判不可运行——宁红不假绿);新增 lda/lda_solver/fdtd3d_waveguide_numba.py——同一套「三场蛙跳 + 六面海绵阻尼 + 软源 + 双点 DFT + 三面重叠积分投影」的 njit(parallel) 逐行等价重写,物理网格 dl / 海绵 target_exp / 源 ramp / 测量窗 M=80 周期 / transient≥3000 一律不变交叉验证 |numba−numpy|/numpy = 4.775e-16(判据 ≤1e-9),加速 45.8×(含首次 JIT 3.5s vs numpy 161s;预热后 1.1s),numba 为可选加速非硬依赖(缺失回退 numpy);测量窗五档扫描证明 neff 波动 <0.2% ⇒ 不做 medium 档,5 器件统一 light。顺带修两处同类伪门禁coupler_loop.py:188 原把「无 CUDA」映射成 numpy 后端、而该路径在 _run_dc 里是 raise ⇒ 无 GPU 机器上 CouplerAgent/CouplerBandAgent 整条链路不可用(实测 torch CPU 全波段 DC 7 波长 123.1s PASS、YB 163.8s PASS);verify_ring_fdtd(D-31 深度 FDTD)文案由「需 torch CUDA」改为诚实表述——CPU 能跑只是慢(~74.6s/波长,21 点 ≈ 26min),默认跳过、LDA_FORCE_RING_FDTD=1 可强制启用,与 verify_all 的 5/5 解析快验收分层。护栏全面升级run_device_library_smoke.py 断言由「至少 1 个 live 能跑」升为「5/5 全跑、零 SKIP、全 PASS」+ 后端诚实披露,并新增三组反向测试证明护栏会响(未知 backend ⇒ 必须判不可运行 / tol 收紧到 1e-12 ⇒ Ring 必须 FAIL / monkeypatch _numba_ok=False ⇒ WG 必须回退 numpy 仍可运行)。不动 48 锚三分类、不改任何契约 tol、不放宽任何判据;CI core 仍 95 条(两条既有 smoke 覆盖范围扩大:新增超时预算 run_coupler_band_smoke 600s、run_device_library_smoke 600s,仅为耗时余量非判据放宽)。顺带修 T-7 交付的一处假阳性:quickverify 版本核对原会读到仓库内 lda/lda_design.egg-info(gitignore 的本地构建残留)而误报「已安装 X」——实测 CI env 其实根本没装 lda-design;现只认仓库外真实安装,残留一律诚实标注为「构建残留、不算安装」,并新增反向测试 D (变异测试双向证明会响)。重负载稳定性:本仓最重的 CPU 任务(torch CPU 全波段 3D FDTD)在 20 线程满载下曾两次触发整机硬掉电(Kernel-Power 41 / BugcheckCode=0 + 固件限速 Event 37,内存 63GB 已排除 OOM)⇒ 新增 lda_solver/threads.py 把数值内核并发压到一半核心(上限 10,LDA_FDTD_THREADS 可覆盖),实测 287s → 240s 反而更快且判据逐位一致。CI core 95)· 当前版本:v0.9.37(2026-09-04 · T-7 一键复现 · 一条命令复现「验证可信度」· 三分类不变:严格独立 23 道 · 降级量级参考 0 道 · 自证桩 25 道(三类和 = 48):新增 lda/quickverify.py 一键复现入口——外部人拿到仓库后一条命令复现核心验证:python lda/quickverify.py(快验 30s),加 --full 追加 CI core 95 条全量回归(25min)。四步流水:①环境自检:Python ≥3.12(PEP 701 下限)+ 必装 numpy/scipy/jsonschema,可选 torch/numba 缺席仅告警不阻断(全仓延迟导入已优雅降级);②版本核对:pyproject 声明 ≡ 运行时 importlib.metadata,不一致即 FAIL——🔴 首跑即抓真实外部坑:CI 环境 lda-design 停留 0.8.28 ≠ pyproject 0.9.36 ⇒ 版本核对当场 FAIL ⇒ pip install --force-reinstall --no-deps . 修复——这正是外部人按 README 装最容易踩的坑,从此由机器显式捕获而非静默错版本;③核心验证(subprocess 隔离、cwd=lda/、全部复用 CI core 守护的既有 smoke/harness 权威入口——编排壳不重写判据,杜绝第二套判决路径):run_harness.py 48 锚三分类实跑(内建双向复核,读 candidate_class_totals 权威字段)→ 实测 23 严格独立 / 0 降级 / 25 自证桩 · 判决回路 48/48 闭合run_count_consistency_smoke.py(README 宣称计数 ≡ 代码实数);run_requires_python_smoke.py;harness 报告写临时目录、不污染仓库 reports/;④--full 追加 run_ci_regression.py --tag core护栏会响(反向测试证明)--selfcheck 内建三判据——A 正向环境必装齐全 / B 注入 blocked 集合模拟缺 numpy/scipy/jsonschema ⇒ 必须报 missing / C pyproject 版本串解析非空(守卫前提不空);新 CI 注册 run_quickverify_smoke.py(秒级,不跑子进程验证——那部分归 quickverify 主模式,core 94→95)。实测快验三步全绿 15.71s+0.3s+0.65s。CI core 95)· 当前版本:v0.9.36(2026-09-04 · P0-2b LVS 短路检测宽相根治 · 近线性 O(n^1.0) · 判决语义零变化 · 三分类不变:严格独立 23 道 · 降级量级参考 0 道 · 自证桩 25 道(三类和 = 48):狭长阵列退化(v0.9.34 实测 1M LVS=88.93s、O(n^1.74))的根治。三次实测迭代(规模结论必须实测,方案必须用数据淘汰):①v0.9.35 试按轴独立 cell(cell_x=span_x/√N、cell_y=span_y/√N,直觉上"狭长版图 y 轴自适应")→ 1M 实测 771.37s,比标量版慢 8.7×,当场废弃——全宽 M2 跳线被碎成上千 x 格,入格开销爆炸;②根因重定位:v0.8.44 的病根是 cell = max(span_x, span_y)/√N长轴定 cell,狭长版图(span_y ≫ span_x)cell 被拉到数百µm,跨行同格;③v0.9.36 终版:几何均值 cell = √(span_x·span_y)/√N(均匀网格"每格≈1 段"目标),狭长版图 span_x 小 → cell 自动缩到行距量级(28µm),跨行不再同格;共线一维几何(min span≈0)退回 max(span)/√N 防 cell 塌成 1e-6。实测效果(判决不变 ACCEPT/0 违规):200k=3.65s · 500k=10.72s · 1M=21.22s(vs 88.93s = 4.19×,vs 771s = 36×),增长阶 O(n^1.0) 近线性(500k→1M 恰好 2× 耗时)。护栏升格:发现根级 verify_lvs_cross_equiv.py 内嵌旧标量 cell 副本、根本没测生产代码(护栏测副本 = 假护栏)→ 新建生产级护栏 lda/run_lvs_cross_equiv_smoke.py(直接 import 生产 _collect_cross_shorts48 组断言 vs naive O(n²) 双重循环真值逐字节一致,含 v0.9.36 特护狭长阵列场景+注入真短路反例;反向测试:monkeypatch 返回 [] ⇒ 43/48 组 FAIL,护栏会响);根级旧脚本改为薄委托层(防误用,指向新 smoke)。入 CI core 93→94。🔴 两条工程铁律再证:①外推不可信——128k 外推 1M 仅 41s,标量版实测 88.93s、按轴独立版"理应更快"实测 771s;②护栏必须测生产代码——内嵌副本的护栏给出虚假安全感。CI core 94)· 当前版本:v0.9.34(2026-09-04 · P0-2a LVS 短路检测常数优化 · 判决语义零变化 · 三分类不变:严格独立 23 道 · 降级量级参考 0 道 · 自证桩 25 道(三类和 = 48):为规模线探路而做的 LVS 性能实测与优化。cProfile 定位:128k 器件下 LVS 耗时 8.57s,其中 _collect_cross_shorts5.05s(59%)_paths_cross 调用 158 万次_bbox_of 316 万次(触发 684 万次 min/max 内置调用)。根因:同一条折线在大量候选对里被反复比较,每次都重建两个列表再 min/max 求 bbox——纯常数浪费,与判据无关。修复:① bbox 按 net 预计算一次并复用_paths_cross 新增可选 bb1/bb2 参数,不传时行为与旧版逐字节一致);② _ccw / _on_seg_segments_intersect 内部提到模块级(原来每次调用都重建两个闭包函数对象)。实测效果(128k 器件)_collect_cross_shorts 5.045s → 2.315s(2.18×),LVS 总 8.57s → 5.82s,函数调用 3148 万 → 1634 万(-48%),增长阶 O(n^1.36) → O(n^1.27)。1M 器件实测 LVS = 88.93s(500k→1M 为 2× 器件 3.34× 耗时 ⇒ O(n^1.74))——🔴 外推在大尺度上失效(按 128k 外推仅 41s,实测 88.93s,差 2.2×):规模结论必须实测,不可外推等价性铁证verify_lvs_cross_equiv.py 46 组断言全过;12 个案例(单层 5 + 多层 5 + 规模 2,含 9 个反例 open/misconnect/short/dangling/cross_short/via_short/port_short)判决指纹(verdict + violations 的 sha256)逐字节一致。CI core 93(不变,未新增 smoke)· 当前版本:v0.9.33(2026-09-04 · P0-1 层次化 GDS 导出产品化 · 三分类不变:严格独立 23 道 · 降级量级参考 0 道 · 自证桩 25 道(三类和 = 48):把 POC 验证过的层次化导出搬进产品。CPO 250k 全量实测:897,600 元素 / 97.45 MB → 331 元素 / 36.0 KB,降幅 99.96%(与 POC 一致);结构 = 1 个 CHANNEL cell(330 元素)+ 1 条 AREF 记录(周期 p=92 器件、阵列 4×680、2,720 实例全部算法自动检测,未硬编码)。架构改造:① gds_export 新增 AREF 原语(0x0B,GDSII 标准三点式 XY:P1=原点 / P2=原点+dx·nx / P3=原点+dy·ny);② parse_gds_polygons 新增引用展开expand_refs=True 默认开启,支持嵌套 + 环检测)——🔴 为何默认展开:不展开的话层次化 GDS 在 gds_drc / parasitic_rc 眼里只有 1 条 AREF、顶层真实几何为 0DRC 假绿;宁可解析慢,不可假绿。对不含引用的既有flat 版图,展开逻辑空转,输出 bit-exact 不变(零回归已验);③ chip_layout_export 拆出几何层device_geom_of / io_grating_geoms / route_geoms + Geom 元组),flat 与层次化共用同一份几何生成,杜绝第二份副本(P0-0 的根因就是同一段逻辑抄两遍)。🔴 产品化补了 POC 缺的一环:POC 在 CPO 上验证时该案例没有跨通道布线,故只需处理 cell 内几何;通用设计必然存在不属于任何实例的几何 ⇒ 本版显式区分「实例内(由 cell 展开覆盖)/ 跨实例或非对称(留在 TOP 单次绘制)」,并逐几何做对称性校验(非对称项自动降级到 TOP),否则会静默丢失几何导出接口export_chip_gds(..., with_hierarchy=True) 默认开启,失败自动回退 flat 并在返回的 hierarchy 字典写明 reasonno_repeating_cell / detect_error:...),绝不静默;DRC/LVS 判决完全不受影响(层次化只改编码,不改判决)。新增常驻护栏 run_hier_gds_smoke.py(17/17 PASS,~10s,CI core 92→93),判据:①降幅 >50% ②几何零丢失(展开几何数 ≡ flat 元素数)③ ≤1 DBU 数值等价 ④非规则设计回退逐字节一致 ⑤AREF round-trip ⑥ top_structures 正确 ⑦DRC/LVS 判决一致;外加反向测试(故意删一个 cell 几何 ⇒ 判据精确报 74 个缺失 —— 删几何后元素数更小、看起来更“成功”,只有 B/C 判据抓得住)。🔴 命名教训:原拟命名 run_hierarchy_smoke.py,但该名已被 Merge-3b 层级 IR(子系统 flatten)占用,两者是不同事物 ⇒ 改为 run_hier_gds_smoke.py新建 smoke 前必须先查重名。🔴 踩坑记录:下游按「所有结构求和」统计几何会把 cell 自身那份重复计入(实测 202 + 1616 = 1818,真实 1616)⇒ 解析器新增 top_structures 字段(未被引用者)供下游正确取用。已知待办route_geoms 保持既有行为——每条 net 无条件产出一个 PATH,即使点集为空(WDM 案例有 2 条空 path,在 GDS 里是无 XY 的畸形记录);过滤会破坏 bit-exact 基线,待确认下游无依赖后单独清理。CI core 93)· 当前版本:v0.9.32(2026-09-04 · P0-0 修 IO 光栅几何定位缺陷 · 三分类不变:严格独立 23 道 · 降级量级参考 0 道 · 自证桩 25 道(三类和 = 48):层次化 GDS POC 的等价性验证中意外挖出真实版图正确性缺陷——lda_l2/chip_layout_export.py 的 IO 光栅导出中,path 分支施加了端口绝对偏移 (ox,oy) 而 boundary 分支漏加,两处调用点(_device_elements / _io_grating_elements)各抄一遍、错得一样。而 primitive_descs('grating_coupler', n_tooth=16) 返回 1 path + 16 boundary(光栅齿),齿全走 boundary 分支 ⇒ 齿全部堆在局部原点,真正的 IO 端口处没有任何齿结构。铁证(CPO 小阵列 16 端口):齿 bbox 中心去重仅 16/256(16 个端口的齿完全重叠)、最少端口邻域齿数为 0、齿 x 跨度 10.20µm vs 端口跨度 6552.01µm。影响面:CPO 250k 里 174,080 个齿(占元素 19.4%)全部错位,据此外协流片 IO 耦合器会全部失效;器件主体(Waveguide/Ring/GC 主体走 path)不受影响,故此前全部体积/元素数类断言恒 PASS——这正是它能长期潜伏的原因。修复:抽出 _desc_elements(desc, ox, oy) 单一偏移施加处(杜绝两处再次分裂),path/boundary 统一偏移;同时消除 _device_elementsd["points_um"] 硬索引在 boundary desc 上的 KeyError 潜伏崩溃(boundary 只有 rings_um,两键互斥)。新增常驻护栏 run_io_grating_offset_smoke.py(8/8 PASS,~4s,CI core 91→92),四判据全为死标量且经反向测试证明会响(缺陷态 5/10 亮红:A 去重 16/256、B 最少端口邻域 0 个齿、D 跨度 10.20 vs 6552.01;C 齿总数守恒恒 PASS 作对照)。🔴 判据分辨力教训(本轮最重要工程产出):初版 B 判据「每齿距最近端口 ≤12µm」在缺陷态恒 PASS(齿堆原点、而原点附近必有一端口)⇒ 零判别力,已删除而非留作虚假护栏;另初版只跑 WDM 案例(端口跨度仅 16.10µm < 邻域半径)使 B 判据恒 PASS ⇒ 补 CPO 大跨度案例才获得分辨力——判据必须在目标规模上标定,小样本会掩盖缺陷。修复后几何精确吻合:WDM 齿跨度 26.30 = 端口 16.10 + 光栅 10.20;CPO 6562.21 = 6552.01 + 10.20。零回归:run_chip_layout_smoke 6/6、run_cpo_array_smoke 21/0、run_chip_acceptance_smoke 14/14、run_cli_smoke 5/5 判词逐条与修复前一致(GDS 体积 7310B、元素 1616 均未变——GDS 坐标固定 4 字节编码,齿移位不改变字节数)。已知待办(本次刻意不修,避免扩大回归面):boundary 的 rings_um 支持多环(带孔多边形),当前展平为单环;GDS BOUNDARY 仅支持单环,正确做法是每环一个元素。当前全部基元数据均为单环,故展平不改变元素数,已在函数 docstring 登记。CI core 92)· 当前版本:v0.9.31(2026-09-04 · T-6 修 requires-python 3.11→≥3.12 · 三分类不变:严格独立 23 道 · 降级量级参考 0 道 · 自证桩 25 道(三类和 = 48):修复外部可验货硬阻塞——pyproject.toml 曾声明 requires-python >=3.11,但全仓 178 个文件用了 PEP 701 跨行 f-string(3.12+ 语法,lda_l2/chip_layout_export.py:248 为典型),按声明用 3.11 安装会在 import 时 SyntaxError(实测 lda_cuda_venv 的 3.11.9 在 v0.9.26 首跑报 9 个假 FAIL)。本轮:①requires-python>=3.12(与生产 3.12.9 / CI 3.13.14 一致);②新增常驻护栏 run_requires_python_smoke.py(静态扫描 lda/**/*.pyJoinedStr 跨行节点,断言声明下限 ≥ 代码实际语法下界,声明谎报即 FAIL)入 CI core 90→91;③.github/workflowsdist 说明同步。本轮不改验证强度,只消外部安装阻塞。CI core 91)· 当前版本:v0.9.30(2026-09-04 · T-5 修 C-1 口径分裂 · 三分类不变:严格独立 23 道 · 降级量级参考 0 道 · 自证桩 25 道(三类和 = 48):本轮不改验证强度、只改披露口径。修复 C-1 口径分裂——harness 两套判决路径(路径① IndependentCandidateRouter verified=23/48;路径② run_harness.py --ai verified=2/48,仅 B1/B4 真实现且 PASS、余 46 为自证桩)此前对外只写 23、未提 2 ⇒ 「宣称 vs 可复现」缺口;本轮在 README 顶行 + 当前账本 + harness 报告三处显式交代双路径,并订正 l3_ai_solver.py:66 滞后注释。CI core 90(不变))· 当前版本:v0.9.29(2026-09-03 · T-3 S7/S8 换指标 均值→p5 · 严格独立 21 → 23三分类刷新:严格独立 23 道 · 降级量级参考 0 道 · 自证桩 25 道(三类和 = 48)。S7「系统功率预算余量」/S8「OSNR」原 golden=分布均值、候选=均值闭式 ⇒ 均值下 |Δ|≡0 属假独立(自证桩)。实测两分布精确高斯(S7=独立高斯损耗项之和;S8=10log10(F)、F=10^(nf+δ/10) 故 10log10(F)=nf+δ 高斯)⇒ 改用 p5(5% 分位=最坏情况下界) 作 metric:golden=MC 经验分位(固定种子);候选=闭式高斯 p5 μ−1.645σ(组件容差解析叠加 μ/σ)。两算法方法学独立——非高斯下 MC p5≠闭式 p5 ⇒ 真可证伪。实测:S7 闭式 p5=9.4089 vs MC p5=9.4135(|Δ|=0.0045<tol 0.15);S8 闭式 p5=45.9708 vs MC p5=45.9246(|Δ|=0.0462<tol 0.20);μ/σ:S7 10.5/0.6633、S8 46.9299/0.5831。护栏升级:run_d_criterion_smoke.py 22/22 接线(含 S7/S8,基线残差>1e-12);run_benchmark_falsifiability_smoke.py MIN_INDEPENDENT 21→23、S7 反向 detector_sens+10% |Δμ|=2.0≫tol FAIL✅、S8 nf+10% |Δμ|=0.5≫tol FAIL✅;统计锚 34/34 PASS(均值锚保留供分布报告)。CI core 90(不变,未新增 smoke))· v0.9.28(2026-09-03 · T-2 B28 数值零点拟合接线 · 严格独立 20 → 21三分类刷新:严格独立 21 道 · 降级量级参考 0 道 · 自证桩 27 道(三类和 = 48)。B28「MZM 半波电压 Vπ」golden=解析闭式 λ₀d/(2n³rΓL) ↔ 候选=新写 lda/lda_solver/mzm_vpi_nullfit.py数值零点拟合:按 Pockels 相位链算推挽 MZM 传输谱 T(V)=cos²(Δφ_arm),电压网格采样 → 首个传输零点 → 三点抛物线定顶 —— = 实验 Measure Vπ 标准流程的数值化,从不求值闭式)。基线残差 7.6e-9 V(tol=1e-3 的 0.0008%,≫1e-12 双向可标定);反向 r_eff+10% ⇒ |ΔVπ|=0.3437 ≫ tol 必 FAIL。🔴 判据 D 双对照(本锚最有价值):新候选 n_voltage 2→512 残差 1.91e-3→2.34e-8 随网格真实收敛(cos² 四次修正,N 加倍误差降 887×)✅ 真独立;同锚旧候选沿程积分(mzm_vpi_integral)是判据 D 反例 —— 均匀段剖分守恒 ⇒ 与闭式代数恒等(残差恒 4.44e-16、扰动同步响应)⇒ 保留为报告侧交叉验证但不作 harness 独立候选。护栏 run_b28_nullfit_smoke.py 8/8 PASS(3s,含判据 D 双对照 + 登记防回退断言),CI core 89→90)· v0.9.27(2026-09-03 · T-1 判据 D 立法 · 全 20 道独立候选普查 · 0 道假独立三分类不变:严格独立 20 道 · 降级量级参考 0 道 · 自证桩 28 道(三类和 = 48)——普查结论:20 道宣称无一虚报,无需下调。🔴 判据级缺陷 D(本轮发现并立法):现行行为判据(残差≡0 且扰动无响应 ⇒ 自证桩)拦得住「裸桩」,拦不住「数学等价的另一种写法」——实测反例 B28:沿程积分+二分候选与解析闭式在均匀段剖分守恒 ΣΓᵢ·Δzᵢ ≡ Γ·L代数恒等n_segments 10→20000(2000×)残差恒 4.44e-16 纹丝不动,但扰动 n_eff 时两式同步响应 ⇒ 会被误判「独立候选」——虚报。判据 D(新):固定物理参数,只扫候选自身离散参数(步长/段数/网格/截断维数),真数值方法的截断误差必随其变化(粗端浮出噪声地板、单调收敛、阶数与算法标称一致),代数恒等则任何档位恒 1e-16 ⇒ 判假独立不计入。落地 candidate_discretization_responds()lda_harness/harness.py(单一定义处)。⚠️ 判据 D 必须双向标定:B10 默认 t/T1=5e-4 时 RK4 截断误差 1e-22 沉在双精度噪声下(过度收敛区),真独立残差也恒 1.11e-16 与 B28 不可区分 ⇒ 必须在未完全收敛参数点扫(B10 推到 t/T1=1.0 后 n=2→512 残差 3.86e-4→5.24e-14、每加倍降 21× = 严格 O(h⁴) ⇒ 真独立确认)。普查结果(T-1 主体):逐道测 20 道已接线候选基线残差,19 道 1.85e-8 ~ 1.5e-2(值域上排除恒等),B10 唯一基线=0(过度收敛特例,判据 D 深验通过)⇒ 0 道假独立。抽验对角化类:B9 扫 N 5.1→7.3e-3、B23 扫 ncut 2.4→4.4e-14(ncut=32 贴地板,印证「ncut 钉 24 勿再加」铁律)。🔴 新增常驻护栏 run_d_criterion_smoke.py(9/9 PASS,~15s,入 CI core 88→89):①B10 正例 PASS ②O(h⁴) 收敛阶 ③B28 反例必须 FAIL(护栏会响) ④20 道登记完整 ⑤基线残差普查 ⑥⑦B9/B23 截断留痕 ⑧双向标定印证 ⑨单一定义处检查;三处同步登记(CORE_SMOKES/TIMEOUTS/_SLOW_CORE)。可证伪性 smoke 12/12 PASS 无回归)· v0.9.26(2026-09-03 · B8 锥度传输 EME 接线 · 严格独立 19 → 20三分类刷新:严格独立 20 道 · 降级量级参考 0 道 · 自证桩 28 道(三类和 = 48)。B8「绝热锥度传输 T→1」golden=常量上界 1.0(绝热定理 + 能量守恒硬约束)↔ 候选=新写 lda/lda_solver/eme_taper.py本征模展开 EME:每切片解完整 Helmholtz 本征值问题、无旁轴假设,切片间用模式重叠矩阵投影,功率守恒内建 T≤1,与 B19 无源性同构)。实测 T=0.999953504 ⇒ 1−T=4.65e-5(占 tol 1e-2 的 0.47%,严格非零即可标定);反向取非绝热短锥(w2=3.0/L=1.0µm)⇒ T=0.43528、越界量 0.5647 ≫ tol ⇒ 必 FAIL。🔴 候选换将两次:BPM 被实测证否(模型误差,非数值误差) —— 先写 bpm_taper.py(分步傅里叶束传播),两轮收敛实测显示 T 随 L 单调下降(L=2→0.9967 / L=25→0.9936 / L=200→0.9729),与绝热定理反号;减小 dz/加密网格均不收敛 ⇒ 判为旁轴近似本身的模型误差(展开参数 65%,伪辐射随长度累积)。已删除 bpm_taper.py,教训转移至注释与普查文档,不留失效求解器。🔴 EME 三个坑(全写在生产模块 docstring + 常驻 smoke):①固定 n_slices ⇒ 判据零判别力 —— Δw 与 L 无关、且 L=200 时 dz=1µm 使 Δβ·dz 达 5rad/片严重欠采样 ⇒ T 在 L=2 与 L=200 同值 0.996;改为按 dz 推导切片数DEFAULT_DZ=0.4nsl=max(20, round(L/dz)))。②折射率剖面硬判据 ⇒ 锥度被离散成 ~8 次突跳 —— dx=0.02 时半宽只跨 7.5 个网格,4000 片里只有 8 个不同剖面;改为亚网格面积加权(对 n² 按格心覆盖比例平均)。③倏逝模两连错 —— np.maximum(w_,0) 把 β²<0 截断成 β=0(不衰减);改复数 sqrt 后又因取主值 +i|β| 使 exp(−i·i|β|·dz)=exp(+|β|dz) 变成指数增长(L=5→4e30、L=200→inf);正确分支是 Im(β)<0(衰减)。✅ 模式解算器获独立验证(非自证):数值 n_eff(w=0.2)=1.858971.85966 ↔ 平板 TE0 解析色散 u·tan u=√(V²−u²) 的 1.85971;n_eff(w=0.5)=2.21911 ↔ 2.21863;dx 减半误差降 O(dx²)(收敛比值严格 →4.00)。自校锚从「单点阈值」改为「收敛到解析值」(max|Δ|<1e-4 且 min 降幅 ≥8×,实测 16×/24×/16×)——比放宽阈值强:解算器若错就收敛不到解析值。🔴 新增常驻护栏 run_eme_taper_smoke.py(9/9 PASS,~33s,入 CI core 87→88),含「candidate 必须是 taper_eme」防回退断言与突变结下界(0.98525)对照。⚠️ 诚实边界(四条,均已实测):①余量 4.65e-5 小 ⇒ 只宣称「1−T 非零且可标定、量级合理」,不宣称精度验证;②EIM 降维——垂向压成常数 n_eff,是横向一维问题,非完整 2D/3D;③单向近似——逐切片前向投影,不含背向反射的多次往返累积;④短锥度未收敛——L≲2µm 时计算窗口 8/16/32 之间相差 4e-3,故单调性自校锚只取已收敛区 L≥5µm,不拿未收敛区充数。🔧 顺带修正 E3 循环论证标注run_empirical_anchor_smoke 的 E3 断言原写「实测↔解析交叉验证」,但语料 method 字段明写「实测 FSR,反算 n_g=4.92」⇒ golden 与解析式共用同一 n_g,不是独立验证;已改标为「自洽性检查(非独立交叉验证)」,并注明 n_g 每变 0.01 ⇒ FSR 变 0.021nm,而所谓"吻合"仅 0.024nm = 舍入噪声)· v0.9.25(2026-09-03 · B19 无源无增益接线 · 首开不等式锚 cmp='le' · 严格独立 18 → 19三分类刷新:严格独立 19 道 · 降级量级参考 0 道 · 自证桩 29 道(三类和 = 48)。B19「无源链路 max|T|≤1」golden=常量上界 1.0(无源性/能量守恒硬约束,不依赖任何模型)↔ 候选=整条工程师序端到端级联lda_chain 真实链路引擎 build_wdm_link → route_and_simulate → max_transfer_of,候选甚至不知道 golden 是多少)——方法学独立最强一档。🔴 首开不等式锚 cmp='le':新增 cmp_le/cmp_ge/compare_fn_for 分发表,修复 path① build_harness_specs 对物理定律锚硬编码 cmp_abs 的假 FAIL(B19 candidate=0.9998962 在 cmp_abs 下 |0.9999−1.0|=1.04e-4>tol 假红)。🔴 行为判据 v0.9.25 再升级candidate_responds 从「比 golden」改为「比候选自己基线 base=cand_fn(spec,oracle)」,否则「返回 golden×0.99988 的常量缩放桩」在不等式锚上会被误判「有响应」而漏过——实测攻击演示 old=True 漏过、new=False 抓到,且 18 道现有独立锚口径零回归。🔴 B19 反向测试 = 注入负增益(非参数 ±10%):monkeypatch 弯曲损耗翻负 ⇒ max|T|≈1.0056 > 1 ⇒ cmp='le' 必 FAIL(护栏会响)。⚠️ 诚实边界:余量仅 1.2e-4(离共振 thru 路径残余弯曲损耗),已写入 note)· v0.9.24(2026-09-03 · B10 门保真度接线 + D-66 第 8 例 · 严格独立 17 → 18:新写 lda/lda_solver/lindblad_gate_fidelity.py(单比特 Lindblad 主方程 4×4 超算子 RK4 数值积分 → 对 4 个 Pauli 基各积分一次得完整 PTM → 平均门保真度 F=½+(Λ_xx+Λ_yy+Λ_zz)/6)↔ golden Lindblad 解析闭式 (3+2e^{−t/T2}+e^{−t/T1})/6(Nielsen & Chuang, d=2)。方法学独立:候选不套衰减率公式、不假设 PTM 对角(实测 PTM[Z,I]=−2.4997e-4 非对角,振幅阻尼把激发态布居转到基态)。🔴 D-66「怀疑 golden 本身」第 8 例:旧 golden F=exp(−t(1/T1+1/(2T2))) 被证否——逐个排查四种标准保真度定义(平均门保真度 / 纠缠保真度 / |+⟩ 态保真度 / Haar 平均态保真度)均不匹配,其一阶系数是严格解的 2.727×(比值恰为 30/11,无物理来源),与严格解差 2.638e-4,而**全部 10% 扰动信号只有 1.5e-54.2e-5** ⇒ 旧 golden 下判据窗口不可能成立tol 0.01 → 1e-8(收紧 1e6 倍):旧 tol 允许 F 掉到 0.99,比真实门误差 1.53e-4 大 65 倍,六路扰动信号比 tol 小 240660 倍 ⇒ 该锚此前实际零判别力。收紧后判据窗口三元组 baseline 1.11e-16 < tol 1e-8 < min 信号 3.787e-6(T1+10%),余量下界 9e7×、上界 379×,三键六路全部可抓(与 E2 四个弱键抓不住形成对照)。🔴 铁律升级(本轮最重要工程产出):自证桩判据从单点残差启发式 |cand−golden|<1e-12 升级为行为判据 _candidate_responds()(扰动全部数值参数 ±10%,看候选有无物理响应)—— 自证桩的充要特征不是「残差小」而是「跟着 golden 走」(_harness_reference_candidate 直接 return oracle_value完全不看 params ⇒ 扰动后候选值纹丝不动)。不升级就会误伤真候选:B10 残差真实为 1.11e-16,旧判据把它打成自证桩,与路径⑧(按登记表判独立)口径打架 ⇒ 首轮 5/8 FAIL。⚠️ 诚实边界(三条,必读):①生产档位残差不可标定 —— |L|·t≈2.5e-4 ⇒ RK4 从 N=5 到 N=400 残差恒为 1.11e-16 且与步数无关,与自证桩的 |Δ|≡0 数值上无法区分 ⇒ 不拿它当验证凭据;「候选真在工作」由三条可标定自校锚证明:PTM[Z,I] 逐元素比对解析值 −(1−e^{−t/T1})(差 2.2e-16,但该值 −2.5e-4 远在机器精度之上)、敏感 regime t=200µs 残差 5.57e-9 且 N 加倍降 16.34×(严格 O(h⁴))、t→∞ 稳态 F→0.5,外加六路反向扰动。②T=0 热库 + H=0 idle 门口径 —— 是退相干极限上界,未含脉冲形状误差/泄漏/串扰,非实测门保真度。③T2>2T1 属非物理输入(γ_φ<0),golden 与候选均抛 ValueError 而非 clamp(clamp 会让非物理参数产生看似合法的保真度)。新增常驻护栏 run_lindblad_gate_smoke.py(13 项全 PASS,入 CI core 86→87),含「golden 未回落已证否旧经验式」反向断言(|现行−旧式| 必须 >1e-4,防改回去)。连带修正pdk_examples.py 的 B10+B9 逆设计目标 0.99 → 0.9999、tol 0.01 → 5e-4、bounds 下界 0.05 → 0.001µs —— 新 golden 下 t_gate∈[0.05,1.0]µs 内 F 只能取 [0.99242, 0.99962],0.99 根本不可达(需 t_gate≈1.33µs,远超超导单比特门物理区间 1050ns);新目标 0.9999 对应 t_gate≈13.1ns。三分类:严格独立 18 · 降级 0 · 自证桩 30(和=48))。🔴 **收口时全量回归又抓出两个真 bug(都已修,见 CHANGELOG v0.9.24 第十十二节):①numpy 标量泄漏进判决链** —— 新候选返回 np.float64passednp.bool_run_harness.pyformat_jsonTypeError: Object of type bool is not JSON serializable与 v0.9.17 B24 是同一类 bug 的第二次复发,当时只修个案没加护栏)⇒ 修法=模块与适配器各包一层 float(),并新增可证伪性 smoke 第 ⑨ 项常驻护栏(8→9 项:路径② 报告必须可 JSON 序列化、且每题 passed 必须是 Python bool)。根因=路径⑧ 进程内复现路径② 时刻意「不写报告文件」⇒ format_json 从未被执行,进程内复现 ≠ 覆盖真实出口。②判据有两份定义 —— 只升级了 smoke 的路径①⑧、漏了 run_harness.py 里的同名副本 ⇒ smoke 8/8 全绿而 CLI 断言崩(假独立=['B10'])⇒ 修法=行为判据上移到 lda_harness/harness.pycandidate_responds()全库唯一权威定义处,CLI 与 smoke 都改为薄委托。两道新护栏均做了反向测试并证明会响_reverse_v0924.py 3/3 PASS:篡改后 ⑨ 精确报 TypeError、run_harness 精确报 假独立=['B10']、复原后 rc=0 且 verified=18)。③**run_ci_industrial_smoke.py TIMEOUT(600s)** —— v0.9.23 把 run_semivec_mode_smoke.py97s)加入 CORE_SMOKES漏了同步该脚本内部的 _SLOW_CORE 排除表 ⇒ 其内部递归的 core 子集 570s → 667.62s ⇒ 撑破外层 600s 上限(单独跑 3/3 ALL PASS,是纯耗时问题非真失败)。修复=补登排除表(子回归回落 577.41s)+ 上限 600→900s(余量 1.30×)。🔴 教训:新增慢 smoke 入 CORE_SMOKES 时必须同步检查所有内部递归跑 core 子集的脚本 · v0.9.23(2026-09-03 · E2 升级为严格独立候选 · 严格独立 16 → 17 · 降级量级参考 1 → 0:新写 lda/lda_solver/semivec_mode_solver.py(2D 半矢量本征模:准 TE 方程 ∂ₓ[(1/n²)∂ₓ(n²u)]+∂ᵧ²u+k₀²n²u=β²u、界面调和通量、Dirichlet 墙面 ghost-point、Sellmeier 色散、λ 中心差分求 n_g)替换 E2 原有的标量 FDFD 候选。换将的两条实测理由:①计算窗口散射 **±0.040.08 → <1e-5**(L=5.0/6.0/8.0µm 实测 1.956401/1.957177/1.956362,极差 8.15e-4)——FDFD 的 PASS 可能只是窗口挑得好;②辨 TE/TM(标量解只有一个,对不上实测 TE 1.892 / TM 1.717)。精度凭据(唯一凭据):自校锚③ A 级实证对照 Si₃N₄ 1.2×0.3 纯净对照组(无 SiOC、全 silica 包层、R=100µm 无弯曲、λ²/(FSR·L)=1.9666 口径自洽)实测 n_g=1.9666 ↔ 计算 1.966684 ⇒ Δ=+8.4e-5;另有两道可分离精确解自校锚(h 减半 Δ 降 3.5×,O(h²))。判据窗口实测:baseline 0.0652 < tol 0.10 < n_core×1.1 信号 0.3600(3.6×),灵敏度 2%;🔴 四个弱键抓不住如实登记(w×1.1 0.0764 / w×0.9 0.0511 / h×0.9 0.0191 / n_clad×1.1 0.0173 均 < tol)⇒ 反向测试只用 n_core,不改用弱键充数。新增常驻护栏 run_semivec_mode_smoke.py(入 CI core 85→86,89s,8 项)——铁律「没被验证过的护栏不算护栏」。顺带:D-66 第 7 例(E-SIN-NG-1200 的 n_clad 1.44→2.2,原文逐字 "SiOC film ... n = 2.2");fdfd_ng 因无锚题再引用而取消登记(失配护栏本就该响),函数保留作 D-65/R16 证据。⚠️ 诚实边界:残差 0.0652 不等于精度已验证——主成分是对象不对齐(golden 来自腔、候选解直波导,同文 MZI 交叉验证 1.901.92)+ 制造公差(h ±10% 移动 n_g ∓0.046)⇒ tol 0.10 中物理裕度所剩无几;三分类:严格独立 17 · 降级 0 · 自证桩 31(和=48))· v0.9.21(2026-09-02 · B1 米氏散射接线 · 严格独立 15 → 16:新写 lda_solver/mie_solver.py 完整 Mie 级数(B&H 4.53 维度形式 + Wiscombe 截断,纯 numpy 递推零外部依赖)↔ golden Rayleigh 一阶极限——物理同源(麦克斯韦)、方法独立(一阶展开 vs 全阶求和),|diff|=Rayleigh 固有截断误差随 x 单调(-0.001%@x=0.01 → 1.388%@x=0.4);数值自检双锚(x→0 收敛 Rayleigh + 递推 vs scipy 球贝塞尔 ≤3e-8);🔴 环境确定性修复:golden 的 use_miepython=True 原会在装有 miepython 的环境自动切完整 Mie ⇒ golden 环境相关、判决不可复现——default_params 钉死 False,Mie ORACLE 保留给显式外部验货;判据窗口 3.945e-5 < tol 2e-4(5.1×)< min 信号 1.246e-3(6.2×),tol 未动;严格独立 15→16、自证桩 32→31、降级仍 1(E2);⚠️ 诚实边界:独立 16/48、自证桩 31)· v0.9.17(2026-09-02 · 量子侧五道接线 · 严格独立 7 → 12:延续 P0 接线段,把 B12/B13/B22/B23/B24 五道早宣称有严格侧、harness 从未真接的锚接成真独立候选;严格独立 7→12、自证桩 40→35、降级仍 1(E2);tol 仅 B13 收紧 50×/B24 按实测重定、余未动;全量回归抓出 B24 候选返回 numpy 标量致 run_harness JSON 序列化 TypeError,已修(candidate 返回值 float 包裹);⚠️ 诚实边界:独立 12/48、自证桩 35)· v0.9.16(2026-09-02 · P0-3 闭合 + 光子侧低成本批次接线 · 严格独立候选 4 → 7:①P0-3 缺口闭合 —— fdfd_ng 正式登记进 BENCHMARK_CANDIDATES,并在 harness.py 把三分类常量 CANDIDATE_CLASS_{STRICT,DEGRADED,STUB} 定为全库唯一定义处candidate_class(bid) 判序固定为「先判降级 → 再查登记表 → 否则自证桩」(序若写反,E2 会被判独立且 PASS ⇒ verified 从 7 虚报成 8 —— 反向自检 A 已精确复现这一假绿);路径②同步消费三分类 ⇒ E2 在两条路径都是降级量级参考,对外自证桩口径从「降级+自证」的 44 回归真实值 40。②光子侧 B3/B4/B20 接线 —— 三道 FSR 族锚统一改用数值响应谱的频域峰周期拟合(谐振/干涉峰满足 光程 = m·λ ⇒ 1/λ 严格等距;教科书闭式 FSR_λ = λ²/光程 只是该等距性在 λ0 处的一阶连续化,与「相邻峰实测波长间距」相差 O(1/m):B3 6.7% / B4 0.59% / B20 1.29% —— 故候选统一按频域周期取值,否则会假红);网格 n_grid=50001 为刻意标定(三道残差 1.7e-8 / 1.9e-8 / 4.7e-10,离护栏判据 1e-12 有 ≥467× 余量、同时远低于各自 tol),峰位只做三点抛物线细化、不做牛顿/二分精化 —— 打磨到机器精度会让 |diff| 掉到 1e-12 以下、与自证桩按值不可区分。三道 tol 一律未放宽(放宽 tol 等于取消验证,是 P0 纪律红线),实测余量 B20 达 2000×。③护栏升级为三分类双向复核:非自证桩 ⇒ |diff| 必须非零(回落 golden 即穿帮);自证桩 ⇒ |diff| 必须为零(新接线被误分类吞掉即穿帮)—— 只做前半条会放过「路由改坏、标签仍真」的假绿,也会放过漏算。五处反向自检全部会响(判序反转 / B20 静默回落 / B1 漏分类 / 对外口径回退 / CLI 自身断言),篡改手法与实测报错写入 CHANGELOG。⚠️ 诚实边界(未变):严格独立 7/48 · 降级量级参考 1 · 自证桩 40 —— 提高的是「可被外部验货的比例」而非单道验证强度;剩余 40 道按 P0 计划继续接线)· v0.9.15(2026-09-02 · P0-2 独立性接到对外验货面 · 让"可被外部验货"真正兑现:v0.9.14 接通的 4 道独立候选只在路径①(内部 smoke)成立,对外验货面走②③、仍显示 diff=0。本次三线收口:②CLI 默认路径接线——harness.py 新增 _SpecShim+IndependentCandidateRouter(按 spec_id 路由到已登记独立候选,未登记者诚实回落参考候选),run_harness.py 默认候选改走该路由 ⇒ 对外主报告 verified 0 → 4,报告头部按题分列「N 项独立 / M 项自证」避免「48/48 通过」被读成「48 项已验证」;report.py 新增 verified_count()全库唯一权威口径,断言升级为双向护栏(多算=假绿 / 少算=倒退 / verified+stub≡total)③AI 候选路径治理——订正 B3/B10 两处注释与实现不符(注释写"正确实现"、实际 return golden),新增 _LOCAL_INDEPENDENT_IDS(真有独立实现的仅 B1/B2/B4/B8/B9)与 is_independent()LLM 启用时一律 False——红线:LLM 不进判决路径),实测 --ai 的 verified 假绿 45 → 诚实 2(B2/B8/B9 故意错判 FAIL,仅 B1/B4 通过)④对外账本去硬编码——/api/verification_ledgerjudgment_paths 原写死 independent_candidate=["E2"]而 E2 恰是 v0.9.14 已降级那道、新接的 4 道一道都没出现 ⇒ 对外验货面失真,与 ci_core 计数漂移属同一类缺陷(写死 vs 实际);改为从 BENCHMARK_DEFS.candidate×BENCHMARK_CANDIDATES 动态推导三分类,生产实测 严格独立 4 / 降级量级参考 1 / 自证桩 43(三类和=48 校验通过)。⑤新增第 ⑦⑧ 两项常驻护栏钉死口径不漂移(可证伪性 smoke 6→8 项):⑦「端点口径 ≡ 冒烟口径」⑧「路径②(CLI 对外主报告)verified 口径 ≡ 路径①,且 48 题全部按题标注」——后者是因为 ci.yml 直跑 run_harness.py本地 --tag core 不跑它,存在覆盖盲区。🔴 护栏自身全部做了反向自检,且抓出一个真教训:⑧ 的首版无效——临时把 router.__call__ 改成全回落 golden,它仍报 PASS,因为 independent 标签来自 is_independent(查登记表)、被改坏的却是 __call__(执行层)⇒ 标签 ≠ 行为;加强为按值复核(标独立的题 |cand−golden| 必须非零)后才真正会响(精确报 假独立=['B25','B26','B27','B9'])。顺带查出 CLI 自身断言有同一个洞并补同样防线,且按路径语义收敛:路径②路由器承诺「方法学不同源」⇒ |diff| 必非零;路径③ --ai 验证的是「AI 内核算得对不对」⇒ |diff|≡0 表示算对了(B1/B4 即此情形),一刀切会误伤(实测确实误报过)。⚠️ 诚实边界(未变)独立候选仍只有 4/48,本次只是让对外如实显示这个数字、不再宣称 45 项已验证;剩余 43 道自证桩按 P0 计划继续接线)· v0.9.14(2026-09-02 · P0-1 锚题独立候选化 · 反自证桩第一刀:2026-09-02 战略审计实测 48 锚中 47 道为自证桩(candidate≡golden、|diff|≡0 恒 PASS),且 B 类 28 道连接入独立候选的入口都没有 → 首开 B 类接入口(BENCHMARK_CANDIDATES 注册表 + candidate 字段分发),接通 B9/B25/B26/B27 四道真独立候选(解析闭式 golden ↔ 严格数值对角化 candidate:电荷基 41 维 eigh / L=6 多能级+Fock 162 维 eigh,实测 rel 0.22% / 1.98% / 2.02%,均非 0 ⇒ 真可证伪);tol 按实测偏差 2.22.5 倍余量放宽并逐条写明依据;新增 run_benchmark_falsifiability_smoke.py 常驻护栏——①独立候选数下限 ②正向 PASS ③反向测试:10% 参数扰动必 FAIL(证明 tol 未放水) ④灵敏度登记(最小可检出扰动 B9 2%、B25/B26/B27 5%)⑤全量无回归,入 CI core 84→85candidate_status 字段把"降级量级参考"(E2)从散文 note 变为机器可读,杜绝虚报独立强度)· v0.9.13(2026-09-01 · R16 实测证伪+诚实边界 C 降级 + CI 达标线政策化(90%+)** + D-67 回归修复 · 链路预算漏算 3.0103dB 分光 + 双护栏**:v0.9.10(D-66)判定「3.01dB 是 1×2 功率均分的几何必然、非器件品质指标」本身正确,但实现时把 engine_ybranch_split 的默认输出 value 从「含分光的分支插损」改成了「过量损耗」,而该 value 同时是链路预算的被加数量_photon_cascade_iln_yb * yb)→ 每个分束器少算 3.0103 dB。受影响 6 条:GC-PLC-1X8 0.33→9.3309 dB(-9.0)、GC-PLC-1X16 0.44→12.4412(-12.0)、GC-SENSE 7.63→13.6508(-6.0)、GC-QKD-TX 7.54→13.5638(-6.0)、GC-CPO-8CH 7.62→10.6335(-3.0)、GP-YBRANCH 0.10→3.1103(拿过量损耗比总插损 golden,语义错配)。为何 84/84 全绿没抓到(三重失真叠加):①插损 metric 方向 le(越小越 PASS)→「少算损耗」被伪装成「设计变好」;②run_golden_product_smoke 只校验 PASS 条数不校验数值;③evaluate 在 metric 名对不上时静默回退value修复(分离而非替换,两个量都真实存在):引擎同时输出 value/metric=split_loss_dB(链路预算量=3.0103+过量,向后兼容)+ excess_loss_dB(同名字段显式暴露,供实证锚对照);新增常量 SPLIT_LOSS_3DB=−10·log₁₀0.5resolve_corpus_engine 改按 metric 名取值;_loss_verify/_loss_cheap 新增 field 参数,YbranchLoss 显式传 excess_loss_dB 使「目标/搜索/判决」同量纲。新增两道护栏(均做反向测试证明会响):①能量守恒下界——每个 1×2 分束的每支路插损不可能低于 3.0103dB(能量守恒,与工艺无关);⚠️ 必须按贡献项逐项守底,用「总插损≥n_yb×3.0103」的混合判据会让 GC-CPO-8CH/SENSE/QKD-TX 因其他损耗垫高而逃逸(反向测试只抓住 2/5),逐项守底才 5/5;②metric 语义错配硬失败——禁止静默回退到 value(宁可红不可假绿)。护栏的护栏run_golden_product_smoke 新增 D-67 反向测试,临时注入坏引擎断言两道护栏都命中,否则 FAIL——没被验证过的护栏不算护栏。🔴 工程铁律(新)改引擎默认输出 value 的语义前必须 grep 全部 ["value"] 消费点(不只改断言);「越小越 PASS」的方向性 metric 必须配物理下界护栏)· v0.9.10(2026-09-01 · 实证锚逐字核实(D-66)· 语料库 A 级 100%:5 条 B 级语料(E-SOI-NEFF-220 / E-SIN-NEFF-300 / E-YBRANCH-LOSS / E-RING-FSR / E-GRATING-EFF)经逐字核实原文后全部升级——语料 30 条 A 级 30/30(100%),B 级清零;可溯源实证锚题 6/7 → 7/7。核实中抓出三类问题:①E-SOI-NEFF-220 的 n_eff=2.63 是错值(文献与 3 个独立模式求解器一致给出 2.442.46;2.63 实为 λ≈1.39µm 处取值,偏离为其自称 ±0.02 的近 10 倍)→ 改判 n_g=4.18(arXiv:2011.03273 racetrack 实测 FSR=8.6nm 反演,自洽校验 8.59nm ✅);②E-SIN-NEFF-300 无可溯源实测出处 → 改判 n_g=2.2834(DOI 10.3390/coatings10040309,几何按文献照实改写保证 golden 同源);③E-YBRANCH-LOSS 原 3.4dB 量纲不符(含 3.01dB 理想分光,那是 1×2 均分的几何必然、非被测量)→ 改判实测过量损耗 0.28±0.02dB(DOI 10.1364/OE.21.001310)。另 E-RING-FSR 原 9.15nm 系解析反算值→换实测 8.6nm;E-GRATING-EFF 原 0.45 无出处→换实测 0.42(DOI 10.1063/1.3304791,结构不同源已披露)。排除 1 处差点误用的来源:arXiv:1909.09538 的 −3.05dB 前文为 "This simulation"仿真非实测。配套:EmpiricalMeasurement 新增 note 字段(溯源核实批注,判定路径不读);A 级达标线 80%→100%;下游同步 10 文件约 24 处。🔴 顺带修掉 GitHub 主干红灯empirical_bank.traceability() 相对导入在以脚本方式直跑时抛 ImportError,而该脚本在 ci.yml 却不在本地 CORE_SMOKES主干自 v0.9.8 起一直红、本地全绿;已修双路导入并纳入 core 门禁(CI core 83→84))· v0.9.9(2026-09-01 · 判决路径独立性整改(D-64)· 首道真·实证交叉验证:审计发现实证锚判决路径为空——_harness_reference_candidate 直接返回 golden,致 E1-E7 七道 |candidate − golden| ≡ 0.0,恒 PASS、零验证价值(golden 真实只是必要条件,candidate 必须独立求解)。本次以 E2 为样板打通:几何对齐实测器件(500nm→1000nm 宽)+ golden 换成 A 级实测群折射率 n_g=1.892(Munoz et al., Sensors 17, 2088,OFDR 环腔实测 + MZI 交叉验证)+ 新增独立求解器 _fdfd_ng_candidate(标量亥姆霍兹 FDFD 本征模算 n_eff(λ) → 固定网格中心差分得 n_g),得 FDFD 1.959 vs 实测 1.892,|diff|=0.067 ≤ tol 0.10 —— LDA 首道「实测↔独立求解」真交叉验证。余 6 道保留占位但在 note / candidate_desc / smoke 断言三处如实标注为自证桩(宁可红不可假绿);实证锚 smoke 新增 2 条 D-64 断言(23→25)。同批量化求解器能力边界:标量 FDFD 仅适低对比度波导(SiN 2.0/1.44 可用),不适高对比度 SOI(3.713.78 vs 参考 4.19,差 10% 且 n_eff 网格未收敛)→ E1 保留 B 级待全矢量求解器。语料 29→30 条,A 级 24→25(83.3%)可溯源实证锚题 5/7 → 6/7;🔍 D-65 精度边界(同批实测发现):FDFD 候选在该器件上网格过粗(0.3µm 芯厚仅约 4.6 格),n_g 随计算窗口散射 ±0.04 → E2 据此只判「量级一致」、不宣称「精度验证」,并新增窗口鲁棒性断言(5 个计算窗口全部落在容差内,证明 PASS 非凑巧)与 R16 登记;对外验货面同步整改——run_harness.py 报告与 /api/verification_ledger 现显式标注「自证闭环 ≠ 验证结论」(含 JSON self_consistent/verified 机器可读字段 + CI 断言防丢失),账本 ci_core 改动态取值(此前写死 82 而实为 83))· v0.9.8(2026-09-01 · 实证锚来源边界与溯源审计(D-63):确立「仅限公开论文 / datasheet / 公开测量数据集 + 必须可公开溯源」来源边界;新增 lda_harness/provenance.py 三级机器可判溯源分级(A=含 DOI/arXiv/公开 URL 可作 golden 进判决,B=无定位符禁止作 golden)与独立审计器 run_provenance_audit.py(已入 CI core,82→83 条);补 6 条 A 级真实实测语料(Sridaran & Bhave, Opt. Express 18(4) 3850 (2010));审计暴露并整改 E3「解析公式冒充实测锚」(golden 9.15→实测 10.44,形成实测↔解析交叉验证);E1/E2 因 n_eff 无公开可溯源实测源改标 B 级待溯源——可溯源实证锚题 5/7)· v0.9.7(2026-09-01 · 生产安全加固 · POST 重计算端点登录闸门:在 v0.9.6 四重并发护栏基础上,于 _heavy_guard 统一入口追加登录闸门——store 会话令牌或管理员 Bearer 令牌任一放行,未登录直接 401 且不消耗缓存/并发资源;GET 验货端点(cpo_array / verification_ledger)仍无鉴权,维持「可被外部验货」战略可达性)· v0.9.6(2026-09-01 · 生产安全加固 · POST 重计算端点统一并发护栏:50 个仿真/设计类 POST 端点(/api/ring_fdtd/api/sparams/api/adjoint_design 等)补「每端点独立串行锁 + 全局并发上限(按核数封顶 4)+ 参数哈希缓存 + 入参体积硬上限」四重护栏,堵死「同时打 50 个端点」的总并发敞口;轻端点(鉴权/商店/生态)不进护栏 · v0.9.5(2026-08-31 · 生产安全加固 · 验货端点并发护栏补全GET /api/benchmark_crosscheck(无鉴权公开 GET、默认实跑 run_crosscheck(quick=True) 9s)补同款三护栏(串行锁+缓存),至此所有「公开 GET + 默认实跑重计算」端点均带护栏 · v0.9.4(2026-08-31 · 生产安全加固 · CPO 验货端点并发护栏GET /api/cpo_array 加三道护栏——输入硬上限(oe≤48/ch≤96/lane≤16,超则 400 防 OOM)/ 全局串行锁(任意时刻至多一个重计算,并发 429 防 ThreadingHTTPServer 下并行打爆)/ 默认配置结果缓存(TTL 120s,重复 curl 秒回)· v0.9.3(2026-08-31 · 验证可信度外部验货 · 全量验证账本端点:新增 GET /api/verification_ledger(无鉴权、可 curl 验货)——暴露全部验证资产分类与计数(physical-law 38 道 / ORACLE 依赖 3 道 / empirical 7 道 = 48 题)+ CI core 82 条 + CPO 规模死锚 100,096/250,240 ACCEPT,诚实标注 R2/R3/R4 开放缺口)· v0.9.2(2026-08-31 · 阶段2 · CPO 共封装光引擎阵列(十万级真实器件样例):新增 lda_harness/cpo_array.py 层次化生成器(阵列 n_oe → 光引擎 n_ch → 波长通道 → 波长 lane)+ run_cpo_array_demo.py 全链闭环——100,096 器件 / 2,176 条独立光路 / 97,920 布线网 + 4,352 外部 IO,不再是「N 个 Waveguide 串成一条链」而是真实 CPO 器件构成(微环调制器 MRM / WDM add-drop 解复用环 / 功率监测抽头 / 光栅耦合器 / 互连波导段);参数由物理反解而非拍脑袋——微环半径 R = m·λ/(2π·n_eff)(m=91 整数谐振级数、n_eff=2.45 → 7.530–7.713 µm),光栅周期 Λ = λ_c/(n_eff,gr − sin θ) = 0.612 µm(θ=15°,齿宽 0.367 / 齿隙 0.245 µm 满足 DRC 双约束);几何采用端口线对齐 + 零跳线(行内连接全为水平段、无回折、无跨行垂落 → 同层短路数为 0 由几何保证,而非靠 LVS 兜底);实测 DRC 100,096/100,096 全过 · LVS ACCEPT(0 违规 · 97,920/97,920 网表全匹配)· 注入断路反例 REJECT · GDS 38.98 MB / 359,040 元素 4.02s · 芯片 13.14 × 7.89 mm = 103.67 mm² · 全链 8.34srun_cpo_array_smoke.py 21 条断言入 CI core(80→81)· v0.9.2 规模纵深:新增 run_cpo_array_scale_smoke.py——CPO 阵列推到 250,240 器件(2.5× 默认 100,096) 实跑全链 + 近线性预算守卫(25 万全链 ≤60s),防生成器回归 O(n²),入 CI core(81→82)。诚实边界:仅建模无源光子层(有源器件按黑箱·负面清单)、工艺为公开文献近似非真实 PDK、只做版图闭环未做光学仿真、未流片无实测回流)· v0.9.1(2026-08-30 · S13 设计良率锚 DFY(锚缺口分析 P0 · 对标 EDA yield 能力):新增 S13 设计良率锚——环形 FSR 在光刻容差(环周长 σ=±1% 高斯)下命中 ±2% 规格窗口的概率,解析闭式(高斯容差精确积分,保留 1/L 非线性,非一阶近似)↔ 蒙特卡洛采样(N=20000 固定种子)双算法互证,解析 0.954413 vs MC 0.954750、偏差 0.034pp ≤ tol 1pp;同一物理定律两种独立算法互证 = 非 AI ground,载体为 B4 环形 FSR 定律、零新物理。良率随容差单调下降(σ=0.5%→99.99% / 1%→95.44% / 2%→68.28% / 4%→38.30%),可直接回答客户「容差收紧到多少良率能到 99%」(实测:须收紧到 0.5% 以内)。纯标准库零依赖;run_statistical_anchor_smoke 扩展 11 条 S13 断言(34 PASS / 0 FAIL,含 AST 查 import 的零 LLM 红线断言);题库 46→47 题· 量子侧回归入 CI(P0-1 · 解除 R1):9 个量子 smoke 此前全部不在 core 门禁(双引擎一半裸奔),实测全部 PASS 后纳入——7 个亚秒级(ir_quantum/quantum_devices/quantum_design/multiqubit/multiqubit_fidelity/readout_fidelity/readout_chain)+ 2 个含 FDTD 仿真约 180-200s(splitter_readout D-63 / splitter_readout_cal D-66,配 400s 超时覆盖防慢机误判);CI core 70→80 条**· v0.9.0(2026-08-29 · 商业化里程碑(货架商品化三批 + 商务闭环全线收口):① 货架商品化 58/58——首批 10 + 剩余 48 全量填充(特点/用途/关键规格/国际对标四字段),国际对标全部带可溯源来源(IEEE 802.3 系列 / ITU-T G.671·G.9804·G.9807.1 / CWDM4 MSA / NVIDIA·TSMC·Broadcom 公开路线 / 期刊文献 / 市场报告),诚实标注「仿真预期·未流片」② 站内同类对比(货架卡勾选 24 → 对比表 7 维度含对标来源)+ 评价/提意见需求收集(管理员聚合含联系方式)③ 定制需求导流(6 方向 chips + 该方向开放货架实时推荐「先看现成」+ 提交成功二次导流)④ 商务闭环加固:登录注册安全审计 8 项(账号+IP 双维度限流 / 反枚举 / 密码上限 / 令牌 TTL)/ 管理员重置密码闭环(临时密码+强制改密)/ 全站一键登录(nav.js 全局弹窗)/ 对公申请转账凭证截图上传 ⑤ 战略审计文档 docs/lda_strategy_audit_2026-08-29.md;CI core 69→70(run_store_flow_smoke 商务闭环入 core))· v0.8.55(2026-08-29 · 管理后台上线打通商务闭环:新增 admin.html(令牌登录·待处理申请列表·一键审批生成兑换码·复制/下载链接),修正申请响应空头邮件承诺为准确文案;生产部署真实对公收款账户(上海农商银行陈行支行 32434508010036375)+ 联系人/电话,并加固管理员令牌(LDA_ADMIN_TOKEN 环境变量);货架/开放数维持 58/50;量子 8 维持咨询制;CI core 维持 69 条)· v0.8.54(2026-08-29 · 对公收款程序适配:创新超市 insights.html 增加「对公购买」申请入口 + 顶部「对公收款说明」弹窗,后端新增 /api/purchase/request、/api/admin/purchase_requests、/api/admin/purchase/{id}/approve 端点,对公转账到账后管理员审批生成绑定货架的兑换码;货架/开放数维持 58/50;量子 8 维持咨询制;CI core 维持 69 条)· v0.8.52(2026-08-28 · 持续扩货架:新增 5 个光子缺口品类开放下载(微环谐振滤波、1×N 功分树、微波光子真延时、波导气体传感、光栅耦合阵列),货架 48→53、开放 40→45;量子 8 维持咨询制;docs/store_launch/04_market_analysis.md 新增趋势段;CI core 维持 69 条)· v0.8.51(2026-08-28 · 持续扩货架:新增 5 个光子缺口品类开放下载(OPA 固态 LiDAR、相干接收 90°混频、片上光网络 NoC、多芯光纤扇出、光纤陀螺 Sagnac),货架 43→48、开放 35→40;量子 8 维持咨询制;docs/store_launch/04_market_analysis.md 新增趋势段;CI core 维持 69 条)· v0.8.50(2026-08-28 · 持续扩货架:新增 5 个光子缺口品类开放下载(MZM 调制器、PSR 偏振分束、光子中介层/CPO、光计算 ONN、OCT 成像),货架 38→43、开放 30→35;量子 8 维持咨询制;docs/store_launch/04_market_analysis.md 新增趋势段;CI core 维持 69 条)· v0.8.49(2026-08-28 · 持续扩货架:新增 5 个光子缺口品类开放下载(相干 ZR、微环调制器、XGS-PON、WSS、VOA),货架 33→38、开放 25→30;量子 8 维持咨询制;docs/store_launch/04_market_analysis.md 新增趋势段;CI core 维持 69 条)· v0.8.48(2026-08-28 · 持续扩货架:新增 8 个光子缺口品类开放下载(FR4 200G/400G 每通道、400G DR4、100G LR4、50G-PON、可重构光开关、FMCW 接收、环形生物传感),货架 25→33、开放 17→25;量子 8 维持咨询制;docs/store_launch/04_market_analysis.md 新增趋势段;CI core 维持 69 条)· v0.8.47(2026-08-28 · 扩货架:开放 17 个光子主流货架下载(新增 1.6T DR8 + 800G DR8/PSM4/FR4/CWDM4/LPO-112G/WDM 8CH/DWDM 40CH/CPO WDM5·OCS/FTTH PLC 8-16/传感 RING·MZI·LIDAR/光 chiplet IO/激光集成),量子 8 个列咨询制(出口管制合规红线);货架 24→25;新增 docs/store_launch/04_market_analysis.md;/api/shelf 加 open 字段前端区分「下载/咨询制」)· v0.8.46(2026-08-28 · 工厂+商店化:货架→设计就绪包(GDS+网表+DRC+死锚报告),开放 3 个试点货架下载(IM-PSM4 / CWDM4 / FR4),新增 /api/shelf/{id}/package 与 /download 端点 + 兑换码授权,前端货架卡片加「下载设计包」按钮(免费看、付费下))· v0.8.45(2026-08-28 · 展示能力扩张:GC 对标 24 + 创新货架 24 + 能力演示场景 12 项(真实模块/端点画廊 + 核心引擎在线自检))· v0.8.44(2026-08-28 · B 技术纵深三连:并行布线 / 规模锚升 4k / 相关簇锚:②并行布线 route_batch(workers=1 串行逐位一致,>1 进程池零依赖并行;收益边界实测:链式 12µs 无收益、复杂版图 400ms/网 workers=4 达 2.67×;拥塞感知有顺序依赖并行下明确拒绝不伪并行;run_parallel_routing_smoke 5/5 入 CI core 68→69)· S11 规模锚默认 1000→4000(预算 5s→10s,实测 4k 全链 0.07s 余量 140×;smoke 纵深升 8k 近线性守护)· S12 增相关簇锚(连续 ≥3 通道同向偏离 = 系统级簇漂移 → REJECT;盲区实证:旧三锚 ACCEPT、簇锚唯一捕获;插损/保真度已配置不误伤;统计锚 smoke 19→23)· harness 46/46 全过;CI core 69 条· v0.8.43(2026-08-28 · WebUI 能力展示层:GC 对照 / 创新超市 / 规模现场实测:新增 4 个 API——(20 条 GC 对标, 现场 25/25)、 + (20 条货架,单条真跑 design_pipeline 死标量判决,LLM 不进路径)、(1k/4k/32k 全链实测,32k 亚秒活演示);新增 深色展示页(GC 对照表 + 货架评估卡片 + 规模柱状图),index 顶部入口;静态页白名单防路径穿越;路由冒烟 63 实跑 + 57 静态全绿;CI core 维持 68 条· v0.8.42(2026-08-28 · S2 纵深三连:拥塞估计 + 算力实测 + 阵列统计锚:②布线 CongestionMap 拥塞图(A* 启发式叠加惩罚,默认 None 逐位一致)——平行网绕同一障碍最大占用 4→2、拥挤格 222→13;run_astar_route_smoke 10/10。④算力实测结论:细粒度几何内核(4 元素 tuple)numba njit 反而更慢(1.69s vs 0.44s,装箱开销>编译收益)→ 锁定纯 Python 为最优,不引入无效依赖。⑤统计锚 新增 S12 阵列分布锚(均值锚+下界锚+离群锚 AND 判决,抓单点锚盲区「均值好看但某通道崩坏」),题库 45→46;run_statistical_anchor_smoke 扩展守护。CI core 维持 68 条· v0.8.41(2026-08-28 · 几何 DRC 拔钉子:间距检查 O(n²) → 网格候选: 最小间距检查从纯 O(n²) 双重循环改为均匀网格候选(bbox 重叠⟺共格精确等价,与 LVS 同法),判决逐位一致(violations/checked/spacing_note 对拍零差异);8k 多边形 0.08s 近线性、高密度 4000 全重叠 0.44s(旧分钟级);run_drc 系 smoke 全绿,CI core 维持 68 条· v0.8.40(2026-08-28 · 构建器拔钉子:port_abs 索引缓存:profile 定位 build_chain_case 布线生成的 O(n·m) 存量低效(port_abs 每次线性扫全组件,构建 87% 时间耗此)→ lda_layout/placement.py 组件查找走索引缓存(O(1) 查表,_port_abs_cache_clear 兜底),公共签名与坐标语义零变化;32k 器件全链(构建+放置+布线+LVS)0.98s(旧外推 ~960s,~1000×),缩放斜率稳定 1.7–2.7× 近线性;run_scale_smoke 新增 3 条「4k 规模纵深」检查 16/16 PASS,CI core 维持 68 条· v0.8.39(2026-08-28 · LVS 拔钉子:O(n²) → 空间索引:lda_l2/lvs.py 四处复杂度热点根治(端口锚点网格 3×3 邻域 / port_abs 索引化 / 交叉检测路径 bbox 网格候选),纯标准库零新依赖;判决一致性铁证——3 case×4 规模+单层逐字节 diff 零差异、随机 400 折线 62138 交叉对零漏报零误报;LVS 1k 0.88s→0.01s、32k 仅 0.58s(旧外推 ~960s,~1600×),缩放斜率 O(n²)→近线性;run_lvs_smoke 27 PASS / scale 13 / chip_scale 8 全绿,CI core 维持 68 条· v0.8.38(2026-08-28 · GC 库扩至 20 项 + 创新超市货架扩至 20(市场信号驱动):市场调研收集可溯源公开规格(IEEE 802.3bs / ITU-T G.671 / 商用 datasheet / 公开文献实测),GC 库 4→20(新增 16 = 光互连 3 + 无源网络 3 + 光交换·传感·LiDAR 3 + 量子通信 3 + 量子计算 4,含祖冲之三号 99.18% / IBM Heron R2 98.5% / Google Willow 99.33% 三家量子对标);货架 5→20(新增 15 = 光子 12 + 量子 3,800G DR8 / 40ch DWDM / FTTH PLC / OCS 直连 / FMCW LiDAR / QKD 收发 / XPU 光 IO / 三家量级读出链);run_golden_product_smoke 现 25/25(5 GP + 20 GC),run_innovation_market_smoke 现 20/20×3 守护全 PASS;修复 v0.8.37 GOLDEN_IDS 对 ChipBenchmark 崩溃 bug;CI core 维持 68 条(数据扩展非新增 smoke)· v0.8.37(2026-08-27 · GC 库扩至 4 项(整芯片级对标续扩):golden_product_benchmarks 增 GC-SENSE(光子传感前端整芯片,MZI 全链路 IL 13.6dB≤15)/ GC-QCTRL-COMM(商用量子控制芯片 6-qubit 读出保真度 99.78%≥99%),复用 GP-* dB 级联 / D-46×D-47 已验证闭环,零新物理;run_golden_product_smoke 现 9/9(5 GP+4 GC),CI core 维持 68 条(数据扩展非新增 smoke);另出正式讨论稿 LDA_封装测试闭环与数字孪生协同_讨论稿.md· v0.8.36(2026-08-27 · 整芯片级对标(GC-*):golden_product_benchmarks 从器件级 GP-* 扩到整芯片级 GC-——新增 ChipBenchmark 类,光子走 GP- 基元 dB 级联(S1 同构)、量子走 design_multiqubit_fidelity(S4 同构),死标量比对;首批 2 个 GC(GC-CPO-8CH 商用 CPO 8 通道光引擎每通道 IL 10.6dB≤15、GC-QCTRL 量子读出保真度 99.78%≥97%)、golden 来自公开产品规格(IBM Research / 本源悟空-180 公开披露)可溯源;run_golden_product_smoke 现覆盖 7/7(5 GP+2 GC),CI core 维持 68 条(数据扩展非新增 smoke)· v0.8.35(2026-08-27 · 创新超市货架库扩展(2→5 货架):在 v0.8.34 货架注册表上新增 3 个前瞻预研货架——IM-SENSE-RING(微环传感前端,复用 link/S1-S7)/ IM-LASER-INT(片上激光源集成,异质集成黑箱源·负面清单)/ IM-QCOM-LINK(5 比特量子频率复用读出,复用 D-46×D-47);仍严守"组合已锚定基元(GP-)"护栏,active 器件按黑箱源处理、不新增未锚定基元;CI core 维持 68 条(货架为数据扩展,非新增 smoke 文件)· v0.8.34(2026-08-27 · 创新超市(前瞻预研货架):新增 lda/lda_l2/innovation_market.py 货架注册表——ShelfItem 组合已锚定基元(GP-)+ 公开信号驱动的前瞻预研预设计;run_innovation_market_smoke 红线下护栏(composition 全锚定 / 结构可行 / honest_tier=前瞻预研)入 CI core(67→68);docs/innovation_market.md 为可浏览目录(B 素材)· v0.8.33(2026-08-27 · 系统类型注册表(提案编译器系统级纵深):proposal_compilerSYSTEM_TYPES(link 默认 + wdm_demux + quantum_fidelity),design_pipelinesystem_type 参数向后兼容;wdm/quantum 复用 design_wdm_advanced / design_multiqubit_fidelity 已验证闭环(B4 / D-46×D-47 死标量判决),零新物理;run_system_types_smoke 入 CI core(66→67))· v0.8.31(2026-08-27 · 版图几何级 RC 寄生估算(设计侧主权闭环收口):新增 lda/lda_l2/parasitic_rc.py 几何级 R/C 寄生估算(主权 RC 表,非 foundry 工艺级 deck);接入 tapeout_pipeline S3.5(提供 GDS 实跑、无版图诚实 SKIP);run_parasitic_rc_smoke 入 CI core· v0.8.32(2026-08-27 · 产品级基准对照库(实证锚产品级扩展 + B 生态播种,免流片):新增 lda/lda_l2/golden_product_benchmarks.py——对标已公开验证(实测/厂商 datasheet/开源 PDK 表征)的器件性能死标量,LDA 引擎规格驱动再设计+复现 5/5 PASS;run_golden_product_smoke 入 CI core(65→66);docs/golden_product_benchmarks_report.md 为 B 生态播种硬核素材)· 历史:v0.8.30(2026-08-27 · CLI 深化 + gdsfactory 兼容 + 计数守护固化:lda gf <gdsfactory_component.py> 把 gdsfactory 组件转 LDA 链路 spec(B 级可选依赖、未装优雅降级);lda check --gds <file.gds> 导入任意 GDSII 跑主权几何 DRC 快查**(gds_drc,子集诚实标注非 foundry 全量);run_count_consistency_smoke 加固(只扫顶行防历史链误匹配、版本线=pyproject 动态校验,此前静默失效的 61≠62 漂移已根治);新增 gds_export.parse_gds_polygons / gdsfactory_bridge。· 注:v0.8.29 开发者 CLI 钩子(design/check/report 三命令薄壳 + run_cli_smoke 入 CI core)、v0.8.28 UI 双修(目标误差列 bug + 统计卡片死卡)、v0.8.27 千器件演示、v0.8.26 规模扩展、v0.8.24 多层版图、v0.8.24 LVS 签核、v0.8.10 首轮持续维护均已落地(同见下方历史链)。彼时账本:22 引擎(光子 15 + 量子 7)+ 11 包 = 33 类端到端 · 46 题(B1-B27 + E1-E7 + S1-S12)· CI core 70 条。· 历史:v0.8.28(2026-08-27 · UI 双修:①目标误差列 0.0000 bug——design_enginerec["err"] 用 cheap 估算(Koch 反解数学精确 → err 恒 0),改验证后按真实 metric 误差重算(Transmon 候选现显示 0.0047/0.0086/0.0137,best 按真实误差选优 E_C=0.15)②统计卡片死卡——c-harness/c-ai 前端从未赋值,后端 /api/status 补 harness_passed/harness_total/ai_candidates 字段 + 前端 renderStatus 填值,标签统一)· 历史:v0.8.27(2026-08-27 · 千器件芯片级演示:千器件版图接入芯片级演示闭环——1000 器件链式链路 + 2D 放置 + 多层布线 → GDS 导出(IO 光栅接入)+ DRC 1000/1000 + LVS ACCEPT 双闸,全链路 0.99s,run_chip_scale_demo.py 8/8 入 CI core)· 历史:v0.8.26(2026-08-27 · 千器件规模扩展(版图差距 #7 收官)lda_harness/scale_anchor.py 千器件链式链路全链路 0.92s 完成 ACCEPT——跨行跳线走 M2 层;LVS 相交检测 bbox 预检 3.6× 提速;harness S11 规模锚(题库 44→45);版图 7 差距全部闭合)· 历史:(2026-08-27 · 多层版图(版图差距 #6 落地)lda_l2/layers.py 层栈定义 + 多层 LVSrun_lvs_multilayer 层感知几何恢复 + via 桥接 + 跨层垂直投影重叠安全=介质隔离)+ harness S10 锚(题库 43→44))· 历史:v0.8.24 LVS 签核深化(版图差距 #5):lda_l2/lvs.py 版图-原理图一致性检查(签核级)——版图网表从布线几何独立恢复 → 六类违规死标量检出 → ACCEPT/REJECT 确定性判决 + harness S9 锚(题库 42→43 题)+ 芯片级签核双闸 + WebUI /api/link_design 返回 lvs_report)· 历史:v0.8.23 第二梯队-2(多端网 Steiner + 2D 放置 + 有源基元三件套)· v0.8.22 第二梯队-1(A* 全局最优布线)· v0.8.10 首轮持续维护(内核纵深五击 + 芯片级验收闭环 + 器件库主流封口 + 流片级验证管道 + 计数一致性门禁:22 引擎 + 11 包 = 33 类端到端 + 芯片级四锚验收 + 仿真级芯片设计闭环演示 + 流片级验证管道(PDK→DRC→SS/TT/FF 工艺角→LVS→实测回流)+ harness 题库 45 题(B1-B27 + E1-E7 + S1-S11)+ Phase 3 统计锚 + Phase 4 提案编译器 + CI core 61 条) v0.6.1 维护基线(2026-08-24 · D-99):生态共建(D-93D-98)收官——「提交→评审→落地→发布」全链闭环;CI core 门禁覆盖生态链三 smoke(harness 扩展 / 提交 / 评审→落地→发布);lda_pdk 模块文档同步 D-96D-98;全量回归全绿。 v0.6.2 持续维护(2026-08-24 · D-101):all 集 70 项 smoke 全量回归 70 PASS / 0 FAIL(1602.72s,覆盖 D-01D-98 全部资产含重 FDTD/3D adjoint/GPU 项);新增 requirements.txt 环境固化(必装 numpy/scipy/jsonschema + 可选 numba/torch);README 模块列表补 lda_pdk 生态共建全链。 v0.6.3 持续维护(2026-08-24 · D-102):WebUI API 路由层冒烟(64 条 /api 路由:快路径 13 实跑 + 重计算 51 静态验证,纳入 CI core 门禁);一致性深审(README 63→70 smoke 修正、harness 键集一致性核验)。 v0.6.4 持续维护(2026-08-24 · D-103):WebUI 字段一致性门禁——前端面板 53-56 渲染硬依赖字段 ↔ GET /api/ecosystem 真实响应逐路径核对零缺失(端点 36 调用全有路由、POST 四端点响应字段全对齐);深审方法固化进 run_webui_api_smoke.py(新增 31 条生态字段存在性断言,实跑 13→44 PASS);CI core 31 PASS / 0 FAIL(279.56s)全绿;字段删除/改名今后即被 CI 捕获。 v0.6.5 实证锚(2026-08-24 · D-62 发动期联动框架落地):实证大数据锚 = 验证的第二道非 AI ground——harness 新增 E1-E3 实证锚题(golden=实测语料 2.63/1.53/9.15,参考候选 21/21 PASS 双 ground、扰动 FAIL 检测);语料评审流lda_pdk/empirical.py:citation 必填 → 具名评审(LLM 不进判决)→ 落库 → harness E 题实时生效);WebUI 五十七面板(面板57 + /api/empirical + /api/ecosystem/measurement);CI core 32 项;诚实边界:种子语料为公开文献/PDK 量级,真实晶圆厂 NDA 流片实测经社区流持续流入。 v0.6.6 持续维护(2026-08-25 · D-104):D-62 收官后全量回归(最强门禁)——all 集 72 项 smoke 全量回归 72 PASS / 0 FAIL(覆盖 D-01D-103 全部资产 + WebUI 路由层 + 实证锚);修复:L1 协议层注入实证锚(verify_design 恢复 21/21,MCP smoke 适配 D-62),run_mcp_smoke 入 CI core 门禁(33 条);一致性深审:实证锚键集三通道核验、计数修复(70→72 smoke)、README 当前态陈旧引用修复(18→21 题 / 五十六→五十七面板)、任务台账 16 项归正。 v0.6.7 持续维护(2026-08-25 · D-105):L1 协议层全链路门禁——新增 run_l1_agent_smoke.py(KernelGateway + L0 IR + 三种 candidate + benchmarks 过滤全链路 6/6 PASS),run_agent.py CLI 演示路径此前无 smoke 覆盖的缺口闭合,入 CI core 门禁(34 条);环境一致性核验(requirements 必装 3 包与 venv 全齐、可选标注完整);残留扫描干净。 v0.6.8 持续维护(2026-08-25 · D-106):agent 自迭代设计闭环门禁——深审发现 run_agent_loop.py import 断链(引用了 design_loop 中从未存在的 ring_fsr_problem,非 smoke 命名未被 CI 捕获)→ 修复为基于 design_loop.main() 的可运行演示 + 新增 run_agent_loop_smoke.py(5/5 PASS:收敛 accepted / 误差死标量 / FDTD+TMM 双判据全绿 / JSON 落盘),入 CI core 门禁(35 条);计数修复(72→73 smoke);WebUI JS 静态检查(67 绑定全对应、语法通过)。 v0.6.9 持续维护(2026-08-25 · D-107):文档资产 + IR schema + 性能基准深审(零缺陷)——README 引用路径死链扫描零缺失(4/5 存在,{bid} 为 D-98 模板占位符非死链);L0 IR schema v0.3 与 spec/bridge 一致(受控升级 0.2 兼容、零漂移门禁在 core);性能基准复核未退化(run_perf_adjoint3d 大域 FWD 27.6× ≥20× + FOM rel=1.3e-16;run_perf_bench greens 76.89× + 透射谱 5.39× + GPU SKIP 正确降级);docs 资产与 D 编号(D-106 最新)一致。 v0.6.10 持续维护(2026-08-25 · D-108):实证锚字段门禁补强——深审发现面板 57(D-62 新增)依赖 /api/empirical 的 5 个顶层字段(corpus/adversarial/e_benchmarks/review/honest_note)但 D-103 固化的字段断言只覆盖 /api/ecosystemrun_webui_api_smoke.py 新增 EMPIRICAL_REQUIRED_FIELDS 13 条断言(含 e_benchmarks[0] 元素 id/empirical_id/golden/tol),实跑 PASS 44→57、FAIL=0;D-103 断言集漂移复核零;README/CHANGELOG/规划文档计数一致性全对。 v0.6.11 持续维护(2026-08-25 · D-109):all 集 74 项全量回归(D-104~D-108 五轮修复后最强门禁复核)——覆盖 D-01~D-108 全部资产 + L1 MCP/CLI + agent 自迭代闭环 + 实证锚,74 PASS / 0 FAIL(1611.76s)全绿;🔴 回归发现 run_ci_industrial_smoke 每次运行重新创建坏 smoke 且沙箱删除失败残留(D-101 曾清一次)→ 根治(多重删除 + unlink 兜底 + 失败改名 .bak 隔离,验证零残留),计数修复(73→74);面板端点覆盖盘点(38 个 JS 调用:生态/实证 44 条字段断言 + 10 POST 实跑,26 个重计算端点按设计走路由静态验证 + 内核专用 smoke,无高价值缺口)。 v0.6.12 持续维护(2026-08-25 · D-110):社区文档一致性 + core 覆盖补强——🔴 发现 BOUNTY.md 评审流程陈旧(仍写"维护者直写 seed_empirical.json",D-62 前旧流程)→ 更新为社区评审流(submit_measurement→具名评审→land→empirical_contributions.json,面板 57/API 可提交);run_ci_industrial_smoke(FAIL 检出机制 + 性能基准,zz_bad 残留根治的守卫)此前不在 CORE_SMOKES → 纳入 core 门禁(36 条);CONTRIBUTING/BOUNTY 无陈旧计数、design_package_schema 语法有效。 v0.6.13 持续维护(2026-08-25 · D-111):CI 基础设施 + 开源门面核查——.github/workflows/ci.yml 健康(job2 industrial-regression 已走 run_ci_regression --tag core 统一入口自动发现 36 条 + 安装含 jsonschema,D-99 教训已落实;job1 为历史检查保留无破坏);LICENSE(MIT)与 README 声明一致;🔴 发现 AUTHORS.md 缺失(BOUNTY 承诺"贡献者署名进 AUTHORS + Hall of Fame"但文件不存在)→ 补齐(维护者 + 社区评审流署名机制 + Hall of Fame 说明)+ README 许可证段补引用。 v0.6.14 持续维护(2026-08-25 · D-112):浏览器级 UI 实测(agent-browser 全量遍历,零缺陷)——真实 Chromium 打开 WebUI:页面加载零 JS 运行时错误、57 面板全渲染(40316 字符);真实交互实测通过——面板 53(runEco:harness 21/21 · 主权 A=5 B=7 C=4)、面板 57 判题(候选 2.63 vs 实测 2.63±0.02 → PASS 死标量比对);JS 运行时盲区经一次性全量遍历验证闭合,此后转低频抽测。

参与共建(阶段 B · 生态播种)

  • Star 仓库https://github.com/iduyuhe/LDA——你的 Star 是社区信号,也是对外可达性的杠杆。
  • 🐛 认领 Good First Issue:见 Issues · good first issue 标签,按 CONTRIBUTING.md 流程提 PR。
  • 📐 提交实测语料 / 对抗题:见 BOUNTY.md 反向悬赏机制(实证大数据锚是验证的第二道非 AI ground)。
  • 📖 技术叙事:我们在公众号「工业5点0产业生态联盟」与知乎持续发布 LDA 设计哲学与闭环演示。
  • ▶️ 5 分钟上手:见 examples/README.mdLDA_一页纸_概览.md

这是什么

LDA 是一套面向光子集成回路(PIC)与超导量子比特(QEDA)的设计→验证闭环引擎。它把"AI agent 写内核、确定性裁判验收"的工程范式落成可运行、可验证、可复现的代码,让普通算力(纯 numpy、零 GPU)就能自助完成从设计目标到已验证器件/系统的闭环,并把物理定律锚 + 实证大数据锚作为信任地基,而非依赖任意大模型意见。

v0.6 的核心能力(D-36~D-89):给系统一个设计目标(如"f01=5GHz 的 Transmon"、"FSR=17.5nm 的环形分波器"、"N qubit 频率复用读出"、"多环 WDM × 量子读出混合系统"、"8 信道 WDM × 8 qubit 联合压测"、"3D 平板波导聚焦 taper"),LDA 自动完成 参数搜索 → 真实求解器双重验证 → 返回被验证过的设计,并以统一设计包(DesignPackage)格式交付——LLM 不进判决路径,是否 PASS 由死标量比对决定。v0.6 在 v0.5 系统级(M7 + 护城河 + 逆设计纵深四阶)之上新增:①3D 逆设计全链(破 3D 诚实边界)——3D adjoint 形状(D-84,3D Yee 显式转置伴随 Mᵀ 1e-15)、3D 截面形状(D-85,宽度×厚度双软边界 imp 3.17×)、3D 端口 S 参数联合验收(D-86,双独立确认 FOM 1.88×+S21 1.60×)、谱形目标×3D(D-87,加权 3.13×)、3D numba 性能升维(D-89,大域 forward 20-29× bit-level 一致);②QEDA 求解器级补强(D-88,transmon-resonator 色散读出三能级严格求解,χ=g²α/(Δ(Δ+α)) α 修正必要性 31×,n_crit/Purcell/AC Stark)。

红线(设计原则)

  • LLM 不进判决路径:求解器输出 vs 黄金参考的 PASS/FAIL 由死代码标量比对决定,AI 只写代码、不写判决。
  • 主权优先:核心求解器自研(FDTD/FDFD/Mie/TMM/严格对角化等),不外包、不借 GPL 源码;可借 ORACLE 真值校验与晶圆厂 PDK。
  • 可验证:每个能力都配确定性比对裁判或物理定律锚(解析闭式 ↔ 严格数值双验证),避免纯 AI 互证循环论证。

架构分层(从底层走)

L0  开放 IR / DSL     lda_ir/   光子+量子统一中间表示(schema v0.3,PhysicsAnchor 一等字段)
L1  智能体协议层      lda_agent/ 设计→验证闭环、逆设计、系统级设计(agent 可操作接口)
L2  开放器件库/Registry lda_l2/  已验证器件资产 + GDS 编码器 + DRC(社区共建)
L3  求解器后端        lda_solver/ 自研求解器(FDTD/FDFD/Transmon/Resonator/Coupler 严格数值)
L4  统一交付          lda_design/ 设计包规范(DesignPackage schema v0.1 + JSON Schema)

设计→验证闭环(核心能力)

给定设计目标 → 物理定律 ORACLE 瞬时搜索(逼近目标)
             → top-K 候选真实求解器双重验证(解析契约 + 严格数值物理自洽,纯 numpy 零 GPU)
             → 死标量验收判决(LLM 不进判决路径)
             → 统一设计包 DesignPackage(ir + design + verification + artifacts + honest_notes)

已验证能力阶梯(D-36~D-52,全部实测全绿)

编号 能力 实测亮点
D-36 设计→验证闭环引擎 WG/Bragg/Transmon/Ring 4 器件,最优设计被真实求解器验证
D-37 环形 add-drop 产品链路 目标 FSR → R → GDS/DRC/FDTD → 损耗预算 → 可制造设计包
D-38 agent 逆设计通用框架 同一框架落地 4 器件(光子+量子,注册一条 spec 零框架改动)
D-39 量子多器件双验证 Transmon/Resonator/Coupler 全带一等真实物理验证入口
D-40 统一 IR 物理锚 schema v0.3,同一 IR 表达两种物理,harness 达 13 题(B1-B13)
D-41 量子逆设计闭环 目标频率/耦合 → IR → 闭式反解 → 严格数值验证 PASS
D-42 WDM 多环级联系统 4 信道分波 IL≤0.12dB、XT≥18.4dB,超规格正确拒绝
D-43 光子-量子混合链路 芯片级 dispersive readout,JC 精确对角化↔色散 χ
D-44 统一设计包规范 DesignPackage schema + JSON Schema(8 类包 conforms)
D-45 WDM 指标驱动 XT 指标反解 gap、插损预算、单 FSR 信道上限
D-46 N-qubit 频率复用读出 3 qubit 沿公共力线错开 200MHz,dip 可分辨
D-47 单发读出保真度预算 t_m*=53.6ns → SNR=3.50、F=0.9984(T1 限制)
D-48 正式发布准备 README v0.2 + CHANGELOG + git tag v0.2(三端同步)
D-49 设计包 spec 6 kind 文档与实现零漂移,JSON Schema enum 同步
D-50 fdtd3d GPU 实跑激活 RTX 5060 Ti:cuda↔cpu bit-equivalent 互证 PASS(20 分钟实测)
D-51 N-qubit 逐 qubit 保真度 D-46×D-47 集成:坏 qubit 独立 FAIL 不影响他者
D-52 混合巨型系统 光子 WDM 分波 + 量子读出同一网表(IR 10 器件+8 网表)联合验收
D-55 方向耦合器设计闭环 目标分束比 → 2D FDTD 标定 κ → CMT 反解 L → 迭代收敛(50:50 命中 cross=0.503)
D-57 耦合器 × WDM 组合 FDTD 标定 PDK 文件驱动 gap → WDM 验收全过 + 诚实报告解析偏差 4.6 倍
D-59 波长相关标定库 κ_c(gap,λ) 二维:每信道按 λ 独立 k_ring,实测增幅 ~27% 物理正确
D-60 κ_c(gap,λ) 全网格标定库 双线性插值查表(9 点全网格)替代分离变量近似,无需任何解析假设
D-63 方向耦合器 × 量子读出 光子分束网络供电量子读出控制线:级联功率=FDTD 实测分束比之积 → 每 qubit n̄ 缩放 → SNR/F 预算(Δ≤0.003,F≥0.9996)
D-66 标定库 × 分束网络 分束网络 DC gap 由 κ_c(gap) 标定库驱动设计(标定 5/5 PASS)
D-67 分束网络 × WDM 光子域功率分配与分波联合:WDM 解复用 → 每信道 DC 分束树(FDTD 实测分束比级联)
D-68 PDK 标定库 4×5 升级 分辨率修正:κ_c 沿 gap/λ 双轴单调的干净网格(20 点,dl40),双线性插值查表
D-69 伴随法拓扑逆设计(adjoint FDTD) 主权 2D FDTD 显式转置伴随(Mᵀ 对拍 1e-15)+ 高斯脉冲源收集场能目标 + 回溯线搜索梯度优化:对拍 max_rel_err=0.0拓扑逆设计提升 15.1×(3996 体素)
D-70 逆设计接入设计→验证引擎(method=adjoint) DesignAgent 统一入口按 method 分流(scan=布拉格扫描零改动 / adjoint=伴随梯度拓扑逆设计):目标泛化为**「把指定孔径内收集场能最大化」**(设计区/孔径/材料对比度/波长全透传)→ 均匀平板初值 → FD 对拍锚(≤0.15)→ 回溯线搜索梯度优化(improvement≥1.5)→ 死标量验收输出 DesignOutcomeReport
D-71 真实版图基元库(foundry-ready) 4 基元替代玩具几何:Taper(线性/绝热余弦轮廓)、Euler 弯(clothoid 曲率连续,90° 终点角误差<0.01°)、MMI 1×2 对称分束、光栅耦合器(周期部分刻蚀齿)→ GDS 可编码(round-trip 回读一致)+ DRC 全绿(min_width/min_space/min_bend_R);几何交付,电特性归 D-72
D-72 真实 2D FDTD 端口 S 参数验收(M5) MMI 全 2D FDTD 端口透反射谱(输入 CW 激励→多端口 DFT 收集→输入功率归一→S11/S21/S31):平衡度 max=0.078、中心波长 S11=0.094 / T=0.906 + DRC 规则从真实 SOI 180nm PDK 注入(NOEIC/CUMEC/SITRI 全绿)
D-72★ 3D 端口 S 参数验收(SOI 220nm · numba 核) MMI/DC/Ring 全 3D FDTD 端口透反射谱(复用已验证 numba 核 + 截面匹配源):MMI 平衡度 0.015-0.083、DC cross_frac 端点趋势(CMT)、Ring drop 谐振峰检出,3 器件全过 + 2D↔3D 对拍诊断已接入设计闭环(DesignAgent method=sparams3d,三 method 统一入口)
D-78 光栅耦合器端口验收(M6 起步 · 光栅方程 ORACLE) GC 2D FDTD 透射谱谷检测(D-78 修正真实方波光栅:齿=硅/凹槽=包层):谷位置 vs 光栅方程 λ_rad=Λ·n_eff 对拍(rel=0.092≤0.15,n_eff FDTD 独立测得非拟合)+ Λ 趋势锚 dλ/dΛ=周期结构 n_eff(rel=0.020≤0.10):谷深 0.996、验收 PASS,smoke 3/3;诚实标注凹槽微扰负偏 ~9% + 2D≠3D 光纤耦合
D-79 真实基元接入设计流水线(Track B 收口 · v0.4 门槛达成) 流水线默认几何切换到 D-71 真实基元:Ring/AddDrop 实心环带→真实波导环 PATH、YBranch 裸分叉→输入绝热 taper+双 arm、DC/Waveguide 已是 PATH、Taper/EulerBend/MMI/GC 沿用基元——全 9 kind 真实 GDS + round-trip + 3×SOI PDK DRC 全绿(NOEIC/CUMEC/SITRI),"设计→验证→版图"全链路真实化闭环
D-73 热光可调 WDM(Track D 系统级 · M7 第一件) 静态 WDM(D-42/D-57)叠加每环热光相位 shifterΔλ/λ=(dn/dT)·R_th·P/n_eff 物理定律锚(dn/dT=1.86e-4/K 材料常数、n_eff=2.4,ORACLE 比对真实 Si 加热器斜率 [0.02,0.5] nm/mW)→ 信道重分配验证
D-74 量子门 / 纠错拓扑(Track D 系统级 · M7 第二件) 量子域从「读出」走向「计算」:①量子门库(I/X/Y/Z/H/S/T/CNOT/CZ/SWAP/Toffoli 解析矩阵,幺正性 ‖U†U−I‖≤1e-12 精确 + {H,T,CNOT} 通用性 T∉24元Clifford 群论死标量锚)②rotated surface code(d² 数据比特、全对易、GF(2) 秩验证 k=1、阈值标度 p_L=A·(p/p_th)^((d+1)/2))③cross-resonance 门(g_CR=2J²Δ/(α²−Δ²) 有效模型 + t_CR≤T2);ORACLE:
D-75 大规模系统基准(Track D 系统级 · M7 第三件 · M7 收口) 把 WDM 级联 + 多 qubit 读出 + 混合巨型系统推进到 N≥8 大规模并做性能与精度边界压测:8 WDM 信道(1.2nm 密集 DWDM grid)级联 + 8-qubit 频率复用读出 + 联合 8×8 混合系统全过;容量自洽(实际最大可行 N=8 == 理论 floor(FSR/间隔)+1)、IL 级联模型余量(N=16 时 0.22dB,预算 3dB 的 7.3%)、qubit 间隔临界(默认 0.05GHz vs 失效 0.02GHz,余量 2.5×)、标定网格分辨率(κ_c 网格 λ 间距 25nm vs 信道间隔 1.2nm → 每信道变化 0.59%≤1%);总压测耗时 0.056s;smoke 3/3
D-76 L0 IR 开放标准(护城河与标准层 · v0.3 定稿) 把 schema 0.3 固化为开放标准(社区共建起点):docs/ir_spec.md(LDA-STD-001 规范:9 kind 注册表 / 物理锚语义 / 校验规则 / 扩展指南)+ docs/ir_schema.json(JSON Schema draft-07)+ 零漂移校验(Schema↔代码 9 kind 一致 / 全 kind conforms / 0.2 向后兼容 / physics 物理锚 round-trip——顺带修复 dsl.py 此前 round-trip 丢物理锚的序列化缺陷);smoke 3/3
D-77 验证合约工业化(护城河与标准层第二件) 全部验证收敛到一条命令、一份机器可读报告(社区协作门槛):run_ci_regression.py 自动发现 54+ smoke + harness B1-B13 统一回归(SKIP=无 GPU/numba 降级、FAIL=真失败、新增零配置纳入;core 集实测 27 PASS / 0 FAIL);run_perf_bench.py 求解器性能基准(greens numpy→numba 34.7×、物理一致 rel=4.8e-16、GPU bit-equivalent、历史基线漂移 ±30% 预警);CI 新增 industrial-regression job
D-80 谱形目标逆设计(Track A 深化) 把 adjoint 逆设计目标从「收集场能最大化」泛化为三类谱形目标 FOM(逼近商业 EDA 核心卖点):①split_ratio 分束比(双输出监视器,对数加权 FOM,FDTD 实测命中 target±0.10——50:50 实测 0.574、imp 2.5×);②spectrum 多波长谱形(FOM=Σw_λ·FOM_λ 加权联合,3 波长窄带 imp 11.7×);③mode_match 模式匹配(目标场投影,平坦目标 imp 8.6×);死标量验收 FD 对拍 ≤2e-4;smoke 3/3
D-81 形状逆设计 + 多目标联合(Track A 纵深新线) 从 voxel 拓扑升级为连续形状逆设计(K 控制点宽度曲线 w(x) + sigmoid 软边界,可制造性内建:宽度界 + 平滑约束 + DRC 验收;形状梯度链式投影 FD 对拍 5e-4;imp 6.6×)+ 多目标联合(多波长加权 FOM 共享形状 + Pareto 前端扫描:2 波长加权 5.6× + 前端 3 点);smoke 3/3
D-82 形状+拓扑混合逆设计(Track A 纵深第二件) 形状主干(宽度曲线,可制造内建)⊕ 拓扑微调带(voxel 密度,概率 OR 光滑组合——"任一有材料即材料"处处可导)分层表达;联合梯度 + 回溯线搜索 + 纯形状基线对比(混合≥纯形状为验收判据):混合 imp 18.3× vs 纯形状 6.0×(混合增益 3.06×);FD 对拍全过;smoke 3/3
D-83 混合×多波长加权联合(Track A 纵深收官) 参数化×目标矩阵全打通(参数化∈{拓扑,形状,混合} × 目标∈{单场能,谱形,多波长}):混合参数化共享形状主干+拓扑带,多波长加权 FOM=Σw_λ·FOM_λ(固定 dl 只变 omega)+ 分块归一化(形状/拓扑各自尺度,保证拓扑带参与)+ Pareto 前端:加权 imp 19.35× vs 纯形状多波长基线(增益 3.18×),逐波长 22.2×/16.5×,Pareto 3 点;FD 对拍 9.8e-4;smoke 3/3
D-84 3D adjoint 形状逆设计(破 3D 诚实边界) adjoint 从 2D 推向 3D Yee 交错网格(6 分量,更新算子显式转置伴随——数值 Mᵀ 对拍 1e-15,不依赖 torch/jax)+ 平板波导宽度曲线形状(K 控制点软边界 + 5 层核心 + 可制造 DRC):imp 2.02×(聚焦 taper 成形),3D adjoint FD 对拍 9.4e-6、形状梯度 8.2e-4;smoke 3/3
D-85 3D 截面形状逆设计(3D 纵深) 把 z 截面也变成形状自由度——宽度 w(x) × 厚度 h(x) 双软边界(z 底固定 0、顶 z_top=h(x),处处可导;联合梯度 [dFOM/dw ⊕ dFOM/dh] + 双界 DRC):imp 3.17×比平板 2.02× 提升 57%——厚度自由度增益显著),截面梯度 1.0e-2;smoke 4/4
D-86 3D 逆设计 × 端口 S 参数联合验收(补闭环最大缺口) 战略审计最大缺口:3D 逆设计无端口级验收。打通 3D adjoint 场能优化 → 独立 3D CW 端口核(S11/S21,src_profile 可配)→ 双独立确认:FOM imp 1.88× 且 S21 0.132→0.211(1.60×)同向双过;能量守恒 S11+S21≈1;关键物理认知:聚焦 FOM ≠ 透射 S21(两端收窄 taper 模式失配)→ w_min=4/init_w=6 对齐;smoke 3/3
D-87 谱形目标 × 3D 截面(多波长加权联合) 2D 谱形/多波长目标扩展到 3D:物理网格固定只变 omega(归一化网格陷阱免疫)+ 多波长加权联合梯度(分块归一化 w/h 各自尺度)+ 全波长线搜索:加权 imp 3.13×(逐波长 3.18×/3.15×/3.06× 三波长同向 ≥3×)、联合梯度 4.2e-4、DRC 双界全过;smoke 5/5
D-89 3D adjoint numba 化性能升维(突破 3D 域规模天花板) 3D Yee 核 + 显式转置反向 prange 并行 JITbackend 参数 auto/numba/numpy,无 numba 自动回退):forward 加速 44 域 8-11× / 64 域 17-21× / 80 域 22-29×(最大域 ≥20×),与 numpy bit-level 一致(FOM rel ≤ 3.7e-16);优化链路 64 域 4.4-5.2×(imp 完全一致);梯度 2-5×;smoke 6/6(含 numba 一致性 + 回退)
D-88 QEDA 求解器级补强 · transmon-resonator 色散读出(量子蓝海占位) 三能级 transmon + Fock 谐振器联合严格对角化(D-43 二能级 JC 升级,引入
D-91 QEDA 纵深三件套(多能级展开 · 驱动场 · 读出串扰) ①多能级电荷基底展开:χ 3→6 能级收敛 0.495%(<1% 证明三能级自洽)+ Blais 解析 rel 1.98%;②驱动场 RWA:共振 Rabi 自洽 rel 0 + 失谐 AC Stark Ω²/4δ 对拍 rel 0.39%;③多 qubit 读出串扰:共享谐振器媒介 ZZ 耦合 J_zz=0.000831 GHz(g=0 自洽 + 互换对称 rel 0 +
D-92 3D voxel 拓扑逆设计(3D 纵深最后一环) 3D 设计区潜伏密度 + tanh 投影 beta 延拓(先柔后硬二值化,可制造性内建)+ 3D adjoint 显式转置梯度链式:imp 6.30×(44 域 iters=24)、拓扑梯度 FD 对拍 5.9e-3、二值化 20.8%(beta_max=16 重投影);Track A 3D 参数化矩阵补上拓扑列;smoke 7/7
D-93 生态共建框架(PDK 对接 / harness 题库扩充) ①harness 题库 B1-B13 → B1-B18:新增 5 道物理定律锚(B14 定向耦合器 3dB 长 / B15 Bragg 波长 / B16 MMI 自成像长 / B17 约瑟夫森临界电流 / B18 Purcell 因子),自动纳入统一回归零接线;②主权依赖三级分级代码化(A 永不借 5 项 / B 借今踢后 fork Gitee 7 项 / C 第一天自主 4 项,来自战略审计 LDA-ST-001);③开放 PDK/器件本体 Registry 地基接口lda_pdk:add/query/stats/to_json/load,与 empirical_bank 同构);诚实边界:真实晶圆厂 NDA-PDK 对接属发动期 D-62 暂缓、不硬编码;smoke 4/4(harness 18/18 + 主权 A/B/C + Registry 自检)
D-94 生态共建深化 · 社区提交入口(D-93 地基之上) 在开放 Registry 之上开放统一提交入口lda_pdk/submit.py):①提交器件本体submit_device:自动推断主权分级 A/B/C + 校验 + 冲突感知 + 持久化贡献库 contributions.json);②批量导入submit_devices_batch:逐条 accepted/conflict/rejected);③harness 物理定律锚提案BenchmarkProposal/ProposalStore/submit_benchmark_proposal:仅登记 pending,需代码评审 + golden.dispatch/physical_law 注册后方可纳入回归——绝不自动注入 golden 函数,LLM 不进判决路径);WebUI 升级至五十四面板(面板54「社区提交入口」+ `/api/ecosystem/submit
D-95 生态共建闭环 · 社区评审流 + 提案→golden 落地(D-94 之上) 把 pending 提案闭环成「提案 → 具名人工评审(LLM 不进判决路径)→ 确定性自测门禁 → 落地接入统一回归」(lda_pdk/review.py):review_proposal(approve 须附 ORACLE 源码 + 前置自测:可编译 + 默认参数返回有限标量;reject 直落;缺评审人即拒;全程审计轨迹)、land_proposal(仅 approved 可落地:受限命名空间编译 ORACLE → register_golden+register_benchmark 零接线纳入统一回归 → 持久化 landed.json生成 golden.py/benchmarks.py 补丁供维护者 git 提交——落库(live)≠进版本控制);harness 扩展钩子(golden.py 模块级 _GOLDEN_DISPATCH/_PHYSICAL_LAW + register_goldenbenchmarks.register_benchmark);WebUI 升级至五十五面板(面板55「社区评审流 + 提案落地」+ `/api/ecosystem/review
D-96 生态共建进一步 · 评审门槛扩展 + 评审流 UI 增强(D-95 之上) ①门槛扩展(全确定性,LLM 不进判决路径)review_proposal 新增签名完备性(inspect:ORACLE 必填参数 ⊆ default_params,明确报缺参)/ 数值界限(提案声明 value_min/value_max,自测值须落界内)/ core 双评审人 quorum(需 2 位不同具名评审人批准,同评审人重复票不推进,票数入 approvals+审计);submit_benchmark_proposal 新增提交期防重守卫(oracle_fn 已落地(landed.json 全局权威)或公式规范化后与现有 pending/approved/landed 提案重复 → 拒);resubmit_proposal(rejected→pending 保留审计并追加 resubmit 记录);review_stats(状态分布 + 批准/拒绝计数 + quorum 票 + 平均评审时延=review ts−submitted_at);②UI 增强:面板55 加评审统计条 / 状态筛选页签(全部/pending/approved/rejected/landed)/ 行内操作(批准选中入表单、拒绝 prompt 理由、被拒重新提交)/ core 双评审徽标+票数 / 值界展示;面板54 提案表单加 core 复选框 + 值界输入;新增 POST /api/ecosystem/resubmit、GET 增 review_stats 段;smoke 13/13、报告 10/10
D-97 生态共建进一步 · 评审门槛再扩展(ReviewPolicy)+ 多提案批量评审(D-96 之上) ①可配置评审策略lda_pdk/submit.pyReviewPolicy dataclass + get_policy(env LDA_REVIEW_* 可调 + 显式 overrides)+ policy_info;默认保持 D-95/D-96 行为不变):提交期预检(enforce_positive_tol / enforce_nonempty_params / value_min>value_max 即拒 / enforce_value_bounds 强制声明值界);评审期门槛(authorized_reviewers 评审人白名单 / min_source_length ORACLE 最短源码);strict_dedup 严格防重(token 集比较,"n_g·L"≡"n_g*L");min_quorum(core 双评审基准数可配);②多提案批量评审review_proposals_batch(entries) 逐条同门禁 + 汇总;land_proposals_batch(ids) 批量落地);③UI 增强(面板55:提案表加复选框多选 + 全选/清空 + "批量拒绝选中"/"批量落地选中" + 策略显示条;后端 `POST /api/ecosystem/review_batch
D-98 生态共建收官 · 评审流端到端发布(Publish,D-95~D-97 之上) 评审流端到端最后一环:landed ORACLE 固化为正式版本控制补丁 + Release Notes 草稿lda_pdk/publish.pypublish_proposal——仅 landed 可发布、须具名发布人、确定性重编译自测(死标量门禁)、difflib 生成 golden.py/benchmarks.py 的可 git apply unified diff(EOF 追加:ORACLE 函数 + _GOLDEN_DISPATCH/_PHYSICAL_LAW 注册 + BENCHMARK_DEFS 条目 + ORDER)、写 reports/patches/{bid}.publish.patch + {bid}.RELEASE.md、状态 landed→published、审计追加 publish;list_published);完整生命周期:提案→评审→落地(自动纳入回归)→发布→维护者 git 合并;WebUI 升级至五十六面板(面板56「评审流端到端 · 发布」:状态机概览 pending→approved→landed→published + 可发布列表+发布表单 + 已发布基准列表;后端 POST /api/ecosystem/publish、GET 增 published/publish_pending 段);实测:完整链 publish、缺发布人拒、非 landed 拒、补丁双段 unified diff(33 行)+ Release Notes 落盘、审计 review→land→publish;smoke 12/12、报告 10/10;诚实边界:发布不改源文件、不做 git commit——补丁经维护者 git apply 合并后方成为权威版本控制内容
D-62 实证大数据锚(验证的第二道非 AI ground · 发动期联动框架落地) 实证锚与物理定律锚并列构成验证的两道非 AI ground:harness 新增 E1-E3 实证锚题benchmarks.py:oracle=empirical-measurement、golden 来自实测语料库 seed_empirical.json + 社区落库增量,非解析函数;verification_adapters.build_harness_specs/harness.py 实证锚分支,无 anchor 时诚实降级不判 PASS);语料评审流lda_pdk/empirical.pysubmit_measurement(citation 必填=可追溯来源、数值有限、σ≥0、防重)→ review_measurement(具名人工评审,LLM 不进判决路径)→ land_measurement(写 empirical_contributions.json + reload 进语料库,harness E 题实时生效));WebUI 升级至五十七面板(面板57「实证大数据锚」:语料库统计+逐条溯源+E 题 golden+判题演示+语料提交流;GET /api/empirical + POST /api/ecosystem/measurement);实测:E1-E3 golden=2.63/1.53/9.15、参考候选 21/21 PASS(B18+E3 双 ground)、扰动 10% FAIL 检测、语料提交→评审→落地→reload 生效;smoke 17/17、报告 6/6;诚实边界:种子语料为公开文献/PDK 量级;真实晶圆厂 NDA 流片实测属发动期联动,经「具名人工评审→落库」流持续流入(管道先建好)

WebUI(五十七面板,设计闭环可视化)

LDA 自带零依赖 WebUI(python lda/lda_webui/deploy.py start,默认 http://127.0.0.1:8787),首屏自动演示全部闭环:

①求解器验收 ②1D FDTD ③Mie ④FDFD ⑤耦合器验收 ⑥统一 IR ⑦TMM ⑧B 基准题 ⑨版图流水线 ⑩Bootstrap ⑪多层验证 ⑫对抗基准 ⑬器件库(含量子双验证) ⑭设计→验证闭环 ⑮环形 add-drop 产品链路 ⑯agent 逆设计框架 ⑰量子逆设计闭环 ⑱WDM 多环系统 ⑲readout 混合链路 ⑳统一设计包 ㉑N-qubit 频率复用读出 ㉒单发读出保真度预算 ㉓N-qubit 逐 qubit 保真度 ㉔WDM×readout 混合巨型系统 ㉕方向耦合器设计闭环 ㉖耦合器×WDM(标定库驱动:gap/波长/全网格三模式) ㉗方向耦合器×量子读出(分束网络供电控制线) ㉘分束网络×WDM(解复用→每信道分束树) ㉙伴随法拓扑逆设计(主权 adjoint FDTD) ㉚逆设计接入设计→验证引擎(method=adjoint) ㉛真实版图基元库(foundry-ready) ㉜端口 S 参数验收(MMI 2D FDTD + ORACLE 对拍) ㉝3D 端口 S 参数验收(SOI 220nm · numba 核) ㉞光栅耦合器端口验收(光栅方程 ORACLE) ㉟真实基元接入设计流水线(Track B 收口) ㊱热光可调 WDM(热光相位 shifter + 物理定律锚) ㊲量子门/纠错拓扑(surface code + cross-resonance) ㊳大规模系统基准(WDM 8×qubit 8 联合压测 + 容量/IL/间隔/网格边界) ㊴L0 IR 开放标准(规范+JSON Schema 零漂移校验) ㊵验证合约工业化(CI 全量回归 + 性能基准) ㊶谱形目标逆设计(分束比/模式匹配/多波长谱形 FOM) ㊷形状逆设计 + 多目标联合(宽度曲线控制点 + Pareto 前端) ㊸形状+拓扑混合逆设计(分层表达:形状主干 + 拓扑微调带) ㊹混合×多波长加权联合(参数化×目标矩阵全打通) ㊺3D adjoint 形状逆设计(3D Yee 显式转置伴随) ㊻3D 截面形状逆设计(宽度 × 厚度双软边界) ㊼3D 逆设计 × 端口 S 参数联合验收(双独立确认) ㊽谱形目标 × 3D 截面(多波长加权联合) ㊾3D adjoint numba 性能基准(大域 20×+) ㊿QEDA 求解器级补强 · transmon-resonator 色散读出(三能级严格求解) 51 QEDA 纵深三件套(多能级展开 · 驱动场 Rabi/AC Stark · 读出串扰 ZZ 耦合) 52 3D voxel 拓扑逆设计(潜伏密度 + 二值化投影 · 3D 纵深最后一环) 53 生态共建框架(harness B14-B18 + 主权依赖 A/B/C + Registry 入口) 54 社区提交入口(器件提交 + 批量导入 + harness 提案 + 贡献库实时列表) 55 社区评审流 + 提案落地(具名评审 → 确定性自测 → 零接线纳入回归 + git 补丁 · D-96 门槛扩展 · D-97 ReviewPolicy 策略 + 批量评审/批量落地) 56 评审流端到端 · 发布(landed→published 正式补丁 + Release Notes 草稿 · 全链时间线) 57 实证大数据锚(实测语料 = 第二道非 AI ground · harness E1-E3 + 语料评审流 · D-62)

PDK 标定库(真实 FDTD 实测沉淀,设计时秒级加载)

bus↔ring 耦合本质是方向耦合器——κ_c 由 2D FDTD(D-55 双点标定)实测并沉淀为 PDK 标定文件(一次性后台标定,设计时秒级加载/插值),驱动 WDM 环耦合段设计:

标定文件 维度 说明
lda_agent/data/kappa_calibration.json κ_c(gap) 一维 5 点 gap 扫描(dl=0.039µm 高分辨率),D-57
lda_agent/data/kappa_wavelength_calibration.json κ_c(λ) 一维 3 点波长扫描(gap=0.3 基线),D-59
lda_agent/data/kappa_grid_calibration.json κ_c(gap,λ) 二维 9 点全网格,双线性插值直接查表(D-60,最终形态)

三种模式(wdm_coupler CLI/API 可选,优先级 grid > wavelength > gap 一维),每信道独立 k_ring = sin(κ_c·L_couple),最弱耦合保守验收;诚实标注 L_couple=2√(2R·gap) 为环形耦合近似,并显式报告 FDTD 校准 vs 解析假设偏差(D-57 实测解析偏乐观 4.6 倍)。

统一设计包规范(对外标准 · 11 kind)

  • 正式规范文档:docs/design_package_spec.md(schema 定义 / kind 注册表 / 校验规则 / 扩展指南)
  • 机器可读 JSON Schema:docs/design_package_schema.json(draft-07,jsonschema 校验全部 kind conforms)
  • kind:add_drop quantum wdm readout_chain multiqubit readout_fidelity multiqubit_fidelity mixed_system coupler wdm_coupler splitter_readout

目录结构

lda/                     核心软件包(主权求解器 + agent + 设计引擎 + harness)
  lda_solver/            FDTD/FDFD/Mie/TMM/Transmon/Resonator/Coupler 自研求解器
  lda_agent/             设计→验证闭环、逆设计框架、WDM/readout 系统级设计、AI-dev 写核
  lda_qeda/              量子门库 + surface code + cross-resonance(D-74 QEDA 容错拓扑设计)
  lda_agent/large_scale_bench.py  大规模系统基准(D-75 · WDM×qubit 联合压测 + 边界扫描)
  lda_design/            设计引擎 + 统一设计包规范(DesignPackage)
  lda_ir/                统一 IR(光子+量子,schema v0.3,PhysicsAnchor)
  lda_l2/                器件库(已验证资产)+ GDS 编码器 + DRC + 版图仿真
  lda_harness/           确定性比对裁判(21 题:B1-B18 物理定律锚 + E1-E3 实证锚,可运行时扩展 register_golden + 语料评审流)
  lda_pdk/               生态共建(L2 Registry + 主权 A/B/C + 社区提交 → 评审 → 落地 → 发布 全链)
  lda_webui/             零依赖 WebUI(五十七面板)
  run_ci_regression.py   验证合约工业化·全量回归统一入口(D-77,自动发现 74 smoke)
  run_perf_bench.py      求解器性能基准(D-77,numba/GPU 加速比 + 基线漂移监控)
  run_perf_adjoint3d.py  3D adjoint numba 性能基准(D-89,大域 forward ≥20× + bit-level 一致性)
  lda_solver/port_sparams_3d.py  3D 端口 S 参数核(D-72/86,src_profile 可配源截面)
  lda_agent/port_acceptance.py   3D 逆设计 × 端口联合验收(D-86,双独立确认)
  lda_solver/hybrid_inverse.py  混合逆设计核(D-82/83,形状主干 + 拓扑微调带 + 多波长联合)
  lda_agent/hybrid_design.py    混合逆设计入口(D-82/83,纯形状基线对比 + Pareto 前端)
  lda_solver/adjoint_fdtd3d.py  3D adjoint 逆设计核(D-84,3D Yee 显式转置伴随 + 平板形状)
  lda_agent/adjoint3d_design.py 3D adjoint 设计入口(D-84,FD 对拍 + 优化验收)
  lda_solver/shape_inverse.py  形状逆设计核(D-81,宽度曲线控制点 + 可制造性 DRC)
  lda_agent/multi_objective_design.py  多目标联合(D-81,多波长加权 + Pareto 前端)
docs/                    ir_spec.md + ir_schema.json(L0 开放标准)· design_package_spec.md + design_package_schema.json

快速开始

# ⓪ 一键复现(T-7 · 外部人验货首选,~30s:环境自检 + 版本核对 + 48 锚三分类 + 计数门禁)
python lda/quickverify.py
#    加 --full 追加全量 CI core 119 条回归(~32min);--json out.json 出机器可读摘要

# ① 设计→验证闭环(4 器件:WG/Bragg/Transmon/Ring)
python lda/run_design_demo.py

# ② agent 逆设计通用框架(4 器件同一框架)
python lda/run_inverse_design_smoke.py

# ③ WDM 多环级联系统(4 信道)
python -m lda.lda_agent.wdm_system --channels "1550,1552.5,1555,1557.5"

# ④ N-qubit 频率复用读出(光子-量子混合)
python -m lda.lda_agent.multiqubit_readout --f01s "4.8,5.0,5.2"

# ⑤ N-qubit 逐 qubit 保真度(D-46×D-47 集成,逐 qubit T1)
python -m lda.lda_agent.multiqubit_fidelity --f01s "4.8,5.0,5.2" --t1_us "20,15,25"

# ⑥ 混合巨型系统(光子 WDM 分波 + 量子读出同一网表)
python -m lda.lda_agent.mixed_system --wdm_channels "1550,1553,1556" --f01s "4.8,5.0,5.2"

# ⑦ 方向耦合器设计闭环(目标分束比 → 2D FDTD 标定 → 迭代收敛)
python -m lda.lda_agent.directional_coupler --target_cross 0.5 --gap 0.3

# ⑧ 耦合器 × WDM 组合(FDTD 标定 PDK 文件驱动 gap 选择;--wavelength 波长相关 / --grid 全网格双线性插值)
python -m lda.lda_agent.wdm_coupler --channels "1550,1553,1556" --gap_scan "0.25,0.30,0.35" --grid

# ⑨ 方向耦合器 × 量子读出(光子分束网络供电量子读出控制线)
python -m lda.lda_agent.splitter_readout --f01s "4.8,5.0,5.2"

# ⑩ 确定性比对裁判(21 题:B1-B18 物理定律锚 + E1-E3 实证锚)
python lda/run_harness.py --ai

# ⑪ GPU 实跑激活(L2-B 第三步:CUDA 检测 → 5 例锚 selfcheck → cuda↔cpu bit-equivalent 互证 → 加速比)
python lda/lda_solver/activate_gpu_fdtd3d.py

# ⑫ WebUI(五十七面板,首屏自动演示)
python lda/lda_webui/deploy.py start --port 8787

LDA 命令行(v0.8.30 · 开发者钩子 + gdsfactory 兼容)

安装后可直接用 lda 命令感知设计—验证闭环(薄壳复用既有引擎,零新依赖;gdsfactory 为 B 级可选依赖,未装时优雅降级):

# ① 跑一个器件设计闭环,输出最优已验证候选(参数/指标/目标误差)
lda design RingResonator --target 9.0 --top-k 3

# ② 把一条链路 JSON 装配成版图,输出 DRC/LVS 双闸报告 + 导出 GDS
lda check examples/cli_check_example.json --out reports

# ②b 导入任意 GDSII(含 gdsfactory 导出),跑 LDA 主权几何 DRC 快查(子集)
lda check --gds my_design.gds --out reports

# ③ 生成基准对照验证闭环报告(跨源死标量对照 + 实证语料覆盖矩阵)
lda report --out reports --quick

# ④ gdsfactory 兼容桥:把 gdsfactory 组件转成 LDA 链路 spec(未装 gf 时给指引)
lda gf my_gf_component.py --out reports

lda check 接受的链路 JSON 示例(examples/cli_check_example.json):

{
  "domain": "photon", "name": "demo_wg_ring",
  "devices": [
    {"id": "wg1", "kind": "Waveguide"},
    {"id": "ring", "kind": "RingResonator", "params": {"R": 10.0, "gap": 0.3}},
    {"id": "wg2", "kind": "Waveguide"}
  ],
  "nets": [
    {"net": "n1", "from": ["wg1","out"], "to": ["ring","in"]},
    {"net": "n2", "from": ["ring","out"], "to": ["wg2","in"]}
  ],
  "io": [{"net":"e1","device":"wg1","port":"in"}, {"net":"e2","device":"wg2","port":"out"}],
  "sources": [{"device":"wg1","port":"in"}]
}

红线:CLI 不做任何判决,仅对既有引擎 / layout / harness 的真实计算结果做格式化呈现(LLM 不进路径,死标量判决不变)。lda check --gds 主权 DRC 仅覆盖几何维度子集(最小线宽/间距/面积),诚实标注非晶圆厂官方 DRC deck 全量。

当前账本:CI 机器断言守护(动态,FAIL=0 即绿)· CI core 157 条

  • 22 引擎 + 11 包 = 33 类端到端(光子 15 + 量子 7)
  • 52 题(B1-B30 物理定律锚 + E1-E9 实证锚 + S1-S13 系统锚)
  • 验证三分类(v0.9.39 定稿 · 护栏守护一致性):严格独立 27 道 · 降级量级参考 1 道 · 自证桩 24 道(三类和 = 52) —— 对外账本陈述(README) ≡ 本机 harness 推导 ≡ /api/verification_ledger 端点,三者任一漂移即红(run_three_class_consistency_smoke.py)。🔴 2026-09-09 重审修账(诚实边界):B16 原 golden 因子 3(=3·n_eff·W²/λ)系统性高估 33–55%,已修正为物理正确因子 9/4(标准 MMI 自成像 L=(9/8)·L_π^wg=(9/4)·n_eff·W²/λ,W=2.8/n_eff=2.4→27.3µm≈实测 27µm)。但 B16 仍留自证桩、未升严格独立:repo mmi_eme 求解核建模的是「对称平板波导」,而真实器件是「脊形(rib) MMI」,建模对象不同 ⇒ 其 EME 解与抛物线闭式 golden 差 ~13%、器件宽度处 diff>tol 3.0µm、余量仅 ~1.3×(远低于本项目严格锚 100–1000× 标准)。沿用「B21 教训」:独立求解器须建模同一物理对象,故不作为合法独立候选(宁可如实留自证桩,不可假绿)。三分类当前为 27/1/24(B2 于 2026-09-10 经 FV-FDM 全矢量 + PWE 平面波双独立全波数值终审升严格独立,golden=EIM 2.651 居二者之间、判据 C5 成立;B16 自身仍留自证桩,未随 B2 升级)。B21 经重审确认干净(上一轮"B21 差 31%"为误判,已撤销)。
  • 验证成熟度模型(VMM, v0.9.62 · 项目自身研究成果):自证桩是合法的第一验证阶段,不是缺陷清单——每道锚带 maturity_tier(strict_independent / degraded / self_certified)、provenance细分 6 类来源标签:external_textbook / external_empirical / independent_cross_check / design_rule_anchor(行业设计规则·外部来源) / self_authored_closed_form(自写闭式未验·低置信)/ self_authored_closed_form_with_check(自写闭式已内验))、upgrade_path(升 Tier-3 所需 ORACLE/求解器/数据集)。self_authored_closed_form 自动降权「低置信·待再审计」(B16 因子 3 曾错 33% 即此类,修后仍在自证桩);design_rule_anchor(B5/B6/B7 的 3dB/0.5/-40dB 来自硅光行业共识)与 self_authored_closed_form_with_check(B21 已有 2D FDTD 内验~2%)不进低置信名单——它们已有外部/内验背书,无需我们重复验证。细分目的=精准区分「必要的验证」与「不必要的验证」,把资源集中于真正未验的自写闭式。升级按环境可用性做专题攻关,不阻塞主链路。详见 docs/verification_maturity_model.md;由 run_maturity_baseline_smoke.py 守护底线 6 条。
  • 创新超市:75 货架(50 条开放下载 + 25 条咨询制·量子等出口管制合规红线)· 5 赛道 + 24 应用域 · 定价归档 75/75
  • 上架日期可溯源(v0.9.43 · N-1):每条货架带 listed_at,口径 = 该货架 id 首次进入本仓库的提交日期git log --follow 复算)。不采用"统一填当天" —— 货架是分批扩的(08-27 首批 5 → 08-28 批量 43 → 08-29 商品化 10 → 09-06 三轮新增 17),统一填今天即伪造新鲜度。由 run_shelf_listing_smoke.py 逐条与 git 历史复算比对,错一天即红。前端支持「最新/最早上架」排序 + 30 天内 NEW 标记。
  • 主权纪律:A 级永不借(商业 EDA/商业 NDA-PDK);B 级借今踢后(gdsfactory/Meep/KLayout/SAX fork 主权副本,可选);C 级第一天自主(L0 IR/L1 协议/L3 求解核/物理定律锚)。
  • 诚实边界:当前属原理验证级非流片级;实证语料 30 条全部 A 级可公开溯源(含 DOI / arXiv / 公开 URL 定位符,第三方可独立复验),B 级已清零(D-66 逐字核实后 5 条全部升级);9 道实证锚题(E1-E9)9 道 golden 均为真·可溯源实测(可溯源率 8/9 → 9/9,E8/E9 于 v0.9.51 升格进 52 题集)。
  • 🔍 D-66 逐字核实(2026-09-01):5 条 B 级语料逐字核对原文后 —— ①E-SOI-NEFF-220 的 n_eff=2.63 经核实为错值(真值 2.44~2.46;2.63 系 λ≈1.39µm 处取值,偏离为其自称 ±0.02 的近 10 倍)→ 改判 n_g=4.18(arXiv:2011.03273 racetrack 实测 FSR=8.6nm 反演);②E-SIN-NEFF-300 无可溯源实测出处 → 改判 n_g=2.2834(DOI 10.3390/coatings10040309,几何按文献照实改写保证 golden 同源);③E-YBRANCH-LOSS 原 3.4dB 含 3.01dB 理想分光(几何必然、非被测量)→ 改判实测过量损耗 0.28±0.02dB(DOI 10.1364/OE.21.001310);④E-RING-FSR 原 9.15nm 系解析反算值 → 换文献实测 8.6nm;⑤E-GRATING-EFF 原 0.45 无出处 → 换实测 0.42(DOI 10.1063/1.3304791,结构不同源已披露:文献为全刻蚀光子晶体孔阵)。另排除 1 处差点误用的来源(arXiv:1909.09538 的 −3.05dB 前文为 "This simulation" → 仿真非实测)。⑥第 7 例(2026-09-03 二次逐字核实)E-SIN-NG-1200n_clad=1.44 标注错误 —— 原文三处逐字:SiOC 膜 n=2.2高于 Si₃N₄ 芯 1.9963,不是低折射率包层)、SiOC 层 350nm 上另有 PECVD silica n=1.45、Figure 3 明示 "TE mode is leaky ... stable propagation of TM"。已改 n_clad=2.2 + 双层 clad 描述。该条不作任何锚题 golden(BENCHMARK_DEFS 无引用),修正属数据完整性整修、不改变任何判决结果;并明文禁止拿它做精度判定——其口径不自洽(λ²/(FSR·L)=2.3305 ≠ 原文 2.2834),需要 Si₃N₄ n_g 实证对照时改用同文 Figure 5 的纯净对照组(n_g=1.9666,λ²/(FSR·L)=1.9667 自洽)。🔴 第 8 例(2026-09-03 · 第一次不是「数据标错」而是「公式本身错」)B10golden 公式 F = exp(−t·(1/T1 + 1/(2·T2))) 被证否——逐个排查四种标准保真度定义的一阶系数:平均门保真度 (1/T1+2/T2)/6、纠缠保真度 (1/T1+2/T2)/4、|+⟩ 态保真度 1/(2T2)、Haar 平均态保真度 (1/T1+2/T2)/4均不匹配;该式一阶系数是 Lindblad 严格解的 2.727×(比值恰为 30/11,无物理来源)。已改 golden 为 (3+2e^{−t/T2}+e^{−t/T1})/6(详见下方 v0.9.24 条)。这是 D-66 台账里第一次 golden 从「物理定律锚」降级为「经验式」再被替换 ⇒ 教训:物理定律锚的 golden 不等于免检,接入独立候选后必须先验「golden 与候选是否能构成判据窗口」,验不过就该怀疑 golden。
  • ⚠️ 两条判决路径口径(C-1 诚实披露 · v0.9.30 · T-5 闭合):harness 有两套候选体系,对外须显式区分,否则构成「宣称 vs 可复现」缺口:
    • 路径① run_harness.py(默认 IndependentCandidateRouter):方法学不同源的独立频域候选 ⇒ 当前 verified=27/52(严格独立 27 · 降级 1 · 自证桩 24)。这是对外宣称「独立候选 27/52」所指的路径,也是 /api/verification_ledger 的口径。
    • 路径② run_harness.py --aiL3AISolverCandidate:L3 AI 写内核 demo,离线回退 _local_approx):实测 verified=2/52(仅 B1/B4 真实现且 PASS,余 48 道为 return golden 自证桩)。该路径仅供演示 AI 写内核的判别流程,不计入对外 verified
    • 两路径候选体系本就不同,23(路径①)/ 2(路径②)均为如实口径、不构成虚报;此前只写 23、未提 2 属口径分裂缺陷,本轮已修复(README 顶行 + 本报告双路径注记 + l3_ai_solver.py:66 注释订正)。
  • ⚠️ 判决路径独立性(D-64 如实披露 · v0.9.23 刷新):golden 真实只是必要条件,candidate 还必须独立求解。当前 7 道实证锚中 E2 已接通独立求解器(v0.9.23 起由 FDFD 换成 2D 半矢量本征模 semivec_ng:计算 1.9572 ↔ 实测 1.892,|diff|=0.0652 < tol 0.10),其余 6 道(E1、E3-E7)candidate 仍为占位自证(candidate≡golden,|diff|≡0) —— 其 PASS 只能算「自洽」,不算「验证」,已在 note / 报告 candidate_desc / CI smoke 断言三处如实标注(宁可红,不可假绿)。注意:E1 的 golden 已升 A 级,但不改变其判决路径仍为自证桩这一事实(半矢量对 SOI 高对比度系统性偏高 +0.0276、FDFD 直波导 n_g=3.74 对实测 4.18 差约 10%,两条路都不达标)。🔴 R16(亚网格 ε 平均)已于 2026-09-01 实测证伪:上 averaging + 网格细化 dl=24→64 均无效,根因=①FDFD 标量求解器精度不足(直波导 n_eff 偏差 0.18~0.37)②对象不对齐(golden 来自弯曲/环器件,FDFD 解直波导,弯曲使 n_g 天然高 ~0.46)。故 E1 保持自证桩、不强行接候选C 方案诚实边界,与 D-66 一致)。真实晶圆厂 NDA 实测仍属发动期。
  • ⚠️ 候选求解器的精度边界(D-65 如实披露 · 2026-09-03 换将)标量 FDFD 本征模求解器对高反差细波导精度不足——直波导 n_eff SOI=2.62(文献2.44,+0.18)、SiN=1.61(文献1.98,−0.37),且 n_g 随计算窗口散射 ±0.04~0.08(仅改 clad=1.5→4.0µm,n_g 在 1.878~1.962 间跳)⇒ 其 PASS 可能只是窗口挑得好。🔴 原 D-65 诊断「网格过粗」不准确:实测 dl=24→64(λ/64)n_g 变化 <0.02,早已收敛,散射实为计算窗口尺寸扫描造成。已由 v0.9.23 换将解决:新写 lda/lda_solver/semivec_mode_solver.py(2D 半矢量本征模,准 TE/TM 分离、界面调和通量、Dirichlet ghost-point),同口径窗口散射 <1e-5(小 4 个数量级),且精度由 A 级实证对照端到端校准到 Δ=8.4e-5(Si₃N₄ 1.2×0.3 纯净对照组,实测 n_g=1.9666)。🔴 换下的 FDFD 不作废_fdfd_ng_candidate 保留为历史候选(D-65/R16 证据复现),但因无锚题再引用它取消登记——run_benchmark_falsifiability_smoke 的「已登记候选类型与实测独立锚一致」护栏本就该对「登记了却没人用」的失配报警。🔴 半矢量的边界:它是约束变分问题 ⇒ β² 系统性偏高,不得用于 SOI 高对比度(3.478/1.444 实测 +0.0276);全矢量在 collocated 网格上数学不可能(E 形式 δ 落在 E_y 跳变点、H 形式两个 δ 需精确抵消而离散时破坏)⇒ 须走 Yee/Nédélec,非本模块职责。
  • 锚题独立候选化 P0-1(v0.9.14 · 2026-09-02 · 战略审计 R1 第一刀):2026-09-02 战略审计实测发现 48 锚中 47 道是自证桩——build_harness_specs 对所有非实证锚一律落 _harness_reference_candidate(candidate≡golden、|diff|≡0 恒 PASS);且 B 类 28 道连"接入独立候选"的入口都没有(只有 E 类能指定 candidate: "fdfd_ng")。全绿 ≠ 可证伪。本次首开 B 类接入口(BENCHMARK_CANDIDATES 注册表 + candidate 字段分发),并接通 4 道真独立候选:B9 / B25(golden=Koch 色散解析 ↔ candidate=电荷基严格对角化,41 维 eigh)、B26(golden=Blais 微扰闭式 ↔ candidate=L=6 多能级+Fock 联合对角化,162 维 eigh)、B27(由严格 χ 反推 t_CZ)。实测偏差 B9/B25 rel 0.22%、B26 rel 1.98%、B27 rel 2.02%,均非 0 ⇒ 真可证伪。tol 相应放宽(B25 1e-6→0.05、B26→1e-4、B27→30ns),依据=实测偏差的 2.2~2.5 倍余量,逐条写入 note。新增 run_benchmark_falsifiability_smoke.py 常驻护栏(入 CI core,84→85):①独立候选数下限 ②正向 PASS ③反向测试:10% 参数扰动必 FAIL(证明 tol 没放水到"什么都抓不住") ④最小可检出扰动 ≤10%(实测 B9 2%、B25/B26/B27 各 5%)⑤全量 48 锚无回归。⚠️ 诚实边界B26 在 g 扰动 +1% 处 diff 反而变小(1.68e-6 < 未扰动 4.57e-5)——扰动方向与近似误差偶然抵消,属物理正常现象,但意味着小幅系统误差存在检测盲点,这正是放宽容差所付的代价,故反向测试取 10% 稳健档而非单点小扰动;另 B27 与 B26 共用同一数值 χ,独立性弱于 B26,只验证「χ→t_CZ 换算链路」,不重复计入独立强度(已用 candidate_status 机器可读字段区分"严格独立"与"降级量级参考",E2 即后者)。剩余自证桩按 P0 计划继续接线 —— 🔄 v0.9.16 已降至 40/48(B3/B4/B20 三道新接线转严格独立,见下条;当前自证桩(v0.9.28 刷新) = 全部 S 类 13 道 + E1/E3-E7(6 道)+ B1/B2/B5-B7/B10-B19/B21-B24(8 道,B8 于 v0.9.26、B28 于 v0.9.28 接线转严格独立))。⚠️ 作用域澄清:LDA 有三条验证路径各自用不同 candidate——①build_harness_specs+cand_map(本轮改到,4 道独立)②harness.run(specs, ReferenceCandidate)run_harness.py 对外主报告,仍全自证、verified=0)③L3AISolverCandidate_local_approx(MCP/L1/WebUI,41 道 return golden)。「4 道可证伪」当时仅在路径①成立,对外验货面走②③、仍显示 diff=0。✅ 该缺口已由 v0.9.15(P0-2)闭合:②run_harness.py 默认候选改为 IndependentCandidateRouter(按 spec_id 路由,未登记者诚实回落),对外主报告 verified 0 → 4;③l3_ai_solver.py 订正注释与实现不符、新增 is_independentLLM 启用时一律 False),--ai 的 verified 假绿 45 → 诚实 2;对外账本 /api/verification_ledger 三分类改为动态推导并新增第 ⑦ 项常驻护栏钉死「端点口径 ≡ 冒烟口径」。
  • P0-2 独立性接到对外验货面(v0.9.15 · 2026-09-02)verified 从「只在内部 smoke 里存在」变成对外账本上的真实数字。三分类定稿:严格独立 4 道(B9/B25/B26/B27)· 降级量级参考 1 道(E2)· 自证桩 43 道(三类和 = 48 校验通过)。四处改动:①harness.py_SpecShim+IndependentCandidateRouter(把 dict spec 适配成候选所需对象接口 ⇒ 路径①候选零改动复用到路径②),BenchmarkResultindependent 三态字段(True=独立 / False=自证 / None=未标注旧路径 ⇒ 渐进式改造、旧路径行为完全不变)②report.py 新增 verified_count()全库唯一权威口径,混合态下报告分列「N 项独立 / M 项自证」,不再让「48/48 通过」被读成「48 项已验证」③run_harness.py 断言升级为双向护栏(多算=把自证桩当已验证 / 少算=独立候选被降级 / verified+stub≡total 不得有第三态漏算)④对外账本去硬编码并加第 ⑦ 项护栏。⚠️ 护栏自身已做反向自检:临时改坏端点分类条件后 smoke 立刻 exit=1 且精确报「E2 从降级掉到自证」,确认会响后才恢复代码——没被验证过的护栏不算护栏⚠️ 诚实边界未变:独立候选仍只有 4/48,本次只是让对外如实显示,而非提高验证强度。⚠️ 生产实测又查出 1 处对外与实际的口径差(已修,根因留 P0-3):端点 harness_cli 原写 stub=43,而 CLI 报告实际是 44——因为 fdfd_ng 未登记进 BENCHMARK_CANDIDATES,E2 在路径①是真 FDFD 候选(实测 golden 1.892 / cand 1.9587 / |diff|=0.0667,分类=降级量级参考),在路径②却回落成自证桩 ⇒ 路径② 的「非独立」= 43+1 = 44。已改照实写 44 并新增 trichotomy_totals 把两套口径同时暴露,护栏 ⑦ 补两条断言(反向自检:改回 43 立刻报 CLI stub=43≠44)。🔴 登记 P0-3:修复需把 fdfd_ng 登记进表is_independent 尊重 degraded_ordinal,否则 E2 会被判独立且 PASS ⇒ verified 从 4 虚报成 5(假绿)——这是「接线越多越容易假绿」的典型;当前属低估不属虚报。✅ 已于 v0.9.16 闭合(见下条)。
  • P0-3 闭合 + 光子侧低成本批次(v0.9.16 · 2026-09-02 · 严格独立 4 → 7)三分类刷新:严格独立 7 道(B3/B4/B9/B20/B25/B26/B27)· 降级量级参考 1 道(E2)· 自证桩 40 道(三类和 = 48 校验通过)。①P0-3fdfd_ng 登记进 BENCHMARK_CANDIDATESharness.py 新增三分类常量(全库唯一定义处)与 candidate_class(bid) / describe_trichotomy()is_independent 改为「== STRICT」。🔴 判序是关键:必须先判 candidate_status == degraded_ordinal 再查登记表 —— 反过写,E2 一登记就会被判成 strict ⇒ verified 从 7 虚报 8。反向自检 A 精确复现该假绿(独立数=8≠路径①7;路径②三分类=(8,0,40)≠路径①(7,1,40))。②光子侧 B3/B4/B20:新增 3 个频域峰周期拟合候选(fp_fsr_peakfit / ring_fsr_peakfit / mzi_fsr_peakfit),tol 一律未放宽,实测残差 rel 1.4e-8% / 2.0e-7% / 2.3e-9%,余量 2000× 以上;反向 10% 扰动三道全 FAIL(B20 最灵敏,≤0.1% 即可检出)。③护栏升级为三分类双向复核:非自证桩 ⇒ |diff| 必须非零;自证桩 ⇒ |diff| 必须为零 ⇒ 既能抓「假独立」也能抓「漏分类」。④路径②三模式全通:默认 verified=7 / --perturb 0.10 10 / --ai 2(诚实值,未误伤)。⚠️ 诚实边界:自证桩 40/48,光子侧新接三道验证的是「峰位周期性」而非器件全物理。
  • 量子侧五道接线(v0.9.17 · 2026-09-02 · 严格独立 7 → 12):B12/B13/B22/B23/B24 五道接成真独立候选(离散 TL 三对角本征 / 441 维电荷基 / 双基对拍 / 三模 Fock 截断),自证桩 40→35;tol 仅 B13 收紧 50×(0.10→2.0e-3)/ B24 按实测重定(1e-6→3e-5)、余未动;判据窗口铁律确立(baseline 残差 < tol < min 反向扰动信号,B13 逐键信号谱披露盲区);全量回归抓出 B24 候选返回 numpy 标量致 run_harness JSON 序列化 TypeError,已修(candidate 返回值 float 包裹)。⚠️ 诚实边界:独立 12/48、自证桩 35。
  • S13 设计良率锚接线(v0.9.18 · 2026-09-02 · 严格独立 12 → 13):S13(环形 FSR 设计良率 DFY)golden=蒙特卡洛仿真良率(种子 1313/20000 点)↔ candidate=解析高斯积分闭式(Φ 精确解,保留 1/L 非线性)双算法互证;自证桩 35→34;tol 未动(0.01,残差 3.4e-4 余量 29.7×);🔴 方法学铁律:S7/S8 解析均值是硬编码常量且对 σ 不敏感(均值定理)→ 伪独立陷阱实测证否不接;B15 判「tmm.py 物理模型错配」留 v0.9.19。⚠️ 诚实边界:独立 13/48、自证桩 34。
  • B15 波导光栅严格求解器接线(v0.9.19 · 2026-09-02 · 严格独立 13 → 14):v0.9.18 判「不接」的前提(只有 tmm.py 可用)被推翻——写正确的求解器本身就是解法。新写 lda_solver/bragg_solver.py:E(z)=n_eff²·(1+m·cos(2πz/Λ)) 的反周期 Bloch 广义本征值问题 A ψ=β²B ψ(反周期边界锁定 k=±π/Λ,谱最低简并对=第一 Bragg 带隙,中心→λ_B=2π/β_c)↔ golden 一阶相位匹配闭式 λ_B=2·n_eff·Λ,物理同源、方法独立(运动学 vs 动力学全波本征谱);自证桩 34→33;tol 未动(0.01,残差 8.36e-6 余量 1196×;反向 n_eff×1.1 信号 1.55e-1 余 15.5×);网格 N=240 双向标定(N=480 偶然抵消、N=960 越 LAPACK 地板反升,均避开);无调制极限自校(简并劈裂 3.7e-13~2.7e-11 机器精度命中 π/(Λ·n_eff))。⚠️ 诚实边界:独立 14/48、自证桩 33。
  • B14 定向耦合器接线 + golden 语义修正(v0.9.20 · 2026-09-02 · 严格独立 14 → 15):🔴 D-66「怀疑 golden 本身」第 4 例——原式 λ/(2Δn)=15.5µm 是完全转移长度(P₂=sin²(π/2)=1.0,RK4 数值实证)被错标 3dB 点;真 3dB 点=λ/(4Δn)=7.75µm(P₂=sin²(π/4)=0.5)。golden 修正 + 同源消费点 4 处一并修(_dc_supermode_core 相位校验 Δβ·L=π→π/2 等);tol 0.5→0.25 同比重定;kernel_seal smoke 动态跟随 5/5。候选=新写 lda_solver/dc_cmt_solver.py:增量 2×2 复传播矩阵数值传播 → P₂(z) FFT 拍频谱峰(Hann 窗+抛物线细化)→ L_3dB=L_P/4(B3/B4/B20 同款「数值序列提取频域周期」方法学,与 golden 闭式反解独立)。🔴 方法学发现:二模恒耦合系统传播矩阵是精确旋转,「数值传播+根查找」路线(RK4/分段 TM/采样插值)全部退化为机器精度(8e-15~4.6e-13)→ 撞 1e-12 自证桩判据 ⇒ 必须 FFT 谱峰路线(baseline 1.56e-4 非机器精度);反向 n_e×1.1 信号 6.44(25.8×);自证桩 33→32。⚠️ 诚实边界:独立 15/48、自证桩 32。
  • B1 米氏散射接线(v0.9.21 · 2026-09-02 · 严格独立 15 → 16):新写 lda_solver/mie_solver.py 完整 Mie 级数(B&H 4.53 + Wiscombe 截断,纯 numpy)↔ golden Rayleigh 一阶极限;|diff|=Rayleigh 固有截断误差(-0.001%@x=0.01 → 1.388%@x=0.4,「x≪1 精确一致」的定量边界);数值自检双锚(x→0 收敛 + scipy 交叉验证 ≤3e-8)。🔴 环境确定性修复:golden use_miepython=True 会在装有 miepython 的环境切完整 Mie ⇒ golden 环境相关、判决不可复现——default_params 钉死 False。baseline 3.945e-5(tol=2e-4 未动,余量 5.1×);反向 m×1.1 信号 2.357e-3(11.9×);自证桩 32→31。⚠️ 诚实边界:独立 16/48、自证桩 31。
  • E2 升级为严格独立候选(v0.9.23 · 2026-09-03 · 严格独立 16 → 17 · 降级 1 → 0)三分类刷新并首次「降级清零」:严格独立 17 道 · 降级量级参考 0 道 · 自证桩 31 道(三类和 = 48)。E2 是升级不是新增(它原本就在 independent 里,只是被 candidate_status=degraded_ordinal 挡在死标量判决之外)。①换候选fdfd_ng(标量 FDFD)→ semivec_ng(新写 lda/lda_solver/semivec_mode_solver.py,2D 半矢量本征模:准 TE 方程 ∂ₓ[(1/n²)∂ₓ(n²u)]+∂ᵧ²u+k₀²n²u=β²u、界面调和通量、Dirichlet 墙面 ghost-point、Sellmeier 材料色散、λ 中心差分求 n_g)。②换将的两条实测理由:窗口散射 ±0.04~0.08 → <1e-5(L=5.0/6.0/8.0µm 实测 1.956401/1.957177/1.956362,极差 8.15e-4);辨 TE/TM(标量解只有一个,对不上实测 TE 1.892 / TM 1.717)。③精度凭据(唯一凭据,缺此不可宣称):自校锚③ A 级实证对照——Si₃N₄ 1.2×0.3 纯净对照组(无 SiOC、全 silica 包层、R=100µm 无弯曲、λ²/(FSR·L)=1.9666 口径自洽)实测 n_g=1.9666 ↔ 计算 1.966684 ⇒ Δ=+8.4e-5,同材料体系同尺寸量级 ⇒ 端到端校准「算子+色散+数值微分」整条链路。另有两道可分离精确解自校锚(均匀方向退化为 Dirichlet 区间 −∂²,基模 (π/L)²),h 减半 Δ 降 3.5×(O(h²) 收敛)。④判据窗口实测三元组:baseline 0.0652 < tol 0.10 < n_core×1.1 信号 0.3600(3.6×);n_core×0.9 信号 0.2231;灵敏度 2%。🔴 四个弱键抓不住,如实登记不掩盖:w_um×1.1 0.0764 / w_um×0.9 0.0511 / h_um×0.9 0.0191 / n_clad×1.1 0.0173 均 < tol ⇒ 反向测试只用 n_core,不改用弱键充数。⑤新增常驻护栏 run_semivec_mode_smoke.py(入 CI core 85→86,实测 89s):自校锚 5 项 + 三窗口散射 <1e-3 + 正向 PASS + baseline 非零(防回落 golden)+ 判据窗口上下界双向。理由=铁律「没被验证过的护栏不算护栏」——升级凭据若只写在 note 散文里,改网格/窗口/ARPACK 参数就会静默失效。⑥顺带修正 D-66 第 7 例E-SIN-NG-1200n_clad 1.44→2.2(原文逐字 "SiOC film ... n = 2.2")。⚠️ 诚实边界(必须与结论一起读)残差 0.0652 不等于精度已验证 —— 残差主成分是 ①对象不对齐(golden 1.892 来自 OFDR 腔群延迟,候选解直波导;同文 MZI 直波导交叉验证 1.901.92,不对齐本身值 ~0.02 量级)②制造公差(h_um ±10% 就移动 n_g ∓0.046,300nm LPCVD 膜厚公差轻松达 ±5%)。⇒ tol=0.10 中没有多少物理裕度,E2 只能宣称「独立求解路径 + 判决可证伪 + 量级与公差内一致」,不宣称精度验证。另:候选采用 Sellmeier 色散(物理事实),关掉色散时 n_g=1.921778(Δ=+0.0298,反而更近)——不据此择优,择优凑近 golden 即拟合回算(红线)。
  • B28 数值零点拟合接线(v0.9.28 · 2026-09-03 · T-2 · 严格独立 20 → 21)三分类刷新:严格独立 21 道 · 降级量级参考 0 道 · 自证桩 27 道(三类和 = 48)。B28「MZM 半波电压 Vπ」golden=解析闭式 λ₀d/(2n³rΓL) ↔ 候选=新写 lda_solver/mzm_vpi_nullfit.py:按 Pockels 相位链算推挽 MZM 传输谱 T(V)=cos²(Δφ_arm(V)),电压网格采样 → 首个传输零点 → 三点抛物线定顶(= 实验 Measure Vπ 标准流程的数值化,从不求值闭式,与 B3/B4/B20「数值谱特征拟合 vs 解析闭式」同族已判定独立模式)。基线残差 7.6e-9 V(tol=1e-3 的 0.0008%,≫1e-12 双向可标定);反向 r_eff+10% ⇒ |ΔVπ|=0.3437 ≫ tol 必 FAIL。🔴 判据 D 双对照(本锚最有价值):新候选 n_voltage 2→512 残差 1.91e-3→2.34e-8 随网格真实收敛 ✅;同锚旧候选沿程积分(mzm_vpi_integral)= 判据 D 反例 —— 均匀段剖分守恒 ⇒ 与闭式代数恒等(残差恒 4.44e-16、扰动同步响应)⇒ 保留为报告侧交叉验证、不作 harness 独立候选。护栏 run_b28_nullfit_smoke.py 8/8 PASS(~3s,CI core 89→90,含判据 D 双对照 + 登记防回退断言)。⚠️ 诚实边界:同一 1D Pockels 模型,独立性在「解法」不在「模型」;均匀 Γ 假设(求解器支持任意 Γ(z))。
  • T-1 判据 D 立法 + 全 20 道普查(v0.9.27 · 2026-09-03):发现判据级缺陷 —— 现行行为判据拦不住「代数恒等的另一种写法」(B28 沿程积分反例);立法 candidate_discretization_responds()(固定物理参数只扫候选自身离散参数,真数值方法截断误差必响应,恒 1e-16 ⇒ 假独立)于 harness.py 单一定义处。普查结论:0 道假独立(19 道基线残差 1.85e-81.5e-2 值域排除恒等;B10 基线=0 属过度收敛特例,t/T1=1.0 深验 O(h⁴) 通过)。⚠️ 判据 D 必须双向标定(默认参数常落过度收敛区,B10 差点误判)。护栏 run_d_criterion_smoke.py 9/9 PASS(~15s,CI core 88→89,含 B28 反例必 FAIL 断言)。
  • B8 锥度传输 EME 接线(v0.9.26 · 2026-09-03 · 严格独立 19 → 20)三分类刷新:严格独立 20 道 · 降级量级参考 0 道 · 自证桩 28 道(三类和 = 48)。B8「绝热锥度传输 T→1」golden=常量 1.0(绝热定理 + 能量守恒)↔ 候选=新写 lda/lda_solver/eme_taper.py(本征模展开:每切片解完整 Helmholtz 本征值、无旁轴假设,切片间模式重叠矩阵投影,功率守恒内建 T≤1)。实测 T=0.999953504,1−T=4.65e-5(tol=1e-2 未动,占 0.47%);反向非绝热短锥 w2=3.0/L=1.0 ⇒ T=0.43528 必 FAIL。🔴 BPM 两轮实测证否(模型误差非数值误差):T 随 L 单调下降(2→0.9967 / 25→0.9936 / 200→0.9729)与绝热定理反号,减小 dz/加密网格均不收敛 ⇒ 旁轴近似在窄端弱导模上失效(展开参数 65%),已删 bpm_taper.py。🔴 EME 三坑:固定 n_slices⇒判据零判别力(T 在 L=2 与 200 同值 0.996);剖面硬判据⇒锥度退化成 ~8 次突跳(dx=0.02 时半宽只跨 7.5 格);倏逝模先被 maximum(w_,0) 截断成 β=0、改复数 sqrt 后又取主值 +i|β| ⇒ exp(+|β|dz) 指数增长(L=5→4e30)⇒ 正确分支 Im(β)<0。✅ 模式解算器独立验证:n_eff 数值 vs 平板 TE0 解析色散 1.85971/2.21863,O(dx²) 收敛(比值 →4.00);自校锚从单点阈值改为「收敛到解析值」。🔴 新增常驻护栏 run_eme_taper_smoke.py(9/9 PASS,~33s,入 CI core 87→88)。⚠️ 诚实边界:EIM 降维 / 单向近似 / 短锥度 L≲2µm 未收敛(单调性锚只取 L≥5)。🔧 顺带把 E3 的「实测↔解析交叉验证」改标为「自洽性检查(非独立交叉验证)」(golden 与解析式共用同一反算 n_g)。
  • B19 无源无增益接线 · 首开不等式锚 cmp='le'(v0.9.25 · 2026-09-03 · 严格独立 18 → 19)三分类刷新:严格独立 19 道 · 降级量级参考 0 道 · 自证桩 29 道(三类和 = 48)。B19「无源链路 max|T|≤1」golden=常量上界 1.0(无源性/能量守恒硬约束、不依赖任何模型)↔ 候选=lda_chain 真实链路引擎端到端级联(build_wdm_link → route_and_simulate → max_transfer_of,候选不知道 golden 是多少)——方法学独立最强一档。🔴 首开不等式锚 cmp='le':新增 cmp_le/cmp_ge/compare_fn_for 修复 path① 硬编码 cmp_abs 的假 FAIL(candidate=0.9998962 在 cmp_abs 下假红)。🔴 行为判据 v0.9.25 升级candidate_responds 比候选自己基线而非 golden,抓「常量缩放桩」)。🔴 B19 反向测试 = 注入负增益(monkeypatch 弯曲损耗翻负 ⇒ max|T|≈1.0056>1 ⇒ 必 FAIL,非参数扰动)。⚠️ 诚实边界:余量仅 1.2e-4。全量 smoke 11/11 PASS。
  • B10 门保真度接线 + D-66 第 8 例(v0.9.24 · 2026-09-03 · 严格独立 17 → 18)三分类刷新:严格独立 18 道 · 降级量级参考 0 道 · 自证桩 30 道(三类和 = 48)。①新写候选 lda/lda_solver/lindblad_gate_fidelity.py:单比特 Lindblad 主方程 dρ/dt = γ₁D[σ₋]ρ + γ_φD[σ_z]ργ₁=1/T1γ_φ=(1/T2−1/(2T1))/2)→ 4×4 超算子(row-major vec:D[A]=A⊗conj(A)−½[(A†A)⊗I+I⊗(A†A)ᵀ])→ RK4 数值积分:对 4 个 Pauli 基各积分一次即得完整 PTMPTM[i,j]=½Tr[σ_i·Λ(σ_j)])→ 平均门保真度 F=½+(Λ_xx+Λ_yy+Λ_zz)/6。↔ golden = 解析闭式 (3+2e^{−t/T2}+e^{−t/T1})/6(独立 math.exp 实现)。方法学独立:候选不套任何衰减率闭式、不假设 PTM 对角(实测 PTM[Z,I]=−2.4997e-4非对角下三角元 = 振幅阻尼把激发态布居转到基态,闭式里根本没这一项)。②🔴 D-66 第 8 例(golden 本身被证否):旧 golden exp(−t(1/T1+1/(2T2))) 与严格解差 2.638e-4,而全部 10% 扰动信号仅 1.5e-5~4.2e-5 ⇒ 基线差大于任何扰动信号 ⇒ 判据窗口在旧 golden 下不可能成立(这是发现它的入口:不是怀疑公式,是「接不出判据窗口」倒查上来的)。③tol 0.01 → 1e-8(收紧 1e6 倍):旧 tol 允许 F 掉到 0.99,比真实门误差 1.53e-4 大 65 倍;六路 10% 扰动信号比旧 tol 小 240660 倍 ⇒ 此前该锚形同虚设。新判据窗口 baseline 1.11e-16 < tol 1e-8 < min 信号 3.787e-6,余量下界 9e7× / 上界 379×,三键六路全部可抓(T1± 3.787e-6/4.628e-6、T2± 1.010e-5/1.234e-5、t_gate± 各 1.527e-5)。④🔴 铁律升级 —— 自证桩判据从「值」改为「行为」:新增 _candidate_responds(sp, cand_fn, oracle_value)(扰动全部数值参数 ±10%,看候选值有无物理响应)。升级动因(不是理论洁癖,是实测被咬):B10 残差真实为 1.11e-16,旧判据 |cand−golden|<1e-12 ⇒ 自证桩 把它打成自证桩,与路径⑧(按登记表判独立)当场打架 ⇒ 可证伪性 smoke 首轮 5/8 FAIL。🔴 更本质的判据:自证桩的充要特征不是「残差小」,而是「跟着 golden 走」——_harness_reference_candidate 直接 return oracle_value完全不看 spec.params ⇒ 扰动参数后候选值纹丝不动;真候选扰动后有真实物理响应(B10 达 1.5e-5)。新判据 = 「残差≡0 扰动无响应 ⇒ 自证桩」,比旧判据严格更严(旧判据既会误伤「残差恰好小」的真候选,也会漏过「残差恰好大」的自证桩)。路径①与路径⑧同步升级 ⇒ 8/8 恢复全绿。⑤⚠️ 三条诚实边界(必读)(a) 生产档位残差不可标定 —— |L|·t≈2.5e-4(t_gate=0.02µs、T1/T260-80µs)⇒ RK4 从 N=5 到 N=400 残差恒为 1.11e-16 且与步数无关与自证桩的 |Δ|≡0 在数值上无法区分不拿它当验证凭据。「候选真在工作」改由三条可标定自校锚证明:PTM[Z,I] 与解析值 −(1−e^{−t/T1}) 逐元素比对(差 2.2e-16,但该值 −2.5e-4 远在机器精度之上)、敏感 regime(t=200µs,|L|·t≈O(1))残差 5.57e-9 且 N 加倍降 16.34×(严格 O(h⁴),理论 16×)、t→∞ 稳态 F→0.5(完全退相干通道把任意输入映射到 |0⟩⟨0|),外加六路反向扰动。(b) T=0 热库 + H=0 idle 门口径 ⇒ 结果是退相干极限上界,未含脉冲形状误差/泄漏/串扰,不是实测门保真度(c) T2>2T1 属非物理输入(γ_φ<0),golden 与候选均抛 ValueError 而非 clamp —— clamp 会让非物理参数产生看似合法的保真度。⑥新增常驻护栏 run_lindblad_gate_smoke.py(13 项全 PASS,<3s,入 CI core 86→87),含反向断言「现行 golden 与已证否旧经验式的差必须 >1e-4」(防有人改回去,实测 |差|=2.6383e-04)。⑦连带修正 pdk_examples.py 的 B10+B9 逆设计目标 0.99 → 0.9999target_tol 0.01 → 5e-4、bounds 下界 0.05 → 0.001µs —— 新 golden 下 t_gate∈[0.05,1.0]µs 内 F 只能取 [0.99242, 0.99962],0.99 根本不可达(要 F=0.99 需 t_gate≈1.33µs,远超超导单比特门物理区间 10~50ns);旧 target_tol=0.01 比整个可达跨度 7.2e-3 还大、无意义。新目标 0.9999 对应 t_gate≈13.1ns。🔴 踩坑登记(已写入生产模块 docstring)row-major vec 下 bipartite 分解不是裸 np.kron(L, I₄) —— 2-qubit row-major vec 索引顺序是 (iA,iB,jA,jB),而 kron 要求 (iA,jA,iB,jB) ⇒ 直接 kron 构造 16×16 超算子会让 ρ 根本不演化、F 恒等于 1.0(探针 v1 实测,N=10 到 400 输出完全相同)。解法:不构造 Choi 矩阵、不升 2-qubit 维,改用 4×4 Liouvillian + 4 个 Pauli 基各积分一次 ⇒ 数学等价、更省,且顺带拿到可标定的非对角元自校锚。

仓库镜像

变更记录

CHANGELOG.md(v0.2:设计→验证闭环引擎 + 统一设计包规范;v0.3:GPU 激活 + 量子读出最终形态 + 混合巨型系统v0.4:真实版图基元 + 2D/3D 端口 S 参数验收 + 伴随法逆设计 + 流水线真实化)。

参与共建 · 反向悬赏

LDA 把「真实测量 + 开放对抗题」作为信任地基(对抗纯 AI 互证)。欢迎社区 / 退休专家 / 学生 提交实测语料让 AI 求解器翻车的对抗题

  • 提交通道:New Issue → 实测语料提交 / 对抗基准题提交(结构化模板)
  • 悬赏与评审机制详见 BOUNTY.md
  • 征集字段与 lda/lda_harness/seed_empirical.json 完全对齐

双引擎招募(学生 + 退休专家)

LDA 开源生态靠双引擎驱动——有时间有热情的学生、有资源有情怀的退休专业人士。完整招募入口、布点、话术与顾问委员会架构见 RECRUIT.md

项目介绍物料(对外一整套)

想快速了解 / 转发 / 触达不同对象,直接用这套分受众物料:

许可证

MIT

贡献者署名见 AUTHORS(社区评审流收录机制见 BOUNTY)。

About

LDA · Agent-native 光子芯片(PDA)+量子芯片(QEDA)设计软件:AI agent 递归自举核心求解器

Resources

Contributing

Stars

1 star

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages