Standard Library

1. Core builtins in Stage-0

From REFERENCE.md, these are the commonly used primitives.

I/O

• print(...) and read_file(path) / write_file(path, text)

Conversions

• str(v), int(v), float(v)

Numbers

• abs, sqrt, min, max, sum, mean

Sequences

• len, range(n) / range(a, b), push, sort, reverse

Higher-order

• map, filter, reduce (alias of fold in std/list.vela), each, any, all

Strings

• chars, ord, chr, substr, split, join, starts_with, contains, upper, lower

Records + maps

• get, get_or, set, has, del, keys, values

Mutable collections

• dict, dict_set, dict_get, dict_has, dict_len, dict_del
• array, array_from, to_list, array_push, array_pop, array_set, array_get

Error/option helpers

• assert(cond[, msg]), ? postfix

2. Std modules in .sources/vela/std

These files are source-backed and runnable in the seed repository.

• option.vela — Option / Result constructors and helpers.
• list.vela — map, filter, fold, reduce, reverse, sort, unique, and utility transforms.
• math.vela — abs_val, sign, max2, min2, clamp, pow, factorial, gcd, lcm, variance/stddev helpers.
• string.vela — is_digit, trim, reverse, repeat, pad_left, pad_right, etc.
• codex_iter.vela — chunk, windows, flatten, count_if, sum_by.
• codex_sort.vela — merge_sort, quick_sort, sort_by, binary_search, is_sorted.
• codex_set.vela — mutable set-like operations with dict-backed sets.
• codex_queue.vela — mutable queue/stack via shared queue_new, enqueue, dequeue, peek.
• codex_random.vela — deterministic RNG helpers rng, next_int, next_float, dice, shuffle, choice.
• codex_csv.vela — parse_csv, format_csv, quoting and type inference per-cell.
• codex_json.vela — Json ADT, parse_json, json_compact, json_pretty.
• codex_stats.vela — mean, median, mode, variance, stddev, quantile, pearson, linear_regression.
• codex_testing.vela — minimal test harness.

3. Planned vs implemented

.sources/vela/design/STDLIB_DESIGN.md is a broader design for versioned standard-library surface and future organization. The Stage-0 seed documentation still documents the dynamic behavior and library files currently available.