mining git:20260907.863840eA

Immutable. This exact content is served forever at /api/v1/blob/fa34dc53794e6ef9.

---
name: mining
description: Mine approved external robotics repositories into evidence-cited Robium observations.
---

# Mining

Mine for transferable decisions, not code volume.

## Choose what is worth reading

- Candidate discovery and a one-line registry entry are read-only triage.
  Survey or deep-read only a repository the user named or approved in
  `learnings/SOURCES.md`.
- Start with a survey of the tree, active code paths, documentation, examples,
  tests, and license. Spend deep-reading effort only where the survey finds a
  decision that could change a Robium skill.
- Prefer official/vendor sources. Use comparative reads when independent
  projects answer the same question; use a re-crawl when a previously mined
  source changed.
- Read [WORKFLOW.md](WORKFLOW.md) for the survey, deep-read, comparative, and
  re-crawl mechanics.

## Keep only reusable evidence

- Keep patterns, orderings, failure discriminators, integration shapes, and
  configuration decisions that transfer beyond the source project.
- Drop project names, incidental ports, arbitrary tuning, style, and other
  local choices unless they explain a reusable boundary.
- Every observation cites a pinned repository commit, path, line range, and a
  verbatim source excerpt that the citation verifier can find.
- Read [EVIDENCE.md](EVIDENCE.md) for source-authority thresholds, conflicts,
  licensing, placement, and new-skill proposals.

## Preserve the learning boundary

- Output observations and source-registry updates, never direct skill edits.
  Absorption belongs to `learning-loop` and remains separately reviewed.
- Compare findings with existing skills and observations. Record disagreement
  with both provenances; do not silently replace Robium field evidence with an
  upstream idiom.
- Point to source code by default. Vendor code only when it is short, genuinely
  useful as a maintained example, and its license and attribution permit it.
- Do not crawl issue trackers or commit history as part of the current mining
  workflow.

## Done

- The registry records the pinned commit, crawl date, status, and resulting
  observation IDs.
- Citation and observation checks pass for every retained finding.
- Each finding names the owning skill or explains why no current skill owns it.
- Temporary clones and survey reports remain outside the committed plugin.