Skip to content
Language Policy Enforcement

chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism #268

Sign in to view logs

chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism

chore(policy): recognise Agda + echo-types as canonical loss-with-residue formalism #268

Triggered via pull request May 1, 2026 08:38
@hyperpolymathhyperpolymath
synchronize #36
chore/recognise-agda-and-echo-types
Status Failure
Total duration 18s
Artifacts –

language-policy.yml

on: pull_request
Check for Banned Languages
4s
Check for Banned Languages
Check Required Files
7s
Check Required Files
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 10 warnings
Check for Banned Languages
Process completed with exit code 1.
Check for Banned Languages
TypeScript files found. Use AffineScript instead.
Check Required Files
Missing SPDX header: ./rhodium-standard-repositories/examples/enterprise-service/src/models.rs
Check Required Files
Missing SPDX header: ./rhodium-standard-repositories/examples/enterprise-service/benches/api_benchmarks.rs
Check Required Files
Missing SPDX header: ./rhodium-standard-repositories/examples/minimal-rust-project/src/lib.rs
Check Required Files
Missing SPDX header: ./rhodium-standard-repositories/examples/standard-library/examples/basic_usage.rs
Check Required Files
Missing SPDX header: ./rhodium-standard-repositories/examples/standard-library/src/lib.rs
Check Required Files
Missing SPDX header: ./rhodium-standard-repositories/examples/ai-ml-project/src/model.rs
Check Required Files
Missing SPDX header: ./rhodium-standard-repositories/examples/ai-ml-project/src/inference.rs
Check Required Files
Missing SPDX header: ./rhodium-standard-repositories/examples/ai-ml-project/src/preprocessing.rs
Check Required Files
Missing SPDX header: ./rhodium-standard-repositories/examples/ai-ml-project/src/bin/server.rs
Check Required Files
Missing SPDX header: ./rhodium-standard-repositories/examples/ai-ml-project/src/lib.rs