tiny.smg

Overview · API · Code relationships · Verification · Audit

Overview

Full compiler semantic analysis requires complete build graphs, target configurations, and heavy type checking. SMG constructs a syntax property graph directly from lexical structure and AST tokens. This enables fast architectural boundary checking, cross-package dependency linting, and context packing across large repositories. Because edges represent syntactic references rather than resolved semantic bindings, graph queries reflect surface coupling and complement rather than replace compiler type checking.

Definitions

Types and contracts

Public types and contracts.

• SourceLineIndex
• Edge
• Graph
• Node
• AnalysisLimits
• ApiLimits
• BatchInputCapacity
• BatchInputExhaustion
• BatchInputStatus
• BatchInputStorage
• ContextLimits
• Limits
• ParserLimits
• ScanLimits
• SearchLimits
• StorageLimits
• SuggestionLimits
• SuffixIndex
• SearchDocumentPlan
• EdgeFindingPlan
• NodeFindingPlan

Namespaces

Public namespaces.

• model
• lines
• git
• limits
• text
• storage
• traversal
• scan
• analysis
• name
• batch
• calls
• cli
• command
• context: Source context packing and bounded inspection of persisted syntactic relationships.
• tree
• graph
• span
• zig
• view
• search
• api: Projects public declarations, members, and exact source evidence.
• exports
• diff
• concepts
• blame
• churn
• rules
• query
• watch

Values and defaults

Public values and defaults.

• default_limits

Code relationships

Direct static dependencies extracted from parsed source by semantic graph analysis.

Uses: tiny.accy, tiny.alloc, tiny.bench, tiny.bumpalo, tiny.chant, tiny.choir, tiny.closure, tiny.css, tiny.glom, tiny.http, tiny.machine, tiny.markdown, tiny.pdf, tiny.pluck, tiny.preserves, tiny.pretty, tiny.profiling, tiny.quic, tiny.simd, tiny.sql, tiny.sys, tiny.tldr, tiny.trace, tiny.ui, tiny.xkb
Used by: tiny.accy, tiny.acp, tiny.choir, tiny.game, tiny.gui, tiny.hypothesis, tiny.machine, tiny.pretty, tiny.profiling, tiny.reducer, tiny.reticulum, tiny.sdfii, tiny.sql, tiny.tldr, tiny.trace

Verification

No verification records are cataloged for this module in this build.

Audit