fix(rust): int, uint, float and double, which every neighbour already answers

[gHashTag]

Closes #3323

t27_array_type_to_zig (compiler.rs:8349) carries "float" => "f64", "double" => "f64", "int" => "i32", "uint" => "u32" with a comment naming the same defect one backend over:

W591: float is not a Zig type. Same family as the f32/f64 gap W583 found on the C side — a scalar the corpus spells and the mapper never learned, so it passed through the other arm and reached the backend verbatim.

The C emitter matches "f16" | "f32" | "f64" | "float" | "double" in three places. The Rust mapper knew none of them.

The column does not move. Two pinned binaries of distinct hashes, 651 specs: 336 OK both sides, zero regressions.

What moves is the emission, and that is the claim being made here. 5 specs change their generated Rust — pub step_id: int → pub step_id: i32, Vec<int> → Vec<i32> — and cannot find type int/float`` was the FIRST rustc error on 3 of them and is now the first error on none. Their new first errors are K_TRUE and `Trit`, which is how the fix is known to have landed rather than assumed.

Deliberately narrow: capitalised Int and Float are not mapped. No neighbour answers those, so mapping them would be a decision rather than a transfer.

Method note. The first measurement was discarded: I rebuilt the compiler while the baseline run was still going — the ruler moved under the measurement — so both sides were re-run against binaries pinned before either started.

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

[github-actions]

PR Dashboard

Generated at: 2026-09-05 19:32:39 UTC

• fix(rust): int, uint, float and double, which every neighbour already answers #3334 fix(rust): int, uint, float and double, which every neighbour already answers | Created: 2026-09-05 | Updated: 2026-09-05 | 25 failing / 29 total
• loop: a claim, because two sessions took the same three tasks #3332 loop: a claim, because two sessions took the same three tasks | Created: 2026-09-05 | Updated: 2026-09-05 | 1 failing / 36 total
• skill: spool four lessons from this pass #3327 skill: spool four lessons from this pass | Created: 2026-09-05 | Updated: 2026-09-05 | 1 failing / 28 total
• ci(release): drop a dispatch that can only fail #3325 ci(release): drop a dispatch that can only fail | Created: 2026-09-05 | Updated: 2026-09-05 | 0 failing / 28 total
• skill: make the spool the way lessons are added, and guard it #3323 skill: make the spool the way lessons are added, and guard it | Created: 2026-09-05 | Updated: 2026-09-05 | 1 failing / 37 total
• compiler: two frozen tests get the anchor their region needed #3317 compiler: two frozen tests get the anchor their region needed | Created: 2026-09-05 | Updated: 2026-09-05 | 0 failing / 38 total
• ci: zero checks is not zero failures, on the path that merges #3314 ci: zero checks is not zero failures, on the path that merges | Created: 2026-09-05 | Updated: 2026-09-05 | 0 failing / 28 total
• chore(ci)(deps): bump actions/attest-build-provenance from 1 to 4 #3001 chore(ci)(deps): bump actions/attest-build-provenance from 1 to 4 | Created: 2026-09-01 | Updated: 2026-09-05 | 4 failing / 31 total
• chore(ci)(deps): bump softprops/action-gh-release from 2 to 3 #3000 chore(ci)(deps): bump softprops/action-gh-release from 2 to 3 | Created: 2026-09-01 | Updated: 2026-09-05 | 3 failing / 29 total
• chore(ci)(deps): bump github/codeql-action from 3 to 4 #2999 chore(ci)(deps): bump github/codeql-action from 3 to 4 | Created: 2026-09-01 | Updated: 2026-09-05 | 4 failing / 31 total
• Land the formal verification harness on master (it has never run) #2727 Land the formal verification harness on master (it has never run) | Created: 2026-08-27 | Updated: 2026-09-05 | 5 failing / 24 total
• chore(deps)(deps): bump thiserror from 2.0.18 to 2.0.20 #2693 chore(deps)(deps): bump thiserror from 2.0.18 to 2.0.20 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump hyper from 1.10.1 to 1.11.0 #2692 chore(deps)(deps): bump hyper from 1.10.1 to 1.11.0 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 33 total
• chore(deps)(deps): bump base64 from 0.22.1 to 0.23.1 #2691 chore(deps)(deps): bump base64 from 0.22.1 to 0.23.1 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump serde from 1.0.228 to 1.0.229 #2690 chore(deps)(deps): bump serde from 1.0.228 to 1.0.229 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump uuid from 1.23.2 to 1.25.0 #2689 chore(deps)(deps): bump uuid from 1.23.2 to 1.25.0 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• Unbreak FPGA CI and correct two unbacked hardware claims #2081 Unbreak FPGA CI and correct two unbacked hardware claims | Created: 2026-08-11 | Updated: 2026-08-20 | 5 failing / 27 total

Summary

Status	Count
Total Open PRs	17
PRs with Failing Checks	12
PRs with All Checks Green	5
READY	3
FAILING	12
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=6a8a89332bd9 != 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).