The Dewy programming language

Compiler coverage

Fresh program results, scoped to their target. A passing example does not certify a language chapter.

Source and release identities

Website source: d9cc8af12e37b401175b25303ff1831730ca7051. Generated 2026-11-02T05:29:14.647498+00:00.

Compiler SHA-256: 95619fdcf70833e85a8d4666fad36162b0d6b582b7908ee72dd44f9e0bd0d76a. Target: native-release on linux-x86_64.

Downloadable release: dewy-0.0.0-dev.20261022.00eebf5fdea4.

Downloadable release identity and digests

dewy-toolchain-channel 1
release dewy-0.0.0-dev.20261022.00eebf5fdea4
sha256 97af014061d670eda10d0951acf6483085c9eb608e17d84b16a46b6c5c35c42c dewy-core-linux-x86_64.tar.gz
sha256 b2f951847e3cea1c107a9e055429a045f6785f2a4e7e8867ceff7bb0965908ea dewy-core-linux-arm64.tar.gz
sha256 157138b351c6987786ca19ce1ead58f2b47a391e228a594ce08cb75c6d6908d9 dewy-core-macos-arm64.tar.gz
sha256 7b7a438c1732496bbaf3d461364ba3b63d941715208ec5f13f853d377805a523 dewy-core-windows-x86_64.tar.gz
sha256 c5461703542db3e2fb9e59f62c2ad0c31c88e1d8abcf77d619ba56ae86d1a792 install.sh
sha256 049af11984e715945c2d315f9ba2d31b1776bfcb9546d1ac4ed74c9af2b09232 install.ps1
end

Build run

Machine-readable coverage · Fresh ladder results

Targets and platforms

This build measures native release programs on its named build host and runs precompiled WebAssembly examples in Node. Node execution does not certify browser graphics, input, networking, or every host platform. Downloadable toolchains target Linux x86-64/ARM64, macOS ARM64 and Windows x64; their release workflow owns platform certification.

Reference coverage

tested example: the exact snippet met its declared check, output or rejection. partial: a related acceptance/golden program was measured; its individual result does not certify the section. design only: normative material with no executable claim. not measured: no fresh result for the mapped test.

Reference associations · native release only; each row covers the named section
Section	Coverage	Related test IDs
Arrays And Containers	partial	29_generic_stack (design pass · native-release) surface/container_members (pass · native-release)
Bindings And Scope	partial	01_word_count (design pass · native-release)
Compatibility	design only	No executable claim
Compile Time	partial	62_reflection_fields (design pass · native-release) 63_compiletime_tables (design pass · native-release)
Control Flow And Iteration	partial	32_bytecode_vm (design pass · native-release)
Debugging	not measured	tests/test_core_editor.py::test_vscode_core_debug (not measured)
Design Status	design only	No executable claim
Errors And Forwarding	partial	28_error_pipeline (design pass · native-release) 61_module_error_flow (design pass · native-release)
Execution	not measured	tests/test_core_testing.py::test_core_native_tests_imports (not measured)
Expressions And Operators	design only	No executable claim
Functions And Calls	partial	30_closure_callbacks (design pass · native-release) 60_function_combinators (design pass · native-release) handle/values (pass · native-release)
Index	design only	No executable claim
Interoperability	design only	No executable claim
Lexical Structure	partial	14_tokenizer (design pass · native-release)
Literals	partial	19_bit_packet (design pass · native-release)
Modules And Imports	partial	61_module_error_flow (design pass · native-release) tests/test_core_editor.py::test_references_follow_bindings_and_unsaved_imports (not measured)
Numeric Types	partial	19_bit_packet (design pass · native-release) 20_fnv_hash (design pass · native-release)
Objects	partial	37_record_query (design pass · native-release)
Operators And Precedence	design only	No executable claim
Physical Quantities	partial	11_units_physics (design pass · native-release) 44_units_flight (design pass · native-release) tests/test_core_units.py::test_quantity_kernel_erasure (not measured)
Ranges And Iteration	partial	31_custom_iterator (design pass · native-release)
Refinements And Effects	design only	No executable claim
Strings	partial	53_unicode_wrap (design pass · native-release) grapheme/length (pass · native-release)
Testing	design only	No executable claim
Types And Conversions	design only	No executable claim
Values	partial	27_game_simulation (design pass · native-release)

Website examples

42 run, 4 check, 6 reject, 145 design-only. Check/reject rows measure diagnostics and checking; only run rows compare stdout.

Exact snippet IDs

site/learn/src/00-introduction.md:7: run — tested example
site/learn/src/pitch.md:7: run — tested example
site/learn/src/safer-than-rust.md:13: run — tested example
site/learn/src/safer-than-rust.md:24: reject — tested example
site/learn/src/safer-than-rust.md:44: reject — tested example
site/learn/src/safer-than-rust.md:52: run — tested example
site/learn/src/safer-than-rust.md:66: reject — tested example
site/learn/src/safer-than-rust.md:84: reject — tested example
site/learn/src/ch01/02-hello-world.md:7: run — tested example
site/learn/src/ch01/03-debugging.md:13: run — tested example
site/learn/src/ch05/00-general.md:7: run — tested example
site/learn/src/ch03/expressions-statements-blocks.md:7: run — tested example
site/learn/src/ch03/bindings-and-scope.md:7: run — tested example
site/learn/src/ch03/basic-data-types.md:7: run — tested example
site/learn/src/ch03/function-types.md:7: run — tested example
site/learn/src/ch03/flow-control.md:7: run — tested example
site/learn/src/ch03/optional-types.md:7: run — tested example
site/learn/src/ch03/errors-as-values.md:7: run — tested example
site/learn/src/ch03/loops.md:7: run — tested example
site/learn/src/ch03/range-types.md:7: run — tested example
site/learn/src/ch03/values-and-places.md:7: run — tested example
site/learn/src/ch03/string-types.md:7: run — tested example
site/learn/src/ch03/container-types.md:7: run — tested example
site/learn/src/ch03/object-types.md:7: run — tested example
site/learn/src/ch03/number-bases.md:7: run — tested example
site/learn/src/ch03/operators.md:7: run — tested example
site/learn/src/ch03/functional-programming.md:7: run — tested example
site/learn/src/ch03/refinements.md:7: run — tested example
site/learn/src/ch03/refinements.md:17: reject — tested example
site/learn/src/ch03/refinements.md:25: run — tested example
site/learn/src/ch03/units.md:7: run — tested example
site/learn/src/ch03/effects.md:7: run — tested example
site/learn/src/ch03/imports.md:7: run — tested example
site/learn/src/ch03/imports.md:21: check — tested example
site/learn/src/ch03/imports.md:28: run — tested example
site/learn/src/ch04/00-stdlib.md:7: run — tested example
site/reference/src/lexical-structure.md:28: design-only — design only
site/reference/src/lexical-structure.md:60: design-only — design only
site/reference/src/lexical-structure.md:74: design-only — design only
site/reference/src/lexical-structure.md:87: design-only — design only
site/reference/src/literals.md:28: design-only — design only
site/reference/src/literals.md:57: design-only — design only
site/reference/src/literals.md:69: design-only — design only
site/reference/src/literals.md:85: design-only — design only
site/reference/src/execution.md:17: design-only — design only
site/reference/src/bindings-and-scope.md:11: design-only — design only
site/reference/src/bindings-and-scope.md:19: design-only — design only
site/reference/src/bindings-and-scope.md:27: design-only — design only
site/reference/src/bindings-and-scope.md:43: design-only — design only
site/reference/src/values.md:11: design-only — design only
site/reference/src/values.md:26: design-only — design only
site/reference/src/values.md:42: design-only — design only
site/reference/src/values.md:65: design-only — design only
site/reference/src/values.md:104: design-only — design only
site/reference/src/values.md:139: design-only — design only
site/reference/src/values.md:200: design-only — design only
site/reference/src/types-and-conversions.md:13: design-only — design only
site/reference/src/types-and-conversions.md:28: design-only — design only
site/reference/src/types-and-conversions.md:40: design-only — design only
site/reference/src/types-and-conversions.md:60: design-only — design only
site/reference/src/types-and-conversions.md:84: design-only — design only
site/reference/src/types-and-conversions.md:98: design-only — design only
site/reference/src/types-and-conversions.md:107: design-only — design only
site/reference/src/types-and-conversions.md:118: design-only — design only
site/reference/src/types-and-conversions.md:135: design-only — design only
site/reference/src/types-and-conversions.md:169: design-only — design only
site/reference/src/types-and-conversions.md:188: design-only — design only
site/reference/src/types-and-conversions.md:202: design-only — design only
site/reference/src/types-and-conversions.md:215: design-only — design only
site/reference/src/types-and-conversions.md:236: design-only — design only
site/reference/src/types-and-conversions.md:249: design-only — design only
site/reference/src/types-and-conversions.md:264: design-only — design only
site/reference/src/types-and-conversions.md:287: design-only — design only
site/reference/src/types-and-conversions.md:297: design-only — design only
site/reference/src/numeric-types.md:17: design-only — design only
site/reference/src/numeric-types.md:32: design-only — design only
site/reference/src/numeric-types.md:47: design-only — design only
site/reference/src/numeric-types.md:63: design-only — design only
site/reference/src/numeric-types.md:115: design-only — design only
site/reference/src/numeric-types.md:129: design-only — design only
site/reference/src/expressions-and-operators.md:15: design-only — design only
site/reference/src/expressions-and-operators.md:28: design-only — design only
site/reference/src/expressions-and-operators.md:54: design-only — design only
site/reference/src/operators-and-precedence.md:32: design-only — design only
site/reference/src/operators-and-precedence.md:115: design-only — design only
site/reference/src/operators-and-precedence.md:127: design-only — design only
site/reference/src/functions-and-calls.md:9: design-only — design only
site/reference/src/functions-and-calls.md:27: design-only — design only
site/reference/src/functions-and-calls.md:50: design-only — design only
site/reference/src/functions-and-calls.md:61: design-only — design only
site/reference/src/functions-and-calls.md:71: design-only — design only
site/reference/src/functions-and-calls.md:89: design-only — design only
site/reference/src/functions-and-calls.md:100: design-only — design only
site/reference/src/functions-and-calls.md:119: design-only — design only
site/reference/src/functions-and-calls.md:147: design-only — design only
site/reference/src/functions-and-calls.md:165: design-only — design only
site/reference/src/functions-and-calls.md:202: design-only — design only
site/reference/src/functions-and-calls.md:214: design-only — design only
site/reference/src/functions-and-calls.md:225: design-only — design only
site/reference/src/functions-and-calls.md:234: design-only — design only
site/reference/src/functions-and-calls.md:246: design-only — design only
site/reference/src/functions-and-calls.md:253: design-only — design only
site/reference/src/control-flow-and-iteration.md:11: design-only — design only
site/reference/src/control-flow-and-iteration.md:31: design-only — design only
site/reference/src/control-flow-and-iteration.md:56: design-only — design only
site/reference/src/control-flow-and-iteration.md:75: design-only — design only
site/reference/src/errors-and-forwarding.md:31: design-only — design only
site/reference/src/errors-and-forwarding.md:38: design-only — design only
site/reference/src/errors-and-forwarding.md:52: design-only — design only
site/reference/src/errors-and-forwarding.md:69: design-only — design only
site/reference/src/errors-and-forwarding.md:79: design-only — design only
site/reference/src/errors-and-forwarding.md:107: design-only — design only
site/reference/src/errors-and-forwarding.md:127: design-only — design only
site/reference/src/errors-and-forwarding.md:146: design-only — design only
site/reference/src/errors-and-forwarding.md:169: design-only — design only
site/reference/src/errors-and-forwarding.md:192: design-only — design only
site/reference/src/errors-and-forwarding.md:214: design-only — design only
site/reference/src/errors-and-forwarding.md:237: design-only — design only
site/reference/src/ranges-and-iteration.md:11: design-only — design only
site/reference/src/ranges-and-iteration.md:21: design-only — design only
site/reference/src/ranges-and-iteration.md:33: design-only — design only
site/reference/src/ranges-and-iteration.md:55: design-only — design only
site/reference/src/ranges-and-iteration.md:66: design-only — design only
site/reference/src/ranges-and-iteration.md:74: design-only — design only
site/reference/src/ranges-and-iteration.md:98: design-only — design only
site/reference/src/refinements-and-effects.md:13: design-only — design only
site/reference/src/refinements-and-effects.md:20: design-only — design only
site/reference/src/refinements-and-effects.md:35: design-only — design only
site/reference/src/refinements-and-effects.md:69: design-only — design only
site/reference/src/refinements-and-effects.md:112: design-only — design only
site/reference/src/refinements-and-effects.md:130: design-only — design only
site/reference/src/refinements-and-effects.md:167: design-only — design only
site/reference/src/refinements-and-effects.md:187: design-only — design only
site/reference/src/refinements-and-effects.md:199: design-only — design only
site/reference/src/refinements-and-effects.md:206: design-only — design only
site/reference/src/refinements-and-effects.md:236: design-only — design only
site/reference/src/refinements-and-effects.md:255: design-only — design only
site/reference/src/refinements-and-effects.md:294: design-only — design only
site/reference/src/refinements-and-effects.md:332: design-only — design only
site/reference/src/refinements-and-effects.md:348: design-only — design only
site/reference/src/refinements-and-effects.md:367: design-only — design only
site/reference/src/refinements-and-effects.md:383: design-only — design only
site/reference/src/refinements-and-effects.md:410: design-only — design only
site/reference/src/refinements-and-effects.md:442: design-only — design only
site/reference/src/refinements-and-effects.md:465: design-only — design only
site/reference/src/testing.md:19: design-only — design only
site/reference/src/testing.md:44: design-only — design only
site/reference/src/testing.md:74: design-only — design only
site/reference/src/strings.md:13: design-only — design only
site/reference/src/strings.md:26: design-only — design only
site/reference/src/strings.md:44: design-only — design only
site/reference/src/strings.md:58: design-only — design only
site/reference/src/strings.md:79: design-only — design only
site/reference/src/strings.md:100: design-only — design only
site/reference/src/strings.md:115: design-only — design only
site/reference/src/strings.md:127: design-only — design only
site/reference/src/strings.md:152: design-only — design only
site/reference/src/arrays-and-containers.md:11: design-only — design only
site/reference/src/arrays-and-containers.md:19: design-only — design only
site/reference/src/arrays-and-containers.md:65: design-only — design only
site/reference/src/arrays-and-containers.md:73: design-only — design only
site/reference/src/arrays-and-containers.md:91: design-only — design only
site/reference/src/arrays-and-containers.md:116: design-only — design only
site/reference/src/arrays-and-containers.md:136: design-only — design only
site/reference/src/arrays-and-containers.md:148: design-only — design only
site/reference/src/objects.md:9: design-only — design only
site/reference/src/objects.md:21: design-only — design only
site/reference/src/objects.md:39: design-only — design only
site/reference/src/objects.md:58: design-only — design only
site/reference/src/objects.md:88: check — tested example
site/reference/src/objects.md:101: design-only — design only
site/reference/src/objects.md:112: design-only — design only
site/reference/src/objects.md:122: design-only — design only
site/reference/src/objects.md:145: run — tested example
site/reference/src/objects.md:166: design-only — design only
site/reference/src/objects.md:183: check — tested example
site/reference/src/physical-quantities.md:13: design-only — design only
site/reference/src/physical-quantities.md:24: design-only — design only
site/reference/src/modules-and-imports.md:13: design-only — design only
site/reference/src/modules-and-imports.md:29: design-only — design only
site/reference/src/modules-and-imports.md:73: design-only — design only
site/reference/src/modules-and-imports.md:95: design-only — design only
site/reference/src/compile-time.md:25: design-only — design only
site/reference/src/compile-time.md:43: design-only — design only
site/static/examples/index.html:9: run — tested example
site/static/index.html:64: run — tested example
site/static/index.html:94: run — tested example
site/static/index.html:117: run — tested example
site/static/index.html:139: run — tested example
site/static/index.html:162: run — tested example
site/static/index.html:183: run — tested example
site/static/index.html:207: run — tested example
site/static/index.html:228: run — tested example
site/static/index.html:250: run — tested example
site/static/install/index.html:12: run — tested example
site/static/tools/index.html:17: check — tested example
site/static/tools/index.html:21: reject — tested example

Acceptance ladder

Native release on linux-x86_64. Design 122/103; core 85/103.

Individual programs and failures

01_word_count / design: pass
01_word_count / core: pass
02_csv_sales / design: pass
02_csv_sales / core: pass
03_grep_lines / design: pass
03_grep_lines / core: pass
04_priority_queue / design: pass
04_priority_queue / core: pass
05_dijkstra / design: pass
05_dijkstra / core: pass
06_trie / design: pass
06_trie / core: pass
07_lru_cache / design: pass
07_lru_cache / core: pass
08_matrix_ops / design: pass
08_matrix_ops / core: pass
09_ode_rk4 / design: pass
09_ode_rk4 / core: pass
10_statistics / design: pass
10_statistics / core: pass
11_units_physics / design: pass
11_units_physics / core: pass
12_linear_regression / design: pass
12_linear_regression / core: pass
13_logistic_regression / design: pass
13_logistic_regression / core: pass
14_tokenizer / design: pass
14_tokenizer / core: pass
15_expression_parser / design: pass
15_expression_parser / core: pass
16_json_roundtrip / design: pass
16_json_roundtrip / core: pass
17_fixed_ring / design: pass
17_fixed_ring / core: pass
18_bump_arena / design: pass
18_bump_arena / core: pass
19_bit_packet / design: pass
19_bit_packet / core: pass
20_fnv_hash / design: pass
20_fnv_hash / core: pass
21_kv_log / design: pass
21_kv_log / core: pass
22_paged_index / design: pass
22_paged_index / core: pass
23_tcp_echo / design: pass
23_tcp_echo / core: pass
24_http_hello / design: pass
24_http_hello / core: pass
25_parallel_map / design: pass
25_parallel_map / core: pass
26_parallel_particles / design: pass
26_parallel_particles / core: pass
27_game_simulation / design: pass
27_game_simulation / core: pass
28_error_pipeline / design: pass
28_error_pipeline / core: pass
29_generic_stack / design: pass
29_generic_stack / core: pass
30_closure_callbacks / design: pass
30_closure_callbacks / core: pass
31_custom_iterator / design: pass
31_custom_iterator / core: pass
32_bytecode_vm / design: pass
32_bytecode_vm / core: pass
33_toy_type_checker / design: pass
33_toy_type_checker / core: pass
34_regex_engine / design: pass
34_regex_engine / core: pass
35_btree_delete / design: pass
35_btree_delete / core: pass
36_wal_recovery / design: pass
36_wal_recovery / core: pass
37_record_query / design: pass
37_record_query / core: pass
38_constant_time_lru / design: pass
38_constant_time_lru / core: pass
39_matrix_broadcast / design: pass
39_matrix_broadcast / core: pass
40_dual_autodiff / design: pass
40_dual_autodiff / core: pass
41_kmeans / design: pass
41_kmeans / core: pass
42_neural_backprop / design: pass
42_neural_backprop / core: pass
43_radix2_fft / design: pass
43_radix2_fft / core: pass
44_units_flight / design: pass
44_units_flight / core: pass
45_slab_allocator / design: pass
45_slab_allocator / core: pass
46_sequenced_ring / design: pass
46_sequenced_ring / core: pass
47_binary_protocol / design: pass
47_binary_protocol / core: pass
48_crc32_stream / design: pass
48_crc32_stream / core: pass
49_sha256 / design: pass
49_sha256 / core: pass
50_base64_codec / design: pass
50_base64_codec / core: pass
51_markdown_html / design: pass
51_markdown_html / core: pass
52_quoted_csv / design: pass
52_quoted_csv / core: pass
53_unicode_wrap / design: pass
53_unicode_wrap / core: pass
54_deterministic_reduce / design: pass
54_deterministic_reduce / core: pass
55_worker_pipeline / design: pass
55_worker_pipeline / core: pass
56_ecs_world / design: pass
56_ecs_world / core: pass
57_astar_grid / design: pass
57_astar_grid / core: pass
58_rollback_game / design: pass
58_rollback_game / core: pass
59_generic_deque / design: pass
59_generic_deque / core: pass
60_function_combinators / design: pass
60_function_combinators / core: pass
61_module_error_flow / design: pass
61_module_error_flow / core: pass
62_reflection_fields / design: pass
62_reflection_fields / core: pass
63_compiletime_tables / design: pass
63_compiletime_tables / core: pass
64_strict_audio / design: pass
64_strict_audio / core: pass
65_reject_hidden_allocation / design: pass
66_reject_implicit_copy / design: pass
67_reject_unproved_index / design: pass
68_positive_divisors / design: pass
68_positive_divisors / core: pass
69_dependent_append / design: pass
69_dependent_append / core: pass
70_reject_stale_fact / design: pass
71_checked_proofs / design: pass
71_checked_proofs / core: pass
72_prototype_boundary / design: pass
72_prototype_boundary / core: pass
73_place_effects / design: pass
73_place_effects / core: pass
74_callback_rows / design: pass
74_callback_rows / core: pass
75_reject_effect_violation / design: pass
76_arena_escape / design: pass
76_arena_escape / core: pass
77_owner_cleanup / design: pass
78_reject_resource_copy / design: pass
79_scoped_byte_loan / design: pass
79_scoped_byte_loan / core: pass
80_reject_loan_escape / design: pass
81_partition_join / design: pass
81_partition_join / core: pass
82_overlap_race / design: pass
82_overlap_race / core: pass
83_transfer_properties / design: pass
83_transfer_properties / core: pass
84_tensor_broadcast / design: pass
84_tensor_broadcast / core: pass
85_ieee_policy / design: pass
86_exact_energy / design: pass
86_exact_energy / core: pass
87_big_arithmetic / design: pass
88_temperature_points / design: pass
88_temperature_points / core: pass
89_test_contracts / design: pass
89_test_contracts / core: pass
90_stack_repl / design: pass
90_stack_repl / core: pass
91_adventure_state / design: pass
91_adventure_state / core: pass
92_http_json_routes / design: pass
92_http_json_routes / core: pass
93_table_queries / design: pass
93_table_queries / core: pass
94_physics_hash / design: pass
94_physics_hash / core: pass
95_kv_store / design: pass
96_ct_crypto / design: pass
97_notes_service / design: pass
98_notes_listen / design: pass
99_dewy_frontend / design: pass
100_rtos_kernel / design: pass
101_ml_training / design: pass
101_ml_training / core: pass
102_trip_splitter / design: pass
103_garden_physics / design: pass
104_exact_kitchen / design: pass
105_hash_toolkit / design: pass
106_login_vault / design: pass
107_static_files / design: pass
108_bank_ledger / design: pass
109_log_pipeline / design: pass
110_config_loader / design: pass
111_build_aware / design: pass
112_bulletproof_sensor / design: pass
113_bounded_log_shipper / design: pass
114_atomic_audio_meter / design: pass
115_libc_lengths / design: pass
116_float_policy_lab / design: pass
117_csv_invoice_unpack / design: pass
118_live_route_worklist / design: pass
119_binary_frame_decoder / design: pass
120_arena_budget_ledger / design: pass
121_catalog_warnings / design: pass
122_non_send_telemetry / design: pass

WebAssembly examples

hello: tested example · wasm-release · Node
values: tested example · wasm-release · Node
graphemes: tested example · wasm-release · Node
paddle: tested example · wasm-release · compiler (check and wasm build only)