Skip to content

JUL-131: Move native filesystem operations into selected source - #378

Merged
julia-script merged 8 commits into
julia/jul-133-native-entropyfrom
julia/jul-131-native-filesystem
Sep 7, 2026
Merged

JUL-131: Move native filesystem operations into selected source#378
julia-script merged 8 commits into
julia/jul-133-native-entropyfrom
julia/jul-131-native-filesystem

Conversation

@julia-script

@julia-script julia-script commented Sep 7, 2026

Copy link
Copy Markdown
Owner

Moves the native filesystem provider into selected ordinary Silk source for Darwin AArch64 and GNU x86-64/AArch64. Descriptor-relative traversal rejects symlinks below the configured root; affine handles preserve the primary failure and close exactly once. Byte paths, bounded directory records, partial I/O, and exclusive temporary-directory creation share the source implementation.

Removes all eleven filesystem intrinsics and the compiler-owned handle/C implementation. Adds the minimal readonly pointer byte projection and fixes generic Effect lowering for narrow result lanes and partial-move cleanup on propagation.

Validation: all six independent source/C conformance lanes pass, including injected failures and cancellation. Real filesystem and temporary-directory acceptance tests pass. All required workspace gates passed in order: typecheck, format:check, lint, test, check, and release:candidate (10 tests). The compiler suite passed 2,367 tests and shared native acceptance passed 323 tests. Top-of-stack CI passed all 13 jobs on implementation revision 793d78d; the final follow-up only records verification.

Fixes JUL-131.

@vercel

vercel Bot commented Sep 7, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
silk-effect-docs Ready Ready Preview Sep 7, 2026 3:13am UTC

Request Review

@julia-script
julia-script merged commit dd4510f into main Sep 7, 2026
14 of 15 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant