Client half of the server-derived identity story. As of v1.5.6 (#11) a verified connection publishes governed dispatches on input.kernel.pgCK.id.<sub>.action.<verb>, where the client builds the id.<sub> segment by reading sub from its own token. That puts the client in the token path and makes it an identity constructor.
Proposal
The client publishes the plain input.kernel.pgCK.action.<verb> (no id segment); the substrate derives created_by/by: from the verified connection. The client then constructs no identity, needs no sub, and sends only {verb, kernel_urn, payload} — never-assert becomes structural.
Depends on
pgCK deriving the requester from the admitted connection rather than the subject segment (pgCK project task #20; server-derived identity itself already shipped as styk-tv/pgCK#9/#10). Gated on that — until it lands, #11 stays exactly as shipped.
Done-when
- cklib publishes the plain subject; the seal records the real
created_by; the event by: is correct.
- No token-claim parsing for subject formation remains in
ck-client.js; never-assert is structural.
- Docs updated:
SPEC.CK-LIB-JS §2.1, SPEC.CK-OPERATIONS §6.1.
Relates
Client half of the server-derived identity story. As of v1.5.6 (#11) a verified connection publishes governed dispatches on
input.kernel.pgCK.id.<sub>.action.<verb>, where the client builds theid.<sub>segment by readingsubfrom its own token. That puts the client in the token path and makes it an identity constructor.Proposal
The client publishes the plain
input.kernel.pgCK.action.<verb>(no id segment); the substrate derivescreated_by/by:from the verified connection. The client then constructs no identity, needs nosub, and sends only{verb, kernel_urn, payload}— never-assert becomes structural.Depends on
pgCK deriving the requester from the admitted connection rather than the subject segment (pgCK project task #20; server-derived identity itself already shipped as
styk-tv/pgCK#9/#10). Gated on that — until it lands, #11 stays exactly as shipped.Done-when
created_by; the eventby:is correct.ck-client.js; never-assert is structural.SPEC.CK-LIB-JS §2.1,SPEC.CK-OPERATIONS §6.1.Relates