receipt_lint v1.3 · 三元组判据 + a6/a7/a8 · corpus 3a0ec8359d0e1539 · 240 帧 / 1248 条目 · generatedAt 2026-11-03T03:07:35.790Z
S_hat = 265 + W7 + |truncated 字面| + U ；U = Σ(id+2) + (m−1) 逐枚量长

臂表（每条臂都带独立期望；与期望不符 exit 3，不得当通过）
arm   status            exit  frameRes  entryRes  prefixRes  Δ直方图 / kind
base  GREEN             0     0         0         0          {"0":240}
a1    RED-AS-EXPECTED   0     9         0         0          {"0":231,"1":3,"12":1,"-1":2,"-2":2,"-58":1}
a2    RED-AS-EXPECTED   0     65        0         0          {"0":175,"1":65}
a3    VACUOUS           3     0         0         0          {"0":240}
a4    GREEN             0     0         0         0          {"0":240}
a5    RED-AS-EXPECTED   0     4         0         0          {"0":236,"1":2,"2":1,"11":1}
a6    RED-AS-EXPECTED   0     0         -         -          {"a8376fa5d18b-read_metaweb_pins_batch.txt":2,"829d031de40e-read_metaweb_pins_batch.txt":6}
a7    GREEN             0     0         -         -          {"a7-1_self":0,"a7-2_pairs":4,"a7-2_bad":0}
a8    GREEN             0     0         -         -          {"a8a_byte":0,"a8b_bound":0,"a8c_omitted":0}

新臂判词
  a6: 触发 2 帧，len(truncation_points)==12 全部成立；用 len(array) 代替标量 tpc 在这些帧上少计 Δ=tpc−12，合计 2 帧为正：{"a8376fa5d18b-read_metaweb_pins_batch.txt":2,"829d031de40e-read_metaweb_pins_batch.txt":6}
  a7: a7-1 server_cap 自洽 8/8（kept=8000、unit=rune、total_chars>8000、total_bytes=null）；a7-2 跨表示恒等 4/4（trimmed.total_bytes == server_cap.cut_at_bytes，且同一 pin 的 total_chars 一为 8000、一为真长>8000）
  a8: a8a 誊抄自检 240/240 字节相等；a8b 上界判据 1222/1222 落在 [kept, kept+1]（精确相等 1217，+1 残差 5 枚/2 个 pin：{"92e1f2f1c811de50507ae7711e53e14297bd8067379e82c477fce7393d1b9015i0":1,"138c5613b18e66591f12ef5ab81967d769d295c38c81f9066d04e2d01fa6a52bi0":4}）；a8c omitted 正文标记 12 枚中 0 命中

三元组直方图（骨架值 → 元组数 → 帧数）
  S=280  帧=57  元组=1
      tr=true,W7=11,U=0  ×57
  S=281  帧=57  元组=1
      tr=false,W7=11,U=0  ×57
  S=283  帧=42  元组=1
      tr=true,W7=14,U=0  ×42
  S=284  帧=65  元组=2
      tr=false,W7=14,U=0  ×3
      tr=true,W7=15,U=0  ×62
  S=291  帧=1  元组=1
      tr=true,W7=12,U=10  ×1
  S=347  帧=2  元组=2
      tr=true,W7=11,U=67  ×1
      tr=true,W7=12,U=66  ×1
  S=348  帧=2  元组=1
      tr=true,W7=11,U=68  ×2
  S=349  帧=2  元组=2
      tr=false,W7=11,U=68  ×1
      tr=true,W7=12,U=68  ×1
  S=350  帧=1  元组=1
      tr=true,W7=15,U=66  ×1
  S=351  帧=1  元组=1
      tr=true,W7=14,U=68  ×1
  S=352  帧=3  元组=1
      tr=true,W7=15,U=68  ×3
  S=353  帧=3  元组=2
      tr=false,W7=14,U=69  ×1
      tr=true,W7=15,U=69  ×2
  S=417  帧=1  元组=1
      tr=false,W7=11,U=136  ×1
  S=421  帧=1  元组=1
      tr=false,W7=14,U=137  ×1
  S=499  帧=1  元组=1
      tr=false,W7=11,U=218  ×1
  S=1111  帧=1  元组=1
      tr=true,W7=15,U=827  ×1

base 残差样本（最多 20）:
  （无）

overallExit=3  （0=与声明期望一致；1=base 真失败；2=语料不可用；3=臂与期望不符）
