Skip to content

Audit and DB disagree on what a function is: 48,318 vs 45,550 on the crucible (slicer pseudo-units like CREATE_Statement in the audit only) #4110

Closed

Description

@squid-protocol

Problem

The audit and the scan DB disagree about which units are functions.

On the language-crucible scan, the audit's per-file 5. Function Analysis lists 48,318 functions; the DB's function_data has 45,550. Synthetic slices don't explain the gap: both sides carry __global_context__.

The difference is concentrated in 555 files, mostly shell (252), lua (101), livecode (98), sqlite (72), db2_sql, sql, fortran and ruby. The audit includes slicer pseudo-units that the DB filters out, e.g.:

File Audit DB Extra in audit
sqlite/mediawiki_sqlite_tables/tables-generated.sql 198 0 CREATE_Statement ×198
sqlite/yii2_sqlite_schema/tests_data_sqlite.sql 130 0 INSERT_Statement ×69, CREATE_Statement ×31, DROP_Statement ×30
db2_sql/db2unit/06-AssertsNoMessage.sql 109 0 Declarative_Block ×108
matlab/eeglab/eeglab.m 74 13 Anonymous_Block ×60

301 files with functions in the audit have none in the DB.

Why it matters

To decide

Which population is intended? Trace where record_keeper filters (calls_only, is_synthetic_slice, or a name-based filter) versus audit_recorder. Then make both outputs use one shared predicate, or label pseudo-units explicitly in the audit. Expect a golden re-bless.

Found during #4100 (PR #4105).

Activity

  1. added
    bugUnintended behavior or logic failure in the engine
    data-integrityIssues relating to RAM state or SQLite database fidelity
    on Oct 2, 2026
  2. added a commit that references this issue on Oct 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugUnintended behavior or logic failure in the enginedata-integrityIssues relating to RAM state or SQLite database fidelitypriority: mediumscope:infraCI, tooling, churn/factory, docs infrastructure

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions