Repository navigation
Plan/daily driver - #375
Conversation
…what the REPL refuses; strict init, alias targets refuse chaining
…es nats, weir run gone, the bare surface gated from the env, docs drift fixed
…fore 0.1.0), memory constraint dropped
…driver, F8/F11 in, F10 later
…LI flag typos get did-you-mean
…commands; teach $() for a reifier in let…in
…ti-line holes, one final newline
…rminated body; an unsendable header is refused by name at both crossings
…types in Env.load/Args.load
…ords and Yaml fields cross json/yaml
…rgv errors, indirect re-enumeration, call-column runtime errors, LSP analysis cache, from xml mixed content
…ss ports; unit suite in Debug everywhere
…ck bounds measure work, not contention
… backlogged classes); per-run e2e process markers
…ng ruled later, history UTF-8 ruled skip
… a loaded machine cannot fail it
Strix Security ReviewWarning This pull request has 10 commits after the last Strix review ( No security issues found. Review summaryReviewed all 71 changed files, focusing on the F# runtime source (Http.fs, Serve.fs, Eval.fs, Builtins.fs, Proc.fs, Script.fs, Check.fs, Repl.fs, Session.fs, Parser.fs, Program.fs, Complete.fs, Can.fs, Fmt.fs, Lsp.fs, SchemaTypes.fs). This PR is largely defensive security hardening — it introduces a typed HTTP client (redirect credential-drop, header-injection refusal, URL userinfo redaction) and a loopback-only HTTP server (body bounds, header-injection refusal, stream truncation), adds Secret argv masking, and refactors the init-file load/check into a shared path. Feature additions (Env.need/getOr, Seq.initInfinite, JSON Yaml nodes, anon record types, alias directives, LSP analysis cache) were traced source-to-sink against the project's stated trust model (a .weir script is as trusted as a shell script; untrusted input means malformed/hostile data). Two candidates were assessed and ruled out: jsonYamlNode's recursion is bounded by System.Text.Json.JsonDocument.Parse's default max depth of 64, and the #alias parser restricts names/chain-glyphs and resolves single-hop. No critical, high, medium, or low security findings requiring change were identified in the changed code. Updated for Reviewed by Strix |
…ack byte-for-byte
…epair a layout error (invariant 8 green)
…re-crossable value type; assembly errors located line:col; doc fixes for late imports and let-in commands
…nd measured sizes
…ws (resolved sh.EXE path)
6913665 to
8032633
Compare
…within env pushes the shared root overlay
…yte-identical; B10 blanks a runner's XDG_CONFIG_HOME
No description provided.