A7 · OVERTURN LEDGER · reits-knowledge 444 §9 + 443 §7 + 445 §10
推翻台账:47 条,什么被推翻了逐条可查
推翻台账是这套文档体系的核心纪律。 引用任何一条旧结论之前先查本表。⚠️ 编号带文号:444 X-n、443 X-n 与 445 X-n 同形不同物,不许互相引用充当对方的证据。本节压缩自 444 号第 9 章,完整原文以 reits-knowledge 为准(镜像 623 行 · sha256 e9403673d0691512…)。
444 X-1…X-13 · 引擎选型批(其中 7 条是自查抓到、推翻主控自己给的数或表述)
「Godot 出局是因为 MIME 白名单无 wasm」已推翻,理由不成立。两条独立依据:① iOS 本地服务器有 application/octet-stream 兜底;② Emscripten 有 fetch → arrayBuffer → WebAssembly.instantiate 回退路径。⇒ MIME 只造成编译降速,不造成加载失败。真正杀死 Godot 的是 maximumFileBytes = 16 MiB 单文件限额。留着旧理由,下游会以为「平台根本不收 wasm」,从而永久关闭一整类技术路线。
【本文实测】MiniAppLocalServer.swift:330-349;packagescan/archive.go:29用 LiveKit 报价去算一个已经买了 Agora 的产品已推翻,该批数字整套作废。被推翻的不是「LiveKit 贵不贵」,是「拿一个我们没买的供应商的价目表去给一个已经买了另一家的产品做成本模型」这个动作。根因是 X-5。纪律追加:做成本模型之前必须先查仓库里已经买了什么。
【本文实测】matrix-x-chat-ios/Podfile:8「KTV 同步合唱需往返 <30ms,物理不可达」已推翻。两处错:① 量纲错 —— <25ms 是单向,被读成了往返;② 模型错 —— <25ms 是无指挥合奏的门槛,KTV 是 master-slave,文献容忍 100–200ms 单向。⇒ 慢歌(≤80BPM)可用,快歌不可用。边界:容忍带与 RTT 两项未复核(444 UV-7/UV-8),「慢歌可用」在 UV 关闭前不许写成可立项的结论;但「物理不可达」的推翻是确定的,量纲与模型这两处纠正不依赖任何未核实的数字。
【主控实测】+ 对论证结构的复核援引 thread/662141(2018)推出「只要有随机性就要申报 Frequent Simulated Gambling」已推翻:2018 年那次判定在 2026 年已不是现行实践。依据:Dice X - 3D dice roller 今天 4+、advisories = []、个人卖家。⚠️ 边界不许扩大:推翻的是「用一条 2018 年论坛转述预测 2026 年审核实践」这个动作,不是「骰子类一定 4+」这个正命题 —— 分级是自报的。可用于拆掉建立在过期转述上的旧约束;不可用于支撑任何新的放松。
【本文实测】itunes.apple.com/search 独立重跑此前三份报告全部失察:Agora RTC 资产早已存在已登记为失察,不是新提案。Podfile:8 有 AgoraRtcEngine_iOS ~> 4.6;Podfile:32 有 AgoraSpatialAudioExtension;AgoraRtcAdapter.swift 是生产实现;im-core/internal/live/ 是完整的域。⇒ 它直接导致了 X-2 那套作废的成本模型。纪律追加:任何「要不要上某能力」的选型,第一步是在仓库里搜一遍它是不是已经买了。
【本文实测】Podfile:8、:32;AgoraRtcAdapter.swift:18、:50;im-core/internal/live/「先用 CC0 / 素材库打底,再逐步替换」已推翻:在「每个岛都不一样」的要求下,打底那条腿基本是空的。CC0 通用包恰好没有江户 / 宋朝 / 玛雅 / 维京这些主题 —— 文明特异性主题需要考据,而考据成本正是没人愿意免费付出的那部分。⇒ 打底层不存在,「逐步替换」也就没有起点。精度边界:CC0 覆盖未逐包清点(444 UV-10),但只要缺其中任意一个主题结论方向即成立。
【主控实测】+ 交付形态【本文实测】「shouldHideReviewEntries 123 处调用点」已推翻:复现不出来 123。实测三个数:生产源码 29(跨 13 文件)/全仓 156/HIDE_REVIEW_ENTRIES 全仓 131。且 29 与 443 号已落地的【本文实测】「29 处调用点」逐字一致 ⇒ 123 与本仓库既有实测结论直接矛盾,不是口径差异。正文一律写 29;123 加删除线保留,口径登记 444 UV-11。
【本文实测】grep -rn 'shouldHideReviewEntries' matrix-x-chat-ios/MatrixXChat/ | wc -l ⇒ 29「20 人房约 $1.13/房间小时」已推翻:复算得 $1.188。算式:20 × 60 = 1,200 参与者分钟;1,200 ÷ 1,000 × $0.99 = $1.188。最接近能复现 $1.13 的是按 19 个参与者计($1.129),但主控没写这个口径,不替它发明。正文一律用 $1.188;$1.13 加删除线保留,口径登记 444 UV-6。「音频成立」在两个数下都成立 —— 但这不是留着它的理由。
【本文实测】算术复核「裸引擎 1.7%」已订正为 ≈1.9%。391,648 ÷ 20,971,520 = 1.868%(按 20×10⁶ 计为 1.958%),两种口径都不是 1.7%。这个数本来就是被否掉的那个(对外只报 ≈3%),方向不变;但既然要写进文档,就必须算得出来。纪律:一个被否掉的数也要算得出来 —— 否则下游复算不上,会连带怀疑整份预算。
【本文实测】算术复核「index.html 必须含 <script id="preconnect"></script>」被写成唯一条件已订正:这是 OR,不是唯一条件。containsLaunchConfiguration(in:) 两条任一成立即通过:① window.init_config;② id="preconnect" 正则。两条都不满足才判 .missingLaunchConfiguration,进而直接 throw。⇒ 工程口径仍写死「带 preconnect 占位符」,但理由订正为「否则注入位置不可控」,不是「否则起不来」。
【本文实测】MiniAppRuntimeHealth.swift:93-103;MiniAppHTMLInjector.swift:51-66;MiniAppLocalServer.swift:81「MIME 白名单无 wasm」被当成全平台事实已推翻:在服务端完全为假,而且是反着的。packagescan/archive.go:451 与 :483 两张 MIME 表都含 ".wasm": "application/wasm";:501 的 containsExecutableCode 把 .wasm 与 .js/.mjs/.cjs 并列当一等公民的可执行代码。⇒ 该说法只在 iOS 本地服务器那一侧部分为真(无专门分支但有 octet-stream 兜底),在服务端完全为假。⇒ 平台收 wasm,只是不收 16 MiB 以上的单个文件。
【本文实测】packagescan/archive.go:451、:483、:501「包必须完全扁平;解包器无条件剥掉第一层目录」已订正:剥是无条件的,但根层 entry 原样保留。stripTopDirectory 首行是 guard let slash = path.firstIndex(of: "/") else { return path } ⇒ 不含 / 的 entry 原样返回。⇒ 正确要求是「剥掉第一层之后 index.html 必须落在根」,合法包有两种:完全扁平,或恰好一层顶层目录;不合法的是两层及以上。旧表述会把一个本来能过的包判成过不了,或反过来漏掉「两层目录」这个真实失败模式。
【本文实测】MiniAppZipExtractor.swift:95、:196-201「引擎加上真实用到的插件,打包后占 2.930%」被当成一次实测写在对外第一页上(分子 614,454 B)已推翻,推翻的是「这是一次测量」这件事本身,不只是数值。当时插件集根本没定 —— 候选里的 phaser3-rex-plugins 是 Phaser 3 的包、Phaser 4 下可用性未验证,摇杆包连名字都没指名 ⇒ 「加上真实用到的插件」描述的是一次不存在的测量。614,454 B 的出处至今没人能给出:穷举裸引擎的每一种口径(未 minify/minify/deflate 6 与 9/gzip/brotli)都落不到它身上。现已换成真打真量的 656,114 B(引擎 + 锁定四件插件,真 zip 经真扫描器读 package_bytes)= 3.129%。方向上旧数是低估:真实值比它还大 0.199 个百分点,也就是说旧数把配额说得比实际宽松。20 座/11 座这两个结论仍然成立,但成立的理由不是「更稳」,而是代入后 16.160 ÷ 0.78 = 20.72、16.160 ÷ 1.467 = 11.02,两个商都依旧向下取整到原值 —— 余量比订正前小了 0.04 MiB,不是大了。第一版订正曾把这个方向写成「高估、反而更稳」,那是把误差方向搞反了,已就地改正并登记在此。叙事面从此只报整数「约 3%」—— 插件集一变百分比就从 2.0 跳到 3.1,第四位有效数字是编的,而那正是这条假实测长出来的方式。
在小程序客体参考仓里实测(不是本仓 —— 本仓没有那条构建链,量不出这三个数):四条互相隔离的路径复现,参考包 zip 的 sha256 被四次独立复现;裸引擎 381,012 B、去掉界面插件 427,693 B、四件全上 656,114 B。复现方式:在客体仓 topdown-pixel-probe 分支上打真包,再用小程序服务端自带的扫描器读 package_bytes445 X-1…X-5 · 第三轮起名批(其中 3 条推翻的是主控自己写下的要求或本仓自己的判据)
「442 §1.1.2 的处方『降速 ≥30s 可恢复 TMview 通道』有效」已被推翻(2026-08-02)。路径 ① 作废;路径 ②③ 未被触及,保持有效。442 原文保留不删。
连续多轮 curl ⇒ 302 ⇒ error/revise.html(Server: BigIP);浏览器同源 fetch ⇒ 拦截页「Problem detected」。全程未发送任何中文字符 ⇒ 封的是 IP,不是速率、不是字符。「商标检索必须用通配符」(主控此前写下的检索要求)已被推翻(2026-08-02),但只对 USPTO 官方 UI 推翻。改写为:检索策略必须按库分别验证,不许跨库沿用。
阳性对照:USPTO Wordmark 模式精确检 isolarii ⇒ 命中 1 条(serial 88286964);同模式 isolari* ⇒ 0 条。尾部 * 在该 UI 上不匹配。「agent 查不到近似 ⇒ 该名字通过商标闸」(前两轮与本轮闸机的实际用法)已被推翻(2026-08-02),且是 445 号最重要的一条。改写为:闸只用来杀,不用来放;最后 3 个交代理机构出报告。
四条检索陷阱 + 人机验证后的假「无结果」:四种情形下 agent 的返回体与「真的没有近似标」完全一致。「闸 3『差一个字母 ⇒ FAIL』是一条合理的判据」部分推翻(2026-08-02):确实过于机械,CONTUBA vs CONTURA 是一次误杀。但处置写死为「不放宽」。
字形与读音差异【推导】;成本对比:过严的成本是漏掉几个好名字,过松的成本是老板第三次被推翻,前者便宜一个数量级。445 号自己给「Isolario 被推翻」写下的引注「443 号 §5.2 A-15 一线的同套检索」已被推翻(2026-08-02)。原引注加删除线保留、不删。引错的不只是节号,是指向了一个不存在的东西:A-15 的主题是 Archipelago 的检索裁决,它对 Isolario 唯一的一次提及,恰恰是节末「替代名(供 PD-21 选用)」表里把它列为活的候选。A-15 里没有任何一句话说 Isolario 被拍板过,也没有任何一句话说它被否决。⇒ 订正为:Isolario 的推翻登记在 443 §7 X-29,未核实项在 443 §9.1 UV-18。⚠️ 同批登记的第二层错:445 此前把状态写成两段(先被拍板、后被清障推翻),漏掉第三段「老板尚未对这次推翻表态」⇒ 补三段状态,并写死不许写成「双方确认作废」或「老板已同意换名」。
【本文实测】git show 9e85734:docs/ecosystem/443-…-2026-08-01.md | grep -c 'Isolario' ⇒ 3,三处分别是 PD-21 选项 B、§5.2 A-15 替代名表、§5.3 品牌层级表候选位,三处全是活的、零处是推翻记录。⚠️ 真实后果:引注指向一个查过去找不到推翻记录的节号 ⇒ 下游会得出「这条推翻查无实据」,而这条推翻恰恰是老板亲自拍过板的那一条。⚠️ 死因不同类不许互引:Archipelago 死于注册簿内部拥挤,Isolario 死于注册簿之外。443 X-1…X-29 · 三档路线图批
红线 7「模拟仓做 native 不做小程序」已被推翻(2026-08-01)。依据:老板决定 7。
「模拟仓挂 IM ⇒ 整个 IM 18+」已被推翻。依据:4.7.5 原文允许宿主分级低于其内软件分级 + 六活体。
沙豆英文名 Datum已被推翻。依据:b25 三条独立否决。
「开会已经有了」已被推翻。依据:RTC 假 token 实测,媒体面为零。
「3.1.3(b) 是免佣出口」已被推翻。依据:proviso 尾句原文 provided those items are also available as in-app purchases within the app。
「境内基础设施让美国管辖更牢附着」的归因已改写。依据:CFTC Letter 25-14 + BitMEX/Bodog 两面证据。
Blockratize 2022 案构成境外主体先例已被推翻。依据:被告为 Delaware 注册、纽约总部。
auth_users=0已被推翻。生产只读实测 190(全 smoke,真实用户 0)。
437 §2.2「安卓=移动端唯一可承载预测市场实际业务的载体」已被推翻。依据:老板决定 1;441 号 R-1。
437 §2.4「Web 不做下单/入金/出金」已被推翻。依据:老板决定 1;441 号 R-2。
「Electron 打壳同一份 Web 代码、零额外代码」已被推翻。依据:红线 11 + 决定 1;441 号第 3 章。
「可转移 ⇒ 黑市 ⇒ 苹果分级翻转」已被订正。翻转条件是「下注机制 × 官方认可的兑换通道」同时为真;黑市从未翻转过分级。
「兑换路径存在但没调用」可作抗辩已被推翻。苹果分界词是 may be exchanged 不是 is exchanged。
钱包实读 3288 行、复用率 5%–7.5%已被订正。实测 2632 行,复用率 ≈3.5%。
PD-14 建议「放弃 Google Play」已被推翻(2026-08-02),原建议文字在表内原样保留不删。老板裁决:不排除 Google Play,先写架构文档、最后做。⚠️ 原建议列出的两条代价并未消失:Play 仍是一个守门人;Play 的赌博与金融类政策仍会审视「打工人」玩法与模拟仓入口。
PD-20 建议「接受 SmartScreen 警告,不上 Microsoft Store」已被推翻,原文保留不删。老板裁决:桌面端可以上 Store。⚠️ 原建议的理由没有被事实推翻,是被商业判断覆盖 —— 这是知情接受,不是问题被解决。连带:PD-08 的紧迫性因此上升。
应用名 Archipelago(主控推荐)已被检索否决(2026-08-02)。不写成已定,应用名整体退回待拍板 PD-21。特别登记:否决理由不是「主控没推荐」,恰恰是主控推荐过 —— 按铁律 5,推荐不构成放水依据。
否决命名时使用的理由「这是常用词,所以可保护性弱」已被订正。用它否掉的 Weight / Datum 两个结论不变,真实理由是「对本商品具有描述性」。常用词本身不妨碍注册(Apple/Oracle)。
主控的观察「年付折扣仅 16.5%,低于行业 20–30%」已被推翻。精确值 16.31%,且行业最普遍锚点就是「送 2 个月」=16.7% ⇒ 我方定价精确落在主流区间,不是偏低。登记结果是一条文案强制 P-1:不许写「省 16%」,要写「年付送 2 个月」。
「PD-02 的 $1.88/$18.88 可配置」已被推翻(第三次落笔)。这两个数在美区 App Store 根本选不出来,不是近似问题。依据:Apple newsroom 一手增量规则 + 8,759 条美区实价中 .88 结尾 0 条、.80 结尾 0 条。原文保留不删,PD-02 退回 ✅(部分),具体价格点回到 🔴。
「连零货币零奖品的骰子模拟器都被判 Frequent」这条实证反例已被降级并订正。该 2018/2020 判定已非现行实践:涉事 app 今天为 4+、advisories 空、卖家为自然人。⚠️ §6.5 理由 1/2 不受影响,PD-22 不因此降红。
A-15 否决 Archipelago 所用的四条理由其中三条已被推翻或失效;理由 2(欧盟 9+42)存活并加重。结论 ❌ 不变,理由整套替换,新增三条(EUTM 018657086 / EUTM 018897762 / US Reg 5038691)。⚠️ 不许用「新定位解除了旧约束」的逻辑给任何名字自动开绿灯 —— 类目一换,障碍面是重画的,不是缩小的。
「主体必须是公司账号、不能是个人开发者账号」这条硬约束被解除该解除被裁定为「不生效」(第四次落笔)。理由写死:它用一份本 PR 自己判为【未核实】的二手材料,去解除一条已登记的硬约束,而方向是「放松」。⇒ 元纪律:收紧可以用低档证据(按最坏情况保留);放松必须用一手证据。执行口径:在 UV-12 拿到苹果官方条款正文之前,主体结构按「仍需公司主体」保守执行。
「定位变更逐条判定 = 解除 12 / 收窄 6 / 存活 9 / 反而加重 7」+ 442 号「工程强制 = 17 存活 / 3 收窄 / 1 改写 / 1 新增」两组数均已被推翻(第四次落笔),原文加删除线保留不删。443 侧:旧数合计 34,而执行面全表只有 22 行,34 数不出来 ⇒ 改为解除 5 / 收窄 3 / 存活 6 / 反而加重 7。442 侧:旧数 21,3 条无着落 ⇒ 正确基数是 N-1…N-22(22)+ V-1…V-3(3)= 25,逐条重数为 20 存活 / 2 收窄 / 2 改写 / 1 新增。⚠️ 第五次落笔补记:§11 变更记录里的同一组旧数此前一字未动,本次补齐。纪律追加:登记「共 N 处」时必须把 N 处逐一列出行号,只写章节名会漏。
§5 表头「23 条」+ §0「已裁决 6 条整条 … 仍待拍板 20 条整条」已被推翻。表头「23 条」是第二次落笔的数,新增 PD-24…PD-28 后表身已是 28 行而表头没跟着改;§0 括号里列举的整条只有 5 条。⇒ 算式写死:28 = 5 整条已裁决 + 2 部分裁决 + 21 整条待拍板;标 🔴 13 条。
PD-27 与 §5.3 的两处引用:「25 个域名」与「425 号 D-02」两处均已被推翻。① 25 ⇒ 13:25 是「新旧双域混合的告警基线」,与 ProbAtlas 名字数不是同一个量。② 425 号 D-02 ⇒ 425 号 §0/§1/A-02:D-02 是 iOS bundle ID 永久冻结,与品牌/域名无关。⚠️ 订正段(第五次落笔)—— 数对了,谓词错了:把 25 订正为 13 时把旧句谓词「已上线/已铺开」原样搬到了新数上 ⇒ 改为「已盘点」。13 作为名字盘点数成立、落点清楚,被推翻的只是谓词:13 个名字里 1 个已判退役(media.*)、1 个未处理(assets.*),「已上线」对其中 2 个直接为假。纪律追加:订正数字时必须连同谓词一起复核 —— 数对了但谓词假,与数错等价。
§6.5.1「实测同类 app(PickWho/Cheddr)不论有无押注都主动 Override 到 18+」已被推翻。这句把两个不同机制并成了一个:PickWho 确为开发者 Override;Cheddr 是自报 Frequent Simulated Gambling 从而落 18+,不是 Override。⇒ 强命题撤回,回到原口径。⚠️ 旧写法会诱导我方在没有必要时自我加码到 18+,而 18+ 的代价在 PD-09 已登记为立刻兑现且不可逆。
§5.4 第 21 行「42.2% 必须从所有模型里删掉」的措辞已被订正。「删掉」这个动词假定它在库里,事实是它从来没进过库 —— 全库检索 42.2 只命中这句话本身。改为:该数从未入库;变现车道产出归档时不得引入。写成「删掉」会让下游去 438 号里找一个不存在的东西,制造一个假的历史。
老板 2026-08-02 拍板的应用名 Isolario(原话「Isolario 用这个吧」)⚠️ 状态写死为三段,缺一段即为登记不实:① 老板曾拍板;② 主控依老板授权作出推翻并已告知(授权原话「规避风险你肯定比我在行 所以我听你的 你来决策」);③ 老板尚未对这次推翻表态。⇒ 不许写成「双方确认作废」,也不许写成「老板已同意换名」—— 这两种写法都是把未回应伪造成合意。两条承重理由,任何一条单独成立即足够:① ISOLARII(isolario 的意大利语复数)美国 Reg. 6137145 / Serial 88286964,第 41 类 LIVE,权利人 Sebastian Clark,核定服务含 publishing of electronic publications,英国同族 UK00003377117(16+41 类,有效至 2029),且 isolarii.com 是活跃运营品牌(© 2026、$18 订阅、17 期、作者含 Vitalik Buterin)—— 用户拼错一个字母就把流量送给对方,这一条不必等到打官司就已在损害我们;② isolario 是意大利语词典词(Treccani 收录)+ 始于 15 世纪的制图学体裁名,注册簿返回「0 条」在这里是坏消息不是好消息。处置:PD-21 选项 B 原文加删除线保留、不删,代价列一字不动;A-15 替代名表与 §5.3 品牌层级表同步标出局。⚠️ PD-21 仍为 🔴 —— 出局一个候选不等于这条被裁决。⚠️ 死因与 X-17 不同类:Archipelago 死于注册簿内部拥挤,Isolario 死于注册簿之外,不许互相引用充当对方的证据。
【前置批实测,本文未复核】主控 2026-08-02 亲手抓到,逐字段复核登记为 443 UV-18。一手入口 tsdr.uspto.gov/statusview/sn88286964、trademarks.ipo.gov.uk UK00003377117、isolarii.com、treccani.it 词条、isolario.it(IIT-CNR BGP 采集项目,注册簿外的在先使用)。