Evidence glossary
This concept-level glossary helps engineers, reviewers, managers, architects, and agents repeat TraceMap vocabulary without upgrading a public statement beyond its evidence.
Public claim level: concept. No public conclusion without evidence. The glossary defines public-safe terminology; it does not certify that every term is fully implemented, complete, or present on every TraceMap surface.
How to read it
Glossary terms
Definition: The stable identifier for the deterministic rule or extractor judgment that produced or classified evidence.
Public use: A claim can be repeated only when its evidence remains attached to a rule ID or documented rule family.
Limitation: A rule ID does not make the finding complete, current, or available across every adapter or route.
Definition: The evidence-strength label for a row or summary: Tier1Semantic, Tier2Structural, Tier3SyntaxOrTextual, or Tier4Unknown.
Public use: Tiers help readers separate compiler-resolved evidence, framework structure, syntax or text evidence, and explicit unknowns.
Limitation: Lower tiers are not failures, and higher tiers are not complete coverage or operational proof.
Definition: The public-safe route or reference trail that lets a reader inspect why a claim is being made.
Public use: A proof path can point to public route trails, source documents, summaries, or anchors that keep the claim reviewable.
Limitation: A proof path is a public review trail and does not publish private scan output.
Definition: The scan or analysis coverage state, such as full, partial, reduced, unknown, or gap-labeled evidence.
Public use: Coverage labels keep a static summary from being restated as broader certainty.
Limitation: Partial, reduced, unknown, or gap-labeled evidence cannot support a clean absence claim.
Definition: A first-class part of a TraceMap claim that says what the evidence does not show.
Public use: Limitations travel with summaries, proof paths, tiers, and coverage labels so readers do not overstate the result.
Limitation: Limitation text is not a generic disclaimer and cannot be separated from the claim it bounds.
Definition: Explicit evidence that TraceMap could not prove or disprove something under current analysis conditions.
Public use: A gap can route review, identify reduced coverage, and prevent unsupported clean wording.
Limitation: A gap is not proof that the surface is absent, reachable, unreachable, risky, or harmless.
Definition: The repository identity and commit or source revision context used for a scan or public-safe summary.
Public use: Context lets reviewers know which source state a public-safe statement describes.
Limitation: Public summaries should avoid private repository endpoints and machine-specific source details.
Definition: The deterministic extractor, adapter, reducer, schema, or validation version that produced a public-safe evidence summary.
Public use: Version labels help future readers compare findings without guessing which extraction rules were active.
Limitation: A version label does not imply every extractor has identical coverage or that newer evidence exists.
Definition: Related public-safe identifiers, such as fact IDs, reducer finding IDs, rule IDs, route anchors, or summary IDs.
Public use: Supporting IDs help humans and agents correlate public claims without exposing raw artifacts.
Limitation: IDs are pointers, not proof by themselves; the cited proof path and limitation still matter.
Definition: A conservative label, such as concept, demo, or shipped, that constrains how strongly the public site may present a claim.
Public use: Claim levels help route copy, discovery metadata, and review agents avoid promoting concept or demo wording.
Limitation: The label does not create evidence, override limitations, or prove product-wide availability.
Definition: A family of source materials, such as fact streams, SQLite indexes, analyzer logs, rule catalogs, and generated scan directories, that may inform private review.
Public use: Public pages may name artifact families and link to public-safe summaries, checked-in docs, or site routes that describe their boundaries.
Limitation: Raw facts.ndjson, raw index.sqlite, raw logs/analyzer.log, .tracemap/, and .tracemap-demo/ are not public glossary material.
Use when semantic analysis resolves symbols or equivalent adapter-specific meaning. It still remains scoped to the scan context.
Use for framework, project, package, config, route, serializer, or source-structure patterns that deterministic rules can identify.
Use when syntax or text can route review but cannot prove exact symbol identity or complete relationships.
Use when current analysis cannot prove or disprove the question. Unknown is a labeled state, not a silent success.
Non-claims
facts.ndjson, index.sqlite, logs/analyzer.log, .tracemap/, or .tracemap-demo/.Related public-safe routes