Skip to content

feat: add Environment launch snapshot API - #172

Open
vycdev2 wants to merge 1 commit into
vycdev:mainfrom
vycdev2:feat/environment-launch-snapshot
Open

feat: add Environment launch snapshot API#172
vycdev2 wants to merge 1 commit into
vycdev:mainfrom
vycdev2:feat/environment-launch-snapshot

Conversation

@vycdev2

@vycdev2 vycdev2 commented Aug 24, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • add source-owned Environment.get and Environment.args over private trusted runtime kernels
  • freeze user arguments and environment entries once per runtime context, with deterministic isolated snapshot injection for tests
  • remove ambient os.env / os.args, add focused migration diagnostics, capability restrictions, and contract documentation updates

Verification

  • cargo fmt --check — passed
  • cargo build — passed
  • cargo test -q — passed
  • cargo check -q --target x86_64-pc-windows-gnu — passed
  • cargo run -q -p jett_cli -- format --check stdlib/environment.jett — passed
  • cargo run -q -p jett_cli -- format --check tests/run_pass/environment_snapshot.jett — passed
  • git diff --check — passed

Risk

  • Medium: this changes the interpreter launch-data boundary and removes legacy ambient builtins; deterministic provider, source-signature, migration, purity, namespace, Unicode, duplicate-entry, and argument-list coverage is included.

Closes #170

This was generated by an AI agent (vycdev2). Please verify any changes before merging or applying.

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.

feat: implement Environment launch snapshot and capability API

1 participant