Issues

A WITH supply is silently mis-delivered when two section binders share a spelling at different types — l4 check green, wrong-typed value at run time

#960

· mengwong opened

on Sep 9, 2026

prettyLayout: sg-wills.l4's printed form stack-overflows where the original evaluates

#959

· mengwong opened

on Sep 8, 2026

PARTY p MUST Sign p: nothing requires EXACTLY, so the rebind reading is indistinguishable from the use

#955

· mengwong opened

on Sep 7, 2026

No LSP golden covers any regulative rule: 0 of 11 semantic-tokens fixtures and 0 of 1 hover fixture contain PARTY

#954

· mengwong opened

on Sep 7, 2026

l4 render leaks raw keywords (and a stray "has") into prose for RAND-combined regulative rules

#953

· mengwong opened

on Sep 7, 2026

HENCE and LEST disagree about pattern-binder scope: a binder that resolves in HENCE is "not found" in LEST

#952

· mengwong opened

on Sep 7, 2026

l4 batch --validate-only reports a row valid that then fails to evaluate: an imported section GIVEN of an enum type reaches a CONSIDER with no branch (Reg CF wizard)

#951

· mengwong opened

on Sep 6, 2026

Backend portfolio: Lexon is absent from the census, its compiler may not be pinnable (so an emitter could never pass), and it is probably more valuable as an importer than a target

enhancement

transpilation

#950

· mengwong opened

on Aug 31, 2026

Backend portfolio: Solidity/EVM has a plan doc jl4-mlir/ owns but the census does not index, and no family to sit in — plus an unsettled question about emitting deontics as reverts

enhancement

transpilation

#949

· mengwong opened

on Aug 31, 2026

A §-wrapped library contributes zero mixfix hints, so prelude word operators fail to parse in any importer that declares a local operator

#948

· mengwong opened

on Aug 27, 2026

JSONDECODE cannot produce an enum constructor when the DECLARE sits under a § section header

#947

· mengwong opened

on Aug 25, 2026

prettyRatio renders exact rationals through Double, so a one-third share prints 0.3333333333333333

#945

· mengwong opened

on Aug 18, 2026

Navigation Menu

Uh oh!

All issues

A WITH supply is silently mis-delivered when two section binders share a spelling at different types — l4 check green, wrong-typed value at run time

prettyLayout: sg-wills.l4's printed form stack-overflows where the original evaluates

PARTY p MUST Sign p: nothing requires EXACTLY, so the rebind reading is indistinguishable from the use

No LSP golden covers any regulative rule: 0 of 11 semantic-tokens fixtures and 0 of 1 hover fixture contain PARTY

l4 render leaks raw keywords (and a stray "has") into prose for RAND-combined regulative rules

HENCE and LEST disagree about pattern-binder scope: a binder that resolves in HENCE is "not found" in LEST

l4 batch --validate-only reports a row valid that then fails to evaluate: an imported section GIVEN of an enum type reaches a CONSIDER with no branch (Reg CF wizard)

Backend portfolio: Lexon is absent from the census, its compiler may not be pinnable (so an emitter could never pass), and it is probably more valuable as an importer than a target

Backend portfolio: Solidity/EVM has a plan doc jl4-mlir/ owns but the census does not index, and no family to sit in — plus an unsettled question about emitting deontics as reverts

A §-wrapped library contributes zero mixfix hints, so prelude word operators fail to parse in any importer that declares a local operator

JSONDECODE cannot produce an enum constructor when the DECLARE sits under a § section header

prettyRatio renders exact rationals through Double, so a one-third share prints 0.3333333333333333

Uh oh!

Search results