2025-07-25 - 2026-07-25
Overview
41 Issues closed from 1 user
Closed
#61 [series] Step 1 — primitive Series over {Int, Float}
Closed
#63 Owned ADT threaded through tail-recursion is never dropped (general drop-soundness leak)
Closed
#64 describe does not resolve the canonical type-scoped Type.op form
Closed
#65 Document: referencing a kernel base type from a user ADT ctor field requires full qualification
Closed
#6 21'h iteration — final 21' carry-over (latency methodology pass)
Closed
#14 Workspace search beyond entry-module's directory
Closed
#24 Sweep 5 self-match anchor-exclusion
Closed
#60 NON_PARSEABLE_FIXTURES list duplicated across 3 test crates
Closed
#55 Eliminate the Implicit ownership default — totality minus borrow-returns
Closed
#58 Consuming a heap sub-binder of a borrowed scrutinee is accepted -> double-free
Closed
#25 Float-NoInstance diagnostic should branch on method name (compare vs eq/lt/le/gt/ge)
Closed
#52 Render param-not-in-restricted-set allowed set in AILang syntax, not Rust debug
Closed
#57 Harden linearity for universal activation, part 2 — #55 cutover precondition
Closed
#49 Free superseded heap loop-binder values across recur
Closed
#56 Harden the ownership analysis for universal activation (value-types + HOF application)
Closed
#54 Close Implicit on returns so heap-returning fns stop leaking
Closed
#51 (new T ...) drops the explicit element annotation; unobserved element type crashes codegen
Closed
#53 Lower a monomorphic (new T args) over a user ADT without crashing codegen
Closed
#50 Auto-import bare RawBuf in type-constructor positions, not only op positions
Closed
#46 Reject-free borrow (RawBuf a) receiver: a single get/size is misclassified consume-while-borrowed
Closed
#47 Owned RawBuf threaded through a loop binder passes check but panics codegen unknown variable
Closed
#48 param-not-in-restricted-set message omits the allowed set the ledger promises
Closed
#45 Stale compile_check baseline: check_ms drift +35-47% (pre-existing, confirmed at b151990)
Closed
#44 Enforce-or-retract the $-in-authored-binder-names reservation
Closed
#42 raw-buf.5: RawBuf slab leak in linear shadow-rebind idiom (uniqueness key collapses shadowed binders)
Closed
#43 BLOCKER: owned RawBuf never dropped — drop call not emitted at scope end (slab leak)
Closed
#33 prep.3 — Kernel-tier modules (kernel: true) + param-in restriction
Closed
#31 prep.1 — Type-scoped namespacing (<TypeName>.<member> resolution)
Closed
#32 prep.2 — Term::New construct ((new T args...) Form-A keyword)
Closed
#2 22c — typeclass corpus expansion
Closed
#30 Schema camelCase inconsistency: paramTypes / retType in Term::Lam
Closed
#29 io/print_str appends an implicit newline (de facto println)
Closed
#28 Cross-model-authoring spec teaches wrong constructor-term keyword
Closed
#1 Operator routing through Eq / Ord
Closed
#4 Boehm full retirement
Closed
#7 io/print_float always-emit-.0
Closed
#9 ailang-plan-recon site-undercount countermeasure
Closed
#10 design_schema_drift.rs fidelity widening
Closed
#12 Zero-arg (app f) rejected at parse
Closed
#15 *.bump_s throughput baseline is stale vs current hardware
Closed
#16 check.py RC-latency *.max_us is a structural false-positive at -n 5
70 Issues created by 1 user
Opened
#1 Operator routing through Eq / Ord
Opened
#2 22c — typeclass corpus expansion
Opened
#3 Closure-pair slab / pool
Opened
#4 Boehm full retirement
Opened
#5 FnDef::synthetic flag
Opened
#6 21'h iteration — final 21' carry-over (latency methodology pass)
Opened
#7 io/print_float always-emit-.0
Opened
#8 Rustdoc warning sweep
Opened
#9 ailang-plan-recon site-undercount countermeasure
Opened
#10 design_schema_drift.rs fidelity widening
Opened
#11 Split BadCrossModuleTypeRef into two diagnostics
Opened
#12 Zero-arg (app f) rejected at parse
Opened
#13 Module-level (doc …) diagnostic omits where doc belongs
Opened
#14 Workspace search beyond entry-module's directory
Opened
#15 *.bump_s throughput baseline is stale vs current hardware
Opened
#16 check.py RC-latency *.max_us is a structural false-positive at -n 5
Opened
#17 Codegen lookup_ctor_in_pattern type-anchoring
Opened
#18 compare_primitives_smoke IR-shape assertion
Opened
#19 Latency methodology rework — histogram-based
Opened
#20 Parser-test backfill for 22b.4a-era duplicate-clause sites
Opened
#21 write_type Type::Forall arm drops constraints
Opened
#22 Richer integration paths between RC and uniqueness
Opened
#23 LLM tool-use schema / MCP server / LSP front-end
Opened
#24 Sweep 5 self-match anchor-exclusion
Opened
#25 Float-NoInstance diagnostic should branch on method name (compare vs eq/lt/le/gt/ge)
Opened
#26 Prose: render comparison calls infix (incl. float_* mapped to same operators)
Opened
#27 Rename arithmetic operators to named functions (add/sub/mul/div/mod/neg)
Opened
#28 Cross-model-authoring spec teaches wrong constructor-term keyword
Opened
#29 io/print_str appends an implicit newline (de facto println)
Opened
#30 Schema camelCase inconsistency: paramTypes / retType in Term::Lam
Opened
#31 prep.1 — Type-scoped namespacing (<TypeName>.<member> resolution)
Opened
#32 prep.2 — Term::New construct ((new T args...) Form-A keyword)
Opened
#33 prep.3 — Kernel-tier modules (kernel: true) + param-in restriction
Opened
#34 loader: workspace search path for cross-module fixtures outside examples/
Opened
#35 Prose: render param-in restrictions and (kernel) marker (prep.3 holes)
Opened
#36 Codegen intercepts: fold stem-prefix carve-out into registry (raw-buf.1 follow-up)
Opened
#37 [northstar] Stage 1 — dataflow projection: body-level dataflow reading of the AST
Opened
#38 [northstar] Stage 3 — black-box libraries: curated reusable building blocks
Opened
#39 [northstar] Stage 4 — annotation round-trip: annotations → .ail via LLM mediator
Opened
#40 [northstar] Stage 5 — interactive shell: navigable, annotatable UI over the projection
Opened
#41 INTERCEPTS conflates two concepts: compiler-supplied bodies vs optimisation of a real body
Opened
#42 raw-buf.5: RawBuf slab leak in linear shadow-rebind idiom (uniqueness key collapses shadowed binders)
Opened
#43 BLOCKER: owned RawBuf never dropped — drop call not emitted at scope end (slab leak)
Opened
#44 Enforce-or-retract the $-in-authored-binder-names reservation
Opened
#45 Stale compile_check baseline: check_ms drift +35-47% (pre-existing, confirmed at b151990)
Opened
#46 Reject-free borrow (RawBuf a) receiver: a single get/size is misclassified consume-while-borrowed
Opened
#47 Owned RawBuf threaded through a loop binder passes check but panics codegen unknown variable
Opened
#48 param-not-in-restricted-set message omits the allowed set the ledger promises
Opened
#49 Free superseded heap loop-binder values across recur
Opened
#50 Auto-import bare RawBuf in type-constructor positions, not only op positions
Opened
#51 (new T ...) drops the explicit element annotation; unobserved element type crashes codegen
Opened
#52 Render param-not-in-restricted-set allowed set in AILang syntax, not Rust debug
Opened
#53 Lower a monomorphic (new T args) over a user ADT without crashing codegen
Opened
#54 Close Implicit on returns so heap-returning fns stop leaking
Opened
#55 Eliminate the Implicit ownership default — totality minus borrow-returns
Opened
#56 Harden the ownership analysis for universal activation (value-types + HOF application)
Opened
#57 Harden linearity for universal activation, part 2 — #55 cutover precondition
Opened
#58 Consuming a heap sub-binder of a borrowed scrutinee is accepted -> double-free
Opened
#59 Diagnostics: borrow-return-not-permitted + consume-while-borrowed should name the fix
Opened
#60 NON_PARSEABLE_FIXTURES list duplicated across 3 test crates
Opened
#61 [series] Step 1 — primitive Series over {Int, Float}
Opened
#62 [series] Step 2 — SoA record-of-series
Opened
#63 Owned ADT threaded through tail-recursion is never dropped (general drop-soundness leak)
Opened
#64 describe does not resolve the canonical type-scoped Type.op form
Opened
#65 Document: referencing a kernel base type from a user ADT ctor field requires full qualification
Opened
#66 Remove general-purpose content hashing
Opened
#67 Leak-class branch drop: heap-capturing closure param leaks (soundness-over-completeness)
Opened
#68 Revive cross-model authoring-form harness + establish external-model fieldtest method
Opened
#69 ail builtins is an incomplete API scan — no comparison operators surfaced
Opened
#70 match on Bool passes check but codegen rejects it (no if, no working Bool branch)