Skip to content

发现管线化批:发现轮第六轮型+六步四门+span 级逐字回引(#206 伞;closes #207-#210, #217) - #218

Merged
steponeerror merged 40 commits into
masterfrom
feature/discover-pipeline-v0
Oct 26, 2026
Merged

steponeerror merged 40 commits into
masterfrom
feature/discover-pipeline-v0

Conversation

@steponeerror

Copy link
Copy Markdown
Owner

发现管线化批:发现轮第六轮型+六步四门+span 级逐字回引(#206 伞)

问题

发现侧(新情报源发现)此前跑在 legacy 聊天面(agent.mjs discover):无管线、无门、无台账留痕——模型产出不经任何验证即成候选,与运营轮「十步十门」的纪律完全不对称。ADR 0010(2026-10-25 发现侧调研+grilling 七问全采后立法)裁定:发现轮管线化,与运营轮同律。

变更(票 #207-#210 + 终审补票 #217)

验证(合流终数,merger 独立复算+主会话亲跑)

门 结果
selftest-pipeline 104/0(基 96+T2 span 4+T3.5 E2E 4;接线回退红证=恰 100/4)
golden(真跑 run-golden) 10/0(9+pipeline_discover_full_faux)
selftest-contract 19/0(18+表头三抄对拍哨)
selftest-t4 63/0
standard-check OK=56 FAIL=0 条文=15 挂点=40(删 D-7 挂点行=FAIL exit 1)
pytest(core+eval+sources+lookup) 1693 passed / 5 skipped
selftest.sh 伞 116/0

红证留痕:PROPOSE 回退 ENQUEUE 字面量=候选行断言红 99/1;三负例(幽灵/半真/改写)活体探针全拒恰等收;接线回退=恰 T3.5 四例红;表头单侧改=哨红。四份实现报告+三份 merger 报告(DP-T*/DP-T*-MERGE-REPORT.md)+双轴终审两报告在案。

部署注记

纯 ops/agent+backend/eval 面,查询面/前端零改。OPS_DISCOVER* 三旋钮经 SPAWN_CONTRACT_ENV 自动继承。首真发现轮(部署后)观察点:d3 tool_seeds+09-budget readings.discover_channels;MEASURE 不可算判据显式 uncertainty 是设计(宁少算),非故障。

Closes #206, closes #207, closes #208, closes #209, closes #210, closes #217

- discovery-host.mjs:mkDiscoveryHost={tools,seeds,channelCounts,call};实现零复制
  (discoveryMethods 经适配器 this.finish 收口);守卫链 dup→breaker→cap 与
  tools.mjs beforeToolCall 同序;被拒=零执行零登记入 blocked 观察面;MEASURE 侧
  host.call 补发 measure-N call-id
- 配额一等公民:通道分列计数(纯聚合 aggregateChannelCalls+readings 构造器
  discoverChannelReadings,不变量 ok+failed=calls 违者掷错;breaker 快照沿用
  steps.mjs readings.breaker 不重造)
- selftest-pipeline 81→88 例:宿主守卫链/聚合两形/构造器不变量/真面装载 四例真红
  (模块缺红 84/4+反证红 87/1:blocked 计数破坏即验)
…HLY_CAP_CNY 同键同缺省,admitOrRefuse 同一函数留痕轮次列 per-type);SPAWN_CONTRACT_ENV 三名入表
…单留痕不炸轮)/MEASURE(本地存在性+uncertainty hold)/ENQUEUE(#139 flock 写 queue.md,判据常量 0.25 模型无权改);四门 T1 最小形状版;LEDGER_TAGS/ENQUEUE_EXCLUSIVITY_GATE 单源导出;canned shortlist fixture+prompt
…me/RUNNABLE/STAGE_PREFIX/旋钮回退/信封报错文案 per-type;token 界=发现轮跳过;main 加 discover 子命令)+selftest 新增 8 例全绿(基线 81 不降=89/0)+健康轮门/工件断言 per-type 化(HEALTH_PIPELINE 派生单源)
…scover-candidate.mjs:133),一词一拼与 T3 appendCandidateCard 同源;死路面(T1 恒 control_executable:null 全 skip)也先对齐防活路拼写分叉;selftest 钉面同步(action=PROPOSE+去重键)。红证:回改 ENQUEUE 字面量→95/1,还原→96/0
…少算:名不同=漏匹配不算落地;无提案→None 不虚构 0%)②排他率分布(rounds/*-discover*/d3-measure 聚合,四桶沿含 0.25 ENQUEUE 门槛,零读数→None)。northstar_record 扩 proposed/landed/exclusivity 三注入 kwarg+discover 节;render 第二行发现轨(ADR 0010,只观测不持门,N/A 哨兵三态分立);__main__ 接线 ops_root() 单源(生产 P2 桥与 node DOCS_ROOT/ops 同址)。零持门三重实证:零 exit(monthly.py 无 exit 面)/不进回归族(replay/monthly_eval 零 discover 消费,门面命中=T1 环内四门非北星)/CI 零改。红证:ImportError 真红→26 passed(全 eval 493 passed)
… 只写不动作+PROPOSE 词)+八挂点(DISCOVER_PIPELINE/四门/mkDiscoveryHost/CANDIDATE_ACTION/load_discover_proposals,挂点 31→39);spanMatcher(citation.mjs)挂点留 #208 合流补挂并注判例链(死锚=伪标准);GLOSSARY 铸词 PROPOSE 一行式(与 ENQUEUE/REJECT 人裁闭集分立,一词一拼);序言计数未动(以原语表为准,#187)。红证:删 D-7 门挂点行→FAIL=1 缺门挂点字段,复原→55/0 挂点39
…00s/¥5,月帽共享 ¥30 admitOrRefuse 同面)/北极星(发现侧两腿同零持门律,#210 T4 观测件)/实绩回流(discover 找源已升格发现轮管线:六步四门,ENQUEUE 只写不动作,候选行 PROPOSE,开票/接源全人裁);一词一拼与 ADR 0010/GLOSSARY 对齐
…3 校验器+discovery-host+PROPOSE 候选卡/T2 span 三面注明未合流/T4 PROPOSE 统一+北星两腿+D-7 八挂点+GLOSSARY 铸词+DESIGN 翻正);门数字=各工位已证数(selftest-pipeline 96/0、tests/eval 493 passed、standard-check 55/0 挂点39),终数留合流终审更新
…6/0·standard-check 55/0 挂点39·pytest 1224+8skip·selftest.sh 115/0)
…ce)+gates.mjs 四门强化+steps.mjs SCAN faux 缝/text 面/MEASURE 三形存在性+fixtures d1-scan.json+selftest T2 新例(篡改红期/spans/真面直调);红测 95/5 已录,主根因(透传形分类)已修待复跑
…olden 轮型/门数从用例+轮型表派生零手抄(缺省=健康位等价);断言钉 d1 text 面 span 例/d3 三形存在性/d4 零入队/09 旋钮缺省面/台账 pipeline-discover 标签
…_SCAN 指针自洽哨/G_SHORTLIST span 语义门/G_MEASURE 宿主复算(存在性三形+排他率透传)/G_ENQUEUE 三判据+穷尽哨/faux 缝+golden pipeline_discover_full_faux(merger 独立复算全绿)
…test-pipeline.mjs 并集解(citation.mjs 导入+CANDIDATE_ACTION 导入两活;T2 四门强化例与 T4 PROPOSE 钉面例全保活)

# Conflicts:
#	ops/agent/pipeline/steps.mjs
… 39→40)——T2(d8c98a7)已合流,死锚前提消失;判例链注同步翻正(已随 #208 合流补挂,死锚即伪标准判例存照);机检:standard-check OK=56 FAIL=0 挂点=40(逐挂点=逐 OK 行,55 为补挂前面数)
…ne 100/0(基96+T2 span例4)/golden 10/0(9+T2 pipeline_discover_full_faux)/tests/eval 493 passed(core+eval 全量 1224+8skip,northstar 26/26)/standard-check OK=56 FAIL=0 挂点=40 条文=15(挂点数同步 31→40:spanMatcher 挂点已随 #208 合流补挂);双语两面对齐
…nMatcher citation.mjs 挂点移交件①补挂)/monthly.py 北星两腿零持门(入队→落地转化率+排他率分布,N/A 哨兵不虚构)/ENQUEUE 步 action 词统一 PROPOSE(CANDIDATE_ACTION 单源一词一拼)/GLOSSARY 铸词 PROPOSE/DESIGN §6 三处翻正/CHANGELOG 双语伞条终数(移交件②)。merger 独立复算:试合 d8c98a7(steps.mjs 导入面冲突并集解两活)+门全绿(pipeline 100/0·golden 10/0·standard-check 56/0 挂点40·t4 63/0·contract 18/0·selftest.sh 115/0·pytest core+eval 1224+8skip 含 northstar 26/26,三跑时序 flake 判例存照)+红证三重真红(PROPOSE 回退 99/1/删 D-7 挂点行 exit 1/北星 ImportError)
…/CLOSE readings)+queue.md 表头句翻正;基 8611e82,逐件 commit 后续跟进
…UP_CALL_LIMIT 同键同缺省 3,发现宿主 dupLimit 消费点;原 header「T3 接线时消费」注记兑现)——selftest 旋钮族例扩 dup 断言红先绿
…scover_channels 读数

- discovery-host.mjs:ensureDiscoverHost(ctx) 惰性单例(ctx.dupRegistry 复用+轮级
  breaker 挂 ops/breaker.json+dupLimit 消费 readDiscoverKnobs.dupCallLimit);
  fixtureDiscoveryMethods(fx) faux 罐装方法面(measure.json web_reads 表,零网络律,
  未罐装=io_error 诚实信封);replayDiscoverSeeds/aggregateChannelCalls 工件回放链;
  breakerFileOf 单源
- faux.mjs runRealStep:SHORTLIST 真面 tools=ensureDiscoverHost(ctx)(DEEP
  microprobe 同构注入协议;faux 面 tools 仍空=罐装宇宙)
- steps.mjs MEASURE 重写:存在性本地重算保留;url 候选宿主补发 web_read 真执行
  (同守卫链+measure-N call-id+tool_seeds 留痕);三态=measured/uncertainty(
  显式不可算原因:无 URL/宿主拒绝(被拒≠清白)/排他率缺 SHORTLIST 估值勿虚构);
  control_executable=URL 探测 ok 的阳性对照;排他率透传不变(测量面无改估权)
- steps.mjs CLOSE:isDiscover 增 readings.discover_channels 第三键——活宿主
  channelCounts 优先,宿主缺席(resume/重放)工件回放重算;健康轮字节面不变
- pipeline.mjs ctxShape 增 discoverHost 键(C3 键集测试同步)
- fixtures:shortlist.json rDNS 候选 exclusivity_estimate 0.42(#217 正例面);
  新 measure.json 罐装 web_read 读数
- selftest:E2E 正例扩(全 faux 轮 1 候选走通 SHORTLIST→MEASURE→PROPOSE,queue.md
  PROPOSE 行+读数第三键)+四新例(罐装方法面三态/MEASURE 接线三态含 dup 拦截/
  CLOSE 读数面宿主优先+回放+健康轮位等价/接线挂点哨);拆接线回退=4 红已验
…ndCandidateCard 候选卡两新写口);JS/py 双抄+测试 fixture 三面同批一词一拼;新表头跨语言对拍哨(python QUEUE_HEADER↔node QUEUE_HEADER↔首建实写串逐字同+三写口语义哨)

- queue-lock.mjs/_ops_store.py QUEUE_HEADER:首行句改「三写口:ops 轮 queue_action ·
  发现轮 ENQUEUE 候选行 · 发现轮候选卡 appendCandidateCard;后两路 action=PROPOSE
  一词一拼」;列面不动
- test_ops_store.py fixture 同批;test_eval_northstar.py _mk_queue fixture 原缺
  rationale 子句(预存漂移)随本批对齐全句
- tools.mjs 写口注记/discover-candidate.mjs 头注记翻正
- selftest-contract.mjs 新哨:三抄逐字对拍+表头须含三写口语义(回退旧句=哨红);
  形制同锁路径哨
…ed 面+d4 1入队/1skip+queue.md PROPOSE rdns 行+09-budget discover_channels 读数)+prompts/discover/shortlist.md 工具面真接线句翻正——截断现场存量,续作验证后收口
… ensureDiscoverHost,ctx 级 dupRegistry+轮级 breaker)/MEASURE host.call("web_read") 真证据面三态(被拒≠清白,不可算显式 uncertainty 非静默)/CLOSE readings.discover_channels 纯增量键(活宿主优先,回放宁少算)+readDiscoverKnobs dupCallLimit 同键同缺省+端到端正例(rDNS 0.42 走通 SHORTLIST→MEASURE→PROPOSE 落真 queue.md 行;selftest E2E+golden 双面钉)+queue.md 表头三写口翻正(JS/py/fixture 同批一词一拼+contract 哨 18→19)。merger 独立复算:六门亲跑全绿(pipeline 104/0·golden 10/0·contract 19/0·t4 63/0·standard-check 56/0@40·backend 触面 pytest 48 passed)+红证双真(接线回退恰 100/4 四例全 T3.5 新例;表头单侧改哨红)+E2E 亲验(PROPOSE 行真落 queue.md/09 读数第三键在/carrier 显式 uncertainty)+健康轮零漂移字节级对拍(base vs tip 09-budget 规范化逐字同,readings 六键无 discover_channels)
…增词不同区零冲突;工作区陈旧 scanner 铸词草稿弃(落地版锚已校准 supersede)

# Conflicts:
#	CHANGELOG.md
@steponeerror
steponeerror marked this pull request as ready for review October 26, 2026 06:59
@steponeerror
steponeerror merged commit 5855f1a into master Oct 26, 2026
3 checks passed
@steponeerror
steponeerror deleted the feature/discover-pipeline-v0 branch October 26, 2026 06:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment