# Upstream provenance

SoL-Pi reference: https://github.com/NVlabs/SoL-Pi at commit `2195680` (2026-10-18).
PiG reference: https://github.com/MichaelKinsy/PiG at tag `v0.5.3`.

| file | source | commit |
|---|---|---|
| `extensions/sol-pig/internal/config/config.go` | SoL-Pi `src/sol-pi/config.ts` | `2195680` |
| `extensions/sol-pig/internal/paths/paths.go` | SoL-Pi `src/sol-pi/runtime-paths.ts` | `2195680` |
| `extensions/sol-pig/internal/savings/savings.go` | SoL-Pi `src/sol-pi/tui.ts` | `2195680` |
| `extensions/sol-pig/internal/observationpack/observation.go` | SoL-Pi `src/sol-pi/extensions/observation-pack/observation.ts` | `2195680` |
| `extensions/sol-pig/internal/observationpack/ledger.go` | SoL-Pi `src/sol-pi/extensions/observation-pack/ledger.ts` | `2195680` |
| `extensions/sol-pig/internal/observationpack/pack.go` | SoL-Pi `src/sol-pi/extensions/observation-pack/index.ts` | `2195680` |
| `extensions/sol-pig/extension.go` | SoL-Pi `src/sol-pi/index.ts` | `2195680` |
| `extensions/sol-pig/internal/actionfusion/paths.go` | SoL-Pi `src/sol-pi/extensions/action-fusion/file-queue.ts` | `2195680` |
| `extensions/sol-pig/internal/actionfusion/queue.go` | SoL-Pi `src/sol-pi/extensions/action-fusion/file-queue.ts` | `2195680` |
| `extensions/sol-pig/internal/actionfusion/thenrun.go` | SoL-Pi `src/sol-pi/extensions/action-fusion/then-run.ts` | `2195680` |
| `extensions/sol-pig/internal/actionfusion/register.go` | SoL-Pi `src/sol-pi/extensions/action-fusion/index.ts`, `src/sol-pi/shell-options.ts` | `2195680` |
| `extensions/sol-pig/internal/actionfusion/prepare.go` | PiG `internal/codingagent/tools/edit.go` | `v0.5.3` |
| `extensions/sol-pig/internal/reducer/config.go` | SoL-Pi `src/sol-pi/extensions/evidence-preserving-reducer/config.ts` | `2195680` |
| `extensions/sol-pig/internal/reducer/candidate.go` | SoL-Pi `src/sol-pi/extensions/evidence-preserving-reducer/candidate.ts` | `2195680` |
| `extensions/sol-pig/internal/reducer/archive.go` | SoL-Pi `src/sol-pi/extensions/evidence-preserving-reducer/archive.ts` | `2195680` |
| `extensions/sol-pig/internal/reducer/receipt.go` | SoL-Pi `src/sol-pi/extensions/evidence-preserving-reducer/receipt.ts` | `2195680` |
| `extensions/sol-pig/internal/reducer/provider.go` | SoL-Pi `src/sol-pi/extensions/evidence-preserving-reducer/provider.ts` | `2195680` |
| `extensions/sol-pig/internal/reducer/journal.go` | SoL-Pi `src/sol-pi/extensions/evidence-preserving-reducer/journal.ts` | `2195680` |
| `extensions/sol-pig/internal/reducer/reducer.go` | SoL-Pi `src/sol-pi/extensions/evidence-preserving-reducer/index.ts` | `2195680` |
| `extensions/sol-pig/internal/occ/economics.go` | SoL-Pi `src/sol-pi/extensions/online-context-compact/economics.ts` | `2195680` |
| `extensions/sol-pig/internal/occ/plan.go` | SoL-Pi `src/sol-pi/extensions/online-context-compact/plan.ts` | `2195680` |
| `extensions/sol-pig/internal/occ/state.go` | SoL-Pi `src/sol-pi/extensions/online-context-compact/state.ts` | `2195680` |
| `extensions/sol-pig/internal/occ/projection.go` | SoL-Pi `src/sol-pi/extensions/online-context-compact/projection.ts` | `2195680` |
| `extensions/sol-pig/internal/occ/tools.go` | SoL-Pi `src/sol-pi/extensions/online-context-compact/tools.ts` | `2195680` |
| `extensions/sol-pig/internal/occ/extension.go` | SoL-Pi `src/sol-pi/extensions/online-context-compact/extension.ts` | `2195680` |
| `extensions/sol-pig/internal/occ/economics_test.go` | SoL-Pi `tests/online-context-compact-economics.test.ts` | `2195680` |
| `extensions/sol-pig/internal/occ/extension_test.go` | SoL-Pi `tests/online-context-compact.test.ts` and `tests/online-context-compact-recovery.test.ts` | `2195680` |
| `extensions/sol-pig/internal/occ/plan_test.go` | SoL-Pi `tests/online-context-compact-plan.test.ts` | `2195680` |
| `extensions/sol-pig/internal/occ/state_test.go` | SoL-Pi `tests/online-context-compact-state.test.ts` | `2195680` |
