quipu_path_cone
Compute a trajectory's provenance cone to see which steps its falsifier-gated verified result depends on, marking load-bearing steps versus mechanically prunable ones.
Instructions
Golden paths: compute the provenance cone of a trajectory — which steps did its falsifier-gated verified result depend on? Per-step verdicts are in-cone (load-bearing; pruning needs a human Decision), out-of-cone (mechanically prunable), or cannot-evaluate (no derivation edges recorded — never silently prunable). Refuses trajectories with no steps or no falsifier-gated verification.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| via | No | Derivation predicate IRIs to walk, in addition to verifiedBy (always followed). | |
| hops | No | Depth bound for the derivation walk (default: 8) | |
| base_ns | No | Vocabulary namespace override; defaults to the store's configured base_ns. | |
| trajectory | Yes | IRI of the Trajectory to analyse |