theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) by gHashTag · Pull Request #8181 · gHashTag/t27

gHashTag · 2026-10-09T11:53:38Z

What

Sieve cell C9 (reproducible builds, reproducible-builds.org/docs/definition) measured for t27c and t27b, with the rule and the measured hashes recorded as data and tests in specs/compiler/theory/reproducible.t27.

Runs

Commit be97577, rustc 1.99.0, cargo 1.99.0, x86_64 release. Seven builds on the two Railway labs, varying the build path, clock, user and HOME, TZ, locale, umask, SOURCE_DATE_EPOCH (set and unset), clone depth (partial, full, depth 1), CARGO_HOME and host.

binary	sha256	builds
t27b	258950de2fa4a978a3c223cee4760b7912db8c022c4999d883bf9d4392a157cd	all 7
t27b aarch64	b0917f8870d899911e19376b4f924d67a4b6b2a9a1bbdcbe327506f0812d9bd7	X, Y
t27c	c661e5ecb47253034b7852eba12ef57749482164c008728850a3bfac42058feb	A, B, D
t27c	477efb0f10d18854332970f60ff8c322e825259052a4ad9b1245501ee82b20e9	C (depth-1 clone)
t27c	5f3278089fdcdc7885fde7d930be27b14eb624ae0def81a2f4cfe3ea44c85cf0	E (other CARGO_HOME)
t27c	ac69ce14528151a3d85516274a25a176b7cdad0629a9c7ed4f94782272400cd4	X, Y (t27b lab)
t27c, remapped	253be263e8c28ec9f6c4c659b9dbc979d42627a7799d915ec0d53366ab3809f6	F, G, Z (3 cache paths, 2 hosts)

Verdict

t27b C9: UNKNOWN to TRUE. All seven builds are bit-identical.
t27c C9: UNKNOWN to FALSE. Fix issue: t27c build is not reproducible: git short-sha length and CARGO_HOME path are baked into the binary (sieve C9) #8178. Two causes, each isolated by one pair of builds:
1. bootstrap/build.rs bakes in git rev-parse --short HEAD. A depth-1 clone gives be97577, a full clone be9757784. With core.abbrev 9, the shallow clone gives back the full clone's hash.
2. The absolute CARGO_HOME paths of 20 crates.io crates are embedded in panic locations, 115 occurrences in all. With --remap-path-prefix=$CARGO_HOME=/cargo, the binary is identical across both hosts and all three cache paths.
gen, gen-c and gen-rust: deterministic. Over the 2037-slot corpus, every slot's stdout, stderr and exit code agree across five runs and three distinct t27c binaries. As a negative control, the empty output of a failed clone was flagged on all 2037 slots.

Spec changes

reproducible.t27: the rule, the build records, a cause model checked on all 21 build pairs, negative-control models, the remap fix and the gen corpus data. test-report 10/10, 0 vacuous. Now sealed.
sieve.t27 (after merging master, which brought theory(sieve): C6 warmup measured, C7 speed and quality published (Closes #7596) #8182's C6/C7 move):
- t27c C9 FALSE, t27b C9 TRUE; theory(sieve): C6 warmup measured, C7 speed and quality published (Closes #7596) #8182's at_be9757784 rows carry the pre-C9 values (this branch's at_17e01d205 rows had the same data and were dropped);
- T738: t27c has 4 FALSE cells (C1, C4, C5, C9), t27b 1 (C1);
- T739: 4 filters fire, kills(C9) = t27c, subsumed_by(C6) = 5;
- T740: t27b has 7 TRUE cells, best 7;
- T741: 5 FALSE cells, C9 maps to t27c build is not reproducible: git short-sha length and CARGO_HOME path are baked into the binary (sieve C9) #8178, and a new test checks that, since be97577, exactly two C9 cells moved from UNKNOWN beside T752's three C6/C7 cells;
- T742 G8 stays PARTIAL.
test-report 12/12, 0 vacuous, with t27c built at master 5ba4247 on the t27c lab. Both seals rewritten (seal schema 2).
One mutant per spec is caught: 4 of 10 tests fail in reproducible.t27 and 2 of 11 in sieve.t27.

Foreign lines: 0. The build.rs fix is foreign code and waits on #8178.

🤖 Generated with Claude Code

…it abbrev and CARGO_HOME (Closes #8148) Seven builds of each binary at be97577 on the two Railway labs, varying path, clock, user, HOME, TZ, locale, umask, SOURCE_DATE_EPOCH, clone depth, CARGO_HOME and host. t27b: one sha256 (258950de...), C9 TRUE. t27c: four binaries; causes are the build.rs short-sha length (7 in a depth-1 clone, 9 in a full one) and absolute CARGO_HOME registry paths in panic locations. C9 FALSE, fix issue #8178. gen, gen-c and gen-rust are identical over the 2037-slot corpus across five runs and three binaries. The rule, the hashes and a cause model checked on all 21 build pairs live in specs/compiler/theory/reproducible.t27 (10/10, 0 vacuous). sieve.t27 moves T738-T741, keeps the 17e01d2 rows, and is resealed (11/11). Refs #6488 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-09T13:04:21Z

PR Dashboard

Generated at: 2026-10-09 13:04:11 UTC

Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-01/src/key_package_expiry_guard.rs (Rust, 1 function) to specs/port/ #8187 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-01/src/key_package_expiry_guard.rs (Rust, 1 function) to specs/port/ | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
t27b: print how many reference verdicts the cache reused (Closes #8184) #8185 t27b: print how many reference verdicts the cache reused (Closes #8184) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
t27c silicon-queue and the reseal guard: wire silicon_queue.t27 (Closes #8147) #8183 t27c silicon-queue and the reseal guard: wire silicon_queue.t27 (Closes #8147) | Created: 2026-10-09 | Updated: 2026-10-09 | 29 failing / 32 total
theory(sieve): C6 warmup measured, C7 speed and quality published (Closes #7596) #8182 theory(sieve): C6 warmup measured, C7 speed and quality published (Closes #7596) | Created: 2026-10-09 | Updated: 2026-10-09 | 23 failing / 29 total
theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) #8181 theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) | Created: 2026-10-09 | Updated: 2026-10-09 | 19 failing / 28 total
spec(agent-provider-chain): v3 -- a Kie route right after zai #8180 spec(agent-provider-chain): v3 -- a Kie route right after zai | Created: 2026-10-09 | Updated: 2026-10-09 | 8 failing / 29 total
specs/base/types.t27: compile again at 4 trits per byte, seal v2 (Closes #8303) #8177 specs/base/types.t27: compile again at 4 trits per byte (Refs #4817) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 29 total
t27b: an array literal of strings for a slice field or a returned slice is a static written at every entry (Closes #7833, Closes #8091) #8174 t27b: an array literal of strings for a slice field or a returned slice is a static written at every entry (Closes #7833, Closes #8091) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 3 total
t27b ledger: bless lab run a97cb9e55, 14 unlisted pass rows, cap 26 -> 25 (Closes #8170) #8173 t27b ledger: bless lab run a97cb9e55, 14 unlisted pass rows, cap 26 -> 25 (Closes #8170) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 27 total
policy: list the t27b verdict-key glue files as own-language exceptions (Closes #8171) #8172 policy: list the t27b verdict-key glue files as own-language exceptions (Closes #8171) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 26 total
port: scripts/gen_w662.py as specs/port/scripts/gen_w662.t27 (Closes #8160) #8169 port: scripts/gen_w662.py as specs/port/scripts/gen_w662.t27 (Closes #8160) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
t27b checked: test blocks for 4 specs in specs/functions (1 of 1) #8168 t27b checked: test blocks for 4 specs in specs/functions (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
t27b: std.math.pow of an f32 calls a t27 port of Zig's pow.zig, and gf16.t27 passes (Closes #7823) #8167 t27b: std.math.pow of an f32 calls a t27 port of Zig's pow.zig, and gf16.t27 passes (Closes #7823) | Created: 2026-10-09 | Updated: 2026-10-09 | 9 failing / 37 total
specs(crons): real tests for 13 cron cards, 999-multibots-telegraf and railway (Closes #8157) #8158 specs(crons): real tests for 13 cron cards, 999-multibots-telegraf and railway (Closes #8157) | Created: 2026-10-09 | Updated: 2026-10-09 | 10 failing / 35 total
verified: an agent next to each board -- bench_agent.t27 and t27c bench-agent (Closes #8153) #8155 verified: an agent next to each board -- bench_agent.t27 and t27c bench-agent (Closes #8153) | Created: 2026-10-09 | Updated: 2026-10-09 | 30 failing / 33 total
gen-verilog: hold a module-level array of structs as a memory; t27core leaves the width ledger (Closes #8151) #8154 gen-verilog: hold a module-level array of structs as a memory; t27core leaves the width ledger (Closes #8151) | Created: 2026-10-09 | Updated: 2026-10-09 | 8 failing / 38 total
t27c: test-report exits non-zero on FAIL or BLOCKED (Closes #7370) #8152 t27c: test-report exits non-zero on FAIL or BLOCKED (Closes #7370) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 34 total
tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) #8149 tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) | Created: 2026-10-09 | Updated: 2026-10-09 | 16 failing / 35 total
spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) #8131 spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 31 total
seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) #8117 seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp #8108 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 29 total
t27b checked: test blocks for 5 specs in specs/crons (1 of 1) #8107 t27b checked: test blocks for 5 specs in specs/crons (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) #8106 t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) #8105 t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
t27b: eval::arith, the reference interpreter's exact arithmetic, moves to specs/tri/t27b/eval_arith.t27 (Closes #8057) #8086 t27b: eval::arith, the reference interpreter's exact arithmetic, moves to specs/tri/t27b/eval_arith.t27 (Closes #8057) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 42 total
verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) #8065 verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) #8055 t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 35 total
port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) #8047 port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 32 total
t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) #8028 t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 33 total
t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) #8027 t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 35 total
specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload #8023 specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
specs/functions: broadcast-message-send -- one step per batch of 25 #8021 specs/functions: broadcast-message-send -- one step per batch of 25 | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 #7993 Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ #7986 Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP #7970 Port gHashTag/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP | Created: 2026-10-08 | Updated: 2026-10-09 | 1 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por #7969 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte #7926 Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte | Created: 2026-10-08 | Updated: 2026-10-09 | 1 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe #7920 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe | Created: 2026-10-08 | Updated: 2026-10-09 | 2 failing / 29 total
t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) #7912 t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) | Created: 2026-10-08 | Updated: 2026-10-09 | 6 failing / 35 total
t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) #7905 t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) | Created: 2026-10-08 | Updated: 2026-10-09 | 7 failing / 35 total
gen-ts: lower the bodies of pure functions #7872 gen-ts: lower the bodies of pure functions | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 42 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	48
PRs with All Checks Green	2
READY	0
FAILING	48
PENDING	0
NO CHECKS YET	0

These columns do not partition: 0 + 48 + 0 + 0 = 48, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

⚠️ STALE -- sha256(compiler.rs)=3c0ade9e73e4 != manifest seal=87e5cbd3ad94.
The committed NMSE numbers were certified against an older compiler.rs.
Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

#8182 (C6/C7, Refs #7596) and this PR both moved sieve.t27 counts. The merge keeps #8182's rows and adds the C9 measurement on top: - t27c C9 FALSE (fix #8178), t27b C9 TRUE; the be97577 rows from #8182 replace this branch's 17e01d2 rows (same data). - T738: t27c FALSE 4 (C1, C4, C5, C9), t27b FALSE 1 (C1). - T739: four filters fire, kills(C9) == {t27c}, subsumed_by(C6) == 5. - T740: t27b TRUE 7, best 7. - T741: five FALSE cells, C9 -> #8178; the C9 test now counts moves from be97577 (5 total: T752's three C6/C7 cells and the two C9 cells). - test-report on the t27c lab with t27c built at 5ba4247 (bootstrap/ unchanged since): sieve 12/12, reproducible 10/10, 0 vacuous each; both resealed (seal schema 2). Master is the first parent so the pre-commit gates see this PR's diff. Closes #8148 Refs #6488 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag · 2026-10-10T11:03:04Z

Master re-merged (merge commit d1ef7b8, master as first parent per repo convention; no force-push). Conflicts were the two theory seals vs the v2 re-mint (19a2327/1ab051fe8): the branch's seals are kept because they match the specs this tree carries (12/12 sieve, 10/10 reproducible). Verified on the t27c lab at d1ef7b8: both seals' gen_hash_c/rust/verilog/zig match what the compiler emits (no re-seal needed), test-report 12 pass / 0 fail / 0 vacuous (sieve) and 10 pass / 0 fail / 0 vacuous (reproducible). Specs are byte-identical to the branch versions; master touched neither theory spec since a1497b1, so #8182's C6/C7 values and the C9 rows both stand. own-language was red only through the stale PR base (e19b771, master at open time) counting master's own drift as this PR's diff; a close/reopen refreshed the base and it passes. Remaining reds are inherited from master and non-required: Corpus ratchet, t27b-native-ratchet, coverage fail on master's own head; spec-guards is red repo-wide today (79 stale seals from the gen-zig empty-array change, none of them this PR's). Required contexts validate, check-linked-issue, parse-ratchet, own-language: all green.

gHashTag enabled auto-merge (squash) October 9, 2026 11:53

gHashTag mentioned this pull request Oct 9, 2026

EPIC: golden reference language -- the compiler sieve (TNF-style theorems), and t27 passes it #6488

Closed

7 of 9 tasks

gHashTag mentioned this pull request Oct 9, 2026

theory(sieve): C6 warmup measured, C7 speed and quality published (Closes #7596) #8182

Merged

github-actions Bot mentioned this pull request Oct 9, 2026

t27b: key reference verdicts by the generated code, not the t27c binary (Closes #8176) #8208

Merged

gHashTag reopened this Oct 10, 2026

gHashTag mentioned this pull request Oct 10, 2026

EPIC: t27b runs the whole corpus -- 100% of reference-passing specs, 0 mismatches, experiments on Railway #6063

Open

6 tasks

gHashTag closed this Oct 10, 2026

gHashTag reopened this Oct 10, 2026

github-actions Bot mentioned this pull request Oct 10, 2026

gf16.t27 (L6 ceiling): gf16_extract_exponent returns 0 for every input; 3 invariants false under execution #8531

Closed

gHashTag merged commit 68c7684 into master Oct 10, 2026
85 of 100 checks passed

This was referenced Oct 10, 2026

receipts: more than one signer -- the t27b lab must not be the network's only validator #8606

Open

Epic: GOLDEN CHAIN in t27 -- anchors, contribution ledger, usage from receipts, many signers, a live atlas #8609

Open

Navigation Menu

Repository navigation

theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) - #8181

theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148)#8181
gHashTag merged 3 commits into
masterfrom
sieve/c9-repro-build

gHashTag commented Oct 9, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 9, 2026

Uh oh!

gHashTag commented Oct 10, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 9, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

What

Runs

Verdict

Spec changes

Uh oh!

github-actions Bot commented Oct 9, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag commented Oct 10, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

gHashTag commented Oct 9, 2026 •

edited

Loading