Commitdf9b3ee5Recorded15 Jul 2026Repositorysigil-system

Relock onto released sigil 0.17.14 toolchain (drop dev-redirects)

Message

The (sigil process) pty primitives sigil-system depends on shipped in sigil 0.17.14, so the library no longer needs a local monorepo checkout. Remove dev-redirects.sgl and relock sigil-stdlib et al. onto the released 0.17.14 (sha 52bc47dd). Clean plain build + 24/24 tests + the standalone headless proof all pass with NO --redirects against the installed toolchain.

Also import (sigil path) explicitly in the test file: path-join was in scope transitively under the older worktree stdlib but 0.17.14 tightened exports, so the test must import it directly (the library modules already did).

Changed
 dev-redirects.sgl          | 11 -----------
 package.sgl                |  9 ++++-----
 sigil.lock                 | 12 ++++++------
 src/sigil/system/proof.sgl |  5 ++---
 test/test-system.sgl       |  1 +
 5 files changed, 13 insertions(+), 25 deletions(-)
Diff
dev-redirects.sgldeleted
@@ -1,11 +0,0 @@
−1
;; Development redirects — point dependencies at a local Sigil checkout
−2
;; when developing against unreleased runtime changes (e.g. the pty-aware
−3
;; spawn primitives in (sigil process)).
−4
;;
−5
;; Usage: sigil build --redirects dev-redirects.sgl
−6
;; Adjust dir: if your sigil checkout lives elsewhere.
−7
(redirects
−8
repos: (list
−9
(for-repo
−10
url: "codeberg:sigil/sigil"
−11
use: (from-path dir: "../sigil"))))
package.sglmodified
@@ -15,11 +15,10 @@
15
authors: (list "David Wilson <[email protected]>")
16
17
;; The headless PTY proof (the S0 exit criterion) is the default
−18
;; runnable: `sigil run --redirects dev-redirects.sgl` demonstrates
−19
;; open -> stream ls -> resize -> reap end to end. `sigil run`'s dev
−20
;; loader imports this entry value as a module and calls its `main`,
−21
;; so the entry is the module name alone (not the `(module main)`
−22
;; form used by native-bundled apps).
+18
;; runnable: `sigil run` demonstrates open -> stream ls -> resize ->
+19
;; reap end to end. `sigil run`'s dev loader imports this entry value
+20
;; as a module and calls its `main`, so the entry is the module name
+21
;; alone (not the `(module main)` form used by native-bundled apps).
22
entry: '(sigil system proof)
23
bundle-name: "headless-pty-proof"
24
sigil.lockmodified
@@ -3,21 +3,21 @@
3
(package name: "sigil-stdlib"
4
url: "codeberg:sigil/sigil"
5
ref: "^0.17"
−6
sha: "8b3e7f90795b569a5ac3011c5a46311989230648"
+6
sha: "52bc47ddfb28159dc67f2d933bb552c8d72cda9c"
7
package-selector: "sigil-stdlib"
−8
version: "0.17.13")
+8
version: "0.17.14")
9
(package name: "sigil-test"
10
url: "codeberg:sigil/sigil"
11
ref: "^0.17"
−12
sha: "8b3e7f90795b569a5ac3011c5a46311989230648"
+12
sha: "52bc47ddfb28159dc67f2d933bb552c8d72cda9c"
13
package-selector: "sigil-test"
−14
version: "0.17.13")
+14
version: "0.17.14")
15
(package name: "sigil-test-runner"
16
url: "codeberg:sigil/sigil"
17
ref: "^0.17"
−18
sha: "8b3e7f90795b569a5ac3011c5a46311989230648"
+18
sha: "52bc47ddfb28159dc67f2d933bb552c8d72cda9c"
19
package-selector: "sigil-test-runner"
−20
version: "0.17.13")
+20
version: "0.17.14")
21
(package name: "sigil-ansi"
22
url: "codeberg:sigil/sigil-ansi"
23
ref: "^0.16.0"
src/sigil/system/proof.sglmodified
@@ -4,9 +4,8 @@
4
;;; PTY session, run a command, stream its output, resize the pty, and
5
;;; reap the child cleanly.
6
;;;
−7
;;; Run with the DEV sigil built from the patched monorepo (package.sgl
−8
;;; sets this module as the entry point):
−9
;;; sigil run --redirects dev-redirects.sgl
+7
;;; Run it (package.sgl sets this module as the entry point):
+8
;;; sigil run
9
;;;
10
;;; The same open/stream/resize/reap flow is also exercised, assertion
11
;;; by assertion, in test/test-system.sgl ("pty session" group).
test/test-system.sglmodified
@@ -7,6 +7,7 @@
7
(sigil core)
8
(sigil io)
9
(sigil fs)
+10
(sigil path)
11
(sigil string)
12
(sigil async)
13
(sigil channels)