sonar-project.properties

# SPDX-License-Identifier: MPL-2.0
# SonarQube Cloud (SonarCloud) configuration.
# Project: https://sonarcloud.io/project/overview?id=hyperpolymath_resource-record-fluctuator
sonar.organization=hyperpolymath
sonar.projectKey=hyperpolymath_resource-record-fluctuator

# Estate-default analysable surface. Vendored, generated, build, proof, and
# dependency trees are excluded so findings stay signal-rich. SonarCloud
# silently ignores patterns that match nothing in a given repo.
sonar.exclusions=**/node_modules/**,**/build/**,**/dist/**,**/_build/**,**/deps/**,**/target/**,**/vendor/**,**/generated/**,**/.lake/**,external_corpora/**,proofs/**,verification/**,**/*.idr,**/*.zig,**/*.agda,**/*.lean,**/*.lagda
sonar.coverage.exclusions=**/*test*,**/tests/**,**/*.spec.*