The time is now Sat, 31 Jan 2026 10:25:05 -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 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto spindle) Resolved "spindle" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "hugo@anuna.io") (checksum . "452965eb23bd81fb561267d8b63d4bed945b487e") (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/archive/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") "452965eb23bd81fb561267d8b63d4bed945b487e" #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:25:18] raco setup: updating: /home/root/user/.local/share/racket/9.1.0.3/share/info-cache.rktd raco setup: --- pre-installing collections --- [16:25:18] raco setup: --- installing foreign libraries --- [16:25:18] raco setup: --- installing shared files --- [16:25:18] raco setup: --- compiling collections --- [16:25:18] 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:26:44] raco setup: --- installing man pages --- [16:26:44] raco setup: --- building documentation --- [16:26:44] 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: running: /spindle/scribblings/spindle.scrbl WARNING: collected information for key multiple times: '(index-entry (mod-path "spindle")); values: (list '("spindle") (list (link-element (style "RktModLink" (list 'tt-chars (css-addition '(collects #"scribble" #"racket.css")) (tex-addition '(collects #"scribble" #"racket.tex")))) (cached-element (style "RktSym" (list 'tt-chars (css-addition '(collec... (list '("spindle") (list (link-element (style "RktModLink" (list 'tt-chars (css-addition '(collects #"scribble" #"racket.css")) (tex-addition '(collects #"scribble" #"racket.tex")))) (cached-element (style "RktSym" (list 'tt-chars (css-addition '(collec... WARNING: collected information for key multiple times: '(mod-path "spindle"); values: (vector '("Spindle: Defeasible Logic Reasoning") '(mod-path "spindle") '() (list (mobile-root #) #"index.html") #t) (vector '("Core API Reference") '(mod-path "spindle") '(3) (list (mobile-root #) #"core-api.html") #t) raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: WARNING: undefined tag in /spindle/scribblings/spindle.scrbl: raco setup: ((lib "spindle/main.rkt") annotations-confidence) raco setup: ((lib "spindle/main.rkt") annotations-description) raco setup: ((lib "spindle/main.rkt") annotations-ref) raco setup: ((lib "spindle/main.rkt") annotations-source) raco setup: ((lib "spindle/main.rkt") annotations?) raco setup: ((lib "spindle/main.rkt") build-theory-index) raco setup: ((lib "spindle/main.rkt") clear-memoization-cache!) raco setup: ((lib "spindle/main.rkt") explained-conclusion-explanation) raco setup: ((lib "spindle/main.rkt") explanation->dot) raco setup: ((lib "spindle/main.rkt") explanation->json-string) raco setup: ((lib "spindle/main.rkt") explanation->jsonld) raco setup: ((lib "spindle/main.rkt") explanation->natural-language) raco setup: ((lib "spindle/main.rkt") explanation->provenance) raco setup: ((lib "spindle/main.rkt") explanation-conclusion-type) raco setup: ((lib "spindle/main.rkt") explanation-literal) raco setup: ((lib "spindle/main.rkt") explanation-proof-tree) raco setup: ((lib "spindle/main.rkt") explanation?) raco setup: ((lib "spindle/main.rkt") proof-node-derivation-type) raco setup: ((lib "spindle/main.rkt") proof-node-literal) raco setup: ((lib "spindle/main.rkt") proof-node-proof-step) raco setup: ((lib "spindle/main.rkt") proof-node?) raco setup: ((lib "spindle/main.rkt") proof-step-body-proofs) raco setup: ((lib "spindle/main.rkt") proof-step-rule-label) raco setup: ((lib "spindle/main.rkt") proof-step-rule-type) raco setup: ((lib "spindle/main.rkt") proof-step?) raco setup: ((lib "spindle/main.rkt") superiority?) 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: /spindle/scribblings/spindle.scrbl WARNING: collected information for key multiple times: '(index-entry (mod-path "spindle")); values: (list '("spindle") (list (link-element (style "RktModLink" (list 'tt-chars (css-addition '(collects #"scribble" #"racket.css")) (tex-addition '(collects #"scribble" #"racket.tex")))) (cached-element (style "RktSym" (list 'tt-chars (css-addition '(collec... (list '("spindle") (list (link-element (style "RktModLink" (list 'tt-chars (css-addition '(collects #"scribble" #"racket.css")) (tex-addition '(collects #"scribble" #"racket.tex")))) (cached-element (style "RktSym" (list 'tt-chars (css-addition '(collec... WARNING: collected information for key multiple times: '(mod-path "spindle"); values: (vector '("Spindle: Defeasible Logic Reasoning") '(mod-path "spindle") '() (list (mobile-root #) #"index.html") #t) (vector '("Core API Reference") '(mod-path "spindle") '(3) (list (mobile-root #) #"core-api.html") #t) raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [16:26:59] raco setup: --- post-installing collections --- [16:26:59] GC: 0:atexit peak 258,936K(+112,951K); alloc 24,484,062K; major 30; minor 2962; 31547ms The time is now Sat, 31 Jan 2026 10:27:00 -0600