World's first open-source enterprise world model.
This report summarizes scanner evidence for deeplethe/utopia, a Rust project with 8,654 GitHub stars. SynthScan examined 361,077 lines of code across 749 source files, recording 367 pattern matches distributed across 7 syntactic categories. The legacy adjusted pattern signal is 1.1 (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? 353 finding(s).
Are imports declared and package/API names verified? 11 finding(s).
Are wrappers, guards, and repeated structures necessary? 5 finding(s).
Which changes need focused human review? 367 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 367 distinct pattern matches across 7 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 | docker-compose.yml | 1 | services: | COMMENT |
| LOW | docker-compose.yml | 41 | app: | COMMENT |
| LOW | crates/utopia-ingest/src/EquivalentUnifiedIdeograph.txt | 1 | # EquivalentUnifiedIdeograph-18.0.0.txt | COMMENT |
| LOW | crates/utopia-ingest/src/EquivalentUnifiedIdeograph.txt | 21 | # | COMMENT |
| LOW | crates/utopia-ingest/src/EquivalentUnifiedIdeograph.txt | 381 | 31DC ; 200CB # CJK STROKE PZ | COMMENT |
| LOW | crates/utopia-ingest/src/EquivalentUnifiedIdeograph.txt | 401 | # 31CB; CJK STROKE HZZP | COMMENT |
| LOW | crates/utopia-ingest/src/html.rs | 321 | (structural_hits >= 2 || (structural_hits >= 1 && has_auth_fields)) | COMMENT |
| LOW | crates/utopia-ingest/src/chunker.rs | 1 | //! 分块:把文档块打包成抽取一次能看见的单元。 | COMMENT |
| LOW | crates/utopia-ingest/src/lookalikes.rs | 1 | //! PDF 文字层里长得一样、码位不同的字:部首与连字换回它们显示的那个字。 | COMMENT |
| LOW | crates/utopia-ingest/src/transcript.rs | 1 | //! 转写服务交回的分段 → 一份正文 + 出处(0040 第三刀)。 | COMMENT |
| LOW | crates/utopia-ingest/src/provenance.rs | 1 | //! 一段文字从哪来(0040):原文写的、从扫描页上认出来的、从录音里转出来的、还是模型看图说的。 | COMMENT |
| LOW | crates/utopia-ingest/src/table.rs | 1 | //! 表格从 DOM 直接渲染成带真表头的 Markdown 表(0039/0040 那一层的活)。 | COMMENT |
| LOW | crates/utopia-ingest/src/blocks.rs | 1 | //! 文档块:把解析器出的 Markdown 读成**顶层块**的序列,每块带着自己在原文里的 | COMMENT |
| LOW | crates/utopia-ingest/src/mineru.rs | 1 | //! MinerU 读出来的版面(`content_list`)→ 一份正文 + 按页的出处段(0040 第二刀)。 | COMMENT |
| LOW | crates/utopia-ingest/src/ontology_rdf.rs | 1 | //! OWL / RDFS 文件的解析与**投影**。 | COMMENT |
| LOW | crates/utopia-ingest/src/ontology_rdf.rs | 41 | /// `A part_of B` 与 `B part_of A` 同时存在到底是矛盾还是正常,无从判起 | COMMENT |
| LOW | crates/utopia-ingest/src/ontology_rdf.rs | 61 | ///("哪个都行")。倒进同一个 Vec 而不记这一位, | COMMENT |
| LOW | crates/utopia-ingest/src/ontology_rdf.rs | 901 | /// XML 片段、XML 内部标识。跳过它保护不了任何数据(本来就不会有值), | COMMENT |
| LOW | crates/utopia-ingest/src/ontology_rdf.rs | 941 | Some(dt) if dts.iter().all(|d| *d == Some(dt)) => RangeMapping::Datatype(dt), | COMMENT |
| LOW | …e/tests/a_row_a_rule_implied_follows_its_statements.rs | 1 | //! 迁移 0101:这之前规则算出的行,见证跟着它读的陈述走。 | COMMENT |
| LOW | …topia-store/tests/a_queued_job_wakes_an_idle_worker.rs | 1 | //! #517:入队的任务不等轮询,空闲的 worker 立刻醒。 | COMMENT |
| LOW | …tore/tests/a_rewritten_row_gets_its_statements_back.rs | 1 | //! 迁移 0096:#967 之前改写出来的行找回它由哪些陈述算出,之后物化重算出的重复行作废。 | COMMENT |
| LOW | …-store/tests/a_corrected_row_says_which_end_changed.rs | 1 | //! 迁移 0099:这一列之前人改过区间的行,从审计里算出改的是哪一端。 | COMMENT |
| LOW | crates/utopia-store/tests/store/human_type_decisions.rs | 1 | //! 人拍过板的类型,引擎不许改——打在真库上。 | COMMENT |
| LOW | …tore/tests/store/a_dirty_ledger_stops_the_migration.rs | 1 | //! 0070 的 §0 前置检查:往一个**已经有**跨库坏行的库上装 | COMMENT |
| LOW | …e/tests/store/a_fact_says_where_its_dates_came_from.rs | 1 | //! 一条事实的日期从哪来(#970)。图谱工具的每条事实行带 `[n]`,打开的是那条事实读出来的 | COMMENT |
| LOW | …ia-store/tests/store/derived_facts_are_second_class.rs | 1 | //! R1 打在真库上。纯逻辑那部分(`utopia-reason::derive`)已有 12 个用例, | COMMENT |
| LOW | …ests/store/a_deferred_job_does_not_spend_its_budget.rs | 1 | //! `#526` 的 `Deferred` 标记走通的端到端验证。 | COMMENT |
| LOW | …tes/utopia-store/tests/store/a_deletion_is_an_event.rs | 1 | //! #268:删除文档是认知轴上的一个事件,不是减法。 | COMMENT |
| LOW | …utopia-store/tests/store/the_backstop_can_be_raised.rs | 1 | //! 外层兜底**调得上去**,而且两处缺省说的是同一个数(迁移 0011)。 | COMMENT |
| LOW | crates/utopia-store/tests/store/ended_when_unknown.rs | 1 | //! 「结束了,但不知道哪天」这个状态,打在真库上。 | COMMENT |
| LOW | …tes/utopia-store/tests/store/a_review_has_a_summary.rs | 1 | //! 审核台的总览(#377),打在真库上。 | COMMENT |
| LOW | crates/utopia-store/tests/store/graph_changes.rs | 1 | //! `graph_changes` 的账本推导,打在真库上。 | COMMENT |
| LOW | …sts/store/a_token_is_the_person_but_not_all_of_them.rs | 1 | //! 个人访问令牌(0014 / 迁移 0017)。 | COMMENT |
| LOW | …tests/store/a_forward_reference_is_judged_at_commit.rs | 1 | //! 同表自指的前向引用在**提交边界**上判(0070 §1b 递延复合外键)。 | COMMENT |
| LOW | …tes/utopia-store/tests/store/a_decision_records_why.rs | 1 | //! 一次裁决记下的是「为什么」(0026),打在真库上。 | COMMENT |
| LOW | …sts/store/a_declared_disjointness_keeps_names_apart.rs | 1 | //! 0016 B3:`owl:disjointWith` 进消解——本体声明了互斥的两个类,同名也不进审阅队列。 | COMMENT |
| LOW | …/utopia-store/tests/store/axioms_reach_the_database.rs | 1 | //! 本体声明的公理要真的落到库里——打在真库上。 | COMMENT |
| LOW | crates/utopia-store/tests/store/an_agent_can_record.rs | 1 | //! 经 MCP 提的记忆,审核卡上要认得出是**哪一个 agent**(#304 / 0026)。 | COMMENT |
| LOW | …store/tests/store/a_cycle_search_that_stops_says_so.rs | 1 | //! 环没搜完要说出来,而且没搜到的不算没了(#642),打在真库上。 | COMMENT |
| LOW | …tests/store/a_late_value_takes_its_place_in_history.rs | 1 | //! 单值属性的新值乱序到达,年表仍然一段接一段。 | COMMENT |
| LOW | …store/tests/store/blocked_for_entity_respects_as_of.rs | 1 | //! 面板的「没落地的派生」按记录轴回放(#307 / 0019)。 | COMMENT |
| LOW | …ts/store/a_source_reaches_only_where_it_was_granted.rs | 1 | //! 数据源授权(0014)。 | COMMENT |
| LOW | …pia-store/tests/store/a_batch_decides_like_a_person.rs | 1 | //! 批量裁决与按类型筛重复项(#428),打在真库上。 | COMMENT |
| LOW | …es/utopia-store/tests/store/a_rule_concludes_a_type.rs | 1 | //! 业务规则打在真库上(0021 / #277)。 | COMMENT |
| LOW | …-store/tests/store/adopting_an_iri_adopts_the_shape.rs | 1 | //! 一个类被词汇表认领之后,**形状要跟着说实话**。 | COMMENT |
| LOW | …e/tests/store/a_corrected_time_keeps_its_statements.rs | 1 | //! 人改一条物化出来的行的区间(302),改完它仍是那条陈述算出来的行(#899 的第三个改写者)。 | COMMENT |
| LOW | …utopia-store/tests/store/a_clash_needs_both_at_once.rs | 1 | //! 互斥违规(asymmetry、functional、inverse_functional)打在真库上(#624、#634)。 | COMMENT |
| LOW | …topia-store/tests/store/a_governor_reads_the_ledger.rs | 1 | //! 治理先读台账(0025),打在真库上。 | COMMENT |
| LOW | …store/tests/store/a_cycle_is_keyed_by_all_its_facts.rs | 1 | //! 环按整条路径定键(#641),打在真库上。 | COMMENT |
| LOW | …-store/tests/store/cross_kb_provenance_fails_closed.rs | 1 | //! 出处链不许跨库(0070):新行被触发器挡下,存量坏行让导出整份拒绝。 | COMMENT |
| LOW | …s/utopia-store/tests/store/no_predicate_still_shows.rs | 1 | //! 没有谓词的事实**不能从读路径上消失**(见 `facts.predicate_id`)。 | COMMENT |
| LOW | …s/utopia-store/tests/store/no_predicate_still_shows.rs | 261 | None, | COMMENT |
| LOW | …tests/store/a_batch_gathers_its_neighbours_in_order.rs | 1 | //! 类型消解的近邻那一路(#514),打在真库上。 | COMMENT |
| LOW | …pia-store/tests/store/a_wrong_time_can_be_corrected.rs | 1 | //! 人工修正一条事实的有效区间(302),打在真库上。 | COMMENT |
| LOW | …pia-store/tests/store/a_retraction_leaves_the_graph.rs | 1 | //! #202:「数据错了」要真的把事实撤掉,队列也得诚实。 | COMMENT |
| LOW | …re/the_nearest_chunk_is_found_however_it_is_reached.rs | 1 | //! 向量召回的答案不随计划变(0035 / #512),打在真库上。 | COMMENT |
| LOW | …ia-store/tests/store/history_shows_the_merge_itself.rs | 1 | //! 合并本身也进这条认识轴(#337 的时钟接进 `entity_history`),打在真库上。 | COMMENT |
| LOW | …pia-store/tests/store/facts_corroborate_an_identity.rs | 1 | //! 画像分不开同名的人时,事实能分开(#331,续 #270/#329)。 | COMMENT |
| LOW | …re/tests/store/exported_references_never_cross_a_kb.rs | 1 | //! 写入侧:导出会触碰的每条边都被 0070 的外键/触发器挡住;导出侧体检 | COMMENT |
| 286 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | scripts/bench/truth/ai-timeline.duplicates.json | 1348 | "right": "images generated by GPT Image", | CODE |
| HIGH | scripts/bench/corpora/ai-timeline.json | 49 | "GPT-4\n\nGenerative Pre-trained Transformer 4 (GPT-4) is a large language model developed by OpenAI and the fourth i | CODE |
| HIGH | scripts/bench/corpora/ai-timeline.json | 53 | "ChatGPT\n\nChatGPT is a generative AI chatbot developed by OpenAI. Originally released on November 30, 2022, the pro | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | …tes/utopia-store/tests/store/a_decision_records_why.rs | 61 | for (id, name) in [(a, "Acme"), (b, "Acme Corp")] { | CODE |
| LOW | …tes/utopia-store/tests/store/a_decision_records_why.rs | 105 | right: side(f.b, "Acme Corp"), | CODE |
| LOW | …tes/utopia-store/tests/store/a_decision_records_why.rs | 153 | "left": "Acme", "right": "Acme Corp", "score": 0.6, | CODE |
| LOW | …tes/utopia-store/tests/store/a_decision_records_why.rs | 181 | serde_json::json!({ "left": "Acme", "right": "Acme Corp", "score": 0.6 }), | CODE |
| LOW | …ore/an_automatic_merge_is_gated_by_what_it_can_undo.rs | 85 | for (id, name) in [(a, "Acme"), (b, "Acme Corp"), (c1, "Alice"), (c2, "Bob")] { | CODE |
| LOW | crates/utopia-server/src/api/tools_graph.rs | 1444 | vec![node("Acme", None, 3), node("Acme Corp", None, 9)], | CODE |
| LOW | crates/utopia-server/src/api/tools_graph.rs | 1450 | ["Acme", "Acme Corp"], | CODE |
| LOW | crates/utopia-server/src/api/oidc_routes.rs | 1030 | assert!(super::secure_url("https://user:password@example.org", false).is_err()); | CODE |
| LOW | crates/utopia-extract/src/open.rs | 931 | let n = r#"["Acme", "Acme Corp", ["Acme Corp is based in Harbor."]]"#; | CODE |
| LOW | …027-an-automatic-merge-is-gated-by-what-it-can-undo.md | 7 | > The adjudicator is 0.93 sure that "Acme" and "Acme Corp" are one company, and it is right about that often enough that | CODE |
| LOW | docs/decisions/0026-a-decision-records-why.md | 7 | > A person merges "Acme / Acme Corp" because the two share an address, and keeps "Zhang Wei / Zhang Wei" apart because o | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | crates/utopia-server/src/pack_alignment.rs | 30 | // ── W3C Org × schema.org ────────────────────────────────────────── | COMMENT |
| MEDIUM | crates/utopia-server/src/pack_alignment.rs | 65 | // ── PROV-O × schema.org ─────────────────────────────────────────── | COMMENT |
| MEDIUM | crates/utopia-server/src/pack_alignment.rs | 73 | // ── FOAF × schema.org ───────────────────────────────────────────── | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | crates/utopia-llm/src/lib.rs | 252 | #[error("LLM request failed ({reason}): the prompt exceeds the model's context window: {detail}")] | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | web/src/useKbEvents.ts | 29 | export function createInvalidationCoalescer( | CODE |
| LOW | web/src/pages/AddOntologyRegressionDialog.tsx | 9 | export function AddOntologyRegressionDialog({ | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | scripts/bench/corpora/contracts/lease_bench.py | 209 | CODE |