mkdocs.yml

# SPDX-License-Identifier: Apache-2.0

site_name: Provability-Fabric
site_description: Open-source framework for AI agent behavioral guarantees
site_author: Provability-Fabric Contributors
site_url: https://provability-fabric.org/

repo_name: SentinelOps-CI/provability-fabric
repo_url: https://github.com/SentinelOps-CI/provability-fabric
edit_uri: edit/main/docs/

docs_dir: docs
site_dir: build

theme:
  name: material
  palette:
    - media: "(prefers-color-scheme)"
      scheme: default
      primary: indigo
      accent: indigo
      toggle:
        icon: material/brightness-auto
        name: Switch to light mode
    - media: "(prefers-color-scheme: dark)"
      scheme: slate
      primary: indigo
      accent: indigo
      toggle:
        icon: material/brightness-7
        name: Switch to system preference

plugins:
  - search
  - mermaid2

markdown_extensions:
  - admonition
  - codehilite
  - footnotes
  - meta
  - toc
  - tables
  - fenced_code
  - pymdownx.arithmatex:
      generic: true
  - pymdownx.betterem:
      smart_enable: all
  - pymdownx.caret
  - pymdownx.details
  - pymdownx.emoji
  - pymdownx.highlight:
      anchor_linenums: true
      line_spans: __span
      pygments_lang_class: true
  - pymdownx.inlinehilite
  - pymdownx.keys
  - pymdownx.magiclink
  - pymdownx.mark
  - pymdownx.smartsymbols
  - pymdownx.snippets:
      check_paths: true
  - pymdownx.superfences
  - pymdownx.tabbed:
      alternate_style: true
  - pymdownx.tasklist:
      custom_checkbox: true
  - pymdownx.tilde

nav:
  - Home: index.md
  - Getting Started: guides/getting-started.md
  - Proof-Carrying Science:
      - Overview: pcs/README.md
      - Quickstart: pcs/quickstart.md
      - Verification: pcs/verification.md
      - Admission benchmarks: pcs/admission-benchmarks.md
      - Clean checkout chain: pcs/clean-checkout-chain.md
      - Fixtures: pcs/fixtures.md
      - Release checklist: pcs/release-checklist.md
      - Glossary: pcs/glossary.md
  - Guides:
      - Deployment: guides/deployment-guide.md
      - Production deployment: guides/deployment/production-deployment.md
      - Developer guide: guides/developer-guide.md
      - Testing: guides/testing-guide.md
      - Examples: guides/examples.md
      - Demos: guides/demos.md
      - Quickstarts: guides/quickstarts.md
      - Platform: guides/platform.md
      - Reuse and extend: guides/reuse-and-extend.md
      - Extension points: guides/extension-points.md
  - Architecture:
      - Overview: architecture/overview.md
      - Decision path: architecture/decision-path.md
      - Guarantees: architecture/guarantees.md
      - Policy: architecture/policy.md
      - Multi-channel policy: architecture/policy/multi_channel.md
      - Multi-tenant: architecture/multi-tenant.md
      - Cross-region DR: architecture/cross-region-dr.md
  - Reference:
      - CLI: reference/cli-reference.md
      - API: reference/api-reference.md
      - WebSocket API: reference/api/websocket-api.md
      - Configuration: reference/configuration.md
      - Versioning: reference/versioning.md
      - CI: reference/ci-reference.md
      - Error catalog: reference/error-catalog.md
      - Proof quality gates: reference/proof-quality-gates.md
  - Specs:
      - Plan DSL: specs/plan-dsl.md
      - Egress certificate: specs/egress-certificate.md
      - DSSE verify contract: specs/dsse-verify-contract.md
      - Standards: specs/standards.md
      - CERT-V1 quickstart: specs/standards/CERT-V1-quickstart.md
  - Evidence:
      - Overview: evidence/overview.md
      - Replay: evidence/replay.md
      - Evidence v0.1:
          - Roadmap: roadmap/evidence-v0.1.md
          - v0.2 integration: roadmap/evidence-v0.2.md
          - Status: roadmap/evidence-v0.1-status.md
          - v0.2 status: roadmap/evidence-v0.2-status.md
          - v0.2 delivery: roadmap/evidence-v0.2-delivery.md
          - Quickstart: guides/evidence-v0.1-quickstart.md
          - Model: specs/evidence-model-v0.1.md
          - Bundle format: specs/evidence-bundle-v0.1.md
          - Compatibility: specs/evidence-compatibility.md
          - Attestation signatures: specs/evidence-attestation-signatures.md
          - Lane guide: specs/evidence-lane-guide.md
          - Walkthrough: guides/evidence-bundle-walkthrough.md
          - Replay guarantees: guides/replay-guarantees.md
          - Runtime basic: guides/runtime-evidence-basic.md
          - Runtime boundaries: guides/runtime-evidence-boundaries.md
          - Forensic replay: guides/forensic-replay-basic.md
          - Changelog: CHANGELOG.md
  - Roadmap:
      - Evidence v0.2 integration: roadmap/evidence-v0.2.md
  - Security:
      - Overview: security/overview.md
      - Threat model: security/threat_model.md
      - SLSA: security/slsa.md
      - Signing and rotation: security/signing-rotation.md
      - Enclave attestation: security/enclave-attestation.md
  - Runtime:
      - Attestation: runtime/attestation.md
      - Performance: runtime/perf.md
      - SLOs: runtime/slo.md
  - Adapters:
      - Overview: adapters/overview.md
      - Alpha-Beta-CROWN: adapters/alpha-beta-crown.md
      - Action DSL sidecar: adapters/action-dsl-sidecar.md
  - Integrations:
      - OpenAI: integrations/openai.md
      - MCP:
          - Integration: integrations/mcp/integration.md
          - Quick reference: integrations/mcp/quick-reference.md
          - Migration: integrations/mcp/migration-guide.md
  - Runbooks:
      - Index: runbooks/README.md
      - Deployment: runbooks/deployment.md
      - Rollback: runbooks/rollback.md
      - Incident response: runbooks/incident-response.md
      - Break glass: runbooks/break-glass.md
      - Operations: runbooks/operations.md
      - Surge: runbooks/surge.md
      - Approvals: runbooks/approvals.md
      - GuardTrip triage: runbooks/guardtrip-triage.md
  - Features:
      - Real-time communication: features/real-time-communication.md
      - Dev mode: features/dev-mode-e4.md
      - Authentication: features/authentication.md
      - Advanced search: features/advanced-search.md
  - Compliance:
      - SOC2: compliance/soc2.md
      - Safety case: compliance/safety_case.md
      - Insurance: compliance/insurance.md
  - Community:
      - Governance: community/governance.md
  - Dev:
      - Lean build: dev/lean-build.md
  - Glossary: glossary.md

extra:
  social:
    - icon: fontawesome/brands/github
      link: https://github.com/SentinelOps-CI/provability-fabric
    - icon: fontawesome/brands/discord
      link: https://discord.gg/provability-fabric
    - icon: fontawesome/brands/twitter
      link: https://twitter.com/provabilityfab

extra_css:
  - stylesheets/extra.css

extra_javascript:
  - javascripts/mathjax.js
  - https://polyfill.io/v3/polyfill.min.js?features=es6
  - https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js