Public report β couchdb, published 5 Aug 2026.
Concrete security findings (CVE IDs, secret matches, dependency versions) are hidden in this version;
ask the repo owner for the full report.
171findings with an exact file:lineof 182 β the remainder are repo-wide signals (a dimension-level measurement, not a single line); open any file:line and verify
31/106dimensions across the health lenses131491 LoC β wide & deep
Executive summary
Read through the Production lens β the standard calibration. *Green* means good enough to run in production. The score is absolute and comparable across repos.
apache/couchdb carries serious gaps (49%). Several issues below can materially affect correctness, security, or the cost of changing it β and propagate to everything that depends on it.
It is strongest in Event Sourcing (100%) β its event log is trustworthy to replay. Architecture (100%) is solid too.
The area that most needs attention is Readiness (38%) β releases are harder to depend on β versioning, release notes and dependency hygiene are thin, so consumers can't easily tell what changed or trust an upgrade. Code Health (49%) is the next concern β changes there are slower and more error-prone.
Leadership focus, highest impact first: Run what this repository's stack ships (Security & performance tooling); tests that import the unreached modules (directly or through⦠(Test Coverage); Nothing pauses a release for a human (Deployment & Rollback).
For scale: Large (~131,491 production lines); rebuilding it from scratch would take roughly ~1.3 person-years (~1β3 engineers). Approximate, ±~30%.
It builds on a genuinely strong Event Sourcing foundation (100%); the priorities above are the highest-leverage way to bring the rest up to that level.
How the score is built β each lens's share of the headlineWidth is the lens's weight in the worst-heaviest fold (the weakest area pulls hardest); colour is that lens's own band. A lens fixes the score in proportion to its width.
0.7Γ (at 49% quality) β the last 20% of quality is most of the work
Size & shape
Large Β· effort split not classified (source measured from disk; the effort-tier breakdown is a C#-only syntax walk)
This codebase represents roughly ~1.3 person-years of build effort (about ~β¬190,000 to rebuild). Its weakest lens is Readiness at 38% β the part of that asset most exposed by the findings below.
How we model this: boilerplate at a scaffolding rate + logic × domain Standard (×1.0) β standard service × a 0.7× quality factor, at β¬60β95/h; indicative, ±~30% · size measured directly from source · effort from total production LoC as straight-line logic (the tier split is a C#-only syntax walk), a conservative lower bound. Indicative only β most sensitive to the hourly rate and the domain tier (both tunable in config).
Top priorities
The highest-leverage moves; the full ranked list is in the Roadmap below.
1
Run what this repository's stack ships: dialyzer or elvis β or `semgrep --config=auto`, which runs on any language β β locally for now, since there is no CI pipeline here yet, and as a step of the first workflow you add so a security regression fails the build instead of landing.
Nothing pauses a release for a human: publish as a draft release (or gate the release job on a protected tag/manual dispatch) so a bad build can be stopped before users can download it.
Value concentrated against a weak lens Β· High Β· Value at risk
This is a Large asset (~1.3 person-years to rebuild), and its weakest lens is Readiness at 38%. The operational and business risk on an asset this size concentrates there β that's where remediation buys the most protection.
β Direct remediation budget at Readiness first β highest risk-reduction per euro on an asset this size.
Highest-leverage move Β· Medium Β· Leverage
Of everything flagged, the best return on effort is: Run what this repository's stack ships: dialyzer or elvis β or `semgrep --config=auto`, which runs on any language β β locally for now, since there is no CI pipeline here yet, and as a step of the first workflow you add so a security regression fails the build instead of landing. The rest can wait behind it.
Evidence: priority ranking: top of 5 ranked by impact/effort
β Run what this repository's stack ships: dialyzer or elvis β or `semgrep --config=auto`, which runs on any language β β locally for now, since there is no CI pipeline here yet, and as a step of the first workflow you add so a security regression fails the build instead of landing.
Architecture β module dependency matrix
201 modules, 12 dependencies β every dependency points down the layering, so there are no cycles. Rows and columns are the same modules, ordered so that a module only depends on ones above it. A cell means the row depends on the column, and its number is how many type pairs create that dependency. Read one thing: is anything above the diagonal? A mark there is a dependency cycle. (A cycle is all this shows β an unusual but cycle-free dependency sits below the diagonal like any other.)
At a glance β Code Health Β· 49% Β· Weak Β· gated by R1
Findings mapped to OWASP categories; the specific CVEs/secrets are in the Security dimension cards below and findings.md (redacted only on the public version of this report).
OWASP category
Findings
Severity
A02:2021 β Cryptographic Failures
35
High / Critical
A03:2021 β Injection
13
High / Critical
A06:2021 β Vulnerable & Outdated Components
1
Medium
Roadmap
First, integrate security and performance tooling, such as semgrep, to fail the build on regressions. Next, establish a safe release process by gating deployments behind manual approval to prevent bad builds from reaching users. Then, introduce TypeScript type checking to the frontend build and add tests for all production modules to ensure coverage. Finally, reduce cyclomatic complexity in high-traffic functions to improve maintainability.
Ranked by impact Γ· effort. "Helps" is the estimated gain on the 0β100 health score.
Do this
Helps
Effort
Dimension
Run what this repository's stack ships: dialyzer or elvis β or `semgrep --config=auto`, which runs on any language β β locally for now, since there is no CI pipeline here yet, and as a step of the first workflow you add so a security regression fails the build instead of landing.
Nothing pauses a release for a human: publish as a draft release (or gate the release job on a protected tag/manual dispatch) so a bad build can be stopped before users can download it.
Adopt TypeScript for the frontend: add a typecheck step to the build, then either type-check the existing JavaScript in place (`checkJs`/JSDoc types) or convert the highest-traffic modules first β no file is typed today, so this is an adoption, not a clean-up.
Remove synchronous peer round-trips (gen_server:call / hand-rolled receive) and blocking sleeps from OTP message handlers β cast a follow-up or resolve state locally, so processes stay temporally decoupled and deadlock-free.
Per-file score 0β10 β a quality signature. Of 99 files carrying findings, judged against the Production bar: 1% slop Β· 59% mixed Β· 40% near-clean.
Watchdog is a deep, periodic assessment β run each sprint, monthly, or quarterly, taking the time to go wider and deeper than a quick check and surfacing in one coherent report what you'd otherwise piece together from a dozen separate tools. It scores deterministically: the same commit yields the same score, every run. 29 of 31 evaluated dimensions are computed purely by tools and static analysis (confidence 1.0); 2 documentation/naming judgement(s) are LLM-assisted and labelled advisory. Overall confidence is 0.5 β the weighted average across measured dimensions; it falls as more of the score leans on LLM-assisted judgement and rises when it's fully tool-backed.
Every figure here is one of three kinds, and we label which: β Measured β a deterministic fact (LoC, complexity, coverage); ~ Modeled β an estimate from a stated model (cost, effort, value-at-risk), always a range with its assumptions, never a precise fact; β Advisory β an LLM prose judgement. We never present a modelled estimate as if it were measured. Perfect or absent scores carry their provenance too (ADR-0011): β Tool-verified means the property itself was measured across the surface; β Nothing flagged means the probes came back clean β a claim bounded by what a repository can show; β Not evidenced means a working control (a tested restore, an automated rollback) showed no positive evidence β absence of evidence is not evidence of a control, so it's excluded from the score rather than awarded a spurious 10; β Sampled Β· advisory marks an LLM verdict over a bounded sample β advisory, never a deterministic measurement.
What we checked β 31 dimensions across the health lenses
Each chip is a dimension scored from real signals across architecture, testing, dependencies, security & compliance, documentation, git-history and code quality β in one coherent pass. A surface report typically covers a handful.
How to trust any code-health report β three questions
Can you open the finding? Real findings cite a repo-relative file and line you can open at the cited line β never an absolute scratch path. Here, 171 of 182 do; the remainder are repo-wide signals β a dimension-level measurement, not a single line. (Every path in this report is repo-relative by construction: paths are normalized at the producer and the report is rejected if any rooted path leaks through.)
Is there a tool behind the number? Every score below names the method that produced it β Roslyn, git, a scanner, or (for a handful of documentation/naming dimensions) an LLM labelled sampled Β· advisory β not a narrative.
Does re-running give the same result? Run it again on the same commit and the score β and this report, byte for byte β is identical. A report whose numbers move between runs is describing the run, not the code.
This report answers yes to all three. That's the bar to hold any assessment to.
Tools & methods
The actual versions used this run (captured at analysis time) β re-run on the same commit for the identical score.
Method
Backs
Version
Evaluator
Roslyn static analysis
Complexity, cohesion, coupling, dead code, API surface, layering
What ran differently this time β a tool absent, degraded, or that fell back to an estimate. Named openly, not folded silently into the scores. A degraded run also records its exact cause in diagnostics.md.
D19 Documentation Quality β LLM provider failed β The model provider returned an unusable result, so this LLM-assisted dimension fell back to a measurement gap (confidence 0) rather than a penalty. Re-run with a reachable provider to score it.
D30 Dependency Vulnerabilities β scanner not present in this environment β The backing tool was not installed where this scan ran, so this dimension was not scored. Install the tool (or run in the hosted environment, where it is always present) for a graded result.
Repo exclusion declarations (.gitattributes linguist-generated/vendored, .editorconfig generated_code): none declared β every source file was scored.
Limitations & what we did not check
Watchdog assesses the repository exactly as committed, and only the repository. By design it does not reach outside the source tree: the live cloud account, the running CI/CD pipeline, the host's branch-protection and approval rules, the production configuration, or a restore actually exercised against a backup are all out of scope. That boundary is a feature, not a gap β a repo-relative, deterministic scan re-runs identically on any commit and every finding opens at a real file and line, where a live audit can neither be reproduced nor traced. The visible consequence is that controls which leave no in-repo evidence are reported as "not evidenced" and excluded from the score rather than awarded a number a static scan cannot justify.
Per-dimension blind spots
For each dimension that was measured, what a static, repo-only scan structurally cannot see β the honest edge of the measurement, not a failure of it.
D3 God Classes: "God class" is sized by members and responsibilities visible in the type β a deliberately broad facade over a coherent subsystem can read the same as an accidental grab-bag. For front-end JS the file-length check is cohesion-aware (a single-responsibility module β one class/IIFE β earns a 3× threshold), but cohesion is approximated from top-level declarations, not true dependency structure.
D4 Code Duplication: Duplication is token-similarity (jscpd) β it finds copy-paste, not semantic duplication expressed differently. Committed machine-written code (scaffolded migrations, designer/codegen output, protobuf/OpenAPI stubs, model snapshots) is EXCLUDED β its repetition is the tool's, not the team's β so the score reflects hand-written duplication only.
D7 Architectural Integrity: Layering is checked against detected/declared rules β an architecture whose boundaries live in convention or in code review, not in a rule a scanner can read, is not enforced here.
D13 Secret Scanning: Secret detection is signature- and entropy-based on the current tree β a secret that does not match a known pattern, or one already rotated, will not be flagged (a clean scan is "nothing matched", not "no secrets exist").
D16 Bus Factor: Bus-factor is a time-decayed model of commit attribution (who has recently, repeatedly worked a file), not comprehension β pairing, review and reading-without-committing spread knowledge it can't see; bot commits and shared accounts still distort it.
D20 ADR Quality: ADR quality is an LLM read of the decision records present β it cannot know about decisions made and never recorded, and its verdict is sampled and advisory.
D21 Naming Consistency: Naming quality is an LLM judgement over a bounded sample β it assesses clarity/consistency of the names it sees, not domain-correctness, and is advisory.
D28 Secrets (history): Secret-history scanning sweeps the git log for known patterns β a secret that predates the available history, or never matched a signature, is not found (clean means "nothing matched in the history we can see").
D29 Static Analysis (SAST): SAST findings are pattern-based (semgrep) β it finds classes of bug it has rules for; logic flaws, auth/authorization gaps and issues needing runtime context are out of reach (and clean means "no rule matched").
D31 IaC & Container Security: IaC scanning checks Dockerfiles/Terraform/Kubernetes against best-practice rules β it cannot see the live cloud account, runtime configuration, or drift between the committed config and what is actually deployed.
D34 Knowledge Freshness: Freshness is decayed commit RECENCY, not comprehension β code read often but rarely committed reads as orphaned, and stable code that genuinely needs no changes is penalised the same as forgotten code; bot/squash commits distort it like the bus factor.
D35 Change Coupling: Change coupling is co-change in COMMITS β files split across separate commits, or coupled only through a shared config/build step, read as uncoupled, and a sweeping commit (rename/format) is excluded so it doesn't couple everything. It shows that files change together, not WHY: a high coupling can be a healthy cohesive pair as readily as a hidden leak.
AX9 CQS / query purity: Handlers are found by interface/name convention β a query handler using neither is not seen. Mutation is a resolved write/publish invocation (SaveChanges/repository/bus), so a write hidden behind a hand-rolled wrapper, reflection, or a string-keyed service locator resolves to a non-persistence type and isn't flagged; it detects that a query writes state, not whether the write is a legitimate read-side cache update. Clean means "no resolved write/publish in a query body", not a proof of CQS purity.
M4 Documentation accuracy: Onboarding quality is an LLM read of the docs/setup present β it cannot run the onboarding or measure how long a real new joiner takes; the verdict is sampled and advisory.
P4 Deployment & Rollback: Approval/branch-protection rules live in repository settings the scan cannot see β only their in-repo evidence (config files, workflows) is checked, so a control enforced purely in the host's settings reads as "not evidenced".
P6 Release Hygiene: Rollback/observability controls are inferred from repo artefacts (pipelines, dashboards-as-code) β controls configured in external tooling, with no in-repo trace, cannot be credited.
The LLM boundary
LLM-set scores this run (3): D20, D21, M4 (model: Local LLM). For these, a model reads a bounded sample and sets the numeric score (documentation, ADR quality, naming, comment value, onboarding) β D25 sets the ADR-conformance fraction over sampled code, D22 judges API accuracy over a sample. These are sampled and advisory by design: they vary at the margins between runs and are never a deterministic measurement. Every other score in this report is tool-computed at confidence 1.0.
Dimensions
D3 Β· God Classes7.2 / 10Strongβ Tool-verified
What it measures: Over-large classes that try to do too much ("god classes").
Method: God-class detection by line and method-count thresholds per logical type (partial classes unified), filtered for generated code and registration/contract false positives. Deterministic.
Resolve the 61 FileTooLong finding(s) in God Classes β start with chttpd_db.erl, couch_db.erl, mango_cursor_view.erl. β One of this dimension's main actionable groups (61 warning-level).
Resolve the 54 TooManyMethods finding(s) in God Classes β start with couch_db.erl, chttpd.erl, couch_httpd.erl. β One of this dimension's main actionable groups (54 warning-level).
Enforce God Classes in CI to reach Verified (currently Documented). β Hardens enforcement from Documented toward Prevented β provenance only; does not change the score.
Detailed fixes: d3_recommendation.md Β· top locations in Appendix A, every location in findings.md.
What it measures: Copy-pasted code that should be shared instead.
Method: Code duplication via token-stream sliding windows with type-aware normalization (locals masked, type names preserved), density-scored per KLoC of production code. Deterministic.
What it measures: Whether the code respects its intended layering / architecture rules.
Method: Enforcement rung (Prevented/Verified/Documented) per checkable ADR via Roslyn, plus dependency cycles via the engine shared with D5/AX3. Deterministic, exact.
Of 9 mechanizable ADRs, 9 are prevented by analyzers, 0 by tests, 0 exist only in prose. Coverage: 100 %. Dependency cycles not checked (no project-reference graph; where this repository's language has an import-cycle lens, cycles are reported there).
What it measures: Whether any secrets (keys, tokens, passwords) have leaked into the code.
Method: In-process native secret scanner (entropy plus signature patterns) across all tracked files; no external tool. A clean result is a measured 10, not no-data zero. Deterministic.
What it measures: Whether knowledge is concentrated in too few people (the "bus factor").
Method: Living knowledge per author via time-decayed commit attribution (6-month half-life, focus weighting) across largest source files. Deterministic, avoids blame's mechanical-refactor false positives.
66 source file(s) have their living knowledge concentrated in one author (β₯90% of recent, decayed contribution). The largest is src/mango/src/mango_selector.erl.
Off-boarding risk: anonymized user #1 Β· Γ3
What to do
Resolve the 3 Off-boarding risk finding(s) in Bus Factor. β One of this dimension's main actionable groups (3 recommendation-level).
Detailed fixes: d16_recommendation.md Β· top locations in Appendix A, every location in findings.md.
What it measures: Whether architecture decisions are recorded well (context, decision, consequences).
Method: Per-ADR judgment by language model at low temperature with two-pass stability; confidence is share of ADRs evaluated; enforcement-field presence detected deterministically. Advisory.
Evaluated 16 ADR(s) individually; mean quality 7.5/10 (mixed β many ADRs miss context or consequences). 1 flagged with a specific gap.
Decision/consequences are cut by the scanner clip marker mid-terminology definition ("min_backoff_penalty": ...), so the explicit replicator implementation decision and its trade-offs fall past the visible portionsrc/docs/rfcs/016-fdb-replicator.md
What to do
Resolve the 1 Decision/consequences are cut by the scanner clip marker mid-terminologyβ¦ finding(s) in ADR Quality β start with 016-fdb-replicator.md. β One of this dimension's main actionable groups (1 warning-level).
Detailed fixes: d20_recommendation.md Β· top locations in Appendix A, every location in findings.md.
What it measures: Whether names β types, methods, variables β are clear and consistent.
Method: Judged by language model at low temperature (0.0-0.1) on a deterministic random symbol sample (fixed size, not exhaustive), with disclosed confidence band. Advisory, sampled.
What it measures: Whether any secrets were ever committed β scanned across the full git history, not just now.
Method: Git-history secret scan via gitleaks detect over full history in an isolated checkout; each match flagged High. Exhaustive; degrades cleanly when tool absent.
41 finding(s): 0 critical, 41 high, 0 medium, 0 low. Remediation for historically-committed secrets is credential rotation β they remain in history regardless of later deletion.
Secret: generic-api-key Β· Γ34src/docs/src/api/server/authn.rst:332detected by gitleaks finding
Rotate the exposed credentials β git history can't be un-committed
What to do
Resolve the 34 Secret finding(s) in Secrets (history) β start with authn.rst (14), bulk-api.rst (8), security.rst (4). β One of this dimension's main actionable groups (34 issue-level).
Resolve the 1 Rotate the exposed credentials finding(s) in Secrets (history). β One of this dimension's main actionable groups (1 recommendation-level).
Detailed fixes: d28_recommendation.md Β· top locations in Appendix A, every location in findings.md.
What it measures: Real static-analysis (SAST) findings β likely security bugs in the code, any language.
Method: Polyglot static analysis via semgrep across the repo using the pinned, image-baked p/security-audit + p/owasp-top-ten rulesets (no scan-time registry fetch); severity rules (ERROR/WARNING/INFO) map to a full-band severity-weighted score. Exhaustive, deterministic; degrades on parse failure.
Coverage: semgrep pattern rules over all files β exhaustive for the rule set, blind to classes of bug without a rule (clean = no rule matched).
High: eval-detected Β· Γ7dev/run:1362detected by semgrep finding
Medium: use-defused-xml Β· Γ3build-aux/show-test-results.py:8detected by semgrep finding
Low: dynamic-urllib-use-detected Β· Γ3dev/run:1113detected by semgrep finding
What to do
Resolve the 7 High finding(s) in Static Analysis (SAST) β start with run-test262.c (5), run, quickjs-libc.c. β One of this dimension's main actionable groups (7 issue-level).
Resolve the 3 Medium finding(s) in Static Analysis (SAST) β start with run (2), show-test-results.py. β One of this dimension's main actionable groups (3 warning-level).
Resolve the 3 Low finding(s) in Static Analysis (SAST) β start with run (3). β One of this dimension's main actionable groups (3 recommendation-level).
Detailed fixes: d29_recommendation.md Β· top locations in Appendix A, every location in findings.md.
What it measures: Whether anyone still has living knowledge of each file, or it has been orphaned β last understood long ago by someone now gone quiet. The sibling of the bus factor: D16 asks who owns it, D34 asks whether anyone still knows it.
Method: File orphaning as total living-knowledge decay below one focused-commit's worth within a year, computed per-file from the D16 decay model. Exhaustive, deterministic over fixed history.
36 of 343 significant source file(s) are orphaned β their living knowledge has decayed to nothing, so no one currently understands them. The largest is src/weatherreport/src/weatherreport_getopt.erl.
Resolve the 3 Orphaned knowledge finding(s) in Knowledge Freshness β start with weatherreport_getopt.erl, couch_mrview_debug.erl, couch_index.erl. β One of this dimension's main actionable groups (3 issue-level).
Resolve the 1 Further orphaned files (smaller) finding(s) in Knowledge Freshness. β One of this dimension's main actionable groups (1 recommendation-level).
Detailed fixes: d34_recommendation.md Β· top locations in Appendix A, every location in findings.md.
What it measures: Whether files that change together actually belong together β pairs that repeatedly co-change in git history despite having no explicit code dependency, surfacing the hidden/logical coupling (and boundaries in the wrong place) a static scan can't see.
Method: Pairwise co-occurrence over the per-commit file sets in git history (production source only β tests and generated dropped): Degree-of-Coupling = shared ÷ min individual revisions, reported above noise floors (each file β₯10 revisions, β₯5 shared commits, β₯50% strength); sweeping commits excluded. Deterministic over fixed history.
Coverage: Population: PRODUCTION source files only β test and generated files are dropped before pairing, so a class co-changing with its own test (trivially ~100%) can't drown the real productionβproduction coupling. Pairs ranked by Degree-of-Coupling; coupling through a build step, config, or non-source file isn't seen.
What it measures: Whether dependencies have known published vulnerabilities (CVEs) per the OSV database β read natively from whatever lockfile the repository ships (Cargo, npm, Go, Python, Maven, RubyGems, β¦). D33 and D30 add ecosystem-specific scanners on top for npm and .NET.
Method: Multi-ecosystem dependency-CVE scan via osv-scanner --recursive (queries the osv.dev database + parses lockfiles natively across ecosystems: npm package-lock/yarn/pnpm/bun, Go go.mod, Rust Cargo.lock, Maven/Gradle pom.xml/gradle.lockfile, PyPI requirements.txt/poetry.lock/Pipfile.lock, Composer composer.lock, RubyGems Gemfile.lock, Hex mix.lock, pub pubspec.lock, Swift Package.resolved); severity tally (Critical/High/Medium/Low) to 0-10 tight normalizer (8.0). NotApplicable only when the repo declares no supported non-.NET dependency lockfile (a NuGet-only repo stays NotApplicable β .NET CVEs are D30's domain); coverage needs a resolved lockfile. Additive to D33 (trivy fs); exhaustive + deterministic, DB kept fresh.
Other Β· Architecture β Whether read (query) handlers stay side-effect-free β a query that writes persistent state or raises events breaks CQS and makes reads unsafe to retry, cache, or route to a read replica.
Method: Roslyn scan: CQRS handlers classified query-vs-command by interface (IQueryHandler/ICommandHandler/IRequestHandler<TQuery,TResult>) and name convention (*Query/Get*/Find* vs *Command); each query handler's body checked for persistent-state writes (SaveChanges/repository Add-Update) or event publishes by resolved invocation. Deterministic, type-level, exhaustive over the detected handlers.
Coverage: Population: CQRS handlers identified by IQueryHandler/ICommandHandler/IRequestHandler interface + *Query/Get*/Find*/*Command NAME convention; query purity then checked exhaustively within that set β a query handler using neither convention is invisible, and mutation is a resolved persistence/publish CALL, not full dataflow.
Other Β· Event-Driven β Whether event handlers stay asynchronous (no blocking remote HTTP/gRPC calls awaited inside a handler).
Method: Roslyn semantic scan (event-driven gated): event-handler bodies scanned for HTTP/gRPC invocations by resolved symbol type, not substring. Deterministic, semantic-resolved.
`couch_httpd_vhost` clause `handle_config_change/5#413` makes a synchronous `gen_server`/`gen_statem:call` round-trip to a peer process while handling a message β the process is blocked (holding its mailbox) until a peer replies or the sleep elapses. That couples this handler in real time to another process being up and fast, and a mutual call can DEADLOCK. To decouple, react by casting a follow-up message (fire-and-forget), or resolve the needed state locally. β couch_httpd_vhost.erl:414
`couch_log_sup` clause `handle_config_change/5#57` makes a synchronous `gen_server`/`gen_statem:call` round-trip to a peer process while handling a message β the process is blocked (holding its mailbox) until a peer replies or the sleep elapses. That couples this handler in real time to another process being up and fast, and a mutual call can DEADLOCK. To decouple, react by casting a follow-up message (fire-and-forget), or resolve the needed state locally. β couch_log_sup.erl:72
What to do
Remove synchronous peer round-trips (gen_server:call / hand-rolled receive) and blocking sleeps from OTP message handlers β cast a follow-up or resolve state locally, so processes stay temporally decoupled and deadlock-free.
Other Β· Event Sourcing β Whether the event-sourcing replay fold reconstructs state purely from the event (no wall clock, UUID or randomness) so replay is reproducible.
Method: Roslyn syntax scan (event-sourcing gated): Apply/When folds checked for forbidden tokens (DateTime.Now, Guid.NewGuid, Random, IO), stripped of comments/strings. Deterministic, hard fact per fold.
Other Β· Event Sourcing β Whether persisted events stay immutable (never rewritten in place).
Method: Roslyn scan (event-sourcing gated): persisted events checked for public setters; immutability verified per property/field. Deterministic, hard fact.
Maturity Β· Maturity β Whether the repo and its projects have a README, and whether it's substantive and current.
Method: Filesystem scan: README presence, word count, and headings for depth; git history for staleness. Exhaustive across root and project dirs, deterministic.
What to do
Add a build/run (quick start) section to the root README β the first thing a newcomer needs.
Add a 'Testing' section to the root README β how to run the test suite.
Add an 'Architecture' / 'How it works' section to the root README β the high-level shape.
Add a README to the 1 of 9 project(s) that lack one β worth up to 0.2 pts.
Maturity Β· Maturity β Whether the README actually describes the code that exists (LLM-judged, advisory).
Method: Judged by language model at low temperature: README accuracy versus actual projects, within a disclosed tolerance. Advisory, not a measured number.
Readiness Β· Readiness β Whether SAST, secret/dependency scanning and performance benchmarking are wired in (presence, not runtime).
Method: Filesystem scan: SAST configuration, dependency-update automation, secret scanning, and a benchmark harness or benchmark step β in this repository's own ecosystem. Exhaustive, deterministic.
No static application security testing detected. For this repository's stack, add dialyzer or elvis (or `semgrep --config=auto`, which runs on any language) β this repository has no CI pipeline yet, so run it locally to clear the existing findings, then make it a step of the first workflow you add so a regression fails the build.
What to do
Run what this repository's stack ships: dialyzer or elvis β or `semgrep --config=auto`, which runs on any language β β locally for now, since there is no CI pipeline here yet, and as a step of the first workflow you add so a security regression fails the build instead of landing.
Enable Dependabot/Renovate or a dependency-review gate.
Add gitleaks/trufflehog in CI to block PRs that introduce committed secrets.
Readiness Β· Readiness β Whether releases are automated and safely reversible (probes, rolling updates, approval gates) β from manifests/pipeline files, not the live environment.
Method: Filesystem scan: deployment manifests/IaC (K8s YAML, Helm, Terraform) for rolling updates, probes, approval gates, migration hooks. Exhaustive, deterministic.
What to do
Nothing pauses a release for a human: publish as a draft release (or gate the release job on a protected tag/manual dispatch) so a bad build can be stopped before users can download it.
Readiness Β· Readiness β Whether releases are traceable β a maintained changelog and explicit version stamping.
Method: Filesystem scan: changelog file presence and version tags in csproj or git tags. Exhaustive, deterministic.
Do you agree with this assessment?
R1 Β· Type Safety0.0 / 10Criticalβ Tool-verified
React / JS Β· Code Health β How much of the frontend is typed TypeScript vs untyped JavaScript.
Method: Frontend file inventory: the share of typed TypeScript vs untyped JavaScript across the source tree. Deterministic, exhaustive over frontend files.
0 typed · 14 plain JS β the untyped files are share/server/60/rewrite_fun.js, share/server/60/rewrite_fun_ast_bypass.js, share/server/dispatch-quickjs.js, share/server/dreyfus.js, share/server/filter.js, share/server/loop.js (+8 more).
What to do
Adopt TypeScript for the frontend: add a typecheck step to the build, then either type-check the existing JavaScript in place (`checkJs`/JSDoc types) or convert the highest-traffic modules first β no file is typed today, so this is an adoption, not a clean-up.
React / JS Β· Code Health β Copy-pasted token-identical blocks across the frontend (the D4 clone algorithm over JS/TS tokens, D-386).
Method: Copy-pasted token-identical blocks across the frontend (the D4 clone algorithm run over JS/TS tokens). Deterministic.
share/server/60/rewrite_fun.js:34 · share/server/60/rewrite_fun_ast_bypass.js:40 β the 2 copies are spread across 2 files, and what repeats is a LIST OF ENTRIES rather than behaviour β the same names written out more than once. Extract them into one shared, exported constant and spread that constant into each site, rather than into a function the sites call: a list like this often lives in declarative metadata (a decorator's options object, a static configuration table) that a build step must be able to read statically, where a function call is not allowed. Adding an entry to one copy and not the other is the failure this prevents. β rewrite_fun.js:34
share/server/dispatch-quickjs.js:26 · share/server/loop.js:31 β the 2 copies are spread across 2 files, and what repeats is a LIST OF ENTRIES rather than behaviour β the same names written out more than once. Extract them into one shared, exported constant and spread that constant into each site, rather than into a function the sites call: a list like this often lives in declarative metadata (a decorator's options object, a static configuration table) that a build step must be able to read statically, where a function call is not allowed. Adding an entry to one copy and not the other is the failure this prevents. β dispatch-quickjs.js:26
share/server/dispatch-quickjs.js:48 · share/server/loop.js:57 β the 2 copies sit in sibling files in one directory, so check first whether one of them (or an existing module there) already owns this behaviour and the others should call it; otherwise extract it into one module in that directory and have each site call it. β dispatch-quickjs.js:48
share/server/dispatch-quickjs.js:159 · share/server/dispatch-quickjs.js:171 β all 2 copies are in the same file, and the CITED SPAN is not a self-contained block β it runs from inside one construct into the next (the tail of a branch plus the head of the following one, a run of switch arms, the end of a declaration plus the list that follows it) rather than covering a whole unit. So do not lift these lines literally: no call can be substituted for a half-open construct. Extract the enclosing repeated UNIT instead β the whole function, component or branch these lines sit in β and where the repetition IS the construct (a run of switch arms, a stack of near-identical declarations) replace it with one table or registry looked up by key rather than a helper each arm calls. The copies still drift apart the first time only one of them is edited, which is why this is reported. β dispatch-quickjs.js:159
share/server/dreyfus.js:48 · share/server/nouveau.js:94 · share/server/views.js:125 β the 3 copies are spread across 3 files, and the CITED SPAN is not a self-contained block β it runs from inside one construct into the next (the tail of a branch plus the head of the following one, a run of switch arms, the end of a declaration plus the list that follows it) rather than covering a whole unit. So do not lift these lines literally: no call can be substituted for a half-open construct. Extract the enclosing repeated UNIT instead β the whole function, component or branch these lines sit in β and where the repetition IS the construct (a run of switch arms, a stack of near-identical declarations) replace it with one table or registry looked up by key rather than a helper each arm calls. The copies still drift apart the first time only one of them is edited, which is why this is reported. β dreyfus.js:48
share/server/dispatch-quickjs.js:14 · share/server/loop.js:16 β the 2 copies are spread across 2 files, and what repeats is a LIST OF ENTRIES rather than behaviour β the same names written out more than once. Extract them into one shared, exported constant and spread that constant into each site, rather than into a function the sites call: a list like this often lives in declarative metadata (a decorator's options object, a static configuration table) that a build step must be able to read statically, where a function call is not allowed. Adding an entry to one copy and not the other is the failure this prevents. β dispatch-quickjs.js:14
share/server/dreyfus.js:15 · share/server/nouveau.js:15 β the 2 copies sit in sibling files in one directory, so check first whether one of them (or an existing module there) already owns this behaviour and the others should call it; otherwise extract it into one module in that directory and have each site call it. β dreyfus.js:15
What to do
Extract the duplicated blocks into shared functions/components.
React / JS Β· Code Health β Per-function cyclomatic/cognitive complexity from the token-level function scanner (D-386) β real branching, not a regex heuristic.
Method: Per-function cyclomatic/cognitive complexity from a token-level function scanner (real branching, not a regex heuristic), computed over every frontend function. Deterministic.
Branch-heavy code is where defects cluster β extract decisions into smaller functions. (×3) β render.js:237, mimeparse.js:90, util.js:13
What to do
Break down the listed branch-heavy functions; aim P95 cyclomatic β€ 5.
Do you agree with this assessment?
R3 Β· Large Files10.0 / 10Exemplaryβ Tool-verified
React / JS Β· Code Health β How many source files exceed the large-file threshold.
Method: Components/modules exceeding the large-file threshold, counted exhaustively across the frontend source tree. Deterministic.
Do you agree with this assessment?
R4 Β· Test Coverage0.0 / 10Criticalβ Tool-verified
React / JS Β· Readiness β Static test reachability (D-386): the share of production files reachable from any test via the import graph β measured without running anything.
Method: Static test reachability: the share of production files reachable from any test via the import graph β measured without running anything. Deterministic.
0% of 14 production file(s) reachable from 0 test file(s) via the import graph
What to do
Add tests that import the unreached modules (directly or through their public entry).
React / JS Β· Architecture β Import cycles in the module graph (D-386) β files that can only be understood and changed together.
Method: Import cycles in the module graph, detected exhaustively over JS/TS imports (the same cycle detection as the .NET coupling dimension). Deterministic.
Do you agree with this assessment?
Reference β by lens
The score is the rank-weighted fold of these lenses (worst-heaviest), each including its meta-dimensions; a lens with a Critical contributor is capped at Fair (its band reads "gated by β¦") and is never the strongest area however high its average.
Not included β 75 check(s) not relevant to this codebase
These checks had nothing to measure here (no tests, no git history, the codebase is small, or the architecture style doesn't apply), so they're omitted above rather than scored low.
AC1 Text alternatives β No web markup found β accessibility is not applicable to this repository.
AC2 Forms & labels β No web markup found β accessibility is not applicable to this repository.
AC3 Page structure β No web markup found β accessibility is not applicable to this repository.
AC4 Keyboard semantics β No web markup found β accessibility is not applicable to this repository.
AC5 ARIA correctness β No web markup found β accessibility is not applicable to this repository.
AC6 Visual & motion safety β No web markup found β accessibility is not applicable to this repository.
AC7 A11y enforcement β No web markup found β accessibility is not applicable to this repository.
AX1 Captive dependencies β no DI registrations detected
AX10 Code composition β not assessed β code composition is computed by ROLE over a document set that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
AX2 Stateful singletons β no singleton implementations detected
AX3 Project dependency cycles β not assessed β project cycles and dependency direction are computed over a project-reference graph that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
AX4 Dependency direction β not assessed β project cycles and dependency direction are computed over a project-reference graph that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
AX5 Architecture & structure β not assessed β architecture style/structure is computed from a project graph (projects, types, module namespaces) that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
AX6 Interface segregation β not assessed β interface segregation is computed over a type surface that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
AX7 Slice cohesion β not applicable β not a vertical-slice architecture
AX8 Test isolation β not assessed β test isolation is computed from a project graph (which projects are test projects, and what they reference) that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
AXB2 Runtime readiness β Advisory β this card reports evidence and never carries a score, so there is nothing missing here.
C1 Data Protection β Not assessed: these personal data controls are read from a source model (declarative annotations, request middleware, entity/column names, guard methods) that was not loaded for this repository β because the repository is written in a language this check does not yet model, or because its projects failed to load. Absence of an idiom this check recognises is NOT evidence that this repository lacks personal data controls: it may implement them entirely in its own ecosystem. This is a gap in the analyzer's language coverage, not a finding about this repository.
C2 Access Controls β Not assessed: these authorization controls are read from a source model (declarative annotations, request middleware, entity/column names, guard methods) that was not loaded for this repository β because the repository is written in a language this check does not yet model, or because its projects failed to load. Absence of an idiom this check recognises is NOT evidence that this repository lacks authorization controls: it may implement them entirely in its own ecosystem. This is a gap in the analyzer's language coverage, not a finding about this repository.
C3 Audit Trail β Not assessed: these audit controls are read from a source model (declarative annotations, request middleware, entity/column names, guard methods) that was not loaded for this repository β because the repository is written in a language this check does not yet model, or because its projects failed to load. Absence of an idiom this check recognises is NOT evidence that this repository lacks audit controls: it may implement them entirely in its own ecosystem. This is a gap in the analyzer's language coverage, not a finding about this repository.
C4 Data Retention β Not assessed: these retention controls are read from a source model (declarative annotations, request middleware, entity/column names, guard methods) that was not loaded for this repository β because the repository is written in a language this check does not yet model, or because its projects failed to load. Absence of an idiom this check recognises is NOT evidence that this repository lacks retention controls: it may implement them entirely in its own ecosystem. This is a gap in the analyzer's language coverage, not a finding about this repository.
C5 Data-Subject Rights β Not assessed: these data-subject rights controls are read from a source model (declarative annotations, request middleware, entity/column names, guard methods) that was not loaded for this repository β because the repository is written in a language this check does not yet model, or because its projects failed to load. Absence of an idiom this check recognises is NOT evidence that this repository lacks data-subject rights controls: it may implement them entirely in its own ecosystem. This is a gap in the analyzer's language coverage, not a finding about this repository.
D1 Cyclomatic Complexity β Most of this repository's production source (.erl, .exs, .hrl, .java, .py) had no cyclomatic complexity computed for it, so cyclomatic complexity was not measured β whatever else this pass did read is not this repository's complexity. Not scored: no method bodies were exposed for those file kinds by any language model this pass could load. This is a gap in the analysis run, not a finding about this repository.
D10 Test Quality β ~78815 lines of test source are present (.exs, .erl, .py, .ex) but the test-quality collector reads C# only, so skipped/assertion-free tests couldn't be counted. Not scored β this is a gap in the analyzer, not a finding about this repository.
D11 Test Reliability β Test reliability not included
D12 Dependency Hygiene β Dependency hygiene not measured β no supported dependency manifest was read
D14 License Compliance β Not scored β this repository's package manifest is not parsed for licence data yet. A gap in the analyzer's language coverage, NOT a finding that the repository's licenses are compliant (a Python pyproject.toml/requirements.txt (pip/uv/Poetry), a Swift Package.swift/Package.resolved, a Cargo manifest, a Go module (go.mod/go.sum), a Gradle version catalogue, a Maven POM, an sbt build (build.sbt), composer.json, package.json, a Dart pubspec.yaml, a rebar.config / erlang.mk DEPS (Hex), a Ruby Gemfile/Gemfile.lock or .gemspec (Bundler/RubyGems)), which this pass does not parse yet β so this dimension asserts nothing about this repository's licensing in either direction.
D15 Churn × Complexity Hotspots β complexity unreadable for .erl, .exs, .hrl, .java, .py β churn × complexity hotspots could not be measured
D17 Explicit Debt β explicit-debt markers are read through a C# workspace today, so they were not read for this repository's language β this asserts nothing about how many markers the code carries. Not scored β this is a gap in the analyzer, not a finding about this repository
D18 Solution Shape β D18 scores the shape of a .NET solution; this repository has no .NET solution or project files, so the dimension does not apply.
D2 Cognitive Complexity β Most of this repository's production source (.erl, .exs, .hrl, .java, .py) had no cognitive complexity computed for it, so cognitive complexity was not measured β whatever else this pass did read is not this repository's complexity. Not scored: no method bodies were exposed for those file kinds by any language model this pass could load. This is a gap in the analysis run, not a finding about this repository.
D22 Internal API Consistency β No exposed public API
D23 Boundary Type-Coupling β Production source is present (.erl, .exs, .hrl, .java, .py) but bounded contexts are resolved over the C#/VB project set, which exposed none, so context scope could not be assessed. Not scored β this is a gap in the analyzer, not a verdict about this repository. Declaring the codebase's bounded contexts (β₯2) would let cross-boundary type coupling be assessed β see the recommendation on this dimension for where. Declare them in `.codehealth/config.yaml` at the repository root (create it if absent), mapping each context name to the module-path or namespace prefixes that belong to it β e.g. `architecture:` β `contexts:` β `Billing: ["src/billing", "Acme.Billing"]`, `Catalog: ["src/catalog", "Acme.Catalog"]`.
D24 Comment Value β No inline comments to assess β comment value is not applicable here.
D25 ADR Conformance β none of 16 ADRs are conformance-checkable β unverifiable.
D26 Project Cohesion β Project cohesion is assessed over the .NET project set; this target exposed no projects, so project size and spread could not be assessed. Not scored β this is a gap in the analyzer's reach, not a verdict about this repository.
D27 Navigability β No calls could be sampled, so navigability was not assessed β tracing effort is measured over resolved call sites and this target exposed none. Not scored β this is a gap in the analyzer's reach, not a verdict about this repository.
D30 Dependency Vulnerabilities β Not scored β no dependency manifest in a supported ecosystem was read for this repository. A gap in the analyzer's language coverage, NOT a finding that the repository is free of vulnerable dependencies (a Python pyproject.toml/requirements.txt (pip/uv/Poetry), a Swift Package.swift/Package.resolved, a Cargo manifest, a Go module (go.mod/go.sum), a Gradle version catalogue, a Maven POM, an sbt build (build.sbt), composer.json, package.json, a Dart pubspec.yaml, a rebar.config / erlang.mk DEPS (Hex), a Ruby Gemfile/Gemfile.lock or .gemspec (Bundler/RubyGems) β not scanned yet) β where an OSV-supported manifest exists, dependency vulnerabilities for this repository are reported under D38 instead.
D32 Data Compliance (PII/GDPR) β No PII/GDPR-handling patterns detected (p/gdpr ruleset) β no data-compliance surface to assess.
D33 JS/npm Dependency Vulnerabilities β No JS/npm manifest or lockfile found outside build output (package.json, package-lock.json, yarn.lock, pnpm-lock.yaml, bun.lockb); no JS dependencies to scan.
D36 Supply-chain Provenance & Signing β No CI/build pipeline found (.github/.forgejo/.gitea workflows, .gitlab-ci.yml, azure-pipelines*.yml, .pipelines/, .vsts-ci/, Jenkinsfile, .circleci); there is no build to attest provenance for.
D37 Vulnerability-disclosure Policy β No vulnerability-disclosure policy file found (SECURITY.md/.markdown/.rst/.txt at root or under .github/.forgejo/.gitea/docs, .well-known/security.txt). A coordinated-disclosure policy may live off-repo, so this is not evidenced rather than failed.
D39 IL Efficiency β D39 measures the IL emitted by a .NET build; this repository has no .NET solution or project files, so the dimension does not apply.
D40 Network Egress Confinement β No Kubernetes/orchestration workloads found in the repository manifests; network egress policy is a cluster-native control that may live at the platform/firewall layer, so there is nothing to assess here.
D41 Kernel & Syscall Confinement β No Kubernetes/orchestration workloads found in the repository manifests; seccomp/AppArmor/SELinux confinement is a workload-level control, so there is nothing to assess here.
D42 Runtime Threat Enforcement β No Kubernetes/orchestration workloads found in the repository manifests; runtime threat-detection and admission-control policy are cluster-level controls, so there is nothing to assess here.
D5 Coupling β Inter-project coupling could not be assessed β no analyzable project graph was found for this repository. Not scored: a gap in the analyzer's reach, not a verdict about this repository. (Coupling here is Martin afferent/efferent/instability plus reference cycles across a project-reference graph, read today from .NET project files; other ecosystems' module graphs are not read yet.)
D6 Cohesion (LCOM4) β Cohesion (LCOM4) is measured over a C#/VB class graph, and this repository's production source is .erl, .exs, .hrl, .java, .py, which this pass does not read β so no class could be assessed. Not scored β this is a gap in the analyzer, not a finding about this repository.
D8 Code Coverage β Coverage not included β suite not readable by the collector
D9 Test Distribution β Test source is present (.exs, .erl, .py, .ex) but the test-pyramid classifier reads C# only, so its unit/integration/BDD/E2E split couldn't be counted. Not scored β this is a gap in the analyzer, not a finding about this repository.
DM1 Domain Modelling β not scored β this repository shows only 1 of the 3 signals this check looks for (877 value object(s))
ED5 Idempotency β no mutating command handlers or message consumers detected β idempotency check not applicable
GD1 Unfinished & placeholder code β no source files
IC1 Incompleteness & stubs β not analysed β these correctness checks read a source model that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
P12 CI test-gate honesty β Reported, not scored β and nothing was matched here. The coverage check applies to any stack, but the checks for excluded tests, skipped tests and sleep-based synchronisation currently recognise only some ecosystems' test-runner idioms, so on a repository built with another stack the zeros below mean 'not checked', not 'clean'.
P2 Observability β Observability was not assessed: this check reads a source model that does not carry this repository's product β because the repository is written in a language this check does not yet model, or because its projects failed to load. Absence of a logging idiom this check recognises is NOT evidence that this repo lacks structured logging (it may log through its own ecosystem's logger). This is a gap in the analyzer, not a finding about this repository.
P5 DR & Backup β not evidenced β repo shows no backup/RTO/RPO controls; absence of evidence is not evidence of a working control
P7 Outbound HTTP resilience β not measured β the application kind could not be determined for this repo
P8 Schema migrations β not assessed β schema-migration practice is read from a source model that was not loaded for this repository, because the repository is written in a language this check does not yet model or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
P9 Domain vs controller coverage β no coverage report found on disk β produce a coverage report in a standard format (`rebar3 do eunit --cover, cover` (or covertool for Cobertura XML)) into the repo working tree before the scan β a CI step is the usual place, since the artefact is commonly gitignored, or wire coverage collection into CI, to enable this cross-layer check
PF1 Benchmark discipline β Performance was not assessed: this lens reads a source model that was not loaded for this repository, because the repository is written in a language this lens does not yet model or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository β in particular it is NOT a statement that this repo is unpackaged or performance-careless.
PF2 Allocation hygiene β Performance was not assessed: this lens reads a source model that was not loaded for this repository, because the repository is written in a language this lens does not yet model or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository β in particular it is NOT a statement that this repo is unpackaged or performance-careless.
PF3 Async & latency hygiene β Performance was not assessed: this lens reads a source model that was not loaded for this repository, because the repository is written in a language this lens does not yet model or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository β in particular it is NOT a statement that this repo is unpackaged or performance-careless.
R11 Import Boundaries β No recognizable feature-sliced/layered src layout β boundary rules not applicable.
R5 Dependency Freshness β no package-lock.json β dependency freshness not measured (would require an npm lockfile); JS/npm CVEs are scored in D33 (JS/npm Dependency Vulnerabilities)
R6 Tooling β no package.json in the repository β test/lint/typecheck wiring is read from package.json scripts (corroborated against CI), so this project's own toolchain isn't measured here
R7 Dead Code β Not measured β no application, tooling or test entry point was detected, so no file can be shown to be reachable or unreachable. Declare an entry (package.json main/module/exports, src/index.*, or an index.html script) to enable reachability.
R8 Dependency Hygiene β Not measured β no package.json declares any dependency, so there is nothing to check imports against (imports may resolve through a host runtime rather than node).
S1 Web-Security Posture β Not assessed: these web-security controls are read from a source model (declarative annotations, request middleware, entity/column names, guard methods) that was not loaded for this repository β because the repository is written in a language this check does not yet model, or because its projects failed to load. Absence of an idiom this check recognises is NOT evidence that this repository lacks web-security controls: it may implement them entirely in its own ecosystem. This is a gap in the analyzer's language coverage, not a finding about this repository.
X1 Async correctness β not analysed β these correctness checks read a source model that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
X2 Cancellation propagation β not analysed β these correctness checks read a source model that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
X3 Exception handling β not analysed β these correctness checks read a source model that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
X4 Structured logging β not analysed β these correctness checks read a source model that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
X5 Nullable reference types β not analysed β these correctness checks read a source model that was not loaded for this repository, because the repository is written in a language this check does not yet model, or because its projects failed to load. This is a gap in the analyzer, not a finding about this repository
Appendix A β Findings (grouped)
The findings behind the scores, grouped by severity, then by dimension and kind. The high-severity issues are enumerated in full below; items per group are capped at 25 with any overflow stated explicitly per group, never silently truncated. The complete machine-readable list of every finding (all severities) is the companion findings.md in this report's bundle.
High: eval-detected dev/run:1362β Detected the use of eval(). eval() can be dangerous if used to evaluate dynamic content. If this content can be input from outside the program, this may be a code injection vulnerability. Ensure evaluated content is not definable by external sources. This is a semgrep security-AUDIT rule: it reports that a sensitive construct is present, not that it is exploitable here. Confirm whether this site handles untrusted input or is reachable across a trust boundary β and apply the change where it is; where the construct is required by the platform or protocol it calls into, and carries no untrusted data (a syscall/FFI shim, a build- or debug-gated tool, a fixed local surface), record the review and leave the code as it is.
High: insecure-use-string-copy-fn src/couch_quickjs/quickjs/quickjs-libc.c:513β Finding triggers whenever there is a strcpy or strncpy used. This is an issue because strcpy does not affirm the size of the destination array and strncpy will not automatically NULL-terminate strings. This can lead to buffer overflows, which can cause program crashes and potentially let an attacker inject code in the program. Fix this by bounding the copy to the destination's size and terminating it yourself β `snprintf(dst, sizeof dst, "%s", src)`, or `strncpy` followed by an explicit `dst[sizeof dst - 1] = '\0'` β since the bounds-checked `_s` variants are C11 Annex K, an optional annex that glibc and musl do not implement; where your toolchain does provide them (MSVC) or provides `strlcpy` (BSD, and glibc from 2.38), either is the shorter spelling of the same fix. This is a semgrep security-AUDIT rule: it reports that a sensitive construct is present, not that it is exploitable here. Confirm whether this site handles untrusted input or is reachable across a trust boundary β and apply the change where it is; where the construct is required by the platform or protocol it calls into, and carries no untrusted data (a syscall/FFI shim, a build- or debug-gated tool, a fixed local surface), record the review and leave the code as it is.
High: insecure-use-string-copy-fn src/couch_quickjs/quickjs/run-test262.c:291β Finding triggers whenever there is a strcpy or strncpy used. This is an issue because strcpy does not affirm the size of the destination array and strncpy will not automatically NULL-terminate strings. This can lead to buffer overflows, which can cause program crashes and potentially let an attacker inject code in the program. Fix this by bounding the copy to the destination's size and terminating it yourself β `snprintf(dst, sizeof dst, "%s", src)`, or `strncpy` followed by an explicit `dst[sizeof dst - 1] = '\0'` β since the bounds-checked `_s` variants are C11 Annex K, an optional annex that glibc and musl do not implement; where your toolchain does provide them (MSVC) or provides `strlcpy` (BSD, and glibc from 2.38), either is the shorter spelling of the same fix. This is a semgrep security-AUDIT rule: it reports that a sensitive construct is present, not that it is exploitable here. Confirm whether this site handles untrusted input or is reachable across a trust boundary β and apply the change where it is; where the construct is required by the platform or protocol it calls into, and carries no untrusted data (a syscall/FFI shim, a build- or debug-gated tool, a fixed local surface), record the review and leave the code as it is.
High: insecure-use-strcat-fn src/couch_quickjs/quickjs/run-test262.c:292β Finding triggers whenever there is a strcat or strncat used. This is an issue because strcat or strncat can lead to buffer overflow vulns. Fix this by bounding the copy to the destination's size and terminating it yourself β `snprintf(dst, sizeof dst, "%s", src)`, or `strncpy` followed by an explicit `dst[sizeof dst - 1] = '\0'` β since the bounds-checked `_s` variants are C11 Annex K, an optional annex that glibc and musl do not implement; where your toolchain does provide them (MSVC) or provides `strlcpy` (BSD, and glibc from 2.38), either is the shorter spelling of the same fix. This is a semgrep security-AUDIT rule: it reports that a sensitive construct is present, not that it is exploitable here. Confirm whether this site handles untrusted input or is reachable across a trust boundary β and apply the change where it is; where the construct is required by the platform or protocol it calls into, and carries no untrusted data (a syscall/FFI shim, a build- or debug-gated tool, a fixed local surface), record the review and leave the code as it is.
High: insecure-use-string-copy-fn src/couch_quickjs/quickjs/run-test262.c:294β Finding triggers whenever there is a strcpy or strncpy used. This is an issue because strcpy does not affirm the size of the destination array and strncpy will not automatically NULL-terminate strings. This can lead to buffer overflows, which can cause program crashes and potentially let an attacker inject code in the program. Fix this by bounding the copy to the destination's size and terminating it yourself β `snprintf(dst, sizeof dst, "%s", src)`, or `strncpy` followed by an explicit `dst[sizeof dst - 1] = '\0'` β since the bounds-checked `_s` variants are C11 Annex K, an optional annex that glibc and musl do not implement; where your toolchain does provide them (MSVC) or provides `strlcpy` (BSD, and glibc from 2.38), either is the shorter spelling of the same fix. This is a semgrep security-AUDIT rule: it reports that a sensitive construct is present, not that it is exploitable here. Confirm whether this site handles untrusted input or is reachable across a trust boundary β and apply the change where it is; where the construct is required by the platform or protocol it calls into, and carries no untrusted data (a syscall/FFI shim, a build- or debug-gated tool, a fixed local surface), record the review and leave the code as it is.
High: double-free src/couch_quickjs/quickjs/run-test262.c:1577β Variable 'buf' was freed twice. This can lead to undefined behavior.
High: double-free src/couch_quickjs/quickjs/run-test262.c:1578β Variable 'filename' was freed twice. This can lead to undefined behavior.
Orphaned knowledge src/weatherreport/src/weatherreport_getopt.erlβ No living knowledge remains for this large file β its last meaningful change has decayed away; if it breaks, no one currently understands it. Schedule a read-through / add characterisation tests before it bites.
Orphaned knowledge src/couch_mrview/src/couch_mrview_debug.erlβ No living knowledge remains for this large file β its last meaningful change has decayed away; if it breaks, no one currently understands it. Schedule a read-through / add characterisation tests before it bites.
Orphaned knowledge src/couch_index/src/couch_index.erlβ No living knowledge remains for this large file β its last meaningful change has decayed away; if it breaks, no one currently understands it. Schedule a read-through / add characterisation tests before it bites.
FileTooLong: src/chttpd_db.erl src/chttpd/src/chttpd_db.erl:0β FileTooLong β 2405 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_db.erl src/couch/src/couch_db.erl:0β FileTooLong β 2036 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/mango_cursor_view.erl src/mango/src/mango_cursor_view.erl:0β FileTooLong β 1671 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/chttpd.erl src/chttpd/src/chttpd.erl:0β FileTooLong β 1388 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_replicator_scheduler.erl src/couch_replicator/src/couch_replicator_scheduler.erl:0β FileTooLong β 1331 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_httpd.erl src/couch/src/couch_httpd.erl:0β FileTooLong β 1226 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_httpd_db.erl src/couch/src/couch_httpd_db.erl:0β FileTooLong β 1217 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/mem3_rep.erl src/mem3/src/mem3_rep.erl:0β FileTooLong β 1210 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/mango_selector.erl src/mango/src/mango_selector.erl:0β FileTooLong β 1145 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_mrview_util.erl src/couch_mrview/src/couch_mrview_util.erl:0β FileTooLong β 1132 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_btree.erl src/couch/src/couch_btree.erl:0β FileTooLong β 1131 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/mango_cursor_text.erl src/mango/src/mango_cursor_text.erl:0β FileTooLong β 1089 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_replicator_scheduler_job.erl src/couch_replicator/src/couch_replicator_scheduler_job.erl:0β FileTooLong β 1067 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/mango_cursor.erl src/mango/src/mango_cursor.erl:0β FileTooLong β 1019 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_debug.erl src/couch/src/couch_debug.erl:0β FileTooLong β 1016 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/fabric_doc_update.erl src/fabric/src/fabric_doc_update.erl:0β FileTooLong β 1007 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_bt_engine.erl src/couch/src/couch_bt_engine.erl:0β FileTooLong β 997 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_multidb_changes.erl src/couch/src/couch_multidb_changes.erl:0β FileTooLong β 989 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_server.erl src/couch/src/couch_server.erl:0β FileTooLong β 964 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_replicator_api_wrap.erl src/couch_replicator/src/couch_replicator_api_wrap.erl:0β FileTooLong β 910 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_query_servers.erl src/couch/src/couch_query_servers.erl:0β FileTooLong β 868 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_replicator_doc_processor.erl src/couch_replicator/src/couch_replicator_doc_processor.erl:0β FileTooLong β 840 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_log_trunc_io.erl src/couch_log/src/couch_log_trunc_io.erl:0β FileTooLong β 830 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/fabric_view.erl src/fabric/src/fabric_view.erl:0β FileTooLong β 820 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
FileTooLong: src/couch_file.erl src/couch/src/couch_file.erl:0β FileTooLong β 812 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them.
TooManyMethods: couch_db src/couch/src/couch_db.erl:13β TooManyMethods β 144 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: chttpd src/chttpd/src/chttpd.erl:13β TooManyMethods β 106 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_httpd src/couch/src/couch_httpd.erl:13β TooManyMethods β 97 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_mrview_util src/couch_mrview/src/couch_mrview_util.erl:13β TooManyMethods β 94 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_bt_engine src/couch/src/couch_bt_engine.erl:13β TooManyMethods β 88 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_util src/couch/src/couch_util.erl:13β TooManyMethods β 72 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_replicator_scheduler src/couch_replicator/src/couch_replicator_scheduler.erl:13β TooManyMethods β 71 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_file src/couch/src/couch_file.erl:13β TooManyMethods β 69 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: fabric src/fabric/src/fabric.erl:13β TooManyMethods β 69 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: chttpd_db src/chttpd/src/chttpd_db.erl:13β TooManyMethods β 67 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: fabric_rpc src/fabric/src/fabric_rpc.erl:13β TooManyMethods β 67 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: mem3 src/mem3/src/mem3.erl:13β TooManyMethods β 67 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: config src/config/src/config.erl:19β TooManyMethods β 66 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_query_servers src/couch/src/couch_query_servers.erl:13β TooManyMethods β 64 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_btree src/couch/src/couch_btree.erl:13β TooManyMethods β 61 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_debug src/couch/src/couch_debug.erl:13β TooManyMethods β 60 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_quickjs_scanner_plugin src/couch_quickjs/src/couch_quickjs_scanner_plugin.erl:13β TooManyMethods β 58 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: mem3_reshard src/mem3/src/mem3_reshard.erl:13β TooManyMethods β 58 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_proc_manager src/couch/src/couch_proc_manager.erl:13β TooManyMethods β 57 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_db_engine src/couch/src/couch_db_engine.erl:13β TooManyMethods β 56 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_server src/couch/src/couch_server.erl:13β TooManyMethods β 55 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_scanner_plugin src/couch_scanner/src/couch_scanner_plugin.erl:83β TooManyMethods β 46 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: mem3_reshard_job src/mem3/src/mem3_reshard_job.erl:13β TooManyMethods β 45 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: couch_log_trunc_io_fmt src/couch_log/src/couch_log_trunc_io_fmt.erl:23β TooManyMethods β 44 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
TooManyMethods: mem3_rep src/mem3/src/mem3_rep.erl:13β TooManyMethods β 44 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility.
Change coupling: fabric_view_map.erl β fabric_view_reduce.erl src/fabric/src/fabric_view_map.erlβ `src/fabric/src/fabric_view_map.erl` and `src/fabric/src/fabric_view_reduce.erl` change together 65% of the time (13 of the 20 commits that touched whichever of the two files changed less often, counting a file under its earlier names as well) with no explicit dependency between them. They sit in the same directory, but in this ecosystem each file is its own module β a sibling reference still needs an import β so the missing import edge is real: the coupling runs through shared behaviour, not a declared dependency. If they duplicate structure, extract the common part into one unit; otherwise the coupling is hidden and worth breaking.
Change coupling: fabric_doc_open.erl β fabric_doc_open_revs.erl src/fabric/src/fabric_doc_open.erlβ `src/fabric/src/fabric_doc_open.erl` and `src/fabric/src/fabric_doc_open_revs.erl` change together 57% of the time (8 of the 14 commits that touched whichever of the two files changed less often, counting a file under its earlier names as well) with no explicit dependency between them. They sit in the same directory, but in this ecosystem each file is its own module β a sibling reference still needs an import β so the missing import edge is real: the coupling runs through shared behaviour, not a declared dependency. If they duplicate structure, extract the common part into one unit; otherwise the coupling is hidden and worth breaking.
Change coupling: loop.js β util.js share/server/loop.jsβ `share/server/loop.js` and `share/server/util.js` change together 54% of the time (7 of the 13 commits that touched whichever of the two files changed less often, counting a file under its earlier names as well). Neither file is a module β they declare no import/export and are loaded together into one shared scope by a script tag or a bundle β so there is no dependency edge that COULD be declared between them, and this pass cannot tell a real relationship from a coincidence of release. Read the pair before acting: if one defines what the other uses through the shared global, that is the coupling, and making it explicit (a module boundary, or one named object they both go through) is what removes it; if they duplicate structure, extract the common part; if neither holds, the co-change is incidental and there is nothing to do.
Change coupling: util.js β views.js share/server/util.jsβ `share/server/util.js` and `share/server/views.js` change together 50% of the time (6 of the 12 commits that touched whichever of the two files changed less often, counting a file under its earlier names as well). Neither file is a module β they declare no import/export and are loaded together into one shared scope by a script tag or a bundle β so there is no dependency edge that COULD be declared between them, and this pass cannot tell a real relationship from a coincidence of release. Read the pair before acting: if one defines what the other uses through the shared global, that is the coupling, and making it explicit (a module boundary, or one named object they both go through) is what removes it; if they duplicate structure, extract the common part; if neither holds, the co-change is incidental and there is nothing to do.
Medium: use-defused-xml build-aux/show-test-results.py:8β The Python documentation recommends using `defusedxml` instead of `xml` because the native Python `xml` library is vulnerable to XML External Entity (XXE) attacks. These attacks can leak confidential data and "XML bombs" can cause denial of service. This is a semgrep security-AUDIT rule: it reports that a sensitive construct is present, not that it is exploitable here. Confirm whether this site handles untrusted input or is reachable across a trust boundary β and apply the change where it is; where the construct is required by the platform or protocol it calls into, and carries no untrusted data (a syscall/FFI shim, a build- or debug-gated tool, a fixed local surface), record the review and leave the code as it is.
Medium: dangerous-subprocess-use-tainted-env-args dev/run:793β Detected subprocess function 'check_call' with user controlled data. A malicious actor could leverage this to perform command injection. You may consider using 'shlex.quote()'. This is a semgrep security-AUDIT rule: it reports that a sensitive construct is present, not that it is exploitable here. Confirm whether this site handles untrusted input or is reachable across a trust boundary β and apply the change where it is; where the construct is required by the platform or protocol it calls into, and carries no untrusted data (a syscall/FFI shim, a build- or debug-gated tool, a fixed local surface), record the review and leave the code as it is.
Medium: dangerous-subprocess-use-tainted-env-args dev/run:896β Detected subprocess function 'Popen' with user controlled data. A malicious actor could leverage this to perform command injection. You may consider using 'shlex.quote()'. This is a semgrep security-AUDIT rule: it reports that a sensitive construct is present, not that it is exploitable here. Confirm whether this site handles untrusted input or is reachable across a trust boundary β and apply the change where it is; where the construct is required by the platform or protocol it calls into, and carries no untrusted data (a syscall/FFI shim, a build- or debug-gated tool, a fixed local surface), record the review and leave the code as it is.
LLM evaluation failed β JSON parse error: Expected end of string, but instead reached end of data. Path: $.findings[0].suggestion | LineNumber: 0 | BytePositionInLine: 1042.
D20 Β· ADR QualityΒ· Decision/consequences are cut by the scanner clip marker mid-terminology definition ("min_backoff_penalty" Β· Γ1
Decision/consequences are cut by the scanner clip marker mid-terminology definition ("min_backoff_penalty": ...), so the explicit replicator implementation decision and its trade-offs fall past the visible portion src/docs/rfcs/016-fdb-replicator.mdβ Add a Consequences section covering the trade-offs of using couch_jobs over individual cluster nodes, such as reduced single-node job churn limits vs. centralized rescheduling, and how to handle replication_id collisions in the described state transitions
D38 Β· OSV Dependency VulnerabilitiesΒ· Medium CVE Β· Γ1
Medium CVE: [GHSA redacted] src/mango/requirements.txtβ requests 2.32.4: [GHSA redacted] β upgrade to 2.33.0
Off-boarding risk: anonymized user #1 β If anonymized user #1 becomes unavailable, 46 significant file(s) lose their only recent owner: src/mem3/src/mem3_rep.erl, src/couch_mrview/src/couch_mrview_util.erl, src/couch/src/couch_btree.erl, src/couch/src/couch_server.erl, src/couch/src/couch_db_updater.erl, src/couch_quickjs/src/couch_quickjs_scanner_plugin.erl, src/fabric/src/fabric_ring.erl, src/fabric/src/fabric.erl (+38 more). Pair on, review, or document these before any departure.
Off-boarding risk: anonymized user #2 β If anonymized user #2 becomes unavailable, 17 significant file(s) lose their only recent owner: src/couch/src/couch_httpd_auth.erl, extra/nouveau/src/main/java/org/apache/couchdb/nouveau/lucene/LuceneIndex.java, extra/nouveau/src/main/java/org/apache/couchdb/nouveau/core/IndexManager.java, src/nouveau/src/nouveau_api.erl, src/nouveau/src/nouveau_index_updater.erl, src/jwtf/src/jwtf.erl, src/couch_mrview/src/couch_mrview_compactor.erl, src/nouveau/src/nouveau_fabric_search.erl (+9 more). Pair on, review, or document these before any departure.
Off-boarding risk: anonymized user #3 β If anonymized user #3 becomes unavailable, 3 significant file(s) lose their only recent owner: src/mango/src/mango_selector.erl, src/mango/src/mango_cursor_special.erl, src/mango/src/mango_idx_special.erl. Pair on, review, or document these before any departure.
Low: dynamic-urllib-use-detected dev/run:1113β Detected a dynamic value being used with urllib. urllib supports 'file://' schemes, so a dynamic value controlled by a malicious actor may allow them to read arbitrary files. Audit uses of urllib calls to ensure user data cannot control the URLs, or consider using the 'requests' library instead. This is a semgrep security-AUDIT rule: it reports that a sensitive construct is present, not that it is exploitable here. Confirm whether this site handles untrusted input or is reachable across a trust boundary β and apply the change where it is; where the construct is required by the platform or protocol it calls into, and carries no untrusted data (a syscall/FFI shim, a build- or debug-gated tool, a fixed local surface), record the review and leave the code as it is.
Low: subprocess-shell-true dev/run:1353β Found 'subprocess' function 'Popen' with 'shell=True'. This is dangerous because this call will spawn the command using a shell process. Doing so propagates current shell settings and variables, which makes it much easier for a malicious actor to execute commands. Use 'shell=False' instead. This is a semgrep security-AUDIT rule: it reports that a sensitive construct is present, not that it is exploitable here. Confirm whether this site handles untrusted input or is reachable across a trust boundary β and apply the change where it is; where the construct is required by the platform or protocol it calls into, and carries no untrusted data (a syscall/FFI shim, a build- or debug-gated tool, a fixed local surface), record the review and leave the code as it is.
Low: subprocess-shell-true dev/run:1357β Found 'subprocess' function 'Popen' with 'shell=True'. This is dangerous because this call will spawn the command using a shell process. Doing so propagates current shell settings and variables, which makes it much easier for a malicious actor to execute commands. Use 'shell=False' instead. This is a semgrep security-AUDIT rule: it reports that a sensitive construct is present, not that it is exploitable here. Confirm whether this site handles untrusted input or is reachable across a trust boundary β and apply the change where it is; where the construct is required by the platform or protocol it calls into, and carries no untrusted data (a syscall/FFI shim, a build- or debug-gated tool, a fixed local surface), record the review and leave the code as it is.
D11 Β· Test ReliabilityΒ· Test reliability not included Β· Γ1
Test reliability not included β Test source is present (.exs, .erl, .py, .ex) but the built-in reliability runner does not support this repository's ecosystem, so flakiness couldn't be assessed. Not scored β this is a gap in the analyzer's language coverage, not a finding about this repository.
complexity unreadable for .erl, .exs, .hrl, .java, .py β churn × complexity hotspots could not be measured β A hotspot is churn × complexity. Churn was measured (6774 line(s) across the 90-day window), but no complexity could be computed for .erl, .exs, .hrl, .java, .py, which is most of this repository's production code β so every churned file would score as complexity 0 and the hotspot list would be empty no matter how tangled the code is. Not scored β this is a gap in the analysis run, not a finding about this repository.
D28 Β· Secrets (history)Β· Rotate the exposed credentials Β· Γ1
Rotate the exposed credentials β git history can't be un-committed β Some of these secrets are in git HISTORY: deleting the file does not remove them (the commit persists on every clone, fork and backup). The remediation is to ROTATE each historically-exposed credential and treat it as compromised β not to delete the file. Rewriting history is disruptive and unreliable across existing forks. (Working-tree-only secrets β no commit β can instead be removed from the file and moved to a secret store.)
D34 Β· Knowledge FreshnessΒ· Further orphaned files (smaller) Β· Γ1
Further orphaned files (smaller) β 33 smaller file(s) also have no living knowledge β folded into the freshness score and metrics rather than listed individually (36 orphaned of 343 analysed files in total, counted over production source files of roughly 100 lines or more, excluding tests, vendored, generated and example/demo trees, largest first).
D8 Β· Code CoverageΒ· Coverage not included Β· Γ1
Coverage not included β suite not readable by the collector β Coverage NOT MEASURED: test source is present (.exs, .erl, .py, .ex) but the built-in coverage collector has no runner for this repository's ecosystem β so this suite was never executed by it. Not scored β this is a gap in the analyzer's language coverage, not a defect in the repo. To have real coverage read, produce a coverage report in a standard format (lcov β `mix test --cover` with `excoveralls` (`mix coveralls.lcov`), or `rebar3 do eunit --cover, cover` (or covertool for Cobertura XML), or `coverage run -m pytest` then `coverage xml`) into the repo working tree before the scan β a CI step is the usual place, since the artefact is commonly gitignored.
Info β 2 finding(s)
D12 Β· Dependency HygieneΒ· Dependency hygiene not measured Β· Γ1
Dependency hygiene not measured β no supported dependency manifest was read β No dependency manifest this pass reads for hygiene (a Python pyproject.toml/requirements.txt (pip/uv/Poetry), a Swift Package.swift/Package.resolved, a Cargo manifest, a Go module (go.mod/go.sum), a Gradle version catalogue, a Maven POM, an sbt build (build.sbt), composer.json, package.json, a Dart pubspec.yaml, a rebar.config / erlang.mk DEPS (Hex), a Ruby Gemfile/Gemfile.lock or .gemspec (Bundler/RubyGems)) was found in this repository, so no package was assessed. Zero packages read is NOT a clean dependency tree, so this is NOT SCORED β a gap in the analyzer, not a verdict about this repository. This row is about dependency HYGIENE β outdated, deprecated or unmaintained direct dependencies; known CVEs in the same dependency graph are a separate question, reported under D38 wherever the manifest is OSV-readable.
D22 Β· Internal API ConsistencyΒ· No exposed public API Β· Γ1
No exposed public API β No intentionally-exposed types (IsPackable or .Contracts) to evaluate.
Appendix B β Reproduction & audit trail
Every external tool invocation behind a deep-scan dimension β the tool, its captured version, the exact command, how many findings it yielded, and a link to the retained raw output. To reproduce any finding: check out the same commit and run the command shown (repo-relative β never an absolute scratch path). The complete raw scanner output is retained verbatim under artifacts/raw/ (indexed in artifacts/raw/index.json); per-invocation exit codes and wall-clock durations are in sidecar.json β kept out of this table so the rendered report stays byte-identical across runs of the same commit.
trivy: not applicable β No JS/npm manifest or lockfile found outside build output (package.json, package-lock.json, yarn.lock, pnpm-lock.yaml, bun.lockb); no JS dependencies to scan.
provenance: not applicable β No CI/build pipeline found (.github/.forgejo/.gitea workflows, .gitlab-ci.yml, azure-pipelines*.yml, .pipelines/, .vsts-ci/, Jenkinsfile, .circleci); there is no build to attest provenance for.
disclosure: not applicable β No vulnerability-disclosure policy file found (SECURITY.md/.markdown/.rst/.txt at root or under .github/.forgejo/.gitea/docs, .well-known/security.txt). A coordinated-disclosure policy may live off-repo, so this is not evidenced rather than failed.
runtime-hardening: not applicable β No Kubernetes/orchestration workloads found in the repository manifests; network egress policy is a cluster-native control that may live at the platform/firewall layer, so there is nothing to assess here.
runtime-hardening: not applicable β No Kubernetes/orchestration workloads found in the repository manifests; seccomp/AppArmor/SELinux confinement is a workload-level control, so there is nothing to assess here.
runtime-hardening: not applicable β No Kubernetes/orchestration workloads found in the repository manifests; runtime threat-detection and admission-control policy are cluster-level controls, so there is nothing to assess here.
0
β
Run 019fcfc2-76b9-7bf0-ab9c-73a5e7b12468 Β· every finding is also locatable in findings.md, and the complete scoring record (with exit codes + durations) in sidecar.json.
Issues: 44 Β· Warnings: 125 Β· Recommendations: 11 Β· Info: 2 β Appendix A Β· all findings Β· full markdown report.
Generated by Watchdog β deterministic code-health analysis. 05-08-2026 @ 02:30 UTC.
Downloadable artifacts
Machine-readable and reproducible from this commit + frozen rubric β drop them straight into a contract appendix, a CRA dossier, or a downstream SCA / VEX tool.