报告讲稿Seminar
面向不认识本项目的研究生与教授的 45 分钟报告;每页幻灯片下面附完整讲稿(双语),打印视图将两者合排。A 45-minute talk for graduate students and professors who do not know the project; the full script sits under every slide (bilingual), and the print view puts the two together.
核心贡献一句话:XMM-Newton 点源检测似然比的条件宽度可以零参数地写出,其目录区间的偏窄由一个机制解释——两个几乎相消的大项中约 1 % 的 penalty 错配被相消放大成 8–16 % 的方差高估——且该机制同时决定我们自己的拟合器与 emldetect 两条流水线的宽度;在 emldetect 输出上,条件规律的四个候选形式被一支验证过的评分器全部拒收;2026-10-21 的复核(R114)进一步表明评分器混用了估计对象,所以"宽度可推广"只能读作在同一个位置内——宽度指标对逐位置偏移恒等不变;PI 的进度指标也改为已解决位置的比例(无阈值)。2026-10-22 的复核又把判据本身校准了一次:“每个条目都在容差 \(\varepsilon\) 内”被证明噪声受限(一条完美规律在能段 4 上也只能让 21–27 % 的位置满足它),判据因此改为每个位置一个合并偏移,容差定为比较规律 0.05、跟踪进度 0.10;打分手随之冻结。旧读数“规律就压在位置盲地板上”被地板改正推翻,改正后最好候选在 0.10 处高于地板;位置效应的来源收窄到像素级几何且两条能段共享;第一个拟合前位置项(拟合盒背景水平)把最好候选从 0.545 抬到 0.727(p 0.003–0.004,尚未在新位置检验)。宽度侧,判据也被校准——一条逐行精确的方差律通过“8 箱全在 1 \(\pm\) 0.02 内”的概率只有 66.8 %,PI 于是批准“8 箱允许 1 箱失败”(完美规律通过约 95 %);在这条判据下第一条可观测箱级宽度规律通过,但带宽在测试半上选定,且同一构造迁到 emldetect 行后在全统计量下仍失败 5/5 箱。冻结打分手的宽度区间仍欠覆盖(0.941 / 0.946 对 0.950 的接受带),所以每个已解决比例都要连这个限制一起引用。2026-10-24 的第一臂更新:普适性 Tier 1 第一臂(留出能段块打分)已出:M2 能段 1 中心确认(0.727,区间 [−0.152, +0.061]),宽度旗标 AMBIGUOUS(超出真实、单侧约 2 %,但箱边一移判定就翻),锚 8/12;没有合并判定。背景通道给出一条新的未决依赖:冻结定律在估计背景下偏 +0.174 z,候选参数 C2 暂定于一个观测;代价锚实测 0.97 CPU-s/行(旧 0.4 作废),T1-a 只跑 M2 并已发射。星表侧:DET_ML 有序残差是标注同义反复;断幂律 5/6、eta 振幅修合并宽度但逐格形状失败。Central contribution in one sentence: the conditional width of the XMM-Newton point-source detection likelihood ratio can be written down with zero fitted parameters, its catalogue-interval narrowing is explained by one mechanism — a roughly 1 % penalty mismatch in one of two nearly cancelling large terms, amplified by the cancellation into an 8–16 % variance over-statement — and that one mechanism carries the widths of both our own fitter and emldetect; on emldetect output, four candidate forms of the conditional law are all rejected by a validated scorer; a 2026-10-21 audit further shows the scorer mixed estimands, so "the width generalises" reads only as within one position — the width metric is identically invariant to per-position offsets; and the PI's progress metric became the solved fraction of positions, with no threshold. A 2026-10-22 audit then re-calibrated the criterion itself: the “every entry within the tolerance \(\varepsilon\)” rule was shown to be noise-limited (even a perfect law satisfies it at only 21–27 % of positions on band 4), so the criterion became one pooled offset per position, with tolerances of 0.05 to compare laws and 0.10 to track progress; the scorer was frozen with it. The old reading “the laws sit at the position-blind floor” is overturned by the floor correction, after which the best candidate sits above the floor at 0.10; the position effect's origin narrowed to pixel-level geometry shared by both bands; and a first pre-fit position term (the fit-box background level) lifts the best candidate from 0.545 to 0.727 (p 0.003–0.004, not yet tested on fresh positions). On the width side the criterion was calibrated too — a row-exact variance law passes “all 8 bins inside 1 \(\pm\) 0.02” only 66.8 % of the time, so the PI approved “at most 1 failing bin of 8” (a perfect law passes about 95 %); under it the first observable bin-level width law passes, but its bandwidth was chosen on the test half and the same construction still fails 5/5 bins on emldetect rows at full statistics. The frozen scorer's width interval still under-covers (0.941 / 0.946 against a 0.950 acceptance band), so every solved fraction must be quoted with that limit attached. The 2026-10-24 first-arm update: Universality Tier 1's first arm (the held-out band-block scoring) has reported: M2 band 1's centre is confirmed (0.727, interval [−0.152, +0.061]), the width flag is AMBIGUOUS (the excess real, one-sided about 2 %, but the verdict flips with the bin edges), the anchor 8/12; there is no combined verdict. The background channel adds a new unresolved dependency: the frozen law is off by +0.174 z under an estimated background, with the candidate parameter C2 provisional on one observation; the cost anchor is measured at 0.97 CPU-s/row (the old 0.4 superseded), and T1-a runs M2 only and has been launched. On the catalogue side: the DET_ML-ordered residual is a labelling tautology; the broken power law is 5/6, and the eta amplitude restores the pooled width while the per-cell shape fails.
预期问答(10–15 分钟)Anticipated Q&A (10–15 minutes)
- “为什么不直接在真实 XMM 观测上做?”"Why not just do this on real XMM observations?" 真实数据同时变仪器、背景、源群、流水线,四个因子纠缠;模拟基准让每层只有一个变量。配对实验(同图同打分)已经完成:它回答“拟合器贡献多少”的方式,是证明 L0 的低计数超额不是 emldetect 的性质——所以单图 emldetect 规律要在 emldetect 自己的输出上建。(用 B1。) Real data change instrument, background, population and pipeline at once — four entangled factors; the benchmark isolates one per layer. The paired run (same images, same scoring) is completed: it answers "how much is the fitter" by showing the L0 low-count excess is not an emldetect property — so the single-image emldetect law must be built on emldetect's own output. (Uses B1.)
- “把 \(\sqrt{V}\) 换成模拟校准表不就行了?”"Why not just replace \(\sqrt{V}\) with a simulation-calibrated table?" 这正是实用路线;但要报告校准的来源与适用区间,且不能跨流水线搬。我们的贡献是告诉你表必须随 (计数, 背景, PSF) 变——因为机制如此。(用 B2、B3。) That is the practical route; but the calibration's source and interval must be reported, and it must not be carried across pipelines. Our contribution is telling you the table must vary with counts, background and PSF — because the mechanism does. (Uses B2, B3.)
- “这个 1 % 错配是不是你们打分方式的伪迹?”"Is this 1 % mismatch an artefact of your scoring?" 它随 PSF 的翼结构走、随计数走,在两条独立流水线上都出现,且 emldetect 侧解释 0.89 的缺口——伪迹不会这样跨流水线自洽。同图同打分的配对实验已经完成,它确认了这个超额不是 emldetect 的性质。(用 B6。) It follows the PSF's wing structure and the counts, appears in both pipelines independently, and explains 0.89 of the deficit on the emldetect side — an artefact would not be cross-pipeline self-consistent. The paired same-images-same-scoring run is completed and confirms the excess is not an emldetect property. (Uses B6.)
- “为什么之前测到 emldetect 错配约等于零?”"Why was emldetect's mismatch previously measured as about zero?" 逐格比值再取平均被格间散布支配;合并估计量保留信号。同一批数据、两种估计量,差不是涨落(恒等式闭合到 1e-15)。(用 B6。) Averaging per-cell ratios lets the between-cell scatter dominate; pooled estimators keep the signal. Same data, two estimators — the gap is not a fluctuation (the identity closes to 1e-15). (Uses B6.)
- “结果对其他场、其他能段普适吗?”"Does this generalise to other fields and bands?" 机制(相消放大)应当普适,因为它只依赖方差公式是两项之差;错配的数值不普适——它随 PSF 翼结构与计数变。所以条件律产品按 3 仪器 × 5 能段做,每格自己校准。(用 B3。) The mechanism — cancellation amplification — should generalise, since it only needs the variance to be a difference of two terms; the mismatch's value does not, as it follows the PSF's wings and the counts. Hence the conditional-law product is built per 3 instruments × 5 bands, each cell calibrated on its own. (Uses B3.)
- “位置自由会不会才是罪魁?”"Isn't the free position the real culprit?" 位置自由不改变宽度,但带来中心项问题:按拟合偏移分箱,均值从 +0.26 平滑下降到支撑墙处的 −2.76。宽度与中心是两个可分离的问题。(用 B4。) A free position leaves the width unchanged but brings the centre term: in fitted-offset bins the mean runs from +0.26 down to −2.76 at the support wall. Width and centre are separable problems. (Uses B4.)
- “均值那边怎么办?宽度讲了半天。”"What about the mean? This was all width." 均值需要源计数先验(宽度不需要):先验扫描里宽度不动、均值随斜率单调移动。这就是条件律带 index 变量的原因——弱源处对真实流量的依赖经斜率表达。(用 B5。) The mean needs the source-count prior (the width does not): in prior scans the width is fixed while the mean moves monotonically with the slope. That is why the conditional law carries an index variable — the faint-end dependence on the true flux is expressed through the slope. (Uses B5.)
- “覆盖率受多少影响?”"How much does coverage suffer?" 净效应只有 +2–5 pp 过覆盖,因为宽度项与中心项相消;只修宽度反而欠覆盖 −2.9 pp。所以目标是联合校准到 2 pp。(用 B7。) The net effect is only +2–5 pp over-coverage, because the width and centre terms cancel; closing the width alone under-covers by −2.9 pp. Hence the joint 2 pp goal. (Uses B7.)
- “为什么不拟合一个二阶修正项?”"Why not fit a second-order correction term?" 试过:解析候选拒绝(Bartlett 符号反、beyond-Fisher 过修 1.3–7.4 倍且低计数出负方差)。拟合一个项当然可以,但那变成经验校准,而且必须逐 (计数, 背景, PSF) 格做——零参数路线到此为止是负结果。(用 B2。) Tried: analytic candidates are rejected (Bartlett wrong sign; beyond-Fisher over-corrects 1.3–7.4× and gives negative variance at low counts). Fitting a term is of course possible, but that is empirical calibration and must be done per counts-background-PSF cell — the parameter-free route ends in a negative result here. (Uses B2.)
- “这些结论的统计把握多大?”"How statistically solid are these conclusions?" 每箱 \(\geq\) 10,000 行、判据 \(1 \pm 0.02\) 预注册;关键数字带区间(如 +1.19 % [+1.03, +1.35]、0.89 [0.84, 0.93]);每条记录级结论有一次独立复算。红队专门攻击过这些推导,其中一次推翻了我们自己的读数(逐格平均那条)。(用 B6。) At least 10,000 rows per bin, a pre-registered \(1 \pm 0.02\) key; headline numbers carry intervals (e.g. +1.19 % [+1.03, +1.35], 0.89 [0.84, 0.93]); every record-grade conclusion has an independent replay. Red teams attacked these derivations specifically and once overturned our own reading (the per-cell average). (Uses B6.)
- “目录用户明天能拿走什么?”"What can a catalogue user take away tomorrow?" 三条规则:DET_ML \(\geq\) 50 直接用公式;6–20 用按 \(\hat{S}\) 分箱的经验校准并报告来源;跨流水线先做同图同打分配对比较。条件律产品在制。(用主报告第 21 页。) Three rules: above DET_ML 50 use the formula; in 6–20 use the per-\(\hat{S}\)-bin empirical calibration and report its source; across pipelines run the paired same-image comparison first. The conditional-law product is in progress. (Uses slide 21.)
- “你们怎么知道不是打分器又在骗人?”"How do you know the scorer is not fooling you again?" 因为它今天错了两次,都是我们自己抓出来并修好的:一次是零假设的通过率没算对(一条完美规律平均也只通过约 61/72,所以 10/72 远在噪声底之下),一次是全局统计量的尺度错了(288 项的观测统计量对 72 项的零假设,p = 0.000 不是 p 值)。修好之后,评分器先在“规律恰好为真”的合成数据上验证(p 值均匀,K-S p 0.59),再打分。这也是我们强调的方法学:先验证打分器,再谈结论。(用 B6。) Because it was wrong twice today, and both times we caught and fixed it ourselves: once on the null's pass rate (a perfect law passes only about 61/72 on average, so 10/72 is far below the noise floor) and once on the global statistic's scale (a 288-term observed statistic against a 72-term null, so p = 0.000 is not a p-value). After the fixes, the scorer is validated on synthetic data where the law is exactly true (uniform p, K-S p 0.59) before it scores anything. That is the methodology we stress: validate the scorer first, then draw conclusions. (Uses B6.)
- “还有什么你不知道的?”"What do you still not know?" 四件:条件律的中心项——四个候选形式全部被拒,宽度一半在同一个位置内可推广而中心一半不能(宽度指标对逐位置偏移恒等不变,1e-15),且位置不是缺失的变量;低计数中心项超额的成因(72/28 拆分已撤回,配对实验已证明它不是 emldetect 的性质);按计数修正的 \(V_{3p}\) 在 emldetect 输出上校准时给留出 0.976 [0.956, 0.993](一次偏低的分半,40 个分半平均 0.998),但换独立模拟仍过修;规律能否迁到其他能段(能段 1 上重拟合 37/72,原样迁移 17/72;新打分手给出能段 1 的 D / H2 通过 36 / 43 格)。我们如实标开放。 Four things: the conditional law's centre term — all four candidate forms are rejected, the width half generalises within one position while the centre half does not (the width metric is identically invariant to per-position offsets, 1e-15), and position is not the missing variable; the cause of the low-count centre excess (the 72/28 split is withdrawn and the paired run has shown it is not an emldetect property); the count-corrected \(V_{3p}\), which gives a held-out 0.976 [0.956, 0.993] when calibrated on emldetect output (one low split — 0.998 averaged over 40 splits) but still over-corrects when transferred from an independent simulation; and whether the law transfers to other bands (on band 1 the refit passes 37/72 and the unchanged transfer 17/72; the new scorer gives band-1 D / H2 36 / 43). We keep them labelled open, honestly.
- “你说‘已解决位置的比例’——现在怎么量、量到多少?”“You say ‘the solved fraction of positions’ — how is it measured now, and where does it stand?” 判据本身被校准过一次:“每个条目都在容差 \(\varepsilon\) 内”是噪声受限的——一条完美规律在能段 4 上也只能让 21–27 % 的位置满足它,因为每个条目自身的抽样误差约 0.12 z,而位置效应本身是 0.14 z。所以现在每个位置只报一个合并偏移,容差比较规律用 0.05、跟踪进度用 0.10,打分手冻结(18 个格、位置真值校准的 95 % 区间)。在这把尺子上,最好候选在 0.10 处是 0.545,高于改正后的地板 0.469;加上第一个拟合前位置项(拟合盒背景水平)到 0.727(p 0.003–0.004),但那是同一批位置的拟合并打分,尚未在新位置检验。还有一个必须连带的限制:冻结打分手的宽度区间欠覆盖(0.941 / 0.946 对一个 0.950 的接受带),所以任何比例都要连这个区间一起引用。(用主报告第 19 页。) The criterion itself was calibrated once: “every entry within the tolerance \(\varepsilon\)” is noise-limited — even a perfect law satisfies it at only 21–27 % of positions on band 4, because each entry's own sampling error is about 0.12 z while the position effect itself is 0.14 z. So each position now reports one pooled offset, with tolerances of 0.05 to compare laws and 0.10 to track progress, and the scorer is frozen (18 cells, position-true-calibrated 95 % intervals). On that ruler the best candidate sits at 0.545 at 0.10, above the corrected floor of 0.469; adding the first pre-fit position term (the fit-box background level) takes it to 0.727 (p 0.003–0.004), but that was fitted and scored on the same positions and is not yet tested on fresh ones. One limit must travel with every such number: the frozen scorer's width interval under-covers (0.941 / 0.946 against a 0.950 acceptance band), so any fraction is quoted together with that interval. (Uses slide 19.)
来源对照表Source Map
| 标记Marker | 记录Record |
|---|---|
| [s1] | cognition-os/CLAUDE.md — DET_ML Convention; Catalog Convention Traps (I041) |
| [s2] | physics.html §5 (boundary-corrected null law) |
| [s3] | 07_REVISION_LOG.md R030 (Ŝ-binning artefact withdrawn) |
| [s4] | cognition-os/PARETO_BENCHMARK_V2.md |
| [s5] | 07_REVISION_LOG.md R062; reviews/RT-58_triage_claude.md |
| [s6] | 07_REVISION_LOG.md R067; reviews/RT-64_triage_claude.md |
| [s7] | cognition-os/CLAUDE.md — IRON RULE (ML Analysis Methodology) |
| [s8] | 07_REVISION_LOG.md R076 |
| [s9] | 07_REVISION_LOG.md R062, R065; reviews/RT-62_triage_claude.md |
| [s10] | 07_REVISION_LOG.md R068, R072, R080 |
| [s11] | 07_REVISION_LOG.md R077; reviews/RT-72_triage_claude.md |
| [s12] | 07_REVISION_LOG.md R078, R080, R081 |
| [s13] | 07_REVISION_LOG.md R086 (reversing R083); reviews/RT-81_triage_claude.md |
| [s14] | 07_REVISION_LOG.md R082, R084, R085, R087 |
| [s15] | 04_DECISION_LOG.md 2026-10-20 04:51 EDT (main line and domain) |
| [s16] | 07_REVISION_LOG.md R075, R076 |
| [s17] | 07_REVISION_LOG.md R063; reviews/RT-59_triage_claude.md |
| [s18] | 07_REVISION_LOG.md R073 |
| [s19] | 07_REVISION_LOG.md R093–R104 (the law stage: LAW-1/2/3/4, M2B1, D-M2B1, NULL-1, RT-87–RT-94, CENTRE-POS) |
| [s21] | 07_REVISION_LOG.md R125–R156 (the 2026-10-22 re-calibration: the pooled-offset criterion and the frozen scorer, the floor correction, the pixel-geometry position effect, the first pre-fit position term, the calibrated width rule and the observable bin-level law, the width-CI coverage limit, the error-compensation reading, the 1.16 arm ratio); R157–R161 (the cluster-SE and seed-luck withdrawals, the Tier 0 band/instrument FAIL (withdrawn in R162) and catalogue-axis PASS within domain, the coarse-anchor re-interpretation, the B011 sign defect at 0 % of the failures); 04_DECISION_LOG.md 2026-10-22 (the PI's tolerances and the universality order); R162–R185 (the Tier 0 convention correction and A0-RESCORE, the fine width anchors and the cluster-bootstrap CI, the catalogue \(\mu_0\) domains and bias forms, the fresh-position AMBIGUOUS verdict and the crowding, the width-rule null recalibration, the mask rule, the three M1 positions, the clean population, and the revised Tier 1 plan); R189–R229 (the T1-e held-out block scoring and its three separate verdicts, the background channel's non-universality and candidate C2, the cost-anchor correction and the T1-a launch, the catalogue tautology, the broken power law and the eta amplitude, the refuted PSF-weighted reference, and the withdrawn cross-fit inflation) |
| [s20] | 07_REVISION_LOG.md R114–R120 (the 2026-10-21 re-scoping: R114 the expert's estimand critique, R115 the width split ensemble, R116 the centre decomposition, R117 RT-98's width-invariance result, R118 SCORER-CONTRACT v2's two targets, R119 RT-101's seed-range qualification, R120 RT-100's first progress point) |
致谢:本页的整理工作由 AI 代理完成(按 AAS 政策声明)。基于 XMM-Newton(ESA 科学任务,仪器与贡献由 ESA 成员国与 NASA 直接资助)的模拟构造。Acknowledgments: AI agents assisted in preparing this page (stated per AAS policy). The simulation construction is based on XMM-Newton, an ESA science mission with instruments and contributions directly funded by ESA Member States and NASA.