Brummel 2488d9d345 test(codegen): RED pin for let-wrapped tail-call leak (#63 leg 2) ...

After the leg-1 fix (68f500c), a tail call wrapped in a trailing
`(let ...)` (or `seq`) still leaks: the arm body is an MTerm::Let, not
a direct App{tail:true}, so `arm_body_is_tail_call` (match_lower.rs
~717) is false and both the scrutinee-husk shallow-dec and the leg-1
owned-param dec are skipped — while lower_term still descends through
the Let body and emits the inner call as musttail. The scrutinee husk
and the non-forwarded owned param each leak one slab per recursion
step.

Series-free minimal repro (a plain `Box` whose replacement is
let-bound before the tail call), asserting live == 0 under
AILANG_RC_STATS=1. RED today: `allocs=6 frees=2 live=4`. This is the
leg that keeps examples/series_sma.ail at live=8 (its canonical
`(let s_new (push …) (seq … (tail-app …)))` body).

The debugger confirmed the fix is contained, not a design fork:
`arm_body_is_tail_call` feeds only the two drop-emission gates, never
the musttail-emission decision (which lives independently in
lower_term off App{tail:true}), so peeling the detection through a
trailing Let/Seq chain ending in a tail call is safe. The let
scope-close drop is gated on `!block_terminated` and so is correctly
skipped, avoiding a double-free of the let binding.

refs #63

2026-06-02 13:46:06 +02:00

..

fieldtest

fieldtest(series-step1): 5 examples, 5 findings (1 bug, 1 friction, 1 spec-gap)

2026-06-02 13:22:30 +02:00

bare_slot_reject.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bench_closure_chain.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bench_compute_collatz.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bench_compute_intsum.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bench_hof_pipeline.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bench_latency_explicit.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bench_latency_implicit.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bench_list_sum_explicit.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bench_list_sum.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bench_list_sum.prose.txt

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bench_mono_dispatch.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bench_tree_walk.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bool_to_str_drop_rc.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bool_to_str_smoke_false.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

borrow_own_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

borrow_return_reject.ail

feat(check): reject borrow-returns at the signature (#55, 0121 task 1)

2026-06-01 16:41:21 +02:00

borrow_value_reject.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

box.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

broken_unbound.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

bug_unbound_in_instance_method.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

c1_local_hof.ail

feat(check): resolve local function-typed binder modes (#57, 0064 iter 2)

2026-06-01 17:57:40 +02:00

c2_let_alias.ail

feat(check): let-alias borrow propagation via alias-redirect (#57, 0064 iter 3)

2026-06-01 18:12:25 +02:00

c3_value_let.ail

feat(check): tee let-binder types, exempt value-typed let-binders (#57, 0064 iter 1)

2026-06-01 17:44:40 +02:00

c4_double_consume.ail

fix(examples): destructure partition_eithers result once (#57, 0064 iter 4)

2026-06-01 18:22:59 +02:00

c4_rewrite.ail

fix(examples): destructure partition_eithers result once (#57, 0064 iter 4)

2026-06-01 18:22:59 +02:00

classify_pin.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

clone_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

closure.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

cmp_max_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

compare_float_noinstance.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

compare_primitives_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ct_1_ordering_signum.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ct_2_bare_cross_module.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ct_3_bad_qualified.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ct_3b_bad_qualified_known_module.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ct_4_qualified_class.ail

iter operator-routing-eq-ord.1 (DONE 13/13): drop comparator builtins, route through Eq/Ord

2026-05-21 01:16:21 +02:00

ctt2_collision_cls.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ctt2_collision_lib.ail

iter form-a.1 (Tasks 1-5): additive phase + relocation

2026-05-13 11:12:48 +02:00

ctt2_collision_main.ail

iter form-a.1 (Tasks 1-5): additive phase + relocation

2026-05-13 11:12:48 +02:00

drop_value_field_no_segfault_pin.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_backtest_step_record_borrow.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_backtest_step_record.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_backtest_step_tick_borrow.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_backtest_step_tick.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_backtest_step.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_export_adt_ret_rejected.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_export_effectful_rejected.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_export_float_ok.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_export_io_rejected.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_export_list_field_record_rejected.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_export_multictor_rejected.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_export_record_ok.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_export_str_field_record_rejected.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_export_str_param_rejected.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_noentry_baseline.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

embed_record_layout_carrier.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

eq_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

eq_float_must_fail.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

eq_float_noinstance.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

eq_ord_polymorphic.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

eq_ord_user_adt.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

eq_primitives_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

eq_user_adt_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

escape_local_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

flat_pat_shadow_control.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

flat_pat_shadow_leak.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

float_compare_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

float_to_str_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

floats.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

fp_hof.ail

feat(check): harden the ownership analysis for universal activation (0063)

2026-06-01 15:38:32 +02:00

fp_map.ail

feat(check): harden the ownership analysis for universal activation (0063)

2026-06-01 15:38:32 +02:00

fp_value.ail

feat(check): harden the ownership analysis for universal activation (0063)

2026-06-01 15:38:32 +02:00

ge_at_int_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

gt_at_bool_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

heap_str_repeated_print_borrow.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

hello.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

hof.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

int_to_print_int_borrow.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

int_to_str_drop_rc.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

int_to_str_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

kernel_intrinsic_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

le_at_str_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

list_map_poly.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

list_map.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

list.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

lit_pat_ctor_tail_drop.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

lit_pat_nil_scrutinee_drop.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

lit_pat.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

local_rec_as_value_capture.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

local_rec_as_value.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

local_rec_capture.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

local_rec_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

local_rec_let_capture.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

local_rec_match_capture.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_forever_build.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_forever_build.prose.txt

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_forever.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_let_bound_binder_ref.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_recur_heap_binder_no_leak_pin.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_recur_str_binder_no_leak_pin.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_str_recur_literal_no_leak_pin.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_str_static_exit_no_leak_pin.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_sum_to_deep.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_sum_to_run.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_sum_to_run.prose.txt

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

loop_sum_to.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

lt_at_int_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

max3.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

maybe_int.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mir2_callee_kinds.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mono_hash_pin_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mq1_xmod_constraint_class_dep.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mq1_xmod_constraint_class.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mq3_class_eq_vs_fn_eq_classmod.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mq3_class_eq_vs_fn_eq_fnmod.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mq3_class_eq_vs_fn_eq.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mq3_two_show_ambiguous_a.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mq3_two_show_ambiguous_b.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mq3_two_show_ambiguous.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mq3_two_show_qualified.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mut_counter.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mut_sum_floats.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

mut.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ne_at_int_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

nested_let_rec.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

nested_pat.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

new_counter_user_adt.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

new_rawbuf_size_only.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

nullary_app_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

operator_unbound_check.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ord_int_intercept_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ordering_match.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ordering_match.prose.txt

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

own_return_provenance_ctor.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

own_return_provenance_let.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

own_return_provenance_reject.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

own_str_arg_drop.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ownership_total.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

pat_extract_partial_drop.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

poly_apply.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

poly_id.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

poly_rec_capture.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

prelude.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

print_eq_arg_repro.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

print_float_whole_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

print_int_no_leak_pin.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

print_str_embedded_newline_no_doubling.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

print_str_no_auto_newline.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

raw_buf_adt_field_bare.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

raw_buf_adt_field_qualified.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

raw_buf_bool.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

raw_buf_borrow_read.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

raw_buf_drop_min.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

raw_buf_float.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

raw_buf_int.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

raw_buf_loop_no_leak_pin.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

raw_buf_new_poly_elem.ail

test(series): RED pin for polymorphic RawBuf element-var forwarding

2026-06-02 12:36:01 +02:00

raw_buf_new_type_arg_intsize.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

raw_buf_new_type_arg_unit_reject.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

raw_buf_reject_str.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_app_let_partial_drop_leak.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_app_let_partial_drop_leak.prose.txt

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_box_drop.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_drop_iterative_long_list.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_let_alias_implicit_param.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_let_implicit_returning_app.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_let_owned_app_leak.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_list_drop_borrow.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_list_drop.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_match_arm_partial_drop_leak.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_match_arm_partial_drop_leak.prose.txt

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_own_param_drop.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_own_param_drop.prose.txt

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_own_param_partial_drop_leak.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_pin_recurse_implicit.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

rc_tail_sum_explicit_leak.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

real_consume.ail

feat(check): harden the ownership analysis for universal activation (0063)

2026-06-01 15:38:32 +02:00

reuse_as_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

series_sma.ail

test(series): RED pin for the SMA worked example (#61 headline)

2026-06-02 12:59:34 +02:00

show_mono_pin_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

show_no_instance.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

show_print_smoke.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

show_user_adt_with_label.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

show_user_adt.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

sort.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_either_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_either_list_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_either_list.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_either.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_list_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_list_more_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_list_stress.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_list.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_maybe_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_maybe.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_pair_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

std_pair.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

str_clone_cross_realisation.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

str_clone_drop_rc.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

str_field_in_adt_heap.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

sum.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

tail_recur_let_wrapped_no_leak_pin.ail

test(codegen): RED pin for let-wrapped tail-call leak (#63 leg 2)

2026-06-02 13:46:06 +02:00

tail_recur_owned_param_no_leak_pin.ail

test(codegen): RED pin for owned-param leak in tail-recursion (#63)

2026-06-02 13:31:54 +02:00

test_22b1_dup_a.ail

iter form-a.1 (Tasks 1-5): additive phase + relocation

2026-05-13 11:12:48 +02:00

test_22b1_dup_b.ail

iter form-a.1 (Tasks 1-5): additive phase + relocation

2026-05-13 11:12:48 +02:00

test_22b1_dup_classmod.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b1_dup_entry.ail

iter form-a.1 (Tasks 1-5): additive phase + relocation

2026-05-13 11:12:48 +02:00

test_22b1_dup_same_module.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b1_missing_method.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b1_orphan_class.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b1_orphan_third_classmod.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b1_orphan_third.ail

iter form-a.1 (Tasks 1-5): additive phase + relocation

2026-05-13 11:12:48 +02:00

test_22b2_class_method_lookup.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_constraint_declared_via_superclass.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_constraint_declared_via_superclass.prose.txt

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_constraint_declared.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_instance_present.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_instance_present.prose.txt

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_invalid_superclass_param.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_kind_mismatch.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_method_name_collision_class_class.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_method_name_collision_class_fn.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_missing_constraint_subclass.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_missing_constraint.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_missing_superclass_instance.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_no_instance.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_overriding_nonexistent.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_two_fns_missing_constraint.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_unbound_constraint_var.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_xmod_classmod_noinst.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_xmod_classmod.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_xmod_instance_present.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_xmod_missing_constraint.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b2_xmod_no_instance.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b3_chained_calls.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b3_coherence_two_instances.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b3_default_e2e.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b3_default_e2e.prose.txt

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b3_dup_call_sites.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b3_mono_synthetic.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b3_no_call_sites.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b3_shadow_class_method.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b3_xmod_e2e_classmod.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22b3_xmod_e2e_main.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_22c_user_class_e2e.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_ct1_bad_qualifier.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_ct1_bare_xmod_rejected.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_ct1_qualified_class_rejected.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_loop_binder_captured_by_lambda.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_mono_ctor_listmod.ail

iter form-a.1 (Tasks 1-5): additive phase + relocation

2026-05-13 11:12:48 +02:00

test_mono_ctor_main.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_mono_imports_classmod.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_mono_imports_main.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_mono_recursive_fn_bug.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_recur_arity_mismatch.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_recur_not_in_tail_position.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_recur_outside_loop.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

test_recur_type_mismatch.ail.json

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

unreachable_demo.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ws_broken.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ws_lib.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ws_main.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

ws_unknown_module.ail

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00