https://calor.dev/ https://calor.dev/docs/benchmarking/agent-tasks/ https://calor.dev/docs/benchmarking/effect-rows-study/ https://calor.dev/docs/benchmarking/evidence-status/ https://calor.dev/docs/benchmarking/ https://calor.dev/docs/benchmarking/methodology/ https://calor.dev/docs/benchmarking/metrics/comprehension/ https://calor.dev/docs/benchmarking/metrics/contract-verification/ https://calor.dev/docs/benchmarking/metrics/correctness/ https://calor.dev/docs/benchmarking/metrics/edit-precision/ https://calor.dev/docs/benchmarking/metrics/effect-discipline/ https://calor.dev/docs/benchmarking/metrics/effect-soundness/ https://calor.dev/docs/benchmarking/metrics/error-detection/ https://calor.dev/docs/benchmarking/metrics/generation-accuracy/ https://calor.dev/docs/benchmarking/metrics/information-density/ https://calor.dev/docs/benchmarking/metrics/refactoring-stability/ https://calor.dev/docs/benchmarking/metrics/safety/ https://calor.dev/docs/benchmarking/metrics/task-completion/ https://calor.dev/docs/benchmarking/metrics/token-economics/ https://calor.dev/docs/benchmarking/results/ https://calor.dev/docs/changelog/ https://calor.dev/docs/cli/analyze-convertibility/ https://calor.dev/docs/cli/analyze/ https://calor.dev/docs/cli/benchmark/ https://calor.dev/docs/cli/compile/ https://calor.dev/docs/cli/convert/ https://calor.dev/docs/cli/coverage/ https://calor.dev/docs/cli/effects/ https://calor.dev/docs/cli/envelope-schema/ https://calor.dev/docs/cli/evaluation/ https://calor.dev/docs/cli/feature-check/ https://calor.dev/docs/cli/fix/ https://calor.dev/docs/cli/format/ https://calor.dev/docs/cli/hook/ https://calor.dev/docs/cli/ids/ https://calor.dev/docs/cli/import/ https://calor.dev/docs/cli/ https://calor.dev/docs/cli/init/ https://calor.dev/docs/cli/lint/ https://calor.dev/docs/cli/lsp/ https://calor.dev/docs/cli/mcp/ https://calor.dev/docs/cli/migrate/ https://calor.dev/docs/cli/query/ https://calor.dev/docs/cli/review-packet/ https://calor.dev/docs/cli/run/ https://calor.dev/docs/cli/self-check/ https://calor.dev/docs/cli/self-test/ https://calor.dev/docs/cli/static-analysis/ https://calor.dev/docs/cli/structured-output/ https://calor.dev/docs/cli/test/ https://calor.dev/docs/cli/verify/ https://calor.dev/docs/cli/watch/ https://calor.dev/docs/contributing/adding-benchmarks/ https://calor.dev/docs/contributing/development-setup/ https://calor.dev/docs/contributing/ https://calor.dev/docs/getting-started/claude-integration/ https://calor.dev/docs/getting-started/codex-integration/ https://calor.dev/docs/getting-started/gemini-integration/ https://calor.dev/docs/getting-started/github-integration/ https://calor.dev/docs/getting-started/hello-world/ https://calor.dev/docs/getting-started/how-it-works/ https://calor.dev/docs/getting-started/ https://calor.dev/docs/getting-started/installation/ https://calor.dev/docs/guides/adding-calor-to-existing-projects/ https://calor.dev/docs/guides/adoption-playbook/ https://calor.dev/docs/guides/cross-module-effect-propagation/ https://calor.dev/docs/guides/dependent-types-tutorial/ https://calor.dev/docs/guides/effect-manifests-dotnet-ecosystem/ https://calor.dev/docs/guides/il-analysis/ https://calor.dev/docs/guides/ https://calor.dev/docs/guides/nullability-and-dotnet-interop/ https://calor.dev/docs/guides/project-intelligence-for-agents/ https://calor.dev/docs/guides/telemetry/ https://calor.dev/docs/guides/verification-guarantees/ https://calor.dev/docs/ https://calor.dev/docs/philosophy/design-principles/ https://calor.dev/docs/philosophy/effects-contracts-enforcement/ https://calor.dev/docs/philosophy/ https://calor.dev/docs/philosophy/stable-identifiers/ https://calor.dev/docs/philosophy/static-verification/ https://calor.dev/docs/philosophy/tradeoffs/ https://calor.dev/docs/semantics/core/ https://calor.dev/docs/semantics/dotnet-backend/ https://calor.dev/docs/semantics/ https://calor.dev/docs/semantics/normal-form/ https://calor.dev/docs/semantics/versioning/ https://calor.dev/docs/syntax-reference/binding/ https://calor.dev/docs/syntax-reference/calls/ https://calor.dev/docs/syntax-reference/contracts/ https://calor.dev/docs/syntax-reference/control-flow/ https://calor.dev/docs/syntax-reference/effects/ https://calor.dev/docs/syntax-reference/expressions/ https://calor.dev/docs/syntax-reference/ https://calor.dev/docs/syntax-reference/inheritance/ https://calor.dev/docs/syntax-reference/refinement-types/ https://calor.dev/docs/syntax-reference/string-operations/ https://calor.dev/docs/syntax-reference/structure-tags/ https://calor.dev/docs/syntax-reference/types/