Skip to content

Rust conditional semantic edge suppression diagnostics #604

Description

@jununfly

This was generated by AI during triage.

What to build

Add explicit diagnostics for Rust graph writes that are skipped because package/cfg/feature semantics make the target conditionally present or semantically unsafe.

This slice should preserve conservative graph behavior: prefer a missing edge plus a precise taxonomy bucket over a wrong unconditional edge. It should not introduce feature-aware graph writes.

Acceptance criteria

  • Rust edge-write diagnostics include suppression reason buckets for cfg-affected or conditionally-present Rust semantics where existing write paths must fail closed.
  • Suppression diagnostics are surfaced in result JSON/profile counters, consistent with existing Rust visibility and trait edge write diagnostics.
  • Default graph writes remain conservative; no active cfg evaluation or feature-aware edge writing is introduced.
  • Deterministic tests cover at least one skipped conditional semantic write or guard path with a precise reason bucket.
  • Targeted Rust core tests pass.

Blocked by

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestready-for-agentFully specified and ready for an AFK agent

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions