v0.4.20

pgCK release notes

pgCK — the Concept Kernel Protocol runtime as a PostgreSQL extension
(Rust/pgrx, composes pgRDF). Historical protocol and deployment drafts
are kept in the local-only _WIP/ workspace; the public runtime surface is
this file plus the repo runtime directories and README.

Distribution

Each v* tag publishes, for every pg{14,15,16,17} × {amd64,arm64}:

1. GitHub Release tarball — pgck-<ver>-pg<PG>-glibc-<arch>.tar.gz
   (lib/pgck.so + share/extension/{pgck.control, pgck--<ver>.sql} +
   LICENSE + SHA256SUMS). pgRDF INSTALL-spec parity.

2. OCI artifact (public, anonymous pull) —
   ghcr.io/styk-tv/pgck:<ver>-pg<PG>-<arch>. The pgCK extension files
   packaged as an OCI artifact (artifact-type
   application/vnd.styk.pgck.extension.v1); pull with oras:

   oras pull ghcr.io/styk-tv/pgck:0.4.1-pg17-arm64

   This is a transport for the extension files, not a runnable image —
   they are bind-mounted onto a stock postgres:17 via the local runtime
   workflow described in README.md.

Version history

The per-version release log is maintained in CHANGELOG.md — the single
authoritative changelog. Every release records what changed and what tests passed
(PROVENANCE.md Rule 7); the attested digests for the current release are in
LATEST.md.

• Protocol: CKP v3.9 — Critical Isolation, finalized + locked (the official contract).
• Extension: v0.4.1 — the v3.9 epoch shipped across v0.3.0 → v0.4.1 (role floor →
  sealed registry → plan compiler → governance plane → typed read surface), both arches attested.

Earlier granular per-version notes (≤ v0.1.x) live in git history.

Full Changelog: v0.4.19...v0.4.20