Skip to main content

Module graph_projection

Module graph_projection 

Source
Expand description

Normalize parser-owned symbol facts into one generation-bound repository graph.

StructsΒ§

DerivedRelationFact πŸ”’
One conservative additive relation derived from already bounded parser facts.
DocumentResolutionIndex πŸ”’
Exact staged file inventory plus platform-aware case and root checks.
DocumentResolutionOutcome πŸ”’
One resolved or typed-unresolved document candidate plus invalidation keys.
DocumentTargetIdentity πŸ”’
One normalized repository-local document target and optional heading fragment.
EntityProjection πŸ”’
Entity/key facts prepared before relation resolution.
GraphIdentityAdmission πŸ”’
Bounded admission report shared by entity, relation, and key projection.
GraphOwners πŸ”’
File and symbol entities associated with one parser graph.
GraphSymbolIndex πŸ”’
Borrowed per-graph symbol lookup used by every relation in that file.
IdentityFactKey πŸ”’
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.
IdentityRejectionKey πŸ”’
Exact membership key for one retained typed identity rejection detail.
IdentitySpan πŸ”’
Bounded source span attached to one rejected parser identity.
PackageIndex πŸ”’
Package names assigned by longest manifest-directory ownership.
PackageOwner πŸ”’
One Cargo package and its owning repository prefix.
PairedImportRelations πŸ”’
Relation observation paired with each symbol in one parser graph.
ProjectResolutionRegistry πŸ”’
Project-wide stable entities and their canonical resolution-key bindings.
ProjectedGraphRows πŸ”’
One graph’s normalized rows, bounded by the parser graph already in memory.
ResolutionMatches πŸ”’
Resolve one relation from canonical dependency keys and bounded candidates.
StagedGraphDatabase πŸ”’
File-backed graph rows staged outside the main database writer transaction.
StagedRepositoryGraph πŸ”’
Complete normalized graph and canonical-key rows waiting for publication.

EnumsΒ§

DerivedRelationTarget πŸ”’
Closed target classes accepted by additive relation projection.
RepositoryGraphMutation πŸ”’
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 SQLite staging.
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 SQLite rows 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.