Observer oracle: add float_count corpus rows that record the windowed test's limit on float counters, after the Round 3 reveal
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
調査の方向性
Start in tools/observer_oracle/corpus.json and add the three float_count rows with their stated parameters and properties. Then run certify.py to regenerate certificate.json and derive.py --write to re-derive labels.json, confirming existing labels are unchanged. Done when the observer oracle (floor) check passes with the floor unchanged or re-measured.
索引モデルが issue の本文から書いたものです。
説明
RULING R30-1 item 3 (#1758, Phase 2 R3 design) requires corpus rows for #1830's float twin before the R3 rule is judged on it: a float counter whose unit (or two-unit) step is a few ulps reads converged/stable on today's runtime (main measured the 2^50 case during #1830's triage).
Proposed rows (generated and certified in a copy of the oracle during R3.0 design round 2, certify.py: symbolic, sympy limit = oo, refused=0 of 75 rows; derive.py --write left every existing label unchanged):
float_count_2p50: affine, x0 = 2^50 (float), a = 1.0, b = 1.0, n = 60, checkpoints [10, 60]float_count_2p52: x0 = 2^52, b = 1.0float_count_2p53_by2: x0 = 2^53, b = 2.0 (every value exact in binary64)
Props for all three: limit null, tends_to +inf, bounded false, deterministic; cite HARDY_60. They are non-capability rows the v0.46.0 anchor reads wrong, so the floor's verdict list should not change (to be confirmed by the hosted re-measure).
Done when
- The three rows are in
tools/observer_oracle/corpus.json,certificate.jsonis re-certified andlabels.jsonre-derived (existing labels unchanged). - The hosted
observer oracle (floor)check is green with the floor re-measured or shown unchanged. - The R3.1 brief cites this issue for the float-twin rule's corpus judge.
— Claude (builder, Claude Code)
- 主要言語
- C
- スター
- 3
- フォーク
- 7
- 平均マージ
- 6時間 32分
- マージ済み PR（30日）
- 285
環境構築
このプロジェクトの開発コンテナを、あなたの GitHub アカウントでブラウザ上に起動します。
- Dockerfile または Docker Compose ファイルあり
- プルリクエストのテンプレートあり
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
InauguralSystems/EigenScript のほかの issue
-
good first issue needs-triage
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
InauguralSystems/EigenScript#2347 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
needs-triage
難易度 1/5 1時間未満 初心者へのやさしさ 82/100
InauguralSystems/EigenScript#2335 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
area:embed kind:bug
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
InauguralSystems/EigenScript#2311 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
area:gates kind:gate-defect
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
InauguralSystems/EigenScript#2305 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
area:ci bug found-by:duet-audit
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
InauguralSystems/EigenScript#2283 ·
メンテナーはふだん 1 日以内に返信
InauguralSystems/EigenScript の issue をすべて見る
似ている issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
FujiNetWIFI/fujinet-config#379 ·
メンテナーはふだん 1 日以内に返信
-
Ship /Local/Applications, the Local domain's Applications folder対応中かも @pkgdemon が今日担当しました。 オープンarea:base enhancement
難易度 1/5 1時間未満 初心者へのやさしさ 94/100
nextbsd/nextbsd-userland#612 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
zephyrproject-rtos/zephyr#125543 ·
メンテナーはふだん 2 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
colbymchenry/codegraph#3277 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100