Tags: styk-tv/pgCK
Tags
pgCK v0.4.23 — pgCK owns the NATS drain (-nats variant + robust bridg… …e worker) - New -nats release variant: pgck:0.4.23-pg18-nats-<arch> — outbox->NATS drain + inbound relay + auth-callout verifier in the .so; set pgck.nats_url to activate. Plain minimal pgck:0.4.23-pg18-<arch> still ships alongside. - pgck.worker_database GUC (default postgres). - Bridge worker waits for the extension instead of exiting; self-drains without a restart. Verified: msg.by on the wire (by header) over TCP + WS.
pgCK v0.4.22 — server-derived identity (F-group) + pg18 substrate - F1: EdDSA auth-callout JWT verifier (env/GUC-delivered JWKS, in-memory, no egress HTTP) - F2: dispatch/seal persist the verified requester, not the client payload (s58) - F4: server-attributed msg.by on delivered events (s60) - pg18 / pgRDF v0.6.20 / postgres:18-trixie (glibc >= 2.38) Both smoke gates green on pg18. Exact release build (cargo pgrx package --features pg18) compiles + schema-gens + packages cleanly.
pgCK v0.4.21 — create_typed files v3.7 core lifecycle keys under the …
…core NS
instance.create {type, lifecycle_state:'pending'} now stores lifecycle_state under the v3.7
core NS the transition gate + task.create read, instead of the type namespace. Fixes the
silent 'planned' treatment that made a subsequent pending->sealed transition return
invalid_transition (the real root of the ck-allinone invalid_transition symptom). Regression
s57 (create(pending)->transition(sealed) end-to-end); smoke-s4 + smoke-s34 green on pgRDF 0.6.19.
pgCK v0.4.20 — project-robust transition-map resolution (pgCK#7) ckp.transition resolves the instance type's sealed transition map with GRAPH ?g — wherever it is sealed — instead of the session-project kernel graph, so a governed lifecycle transition uses the type's map regardless of the dispatch-session ckp.project. Fixes invalid_transition under a session/kernel project mismatch (the seal/dispose half of the consensus loop). Regression s56; smoke-s4 + smoke-s34 green on pgRDF 0.6.19.
pgCK v0.4.19 — governed derived-read dispatch verb (scoring-loop read…
… surface)
Exposes the ε-materialize derived reads through ckp.dispatch under the role floor: a generic
plane='derived' affordance (ckp.register_derived_affordance / ckp.run_derived_affordance) parallel
to plane='query'. A consumer-sealed {formula, scope} verb becomes dispatch-reachable and returns
the band-less {ok, value, scored, freshness} envelope — the read surface the scoring client (cklib)
calls. Verb name + formula + bands stay the consumer's sealed fact. smoke-s4 + smoke-s34 green.
pgCK v0.4.18 — query filter-key resolution hardening (pgCK#6) ckp.query resolves a filter key against the actual instance-body keys (jsonb, project-independent), so a property-path filtered read works even when the type resolves unshaped (e.g. the shape isn't in the session's project graph), and returns a typed unresolved_shape instead of a silent []. Fixes the CSVC-blocking filtered-query regression on the v0.7.25 substrate. smoke-s4 + smoke-s34 green on pgRDF 0.6.19.
pgCK v0.4.17 — ε-materialize completeness + hardening (Motion A.5, Mo… …del A) Completes the scoring-loop substrate: ckp.derived_dispersion (net+volume; κ is the consumer's), over-budget bgworker handoff (ckp.enqueue_materialize → recompute_in_progress + durable job, ckp.materialize_drain_once drained each tick), phenotype GC, and the within-ε / non-intrusiveness end-to-end gate. Generic substrate — no consumer term. smoke-s4 + smoke-s34 green.
pgCK v0.4.16 — governed ε-materialize substrate (Motion A.5, Model A) Generic phenotype materialize so a sealed read can SUM a value pgRDF can't derive in-plan; the formula is a sealed opaque input the substrate substitutes but never contains. Ships ckp._source_watermark (MAX(ckp.ledger.seq)), ckp._epsilon_materialize, ckp._phenotype_fresh/_publish (atomic committed-complete pointer), ckp.derived_sum (generic net read, (e)-hybrid lazy/synchronous). Host-side math; no pgRDF change. smoke-s4 + smoke-s34 green.
PreviousNext