@pi-in-go/pigpen-extension-port 0.1.0

package/CREDITS.md

@@ -0,0 +1,21 @@
+# Credits
+
+The `pigpen-pi-extension-port` Skill adapts the PiG Porter procedure and
+TypeScript-to-Go translation rules from PiG.
+
+Authors and copyright attribution: Michael Kinsy.
+Source repository: https://github.com/MichaelKinsy/PiG.
+
+Reviewed revision: `d86eb93f217e64b655e9ee6f48c93a9afd107697`.
+
+- [PiG Porter Skill](https://github.com/MichaelKinsy/PiG/blob/d86eb93f217e64b655e9ee6f48c93a9afd107697/piglets/porter/skills/pig-porter/SKILL.md)
+- [TypeScript-to-Go porting](https://github.com/MichaelKinsy/PiG/blob/d86eb93f217e64b655e9ee6f48c93a9afd107697/docs/typescript-to-go-porting.md)
+
+License: [MIT](LICENSE). Pigpen's adaptation removes core-repository assumptions
+and adds Package distribution and extension-specific completion checks. It does
+not copy or replace PiG's core parity engine.
+
+The L-rules in the Skill are those of PiG's 0.99 port progress record
+(`docs/plan/upgrade-0.99.1-progress.md` in PiG `v0.4.0`, same authors and license).
+The fake-host and fake-CLI test patterns come from Pigpen's herdr Go port
+(`pigpen-herdr-go`), and the equivalence workflow from Pigpen's `extension-equivalence` Package.

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Michael Kinsy
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,52 @@
+# Extension porting Package
+
+This Package supplies `pigpen-pi-extension-port`, a strict, proof-checked procedure for
+porting a Pi TypeScript extension to a **Go** PiG extension. It contains no extension and
+needs no Node runtime to install; the proof steps use the
+[`extension-equivalence`](../extension-equivalence/README.md) Package.
+
+The workflow, in order: SDK gap check, tests first (a fake PiG host over `net.Pipe`, and
+scripted scenarios recorded from the original under Pi), red, Go implementation, a
+differential check that the original under Pi and the port under PiG produce identical
+traces, a mutation check, a Piglet Binary build with the extension fused, and a Package
+with provenance back to the original and its license.
+
+| File | Content |
+|---|---|
+| `skills/pigpen-pi-extension-port/SKILL.md` | The workflow and completion checklist, with the L-rules from PiG's own port. |
+| `references/ts-to-go-patterns.md` | Event mapping, async and Promise, dialogs, exec and child processes, error text, strings and numbers, Windows paths, known SDK gaps and host differences. |
+| `references/fakehost_test.go.txt` | The fake-host test harness to copy into a port (`fakehost_test.go`). |
+
+## Use independently
+
+From the Pigpen checkout root:
+
+```sh
+pig package validate ./components/extension-port
+pig install ./components/extension-port
+```
+
+Then invoke the Skill in a PiG session:
+
+```text
+/skill:pigpen-pi-extension-port port <original.ts> to <target-directory>
+```
+
+Pigpen's own ports are dispatched from [`ports/ports.json`](../../ports/README.md): give the Skill one row,
+`/skill:pigpen-pi-extension-port port row <id>`, and it takes the pinned upstream, target, license and credit from
+the row and keeps the row's status (`porting`, then `review`) up to date.
+
+The local install references this checkout; keep it at its installed path and use `pig remove`
+with the same path to remove it. The [`pig-extension-porter`](../../piglets/pig-extension-porter/README.md)
+Piglet selects this Skill together with the equivalence extension, from a generated local stage
+(`npm run stage`); that does not install the Package into user settings.
+
+The Skill guides an agent. It does not certify a port or run an automatic translator. The
+package keyword `pig-package` lets pi-in-go.dev's Package catalog discover it once published;
+it is `private` until the owner publishes it. No public package or Piglet Binary has been released.
+
+## License and credits
+
+[MIT](LICENSE). The procedure adapts PiG's upstream-first porter and translation rules and PiG's
+0.99 port lessons; the herdr Go port contributed the fake-host and fake-CLI test patterns. See
+[CREDITS.md](CREDITS.md).

package/package.json

@@ -0,0 +1,37 @@
+{
+  "name": "@pi-in-go/pigpen-extension-port",
+  "version": "0.1.0",
+  "description": "Test-first, proof-checked procedure for porting Pi TypeScript extensions to native Go PiG extensions",
+  "keywords": [
+    "pig-package",
+    "extension-porting",
+    "skill",
+    "pigpen"
+  ],
+  "license": "MIT",
+  "author": "Michael Kinsy",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/MichaelKinsy/pigpen.git",
+    "directory": "components/extension-port"
+  },
+  "homepage": "https://github.com/MichaelKinsy/pigpen/tree/main/components/extension-port#readme",
+  "bugs": {
+    "url": "https://github.com/MichaelKinsy/pigpen/issues"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "files": [
+    "skills",
+    "README.md",
+    "LICENSE",
+    "CREDITS.md",
+    "provenance.json"
+  ],
+  "pi": {
+    "skills": [
+      "skills/pigpen-pi-extension-port"
+    ]
+  }
+}

package/provenance.json

@@ -0,0 +1,18 @@
+{
+  "origin": "ported",
+  "authors": ["Michael Kinsy"],
+  "license": "MIT",
+  "licenseFile": "LICENSE",
+  "upstreams": [
+    {
+      "name": "PiG Porter",
+      "authors": ["Michael Kinsy"],
+      "url": "https://github.com/MichaelKinsy/PiG",
+      "revision": "d86eb93f217e64b655e9ee6f48c93a9afd107697",
+      "path": "skills/pigpen-pi-extension-port",
+      "license": "MIT",
+      "licenseFile": "LICENSE",
+      "attributionFile": "CREDITS.md"
+    }
+  ]
+}