## Running analysis for "symbolic" version "0.0.4" STARTED: 2026-06-02T00:51:50.514638Z ### Starting processing 2026-06-02 00:51:50.537504 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner dart pub unpack symbolic:0.0.4 --output /tmp/pana-symbolicMOAPTW/symbolic --no-resolve`... 2026-06-02 00:51:51.155549 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner /home/worker/dart/stable/bin/dart --version`... 2026-06-02 00:51:51.282535 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner git rev-parse --show-toplevel`... 2026-06-02 00:51:51.492093 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner /home/worker/dart/stable/bin/dart pub get --no-example`... 2026-06-02 00:51:51.758854 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner /home/worker/dart/stable/bin/dart pub outdated --json --up-to-date --no-dev-dependencies --no-dependency-overrides`... 2026-06-02 00:51:52.026916 INFO: Analyzing package... 2026-06-02 00:51:52.030067 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner /home/worker/dart/stable/bin/dart analyze --format machine .`... 2026-06-02 00:51:57.190661 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner git init`... 2026-06-02 00:51:57.409247 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner git remote add origin https://github.com/Sub6Resources/symbolic`... 2026-06-02 00:51:57.621618 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner git remote show origin`... 2026-06-02 00:51:58.227246 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner git fetch --depth 1 --no-recurse-submodules origin main`... 2026-06-02 00:51:58.993322 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner git ls-tree -r -z --name-only --full-tree origin/main`... 2026-06-02 00:51:59.215489 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner git show origin/main:pubspec.yaml`... 2026-06-02 00:52:00.650136 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner /home/worker/dart/stable/bin/dart pub get --no-example`... 2026-06-02 00:52:00.921988 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner /home/worker/dart/stable/bin/dart format --output=none --set-exit-if-changed /tmp/pana_YPQNQS/.`... 2026-06-02 00:52:01.108846 INFO: Analyzing pub downgrade... 2026-06-02 00:52:01.110915 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner /home/worker/dart/stable/bin/dart pub downgrade --no-example`... 2026-06-02 00:52:01.366824 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner /home/worker/dart/stable/bin/dart analyze --format machine .`... 2026-06-02 00:52:03.510256 INFO: [pub-downgrade-success] 2026-06-02 00:52:03.511746 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner /home/worker/dart/stable/bin/dart pub upgrade --no-example`... 2026-06-02 00:52:03.771004 INFO: Running `/home/worker/pub-dev/pkg/pub_worker/build/sandbox_runner /home/worker/dartdoc/build/dartdoc --resources-dir /home/worker/dartdoc/lib/resources --output /tmp/pana-symbolicMOAPTW/raw-dartdoc --sanitize-html --max-file-count 10000000 --max-total-size 2147483648 --no-validate-links --sdk-dir /home/worker/dart/stable`... 2026-06-02 00:52:16.843015 INFO: `dartdoc` completed: 2026-06-02 00:52:16.843015 INFO: Documenting symbolic... 2026-06-02 00:52:16.843015 INFO: Discovering libraries... 2026-06-02 00:52:16.843015 INFO: Linking elements... 2026-06-02 00:52:16.843015 INFO: Precaching local docs for 138466 elements... 2026-06-02 00:52:16.843015 INFO: Initialized dartdoc with 60 libraries 2026-06-02 00:52:16.843015 INFO: Generating docs for library symbolic.dart from package:symbolic/symbolic.dart... 2026-06-02 00:52:16.843015 INFO: Generating docs for library core/assumptions.dart from package:symbolic/core/assumptions.dart... 2026-06-02 00:52:16.843015 INFO: Generating docs for library core/logic.dart from package:symbolic/core/logic.dart... 2026-06-02 00:52:16.843015 INFO: Generating docs for library core/expr.dart from package:symbolic/core/expr.dart... 2026-06-02 00:52:16.843015 INFO: Generating docs for library core/basic.dart from package:symbolic/core/basic.dart... 2026-06-02 00:52:16.843015 INFO: Generating docs for library core/facts.dart from package:symbolic/core/facts.dart... 2026-06-02 00:52:16.843015 INFO: Generating docs for library core/symbol.dart from package:symbolic/core/symbol.dart... 2026-06-02 00:52:16.843015 INFO: Generating docs for library core/assumptions_generated.dart from package:symbolic/core/assumptions_generated.dart... 2026-06-02 00:52:16.843015 INFO: Generating docs for library core/atom.dart from package:symbolic/core/atom.dart... 2026-06-02 00:52:16.843015 INFO: Generating docs for library utils/list_equals.dart from package:symbolic/utils/list_equals.dart... 2026-06-02 00:52:16.843015 INFO: Generating docs for library utils/default_map.dart from package:symbolic/utils/default_map.dart... 2026-06-02 00:52:16.843015 INFO: Documented 11 public libraries in 12.8 seconds 2026-06-02 00:52:16.843015 INFO: Success! Docs generated into /tmp/pana-symbolicMOAPTW/raw-dartdoc 2026-06-02 00:52:16.843015 INFO: warning: unresolved doc reference [deduceAllFacts] 2026-06-02 00:52:16.843015 INFO: from facts.FactRules: (file:///tmp/pana_YPQNQS/lib/core/facts.dart:402:7) 2026-06-02 00:52:16.843015 INFO: warning: unresolved doc reference [b, !c, d] 2026-06-02 00:52:16.843015 INFO: from facts.applyBetaToAlphaRoute: (file:///tmp/pana_YPQNQS/lib/core/facts.dart:111:37) 2026-06-02 00:52:16.843015 INFO: warning: unresolved doc reference [b, !c, d, e] 2026-06-02 00:52:16.843015 INFO: from facts.applyBetaToAlphaRoute: (file:///tmp/pana_YPQNQS/lib/core/facts.dart:111:37) 2026-06-02 00:52:16.843015 INFO: warning: unresolved doc reference [b, c, ...] 2026-06-02 00:52:16.843015 INFO: from facts.deduceAlphaImplications: (file:///tmp/pana_YPQNQS/lib/core/facts.dart:62:31) 2026-06-02 00:52:16.843015 INFO: warning: unresolved doc reference [b, c, ...] 2026-06-02 00:52:16.843015 INFO: from facts.rules2Prereq: (file:///tmp/pana_YPQNQS/lib/core/facts.dart:209:31) 2026-06-02 00:52:16.843015 INFO: warning: unresolved doc reference [a, b, ...] 2026-06-02 00:52:16.843015 INFO: from facts.rules2Prereq: (file:///tmp/pana_YPQNQS/lib/core/facts.dart:209:31) 2026-06-02 00:52:16.843015 INFO: Found 6 warnings and 0 errors. 2026-06-02 00:52:16.851027 INFO: Writing summary.json 2026-06-02 00:52:16.851686 INFO: Running dartdoc post-processing 2026-06-02 00:52:16.852358 INFO: Creating .tar.gz archive 2026-06-02 00:52:17.001731 INFO: Finished .tar.gz archive 2026-06-02 00:52:17.378376 INFO: Finished post-processing ### Execution of process exited 0 STOPPED: 2026-06-02T00:52:17.404167Z