rigor-foundry/mkdocs.yml at main · anulum/rigor-foundry · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
# SPDX-License-Identifier: Apache-2.0
# Apache License 2.0; see LICENSE.
# © Concepts 1996–2026 Miroslav Šotek. All rights reserved.
# © Code 2020–2026 Miroslav Šotek. All rights reserved.
# ORCID: 0009-0009-3560-0851
# Contact: www.anulum.li | protoscience@anulum.li
# RigorFoundry — Documentation configuration

site_name: RigorFoundry
site_description: Evidence-bound codebase transformation
site_url: https://anulum.github.io/rigor-foundry/
repo_url: https://github.com/anulum/rigor-foundry
exclude_docs: |
  internal/

theme:
  name: material
  logo: assets/anulum_logo.png
  favicon: assets/anulum_logo_company.jpg
  features:
    - navigation.instant
    - navigation.sections
    - content.code.copy

markdown_extensions:
  - admonition
  - attr_list
  - tables
  - toc:
      permalink: true

nav:
  - Home: index.md
  - First repository: getting-started.md
  - Consumer integrations: integrations.md
  - VS Code integration: vscode-integration.md
  - Jupyter notebook analysis: jupyter-notebook-analysis.md
  - Architecture: architecture.md
  - Calibration evidence: calibration-evidence-1.0.md
  - Digest dependencies: digest-dependencies.md
  - Report differences: report-diff.md
  - Offline evidence verification: offline-verification.md
  - Rule-chain candidate inspection: rule-chain-candidate.md
  - Canonical clause semantics: clause-semantics.md
  - Conditions with partial observations: condition-evaluation.md
  - Policy source bytes: policy-source-inputs.md
  - Rule declarations: common-policy.md
  - Context source models: context-source-models.md
  - Retained context sources: context-source-ownership.md
  - Task and registry source owners: task-registry-source-owners.md
  - Selected dispatch applicability: selected-dispatch-applicability.md
  - Dispatch permit candidates: dispatch-permit-candidates.md
  - Permit consumption ledger: permit-consumption-ledger.md
  - Permit anchor verification: permit-anchor-verification.md
  - Source provenance: source-provenance.md
  - Discovery source validation: reference/discovery-source-validation.md
  - Offline CRA reporting preparation: cra-reporting.md
  - CRA readiness rules and StandardPack: cra-rules.md
  - CLI: cli.md
  - Built-in adapter profiles: adapter-profiles.md
  - Application-security rules: application-security-rules.md
  - Reliability rules: reliability-rules.md
  - Supply-chain rules: supply-chain-rules.md
  - Container rules: container-rules.md
  - GitHub Actions security: github-actions-security.md
  - Data-and-privacy rules: data-privacy-rules.md
  - Documentation and licence rules: documentation-rules.md
  - Scientific and numerical rules: scientific-numerical-rules.md
  - Operations and observability rules: operations-observability-rules.md
  - Performance and reproducibility rules: performance-reproducibility-rules.md
  - API and schema compatibility rules: api-compatibility-rules.md
  - SARIF export: sarif.md
  - Compliance maps and OSCAL: compliance-maps.md
  - Assisted-review drafting: assisted-review.md
  - Claim isolation and fleet views: claim-isolation.md
  - Cross-repository campaigns: cross-repository-campaigns.md
  - Campaign admission: campaign-admission.md
  - Instruction dispatch: instruction-dispatch.md
  - Adapter catalogue: adapter-catalogue.md
  - Remediation execution: remediation-executor.md
  - Polyglot capability matrix: polyglot-capability-matrix.md
  - Public API stability: api-stability.md
  - 1.0 stable compatibility contract: stable-contract-1.0.md
  - Configuration: configuration.md
  - Git command provenance: git-provenance.md
  - Repository Git inputs: repository-git-inputs.md
  - Repository file inputs: repository-file-inputs.md
  - Configured inventory domains: inventory-domains.md
  - Configured inventory inputs: configured-inventory-inputs.md
  - Inventory baselines and states: inventory-baselines.md
  - Maintained inventory and facts: maintained-context.md
  - Task contexts and remediation sources: task-context.md
  - Retained source universe: source-universe.md
  - Validation: validation.md
  - Interpreter CI tests: ci-testing.md
  - Security: security.md
  - Fuzzing: fuzzing.md