Skip to content

docs: VEIL/PACT specs, doc restructure, landing migration, and auth alignment#124

Merged
gustavovalverde merged 4 commits intomainfrom
docs/veil-pact-specs
Mar 22, 2026
Merged

docs: VEIL/PACT specs, doc restructure, landing migration, and auth alignment#124
gustavovalverde merged 4 commits intomainfrom
docs/veil-pact-specs

Conversation

@gustavovalverde
Copy link
Owner

Summary

  • VEIL v0.1 & PACT v0.1 specifications: Two new normative security profile specs — VEIL defines the privacy-preserving identity model (4 assurance tiers, FHE attributes, ZK proof taxonomy, credential-wrapped custody); PACT defines the OAuth 2.1 agent authorization profile (CIBA, DPoP, ephemeral PII, capability-gated auto-approval, pairwise identifiers)
  • Documentation restructure: Reorganize flat docs/ into 4 audience-based folder groups — (concepts), (architecture), (protocols), (specs) — with structural framing applied across all public documents
  • Landing page migration: Migrate from Vite SPA to React Router v7 framework mode with Fumadocs MDX pipeline, Mermaid diagram rendering, full-text search (Orama), and Vercel SSR deployment
  • Code alignment with specs: Align auth implementation with PACT/VEIL requirements — CIMD validation, CIBA token binding (act.sub), pairwise agent identifiers, ephemeral identity single-consume semantics, agent introspection privacy, and capability-gated grant evaluation

Test plan

  • Verify landing page builds and serves docs correctly (cd apps/landing && pnpm build)
  • Verify web app builds with auth changes (cd apps/web && pnpm build)
  • Run unit/integration tests (cd apps/web && pnpm test)
  • Verify MCP transport tests pass (cd apps/mcp && pnpm test)
  • Spot-check doc links resolve in Fumadocs navigation
  • Verify no gitignored files (rfcs/, research/, plans/) leaked into the commit

Introduce two new normative specifications:
- VEIL (Verifiable Encrypted Identity Layer) defines the privacy-preserving
  identity model with four assurance tiers, FHE-encrypted attributes, ZK
  proof taxonomy, and credential-wrapped key custody.
- PACT (Privacy-Aware Compliance Token) defines the OAuth 2.1 security
  profile for agent-mediated identity flows, including CIBA authorization,
  DPoP binding, ephemeral PII delivery, capability-gated auto-approval,
  and pairwise subject identifiers.
…ral framing

Reorganize documentation from flat directory into four audience-based
folder groups: (concepts), (architecture), (protocols), and (specs).
Apply structural framing writing style across all public documents.

- Move and rewrite architecture docs (attestation privacy, tamper model,
  agent architecture, SSI, web3, recovery trust)
- Move and rewrite protocol docs (FHE key lifecycle, OAuth integrations,
  ZK architecture, password security, nationality proofs)
- Move conceptual docs (architecture overview, cryptographic pillars)
- Remove obsolete flat-directory originals and stale documents
  (blockchain-setup, social-login-integration-guide, verification)
- Add bold scanning anchors and fix em dashes across all documents
- Update CLAUDE.md doc references to match new paths
…upport

Migrate the landing page from Vite SPA to React Router v7 framework mode
with server-side rendering. Integrate Fumadocs for documentation rendering
with full-text search (Orama) and Mermaid diagram support.

- Migrate src/ to app/ directory structure (React Router v7 convention)
- Wire Fumadocs MDX pipeline with source.config.ts and sync-docs script
- Add Mermaid diagram rendering with responsive mobile support
- Add Vite 8 manifest compatibility shim for Vercel deployment
- Remove vercel.json (React Router framework detection handles config)
- Update .gitignore for generated dirs (.react-router, .source, content/docs)
…controls

Align implementation with PACT and VEIL specification requirements:

- Add CIMD validation for client-initiated metadata documents
- Enforce PACT token binding: CIBA access tokens carry act.sub,
  agent_session_id, and authorization_details claims
- Add pairwise agent identifiers with per-RP privacy isolation
- Tighten ephemeral identity staging to single-consume semantics
- Add agent introspection privacy controls (host-scoped visibility)
- Wire grant-evaluation auto-approve for capability-gated CIBA requests
- Update MCP transports to propagate agent-assertion headers
- Add comprehensive test coverage for agent binding, pairwise privacy,
  token exchange, and grant evaluation flows
@gustavovalverde gustavovalverde merged commit 6b9937a into main Mar 22, 2026
26 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant