Expand description
Normalize parser-owned symbol facts into one generation-bound repository graph.
StructsΒ§
- Derived
Relation πFact - One conservative additive relation derived from already bounded parser facts.
- Document
Resolution πIndex - Exact staged file inventory plus platform-aware case and root checks.
- Document
Resolution πOutcome - One resolved or typed-unresolved document candidate plus invalidation keys.
- Document
Target πIdentity - One normalized repository-local document target and optional heading fragment.
- Entity
Projection π - Entity/key facts prepared before relation resolution.
- Graph
Identity πAdmission - Bounded admission report shared by entity, relation, and key projection.
- Graph
Owners π - File and symbol entities associated with one parser graph.
- Graph
Symbol πIndex - Borrowed per-graph symbol lookup used by every relation in that file.
- Identity
Fact πKey - Internal identity for one observed parser fact, independent of retained detail rows. The detail vector is deliberately capped, but omission counts must still deduplicate repeated projections after that cap.
- Identity
Rejection πKey - Exact membership key for one retained typed identity rejection detail.
- Identity
Span π - Bounded source span attached to one rejected parser identity.
- Package
Index π - Package names assigned by longest manifest-directory ownership.
- Package
Owner π - One Cargo package and its owning repository prefix.
- Paired
Import πRelations - Relation observation paired with each symbol in one parser graph.
- Project
Resolution πRegistry - Project-wide stable entities and their canonical resolution-key bindings.
- Projected
Graph πRows - One graphβs normalized rows, bounded by the parser graph already in memory.
- Resolution
Matches π - Resolve one relation from canonical dependency keys and bounded candidates.
- Staged
Graph πDatabase - File-backed graph rows staged outside the main database writer transaction.
- Staged
Repository πGraph - Complete normalized graph and canonical-key rows waiting for publication.
EnumsΒ§
- Derived
Relation πTarget - Closed target classes accepted by additive relation projection.
- Repository
Graph πMutation - One graph mutation staged outside the database writer transaction.
ConstantsΒ§
- CARGO_
PACKAGE_ πMANAGER - Stable package manager for currently extracted Cargo manifest ownership.
- CONFIGURATION_
SYSTEM π - External namespace for content-free configuration identities.
- DEPLOYMENT_
SYSTEM π - External namespace for content-free deployment platform identities.
- DERIVED_
RELATION_ πFACT_ INDEX_ NAMESPACE - Stable namespace for invalid derived-relation parser facts.
- DOCUMENT_
CASEFOLD_ πLANGUAGE - Canonical resolver language for case-fold collision invalidation only.
- DOCUMENT_
PARTIAL_ πCOVERAGE_ REASON - Honest content-free coverage diagnostic for bounded Markdown facts.
- DOCUMENT_
PATH_ πLANGUAGE - Canonical resolver language for repository-relative file and heading identities.
- DOCUMENT_
PATH_ πPROVIDER - Canonical provider owner for exact repository document targets.
- DOCUMENT_
PROJECTION_ πROW_ BYTES - Conservative bytes for one generated document relation and its retained indexes.
- ENVIRONMENT_
SYSTEM π - External namespace for static environment-variable identities.
- GRAPH_
STAGE_ πDATABASE_ FILE_ NAME - Typed disposable database inside every owned staging directory.
- GRAPH_
STAGE_ πDIRECTORY_ PREFIX - Direct child prefix owned by disposable graph staging.
- GRAPH_
STAGE_ πENTITY_ BATCH_ SIZE - Borrowed entity references inserted per disposable staging call.
- GRAPH_
STAGE_ πLEASE_ FILE_ NAME - Stable cross-process lease protecting active staging and restart cleanup.
- GRAPH_
STAGE_ πOWNER_ UNAVAILABLE - Internal invariant failure for a staging owner already entering teardown.
- GRAPH_
STAGE_ πROW_ BATCH_ SIZE - Maximum normalized graph rows retained between disposable staging writes.
- GRAPH_
WORK_ πCHECK_ INTERVAL - Maximum graph-map rows processed between cooperative cancellation checks.
- MARKDOWN_
FACT_ πINDEX_ NAMESPACE - Stable namespace for invalid Markdown selector parser facts.
- MAX_
GRAPH_ πIDENTITY_ REJECTIONS - Maximum typed identity rejection details retained for one publication.
- MAX_
GRAPH_ πKEY_ BINDINGS - Maximum persisted key bindings retained by one complete in-memory graph projection.
- MAX_
INCREMENTAL_ πGRAPH_ BYTES - Maximum conservative graph bytes admitted before requesting a complete refresh.
- MAX_
INCREMENTAL_ πGRAPH_ ROWS - Maximum aggregate normalized graph rows admitted by one incremental closure.
- MAX_
INCREMENTAL_ πRESOLUTION_ ITEMS - Maximum canonical keys or distinct source paths admitted by one incremental closure.
- MAX_
IN_ πMEMORY_ GRAPH_ WORK_ BYTES - Maximum simultaneous parser/entity/key bytes before rows spill to typed
SQLitestaging. - NODE_
SYSTEM π - Stable external namespace for explicitly qualified Node.js built-ins.
- PARTIAL_
COVERAGE_ πREASON - Honest coverage diagnostic for fallback or structural relation extraction.
- PERSISTED_
GRAPH_ πPATHS_ PER_ CHUNK - Maximum persisted symbol-graph paths reconstructed between work checks.
- RELATION_
FACT_ πINDEX_ NAMESPACE - Stable namespace for invalid source-relation parser facts.
- RUST_
TOOLCHAIN_ πSYSTEM - Stable external namespace for the Rust standard-library distribution.
- STAGED_
GRAPH_ πROW_ BYTES - Conservative fixed bytes counted for each staged graph or binding row.
- SYMBOL_
FACT_ πINDEX_ NAMESPACE - Stable namespace for invalid symbol/package parser facts.
- UNKNOWN_
REFERENCE π - Stable fallback for a parser relation that omitted a usable display target.
FunctionsΒ§
- admit_
markdown_ πfact_ batch - Admit one parser-owned Markdown fact batch before document-key derivation.
- admit_
markdown_ πfacts - Admit parser-owned Markdown selectors before document-key derivation.
- admit_
resolution_ πkey_ failures - Validate derived canonical keys before the entity projection requests them.
- admit_
symbol_ πbuild_ stage - Sanitize parser output before any summary, persistence, or graph projection sink.
- admit_
symbol_ πgraph - Retain valid parser facts while recording every invalid identity field.
- admit_
symbol_ πgraphs - Admit parser graphs at one shared boundary before any strict graph object is built.
- admitted_
persisted_ πfootprint - Load and admit the persisted rows that an incremental replacement will remove.
- build_
entity_ πprojection_ with_ config - Project entity/key facts with one shared configured-module snapshot.
- build_
entity_ πprojection_ with_ config_ limit - Project entity/key facts with a caller-selected staging budget for proof seams.
- call_
leaf π - Return the normalized leaf of one qualified call target.
- check_
graph_ πwork - Observe cancellation and deadline state at bounded graph-map intervals.
- checked_
identity_ πadmission_ budget - Check complete retained identity state against an injected or production limit.
- cleanup_
abandoned_ πgraph_ staging - Remove only validated, inactive disposable graph stages left by an earlier process.
- cleanup_
abandoned_ πgraph_ staging_ while_ locked - Remove direct child stages whose typed database binds the exact project.
- cleanup_
abandoned_ πrepository_ graph_ staging - Remove inactive disposable graph stages owned by the selected project.
- common_
rust_ πpath - Return the non-empty common Rust module path shared by two imports.
- complete_
markdown_ πfacts - Overlay staged Markdown facts and parse only persisted graphs not parsed in this operation.
- complete_
symbol_ πgraphs - Overlay staged symbol changes on persisted graphs for exact selected paths.
- configuration_
file_ πidentity - Classify one exact repository configuration filename without reading values.
- coverage_
for_ πgraph - Project parser trust into one path-scoped coverage record.
- dependency_
closure_ πlimit - Construct deterministic full-refresh guidance for an oversized dependency closure.
- deployment_
platform_ πidentity - Classify one accepted infrastructure path into a content-free platform.
- derived_
parser_ πrelation - Copy source context while replacing only the statically selected target.
- derived_
relation_ πfacts - Derive additive families only from exact bounded parser facts and path policy.
- derived_
relation_ πresolution - Resolve one additive relation through its closed target class.
- distinct_
resolution_ πcount - Convert one exact distinct target count without truncation.
- document_
casefold_ πresolution_ key - Construct one case-fold collision key through the existing module-key domain.
- document_
coverage π - Project bounded Markdown fact coverage into the existing relation coverage table.
- document_
dependency_ πkeys - Return all exact path and heading keys that can affect staged document relations.
- document_
fact_ πmap_ retained_ bytes - Count map ownership plus evidence owned only for persisted graphs parsed on demand.
- document_
file_ πresolution_ key - Construct one exact file identity through the existing module-key domain.
- document_
heading_ πresolution_ key - Construct one exact Markdown heading identity through the declaration-key domain.
- document_
projection_ πretained_ bytes - Count document projection state that can survive the per-candidate filters.
- document_
resolution_ πkey - Construct one project-qualified canonical document identity without a new key family.
- document_
resolution_ πkey_ with_ language - Construct one project-qualified document key under a selected resolver language.
- enforce_
incremental_ πcount - Enforce one path/key count before incremental graph work expands further.
- enforce_
incremental_ πprojection_ budget - Return typed full-refresh guidance when an incremental projection exceeds a bound.
- enforce_
incremental_ πprojection_ limits - Enforce aggregate old-removal and new-insertion work for one closure.
- enforce_
key_ πbinding_ limit - Enforce the complete-projection ceiling for canonical key bindings.
- enforce_
resolution_ πmatch_ budget - Bound temporary maps and heap storage used while selecting relation targets.
- enforce_
resolution_ πregistry_ budget - Reject a temporary resolution registry before it can exceed publication memory.
- enforce_
resolution_ πregistry_ budget_ with_ limit - Apply the resolution staging bound with an explicit limit for deterministic tests.
- enforce_
resolution_ πstaging_ budget - Reject the simultaneous entity projection and lookup registry peak.
- ensure_
admitted_ πresolution_ projections - Require one admitted resolution projection for every graph being published.
- entity_
owner_ πpath - Return the source-owner path for entities eligible to export graph keys.
- entity_
retained_ πbytes - Count conservative fixed and variable bytes retained by one graph entity.
- explicit_
external_ πselector - Return one explicit external identity without guessing ordinary missing packages.
- extend_
bounded_ πidentity_ rejections_ with_ drop_ paths - Merge typed details and retain the exact paths that lost a distinct row.
- external_
reference_ πidentity - Normalize one explicit non-empty external reference.
- file_
has_ πextension - Match one exact extension without platform case assumptions.
- file_
owned_ πrelation - Create one file-owned content-free configuration or deployment fact.
- finish_
projection_ πin_ database_ with_ documents - Spill a large full graph to typed disposable
SQLiterows before main publication. - finish_
projection_ πwith_ documents - Resolve staged relationships and finish one complete normalized graph batch.
- graph_
identity_ πspan - Bound one graph-wide rejection span when canonical-key derivation has no fact index.
- hydrate_
reused_ πidentity_ admission - Carry current-generation rejection state for graphs safely reused by a stage.
- identity_
admission_ πretained_ bytes - Return the exact incremental identity-state total owned by one report.
- identity_
count_ πpath_ retained_ bytes - Conservative bytes for a count-only path retained after detail rows cap.
- identity_
fact_ πbudget_ failure - Return the production graph-work limit reached before retaining identity state.
- identity_
fact_ πbudget_ failure_ for_ limit - Return the typed graph-work limit reached before retaining identity state.
- identity_
fact_ πowner - Map one rejection field to the admission owner that re-derives it.
- identity_
fact_ πretained_ bytes - Conservative bytes for one observed fact and its path/count map entries.
- identity_
fact_ πset_ retained_ bytes - Count one persisted identity fact set and its owning path entry.
- identity_
maps_ πretained_ bytes - Count the bounded map/set entries retained for observed identity facts.
- identity_
observed_ πpath_ retained_ bytes - Count one observed-fact map path and its retained facts.
- identity_
rejection_ πdrop_ paths_ retained_ bytes - Count the path markers retained for publication-time detail evictions.
- identity_
rejection_ πkey_ retained_ bytes - Count one retained rejection-membership key and its owned path text.
- identity_
rejection_ πkey_ set - Build keyed membership for a retained typed detail vector.
- identity_
rejection_ πkeys_ retained_ bytes - Count the bounded keyed membership state for retained rejection details.
- insert_
document_ πunresolved_ reason - Deduplicate unresolved reasons while rejecting one logical-key contradiction.
- insert_
entity π - Insert one stable entity while rejecting digest collisions.
- insert_
relation π - Deduplicate relation occurrences while conservatively retaining ambiguity.
- invalid_
graph_ πcontract - Translate a graph-domain contract violation for the CLI boundary.
- is_
cargo_ πmanifest_ path - Return whether one normalized repository path is a Cargo package manifest.
- is_
rederived_ πidentity_ fact - Return whether a persisted fact is replaced by the current derivation.
- is_
test_ πpath - Return whether a repository path is an accepted test-source location.
- local_
relation_ πmatches - Resolve exact declarations owned by the relationβs source file.
- mark_
identity_ πrejection_ coverage_ limits - Mark graph-scoped coverage when publication evicted a typed identity row.
- merge_
resolution_ πregistries - Merge normalized candidate registries while retaining one entity per digest.
- next_
generation π - Return the pending graph generation after one successful publication.
- node_
builtin_ πidentity - Recognize only the explicit
node:built-in module scheme. - nonempty_
reference π - Normalize an empty parser reference into one stable diagnostic identity.
- normalize_
document_ πtarget - Normalize one parser-admitted selector relative to its owning document.
- normalize_
static_ πrepository_ path - Normalize one static relative source literal into a repository path.
- paired_
import_ πrelations - Pair import symbols and relations once by source line and occurrence.
- parser_
fact_ πindex - Build a deterministic internal identity without retaining parser text.
- parser_
fact_ πkind - Map parser strategy to a compact local fact-key discriminator.
- php_
call_ πlookup - Select the local PHP call member and, for scoped calls, its owning type.
- php_
entity_ πmatches_ qualified_ scope - Confirm a PHP entity belongs to a qualified owner scope.
- php_
file_ πinclude_ context - Recognize include syntax without treating unknown or legacy import text as alias-free.
- project_
document_ πrows - Project one Markdown fact batch into canonical document relations and coverage.
- project_
graph_ πrows - Resolve one parser graph and release its temporary owner/key workspace.
- push_
derived_ πrelation - Retain one additive fact from the already bounded parser graph.
- qualified_
symbol_ πidentity - Derive one exact or compact qualified scope from validated components.
- qualified_
symbol_ πparents - Qualify graph-only parent identity from the parserβs existing containment rows.
- quoted_
ecmascript_ πmodule - Read the explicit quoted module from one parser-validated ECMAScript import.
- record_
identity_ πfailure - Validate one source identity without retaining the rejected raw value.
- registry_
resolution_ πmatches - Merge sorted candidate streams without materializing their full union.
- relation_
completeness π - Map parser strength to relation completeness.
- relation_
confidence π - Map parser strength to relation confidence.
- relation_
reference π - Keep call arguments and literal values out of persisted relation diagnostics.
- relation_
resolution π - Resolve one relation from canonical dependency keys and bounded candidates.
- relation_
source π - Resolve one parser relationβs unique local source entity when possible.
- remove_
graph_ πstage_ symlink - Remove only a graph-stage symlink leaf, never its target.
- remove_
owned_ πgraph_ stage_ payload - Remove stage payloads while retaining the validated ownership database as a crash marker.
- repository_
path_ πbelongs_ to - Return whether one path belongs to a normalized repository prefix.
- resolution_
key_ πlimit_ failure - Preserve resource-limit failures while admitting contract-invalid key facts.
- resolution_
projection_ πfact_ index - Map one resolution fact into its deterministic internal rejection identity.
- resolution_
projection_ πmap_ entry_ retained_ bytes - Count one admitted projection entry while it remains in the source map.
- resolution_
projection_ πmap_ retained_ bytes - Count all projection-map entries that coexist with the growing entity state.
- resolution_
projection_ πspan - Select the narrowest parser span available for one rejected derived key.
- resolution_
projection_ πwith_ config - Derive canonical resolution keys with repository compiler configuration.
- resolution_
registry_ πfrom_ exports - Build current resolution candidates from newly staged entity exports.
- resolution_
registry_ πfrom_ persisted - Rebind unaffected persisted candidates to the pending graph generation.
- resolution_
retained_ πbytes - Count conservative retained canonical resolution-key bytes.
- resolve_
document_ πcandidate - Resolve one normalized document target through exact staged/persisted identities.
- rust_
import_ πidentity - Return one explicitly toolchain-owned Rust import identity.
- rust_
toolchain_ πidentity - Recognize only explicitly qualified Rust toolchain roots.
- rust_
toolchain_ πroot - Return the accepted toolchain root of one Rust module path.
- selected_
project π - Load the project identity required by normalized graph projection.
- sort_
dedup_ πdependencies - Sort and deduplicate relation dependency bindings by canonical key and owner.
- sort_
dedup_ πexports - Sort and deduplicate entity export bindings by canonical identity and owner.
- source_
symbol_ πidentity - Admit one parser-owned symbol identity outside the derived-scope namespace.
- source_
symbol_ πidentity_ error - Validate one source identity without allocating on the valid hot path.
- stage_
full_ πrepository_ graph - Stage a complete repository graph from current parser output plus safe reused graphs.
- stage_
incremental_ πrepository_ graph - Stage one bounded dependency-aware graph closure for an incremental publication.
- stage_
incremental_ πrepository_ graph_ with_ limit - Stage an incremental graph with the supplied projection staging limit.
- static_
data_ πaccess_ kind - Classify a call as one accepted bounded static read or write API.
- static_
environment_ πkey - Extract one static environment key without retaining its value.
- static_
route_ πhandler - Extract one exact handler identifier from a static route registration.
- static_
string_ πargument - Return the first argument only when it is one complete static string literal.
- strip_
document_ πline_ selector - Remove one supported
:12,:L12-L20, or equivalent line selector. - symbol_
identity_ πspan - Use one source span for paired import symbol and relation observations.
- symbol_
parser_ πfact_ index - Reuse the relation ordinal for its paired import symbol observation.
- try_
graph_ πstage_ lease - Acquire the one project-local graph-staging lease without waiting.
- unique_
php_ πcall_ source - Prefer a proven PHP callable source, falling back to a unique namespace owner.
- unique_
php_ πcontainment_ source - Select a PHP containment owner from the targetβs exact declaration span.
- unique_
php_ πsource_ namespace - Prove a PHP callerβs namespace, including the empty global namespace.
- unique_
source_ πparent - Return one unambiguous containing scope for the parser relation source.
- unresolved_
document_ πoutcome - Construct one privacy-safe unresolved document outcome.