https://timbrinded.github.io/shapelang/https://timbrinded.github.io/shapelang/concepts/analyzer-hints/https://timbrinded.github.io/shapelang/concepts/ast-generation/https://timbrinded.github.io/shapelang/concepts/components-ownership-grants/https://timbrinded.github.io/shapelang/concepts/diagnostics-provenance/https://timbrinded.github.io/shapelang/concepts/evidence-source-refs/https://timbrinded.github.io/shapelang/concepts/implementations-coverage/https://timbrinded.github.io/shapelang/concepts/model-updates-attestations/https://timbrinded.github.io/shapelang/concepts/refactor-constraints/https://timbrinded.github.io/shapelang/concepts/relations-hypergraphs/https://timbrinded.github.io/shapelang/concepts/resources-traits-effects/https://timbrinded.github.io/shapelang/concepts/rules-hypercycles/https://timbrinded.github.io/shapelang/concepts/unknowns-safety/https://timbrinded.github.io/shapelang/examples/analyzer-warning/https://timbrinded.github.io/shapelang/examples/append-only-hard-delete-failure/https://timbrinded.github.io/shapelang/examples/append-only-pass/https://timbrinded.github.io/shapelang/examples/forbid-provides-boundary/https://timbrinded.github.io/shapelang/examples/global-model-update/https://timbrinded.github.io/shapelang/examples/guarded-change-reevaluation/https://timbrinded.github.io/shapelang/examples/missing-shape-update/https://timbrinded.github.io/shapelang/examples/refactor-sensitive-function/https://timbrinded.github.io/shapelang/inside-shape/checker-pipeline/https://timbrinded.github.io/shapelang/inside-shape/design-rationale/https://timbrinded.github.io/shapelang/inside-shape/fact-lowering/https://timbrinded.github.io/shapelang/inside-shape/formatter-editor-authoring/https://timbrinded.github.io/shapelang/inside-shape/langium-grammar/https://timbrinded.github.io/shapelang/inside-shape/rule-evaluation/https://timbrinded.github.io/shapelang/learn/append-only-walkthrough/https://timbrinded.github.io/shapelang/learn/ci-workflow/https://timbrinded.github.io/shapelang/learn/first-shape-file/https://timbrinded.github.io/shapelang/learn/global-model-updates/https://timbrinded.github.io/shapelang/learn/quickstart/https://timbrinded.github.io/shapelang/learn/what-is-shape/https://timbrinded.github.io/shapelang/reference/cli/https://timbrinded.github.io/shapelang/reference/diagnostics/https://timbrinded.github.io/shapelang/reference/glossary/https://timbrinded.github.io/shapelang/reference/language-syntax/https://timbrinded.github.io/shapelang/reference/local-development/