Skill: Create PassThrough Approximation

Write passThrough propagation rules for external library methods

Inputs

From the caller; if omitted, fall back to the default. Ask only when a required input is missing and has no sensible default

Methods to model <methods> — the target method(s) and what each propagates, from the tracking file's methods (all type: passthrough)
Tracking file <tracking-file> — the passThrough approximation unit. Default: .opentaint/tracking/approximations/<name>.yaml
Config output <config-file> — where to write the passThrough approximation. Default: .opentaint/pass-through/<name>.yaml
Test model <test-model> (optional) — any compiled model to dry-run the config against for a load/parse check. Default: .opentaint/project if it exists, else any .opentaint/test-compiled/* model