tmf_stale_slice
Plan which current source files to re-read after a stored claim turns stale, such as following a merge. Get suggested reads and side-effect checks before editing.
Instructions
Plan which current source to re-read after a stored claim becomes stale, for example after a merge. Use a claim_id previously returned by tmf_context, tmf_retrieve or tmf_explain; do not invent IDs. Returns claim_fresh, per-binding stale status, required_reads with source anchors, retained_fresh_bindings, optional_fresh_neighbors, side_effect_checks and a stop_rule. Read the suggested current source and resolve applicable side-effect checks before editing; retain matching bindings rather than re-reading the whole repository. Reading suggestions are bounded heuristics, not proof of complete dependency coverage. An unknown claim ID raises an error; rediscover the target with tmf_retrieve. This plans reads only: it does not perform edits, refresh the index, or guarantee freshness at a later write. Source is authoritative; fresh does not mean correct.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| claim_id | Yes | Existing stored claim ID, typically retained from an earlier query or tmf_explain result with fresh=false. A missing ID raises an error. | |
| question | No | Optional current development task, e.g. preserve timeout units after a dependency update. Default empty string; task terms help select source-reading suggestions. | |
| max_required_reads | No | Maximum required-reading suggestions, default 4; values are clamped to 1–16. A bounded list is not proof that all affected source is covered. | |
| max_optional_neighbors | No | Maximum optional fresh-neighbor suggestions, default 4; values are clamped to 0–16. Use 0 to omit optional neighbors. |