Source
No recognized source was selected.
Open the selected source on GitHubSelected sources
- docs/manual/README.md
- docs/manual/start/see-changed-lines-on-github.md
- docs/manual/start/label-pull-requests.md
- docs/manual/start/analyze-local-changes.md
- docs/manual/start/use-results-in-scripts.md
- docs/manual/start/try-a-public-pull-request.md
- docs/manual/use/README.md
- docs/manual/use/cli.md
- docs/manual/use/github-actions.md
- docs/manual/use/browser-extension.md
- docs/manual/use/managed-app/README.md
- docs/manual/use/managed-app/read-history.md
- docs/manual/use/managed-app/plans-and-sharing.md
- docs/manual/use/managed-app/service.md
- docs/manual/use/managed-app/self-hosting.md
- docs/manual/use/typescript-library.md
- docs/manual/use/playground.md
- docs/manual/use/coding-agent.md
- docs/manual/use/shared-workflows/README.md
- docs/manual/use/shared-workflows/reports-plans-and-apply.md
- docs/manual/use/shared-workflows/labels-comments-and-definitions.md
- docs/manual/policy/README.md
- docs/manual/policy/configure.md
- docs/manual/policy/paths-and-scopes.md
- docs/manual/policy/from-measurements-to-rules/README.md
- docs/manual/policy/from-measurements-to-rules/effects-and-templates.md
- docs/manual/policy/recipes.md
- docs/manual/understand/README.md
- docs/manual/understand/changed-lines-and-churn.md
- docs/manual/understand/evidence-and-uncertainty.md
- docs/manual/understand/facts-to-provider-state.md
- docs/manual/understand/trust-and-mutation.md
- docs/manual/reference/README.md
- docs/manual/reference/cli.md
- docs/manual/reference/github-actions.md
- docs/manual/reference/typescript-api.md
- docs/manual/reference/language-and-contracts/README.md
- docs/manual/reference/language-and-contracts/schemas-and-compatibility.md
- docs/manual/reference/language-and-contracts/detail-language.md
- docs/manual/faq.md
- docs/manual/help/troubleshooting.md
- docs/manual/help/security-and-data.md
- docs/manual/help/technical-and-project-documentation.md
- docs/manual/help/releases.md
- docs/language/parser-architecture.md
- src/diffdevil/contracts/detail/v1/README.md
- README.md
- docs/README.md
- docs/VISION.md
- docs/DIRECTION.md
- docs/DECISIONS.md
- docs/ARCHITECTURE.md
- docs/DEVELOPMENT.md
- docs/PROJECT-MAP.md
- docs/qualification.md
- docs/publication-boundary.md
- docs/integration/website-publication.md
- docs/documentation.md
- docs/presentation.md
- docs/integration/github-api.md
- docs/integration/github-app.md
- docs/integration/app-staging.md
- docs/integration/action-distribution.md
- docs/integration/example-catalogue.md
- docs/PRIVACY-AND-DATA.md
- SECURITY.md
- LICENSES/README.md
- docs/app-plans.md
- docs/app-management.md
- docs/dashboard.md
- docs/dashboard-access.md
- docs/RELEASING.md
- apps/manual/README.md
- apps/browser-extension/README.md
- apps/browser-extension/privacy.md
- docs/releases/v1.0.0.md
- apps/playground/README.md
- apps/github-app/README.md
- apps/app/README.md
- apps/website/README.md
- skills/diffdevil/SKILL.md
- skills/diffdevil/references/install-and-update.md
- skills/diffdevil/references/restricted-harnesses.md
- skills/diffdevil/references/cli-and-evidence.md
- docs/automation.md
- docs/guides/auto-label-pull-requests.md
- docs/guides/local-automation.md
- docs/guides/policy-recipes.md
- docs/integration/cli.md
- docs/integration/github-actions.md
- docs/integration/typescript-api.md
- docs/integration/playground.md
- docs/integration/presets-and-shortcuts.md
- docs/integration/templates.md
- docs/language.md
- docs/language/policies-and-bands.md
- docs/language/types-and-measurements.md
- docs/language/collections-and-scopes.md
- docs/language/syntax.md
- docs/language/standard-library.md
- docs/language/diagnostics-and-limits.md
- docs/language/versioning-and-interchange.md
- docs/releases/README.md
- docs/examples/README.md
- docs/setup/skill.md
- docs/setup/cli.md
- docs/setup/actions.md
- docs/setup/app.md
- docs/setup/everything.md
- docs/integration/browser-extension.md
- docs/QUALIFICATION.md
- docs/PUBLICATION-BOUNDARY.md
- docs/DOCUMENTATION.md
- docs/PRESENTATION.md
- apps/browser-extension/PRIVACY.md