The time is now Sat, 31 Jan 2026 10:27:28 -0600 (/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: PLTSTDOUT=debug@pkg info@GC:major /usr/bin/xvfb-run --auto-servernum /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto spindle && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --drdr --package spindle) Resolved "spindle" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "hugo@anuna.io") (checksum . "1adee3c47ba24f48e93c162edb301fee05b3ac62") (dependencies . (("base") ("parser-tools") ("rackunit-lib") ("racket-doc") ("scribble-lib"))) (description . "A complete Racket port of SPINdle (v2.2.4), a defeasible logic reasoning system for non-monotonic reasoning where conclusions can be defeated by stronger evidence or superior rules.") (modules . ((lib "spindle/scribblings/reference/dfl.scrbl") (lib "spindle/src/spindle.rkt") (lib "spindle/tests/mining-tests.rkt") (lib "spindle/tests/lang/test-spl-integration.rkt") (lib "spindle/src/query/cli/diff.rkt") (lib "spindle/demo.rkt") (lib "spindle/tests/spl-temporal-allen-tests.rkt") (lib "spindle/scribblings/advanced.scrbl") (lib "spindle/tests/performance-test.rkt") (lib "spindle/tests/moment-temporal-tests.rkt") (lib "spindle/lang/reader.rkt") (lib "spindle/scribblings/guide.scrbl") (lib "spindle/src/parser/lexer.rkt") (lib "spindle/src/grounding.rkt") (lib "spindle/src/query/what-if.rkt") (lib "spindle/src/query/cli/main.rkt") (lib "spindle/expander.rkt") (lib "spindle/src/mining/dfl-convert.rkt") (lib "spindle/tests/query/abduction-test.rkt") (lib "spindle/src/query/explain.rkt") (lib "spindle/tests/run-tests.rkt") (lib "spindle/src/query/metadata.rkt") (lib "spindle/src/parser/ast.rkt") (lib "spindle/src/trust/source.rkt") (lib "spindle/examples/run-penguin.rkt") (lib "spindle/tests/query/cli-test.rkt") (lib "spindle/src/query/validate.rkt") (lib "spindle/src/trust/staging.rkt") (lib "spindle/src/mining/result.rkt") (lib "spindle/tests/query/trust-eval-test.rkt") (lib "spindle/scribblings/reference/explanation.scrbl") (lib "spindle/src/trust.rkt") (lib "spindle/main.rkt") (lib "spindle/scribblings/examples.scrbl") (lib "spindle/src/lang/spl-lexer.rkt") (lib "spindle/tests/spindle-tests.rkt") (lib "spindle/tests/source-identity-tests.rkt") (lib "spindle/src/query/structs.rkt") (lib "spindle/src/trust/policy.rkt") (lib "spindle/src/mining/event-log.rkt") (lib "spindle/examples/trust-demo-simple.rkt") (lib "spindle/tests/query/integration-test.rkt") (lib "spindle/tests/trust-reason-tests.rkt") (lib "spindle/src/parser/main.rkt") (lib "spindle/scribblings/reference/core.scrbl") (lib "spindle/src/mining/conflicts.rkt") (lib "spindle/src/moment.rkt") (lib "spindle/tests/query/query-test.rkt") (lib "spindle/src/lang/keywords.rkt") (lib "spindle/src/query/query.rkt") (lib "spindle/src/temporal.rkt") (lib "spindle/src/lang/main.rkt") (lib "spindle/scribblings/spindle.scrbl") (lib "spindle/src/trust/reason.rkt") (lib "spindle/src/unified.rkt") (lib "spindle/tests/query/validate-test.rkt") (lib "spindle/examples/unified-demo.rkt") (lib "spindle/src/query/cli/export.rkt") (lib "spindle/tests/import-tests.rkt") (lib "spindle/mining.rkt") (lib "spindle/src/lang/spl-parser.rkt") (lib "spindle/src/trust/structs.rkt") (lib "spindle/src/query/cli/watch.rkt") (lib "spindle/tests/lang/test-lang-spindle.rkt") (lib "spindle/src/mining/alpha.rkt") (lib "spindle/tests/explanation-tests.rkt") (lib "spindle/scribblings/reference/query.scrbl") (lib "spindle/tests/test-format-equivalence.rkt") (lib "spindle/scribblings/reference/spl.scrbl") (lib "spindle/src/mining/main.rkt") (lib "spindle/specs/explanation-poc.rkt") (lib "spindle/scribblings/reference/mining.scrbl") (lib "spindle/src/parser/parser.rkt") (lib "spindle/src/mining/footprint.rkt") (lib "spindle/src/explanation.rkt") (lib "spindle/tests/temporal-allen-tests.rkt") (lib "spindle/examples/trust-reasoning-demo.rkt") (lib "spindle/src/query/why-not.rkt") (lib "spindle/src/query/repl.rkt") (lib "spindle/tests/query/structs-test.rkt") (lib "spindle/src/query/abduction.rkt"))) (name . "spindle") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/spindle.zip") (tags . ("dsl" "logic"))) pkg: creating single-collection link to # pkg: updating db with "spindle" to '#s((sc-pkg-info pkg-info 3) (catalog "spindle") "1adee3c47ba24f48e93c162edb301fee05b3ac62" #f "spindle") raco setup: version: 9.1.0.3 raco setup: platform: aarch64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 9.1.0.3 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/9.1.0.3/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/9.1.0.3/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/9.1.0.3/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [16:27:34] raco setup: updating: /home/root/user/.local/share/racket/9.1.0.3/share/info-cache.rktd raco setup: --- pre-installing collections --- [16:27:34] raco setup: --- installing foreign libraries --- [16:27:34] raco setup: --- installing shared files --- [16:27:34] raco setup: --- compiling collections --- [16:27:35] raco setup: making: /spindle raco setup: in /spindle raco setup: in /spindle/src raco setup: in /spindle/src/parser raco setup: in /spindle/src/lang raco setup: in /spindle/src/trust raco setup: in /spindle/src/mining raco setup: in /spindle/scribblings raco setup: in /spindle/scribblings/reference raco setup: making: /spindle/docs raco setup: making: /spindle/examples raco setup: in /spindle/examples raco setup: in /spindle/lang raco setup: in /spindle/src raco setup: in /spindle/src/trust raco setup: making: /spindle/lang raco setup: making: /spindle/scribblings raco setup: making: /spindle/scribblings/reference raco setup: making: /spindle/src raco setup: making: /spindle/src/lang raco setup: making: /spindle/src/mining raco setup: in /spindle/src/mining raco setup: making: /spindle/src/parser raco setup: making: /spindle/src/query raco setup: in /spindle/src/query raco setup: making: /spindle/src/query/cli raco setup: in /spindle/src/query/cli raco setup: making: /spindle/src/trust raco setup: in /spindle/src/trust raco setup: making: /spindle/tests raco setup: in /spindle/tests raco setup: making: /spindle/tests/lang raco setup: in /spindle/tests/lang raco setup: making: /spindle/tests/query raco setup: in /spindle/tests/query raco setup: making: /spindle/tests/theories raco setup: --- creating launchers --- [16:27:58] raco setup: --- installing man pages --- [16:27:58] raco setup: --- building documentation --- [16:27:58] raco setup: running: /racket-index/scribblings/main/user/family.scrbl raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: syncing: /spindle/doc/spindle raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: rendering: /racket-index/scribblings/main/user/family.scrbl raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [16:28:18] raco setup: --- post-installing collections --- [16:28:18] GC: 0:atexit peak 163,879K(+65,400K); alloc 11,040,426K; major 26; minor 1330; 10498ms raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/demo.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/examples/run-penguin.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/examples/trust-demo-simple.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/examples/trust-reasoning-demo.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/examples/unified-demo.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/expander.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/info.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/lang/reader.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/main.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/mining.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/scribblings/advanced.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/scribblings/examples.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/scribblings/guide.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/scribblings/reference/core.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/scribblings/reference/dfl.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/scribblings/reference/explanation.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/scribblings/reference/mining.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/scribblings/reference/query.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/scribblings/reference/spl.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/scribblings/spindle.scrbl") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/explanation.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/grounding.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/lang/keywords.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/lang/main.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/lang/spl-lexer.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/lang/spl-parser.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/mining/alpha.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/mining/conflicts.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/mining/dfl-convert.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/mining/event-log.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/mining/footprint.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/mining/main.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/mining/result.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/moment.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/parser/ast.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/parser/lexer.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/parser/main.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/parser/parser.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/abduction.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/cli/diff.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/cli/export.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/cli/main.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/cli/watch.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/explain.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/metadata.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/query.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/repl.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/structs.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/validate.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/what-if.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/query/why-not.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/spindle.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/temporal.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/trust/policy.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/trust/reason.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/trust/source.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/trust/staging.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/trust/structs.rkt") raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/trust.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/src/unified.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/explanation-tests.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/import-tests.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/lang/test-lang-spindle.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/lang/test-spl-integration.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/mining-tests.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/moment-temporal-tests.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/performance-test.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/query/abduction-test.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/query/cli-test.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/query/integration-test.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/query/query-test.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/query/structs-test.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/query/trust-eval-test.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/query/validate-test.rkt") test) raco test: (file "/home/root//user/.local/share/racket/9.1.0.3/pkgs/spindle/tests/run-tests.rkt") run-tests.rkt: racket test: #<