Record deterministic TypeScript evidence
evidrift_recordRecord evidence for a TypeScript symbol claim by resolving the installed npm dependency and creating a content-addressed receipt with the affected source file. Use it for dependency drift checks.
Instructions
Resolve an actually installed dependency and create a content-addressed Evidrift receipt. When affectedCodeLine points at an overloaded call, TypeScript selects the real call-site signature. The tool records evidence only; it never declares the receipt verified or the code correct.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| claim | Yes | Human claim explaining why this evidence matters. | |
| symbol | Yes | Exported callable TypeScript symbol. | |
| overload | No | Optional 1-based overload selector used only when recording an overloaded symbol. | |
| parameter | No | Optional parameter name that must exist. | |
| packageName | Yes | Installed npm dependency name. | |
| projectRoot | No | Repository-relative directory containing the consuming package.json. | . |
| affectedCodeLine | No | Optional 1-based affected source line. | |
| affectedCodePath | Yes | Repository-relative source file affected by the claim. |