Skip to content

baseline: pin the rebuild to #222 and re-lock the three binaries - #223

Merged
dslsdzc merged 1 commit into
developfrom
baseline/pin-28483a42
Oct 28, 2026
Merged

dslsdzc merged 1 commit into
developfrom
baseline/pin-28483a42

Conversation

@dslsdzc

@dslsdzc dslsdzc commented Oct 28, 2026

Copy link
Copy Markdown
Owner

内容

PINNED_REV 从 7eb9669d 换到 28483a42(#222 的 squash 提交)。

旧修订早于 develop 的库可见性批,固定基线编译器无法编译当前源,固定基线对拍这条路径不可用。

换代记录

旧代 7eb9669d:

二进制 sha256
corec 4234b7a6254ad3b7a890268c462dbe3dbd269a991f0deaa12832e154dbe26265
corearch 3786eb4a8a500158d22a0193b9174c2f4228b5c8d379a4d992ef920b28a9c421
corelsp 845ac0485f2fede878f18bdbacb49e9c24b62ddf4c3180e2b5d411e60467c0eb

新代 28483a42:

二进制 sha256
corec 5fe3de891380c5909e6f5cefccac53781acbe1eccf4540f568988290467a6726
corearch e8b3e30b116c09200dfb9b2d023b0c1608f4f917e89b3f7dabf74ee6e295c542
corelsp db51fdc7c420396152f363385174a96fed770af951339482cbb42376b62908e2

验证

  • rebuild.sh 从 28483a42 重建:三个 sha 与白名单逐条一致,冒烟返回 42。
  • 新基线 parity_run.sh:89 档,54×0 / 35×1,暖态 89 档 FAIL=0。
  • 当前工作树 parity_run.sh:同一分布(合入前后一致)。
  • canary 5/5 不变。

PINNED_REV 7eb9669 -> 28483a4 (the squash commit of #222). The old revision
predates develop's library visibility batch, so the pinned compiler could not
compile the current sources and the fixed-baseline comparison leg was unusable.

Old generation (7eb9669):
  corec    4234b7a6254ad3b7a890268c462dbe3dbd269a991f0deaa12832e154dbe26265
  corearch 3786eb4a8a500158d22a0193b9174c2f4228b5c8d379a4d992ef920b28a9c421
  corelsp   845ac0485f2fede878f18bdbacb49e9c24b62ddf4c3180e2b5d411e60467c0eb

New generation (28483a4):
  corec    5fe3de891380c5909e6f5cefccac53781acbe1eccf4540f568988290467a6726
  corearch e8b3e30b116c09200dfb9b2d023b0c1608f4f917e89b3f7dabf74ee6e295c542
  corelsp   db51fdc7c420396152f363385174a96fed770af951339482cbb42376b62908e2

rebuild.sh now rebuilds from 28483a4 and the three shas match the whitelist;
the smoke program returns 42. REBUILD.md records the new current generation and
keeps the old row in the history table.
@dslsdzc
dslsdzc merged commit 10aa805 into develop Oct 28, 2026
4 checks passed
@dslsdzc
dslsdzc deleted the baseline/pin-28483a42 branch October 28, 2026 03:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant