Darklang main repo, including language, backend, and infra
This report summarizes scanner evidence for darklang/dark, a F# project with 2,175 GitHub stars. SynthScan examined 25,621 lines of code across 144 source files, recording 89 pattern matches distributed across 8 syntactic categories. The legacy adjusted pattern signal is 4.0 (Low pattern signal); it is not an authorship estimate.
Use the findings to ask whether maintainers can explain intent, verify dependencies, simplify unnecessary scaffolding, and focus review effort. Risk Payload v1 adds ownership, supply-chain, over-engineering, and review-effort vectors when available. These are prompts for human verification, not probabilities, security findings, or measured maintenance costs.
Use each vector to guide manual verification of the underlying findings.
Payload schema: 1.0.0 · Engine: 2.0.0 · Scoring: heuristic-density-v1 · Scan date: 2026-10-31.
Can maintainers explain intent, assumptions, and trade-offs? 82 finding(s).
Are imports declared and package/API names verified? 1 finding(s).
Are wrappers, guards, and repeated structures necessary? 59 finding(s).
Which changes need focused human review? 89 finding(s).
This chart tracks the legacy adjusted pattern score across scan runs. Changes can reflect source changes, scan coverage, or detector/scoring versions; they do not measure AI adoption or prove that a team refactored code. Compare runs only when their scoring versions are compatible. The dashed line tracks the raw pattern-hit count.
Groups findings by configured severity weight. Severity is not a confidence estimate, security rating, or proof that a package is missing. Verify imports against the project's manifests and inspect each finding in its local design context.
This horizontal bar chart shows where configured pattern scores accumulate across directories. Treat the bars as locations to inspect, not as evidence of authorship or code quality. Use the file-level findings to decide whether a directory needs a focused ownership, dependency, complexity, or review check.
The scanner identified 89 distinct pattern matches across 8 syntactic categories. Each entry below represents a discrete location in the source code where the engine recorded a detector match to inspect in context. Expand any category row to inspect the individual file paths, line numbers, code snippets, and the lexical context (CODE, COMMENT, or STRING) in which each match was detected.
Reading the findings table: The Severity column indicates the configured finding weight (CRITICAL / HIGH / MEDIUM / LOW). The Context column identifies whether the match occurred inside executable code, an inline comment, or a string literal — legacy comment-context matches receive a ×1.5 score weight. The ⚡ bolt icon marks clustered matches: three or more patterns within a 10-line window, each receiving an additional ×1.5 density multiplier under the legacy scoring model.
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW⚡ | scripts/testing/test-build-planning.py | 104 | def test_fsharp_source_takes_a_quick_build_in_dev_and_a_full_one_in_ci(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 114 | def test_fsproj_takes_a_full_build(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 117 | def test_dark_package_reloads_packages(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 121 | def test_migration_runs_migrations(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 124 | def test_unrecognised_file_routes_nowhere(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 138 | def test_fsharp_change_reaches_the_package_reload(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 148 | def test_full_build_replaces_the_quick_one(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 153 | def test_tests_are_not_planned_unless_asked_for(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 161 | def test_a_full_build_satisfies_a_file_wanting_a_quick_one(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 167 | def test_a_quick_build_does_not_satisfy_a_file_wanting_a_full_one(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 174 | def test_editor_temp_files_are_ignored(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 183 | def test_gitignored_paths_are_ignored(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 191 | def test_no_index_means_build_everything(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 195 | def test_a_touched_file_with_the_same_contents_is_not_changed(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 204 | def test_an_edited_file_is_changed(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 211 | def test_a_deleted_file_is_changed(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 218 | def test_roots_narrow_the_comparison(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 227 | def test_a_file_needing_no_action_stops_being_offered(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 399 | def test_a_lint_only_build_does_not_claim_the_tree_is_built(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 405 | def test_a_skipped_build_step_does_not_count_as_built(self): | CODE |
| LOW⚡ | scripts/testing/test-build-planning.py | 411 | def test_an_interrupted_build_is_reported_rather_than_believed(self): | CODE |
| LOW | scripts/testing/test-build-planning.py | 240 | def test_recording_one_file_does_not_claim_the_others(self): | CODE |
| LOW | scripts/testing/test-build-planning.py | 251 | def test_recording_with_no_baseline_is_a_no_op(self): | CODE |
| LOW | scripts/testing/test-build-planning.py | 259 | def test_merge_refreshes_by_content_not_timestamp(self): | CODE |
| LOW | scripts/testing/test-build-planning.py | 283 | def test_merge_leaves_uncovered_files_looking_changed(self): | CODE |
| LOW | scripts/testing/test-build-planning.py | 303 | def test_a_finished_build_is_ok_and_the_tree_is_clean(self): | CODE |
| LOW | scripts/testing/test-build-planning.py | 315 | def test_a_failed_build_is_fatal_for_anything_downstream(self): | CODE |
| LOW | scripts/testing/test-build-planning.py | 329 | def test_reverting_a_change_that_broke_the_build_unsticks_you(self): | CODE |
| LOW | scripts/testing/test-build-planning.py | 354 | def test_an_edit_after_a_build_warns_but_is_not_fatal(self): | CODE |
| LOW | scripts/testing/test-build-planning.py | 369 | def test_either_configuration_counts_as_built(self): | CODE |
| LOW | scripts/testing/test-build-planning.py | 377 | def test_a_wiped_build_directory_beats_a_clean_index(self): | CODE |
| LOW | scripts/testing/test-build-planning.py | 437 | def test_release_dockerfile_sdk_matches_global_json(self): | CODE |
| LOW | .circleci/test_collect_diagnostics.py | 40 | def test_success_keeps_diagnostics_but_not_databases_or_linked_files(self): | CODE |
| LOW | .circleci/test_collect_diagnostics.py | 64 | def test_large_logs_keep_middle_errors_and_all_bytes_beyond_old_budget(self): | CODE |
| LOW | .circleci/test_collect_diagnostics.py | 77 | def test_every_report_is_kept_even_beyond_old_file_count_limit(self): | CODE |
| LOW | .circleci/test_collect_diagnostics.py | 88 | def test_empty_rundir_still_produces_a_manifest(self): | CODE |
| LOW | .circleci/test_collect_diagnostics.py | 93 | def test_recollection_replaces_old_logs_without_archiving_its_own_output(self): | CODE |
| LOW | .circleci/test_collect_diagnostics.py | 115 | def test_successful_checks_and_unrelated_databases_are_not_saved(self): | CODE |
| LOW⚡ | .circleci/test_collect_diagnostics.py | 127 | def test_failed_split_run_saves_both_halves_stores(self): | CODE |
| LOW⚡ | .circleci/test_collect_diagnostics.py | 136 | def test_successful_run_has_no_database_artifacts(self): | CODE |
| LOW⚡ | .circleci/test_collect_diagnostics.py | 144 | def test_failure_snapshot_includes_committed_wal_and_survives_collection(self): | CODE |
| LOW | .circleci/test_collect_diagnostics.py | 164 | def test_missing_corrupt_and_outside_databases_are_reported(self): | CODE |
| LOW | .circleci/test_collect_diagnostics.py | 179 | def test_backup_timeout_is_reported_instead_of_a_partial_snapshot(self): | CODE |
| LOW | .circleci/test_collect_diagnostics.py | 188 | def test_interrupted_check_is_saved_and_timeout_exit_is_preserved(self): | CODE |
| LOW | .circleci/test_collect_diagnostics.py | 199 | def test_real_gate_runner_records_only_failed_gate_stores(self): | CODE |
| LOW | .circleci/test_collect_diagnostics.py | 227 | def test_every_registered_gate_has_an_explicit_database_mapping(self): | STRING |
| LOW | .circleci/test_collect_diagnostics.py | 233 | def test_first_day_keeps_failed_stores_and_removes_successful_stores(self): | STRING |
| LOW⚡ | .circleci/test_artifact_validation.py | 107 | def test_success_returns_without_waiting_for_watchdog_and_stops_timers(self): | STRING |
| LOW⚡ | .circleci/test_artifact_validation.py | 117 | def test_command_failure_keeps_exit_code_and_output(self): | STRING |
| LOW⚡ | .circleci/test_artifact_validation.py | 124 | def test_sigkill_is_not_misreported_as_a_timeout(self): | STRING |
| LOW⚡ | .circleci/test_artifact_validation.py | 130 | def test_timeout_stops_command_and_child_holding_output_pipe(self): | STRING |
| LOW⚡ | .circleci/test_artifact_validation.py | 136 | def test_output_comparison_still_works_without_waiting_for_each_timer(self): | STRING |
| LOW⚡ | .circleci/test_artifact_validation.py | 142 | def test_success_cleans_up_background_child_holding_output_pipe(self): | STRING |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | install.sh | 1 | #!/bin/sh | COMMENT |
| LOW | backend/testfiles/data/naughty-strings.txt | 101 | # Special Characters | COMMENT |
| LOW | backend/testfiles/data/naughty-strings.txt | 121 | | COMMENT |
| LOW | backend/testfiles/data/naughty-strings.txt | 201 | COMMENT | |
| LOW | .devcontainer/devcontainer.json | 81 | "workspaceMount": "source=${localWorkspaceFolder},target=/home/dark/app,type=bind,consistency=delegated", // for local | COMMENT |
| LOW | later/experiments/armv7-aot/time64-shim.c | 1 | // Supplies the glibc __*_time64 symbols for 32-bit ARM builds against an | COMMENT |
| LOW | later/experiments/armv7-aot/time64-shim.c | 21 | // | COMMENT |
| LOW | later/backend/src/Wasm/build.sh | 1 | #!/usr/bin/env bash | COMMENT |
| LOW | later/backend/src/Wasm/make-store.sh | 1 | #!/usr/bin/env bash | COMMENT |
| LOW | later/backend/src/Wasm/make-store.sh | 61 | while read -r t; do | COMMENT |
| LOW | later/backend/src/Wasm/wwwroot/site.js | 1 | // Shared by the pages: how to call into the runtime, how to boot it and load the store, | COMMENT |
| LOW | later/backend/src/Wasm/wwwroot/site.js | 41 | }); | COMMENT |
| LOW | later/.vscode/launch-extension.json | 1 | // RESTORE: .vscode/launch.json | COMMENT |
| LOW | .circleci/config.yml | 1 | version: 2.1 | COMMENT |
| LOW | .circleci/config.yml | 41 | # - dark-base is ubuntu:24.04, and an AOT binary built there requires | COMMENT |
| LOW | .circleci/config.yml | 341 | # nothing consumed. | COMMENT |
| LOW | .circleci/config.yml | 401 | rm -rf clis && mkdir clis | COMMENT |
| LOW | .circleci/config.yml | 541 | objdump -T "$(ls clis/darklang-*-linux-x64)" \ | COMMENT |
| LOW | .circleci/config.yml | 721 | # When switched on, this tags every green merge to main with the next v0.0.N, | COMMENT |
| LOW | .circleci/config.yml | 741 | requires: | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | scripts/perf/view-telemetry.py | 81 | except: | CODE |
| HIGH | .circleci/test_artifact_validation.py | 89 | except ProcessLookupError: | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | scripts/perf/view-telemetry.py | 46 | CODE | |
| LOW | scripts/perf/_bench.py | 314 | CODE | |
| LOW | scripts/perf/_bench.py | 412 | CODE | |
| LOW | scripts/perf/_bench.py | 582 | CODE | |
| LOW | .circleci/collect_diagnostics.py | 69 | CODE | |
| LOW | .circleci/collect_diagnostics.py | 145 | CODE | |
| LOW | .circleci/collect_diagnostics.py | 176 | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | scripts/perf/_bench.py | 161 | except Exception: | CODE |
| LOW | scripts/perf/_bench.py | 327 | except Exception: | CODE |
| LOW | scripts/perf/_bench.py | 362 | except Exception: | CODE |
| MEDIUM | scripts/perf/_bench.py | 356 | def commit(): | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | scripts/perf/_bench.py | 92 | # `packages/` would be loaded as package items, and a loose file elsewhere drifts from the harness that | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | later/scripts/launch-extension.sh | 5 | # Usage: | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | later/scripts/testing/test-interactive.py | 6 | CODE |