RM#46

Open

Verdagon wants to merge 184 commits into

rustmigratefrom

Commits on Feb 22, 2026

added solver stubs
Evan Ovadia
committed

Commits on Feb 23, 2026

before commit solver
Evan Ovadia
committed
about to connect postparser to solver
Evan Ovadia
committed
added cursor stuff
Evan Ovadia
committed
a little more
Evan Ovadia
committed
a little further
Evan Ovadia
committed
more comments
Evan Ovadia
committed

Commits on Feb 24, 2026

finished combining postparser and solver
Evan Ovadia
committed
renamed
Evan Ovadia
committed
docs
Evan Ovadia
committed
added cursor and claude things and a lib.rs
Evan Ovadia
committed
added more to gitignore
Evan Ovadia
committed

Commits on Mar 2, 2026

ai refactors and starting higher_typing
Evan Ovadia
committed
placeheld higher_typing_pass.rs, doesnt yet build
Evan Ovadia
committed
not working yet
Evan Ovadia
committed

Commits on Mar 3, 2026

right before starting migrating highertyping
Evan Ovadia
committed

Commits on Mar 7, 2026

improving guard rails
Evan Ovadia
committed
added tests to writecop
Evan Ovadia
committed

Commits on Mar 25, 2026

[TEMPORARY]
Evan Ovadia
committed

Commits on Mar 26, 2026

temporary
Evan Ovadia
committed
temporary
Evan Ovadia
committed
Add VV violation skill, update docs with review notes, delete obsolete slice-pipeline.xml flow, move use-imports above Scala comments in higher_typing_pass_tests, fix commented Scala to use consume…
Evan Ovadia
committed
guardian toml
Evan Ovadia
committed

Commits on Mar 27, 2026

from feedback
Evan Ovadia
committed

Commits on Mar 28, 2026

Split the monolithic Interner into per-pass arenas (ParseArena and ScoutArena), each owning its own bump allocator and interning maps, so that parser and postparser lifetimes are fully independent.…
Evan Ovadia
committed

Commits on Mar 29, 2026

Migrate expression parser to arena-allocated references (IExpressionPE owned to &'p IExpressionPE), removing Clone derives from ~30 parser AST structs and eliminating expr_so_far.clone() calls by t…
Evan Ovadia
committed

Commits on Mar 30, 2026

Commits on Mar 31, 2026

Commits on Apr 7, 2026

Commits on Apr 8, 2026

Commits on Apr 9, 2026

Commits on Apr 11, 2026

ai skills
Evan Ovadia
committed
ignore
Evan Ovadia
committed

Commits on Apr 13, 2026

Run slice pipeline (mig comment insertion + placeholder stubs) on six typing pass files: compilation.rs, compiler_error_reporter.rs, convert_helper.rs, edge_compiler.rs, hinputs_t.rs, reachability.…
Evan Ovadia
committed

Commits on Apr 14, 2026

Run slice pipeline (mig comment insertion + placeholder stubs) across the entire frontend codebase: final_ast, instantiating, lexing, parsing, postparsing, typing, simplifying, TestVM, von, pass_ma…
Evan Ovadia
committed

Commits on Apr 15, 2026

Commits on Apr 16, 2026

Wire up all remaining typing pass modules and add real Rust struct/fn stubs for the 46 files that were previously TODO-listed in mod.rs. Replaces the TODO comment block in typing/mod.rs with actual…
Evan Ovadia
committed
Fix typing pass placeholder stubs to use proper impl blocks and correct lifetime parameters across 4 files (citizens.rs, struct_compiler_generic_args_layer.rs, compilation.rs, struct_drop_macro.rs)…
Evan Ovadia
committed
Eliminate all duplicate-fn E0428 errors in typing pass by wrapping free-standing method stubs in per-function inherent impl blocks, preserving their position directly above their corresponding Scal…

Evan Ovadia
and
claude
committed
Fix the pre-existing struct_compiler.rs:158 parse error so the module compiles again, unblocking every downstream file that depended on StructCompiler, IResolveOutcome, UncheckedDefiningConclusions…

Evan Ovadia
and
claude
committed
Partial signature-repair sweep — Phases 1, 2, and start of 3.

Evan Ovadia
and
claude
committed
Continue signature-repair sweep — batch E0107 fixes across typing pass.

Evan Ovadia
and
claude
committed
Eliminate all E0107 type-parameter-arg mismatches across typing pass.

Evan Ovadia
and
claude
committed
Continue signature repair: add `<'s, 't>` to more fn signatures and type-defs.

Evan Ovadia
and
claude
committed
Continue signature repair: more E0106 fixes in compiler_error_humanizer.rs

Evan Ovadia
and
claude
committed
Continue signature repair: add `<'s, 't>` to free fns in

Evan Ovadia
and
claude
committed
Continue signature repair: add `<'s, 't>` to more fn signatures in

Evan Ovadia
and
claude
committed
Continue signature repair: more <'s, 't> fixes in infer/compiler_solver.rs.

Evan Ovadia
and
claude
committed
Continue signature repair: finish array_compiler.rs E0106 fixes.

Evan Ovadia
and
claude
committed
Continue signature repair: fixes in name_translator, sequence_compiler,

Evan Ovadia
and
claude
committed
Continue signature repair: add lifetimes to struct-field types across

Evan Ovadia
and
claude
committed
Continue signature repair: finish E0106 in small-file sweep.

Evan Ovadia
and
claude
committed
Finish E0106: ConvertHelper.opts gains `<'s>`. Rename conflicting

Evan Ovadia
and
claude
committed
Phase 4 cleanup: eliminate remaining E0425 misses.

Evan Ovadia
and
claude
committed
Typing slab 1: flesh out the `Compiler` god struct with its four real fields (`scout_arena`, `typing_interner`, `keywords`, `opts`) plus a `new` constructor, drop the `PhantomData` placeholder, and…
Evan Ovadia
committed
God-struct refactor Steps 2–11: merge ten sub-compilers onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor continued: merge ExpressionCompiler's 19 methods onto Compiler by wrapping each as its own `impl<'s, 'ctx, 't> Compiler<'s, 'ctx, 't> where 's: 't` block, reduce ExpressionCompi…
Evan Ovadia
committed

Commits on Apr 17, 2026

God-struct refactor: merge TemplataCompiler onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: merge EdgeCompiler onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: merge ImplCompiler onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: merge StructCompiler bundle onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: merge ArrayCompiler onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: merge BodyCompiler onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: start FunctionCompiler bundle — outer FunctionCompiler merged.

Evan Ovadia
and
claude
committed
God-struct refactor: merge FunctionCompilerCore onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: merge FunctionCompilerMiddleLayer onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: merge FunctionCompilerSolvingLayer onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: merge FunctionCompilerClosureOrLightLayer onto Compiler.

Evan Ovadia
and
claude
committed
docs: update god-struct progress handoff — all 8 upper-tier done.

Evan Ovadia
and
claude
committed
Clean up unused imports across typing/ after god-struct merge refactor. The layer merges left many now-redundant `use` statements (most of the typing module's AST/env/compilation re-exports) in fil…
Evan Ovadia
committed
Thread unused `'s`/`'t` lifetimes through typing/ stubs with `PhantomData` so migrated-but-empty types still compile under the new god-struct `Compiler<'s, 'ctx, 't>` signature. Add `_Phantom` vari…
Evan Ovadia
committed
Quiet post-merge compiler warnings in typing/ stubs by allowing unused_variables/unused_imports crate-wide and adding anonymous `<'_, '_>` lifetime annotations on panic-stubbed return types whose u…
Evan Ovadia
committed

Commits on Apr 18, 2026

God-struct refactor: set up macro dispatch enums + merge LockWeakMacro.

Evan Ovadia
and
claude
committed
God-struct refactor: merge AsSubtypeMacro onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: merge SameInstanceMacro onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: merge FunctorHelper onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor: merge remaining 15 macros onto Compiler.

Evan Ovadia
and
claude
committed
God-struct refactor Step 8: delete 11 vestigial *Compiler/helper structs.

Evan Ovadia
and
claude
committed
Typing Slab 1: flesh out leaf types — OwnershipT/MutabilityT/VariabilityT/LocationT enums and primitive KindT payloads.

Evan Ovadia
and
claude
committed
docs
Evan Ovadia
committed
Strip `// mig:` markers from src/typing/ — slice pipeline artifacts, no longer needed.

Evan Ovadia
and
claude
committed
Typing Slab 2 prep: extend derives on RegionT/CoordT/KindT/ICitizenTT/ITemplataT.

Evan Ovadia
and
claude
committed
Typing Slab 2 Tier A: flesh out 8 fieldless name structs in names.rs.

Evan Ovadia
and
claude
committed
Typing Slab 2 Tier B: flesh out 31 scout-lifetime-only name structs.

Evan Ovadia
and
claude
committed
Typing Slab 2 Tier C: flesh out remaining typing-lifetime name structs.

Evan Ovadia
and
claude
committed
Typing Slab 2 Step 3: fill 21 sub-enums with real variants per DAG.

Evan Ovadia
and
claude
committed
Typing Slab 2 Step 4: make IdT<'s, 't, T: Copy> generic per handoff §6.3.

Evan Ovadia
and
claude
committed
Typing Slab 2 Step 4 refinement: drop IdT default, specify leaf at every call.

Evan Ovadia
and
claude
committed
Typing Slab 2 Step 5: From/TryFrom bridges between sub-enums and concrete names.

Evan Ovadia
and
claude
committed
Typing Slab 2 refactor: inline-owned sub-enums, drop per-sub-enum interning.

Evan Ovadia
and
claude
committed
quest.md: document the inline-owned sub-enum design shift.

Evan Ovadia
and
claude
committed
Inline INameT: IdT.init_steps becomes &'t [INameT], drop INameT from interner.

Evan Ovadia
and
claude
committed
Typing Slab 2 Step 6: IDEPFL *ValT companion types for name interning.

Evan Ovadia
and
claude
committed

Commits on Apr 19, 2026

docs: Slab 3 handoff (Kind/Coord/Templata trio).

Evan Ovadia
and
claude
committed
IdT/PrototypeT become monomorphic; generic-typed views deferred post-migration.

Evan Ovadia
and
claude
committed
Slab 3 handoff: update for IdT/PrototypeT monomorphic refactor.

Evan Ovadia
and
claude
committed
Slab 3 handoff: resolve Gotcha 1 — KindT follows Slab 2 inline/interned split.

Evan Ovadia
and
claude
committed
Slab 3 handoff: answer junior's three Val/intern-method questions.

Evan Ovadia
and
claude
committed
Typing Slab 3: KindT/ITemplataT payloads + IDEPFL Val companions.

Evan Ovadia
and
claude
committed
TL-HANDOFF + quest.md refresh after Slabs 2-3.

Evan Ovadia
and
claude
committed
Typing Slab 4 Steps 2-4: interner substrate, variables, env entries.

Evan Ovadia
and
claude
committed
Typing Slab 4 Steps 5-7: envs, boxes, heavy-templata lifetimes, 6-map interner, builders.

Evan Ovadia
and
claude
committed
typing_interner: document why intern_coord_list_templata is hand-written.

Evan Ovadia
and
claude
committed
Slab 4 planning + doc refresh: handoff-slab-4, env reasoning doc, quest.md §3 rewrite.

Evan Ovadia
and
claude
committed
typing-pass-arenas.md: collapse long-term section to a pointer at the reasoning doc.

Evan Ovadia
and
claude
committed
docs
Evan Ovadia
committed
typing: stylistic cleanup across typing/ — hoist `use` imports above the first Scala block comment in each file per the existing VX reminder, drop empty `impl<'s, 't> FooT {}` placeholders, and exp…
Evan Ovadia
committed

Commits on Apr 20, 2026

Commits on Apr 21, 2026

Commits on Apr 22, 2026

Commits on Apr 23, 2026

Thread a `'t` bumpalo lifetime through the compilation pipeline structs (`InstantiatedCompilation`, `FullCompilation`, `HammerCompilation`, `TypingPassCompilation`) and pass a `typing_bump: &'t Bum…
Evan Ovadia
committed

Commits on Apr 25, 2026

Typing pass Slab 15a: migrate `evaluate`, `compile_static_sized_array`, `translate_generic_function_name`, `translate_code_location`, `declare_type`, and `declare_type_outer_env` from Scala to Rust…
Evan Ovadia
committed

Commits on Apr 27, 2026

Typing pass Slab 15b: migrate the function compilation pipeline from panic stubs to working Scala-parity implementations. Implement `compile_runtime_sized_array` mirroring the static-sized array pa…
Evan Ovadia
committed

Commits on Apr 28, 2026

Slab 15c continues the typing pass migration: implement `get_runes` (full per-rule sanity check), `get_puzzles` (extracted as a free function per §2.5 because the body uses no `self` and gets store…
Evan Ovadia
committed

Commits on Apr 29, 2026

Commits on Apr 30, 2026

Slab 15c continues the typing pass body migration: implement `declare_and_evaluate_function_body`, `evaluate_function_body`, and `evaluate_lets` in `function_body_compiler.rs`, replacing the `Slab …
Evan Ovadia
committed
Add Guardian submodule
Evan Ovadia
committed
Convert Sylvan/Luz from clone to submodule
Evan Ovadia
committed
Bump Guardian pin (adds opencode submodule, Luz pin fix, OPENROUTER_API_KEY env)
Evan Ovadia
committed
Disable Guardian PreToolUse hook in settings.json
Evan Ovadia
committed
Revert "Disable Guardian PreToolUse hook in settings.json"
Evan Ovadia
committed
Slab 15d continues typing-pass body migration around `unletLocalWithoutDropping` and the `make_temporary_local_defer` / `unlet_and_drop_all` family. Reshape `HinputsT` to hold `Vec<&'t FunctionDefi…

Evan Ovadia
and
claude
committed
backwards
Evan Ovadia
committed

Commits on May 1, 2026

Commits on May 2, 2026

Slab 15g extends the `taking_an_argument_and_returning_it` test from a `panic!("Unmigrated")` stub to a real test that builds `func main(a int) int { return a; }`, looks up `main` via `lookup_funct…
Evan Ovadia
committed

Commits on May 3, 2026

Slab 15h wires the function-call evaluation pipeline end-to-end so a `func main() int { return main(); }`-style recursive prefix call resolves through overload lookup, generic-function resolve, and…
Evan Ovadia
committed

Commits on May 5, 2026

Slab 15i lands `tests_panic_return_type` end-to-end — `import v.builtins.panic.*; exported func main() int { x = { __vbi_panic() }(); }` now compiles, the `LetNormalTE` for `x` resolves to a `Refer…

Evan Ovadia
and
claude
committed

Commits on May 6, 2026

Slab 15j scaffolding: fix four `TypingPass*VarNameT` struct shapes (held `&'s LocationInFunctionEnvironmentT` by impossible reference; now hold by value matching Scala parity), strip seven spurious…
Evan Ovadia
committed

Commits on May 7, 2026

Slab 15j body migration lands `tests_adding_two_numbers` end-to-end and consolidates the migration's documentation across TL.md, design v3, the slab chronicle, migration_principles, and the arenas …
Evan Ovadia
committed

Commits on May 8, 2026

Commits on May 12, 2026

Commits on May 13, 2026

Slab 15o: body migration drives 14 more compiler_tests through abstract/interface/upcast/generics, expands edge_compiler/infer_compiler/templata_compiler bodies, and lands the migration-drive doc u…
Evan Ovadia
committed
Slab 15p: body migration drives 17 more compiler_tests through
Evan Ovadia
committed
rename for linux
Evan Ovadia
committed
nightly
Evan Ovadia
committed
nightly
Evan Ovadia
committed

Commits on May 15, 2026

Slab 15q: body migration drives 14 more compiler_tests through arrays (static/runtime, push/pop/len/capacity/drop, vector-of-struct-templata), exports (function/struct/interface, struct-twice), wea…
Evan Ovadia
committed

Commits on May 16, 2026

Slab 15r: body migration drives 17 more compiler_tests through the error-reporting and humanizer paths — move-after-move/read/while diagnostics, non-subscriptable subscript, array element-type mism…
Evan Ovadia
committed

Commits on May 18, 2026

Commits on May 21, 2026

Commits on May 22, 2026