Brummel/AILang
1
0
Fork 0
Code Issues 29 Pull Requests Actions Packages Projects Releases Wiki Activity
Files
68f500c4b06888b79c0cbe13b91b7136e5d2b577
AILang/examples
T
History
Brummel 1be6e49b4f test(codegen): RED pin for owned-param leak in tail-recursion (#63) 
An owned heap ADT param threaded through a tail-recursive fn whose
base-case arm neither forwards nor consumes it is never RC-dec'd, so
it leaks one slab per recursion step. Series-free minimal repro
(a plain `Box` ADT, no Series/RawBuf), so the pin guards the GENERAL
memory-model invariant rather than the Series surface that first
surfaced it (examples/series_sma.ail, live=8).

The pin builds the fixture with --alloc=rc, runs it under
AILANG_RC_STATS=1, and asserts live == 0 (allocs == frees). RED today:
`allocs=6 frees=4 live=2`. The fixture passes the replacement ctor
directly into the tail call (not let-bound) to isolate leg 1 — the
owned-param drop omission — from the second, distinct leg the
debugger found (a `let`-wrapped tail call also defeats the
scrutinee-husk shallow-dec gate; that leg is what pushes box_ctrl to
live=4 and series_sma to live=8, and gets its own pin once leg 1 is
green).

Cause (debugger, for the GREEN side): the fn-return Own-param dec in
crates/ailang-codegen/src/lib.rs (~1444) is gated behind
`!block_terminated`, so it fires only on the fall-through ret path;
crates/ailang-codegen/src/match_lower.rs (~805) drops only pattern
binders, never the fn's owned params. A tail-call-terminated match arm
thus has no drop site for an owned param with consume_count==0 that is
not forwarded into the tail call.

refs #63
2026-06-02 13:31:54 +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_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