{
  "repository": "logseq/logseq",
  "ref": "25b5ecf9cceb0f0939925f63d0a834b159bc8766",
  "methods": [
    {
      "slug": "formal",
      "title": "Formal verification and model checking"
    },
    {
      "slug": "static_analysis",
      "title": "Static analysis"
    },
    {
      "slug": "testing",
      "title": "Testing"
    },
    {
      "slug": "formatting",
      "title": "Formatting and hygiene"
    },
    {
      "slug": "supply_chain",
      "title": "Supply chain"
    },
    {
      "slug": "unclassified",
      "title": "Unclassified"
    }
  ],
  "verifications": [
    {
      "tool": "tsc",
      "method": "static_analysis",
      "commands": [
        "tsc"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "libs/package.json",
          "locator": "scripts.build"
        },
        {
          "path": "libs/package.json",
          "locator": "devDependencies: typescript"
        },
        {
          "path": "package.json",
          "locator": "devDependencies: typescript"
        }
      ],
      "upstream": "https://github.com/microsoft/TypeScript",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-test",
      "method": "testing",
      "commands": [
        "cargo test --locked"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/update-i18n-lint.yml",
          "locator": "jobs.test.steps[3] (Run tests)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "node-test",
      "method": "testing",
      "commands": [
        "node --test scripts/cli-concurrent-edit-stress.test.mjs",
        "node --test scripts/cli-sync-stress-workflow.test.mjs"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/cli-sync-stress.yml",
          "locator": "jobs.cli-sync-stress.steps[12] (Verify stress tests)"
        }
      ],
      "upstream": "https://github.com/nodejs/node",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "playwright",
      "method": "testing",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "package.json",
          "locator": "devDependencies: @playwright/test"
        }
      ],
      "upstream": "https://github.com/microsoft/playwright",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    },
    {
      "tool": "prettier",
      "method": "formatting",
      "commands": [
        "prettier --check src/**/*.{ts, js}",
        "prettier --write src/**/*.{ts, js}"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "libs/package.json",
          "locator": "scripts.lint"
        },
        {
          "path": "libs/package.json",
          "locator": "scripts.fix"
        },
        {
          "path": "libs/package.json",
          "locator": "devDependencies: prettier"
        },
        {
          "path": ".prettierrc.js",
          "locator": "config file"
        },
        {
          "path": "libs/.prettierrc.js",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/prettier/prettier",
      "docs": "https://prettier.io/docs/cli#exit-codes",
      "exit_codes": {
        "0": "everything formatted",
        "1": "something was not formatted (--check)",
        "2": "prettier error"
      },
      "autofix": true,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bb dev:cli-e2e"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.cli:e2e"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bb dev:cli-e2e --skip-build"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.cli:e2e:skip-build"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bb lang:lint-hardcoded"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.lint.steps[8] (Lint hardcoded user-facing strings)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bb lint:carve"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.lint.steps[4] (Carve lint for unused vars)"
        },
        {
          "path": ".github/workflows/deps-common.yml",
          "locator": "jobs.lint.steps[4] (Carve lint for unused vars)"
        },
        {
          "path": ".github/workflows/deps-db-sync.yml",
          "locator": "jobs.lint.steps[4] (Carve lint for unused vars)"
        },
        {
          "path": ".github/workflows/deps-db.yml",
          "locator": "jobs.lint.steps[4] (Carve lint for unused vars)"
        },
        {
          "path": ".github/workflows/deps-graph-parser.yml",
          "locator": "jobs.lint.steps[4] (Carve lint for unused vars)"
        },
        {
          "path": ".github/workflows/deps-outliner.yml",
          "locator": "jobs.lint.steps[4] (Carve lint for unused vars)"
        },
        {
          "path": ".github/workflows/deps-publish.yml",
          "locator": "jobs.lint.steps[4] (Carve lint for unused vars)"
        },
        {
          "path": ".github/workflows/deps-publishing.yml",
          "locator": "jobs.lint.steps[4] (Carve lint for unused vars)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bb lint:large-vars"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.lint.steps[5] (Lint for vars that are too large)"
        },
        {
          "path": ".github/workflows/deps-common.yml",
          "locator": "jobs.lint.steps[5] (Lint for vars that are too large)"
        },
        {
          "path": ".github/workflows/deps-db-sync.yml",
          "locator": "jobs.lint.steps[5] (Lint for vars that are too large)"
        },
        {
          "path": ".github/workflows/deps-db.yml",
          "locator": "jobs.lint.steps[5] (Lint for vars that are too large)"
        },
        {
          "path": ".github/workflows/deps-graph-parser.yml",
          "locator": "jobs.lint.steps[5] (Lint for vars that are too large)"
        },
        {
          "path": ".github/workflows/deps-outliner.yml",
          "locator": "jobs.lint.steps[5] (Lint for vars that are too large)"
        },
        {
          "path": ".github/workflows/deps-publish.yml",
          "locator": "jobs.lint.steps[5] (Lint for vars that are too large)"
        },
        {
          "path": ".github/workflows/deps-publishing.yml",
          "locator": "jobs.lint.steps[5] (Lint for vars that are too large)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bb lint:minimize-public-vars"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/deps-outliner.yml",
          "locator": "jobs.lint.steps[7] (Lint for public vars that are private based on usage)"
        },
        {
          "path": ".github/workflows/deps-publishing.yml",
          "locator": "jobs.lint.steps[7] (Lint for public vars that are private based on usage)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bb lint:ns-docstrings"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.lint.steps[6] (Lint for namespaces that aren't documented)"
        },
        {
          "path": ".github/workflows/deps-common.yml",
          "locator": "jobs.lint.steps[6] (Lint for namespaces that aren't documented)"
        },
        {
          "path": ".github/workflows/deps-db.yml",
          "locator": "jobs.lint.steps[7] (Lint for namespaces that aren't documented)"
        },
        {
          "path": ".github/workflows/deps-graph-parser.yml",
          "locator": "jobs.lint.steps[6] (Lint for namespaces that aren't documented)"
        },
        {
          "path": ".github/workflows/deps-outliner.yml",
          "locator": "jobs.lint.steps[6] (Lint for namespaces that aren't documented)"
        },
        {
          "path": ".github/workflows/deps-publish.yml",
          "locator": "jobs.lint.steps[6] (Lint for namespaces that aren't documented)"
        },
        {
          "path": ".github/workflows/deps-publishing.yml",
          "locator": "jobs.lint.steps[6] (Lint for namespaces that aren't documented)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bb lint:rules"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/deps-db.yml",
          "locator": "jobs.lint.steps[6] (Lint datalog rules)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bb lint:worker-and-frontend-separate"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.lint.steps[9] (Lint to keep worker independent of frontend)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "bb test:load-all-namespaces-with-nbb ."
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/deps-common.yml",
          "locator": "jobs.test.steps[7] (Load namespaces into nbb-logseq)"
        },
        {
          "path": ".github/workflows/deps-db.yml",
          "locator": "jobs.test.steps[7] (Load namespaces into nbb-logseq)"
        },
        {
          "path": ".github/workflows/deps-graph-parser.yml",
          "locator": "jobs.test.steps[9] (Load namespaces into nbb-logseq)"
        },
        {
          "path": ".github/workflows/deps-outliner.yml",
          "locator": "jobs.test.steps[7] (Load namespaces into nbb-logseq)"
        },
        {
          "path": ".github/workflows/deps-publishing.yml",
          "locator": "jobs.test.steps[7] (Load namespaces into nbb-logseq)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "clojure -A:test -P"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/deps-common.yml",
          "locator": "jobs.test.steps[9] (Fetch Clojure deps)"
        },
        {
          "path": ".github/workflows/deps-graph-parser.yml",
          "locator": "jobs.test.steps[6] (Fetch Clojure deps)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "clojure -M:clj-kondo --lint src test"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/deps-common.yml",
          "locator": "jobs.lint.steps[3] (Run clj-kondo lint)"
        },
        {
          "path": ".github/workflows/deps-db-sync.yml",
          "locator": "jobs.lint.steps[3] (Run clj-kondo lint)"
        },
        {
          "path": ".github/workflows/deps-db.yml",
          "locator": "jobs.lint.steps[3] (Run clj-kondo lint)"
        },
        {
          "path": ".github/workflows/deps-outliner.yml",
          "locator": "jobs.lint.steps[3] (Run clj-kondo lint)"
        },
        {
          "path": ".github/workflows/deps-publish.yml",
          "locator": "jobs.lint.steps[3] (Run clj-kondo lint)"
        },
        {
          "path": ".github/workflows/deps-publishing.yml",
          "locator": "jobs.lint.steps[3] (Run clj-kondo lint)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "clojure -M:clj-kondo --parallel --lint src --cache false"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.cljs:lint"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "clojure -M:test"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/deps-common.yml",
          "locator": "jobs.test.steps[10] (Run ClojureScript tests)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "clojure -M:test compile db-worker-node test"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.test.steps[8] (Build test asset)"
        },
        {
          "path": "package.json",
          "locator": "scripts.cljs:test"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "clojure -M:test compile test-no-worker"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.cljs:test-no-worker"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "clojure -P -M:test"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/clj-e2e.yml",
          "locator": "jobs.build.steps[6] (Fetch Clojure deps)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "cross-env LOGSEQ_STABLE_IDENTS=1 bb dev:run-test-namespaces -r ^(?!logseq.db-sync.).* -e fix-me"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.test.steps[9] (Run ClojureScript query tests against basic query type)"
        },
        {
          "path": "package.json",
          "locator": "scripts.cljs:run-test"
        },
        {
          "path": ".github/workflows/build.yml",
          "locator": "jobs.test.steps[10] (Run ClojureScript tests)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "electron --inspect=9229 ."
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "resources/package.json",
          "locator": "scripts.electron:debug"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "nbb-logseq -cp test -m logseq.tasks.test-runner"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "scripts/package.json",
          "locator": "scripts.test"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "node ./scripts/check-ios-web-fonts.mjs"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/build-ios-release.yml",
          "locator": "jobs.build-app.steps[14] (Verify iOS web fonts)"
        },
        {
          "path": "package.json",
          "locator": "scripts.test:ios-web-fonts"
        },
        {
          "path": "package.json",
          "locator": "scripts.sync-ios-release"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "node scripts/test-cli-release-config.mjs"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/deps-cli.yml",
          "locator": "jobs.test.steps[11] (Verify CLI publish config)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "node static/tests-no-worker.js"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.cljs:run-test-no-worker"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "opam exec -- dune runtest"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "cli/package.json",
          "locator": "scripts.test"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "run-s cljs:test cljs:run-test"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/deps-common.yml",
          "locator": "jobs.test.steps[6] (Run nbb-logseq tests)"
        },
        {
          "path": "package.json",
          "locator": "scripts.test"
        },
        {
          "path": ".github/workflows/deps-db.yml",
          "locator": "jobs.test.steps[6] (Run nbb-logseq tests)"
        },
        {
          "path": ".github/workflows/deps-graph-parser.yml",
          "locator": "jobs.test.steps[8] (Run nbb-logseq tests)"
        },
        {
          "path": ".github/workflows/deps-outliner.yml",
          "locator": "jobs.test.steps[6] (Run nbb-logseq tests)"
        },
        {
          "path": ".github/workflows/deps-publish.yml",
          "locator": "jobs.test.steps[6] (Run publish unit tests)"
        },
        {
          "path": ".github/workflows/deps-publishing.yml",
          "locator": "jobs.test.steps[6] (Run nbb-logseq tests)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "stylelint src/**/*.css"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "package.json",
          "locator": "scripts.style:lint"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "typedoc --json docs/out.json ./src/LSPlugin.user.ts"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "libs/package.json",
          "locator": "scripts.build:docs:json"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "typedoc src/LSPlugin.user.ts"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "libs/package.json",
          "locator": "scripts.build:docs"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}