logicsrc/docs/credential-sharing.md
Anthony Ettinger bb09c145cd
fix(cli): vault names join with "--", not "/" — the server rejects slashes (#112)
#109 addressed vaults as <project>/<env> and shipped broken: every push
failed with

    Vault name must be lowercase letters, numbers, and dashes.

The vault-create endpoint slugifies through /^[a-z0-9][a-z0-9-]{0,62}$/
(apps/pwa/src/routes/credshare.mjs), so a "/" join is refused outright.
Nothing in the CLI ever saw it, because the tests exercised vaultName and
splitVaultName in isolation and never made a request — the one assumption
that mattered, that the server takes an arbitrary vault name, was the one
left unverified.

Switches the separator to "--", which is inside the allowed character set
and still splits unambiguously since neither half may contain one. A
single dash would not: "a-b" + "c" and "a" + "b-c" would collide.

Also validates the joined name against the server's own regex before the
request, so a bad name fails locally with a useful message rather than a
422 after the .env has been read.

The tests now assert the produced name matches that regex, so the
separator cannot drift back out of the allowed set without failing.

Verified end to end against app.logicsrc.com: push, then pull into a
scratch file and diff — keys and values both round-trip losslessly. Then
49 repos pushed under the profullstack team; server reports 49 vaults,
169 secrets, 0 failures.

Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-07-30 13:32:07 -07:00

8.4 KiB

Credential Sharing OpenSpec

Status: reference implementation available (@logicsrc/plugin-credential-sharing)

Slug: credential-sharing

Reference Implementation

The spec below is implemented by plugins/credential-sharing and surfaced through logicsrc credentials <command>. All four first providers (env, doppler, railway, github-secrets) ship as provider adapters.

# List adapters and their capabilities (which can read values vs. write-only)
logicsrc credentials providers

# Inspect an endpoint — redacted key names + value fingerprints, never raw values
logicsrc credentials inspect --provider env --path .env

# Diff a source against a target without moving anything
logicsrc credentials diff --from env --from-path .env --to railway \
  --to-project <projectId> --to-config <environmentId>

# Build a plan (stored under .logicsrc/credentials), then dry-run, then apply
logicsrc credentials plan --from env --from-path .env --to doppler \
  --to-project <project> --to-config <config>
logicsrc credentials sync --plan <planId>            # dry-run (no writes)
logicsrc credentials sync --plan <planId> --approve  # writes to the target

# Audit and reverse a run (rollback emits a NEW plan)
logicsrc credentials audit --run <runId> --format markdown
logicsrc credentials rollback --run <runId>

SDK usage mirrors the spec via createCredentialEngine() from the plugin package.

Implementation notes:

  • Value fingerprints are salted SHA-256 (truncated) so two endpoints can be diffed without revealing values; they are equality/integrity markers, not secret storage.
  • github-secrets is write-only for values (GitHub never returns secret values), so it cannot be a sync source or a value-restoring rollback target. Secret writes are libsodium sealed-box encrypted against the repo/org/environment public key.
  • Rollback captures the target's prior values into a 0600 vault under .logicsrc/ (gitignored) — the only place raw values touch disk. Plans, runs, and audit records contain fingerprints only.

Credential Sharing is a LogicSRC OpenSpec for portable, auditable secret synchronization across local files and infrastructure providers. It is intended to replace closed, proprietary credential-sharing workflows with a provider-neutral contract.

LogicSRC defines the open objects, CLI commands, SDK calls, TUI states, PWA states, provider adapter capabilities, and audit records. External products may consume this contract, but LogicSRC does not call out to product-specific commands.

First Providers

env
doppler
railway
github-secrets
  • .env: read, diff, redact, and write local environment files.
  • Doppler: sync project/config scoped secrets.
  • Railway: sync service variables.
  • GitHub Secrets: sync repository, organization, and environment secrets.

Core Objects

credential_provider
credential_source
credential_target
credential_key
credential_fingerprint
credential_policy
credential_diff
credential_sync_plan
credential_sync_run
credential_approval
credential_rollback
credential_audit_event

CLI Spec

Command namespace:

logicsrc credentials <command>

Required commands:

providers
inspect
plan
diff
approve
sync
rollback
audit
export

Examples:

logicsrc credentials providers
logicsrc credentials plan --from env --to railway
logicsrc credentials plan --from doppler --to github-secrets
logicsrc credentials diff --from env --to doppler --redact
logicsrc credentials sync --plan cred_plan_123 --approve
logicsrc credentials audit --run cred_run_123 --format markdown

Security Rules

  • Raw secret values must never be printed by default.
  • Audit logs should store key names, targets, timestamps, actor identity, and value fingerprints, not raw values.
  • Every write operation should support dry-run mode.
  • Provider adapters must declare read/write capabilities before a plan is generated.
  • Destructive changes require explicit approval.
  • Rollbacks must be represented as new sync plans rather than hidden mutation history.

SDK Spec

All SDKs should expose the same conceptual API:

listCredentialProviders()
inspectCredentialSource(source)
createCredentialSyncPlan(input)
diffCredentialTargets(planId)
approveCredentialSync(planId, approval)
runCredentialSync(planId)
rollbackCredentialSync(runId)
exportCredentialAudit(runId)

Provider Adapter Contract

Provider adapters implement the LogicSRC credential provider contract:

provider.id
provider.capabilities
provider.auth_requirements
provider.inspect()
provider.diff()
provider.write()
provider.rollback()
provider.audit()

The adapter boundary lets tools such as a PWA, TUI, CI workflow, or external CLI consume the same open standard without making LogicSRC depend on any specific product.

Team Sharing (end-to-end encrypted)

The team provider adds a fifth endpoint type — a hosted, end-to-end-encrypted team vault — so you can share credentials with teammates by email instead of passing .env files over chat. It is addressed as team:<team-slug>/<vault-name> (endpoint.project = team slug, endpoint.config = vault name).

Trust model

The server (commandboard-api, routes under /api/credshare) is a zero-knowledge relay for secret values. It stores only:

  • member identity public keys (X25519),
  • the vault data-encryption key (DEK) sealed to each member's public key (crypto_box_seal), one wrapped copy per member,
  • secret ciphertext + nonce (crypto_secretbox), plus a salted fingerprint for redacted diffs.

Plaintext secret values and the raw DEK never leave a member's machine. Granting a teammate access = an existing member unwraps the DEK with their private key and re-wraps (seals) it to the new member's public key. The private key lives only in ~/.logicsrc/identity.json (mode 0600) and is never uploaded.

CLI

# One-time: log in through your browser (registers this device's identity key).
logicsrc login

# Owner: create a team, push a local .env into an encrypted vault, invite people.
# A vault is addressed as <project> <env>, stored as the vault name
# project--env (a double dash: the server slugs vault names through
# /^[a-z0-9][a-z0-9-]{0,62}$/, so a "/" would be rejected).
logicsrc teams create acme --name "Acme Inc"
logicsrc teams push acme web prod --env .env    # encrypt + upload
logicsrc teams invite acme teammate@example.com # emails an accept link

# Teammate: accept, then get granted, then pull + decrypt locally.
logicsrc login
logicsrc teams accept <token-from-email>
# …an existing member runs:  logicsrc teams grant acme web prod teammate@example.com
logicsrc teams pull acme web prod --env .env    # download + decrypt

# Inspect / manage
logicsrc teams list
logicsrc teams members acme
logicsrc teams vaults acme

logicsrc login picks its flow from the machine it runs on:

  • Has its own browser → loopback OAuth-PKCE: a 127.0.0.1 listener catches the callback. Force it with --web.
  • No browser (SSH, droplet, container, CI) → device authorization: the CLI prints a short code, you approve it from a browser on any other machine. Force it with --device. A loopback redirect would be useless here — the browser's 127.0.0.1 is not the CLI's machine.
  • Unattended--token lsk_… from Settings ▸ API keys.

It talks to the hosted credentials app by default. Point it elsewhere (local dev, self-hosted) with LOGICSRC_API=http://localhost:8080 logicsrc login or logicsrc login --api-url …; the chosen origin is remembered in ~/.logicsrc/identity.json once login succeeds.

Because team is a normal provider, the generic sync surface works too — e.g. logicsrc credentials plan --from env --from-path .env --to team --to-project acme --to-config prod, then diff, sync, audit, and rollback behave exactly as with the other providers.

Server + web

  • Server storage is behind a CredShareStore interface: an in-memory store for local dev/tests, and a Supabase-backed store (SUPABASE_URL + SUPABASE_SERVICE_ROLE_KEY) for production. Migration: supabase/migrations/*_credshare.sql (deny-by-default RLS).
  • Email (login codes + invites) uses Resend when RESEND_API_KEY is set; without it, codes/tokens are returned in the API response for local use.
  • logicsrc.com/teams is a management surface only: log in by email, view teams/members/vaults and invite/accept. The browser holds no private key, so it never decrypts — decryption happens only in the CLI.