Decomposes the operator-routing-eq-ord spec (a68d7b6) into 12
bite-sized tasks. Task 1 bootstraps all 5 RED tests + 4 new
fixtures (TDD). Tasks 2-3 ship the load-bearing additions
(codegen alwaysinline mechanism + new intercept arms; prelude
reshape with Eq Unit + six float_* fns + body-hash re-pins).
Tasks 4-6 migrate everything that references the dying surface
(60 fixtures, 8 in-source test scaffolds, lit-pattern desugar).
Task 7 deletes the now-dead operator machinery (typchecker
builtin entries + codegen lower_eq + comparator arms + `==`-
short-circuits) in one cohesive sweep behind a compile-gate.
Task 8 extends the Float-aware NoInstance diagnostic. Tasks
9-11 are mechanical follow (IR snapshot regen, prose-projection
cleanup, 5-contract-file honesty-rule updates). Task 12 is the
acceptance gate.
Plan-recon (DONE_WITH_CONCERNS) surfaced 4 substantive spec
gaps; the plan absorbs all 4:
- Fixture-migration scope is 60 files / 76 occurrences, not
the spec's "~10". Task 4 is correspondingly large but the
work is mechanical.
- The spec named 3 in-source `#[cfg(test)] mod tests` AST-
literal sites that need migration; recon enumerated 8
(incl. `>=` at lib.rs:5656, three `==` sites in codegen/
lib.rs at 3371/3419/4354, two `cmp("==", …)` Float-arith
tests at codegen/lib.rs:3729-3734). Task 5 covers the
full 8.
- The spec named 3 contract files for honesty-rule update;
recon flagged 2 additional load-bearing files where the
dying surface is described present-tense — `str-abi.md:40-42`
("REMAIN primitive operators" — directly contradicts the
milestone) and `scope-boundaries.md:42-96` (multiple
operator + Pattern::Lit-desugar clauses) — plus a model
file `authoring-surface.md:58` (operator-example list).
Task 11 covers all 5.
- `alwaysinline` codegen attribute machinery does not exist
in the codebase today (no `attributes #N = { … }` group
emission, no inline-attribute on any `define` line — recon
verified). Task 2 introduces it as inline-attribute-on-
define (LLVM-13+ permits attribute-name directly between
`)` and `{`), keyed by a new `intercept_emit_wants_alwaysinline`
allowlist that mirrors the intercept-arm symbol set in
`try_emit_primitive_instance_body`.
Plan self-review caught two plan-grade items that recon did not
flag, both absorbed:
- North-star test (`eq_user_adt_smoke_e2e`) would have been
structurally GREEN at start-of-iter because today's
`(app eq …)` on user-ADT-with-instance already works (the
`eq_ord_user_adt.ail` fixture has shipped since 23.5). To
hold the TDD-RED-first discipline, the north-star fixture
adds an opening `(app print (app eq () ()))` line which
fires `NoInstance Eq Unit` today; the new `instance Eq Unit`
in Task 3 turns this from RED to GREEN. The expected
stdout becomes `"true\ntrue\nfalse\n"` (Unit-eq, then
Point-eq, then Point-neq).
- `is_arithmetic_or_comparison_op` rename + the `name == "=="`
clause deletion at codegen/lib.rs:2529 both touch the same
line; the plan explicitly notes both edits land at this
site in lockstep (Task 7 step 3 + step 5).
Per-task expected-state map names which RED-test flips GREEN at
which task; the workspace test-suite goes through known partial-
pass states between tasks but Task 12 is the only "all green"
gate. The four code-path-deletion tasks (Tasks 4-7) each end
with `cargo test --workspace --quiet` returning `0 failed`
because all callers of the about-to-delete surface are migrated
in earlier tasks — the compile-gate at Task 7 step 7 is
satisfiable by construction (recurring "compile-gate-vs-deferred-
caller" defect family, explicitly scrubbed in self-review #7).
All `cargo test --…<filter>` Run steps use filter substrings
verified to resolve to a real named test or test binary in the
current tree (recurring "verification-filter doesn't resolve"
defect family, scrubbed in self-review #8).
Net delta on landing: 9 new files (4 fixtures + 5 tests), ~30
.rs files modified across `ailang-check` / `ailang-codegen` /
`ailang-core` / `ailang-prose`, 60 .ail fixture migrations,
2 IR snapshots regenerated, 5 design contract / model files
updated, 8 hash-pin literals re-pinned across 3 pin-files.
Workspace pass-count delta: +5 (new tests) − 3-to-5 (test-
scaffold deletions in Tasks 5+10) ≈ +0 to +2 net.
refs #1
Brummel
400ad7c067