agra 189774712f test(stdlib/E5): pin 0786-0792 value-const same-name golden markers ...

Track the 21 examples/expected/078x golden markers (exit/stdout/stderr for
0786-0792) generated alongside 5df4ac6. The E5 source change and example
sources were committed there; these regression markers were generated on disk
(the example gate passes against them) but left untracked, leaving the tree
dirty and the new regressions unpinned in git. No source or golden content
changes — markers verified byte-for-byte against the current binary via
run_examples.sh (531 passed, 0 failed).

- 0786 own-wins (a=1 b=2)
- 0787 bare same-name two-flat-visible -> loud ambiguous (exit 1)
- 0788 expr-chain value+dimension coherent (a_len=2 a_val=2 b_len=11 b_val=11)
- 0789 imported expr-const nested leaves pinned to author source (val=2 len=2)
- 0790 cross-module same-name cycle-guard, no false cycle (m=3 len=3)
- 0791 multi-level cross-module chain (big=102 bk=11)
- 0792 struct-field registration-time dimension (a_sz=2 b_sz=7)

2026-06-08 21:40:33 +03:00

..

0544-packs-imported-pack-fn-fixed-param-source-pin

fix(stdlib/E4): source-pin pack-fn fixed-prefix param types to the defining module

2026-06-08 11:52:23 +03:00

0706-modules-import-non-transitive

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0707-modules-import-dir-scan-order

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0708-modules-xx-any-pack-cross-module

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0709-modules-issue-0056

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0720-modules-qualified-own-import

fix(lower): qualified alias lowers in its own source context [0100 F1]

2026-06-06 02:51:09 +03:00

0721-modules-qualified-terminating-callee

fix(lower): null-FuncId path restores full caller state [0100 F2]

2026-06-06 03:15:29 +03:00

0722-modules-flat-same-name-own

fix(lower): bare-call resolver binds same-name flat authors per source [0102c]

2026-06-06 14:04:03 +03:00

0723-modules-flat-vs-namespaced

fix(lower): bare-call resolver binds same-name flat authors per source [0102c]

2026-06-06 14:04:03 +03:00

0724-modules-flat-same-name-ambiguous

fix(lower): bare-call resolver binds same-name flat authors per source [0102c]

2026-06-06 14:04:03 +03:00

0725-modules-flat-dir-same-name

fix(lower): bare-call resolver binds same-name flat authors per source [0102c]

2026-06-06 14:04:03 +03:00

0726-modules-flat-same-name-variadic

fix(lower): resolved author drives variadic packing in bare call [0102c F1]

2026-06-06 14:28:00 +03:00

0727-modules-user-ns-m0

fix(lower): bare-call resolver binds same-name flat authors per source [0102c]

2026-06-06 14:04:03 +03:00

0728-modules-flat-same-name-paramtype

fix(lower): resolved author drives call param target typing [0102c F2]

2026-06-06 15:07:51 +03:00

0729-modules-flat-same-name-foreign

fix(lower): bare-call resolver skips non-plain authors before ambiguity gate [0102c F3]

2026-06-06 15:31:14 +03:00

0730-modules-flat-same-name-default-arg

fix(lower): route remaining bare-name sites through resolver + close 0102 [0102d]

2026-06-06 16:16:57 +03:00

0731-modules-flat-same-name-closure

fix(lower): route remaining bare-name sites through resolver + close 0102 [0102d]

2026-06-06 16:16:57 +03:00

0732-modules-flat-same-name-ufcs

fix(lower): route remaining bare-name sites through resolver + close 0102 [0102d]

2026-06-06 16:16:57 +03:00

0733-modules-flat-same-name-comptime-run

fix(lower): route remaining bare-name sites through resolver + close 0102 [0102d]

2026-06-06 16:16:57 +03:00

0734-modules-flat-same-name-ufcs-ambiguous

fix(lower): route remaining bare-name sites through resolver + close 0102 [0102d]

2026-06-06 16:16:57 +03:00

0735-modules-flat-same-name-fn-value-winner

fix(lower): fn-value site lazily lowers winner only on resolver .none [0102d F1]

2026-06-06 16:41:01 +03:00

0736-modules-namespaced-only-bare-not-visible

fix(lower): #insert-expansion visibility exemption + close 0106 [stdlib B attempt-2]

2026-06-07 05:17:23 +03:00

0737-modules-insert-bare-not-visible

fix(lower): pin defining-module context for pack/comptime metaprograms; drop #insert exemption [stdlib B attempt-3]

2026-06-07 06:09:28 +03:00

0738-modules-comptime-arg-caller-context

fix(lower): resolve substituted caller comptime $-args in caller context [stdlib B attempt-5]

2026-06-07 09:07:27 +03:00

0740-modules-flat-same-name-ufcs-typing

fix(resolver): share plan SelectedFunc across consumers + route UFCS through selector [stdlib C attempt-2]

2026-06-07 12:05:12 +03:00

0741-modules-flat-same-name-bare-pack-winner

fix(lower): route early pack/comptime dispatch through SelectedFunc [stdlib C attempt-3]

2026-06-07 12:40:00 +03:00

0742-modules-namespaced-only-bare-const-not-visible

feat(resolver): source-aware nominal leaf (Lowering-side) + ns-const tightening [stdlib E1]

2026-06-07 15:24:43 +03:00

0743-modules-namespaced-only-bare-type-not-visible

feat(resolver): complete source-aware nominal-TYPE leaf — bare ns-only types not visible [stdlib E1 attempt-2]

2026-06-07 16:49:15 +03:00

0744-modules-namespaced-only-bare-enum-not-visible

feat(resolver): complete source-aware nominal-TYPE leaf — bare ns-only types not visible [stdlib E1 attempt-2]

2026-06-07 16:49:15 +03:00

0745-modules-flat-value-shadows-ns-only-type

fix(resolver): type-author-aware + local-safe bare-TYPE gate; R3 model escalated [stdlib E1 attempt-3]

2026-06-07 17:51:09 +03:00

0746-modules-local-type-shadows-ns-only-type

fix(resolver): type-author-aware + local-safe bare-TYPE gate; R3 model escalated [stdlib E1 attempt-3]

2026-06-07 17:51:09 +03:00

0747-modules-namespaced-only-bare-alias-not-visible

fix(resolver): treat type aliases as bare-TYPE authors in both gate directions [stdlib E1 attempt-4]

2026-06-07 18:41:01 +03:00

0748-modules-flat-alias-shadows-ns-only-type

fix(resolver): treat type aliases as bare-TYPE authors in both gate directions [stdlib E1 attempt-4]

2026-06-07 18:41:01 +03:00

0749-modules-namespaced-only-bare-param-alias-not-visible

fix(lower): single unified writer for the three decl-fact maps; close param-alias leak [stdlib E1 attempt-5]

2026-06-07 19:31:13 +03:00

0750-modules-forward-alias-source-aware

feat(lower): source-aware forward-alias fixpoint [stdlib E1.5]

2026-06-07 20:43:01 +03:00

0751-modules-forward-alias-ns-before

fix(lower): source-aware initial scan registration for identifier-RHS aliases [stdlib E1.5 attempt-2]

2026-06-07 21:12:33 +03:00

0752-modules-same-name-struct-distinct-fields

feat(stdlib): per-decl nominal identity + same-name shadows — close 0105 [stdlib E2]

2026-06-07 22:57:28 +03:00

0753-modules-same-name-struct-same-fields

feat(stdlib): per-decl nominal identity + same-name shadows — close 0105 [stdlib E2]

2026-06-07 22:57:28 +03:00

0754-modules-same-name-struct-own-wins

feat(stdlib): per-decl nominal identity + same-name shadows — close 0105 [stdlib E2]

2026-06-07 22:57:28 +03:00

0755-modules-same-name-struct-ambiguous

feat(stdlib): per-decl nominal identity + same-name shadows — close 0105 [stdlib E2]

2026-06-07 22:57:28 +03:00

0756-modules-same-name-alias-per-source

feat(stdlib): per-decl nominal identity + same-name shadows — close 0105 [stdlib E2]

2026-06-07 22:57:28 +03:00

0757-modules-same-name-struct-self-ref

fix(lower): reserve genuine same-name struct shadows before fields — close F1 [stdlib E2 attempt-2]

2026-06-07 23:51:46 +03:00

0758-modules-same-name-struct-mutual-ref

fix(lower): reserve genuine same-name struct shadows before fields — close F1 [stdlib E2 attempt-2]

2026-06-07 23:51:46 +03:00

0759-modules-undeclared-type-in-import

fix(lower): genuinely-undeclared type → diagnostic + .unresolved (no silent stub) [stdlib E3]

2026-06-08 08:10:42 +03:00

0760-modules-imported-generic-value-param-as-field-type

fix(diag): imported generic struct field with bad type → diagnostic, not .unresolved/silent stub [stdlib E3 attempt-4]

2026-06-08 09:37:52 +03:00

0761-modules-imported-generic-undeclared-field

fix(diag): imported generic struct field with bad type → diagnostic, not .unresolved/silent stub [stdlib E3 attempt-4]

2026-06-08 09:37:52 +03:00

0762-modules-imported-generic-caller-local-field-leak

fix(diag): source-key local_type_names so a caller block-local can't leak into an imported template field [stdlib E3 attempt-5]

2026-06-08 10:02:33 +03:00

0763-modules-import-type-non-transitive

wip(E4): partial source-pin + non-transitive flip [stdlib E4 attempt-1 WIP checkpoint]

2026-06-08 11:12:08 +03:00

0764-modules-import-generic-head-non-transitive

fix(stdlib/E4): gate unqualified parameterized type heads non-transitively

2026-06-08 12:37:00 +03:00

0765-modules-import-reflection-type-non-transitive

fix(stdlib/E4): route reflection/literal/value/match bare-type sites through the non-transitive gate

2026-06-08 13:18:51 +03:00

0766-modules-reflection-type-direct-ok

fix(stdlib/E4): route reflection/literal/value/match bare-type sites through the non-transitive gate

2026-06-08 13:18:51 +03:00

0767-modules-ambiguous-bare-type-forms

fix(stdlib/E4): carry full author outcome through the bare-TYPE gate (ambiguity at every site)

2026-06-08 14:15:34 +03:00

0768-modules-own-wins-nonleaf-bare-type

fix(stdlib/E4): own-wins at non-leaf bare-type sites + type-fn head ambiguity

2026-06-08 15:22:10 +03:00

0769-modules-ambiguous-type-fn-head

fix(stdlib/E4): own-wins at non-leaf bare-type sites + type-fn head ambiguity

2026-06-08 15:22:10 +03:00

0770-modules-type-fn-head-non-transitive

fix(stdlib/E4): kind-aware type-fn head gate (non-fn must not vouch)

2026-06-08 16:03:23 +03:00

0771-modules-type-fn-head-ordinary-fn-no-vouch

fix(stdlib/E4): type-fn head gate selects the TYPE-FUNCTION author (ordinary fn must not vouch)

2026-06-08 16:43:01 +03:00

0772-modules-qualified-generic-head-author

fix(stdlib/E4): qualified generic head ns.Box(..) selects the namespace author

2026-06-08 17:19:41 +03:00

0773-modules-qualified-generic-alias-author

fix(stdlib/E4): qualified generic alias head a.Box(..) selects the namespace author

2026-06-08 17:56:29 +03:00

0774-modules-bare-generic-head-visible-author

fix(stdlib/E4): bare generic head selects visible author; qualified missing-member diagnoses

2026-06-08 18:39:53 +03:00

0775-modules-qualified-generic-missing-member

fix(stdlib/E4): bare generic head selects visible author; qualified missing-member diagnoses

2026-06-08 18:39:53 +03:00

0776-modules-bare-generic-static-method-visible-author

fix(stdlib/E4): bare generic static-method head selects the visible author (type + method)

2026-06-08 19:06:13 +03:00

0777-modules-bare-generic-instance-method-visible-author

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0778-modules-bare-generic-instance-by-value-receiver

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0779-modules-qualified-generic-static-method-author

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0780-modules-bare-generic-instance-param-typed-author

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0782-modules-bare-generic-instance-ambiguous-authors

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0783-modules-qualified-generic-alias-instance-dispatch

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0785-modules-qualified-generic-static-missing-member

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0786-modules-same-name-const-own

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0787-modules-same-name-const-ambiguous

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0788-modules-same-name-const-expr-chain-dim

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0789-modules-same-name-const-leaf-author-pin

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0790-modules-same-name-const-cross-cycle-guard

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0791-modules-same-name-const-multi-level-cross-module

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0792-modules-same-name-const-struct-field-dim

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

1120-diagnostics-imported-reserved-type-name

fix(diagnostics): reject reserved type-name bindings in every module (issue 0077)

2026-06-03 19:32:49 +03:00

1124-diagnostics-imported-reserved-destructure

fix(diagnostics): make reserved-type-name binding check exhaustive (issue 0076)

2026-06-03 20:09:46 +03:00

expected

test(stdlib/E5): pin 0786-0792 value-const same-name golden markers

2026-06-08 21:40:33 +03:00

probes

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0010-basic-basic.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0011-basic-stdout.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0012-basic-shadow.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0013-basic-defer.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0014-basic-code.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0015-basic-demo.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0016-basic-while.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0017-basic-conditions.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0018-basic-quicksort.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0019-basic-dot-shorthand.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0020-basic-inline-if-return-fallthrough.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0021-basic-expression-bodied-fn.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0022-basic-for-range.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0023-basic-for-by-ref-capture.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0024-basic-for-list.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0025-basic-literals.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0026-basic-operators.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0027-basic-control-flow.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0028-basic-functions.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0029-basic-scoping.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0030-basic-builtins.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0031-basic-local-fn-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0032-basic-ufcs-return-type.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0033-basic-if-struct.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0034-basic-string-comparison.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0035-basic-array-loop-mutation.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0036-basic-ufcs-aliases.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0037-basic-trailing-commas.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0038-basic-dead-code-after-terminator.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0039-basic-free-fn-ufcs-pointer-receiver.sx

fix(lower): free-fn UFCS auto-address-of + lazy lowering (issue 0063)

2026-06-01 22:28:15 +03:00

0040-basic-block-value.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0041-basic-block-value-reject.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0042-basic-block-value-destructure.sx

issues/0065: RESOLVED — value-block destructure parses

2026-06-02 09:31:18 +03:00

0043-basic-match-value-mixed-width.sx

issues/0066: RESOLVED — match-value arms lowered against result type

2026-06-02 09:35:41 +03:00

0044-basic-default-arg-expansion.sx

test(ir): lock call lowering with .ir snapshots + classification tests (A3.2 convergence step 1)

2026-06-02 19:20:14 +03:00

0045-basic-string-eq-short-circuit.sx

fix(emit): PHI predecessor for and/or operand that emits sub-CFG (issue 0078)

2026-06-04 02:00:13 +03:00

0046-basic-int-formatter-extremes.sx

fix(std): render integer formatter extremes — i64::MIN and unsigned all-ones [F0.8]

2026-06-05 09:05:37 +03:00

0100-types-structs.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0101-types-types.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0102-types-union.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0103-types-categories.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0104-types-union.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0105-types-flags.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0106-types-compound-assign-global.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0107-types-int-cmp-in-float-ternary.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0108-types-list-items-assign-big-T.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0109-types-global-compound-assign.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0110-types-global-array-init.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0111-types-global-struct-defaults.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0112-types-global-type-alias.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0113-types-toplevel-var-type-inference.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0114-types-build-block-convert.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0115-types-compound-type-in-expression.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0116-types-type-alias-size-align.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0117-types-block-string-arg.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0118-types-type-all-interactions.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0119-types-tuple-values.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0120-types-tuple-element-assign.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0121-types-types.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0122-types-flags.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0123-types-compound-assign.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0124-types-array-of-structs.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0125-types-type-named-var-rejected.sx

fix(diagnostics): reject reserved/builtin type names used as identifiers (issue 0076)

2026-06-03 19:00:39 +03:00

0126-types-nested-arrays.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0127-types-using.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0128-types-tuples.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0129-types-tuple-operators.sx

wip(E4): partial source-pin + non-transitive flip [stdlib E4 attempt-1 WIP checkpoint]

2026-06-08 11:12:08 +03:00

0130-types-struct-constants.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0131-types-init-blocks.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0132-types-forward-type-alias.sx

fix(ir): resolve forward identifier type aliases in scanDecls (issue 0069)

2026-06-02 16:59:20 +03:00

0133-types-forward-alias-global.sx

fix(ir): resolve forward alias in top-level global annotations (issue 0070)

2026-06-02 17:20:31 +03:00

0134-types-global-init-from-module-const.sx

fix(ir): materialize global initialized from module const (issue 0071)

2026-06-02 17:45:37 +03:00

0135-types-self-streaming-nonreserved.sx

fix(diagnostics): reject reserved/builtin type names used as identifiers (issue 0076)

2026-06-03 19:00:39 +03:00

0136-types-global-array-element-store.sx

fix(ir): store to module-global array element targets live storage (issue 0079)

2026-06-04 03:44:19 +03:00

0137-types-global-aggregate-literal-init.sx

fix(ir): materialize global aggregate struct-literal initializers (issue 0080)

2026-06-04 04:04:40 +03:00

0138-types-global-aggregate-null-pointer-field.sx

fix(ir): serialize null pointer fields in global aggregates (issue 0081)

2026-06-04 04:22:43 +03:00

0139-types-global-enum-literal-init.sx

fix(ir): serialize enum-literal global initializers (issue 0082)

2026-06-04 04:52:42 +03:00

0140-types-named-const-array-dim.sx

fix(ir): exhaustive named-const array dims (0083) + nested slice-literal coercion (0085)

2026-06-04 09:06:08 +03:00

0141-types-slice-literal-direct-call-arg.sx

fix(ir): resolve named-const array dims (0083) + materialize literal slice args (0084)

2026-06-04 08:22:45 +03:00

0142-types-nested-slice-literal-elements.sx

fix(ir): exhaustive named-const array dims (0083) + nested slice-literal coercion (0085)

2026-06-04 09:06:08 +03:00

0143-types-typed-const-array-dim.sx

fix(ir): unify named-const array-dim resolution + kill length-0 fabrication (0083)

2026-06-04 09:39:18 +03:00

0144-types-const-expr-array-dim.sx

fix(ir): evaluate constant-expression array dimensions (0083)

2026-06-04 10:38:21 +03:00

0145-types-integral-float-array-dim.sx

fix(ir): integral-float counts + range-checked value-param binds (0083)

2026-06-04 13:16:39 +03:00

0146-types-comptime-count-matrix.sx

fix(ir): converge the comptime-int count surface (0083)

2026-06-04 14:09:46 +03:00

0147-types-zero-count-context.sx

docs(spec): make the count zero-rule context-dependent per consumer (0083)

2026-06-04 15:32:48 +03:00

0148-types-int-numeric-limits.sx

feat(lang): integer numeric-limit accessors (s64.max, u8.min, s3.max) [NL.1]

2026-06-04 16:14:06 +03:00

0149-types-int-numeric-limits-errors.sx

feat(lang): integer numeric-limit accessors (s64.max, u8.min, s3.max) [NL.1]

2026-06-04 16:14:06 +03:00

0150-types-float-ne-unordered-nan.sx

fix(backend): float != must be UNORDERED so nan != nan is true [F0.9]

2026-06-04 17:04:41 +03:00

0151-types-backtick-raw-identifier.sx

feat(lang): universal backtick raw identifier — valid in value, decl, AND type position [F0.6]

2026-06-04 20:27:53 +03:00

0152-types-backtick-control-flow.sx

feat(lang): backtick raw identifier in every binding form + raw-not-a-type + foreign reserved-name fn bare-call [F0.6]

2026-06-04 18:31:08 +03:00

0153-types-backtick-const-fn-decl.sx

feat(lang): reserved-name check covers :: const/fn/type decls + scope call rewrite to raw provenance [F0.6]

2026-06-04 19:16:37 +03:00

0154-types-backtick-raw-type-reference.sx

feat(lang): universal backtick raw identifier — valid in value, decl, AND type position [F0.6]

2026-06-04 20:27:53 +03:00

0155-types-backtick-typed-const-union-tag.sx

feat(lang): universal backtick raw identifier — valid in value, decl, AND type position [F0.6]

2026-06-04 20:27:53 +03:00

0156-types-backtick-struct-const.sx

feat(lang): universal raw identifier — parser exhaustiveness + raw type continuations + sema/LSP [F0.6]

2026-06-04 21:14:35 +03:00

0157-types-backtick-parameterized-raw-type.sx

feat(lang): universal raw identifier — parser exhaustiveness + raw type continuations + sema/LSP [F0.6]

2026-06-04 21:14:35 +03:00

0158-types-reserved-name-member-exempt.sx

docs(lang): precise reserved-name rule — member-name positions are EXEMPT [F0.6]

2026-06-04 22:17:53 +03:00

0159-types-float-numeric-limits.sx

test(lang): pin f64.min via signed union bit view in example 0159 [NL.2]

2026-06-05 00:35:52 +03:00

0160-types-float-numeric-limits-errors.sx

feat(lang): float numeric-limit accessors — examples, unit tests, docs [NL.2]

2026-06-04 23:30:41 +03:00

0161-types-numeric-limit-value-shadow.sx

fix(lang): numeric-limit shadow guard covers all 3 value sources [NL.2]

2026-06-05 00:21:32 +03:00

0162-types-typed-module-const-roundtrip.sx

fix(ir): unify float→int narrowing — integral folds, non-integral errors [F0.11]

2026-06-05 15:34:33 +03:00

0163-types-mixed-numeric-promotion.sx

fix(ir): infer mixed int+float arithmetic as the promoted float [F0.7]

2026-06-05 08:23:59 +03:00

0164-types-reflection-any-tag.sx

fix(ir): reflection builtins on an Any read its runtime tag, not payload [F0.8]

2026-06-05 12:09:52 +03:00

0165-types-nested-struct-field-assign.sx

fix(ir): missing struct field assignment errors cleanly, no LLVM panic [F0.10]

2026-06-05 13:24:15 +03:00

0166-types-union-promoted-member-lvalue.sx

fix(ir): missing-field multi-assign + promoted-union-member lvalue [F0.10]

2026-06-05 14:00:24 +03:00

0167-types-ptr-to-aggregate-field-store.sx

fix(ir): single-assign field store delegates to fieldLvaluePtr, completing the lvalue consolidation [F0.10]

2026-06-05 14:40:06 +03:00

0168-types-integral-float-to-int.sx

fix(ir): float / folds as FLOAT division under the unified narrowing rule — int folder refuses a float-operand / [F0.11]

2026-06-05 19:26:22 +03:00

0169-types-value-shadow-field-narrowing.sx

fix(ir): const evaluators' field-access arm is raw value-shadow aware [F0.11]

2026-06-05 20:02:11 +03:00

0170-types-anon-struct-field-distinct.sx

feat(stdlib): per-decl nominal identity + same-name shadows — close 0105 [stdlib E2]

2026-06-07 22:57:28 +03:00

0171-types-undeclared-type-in-generic-struct-field.sx

fix(diag): undeclared type in a main-file generic struct field → diagnostic (no silent stub) [stdlib E3 attempt-2]

2026-06-08 08:36:45 +03:00

0172-types-value-param-as-field-type.sx

fix(diag): generic VALUE param ($N: u32) used as a field/annotation type → diagnostic (no .unresolved LLVM panic) [stdlib E3 attempt-3]

2026-06-08 09:02:54 +03:00

0200-generics-generic.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0201-generics-generic-struct.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0202-generics-anytype.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0203-generics-infer-return-type.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0204-generics-generic-protocol-constraint.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0205-generics-generic-method-dot-call.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0206-generics-generic-into-block.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0207-generics-value-param-const.sx

fix(ir): route every comptime-int through the shared evaluator (0083)

2026-06-04 11:32:25 +03:00

0208-generics-value-param-type-function.sx

fix(ir): value-param type functions + range-checked dim/lane fold (0083, 0087)

2026-06-04 12:13:45 +03:00

0209-generics-value-param-integral-float.sx

fix(ir): integral-float counts + range-checked value-param binds (0083)

2026-06-04 13:16:39 +03:00

0210-generics-resolver-legacy-paths.sx

feat(resolver): source-aware nominal leaf (Lowering-side) + ns-const tightening [stdlib E1]

2026-06-07 15:24:43 +03:00

0300-closures-lambda.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0301-closures-fn-pointers.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0302-closures-closures.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0303-closures-closure-returning-protocol.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0304-closures-enum-arg-through-closure-field.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0305-closures-closure-field-call-via-self-ptr.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0306-closures-closure-env-routes-through-context-allocator.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0307-closures-closure-contextual-params.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0308-closures-arrow-inferred-return.sx

fix(lower): infer no-annotation return type with params in scope (issue 0059)

2026-06-01 19:28:35 +03:00

0309-closures-literal-as-bare-fn-param.sx

fix(lower): closure literals compose with bare function-type slots (issue 0060)

2026-06-01 20:35:25 +03:00

0310-closures-closure-literal-in-defer.sx

fix(ir): open a fresh defer window when lowering a lambda body (issue 0073)

2026-06-02 23:29:49 +03:00

0400-protocols-impl-for-builtin.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0401-protocols-protocol-in-wrapper-struct.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0402-protocols-protocol-list-from-fn.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0403-protocols-protocol-dispatch-via-fn-arg.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0404-protocols-dot-shorthand-protocol-field.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0405-protocols-enum-through-protocol-dispatch.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0406-protocols-protocol-real-pointer-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0407-protocols-protocol-typeparam-parse.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0408-protocols-optional-protocol.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0409-protocols-protocol-void-pointer-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0410-protocols-impl-visibility-impl.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0410-protocols-impl-visibility-types.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0410-protocols-impl-visibility-user.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0410-protocols-impl-visibility.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0411-protocols-impl-duplicate-impl-a.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0411-protocols-impl-duplicate-impl-b.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0411-protocols-impl-duplicate-types.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0411-protocols-impl-duplicate.sx

wip(E4): partial source-pin + non-transitive flip [stdlib E4 attempt-1 WIP checkpoint]

2026-06-08 11:12:08 +03:00

0412-protocols-impl-duplicate-same-file.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0413-protocols-parameterized-protocol-value.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0414-protocols-generic-struct-protocol-erase.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0415-protocols-protocols.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0416-protocols-auto-type-erasure.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0500-packs-varargs.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0501-packs-any-varargs.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0502-packs-pack-parse.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0503-packs-pack-type-rep.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0504-packs-pack-impl-match.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0505-packs-pack-typed-index.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0506-packs-pack-if-return.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0507-packs-pack-mono-dedup.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0508-packs-pack-generic-ret.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0509-packs-pack-hetero-ret.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0510-packs-pack-index-oob.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0511-packs-pack-bare-args.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0512-packs-pack-runtime-index.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0513-packs-pack-mixed-comptime.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0514-packs-pack-type-position.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0515-packs-pack-type-position-three.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0516-packs-pack-type-fnptr.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0517-packs-pack-reflection-intrinsics.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0518-packs-pack-value-dispatch.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0519-packs-pack-bare-value.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0520-packs-pack-dynamic-type-name.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0521-packs-pack-builder-smoke.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0522-packs-pack-bare-args-cross-call.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0523-packs-new-form-variadic-cross-module.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0524-packs-generic-fn-pack-state-leak.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0525-packs-pack-fn-comptime-return.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0526-packs-protocol-pack.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0527-packs-pack-non-conform.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0528-packs-protocol-pack-methods.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0529-packs-protocol-pack-parameterized.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0530-packs-pack-interface-only.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0531-packs-pack-value-projection.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0532-packs-pack-spread-call.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0533-packs-pack-tuple-materialize.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0534-packs-pack-type-projection.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0535-packs-slice-of-protocol-variadic.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0536-packs-pack-as-value.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0537-packs-pack-xx-to-slice.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0538-packs-generic-struct-pack-field.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0539-packs-combined-pack-field.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0540-packs-pack-type-arg-spread.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0541-packs-pack-to-protocol-tuple.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0542-packs-mapper-projection-spread.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0543-packs-canonical-map.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0544-packs-imported-pack-fn-fixed-param-source-pin.sx

fix(stdlib/E4): source-pin pack-fn fixed-prefix param types to the defining module

2026-06-08 11:52:23 +03:00

0600-comptime-run.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0601-comptime-meta.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0602-comptime-interp-cast-ptr-cmp.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0603-comptime-interp-variadic-any.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0604-comptime-typed-store-widths.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0605-comptime-aggregate-global.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0606-comptime-string-global.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0607-comptime-nested-comptime-return.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0608-comptime-comptime.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0609-comptime-inline-if.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0610-comptime-inline-for-const-bound.sx

fix(ir): route every comptime-int through the shared evaluator (0083)

2026-06-04 11:32:25 +03:00

0611-comptime-integral-float-inline-for.sx

fix(ir): integral-float counts + range-checked value-param binds (0083)

2026-06-04 13:16:39 +03:00

0612-comptime-inline-for-range-bounds.sx

docs(spec): split range bounds from counts; pin inline-for range semantics (0083)

2026-06-04 15:17:33 +03:00

0613-comptime-print-any-type.sx

fix(ir): comptime print of an Any-held Type no longer silently stops [F0.12]

2026-06-05 20:48:49 +03:00

0700-modules-import.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0701-modules-c-import.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0702-modules-c-import-ns.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0703-modules-into-impl-helper.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0703-modules-into-import-scope.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0704-modules-inline-if-import-in-body.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0705-modules-inline-if-hoist-toplevel.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0706-modules-import-non-transitive.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0707-modules-import-dir-scan-order.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0708-modules-xx-any-pack-cross-module.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0709-modules-issue-0056-diamond-param-impl.sx

wip(E4): partial source-pin + non-transitive flip [stdlib E4 attempt-1 WIP checkpoint]

2026-06-08 11:12:08 +03:00

0710-modules-sha256.sx

F1.2: std.hash zero-heap [64]u8 hex API + chunked file + pinned vectors

2026-06-04 00:08:46 +03:00

0711-modules-sha256-vectors.sx

F1.2: std.hash zero-heap [64]u8 hex API + chunked file + pinned vectors

2026-06-04 00:08:46 +03:00

0712-modules-sha256-streaming.sx

fix(examples): 0712 sha256 streaming writes scratch to .sx-tmp not /tmp [FINAL-rem F2]

2026-06-05 21:18:08 +03:00

0713-modules-json-writer.sx

wip(E4): partial source-pin + non-transitive flip [stdlib E4 attempt-1 WIP checkpoint]

2026-06-08 11:12:08 +03:00

0714-modules-json-reader.sx

wip(E4): partial source-pin + non-transitive flip [stdlib E4 attempt-1 WIP checkpoint]

2026-06-08 11:12:08 +03:00

0715-modules-json-suite.sx

wip(E4): partial source-pin + non-transitive flip [stdlib E4 attempt-1 WIP checkpoint]

2026-06-08 11:12:08 +03:00

0716-modules-cli-argv.sx

F3.1: std.cli os_args — real OS argv accessor via #foreign _NSGetArgv (examples/0716)

2026-06-04 03:21:41 +03:00

0717-modules-cli-parse.sx

F3.2: assert Diag for the zero-arg and too-many-flags raise sites

2026-06-04 07:54:20 +03:00

0718-modules-cli-exit-json.sx

feat(lang): std.cli exit-code + --json contract helpers [F3.3]

2026-06-05 01:01:25 +03:00

0719-modules-cli-and-json.sx

wip(E4): partial source-pin + non-transitive flip [stdlib E4 attempt-1 WIP checkpoint]

2026-06-08 11:12:08 +03:00

0720-modules-qualified-own-import.sx

fix(lower): qualified alias lowers in its own source context [0100 F1]

2026-06-06 02:51:09 +03:00

0721-modules-qualified-terminating-callee.sx

fix(lower): null-FuncId path restores full caller state [0100 F2]

2026-06-06 03:15:29 +03:00

0722-modules-flat-same-name-own.sx

fix(lower): bare-call resolver binds same-name flat authors per source [0102c]

2026-06-06 14:04:03 +03:00

0723-modules-flat-vs-namespaced.sx

fix(lower): bare-call resolver binds same-name flat authors per source [0102c]

2026-06-06 14:04:03 +03:00

0724-modules-flat-same-name-ambiguous.sx

fix(lower): bare-call resolver binds same-name flat authors per source [0102c]

2026-06-06 14:04:03 +03:00

0725-modules-flat-dir-same-name.sx

fix(lower): bare-call resolver binds same-name flat authors per source [0102c]

2026-06-06 14:04:03 +03:00

0726-modules-flat-same-name-variadic.sx

fix(lower): resolved author drives variadic packing in bare call [0102c F1]

2026-06-06 14:28:00 +03:00

0727-modules-user-ns-m0.sx

fix(lower): bare-call resolver binds same-name flat authors per source [0102c]

2026-06-06 14:04:03 +03:00

0728-modules-flat-same-name-paramtype.sx

fix(lower): resolved author drives call param target typing [0102c F2]

2026-06-06 15:07:51 +03:00

0729-modules-flat-same-name-foreign.sx

fix(lower): bare-call resolver skips non-plain authors before ambiguity gate [0102c F3]

2026-06-06 15:31:14 +03:00

0730-modules-flat-same-name-default-arg.sx

fix(lower): route remaining bare-name sites through resolver + close 0102 [0102d]

2026-06-06 16:16:57 +03:00

0731-modules-flat-same-name-closure.sx

fix(lower): route remaining bare-name sites through resolver + close 0102 [0102d]

2026-06-06 16:16:57 +03:00

0732-modules-flat-same-name-ufcs.sx

fix(lower): route remaining bare-name sites through resolver + close 0102 [0102d]

2026-06-06 16:16:57 +03:00

0733-modules-flat-same-name-comptime-run.sx

fix(lower): route remaining bare-name sites through resolver + close 0102 [0102d]

2026-06-06 16:16:57 +03:00

0734-modules-flat-same-name-ufcs-ambiguous.sx

fix(lower): route remaining bare-name sites through resolver + close 0102 [0102d]

2026-06-06 16:16:57 +03:00

0735-modules-flat-same-name-fn-value-winner.sx

fix(lower): fn-value site lazily lowers winner only on resolver .none [0102d F1]

2026-06-06 16:41:01 +03:00

0736-modules-namespaced-only-bare-not-visible.sx

fix(lower): #insert-expansion visibility exemption + close 0106 [stdlib B attempt-2]

2026-06-07 05:17:23 +03:00

0737-modules-insert-bare-not-visible.sx

fix(lower): pin defining-module context for pack/comptime metaprograms; drop #insert exemption [stdlib B attempt-3]

2026-06-07 06:09:28 +03:00

0738-modules-comptime-arg-caller-context.sx

fix(lower): resolve substituted caller comptime $-args in caller context [stdlib B attempt-5]

2026-06-07 09:07:27 +03:00

0739-modules-comptime-pack-arg-caller-context.sx

fix(lower): stamp caller source on variadic comptime pack args [stdlib B attempt-6]

2026-06-07 09:31:17 +03:00

0740-modules-flat-same-name-ufcs-typing.sx

fix(resolver): share plan SelectedFunc across consumers + route UFCS through selector [stdlib C attempt-2]

2026-06-07 12:05:12 +03:00

0741-modules-flat-same-name-bare-pack-winner.sx

fix(lower): route early pack/comptime dispatch through SelectedFunc [stdlib C attempt-3]

2026-06-07 12:40:00 +03:00

0742-modules-namespaced-only-bare-const-not-visible.sx

feat(resolver): source-aware nominal leaf (Lowering-side) + ns-const tightening [stdlib E1]

2026-06-07 15:24:43 +03:00

0743-modules-namespaced-only-bare-type-not-visible.sx

feat(resolver): complete source-aware nominal-TYPE leaf — bare ns-only types not visible [stdlib E1 attempt-2]

2026-06-07 16:49:15 +03:00

0744-modules-namespaced-only-bare-enum-not-visible.sx

feat(resolver): complete source-aware nominal-TYPE leaf — bare ns-only types not visible [stdlib E1 attempt-2]

2026-06-07 16:49:15 +03:00

0745-modules-flat-value-shadows-ns-only-type.sx

fix(resolver): type-author-aware + local-safe bare-TYPE gate; R3 model escalated [stdlib E1 attempt-3]

2026-06-07 17:51:09 +03:00

0746-modules-local-type-shadows-ns-only-type.sx

fix(resolver): type-author-aware + local-safe bare-TYPE gate; R3 model escalated [stdlib E1 attempt-3]

2026-06-07 17:51:09 +03:00

0747-modules-namespaced-only-bare-alias-not-visible.sx

fix(resolver): treat type aliases as bare-TYPE authors in both gate directions [stdlib E1 attempt-4]

2026-06-07 18:41:01 +03:00

0748-modules-flat-alias-shadows-ns-only-type.sx

fix(resolver): treat type aliases as bare-TYPE authors in both gate directions [stdlib E1 attempt-4]

2026-06-07 18:41:01 +03:00

0749-modules-namespaced-only-bare-param-alias-not-visible.sx

fix(lower): single unified writer for the three decl-fact maps; close param-alias leak [stdlib E1 attempt-5]

2026-06-07 19:31:13 +03:00

0750-modules-forward-alias-source-aware.sx

feat(lower): source-aware forward-alias fixpoint [stdlib E1.5]

2026-06-07 20:43:01 +03:00

0751-modules-forward-alias-ns-before.sx

fix(lower): source-aware initial scan registration for identifier-RHS aliases [stdlib E1.5 attempt-2]

2026-06-07 21:12:33 +03:00

0752-modules-same-name-struct-distinct-fields.sx

feat(stdlib): per-decl nominal identity + same-name shadows — close 0105 [stdlib E2]

2026-06-07 22:57:28 +03:00

0753-modules-same-name-struct-same-fields.sx

feat(stdlib): per-decl nominal identity + same-name shadows — close 0105 [stdlib E2]

2026-06-07 22:57:28 +03:00

0754-modules-same-name-struct-own-wins.sx

feat(stdlib): per-decl nominal identity + same-name shadows — close 0105 [stdlib E2]

2026-06-07 22:57:28 +03:00

0755-modules-same-name-struct-ambiguous.sx

feat(stdlib): per-decl nominal identity + same-name shadows — close 0105 [stdlib E2]

2026-06-07 22:57:28 +03:00

0756-modules-same-name-alias-per-source.sx

feat(stdlib): per-decl nominal identity + same-name shadows — close 0105 [stdlib E2]

2026-06-07 22:57:28 +03:00

0757-modules-same-name-struct-self-ref.sx

fix(lower): reserve genuine same-name struct shadows before fields — close F1 [stdlib E2 attempt-2]

2026-06-07 23:51:46 +03:00

0758-modules-same-name-struct-mutual-ref.sx

fix(lower): reserve genuine same-name struct shadows before fields — close F1 [stdlib E2 attempt-2]

2026-06-07 23:51:46 +03:00

0759-modules-undeclared-type-in-import.sx

fix(lower): genuinely-undeclared type → diagnostic + .unresolved (no silent stub) [stdlib E3]

2026-06-08 08:10:42 +03:00

0760-modules-imported-generic-value-param-as-field-type.sx

fix(diag): imported generic struct field with bad type → diagnostic, not .unresolved/silent stub [stdlib E3 attempt-4]

2026-06-08 09:37:52 +03:00

0761-modules-imported-generic-undeclared-field.sx

fix(diag): imported generic struct field with bad type → diagnostic, not .unresolved/silent stub [stdlib E3 attempt-4]

2026-06-08 09:37:52 +03:00

0762-modules-imported-generic-caller-local-field-leak.sx

fix(diag): source-key local_type_names so a caller block-local can't leak into an imported template field [stdlib E3 attempt-5]

2026-06-08 10:02:33 +03:00

0763-modules-import-type-non-transitive.sx

wip(E4): partial source-pin + non-transitive flip [stdlib E4 attempt-1 WIP checkpoint]

2026-06-08 11:12:08 +03:00

0764-modules-import-generic-head-non-transitive.sx

fix(stdlib/E4): gate unqualified parameterized type heads non-transitively

2026-06-08 12:37:00 +03:00

0765-modules-import-reflection-type-non-transitive.sx

fix(stdlib/E4): route reflection/literal/value/match bare-type sites through the non-transitive gate

2026-06-08 13:18:51 +03:00

0766-modules-reflection-type-direct-ok.sx

fix(stdlib/E4): route reflection/literal/value/match bare-type sites through the non-transitive gate

2026-06-08 13:18:51 +03:00

0767-modules-ambiguous-bare-type-forms.sx

fix(stdlib/E4): carry full author outcome through the bare-TYPE gate (ambiguity at every site)

2026-06-08 14:15:34 +03:00

0768-modules-own-wins-nonleaf-bare-type.sx

fix(stdlib/E4): own-wins at non-leaf bare-type sites + type-fn head ambiguity

2026-06-08 15:22:10 +03:00

0769-modules-ambiguous-type-fn-head.sx

fix(stdlib/E4): own-wins at non-leaf bare-type sites + type-fn head ambiguity

2026-06-08 15:22:10 +03:00

0770-modules-type-fn-head-non-transitive.sx

fix(stdlib/E4): kind-aware type-fn head gate (non-fn must not vouch)

2026-06-08 16:03:23 +03:00

0771-modules-type-fn-head-ordinary-fn-no-vouch.sx

fix(stdlib/E4): type-fn head gate selects the TYPE-FUNCTION author (ordinary fn must not vouch)

2026-06-08 16:43:01 +03:00

0772-modules-qualified-generic-head-author.sx

fix(stdlib/E4): qualified generic head ns.Box(..) selects the namespace author

2026-06-08 17:19:41 +03:00

0773-modules-qualified-generic-alias-author.sx

fix(stdlib/E4): qualified generic alias head a.Box(..) selects the namespace author

2026-06-08 17:56:29 +03:00

0774-modules-bare-generic-head-visible-author.sx

fix(stdlib/E4): bare generic head selects visible author; qualified missing-member diagnoses

2026-06-08 18:39:53 +03:00

0775-modules-qualified-generic-missing-member.sx

fix(stdlib/E4): bare generic head selects visible author; qualified missing-member diagnoses

2026-06-08 18:39:53 +03:00

0776-modules-bare-generic-static-method-visible-author.sx

fix(stdlib/E4): bare generic static-method head selects the visible author (type + method)

2026-06-08 19:06:13 +03:00

0777-modules-bare-generic-instance-method-visible-author.sx

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0778-modules-bare-generic-instance-by-value-receiver.sx

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0779-modules-qualified-generic-static-method-author.sx

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0780-modules-bare-generic-instance-param-typed-author.sx

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0782-modules-bare-generic-instance-ambiguous-authors.sx

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0783-modules-qualified-generic-alias-instance-dispatch.sx

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0785-modules-qualified-generic-static-missing-member.sx

fix(stdlib/E4): collapse generic-struct author matrix into four choke-points

2026-06-08 20:34:53 +03:00

0786-modules-same-name-const-own.sx

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0787-modules-same-name-const-ambiguous.sx

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0788-modules-same-name-const-expr-chain-dim.sx

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0789-modules-same-name-const-leaf-author-pin.sx

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0790-modules-same-name-const-cross-cycle-guard.sx

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0791-modules-same-name-const-multi-level-cross-module.sx

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0792-modules-same-name-const-struct-field-dim.sx

fix(stdlib/E5): source-aware same-name VALUE consts (own-wins / ambiguous / cross-module expr-chains)

2026-06-08 21:29:31 +03:00

0800-memory-list.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0801-memory-slices.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0802-memory-pointers.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0803-memory-push-context-with-arena.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0804-memory-xx-target-in-field-assign.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0805-memory-xx-userspace.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0806-memory-static-method-inline-xx-protocol-arg.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0807-memory-xx-recover-then-dispatch.sx

wip(E4): partial source-pin + non-transitive flip [stdlib E4 attempt-1 WIP checkpoint]

2026-06-08 11:12:08 +03:00

0808-memory-xx-value-routes-through-context-allocator.sx

wip(E4): partial source-pin + non-transitive flip [stdlib E4 attempt-1 WIP checkpoint]

2026-06-08 11:12:08 +03:00

0809-memory-xx-lvalue-borrows.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

0810-memory-slice-ptr.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

0900-optionals-optionals.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0901-optionals-match-optional-arms.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0902-optionals-optional-all-null.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0903-optionals-optional-roundtrip.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

0904-optionals-any-to-string-optional.sx

fix(diagnostics): reject reserved/builtin type names used as identifiers (issue 0076)

2026-06-03 19:00:39 +03:00

0905-optionals-unwrap-field-chain.sx

fix(types): type force-unwrap so opt!.field chains resolve [0101]

2026-06-06 07:42:17 +03:00

1000-errors-sets.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1001-errors-set-typing.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1002-errors-raise.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1003-errors-raise-rejections.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1004-errors-try.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1005-errors-try-rejections.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1006-errors-inferred-error-sets.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1007-errors-inferred-widening-reject.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1008-errors-match-diverging-arms.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1009-errors-catch.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1010-errors-catch-rejections.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1011-errors-value-failable.sx

ERR/E1.8: path-sensitive value-slot liveness check

2026-06-01 23:14:24 +03:00

1012-errors-value-failable-consume.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1013-errors-value-failable-reject.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1014-errors-failable-or.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1015-errors-failable-or-reject.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1016-errors-onfail.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1017-errors-onfail-reject.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1018-errors-multi-value-failable.sx

ERR/E1.8: path-sensitive value-slot liveness check

2026-06-01 23:14:24 +03:00

1019-errors-failable-discard-reject.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1020-errors-cleanup-body-restrictions.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1021-errors-main-exit-truncation.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1022-errors-main-signature-reject.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1023-errors-tag-interpolation.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1024-errors-trace-buffer.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1025-errors-trace-format.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1026-errors-failable-main.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1027-errors-failable-main-value.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1028-errors-failable-or-chain.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1029-errors-failable-or-chain-propagate.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1030-errors-log-and-comptime.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1031-errors-process-exit.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1032-errors-assert.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1033-errors-caller-location.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1034-errors-interp-frames.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1035-errors-comptime-trace.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1036-errors-failable-smoke.sx

ERR/E5.4: add composition section to the errors smoke example

2026-06-01 22:47:58 +03:00

1037-errors-comptime-run-escape.sx

ERR/E5.2: comptime #run of an escaping failable → diagnostic + halt

2026-06-01 20:04:17 +03:00

1038-errors-comptime-run-handled.sx

ERR/E5.2: comptime #run of an escaping failable → diagnostic + halt

2026-06-01 20:04:17 +03:00

1039-errors-failable-closure-literal.sx

fix(lower): closure literals compose with bare function-type slots (issue 0060)

2026-06-01 20:35:25 +03:00

1040-errors-failable-closure-composition.sx

ERR/E5.1: bare failable fn-type param resolution + non-failable->failable widening

2026-06-01 20:56:10 +03:00

1041-errors-failable-closure-shape-union.sx

ERR/E5.1: program-wide inferred-! union per closure/fn shape

2026-06-01 22:01:38 +03:00

1042-errors-failable-closure-shape-union-reject.sx

ERR/E5.1: program-wide inferred-! union per closure/fn shape

2026-06-01 22:01:38 +03:00

1043-errors-lambda-raise-annotation-hint.sx

ERR/E5.1: lambda-specific raise-not-failable hint

2026-06-01 22:18:47 +03:00

1044-errors-generic-failable-composition.sx

ERR/E1.8: path-sensitive value-slot liveness check

2026-06-01 23:14:24 +03:00

1045-errors-closure-var-bare-slot-reject.sx

ERR/E5.1: reject closure-value into bare function-pointer slot

2026-06-01 22:44:20 +03:00

1046-errors-value-slot-liveness.sx

ERR/E1.8: path-sensitive value-slot liveness check

2026-06-01 23:14:24 +03:00

1047-errors-value-slot-liveness-reject.sx

ERR/E1.8: path-sensitive value-slot liveness check

2026-06-01 23:14:24 +03:00

1048-errors-cleanup-absorption.sx

ERR/E1.7: reject bare failable calls in defer/onfail cleanup bodies

2026-06-01 23:24:15 +03:00

1049-errors-cleanup-absorption-reject.sx

ERR/E1.7: reject bare failable calls in defer/onfail cleanup bodies

2026-06-01 23:24:15 +03:00

1050-errors-defer-block-body.sx

fix(parser): parse braced defer { … } body as a statement block (issue 0065)

2026-06-01 23:29:07 +03:00

1051-errors-cleanup-closure-boundary.sx

test(ir): pin both lambda arms of the error-flow pass (A5.2 scaffolding review fix)

2026-06-03 06:42:51 +03:00

1052-errors-cleanup-transitive-reject.sx

test(ir): lock error-flow diagnostics before A5.2 extraction (A5.2 scaffolding step 1)

2026-06-03 06:31:18 +03:00

1053-errors-nested-lambda-liveness-reject.sx

test(ir): pin both lambda arms of the error-flow pass (A5.2 scaffolding review fix)

2026-06-03 06:42:51 +03:00

1054-errors-backtick-reserved-binding.sx

feat(lang): backtick raw identifier in every binding form + raw-not-a-type + foreign reserved-name fn bare-call [F0.6]

2026-06-04 18:31:08 +03:00

1055-errors-enum-value-failable-error-slot.sx

fix(ir): value-failable returning an enum zeroes the success error slot [0097]

2026-06-05 22:10:14 +03:00

1056-errors-enum-value-failable-tuple-and-comptime.sx

fix(ir): value-failable return — narrow target per-form + inline path [0097 F1/F2]

2026-06-05 22:42:12 +03:00

1100-diagnostics-err-field-not-found.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1101-diagnostics-err-tuple-oob.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1102-diagnostics-err-dot-shorthand.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1103-diagnostics-err-bad-variant.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1104-diagnostics-callconv-mismatch-diagnostic.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1105-diagnostics-compile-error.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1106-diagnostics-binop-operand-type-check.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1107-diagnostics-ref-capture-value-arg-diagnostic.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1108-diagnostics-pointer-param-value-arg-diagnostic.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1109-diagnostics-deref-non-pointer-reject.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1110-diagnostics-autoref-compound-lvalue.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1111-diagnostics-nondollar-type-param-rejected.sx

fix(types): reject unknown type names instead of silent empty struct (issue 0064)

2026-06-02 10:24:30 +03:00

1112-diagnostics-unknown-type-name-rejected.sx

fix(types): reject unknown type names instead of silent empty struct (issue 0064)

2026-06-02 10:24:30 +03:00

1113-diagnostics-unknown-type-local-var-rejected.sx

fix(types): extend unknown-type check into function bodies (issue 0064)

2026-06-02 10:41:29 +03:00

1114-diagnostics-unknown-type-nested-closure-rejected.sx

fix(types): check nested closure/function bodies and cast targets (issue 0064)

2026-06-02 10:57:17 +03:00

1115-diagnostics-cast-value-param-rejected.sx

fix(types): check nested closure/function bodies and cast targets (issue 0064)

2026-06-02 10:57:17 +03:00

1116-diagnostics-tuple-type-nontype-element-rejected.sx

fix(ir): reject non-type elements in tuple-literal-as-type (issue 0067)

2026-06-02 15:51:04 +03:00

1117-diagnostics-value-const-as-type-rejected.sx

fix(ir): value const used as a type must not satisfy unknown-type check (issue 0068)

2026-06-02 16:33:38 +03:00

1118-diagnostics-global-non-const-initializer-rejected.sx

fix(ir): diagnose non-constant global initializers loudly (issue 0072)

2026-06-02 17:57:17 +03:00

1119-diagnostics-reserved-type-name-as-identifier.sx

fix(diagnostics): reject reserved/builtin type names used as identifiers (issue 0076)

2026-06-03 19:00:39 +03:00

1120-diagnostics-imported-reserved-type-name.sx

fix(diagnostics): reject reserved type-name bindings in every module (issue 0077)

2026-06-03 19:32:49 +03:00

1121-diagnostics-reserved-name-control-flow.sx

fix(diagnostics): make reserved-type-name binding check exhaustive (issue 0076)

2026-06-03 20:09:46 +03:00

1122-diagnostics-reserved-name-impl-method.sx

fix(diagnostics): make reserved-type-name binding check exhaustive (issue 0076)

2026-06-03 20:09:46 +03:00

1123-diagnostics-reserved-name-catch-onfail.sx

fix(diagnostics): make reserved-type-name binding check exhaustive (issue 0076)

2026-06-03 20:09:46 +03:00

1124-diagnostics-imported-reserved-destructure.sx

fix(diagnostics): make reserved-type-name binding check exhaustive (issue 0076)

2026-06-03 20:09:46 +03:00

1125-diagnostics-reserved-name-method-param.sx

fix(diagnostics): point reserved-type-name binding errors at the binding (issue 0076)

2026-06-03 22:06:56 +03:00

1126-diagnostics-global-aggregate-non-const-field-rejected.sx

fix(ir): serialize null pointer fields in global aggregates (issue 0081)

2026-06-04 04:22:43 +03:00

1127-diagnostics-global-enum-literal-bad-variant.sx

fix(ir): serialize enum-literal global initializers (issue 0082)

2026-06-04 04:52:42 +03:00

1128-diagnostics-comptime-global-funcref-rejected.sx

fix(ir): halt cleanly when a global initializer can't be serialized

2026-06-04 05:25:19 +03:00

1129-diagnostics-array-dim-not-const.sx

fix(ir): evaluate constant-expression array dimensions (0083)

2026-06-04 10:38:21 +03:00

1130-diagnostics-array-dim-oversized-u32.sx

fix(ir): value-param type functions + range-checked dim/lane fold (0083, 0087)

2026-06-04 12:13:45 +03:00

1131-diagnostics-array-dim-oversized-u32-alias.sx

fix(ir): precise oversized-dim diagnostic on the alias path (0083)

2026-06-04 12:31:24 +03:00

1132-diagnostics-array-dim-non-integral-float.sx

fix(ir): array-dim/count path joins the unified float→int rule — all 5 sites consistent [F0.11]

2026-06-05 17:43:45 +03:00

1133-diagnostics-array-dim-negative-float.sx

fix(ir): integral-float counts + range-checked value-param binds (0083)

2026-06-04 13:16:39 +03:00

1134-diagnostics-value-param-u32-overflow.sx

fix(ir): integral-float counts + range-checked value-param binds (0083)

2026-06-04 13:16:39 +03:00

1135-diagnostics-value-param-alias-constraint-overflow.sx

fix(ir): converge the comptime-int count surface (0083)

2026-06-04 14:09:46 +03:00

1136-diagnostics-array-dim-nonconst-direct-no-crash.sx

fix(ir): converge the comptime-int count surface (0083)

2026-06-04 14:09:46 +03:00

1137-diagnostics-value-param-type-fn-no-cascade.sx

fix(ir): poison type-fn binder on failed value-param bind (0083)

2026-06-04 14:38:18 +03:00

1138-diagnostics-inline-for-non-integral-bound.sx

docs(spec): split range bounds from counts; pin inline-for range semantics (0083)

2026-06-04 15:17:33 +03:00

1140-diagnostics-reserved-name-const-fn-decl.sx

feat(lang): reserved-name check covers :: const/fn/type decls + scope call rewrite to raw provenance [F0.6]

2026-06-04 19:16:37 +03:00

1141-diagnostics-reserved-name-type-decl.sx

feat(lang): universal backtick raw identifier — valid in value, decl, AND type position [F0.6]

2026-06-04 20:27:53 +03:00

1142-diagnostics-reserved-name-struct-const.sx

feat(lang): universal raw identifier — parser exhaustiveness + raw type continuations + sema/LSP [F0.6]

2026-06-04 21:14:35 +03:00

1143-diagnostics-typed-module-const-mismatch.sx

fix(ir): infer mixed int+float arithmetic as the promoted float [F0.7]

2026-06-05 08:23:59 +03:00

1144-diagnostics-reflection-builtin-needs-type.sx

fix(ir): reject non-type args to the 7 type-introspection builtins [F0.8]

2026-06-05 11:22:59 +03:00

1145-diagnostics-missing-struct-field-assign.sx

fix(ir): missing-field multi-assign + promoted-union-member lvalue [F0.10]

2026-06-05 14:00:24 +03:00

1146-diagnostics-nonintegral-float-to-int.sx

fix(ir): evalConstFloatExpr reaches parity with evalConstIntExpr — numeric-limit float leaves + float % fold under the unified rule [F0.11]

2026-06-05 18:15:17 +03:00

1147-diagnostics-float-division-narrowing.sx

fix(ir): float / folds as FLOAT division under the unified narrowing rule — int folder refuses a float-operand / [F0.11]

2026-06-05 19:26:22 +03:00

1148-diagnostics-value-shadow-field-dim-not-const.sx

fix(ir): const evaluators' field-access arm is raw value-shadow aware [F0.11]

2026-06-05 20:02:11 +03:00

1200-ffi-callconv-c-callbacks.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1201-ffi-callconv-c-globals.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1202-ffi-cc-c-large-aggregate.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1203-ffi-callconv-c-fnptr-large-aggregate.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1204-ffi-fnptr-cast-large-aggregate.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1205-ffi-foreign-global-helper.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1205-ffi-foreign-global.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1206-ffi-medium-struct.c

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1206-ffi-medium-struct.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1207-ffi-foreign-global-from-helper.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1208-ffi-closure-capture.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1209-ffi-01-primitives.c

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1209-ffi-01-primitives.h

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1209-ffi-01-primitives.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1210-ffi-02-small-struct.c

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1210-ffi-02-small-struct.h

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1210-ffi-02-small-struct.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1211-ffi-03-large-struct.c

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1211-ffi-03-large-struct.h

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1211-ffi-03-large-struct.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1212-ffi-04-fp-struct.c

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1212-ffi-04-fp-struct.h

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1212-ffi-04-fp-struct.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1213-ffi-05-string-args.c

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1213-ffi-05-string-args.h

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1213-ffi-05-string-args.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1214-ffi-06-callback.c

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1214-ffi-06-callback.h

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1214-ffi-06-callback.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1215-ffi-07-c-import-block.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1216-ffi-08-foreign-in-method.c

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1216-ffi-08-foreign-in-method.h

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1216-ffi-08-foreign-in-method.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1217-ffi-09-foreign-result-chain.c

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1217-ffi-09-foreign-result-chain.h

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1217-ffi-09-foreign-result-chain.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1218-ffi-foreign-cvariadic.c

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1218-ffi-foreign-cvariadic.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1219-ffi-foreign.sx

test: split 50-smoke.sx into per-section examples + add errors smoke

2026-06-01 19:34:21 +03:00

1220-ffi-c-import-reserved-name-params.c

feat(lang): backtick raw identifier in every binding form + raw-not-a-type + foreign reserved-name fn bare-call [F0.6]

2026-06-04 18:31:08 +03:00

1220-ffi-c-import-reserved-name-params.h

feat(lang): backtick raw identifier in every binding form + raw-not-a-type + foreign reserved-name fn bare-call [F0.6]

2026-06-04 18:31:08 +03:00

1220-ffi-c-import-reserved-name-params.sx

feat(lang): backtick raw identifier in every binding form + raw-not-a-type + foreign reserved-name fn bare-call [F0.6]

2026-06-04 18:31:08 +03:00

1300-ffi-objc-roundtrip.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1301-ffi-objc-class.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1302-ffi-objc-block-noop.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1303-ffi-objc-block-capture.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1304-ffi-objc-block-multi-arg.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1305-ffi-objc-block-inline.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1306-ffi-objc-foreign-class-chained-dispatch.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1307-ffi-objc-expression-bodied-objc-method.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1308-ffi-objc-type-aliases.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1309-ffi-objc-class-method-lowering.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1310-ffi-objc-class-registration.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1311-ffi-objc-class-ivar-registration.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1312-ffi-objc-class-method-dispatch.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1313-ffi-objc-class-alloc-roundtrip.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1314-ffi-objc-class-dealloc-roundtrip.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1315-ffi-objc-self-class-accessor.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1316-ffi-objc-class-method-static-imp.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1317-ffi-objc-class-level-constant.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1318-ffi-objc-property-foreign.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1319-ffi-objc-property-sx-defined.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1320-ffi-objc-extends-chain.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1321-ffi-objc-defined-class-method-self.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1322-ffi-objc-arc-00-allocator-thread.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1323-ffi-objc-arc-00b-multi-instance.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1324-ffi-objc-arc-01-autoreleasepool.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1325-ffi-objc-arc-02-strong-property.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1326-ffi-objc-arc-03-weak-property.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1327-ffi-objc-call-01-parse.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1328-ffi-objc-call-02-void-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1329-ffi-objc-call-03-selector-sharing.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1330-ffi-objc-call-04-primitive-returns.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1331-ffi-objc-call-05-struct-returns.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1332-ffi-objc-call-06-sret-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1333-ffi-objc-call-07-fp-hfa-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1334-ffi-objc-call-08-multi-keyword.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1335-ffi-objc-call-09-in-construct.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1336-ffi-objc-call-10-os-gate.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1337-ffi-objc-call-11-bool-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1338-ffi-objc-call-12-rect-u64-returns.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1339-ffi-objc-defined-class-01-instance.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1340-ffi-objc-defined-class-02-struct-encoding.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1341-ffi-objc-dsl-01-niladic.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1342-ffi-objc-dsl-02-one-arg.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1343-ffi-objc-dsl-03-multi-keyword.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1344-ffi-objc-dsl-04-mismatch.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1345-ffi-objc-dsl-05-static.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1346-ffi-objc-dsl-06-selector-override.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1347-ffi-objc-dsl-07-mangling-table.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1400-ffi-jni-call-01-parse.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1401-ffi-jni-call-02-void.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1402-ffi-jni-call-03-methodid-sharing.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1403-ffi-jni-call-04-jint-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1404-ffi-jni-call-05-jlong-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1405-ffi-jni-call-06-jdouble-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1406-ffi-jni-call-07-jboolean-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1407-ffi-jni-call-08-jobject-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1408-ffi-jni-call-09-static.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1409-ffi-jni-call-10-jfloat-return.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1410-ffi-jni-call-11-unsupported-return-diag.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1411-ffi-jni-class-01-empty.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1412-ffi-jni-class-02-method.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1413-ffi-jni-class-03-static.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1414-ffi-jni-class-04-extends.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1415-ffi-jni-class-05-field.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1416-ffi-jni-class-06-desc.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1417-ffi-jni-class-07-all-runtimes.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1418-ffi-jni-class-08-call.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1419-ffi-jni-class-09-multi-float-args.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1420-ffi-jni-env-01-block.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1421-ffi-jni-env-02-lexical-direct.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1422-ffi-jni-env-03-tl-fallback.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1423-ffi-jni-main-01-emit.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1424-ffi-jni-main-02-super.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1425-ffi-jni-main-03-ctor.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1500-vectors-vector-math.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1501-vectors-const-lane.sx

fix(ir): route every comptime-int through the shared evaluator (0083)

2026-06-04 11:32:25 +03:00

1502-vectors-runtime-lane-not-const.sx

fix(ir): route every comptime-int through the shared evaluator (0083)

2026-06-04 11:32:25 +03:00

1503-vectors-oversized-lane-not-u32.sx

fix(ir): value-param type functions + range-checked dim/lane fold (0083, 0087)

2026-06-04 12:13:45 +03:00

1504-vectors-integral-float-lane.sx

fix(ir): integral-float counts + range-checked value-param binds (0083)

2026-06-04 13:16:39 +03:00

1505-vectors-zero-lane-rejected.sx

docs(spec): make the count zero-rule context-dependent per consumer (0083)

2026-06-04 15:32:48 +03:00

1506-vectors-lane-store.sx

fix(ir): vector lane store resolves lane element type [F0.5]

2026-06-05 01:32:35 +03:00

1600-platform-graphics.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1601-platform-sdl-graphics.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1602-platform-http-server.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1603-platform-stb-image.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1604-platform-build-config.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1605-platform-frameworks.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1606-platform-metal-clear.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1607-platform-uikit-app.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1608-platform-uikit-window.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1609-platform-add-framework.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1610-platform-uikit-platform.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1611-platform-post-link-callback.sx

feat(lang): block value requires no trailing ; (Rust-style)

2026-06-02 09:23:50 +03:00

1612-platform-fs-roundtrip.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1613-platform-process-roundtrip.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1614-platform-macos-bundle.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1615-platform-ios-sim-bundle.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00

1616-platform-ios-device-bundle.sx

test: migrate examples to XXXX-category-name layout + split expected streams

2026-06-01 19:05:15 +03:00