Expand description
agentstatedeveloper-core — Core traits, schema, and ASG-backed implementations for AgentStateDeveloper.
This crate is language-agnostic. Language adapters live in sibling
crates (e.g., agentstatedeveloper-python).
Re-exports§
pub use adapter::CallEdge;pub use adapter::DynamicDispatchHint;pub use adapter::LanguageAdapter;pub use adapter::ParsedSymbol;pub use adapter::UnresolvedCall;pub use adapter::WorkspaceSymbols;pub use audit::AuditEvent;pub use audit::AuditSink;pub use audit::HASH_PREFIX;pub use audit::NullSink;pub use audit::emit_audit;pub use audit::event_types;pub use audit::read_jsonl;pub use candidates::FeedbackImpact;pub use candidates::FeedbackMetrics;pub use candidates::FeedbackState;pub use candidates::RecoverySuggestion;pub use candidates::UncertaintyReason;pub use candidates::UncertaintyReport;pub use candidates::apply_feedback_adjustments;pub use candidates::apply_file_scope_feedback;pub use candidates::build_feedback_state;pub use candidates::build_feedback_state_from_entries;pub use candidates::compute_uncertainty;pub use candidates::confidence_reason;pub use candidates::confidence_scores;pub use candidates::detect_ambiguous_tokens;pub use candidates::detect_confidence_warnings;pub use candidates::detect_possible_misses;pub use candidates::explain_feedback_impacts;pub use candidates::explain_match;pub use candidates::find_candidates;pub use candidates::glob_match;pub use candidates::in_memory_score;pub use candidates::in_memory_score_with_text;pub use candidates::in_memory_scored_symbols;pub use candidates::kind_str;pub use candidates::load_exclude_sets;pub use candidates::load_scope_aliases;pub use candidates::matches_any_path_glob;pub use candidates::parse_query;pub use candidates::query_tokens;pub use candidates::resolve_exclude_set;pub use candidates::resolve_scope;pub use candidates::result_bucket;pub use candidates::suggest_better_queries;pub use candidates::suggest_scoped_queries;pub use community::detect_communities;pub use context::assemble_symbol_context;pub use cross_service::CrossServiceEdge;pub use cross_service::DetectedEndpoint;pub use cross_service::Direction;pub use cross_service::EndpointRef;pub use cross_service::ServiceEndpoint;pub use cross_service::ServiceManifest;pub use cross_service::Transport;pub use cross_service::contract_hash;pub use cross_service::endpoints_from_tree;pub use cross_service::federated_edges;pub use cross_service::http_contract;pub use cross_service::match_edges;pub use cross_service::normalize_repo_id;pub use cross_service::pubsub_contract;pub use cross_service::resolve_repo_id;pub use dataflow::DataFlowEdge;pub use dataflow::DataFlowKind;pub use dataflow::DetectedDataFlow;pub use dataflow::edges_from_tree;pub use dataflow::parse_params;pub use dataflow::resolve_edge;pub use doc_adapters::adapt_document;pub use doc_adapters::is_doc_file;pub use edge_confidence::EdgeEvidence;pub use effects::AsgEffectStore;pub use effects::EffectStore;pub use effects::list_all_effect_decls;pub use engine::CacheWarmSummary;pub use engine::Engine;pub use error::AsdError;pub use error::Result;pub use feedback::AsgFeedbackStore;pub use feedback::DEFAULT_FEEDBACK_HALF_LIFE_DAYS;pub use feedback::FeedbackStore;pub use feedback::decay_factor;pub use feedback::decay_for_entry;pub use index::AsgIndexStore;pub use index::IndexStore;pub use index_pipeline::CollectResult;pub use index_pipeline::IndexSummary;pub use index_pipeline::collect_source_files;pub use index_pipeline::run_index;pub use ledger::ApprovalOutcome;pub use ledger::AsgLedgerStore;pub use ledger::LedgerStore;pub use ledger::RatifyOps;pub use ledger::ReviewOutcome;pub use ledger::detect_orphaned_entries;pub use ledger_integrity::LedgerCounts;pub use ledger_integrity::LedgerRestoreReport;pub use ledger_integrity::ledger_counts;pub use ledger_integrity::missing_ledger_entries;pub use ledger_integrity::restore_missing_ledger_entries;pub use overview::architecture_overview;pub use overview::build_id_map;pub use overview::dead_code_report;pub use overview::endpoints_report;pub use policy::Decision;pub use policy::FilePolicyGate;pub use policy::PermissivePolicyGate;pub use policy::PolicyFile;pub use policy::PolicyGate;pub use policy::PolicyRule;pub use policy::Situation;pub use policy::actions;pub use prepare_change::CLIFF_RATIO_THRESHOLD;pub use prepare_change::CandidateAggregates;pub use prepare_change::FILE_SCORE_FLOOR_RATIO;pub use prepare_change::FileScoreTuple;pub use prepare_change::aggregate_candidate_data;pub use prepare_change::cliff_cutoff_index;pub use prepare_change::dirty_files_for_change;pub use prepare_change::explain_conflict_risk;pub use prepare_change::file_score_floor;pub use prepare_change::finalize_file_scores;pub use prepare_change::propagate_caller_invariants;pub use rebind::RebindOutcome;pub use rebind::rebind_ledger;pub use repair::IssueSeverity;pub use repair::RepairIssue;pub use repair::RepairReport;pub use repair::drop_orphaned_edge_refs;pub use repair::repair_asg;pub use repair::repair_asg_with_cache;pub use repair::scan_asg;pub use repair::scan_sidecar;pub use schema::ASD_PATH_PREFIX;pub use schema::ASD_SCHEMA_VERSION;pub use schema::Author;pub use schema::AuthorKind;pub use schema::ConclusionClass;pub use schema::Effect;pub use schema::EffectCategory;pub use schema::EffectDecl;pub use schema::Evidence;pub use schema::FeedbackEntry;pub use schema::FeedbackVerdict;pub use schema::LedgerEntry;pub use schema::LedgerKind;pub use schema::Mismatch;pub use schema::Position;pub use schema::Rebind;pub use schema::RoleTag;pub use schema::RuntimeEvidence;pub use schema::ScratchEntry;pub use schema::ScratchStatus;pub use schema::Symbol;pub use schema::SymbolKind;pub use schema::TransitiveEffect;pub use schema::Verification;pub use schema::VerificationSource;pub use schema::VerificationStatus;pub use scratch::AsgScratchStore;pub use scratch::CleanFilter;pub use scratch::ScratchFilter;pub use scratch::ScratchStore;pub use search_fts::AGENT_DEFAULT_BUDGET;pub use search_fts::AnnotatedOwner;pub use search_fts::CoveringTest;pub use search_fts::FileRecency;pub use search_fts::FtsFilters;pub use search_fts::FtsHit;pub use search_fts::OwnerSignalSource;pub use search_fts::OwnershipSignal;pub use search_fts::ResolvedSymbol;pub use search_fts::SearchFtsDb;pub use search_fts::SymbolMeta;pub use search_fts::SymbolTier;pub use search_fts::classify_file_role;pub use search_fts::classify_layer;pub use search_fts::classify_layer_sym;pub use search_fts::derive_cold_hints;pub use search_fts::discover_symbol_ownership;pub use search_fts::estimate_tokens;pub use search_fts::extract_summary;pub use search_fts::fetch_all_test_file_paths;pub use search_fts::find_covering_tests;pub use search_fts::find_indexed_test_files;pub use search_fts::gather_recency;pub use search_fts::git_dirty_files;pub use search_fts::hybrid_boost;pub use search_fts::intent_focus;pub use search_fts::intent_layer_order;pub use search_fts::is_stopword;pub use search_fts::load_layer_overrides;pub use search_fts::parse_intent;pub use search_fts::propose_test_path;pub use search_fts::propose_test_stub;pub use search_fts::symbol_tier;pub use search_fts::test_files_for_source;pub use search_fts::trim_for_agent;pub use search_fts::DocHit;pub use search_fts::DocKind;pub use search_fts::SearchDoc;pub use search_fts::SearchDocsDb;pub use search_fts::SOFT_STALE_THRESHOLD_SECS;pub use search_fts::StaleSeverity;pub use search_fts::StaleWarning;pub use search_fts::compute_index_consistency;pub use search_fts::effect_detail_reason;pub use search_fts::format_age;pub use search_fts::stale_warning;pub use search_fts::stale_warning_classified;pub use ser_helpers::drop_empty_recursive;pub use ser_helpers::drop_empty_top_level;pub use sidecar::HydrateSummary;pub use sidecar::SidecarState;pub use sidecar::SyncSummary;pub use sidecar::hydrate_from_dir;pub use sidecar::hydrate_from_dir_with_cache;pub use sidecar::mark_fresh_reset;pub use sidecar::outdated_hooks;pub use sidecar::prune_sidecar;pub use sidecar::sidecar_lifecycle_state;pub use sidecar::sync_to_dir;pub use symbol::canonical_symbol_id;pub use symbol::symbol_fingerprint;pub use transitive::declared_effect_blast_radius;pub use transitive::propagate_transitive;pub use trust::DataQuality;pub use trust::TrustScore;pub use trust::TrustSignals;pub use trust::compute_trust_score;pub use workflow::EvidenceQuality;pub use workflow::WorkflowSummary;pub use workflow::append_workflow_session;pub use workflow::detect_workflow;pub use workflow::score_evidence_quality;
Modules§
- adapter
- audit
- Audit-log event stream — OSS data format.
- brief
- Plan D t-001 + t-007: shared brief-output projections.
- calibration
- Plan J t-015: confidence-bucket calibration helpers.
- candidates
- Shared candidate-selection logic used by CLI commands and the MCP server.
- community
- Community detection over the call graph (Plan competitive-harvest t-009).
- conclusions_
export - Plan B t-004: shared conclusion-export pipeline used by both the CLI
(
asd conclusions export) and MCP (conclusions_exporttool). - context
- Per-symbol context assembly for
asd context-for(CLI) and themcp__asd__context_forMCP tool. - cross_
service - Cross-service / cross-process edges (Plan competitive-harvest t-002).
- dataflow
- Intra-process data-flow edges (Plan competitive-harvest t-002, slice 4).
- doc_
adapters - Document adapters: produce
SearchDocchunks from non-code files. - edge_
confidence - Confidence for call-graph edges (Plan competitive-harvest t-013).
- effects
- engine
- error
- feedback
- Feedback store — durable (query, symbol, verdict) triples.
- gc
- ASD’s garbage-collection retention policy, shared by
asd gcandasd-serve’s sweep preview so the two can never disagree about what a sweep keeps. - help
- On-demand instruction disclosure (
help) — the asd half of the cross-binary help system shared withctx(CTXone). - index
- index_
pipeline - Shared indexing pipeline used by both the CLI
asd indexcommand and the MCPreindextool. - ledger
- ledger_
integrity - Ledger integrity across the three places an entry lives.
- map
asd mapcore — initial-read project summary.- overview
- Read-only “orient me” reports shared by the CLI and the
asd-mcpserver. - paths
- ASG path convention for ASD data.
- policy
- Policy gate.
- prepare_
change - Plan E t-006: shared helpers for the prepare-change pipeline.
- rebind
- Moving a symbol’s ledger history onto another symbol.
- recipes
- Plan C t-004: change-intent recipes.
- registry
- Shared ASD repo registry —
~/.config/asd/repos.toml. - repair
- ASG state repair — scan for corruption and apply safe auto-corrections.
- schema
- scorecard
- The five-dimension benchmark scorecard — truth, feedback, change, uncertainty, workflow — plus the data-quality and token-economy blocks that qualify them.
- scratch
- Scratchpad store for ephemeral agent working notes.
- search_
fts - FTS5-backed search index for ASD symbols.
- ser_
helpers - Serde skip-predicates for agent-mode token economy.
- sidecar
- On-disk sidecar for the “git roundtrip” promise.
- sidecar_
config - Plan K t-007:
.asd/config.tomlreader for opt-in sidecar sharding. Today a single shape: per-package sharding via[sidecar] shard_by = "package". Default is “class” (one file per conclusion class, current behavior). - symbol
- test_
summary - Compact, failures-only summaries of test-runner output (Plan competitive-harvest t-005). Reads a runner’s verbose output and keeps only what an agent needs to act: the pass/fail counts and each failure with a little context — typically a ~90% token cut versus the raw log.
- thinking
- Plan G t-006: read-side helper for surfacing captured thinking (Hypothesis / MentalModel / FailedAttempt / OpenQuestion) into prepare-change and context-for responses.
- transitive
- Transitive effect propagation.
- trust
- State Trust Score — machine-readable rollup of ASD semantic state quality.
- workflow
- Workflow Recipe Detection + Task Close Evidence Quality.