Platforms: pick which builtins your code gets, and bring your own - #5769

Draft

StachuDotNet wants to merge 44 commits into

darklang:mainfrom

StachuDotNet:platforms

Commits on Sep 10, 2026

Platforms: pick which builtins your code gets
StachuDotNet
committed
4efa87c

Commits on Sep 11, 2026

Let a platform's builtins be described rather than written
StachuDotNet
committed
9e2cb9b
Show that a described platform resolves at parse time, correcting an earlier finding
StachuDotNet
committed
bc3ae06
Add the platform manifest, and refuse what cannot cross a pipe
StachuDotNet
committed
c634244
Name types in a manifest instead of hashing them
StachuDotNet
committed
efa4617
Add the text manifest, borrowing the parser's written-then-resolved split
StachuDotNet
committed
ebde475
Resolve a manifest against the instance's own store
StachuDotNet
committed
5f1ccfa
Name a platform's executables in its manifest, addressed by hash
StachuDotNet
committed
dc7745c
Cache platform artifacts by hash, and verify before every use
StachuDotNet
committed
076ea51
Read a platform manifest from the store, as an ordinary package value
StachuDotNet
committed
1f91eed
Fetch a platform artifact on demand, verifying whatever the source returns
StachuDotNet
committed
a7bdc04
Take the Policy platform off native, with two new well-known effects
StachuDotNet
committed
e0611b8
Run a platform that lives in another process
StachuDotNet
committed
e3805e2
Record installed external platforms, reconstructable from one line
StachuDotNet
committed
8e7b940
Install and run an external platform from the CLI, end to end
StachuDotNet
committed
a324404
Fetch a platform's executable from a relay
StachuDotNet
committed
c7e6710
Carry bytes across the platform wire
StachuDotNet
committed
4285493
Tell a platform what its type names resolved to
StachuDotNet
committed
a38faca
Don't let an install brick the instance
StachuDotNet
committed
b55af0e
The pilot: outbound HTTP from another process
StachuDotNet
committed
beebef9
The manifest is the sandbox
StachuDotNet
committed
c7f34fd
Count the doors, not the builtins
StachuDotNet
committed
dd52231
Make the second gate visible
StachuDotNet
committed
d273b41
Test the pilot's manifest and the sandbox plan
StachuDotNet
committed
5d5f3f8
`dark builtins --by-effect`
StachuDotNet
committed
0a11836
Show the trust gate where people look, and drop the clock from some comments
StachuDotNet
committed
a4c4a1c
Test the relay's blob endpoints
StachuDotNet
committed
c05f102
Answer the question a skipped platform's name is asking
StachuDotNet
committed
c4f3e43
Fix the help my own change made false
StachuDotNet
committed
e9af76d
Split a report that had drowned itself
StachuDotNet
committed
48ec370
Mark the platforms that are somebody else's binary
StachuDotNet
committed
b430f7f
Random: eleven doors to four
StachuDotNet
committed
88021d3
Say which randomness you are getting
StachuDotNet
committed
649a4e7
A process rule now names the command, not just the shell
StachuDotNet
committed
3a53239
Check the effects an out-of-process platform declares
StachuDotNet
committed
8838ad2
A platform cannot mint a handle into this runtime
StachuDotNet
committed
eff662b

Commits on Sep 12, 2026

Commits on Sep 13, 2026

Method notes out of the platform register and into AGENTS.md
StachuDotNet
committed
6a874a4