Repository navigation

Land native Effect/ST and record the 2026-10-17 scoreboard - #145

Merged

biuld merged 148 commits into

masterfrom

feat/effect-handlers

Oct 16, 2026

Merged

Land native Effect/ST and record the 2026-10-17 scoreboard#145
biuld merged 148 commits into
masterfrom
feat/effect-handlers

Commits on Oct 7, 2026
- Vendor the v0.15.16 core libraries into the standard library
  biuld
  committed
  c484d01
- Add compile diagnosis tooling and iteration workflow
  biuld
  committed
  74a9b02
- Add backend compile pass trace model
  biuld
  committed
  af2f5af
- Ignore bound quantifiers when testing record layout dependence
  biuld
  committed
  1cb5e42
- Add optional CC and WAT dumps to the Wasmtime test helper
  biuld
  committed
  a0cedcc
- Skip compiler-provided modules when loading the vendored library
  biuld
  committed
  e1ba35e
- Restore the workspace test suite after vendored-library slicing
  biuld
  committed
  447c4cd
- Transport abstract constructor protocols through checked instantiation
  biuld
  committed
  529de8e
- Support under-application of indirect callees
  biuld
  committed
  681d3f5
- Establish the unified RuntimeRep and layout model (DEC-17)
  biuld
  committed
  ef1cc56
- Carry checked evidence and policies through a Core-to-CC side table
  biuld
  committed
  f0c5441
- Provide Unsafe.Coerce.unsafeCoerce as a compiler primitive
  biuld
  committed
  161de49
- Make the effect token an opaque state token
  biuld
  committed
  3a8815c
- Present the checked type relation as one entry with a variance
  biuld
  committed
  7081a65
- Apply the official applied-variable rule to structural Eq and Ord
  biuld
  committed
  aad64b9
- Instantiate a bare class method's local constraints at its use
  biuld
  committed
  f434ef4
- Implement deriving with one identity registry, usage analysis, and all classes
  biuld
  committed
  6547252
- Reuse the wrapped dictionary for derive newtype
  biuld
  committed
  faf85d4
- Lower record wildcards and backticked sections in source order
  biuld
  committed
  c7b0ef5
- Represent an applied foreign type as an erased reference.
  biuld
  committed
  2c4ffc0
- Lower an immediate underscore in if to a lambda parameter.
  biuld
  committed
  5493437
- Expand local synonyms before checking an exported value.
  biuld
  committed
  d2cee0d
- Parse a qualified name in backticks as one operator.
  biuld
  committed
  f69ae19
- Apply extra arguments to an expanded type synonym.
  biuld
  committed
  c756e8d
- Parse hexadecimal integer literals as signed 32-bit Int.
  biuld
  committed
  3432987
- Generalize local let constraints that one binding determines.
  biuld
  committed
  74a0da8
- Keep outer locals polymorphic in guarded fallthrough.
  biuld
  committed
  64330c2
- Lock an integer seed for a where-bound unfold stepper.
  biuld
  committed
  9ffa178
- Match lexical dictionaries without choosing wanted types
  biuld
  committed
  0ace662
- Provide equality ordering and display for library tuples
  biuld
  committed
  b674483
- Preserve quantified source types at coercion boundaries
  biuld
  committed
  e157505
- Scope quantified variables throughout checked binding implementations
  biuld
  committed
  1485e7e
- Preserve rank-N scrutinees across equation matching and guard fallthrough
  biuld
  committed
  166f0f7
- Register compiler interfaces and synthesize checked Symbol dictionaries
  biuld
  committed
  6cb619e
- Clean up compiler and test lint across all targets
  biuld
  committed
  a5c0525
- Restore official stdlib sources and preserve library foreign contracts
  biuld
  committed
  b926fb8
- Implement checked scalar stdlib bindings with official behavior evidence
  biuld
  committed
  dbfd2b7
- Consume independent psrs-stdlib package and separate conformance tooling
  biuld
  committed
  d52573f
- Implement polymorphic array application with checked callback invocation
  biuld
  committed
  476675f
- Consume library-owned Node conformance tools and remove compiler copies
  biuld
  committed
  2a40764
- Implement stdlib array algorithms over checked storage primitives
  biuld
  committed
  53f133b
- Consume library array extend and update the stdlib lock
  biuld
  committed
  c35e1e9
- Consume library ST computations and update the stdlib lock
  biuld
  committed
  acfd784
- Track the evidence-free stdlib revision and stop tracking diagnosis snapshots
  biuld
  committed
  88a5b2e
- Consume library uncurried functions and update the stdlib lock
  biuld
  committed
  0b9636c
- Consume library array operations and update the stdlib lock
  biuld
  committed
  fdb9f8e
- Land library reachability, local row instantiation and aggregate protocols
  biuld
  committed
  f2d4b0c
- Report ScopeConflict for a duplicated import qualifier
  biuld
  committed
  d7af514
- Move module roots into mod.rs for the source-layout rule
  biuld
  committed
  dc82948
- Adjust tests to the migrated standard library
  biuld
  committed
  f9445fc
- Preserve canonical aggregate protocols across WIT variant payloads
  biuld
  committed
  3e78ff1
- Keep local bindings monomorphic through declaration ambiguity checks
  biuld
  committed
  df3626e
- Check bare row arguments through the shared instantiation relation
  biuld
  committed
  4e85c35
- Land unified target linking for the formatter slice
  biuld
  committed
  d74e092
- Measure the runtime stack bound and check artifact reproducibility
  biuld
  committed
  129e6e3
- Broaden the compiler-side Show boundary evidence
  biuld
  committed
  f1fe2d0
- Compose pinned guest interfaces through checked target plans
  biuld
  committed
  3ede633
- Resolve shared qualified imports by canonical declaration identity
  biuld
  committed
  7448cd7
- Avoid unused guard continuations and pin checked Bounded values
  biuld
  committed
  5394cfc
- Terminate recursive product coverage and record stdlib acceptance
  biuld
  committed
  b197f3d
- Pin scalar String slicing with projected FFI and runtime evidence
  biuld
  committed
  e730c1b
- Guard deep expression walks and consume intrinsic spines
  biuld
  committed
  7167527
- Pin scalar String character indexing and conversion
  biuld
  committed
  cd32f39
- Pin strict Int parsing and corrected quotient ownership
  biuld
  committed
  366a108
- Pin radix Int formatting and shared decimal conversion
  biuld
  committed
  5b72ee6
- Pin checked Number-to-Int conversion and boundary evidence
  biuld
  committed
  78dfeef
- Support Number truncation and pin official Int wrapper behavior
  biuld
  committed
  820de13
- Support checked Number rounding and pin official public wrapper behavior
  biuld
  committed
  660d1c5
- Preserve explicit polymorphic arguments in checked Core instantiation
  biuld
  committed
  a3ea5e8
- Support checked decimal conversion and official Number parsing behavior
  biuld
  committed
  131a1fe
- Implement checked Number absolute value with public behavior evidence
  biuld
  committed
  b263b14
- Separate intrinsic semantics from target implementations
  biuld
  committed
  0aab025
- Support checked Number square root with public behavior evidence
  biuld
  committed
  b300392
- Support checked Number inverse cosine with public behavior evidence
  biuld
  committed
  450759c
- Support checked Number inverse sine with public behavior evidence
  biuld
  committed
  957b133
- Support checked Number inverse tangent with public behavior evidence
  biuld
  committed
  e8b5b9a
- Support checked Number four-quadrant inverse tangent with public behavior evidence
  biuld
  committed
  4e53f83
Commits on Oct 8, 2026
- Support remaining Number primitives with upstream libm
  biuld
  committed
  d623322
- Check driver regression contracts before optimization
  biuld
  committed
  eb9f86a
- Pin stdlib with remaining Number math bindings
  biuld
  committed
  d89c870
- Replace synthesized realloc with a checked runtime allocator
  biuld
  committed
  9da4fd1
Commits on Oct 10, 2026
- Introduce generic State primitives and runtime externals
  biuld
  committed
  a805258
- Track checked State dependencies in Core
  biuld
  committed
  ba2c6e2
- Add an independent runtime GC storage provider
  biuld
  committed
  c3380cb
- Assemble checked Core and world boundaries in the linker
  biuld
  committed
  12fe6bb
- Project checked State dependencies through CC, MIR and Wasm
  biuld
  committed
  aec55c1
- Run library-owned effects through the driver and CLI
  biuld
  committed
  4fcc985
- Record public Effect.Ref reference adapter evidence
  biuld
  committed
  6b40b8d
Commits on Oct 11, 2026
- Checkpoint library-owned Effect and State migration work
  biuld
  committed
  3d345d3
- Remove compiler-owned Effect and State mechanisms
  
  biuld
  and
  claude
  committed
  e806616
- Use unsigned wasm32 allocator operands and separate artifact builds
  biuld
  committed
  395ccba
- Support ordinary runtime storage bindings
  biuld
  committed
  e7e250c
- Document draft library-owned effects and native Effect/ST handlers
  biuld
  committed
  981c832
- Record the runtime and storage binding continuation
  biuld
  committed
  34cb5f8
- Select compiler-generated frames for generic effect handlers
  biuld
  committed
  867b42e
- Split delimited control out of the effects design and fix its scope
  biuld
  committed
  a3c4f14
- Design the delimited-control mechanism: frames, executor, and handlers
  biuld
  committed
  251352a
- Add the compiler-owned delimited-control surface (Prim.Control)
  biuld
  committed
  1633dd8
- Lower Control frames and the return path of the executor
  biuld
  committed
  64a27de
- Thread generated-function signatures through CC lowering
  biuld
  committed
  d8fc250
- Record the delimited-control lowering handoff
  biuld
  committed
  2026238
- Implement persistent control executors and open handler forwarding
  biuld
  committed
  1bcad5a
- Enforce resumption ownership and delimiter lifetime
  biuld
  committed
  a31ba11
- Record public control validation and clause scope gap
  biuld
  committed
  95982be
- Implement typed control elimination with scoped handler contexts
  biuld
  committed
  bdaf0cf
- Preserve control machine field representations through CC and MIR
  biuld
  committed
  5c78fa7
- Preserve nominal control types across helper calls and captures
  biuld
  committed
  d2125f5
- Verify local closure capture contracts through MIR erasure
  biuld
  committed
  148e706
- Measure control extent ancestry and retained heap under long requests
  biuld
  committed
  2e88d65
- Retain checked control domains through CC and MIR lowering
  biuld
  committed
  57e9425
Commits on Oct 12, 2026
Commits on Oct 14, 2026
- Verify delimited control machine paths and lifecycle bodies
  biuld
  committed
  1e24e5d
- Name the control machine schema and record the construction boundary
  biuld
  committed
  01f7e66
Commits on Oct 15, 2026
Commits on Oct 16, 2026
- Pin the native Effect/ST package and record its acceptance
  biuld
  committed
  886cd82
- Record the 2026-10-17 official-suite scoreboard
  biuld
  committed
  dce30d8
- Format the coerced-ref rejection test
  biuld
  committed
  aa44bee
- Keep native oracle fixtures inside the compiler crate
  biuld
  committed
  ff8618d
- Check out the locked standard library in CI
  biuld
  committed
  3f53b92
- Run the linked seed guest with unsafePerformEffect
  biuld
  committed
  de0db32
- Satisfy the Rust source layout check
  biuld
  committed
  5f36c77
- Import Effect and run command entries through the prelude
  biuld
  committed
  eb7ff2b
- Run the Wasmtime suite once per pull request
  biuld
  committed
  3d85733
- Find the residual dictionary on the declaration named f
  biuld
  committed
  d68779c

Commits

Commits on Oct 7, 2026

Commits on Oct 8, 2026

Commits on Oct 10, 2026

Commits on Oct 11, 2026

Commits on Oct 12, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026