enriching-codegraph-proposals

name: enriching-codegraph-proposals description: Use when arcs project init or arcs codegraph-sync returns pending_enrichment: true — drives the per-proposal verdict loop (keep/drop/merge) and produces agent-authored knowledge entries from raw codegraph proposals.

Skill: enriching-codegraph-proposals

When

The CLI surfaced raw codegraph proposals and is waiting for an agent to turn them into real knowledge entries. Mandatory triggers:

• arcs project init returned codegraph.pending_enrichment: true in its JSON envelope.
• arcs codegraph-sync returned pending_enrichment: true.
• User said "enrich the proposals", "process the codegraph queue", "promote the pending proposals", or similar.

Read-write skill. This skill mutates the DAG via arcs proposal promote/drop. Self-score ≥80% via confidence-gate before each promote.

Flow

flowchart TD
    classDef decision fill:#f59e0b,color:#fff
    classDef terminal fill:#22c55e,color:#fff

    A[arcs proposal list slug --json] --> B{Proposals empty?}
    B -->|Yes| Done[Done — surface summary]:::terminal
    B -->|No| C[Pick highest-degree proposal]
    C --> D[Read structuralFacts + suggestedDedupCandidates]
    D --> E{Verdict}:::decision
    E -->|drop| F[arcs proposal drop slug id --reason='...']
    E -->|keep| G[Author title + summary + body]
    E -->|merge| H[Identify dedup target id]
    H --> I[Author append-style body]
    I --> J[arcs proposal promote slug id --merge-with=target ...]
    G --> K[arcs proposal promote slug id ...]
    F --> L{Budget left?}
    J --> L
    K --> L
    L -->|Yes & proposals remain| C
    L -->|No or empty| Done

    class E decision

Decision Heuristics

This is the meat of the skill. Apply per proposal — never skip.

Keep

Promote as a fresh knowledge entry when ALL of:

• The cluster / module covers a real architectural boundary AND existing knowledge does not already cover it (verify via suggestedDedupCandidates length 0 or low overlap).
• structuralFacts.fileCount >= 3 and fileTypeBreakdown is code-dominant (.ts, .tsx, .js, .py, etc. — not 100% docs/templates/skills).
• topHubs includes named exports / functions / classes, not just file basenames.
• The boundary is distinct enough that a future agent editing inside it would benefit from a one-paragraph map.

Drop

Reject the proposal (use arcs proposal drop) when ANY of:

• structuralFacts.fileTypeBreakdown has zero code (all .md, .mdx, .txt, .html templates, skill files). T007 should already filter these — drop is defense-in-depth.
• Cluster covers test directories only (test/, __tests__/, *.test.ts, *.spec.ts, tests/).
• Cluster size <= 2 distinct files — too small to be architecturally meaningful.
• All topHubs resolve to deprecated, dead, or vendored code (vendor/, legacy/, _archive/).
• suggestedDedupCandidates shows perfect overlap with an existing knowledge entry AND the proposal contributes no new structural insight (no new degree numbers, no new hubs, no new edges).
• Proposal is a near-duplicate of one already promoted in this session.

Always pass a --reason string. The reason is durable on the proposal-store ledger and helps future SYNC rounds skip the same noise.

Merge

Use arcs proposal promote --merge-with=<existing-id> when:

• suggestedDedupCandidates lists an existing knowledge entry whose kind matches the proposal's natural kind, AND
• The proposal adds genuinely new structural facts the existing entry does not already document (e.g. precise degree numbers, additional top hubs, cross-module edges, fileCount).

The agent appends a ## From codegraph analysis section to the existing entry — it does NOT replace prior body content. Treat the existing entry as the spine; the merge adds a graph-evidence rib.

Enrichment Output Contract

For every "keep" or "merge" verdict, the agent produces three fields. None may be the templated default from ingestGraph.

--title (6–12 words)

Tell a human what this code surface DOES, not just where it lives. Verb- or role-led, specific.

--summary (1–2 sentences, action-oriented)

State what the boundary is and what ripples when it changes. Prefer concrete consequences over abstract description.

Example: "Storage hub re-exporting nowISO and sanitizeFileRefs to all three persistent stores; editing here ripples through every persistent surface and the file-lock contract."

--body (3–5 paragraphs)

Suggested structure — adapt as needed but cover all five beats:

1. What it is — one sentence definition of the architectural boundary.
2. Top hubs and what they do — brief expansion of structuralFacts.topHubs. Name each hub, name its responsibility in one clause.
3. Cross-cutting implications — what depends on this surface; what this surface depends on. Pull from structuralFacts.crossModuleEdges if present.
4. When to read this entry — concrete agent-facing trigger. ("Before editing storage-utils.ts. Before adding a new field to any task / plan / knowledge front-matter. Before changing the file-lock policy.")
5. Cross-references — link to related knowledge entries by id (use suggestedDedupCandidates and arcs related output).

Always pass --source-files listing the files in structuralFacts.fileList (or the top-N if list is huge — cap at 12 paths). Graph-retrieval shares_source_file edges weight 0.9; without --source-files the entry is invisible to the graph.

Cost Discipline

• Cap at 12 enrichments per session. If proposals list exceeds 12, drop low-signal entries en masse before enriching the keep set.
• Process highest-degree clusters first. Sort proposals by structuralFacts.degree descending; the top 3–5 carry most of the value.
• Bulk drop early. A single triage pass over all proposals — calling arcs proposal drop on obvious noise — is cheaper than enriching one and discovering the next is also noise.
• Stop early on budget. If the agent has spent ~12 enrichments, drop the remainder with reason "session budget exhausted; reconsider next sync" rather than producing rushed entries.

Failure Modes

Constraints

• Do not invent structural facts not present in structuralFacts. If real-code grounding is needed, defer to arcs context <slug> --audience=<role> or arcs related <slug> <id> and read source. Hallucinated graph facts poison every downstream retrieval.
• Always specify --source-files on promote — graph-retrieval depends on it (per AGENTS.md "Knowledge gravity"). An entry without source files is a leaf with no inbound edges.
• Never edit .mmd files directly — diagram ownership rules in AGENTS.md still apply during enrichment.
• No batch promote. Each promote is one decision, one arcs proposal promote call. Bulk-promoting via arcs batch bypasses dedup checks and per-proposal review.
• Preserve proposal IDs in commit messages / summaries when reporting back so the human can audit the verdict ledger.

Worked Example

# 1. List pending proposals (highest-degree first by default)
arcs proposal list arcs --json

# 2. Drop obvious noise in bulk
arcs proposal drop arcs prop_test_dirs_only \
  --reason="cluster covers test/ only — defense in depth past T007 filter" --json

# 3. Promote a keep verdict with full enrichment
arcs proposal promote arcs prop_storage_hub \
  --title="Storage hub re-exporting helpers to all persistent stores" \
  --summary="Central re-export point for nowISO and sanitizeFileRefs used by task/plan/knowledge stores; edits ripple through every persistent surface." \
  --body-file=/tmp/storage-hub.body.md \
  --kind=architecture \
  --source-files=src/utils/storage-utils.ts,src/utils/task-store.ts,src/utils/plan-store.ts,src/utils/knowledge-store.ts \
  --json

# 4. Merge into an existing entry
arcs proposal promote arcs prop_cli_registry \
  --merge-with=cli-registry-pattern-handlers-typed-via-parsedparams \
  --body-file=/tmp/cli-registry-graph-evidence.md \
  --source-files=src/cli/command-registry.ts,src/cli/index.ts \
  --json

# 5. Confirm queue drained
arcs proposal list arcs --json   # expect data.proposals == []

Exit

When arcs proposal list <slug> --json returns an empty proposals array, the enrichment pass is done. Surface a one-line summary to the orchestrator: kept N, merged M, dropped K, deferred D.