Completed library and application work

Completed-work index · Remaining work

The initial library slices below shipped. “Complete” refers to that bounded slice, not every extension of a module. The backlog owns all remaining candidates; linked references define current behavior and platform limits.

B38: Library breadth

Issue #49’s initial B39–B70 slices are delivered. Modules are implemented in Plenty unless native complexity/security warrants a wrapper (issue #505, local PR #578); large native dependencies use separately packaged engines (issue #504, local PR #579). The catalogue rationale records the scope decision, not a second task list.

Remaining breadth is B38 in the backlog.

Issue #705 corrects the archive PAX decimal parser to accept every nonnegative i64, including its final eight values. Boundary tests cover both optimization modes, overflow and malformed digits; the separate TAR content-length cap remains 2⁶² bytes.

B39–B70: Initial delivery slices

The local issues listed here recorded acceptance checks, ownership/allocation contracts and prerequisites. They are completion evidence, not active task assignments. Extensions retain their original B IDs in the standard-library follow-ups.

B48: Regex acceleration

Issue #742 adds bounded ASCII prefix filters across alternatives and classes, a lazy DFA for existence and fixed-length match offsets, and a one-pass engine for unambiguous ASCII transitions. The Pike VM preserves subgroup captures and handles unsupported patterns, Unicode fallback and exhausted DFA caches. Work limits include accelerated scans and fallbacks; optional scratch fits within the existing memory budget, and allocations remain fallible. Issue #752 adds pattern and search-budget compatibility checks before a cursor reuses cached transitions. Issue #753 removes per-byte text calls from the ASCII engines by borrowing UTF-8 storage once per search, iterates byte slices directly in the prefix scanner, and applies that filter at DFA restart states. The full regex-redux workload uses 44.36% fewer instructions than the merged #742 implementation. Issue #758 adds separate bit lanes for small alternative sets and bounded native substring batches for at most eight short ASCII prefixes. The unchanged full workload uses another 11.39% fewer instructions than main d951457d, with identical reference output. Scalar fallback lowering is isolated with CLIF variants and tracked in issue #760.

The unchanged regex-redux program measures cleaning, all nine variant counts, and five substitutions against the Rust regex reference. Reproducible instruction-count results and the C/Plenty prefix-loop comparison are recorded in experiments/regex/README.md. See the regex costs and coverage and benchmark workflow. B48 retains broader engine coverage, scalar scan lowering and Unicode feature expansion.

B71: Error composition and HTTP

The language/reporting foundation and precise-error migration are delivered: general sums, enum methods, structural protocols, Formattable, typed context, entrypoint reports and typed HTTP handlers. std.error.map_error and Result.map_error accept payload variants as function values (issue #556). Explicit retained-job errors/drop_job() preserve start/submission causes; Failure remains a last resort.

Typed I/O supplies stream helpers/legacy bridges. Typed HTTP body readers preserve concrete causes and partial progress, validate parsed framing and guard connection recovery. Typed parsing/writes/buffering serve the whole HTTP client, including CONNECT, uploads/redirects/pooling; stored-error retrieval was removed while the legacy Reader bridge and typed response composition remain.

Installed CLI/data and JSON-service workflows validate causes, reports, exit status, recovery and cleanup (local PR #472). See the composition evidence.

Issue #634 unifies report and display formatting on std.fmt.Formatter[W] and FormatError. Report methods use a method-local writer parameter, including anonymous-sum dispatch and conditional typed contexts. Reports can use arbitrary writers and floating-point format specs; stderr text/integer/boolean reports still allocate no memory. Canonical owned text methods on URLs, media types, socket addresses and Set-Cookie values are to_string(). See report formatting.

Remaining presentation/inference candidates stay B71 in the backlog.

B76: Columnar data

The optional dataframe foundation includes bulk numeric/string/bool construction/extraction, nullable schema inspection, conditional/cast/string/distinct/window expression plans, grouping, five join kinds, stable sorting/windows and CSV/Parquet streaming (issues #448–#451). The Polars engine is reached-only and separately packaged; version-matched release archives, compatibility/notices and deployment checks shipped (issue #456). Integer-key checked as-of joins shipped (issue #453); Date/Datetime units, naive/UTC metadata, nullable epochs and calendar formatting followed (issue #457). Numeric widths, owned binary columns and nested list/struct schema/access/ Parquet interchange shipped with issues #458–#460, preserving parent/child nulls. The original spike records its evidence.

The sales report application and examples/sales_report/ exercise catalogue validation, CSV/partitioned Parquet, nullable cleanup, UTC daily grouping and audited exports, with independent checks and an optional scaled workload. Classified rows are materialized once.

Primitive-field clist provides native-width packed columns, allocation-free empty owners, transactional reserve/append, scalar indexed fields, explicit row copies and borrowed scalar-valued pipelines. Ordered removal/clear retain capacity without allocating. Direct indexed access avoids per-field runtime dispatch (issue #432); bounded optimized integer count/filter SIMD is recorded under B23. It remains distinct from Polars-backed dataframes. Columnar evidence records whole-row tradeoffs. Remaining scope stays B76 in the backlog.

B78: Diffs

Myers/patience diffs over lists, Bytes and line/word/char tokens produce GNU-compatible unified output (issue #469, local PR #589). max_cost optionally bounds Myers work (issue #510, local PR #596). The scalar-list codegen improvement is recorded under B19, not an unfinished diff fix. Extensions stay B78 in the backlog.

B79: Markdown

Markdown is a Plenty port of commonmark.js, targeting CommonMark 0.31.2 with events/HTML and input/depth/output limits (issue #470, local PR #595). Extensions stay B79 in the backlog.

B80: Plotting

The partial plotting implementation delivers owned tables/record accessors, layer-specific data/inherited mappings, nine geoms (including supplied errors/ranges/ribbons), grouped counts/binning/bar positions, wrapped/grid facets, transformed continuous/discrete position scales with breaks/ labels, palettes/gradients, basic themes/legends, wrapped text layout preflight and streaming SVG. This is not a claim that the accepted core milestone is finished; its remaining scope stays B80 in the backlog.

B81: LRU cache

LRU implements fixed-capacity expected-O(1) operations in Plenty with no allocation after construction (issue #482, local PR #613). Copying getters followed use-site generic checking (issues #515/#516, local PR #619); optional reference/mutable getters replaced callback/trapping getters (local PR #623). No separate outstanding B81 item was recorded; future additions need their own use case/scope.

B82: Graphs

Graphs deliver stable directed/undirected handles, BFS/DFS, topological sort, SCC/components, Dijkstra, A*, Bellman–Ford and Kruskal (issue #486, local PR #614). Extensions stay B82 in the backlog.

B85: Actors

Actors deliver supervised single-thread execution, per-actor heaps on x86-64 and AArch64 GNU/Linux, bounded copied-message mailboxes and trap containment (issue #536, local PR #657). Typed trap exits, heap-safe spawn checks, allocation-free timers, timeout/gone request-reply and opt-in one-for-one fixed-window restart shipped (issue #537, local PR #658).

Actor networking adds actor-per-connection listeners, pause/refuse admission, bounded back-pressure buffers, one-timer idle/stall/read deadlines and nonblocking dial/lookup (issue #538, local PR #660). Actor TLS uses a nonblocking TLS session (issue #543, local PR #664). General Watchable handles, named readiness, spawn tags on Down and in-place connection-buffer compaction shipped (issues #540–#542/#545, local PRs #661/#662).

std.actor.http.server adds a second HTTP/1.1 server with isolated connection construction, bounded complete-request handlers, resumable TCP/TLS streaming, deadlines and draining. The shared std.http.decoder supplies byte-feed request framing. Stage observations, isolated spawning and immediate/destructor shutdown support its lifecycle; runnable deadline and live-stage cleanup fixes address issues #638 and #639. Fair child-exit delivery and safe runnable-slot reuse under connection churn address issues #640 and #642. Scalar-wrapper list references use their actual storage width (issue #643), preventing neighboring actor-address entries from being overwritten. The qualification record separates implementation delivery from production readiness and comparative measurements. The worker HTTP server remains independently supported. The qualification record includes 540,000 successful matched HTTP/TLS benchmark requests, a mixed-failure run with 400 contained traps and stable resources, and relocated native binaries. TLS sessions reconstruct a private configuration graph within their actor heap, so trapped sessions and repeated configuration rotation release retired generations without dropping interrupted rustls state (issue #641). This adds per-session configuration memory and setup work; the original TLS comparison predates that change. Completion acknowledgements and bounded retry timers reduce concurrent keep-alive mailbox retry overhead while preserving application mail, completion accounting and shutdown control (issue #644). The qualification record retains the original comparison and adds a controlled before/after HTTP measurement. A refreshed TLS comparison after both fixes records 270,000 successful requests, 9,000 verified handshakes, current idle RSS and 400 contained traps with stable after-batch resources.

A test-only budget and retained-stack investigation exercises the production heap router and trap boundary on two guarded stacks. Explicit checkpoints demonstrate peer progress, retained nested local borrows, trap recovery after resumption and cooperative cancellation with cleanup. It adds no production scheduling behavior; compiler insertion and the stage’s shared-context ownership remain unimplemented. See the probe evidence and limits.

Remaining stages stay B85 in the backlog.

Standard-library argument and error contracts

B92’s allocation/error-type work (local PR #804) gives std domain errors an Allocation(AllocError) cause, narrows allocation-only byte operations to AllocError, and reports invalid caller positions with named traps. Stream reads and read_exact validate buffer ranges before transport access, EOF, handshake work, or stored errors; TLS session transfers follow the same rule (issue #666). Encoding fields, UUID output, crypto finalization and CSV field positions trap on invalid caller offsets or indices; operations with no other failure return plain values (issue #667).

Unused byte-error adapters and unreachable range variants have been removed (issue #668). Real failures remain recoverable: truncation, malformed encoded text, allocation failure, transport failures and the capacities, limits and seek targets that still return named errors. BytesError.OutOfRange, kept then for actor networking connection limits, was removed by B95. See the invalid-argument convention and byte-stream contract.

B92’s remaining worker-certification subset is delivered in issue #661. Thin function and variant-constructor values are certified against all matching function addresses in the closed program. The 30 pure allocation adapters introduced by local PR #804 now use direct map_error calls at 227 current call sites, including nested domain-error wrapping. Helpers that attach partial-progress context retain that behavior. See worker callable certification for its signature-wide conservatism and remaining erased-callable limits. Static integer domains were completed by B95.

Dataframe byte-view inputs (issue #657)

std.dataframe.lit_binary accepts &[u8] from literals, owned buffers, byte lists and subviews. Its C strided adapter passes address, length and stride 1 directly, with no Plenty-side payload allocation. Binary-column constructors pass their packed Bytes through that adapter too, removing the additional list[u8] payload copy. Polars still owns a native copy; extraction still builds independent owned buffers. Mutable byte views remain unsupported by this adapter. See binary payloads and C borrowing.

Windows x86-64 dataframe packaging

The experimental Windows release builds the Polars dataframe engine natively and bundles plenty_dataframe_v1.dll with its licenses. The compiler generates an MSVC import library from the selected DLL, copies the DLL beside ordinary applications, and includes validated metadata and notices in --dist output. Release and portability workflows exercise Parquet queries and app relocation; Windows execution still requires native runner validation. Linear algebra and macOS engine packaging remain outside this delivery. See the engine installation reference.

macOS ARM64 dataframe packaging

The experimental Apple silicon release builds the Polars dataframe engine for Apple M1 and macOS 11, and bundles libplenty_dataframe_v1.dylib with its metadata and licenses. The dylib has a versioned @rpath identity; applications find their sibling copy through @loader_path. Ordinary output copies the dylib through a temporary sibling and atomic rename, preserving already-open engine files when rebuilding (issue #678); --dist adds validated notices and checks library identity and checksum. Selected-engine validation errors include the supported rebuild command. Packaging checks native dependencies, exports, deployment minimum and ad-hoc code signature. Native workflows exercise Parquet queries, moved installations and application-only relocation; native execution remains for CI to verify.

The shared native archive writer now gives libraries and notices mode 0644, resolving issue #677 for both Windows and macOS bundles. Broader B18.7 library qualification, linear algebra on these platforms and signing/notarization remain outside this delivery. See macOS engine installation.