fix(rego): correct syntax for linter

Author: kmadan

industry_specific/education/v1/academic_integrity/acceptable_ai_use.rego

@@ -5,45 +5,43 @@ package education.v1.academic_integrity
 # @version 1.1
 
 # Default to not allowed unless explicitly permitted by the course policy.
-default allow = false
+default allow := false
 
 # --- Allow Rules ---
 
 # Allow if the specific AI use case is permitted in the course's AI policy.
 allow if {
-    is_permitted_use(input.ai_use_case, input.course.ai_policy)
+	is_permitted_use(input.ai_use_case, input.course.ai_policy, permitted_uses)
 }
 
 # Allow if the student is using a generally accepted tool for a common task (e.g., spell check).
 allow if {
-    is_common_assistive_tool(input.ai_tool)
+	is_common_assistive_tool(input.ai_tool)
 }
 
-
 # --- Deny Messages ---
 
 deny contains msg if {
-    not allow
-    msg := sprintf("The use of AI tool '%v' for '%v' is not permitted for this assignment according to the course policy.", [input.ai_tool, input.ai_use_case])
+	not allow
+	msg := sprintf("The use of AI tool '%v' for '%v' is not permitted for this assignment according to the course policy.", [input.ai_tool, input.ai_use_case])
 }
 
-
 # --- Helper Functions ---
 
 # Defines permitted uses based on different policy levels (e.g., "strict", "moderate", "open").
 permitted_uses := {
-    "strict": {"spell_check", "grammar_check"},
-    "moderate": {"spell_check", "grammar_check", "research_assistance", "code_completion"},
-    "open": {"spell_check", "grammar_check", "research_assistance", "code_completion", "content_generation_with_attribution"}
+	"strict": {"spell_check", "grammar_check"},
+	"moderate": {"spell_check", "grammar_check", "research_assistance", "code_completion"},
+	"open": {"spell_check", "grammar_check", "research_assistance", "code_completion", "content_generation_with_attribution"},
 }
 
 # Checks if a use case is permitted under the given policy level.
-is_permitted_use(use_case, policy) if {
-    use_case in permitted_uses[policy.level]
+is_permitted_use(use_case, policy, uses) if {
+	use_case in uses[policy.level]
 }
 
 # Checks if the tool is a common, generally accepted assistive tool.
 is_common_assistive_tool(tool) if {
-    common_tools := {"grammarly", "spell_check_pro"}
-    tool in common_tools
+	common_tools := {"grammarly", "spell_check_pro"}
+	tool in common_tools
 }

industry_specific/education/v1/academic_integrity/ai_plagiarism_detection.rego

@@ -1,48 +1,46 @@
 package education.v1.academic_integrity
 
 import rego.v1
-import future.keywords
 
 # @title Detailed AI Plagiarism Detection
 # @description This policy flags student submissions that show a high likelihood of being generated by AI, based on multiple detection tools.
 # @version 1.1
 
 # By default, no plagiarism is flagged.
-default flag_for_review = false
+default flag_for_review := false
 
 # --- Flagging Rules ---
 
 # Flag if the average score from multiple AI detection tools exceeds a threshold.
 flag_for_review if {
-    avg(get_all_scores(input.submission.ai_detection_reports)) > 0.90
+	avg(all_scores(input.submission.ai_detection_reports)) > 0.90
 }
 
 # Flag if any single high-confidence detector flags the content.
 flag_for_review if {
-    some report in input.submission.ai_detection_reports
-    report.detector_confidence == "high"
-    report.ai_score > 0.95
+	some report in input.submission.ai_detection_reports
+	report.detector_confidence == "high"
+	report.ai_score > 0.95
 }
 
-
 # --- Deny Messages ---
 
 deny contains msg if {
-    flag_for_review
-    scores := get_all_scores(input.submission.ai_detection_reports)
-    msg := sprintf("Submission flagged for potential AI plagiarism. Detection scores: %v", [scores])
+	flag_for_review
+	scores := all_scores(input.submission.ai_detection_reports)
+	msg := sprintf("Submission flagged for potential AI plagiarism. Detection scores: %v", [scores])
 }
 
-
 # --- Helper Functions ---
 
 # Extracts all AI detection scores from the reports.
-get_all_scores(reports) = scores if {
-    scores := {score | score := reports[_].ai_score}
+all_scores(reports) := scores if {
+	count(reports) > 0
+	scores := {score | score := reports[_].ai_score}
 }
 
 # Calculates the average of a list of numbers.
-avg(arr) = average if {
-    count(arr) > 0
-    average := sum(arr) / count(arr)
-} else = 0
+avg(arr) := average if {
+	count(arr) > 0
+	average := sum(arr) / count(arr)
+} else := 0

industry_specific/education/v1/assessment_and_evaluation/human_in_the_loop_grading.rego

@@ -5,42 +5,40 @@ package education.v1.assessment_and_evaluation
 # @version 1.1
 
 # Default to not compliant.
-default human_in_the_loop_compliant = false
+default human_in_the_loop_compliant := false
 
 # --- Compliance Rules ---
 
 # Compliant if a human reviews the grade, especially for high-stakes or low-confidence scores.
 human_in_the_loop_compliant if {
-    is_human_review_required(input.assessment)
-    input.grading_process.human_reviewer_assigned == true
+	is_human_review_required(input.assessment)
+	input.grading_process.human_reviewer_assigned == true
 }
 
 # Compliant if the assessment is low-stakes, where full automation is acceptable.
 human_in_the_loop_compliant if {
-    not is_human_review_required(input.assessment)
+	not is_human_review_required(input.assessment)
 }
 
-
 # --- Deny Messages ---
 
 deny contains msg if {
-    is_human_review_required(input.assessment)
-    not input.grading_process.human_reviewer_assigned
-    msg := sprintf("Human review is required for this %v assessment (final grade impact: %v%%), but no reviewer was assigned.", [input.assessment.type, input.assessment.final_grade_impact_percent])
+	is_human_review_required(input.assessment)
+	not input.grading_process.human_reviewer_assigned
+	msg := sprintf("Human review is required for this %v assessment (final grade impact: %v%%), but no reviewer was assigned.", [input.assessment.type, input.assessment.final_grade_impact_percent])
 }
 
-
 # --- Helper Functions ---
 
 # Determines if human review is required based on the assessment's weight or the AI's confidence.
 is_human_review_required(assessment) if {
-    assessment.type == "final_exam"
+	assessment.type == "final_exam"
 }
 
 is_human_review_required(assessment) if {
-    assessment.final_grade_impact_percent > 20
+	assessment.final_grade_impact_percent > 20
 }
 
 is_human_review_required(assessment) if {
-    assessment.ai_confidence_score < 0.85
+	assessment.ai_confidence_score < 0.85
 }

industry_specific/education/v1/assessment_and_evaluation/responsible_ai_proctoring.rego

@@ -5,43 +5,44 @@ package education.v1.assessment_and_evaluation
 # @version 1.1
 
 # Default to not compliant.
-default responsible_ai_proctoring_compliant = false
+default responsible_ai_proctoring_compliant := false
 
 # --- Compliance Rules ---
 
 # Compliant if student consent is obtained, data handling is secure, and an appeals process exists.
 responsible_ai_proctoring_compliant if {
-    input.proctoring_session.student_consent_given == true
-    is_data_handling_secure(input.proctoring_session.data_handling)
-    has_human_review_and_appeals(input.proctoring_session.review_process)
+	input.proctoring_session.student_consent_given == true
+	is_data_handling_secure(input.proctoring_session.data_handling)
+	has_human_review_and_appeals(input.proctoring_session.review_process)
 }
 
-
 # --- Deny Messages ---
 
 deny contains msg if {
-    not responsible_ai_proctoring_compliant
-    failures := {failure |
-        not input.proctoring_session.student_consent_given; failure := "Student consent not given"
-    } | {failure |
-        not is_data_handling_secure(input.proctoring_session.data_handling); failure := "Insecure data handling"
-    } | {failure |
-        not has_human_review_and_appeals(input.proctoring_session.review_process); failure := "Lack of human review or appeals process"
-    }
-    msg := sprintf("AI proctoring session is not compliant. Failures: %v", [failures])
+	not responsible_ai_proctoring_compliant
+	failures := ({failure |
+		not input.proctoring_session.student_consent_given
+		failure := "Student consent not given"
+	} | {failure |
+		not is_data_handling_secure(input.proctoring_session.data_handling)
+		failure := "Insecure data handling"
+	}) | {failure |
+		not has_human_review_and_appeals(input.proctoring_session.review_process)
+		failure := "Lack of human review or appeals process"
+	}
+	msg := sprintf("AI proctoring session is not compliant. Failures: %v", [failures])
 }
 
-
 # --- Helper Functions ---
 
 # Checks for secure data handling practices.
 is_data_handling_secure(handling) if {
-    handling.encryption_enabled == true
-    handling.data_retention_period_days <= 30
+	handling.encryption_enabled == true
+	handling.data_retention_period_days <= 30
 }
 
 # Checks for a robust human review and appeals process.
 has_human_review_and_appeals(process) if {
-    process.human_review_required_for_all_flags == true
-    process.student_appeal_possible == true
+	process.human_review_required_for_all_flags == true
+	process.student_appeal_possible == true
 }

industry_specific/education/v1/fairness_and_equity/digital_divide_mitigation.rego

@@ -5,31 +5,30 @@ package education.v1.fairness_and_equity
 # @version 1.1
 
 # Default to not equitable unless mitigation strategies are in place.
-default equitable = false
+default equitable := false
 
 # --- Equity Rules ---
 
 # Equitable if a comparable offline alternative is available.
 equitable if {
-    input.assignment.has_offline_alternative == true
+	input.assignment.has_offline_alternative == true
 }
 
 # Equitable if the school provides all necessary resources (device and internet).
 equitable if {
-    input.student.resources.has_school_provided_device == true
-    input.student.resources.has_school_provided_internet == true
+	input.student.resources.has_school_provided_device == true
+	input.student.resources.has_school_provided_internet == true
 }
 
 # Equitable if the assignment can be completed with low-bandwidth or basic devices.
 equitable if {
-    input.assignment.requirements.bandwidth == "low"
-    input.assignment.requirements.device_spec == "basic"
+	input.assignment.requirements.bandwidth == "low"
+	input.assignment.requirements.device_spec == "basic"
 }
 
-
 # --- Deny Messages ---
 
 deny contains msg if {
-    not equitable
-    msg := "Assignment is not equitable. No sufficient alternative or resources provided for students impacted by the digital divide."
+	not equitable
+	msg := "Assignment is not equitable. No sufficient alternative or resources provided for students impacted by the digital divide."
 }

industry_specific/education/v1/fairness_and_equity/equitable_admissions_systems.rego

@@ -5,61 +5,59 @@ package education.v1.fairness_and_equity
 # @version 1.1
 
 # Default to not compliant if fairness metrics are not met.
-default equitable_admissions_systems_compliant = false
+default equitable_admissions_systems_compliant := false
 
 # --- Compliance Rules ---
 
 # Compliant if the model does not use prohibited features and meets fairness thresholds.
 equitable_admissions_systems_compliant if {
-    not uses_prohibited_features(input.admissions_model.features)
-    every group in input.bias_report.demographic_groups {
-        every metric in group.fairness_metrics {
-            is_within_threshold(metric)
-        }
-    }
+	not uses_prohibited_features(input.admissions_model.features, prohibited_features)
+	every group in input.bias_report.demographic_groups {
+		every metric in group.fairness_metrics {
+			is_within_threshold(metric, thresholds)
+		}
+	}
 }
 
-
 # --- Deny Messages ---
 
 deny contains msg if {
-    uses_prohibited_features(input.admissions_model.features)
-    prohibited := {feature | feature := input.admissions_model.features[_]; is_prohibited(feature)}
-    msg := sprintf("Admissions model is not compliant. It uses prohibited features: %v", [prohibited])
+	uses_prohibited_features(input.admissions_model.features, prohibited_features)
+	prohibited := {feature | some feature in input.admissions_model.features; is_prohibited(feature, prohibited_features)}
+	msg := sprintf("Admissions model is not compliant. It uses prohibited features: %v", [prohibited])
 }
 
 deny contains msg if {
-    not equitable_admissions_systems_compliant
-    not uses_prohibited_features(input.admissions_model.features)
-    failing_metrics := {metric |
-        some group in input.bias_report.demographic_groups
-        some metric in group.fairness_metrics
-        not is_within_threshold(metric)
-    }
-    msg := sprintf("Admissions model is not compliant. Fairness metrics are not met: %v", [failing_metrics])
+	not equitable_admissions_systems_compliant
+	not uses_prohibited_features(input.admissions_model.features, prohibited_features)
+	failing_metrics := {metric |
+		some group in input.bias_report.demographic_groups
+		some metric in group.fairness_metrics
+		not is_within_threshold(metric, thresholds)
+	}
+	msg := sprintf("Admissions model is not compliant. Fairness metrics are not met: %v", [failing_metrics])
 }
 
-
 # --- Helper Functions ---
 
 # Defines prohibited features for admissions models.
 prohibited_features := {"race", "gender", "zip_code_proxy"}
 
-is_prohibited(feature) if {
-    feature in prohibited_features
+is_prohibited(feature, prohibited) if {
+	feature in prohibited
 }
 
-uses_prohibited_features(features) if {
-    some feature in features
-    is_prohibited(feature)
+uses_prohibited_features(features, prohibited) if {
+	some feature in features
+	is_prohibited(feature, prohibited)
 }
 
 # Defines acceptable thresholds for different fairness metrics.
 thresholds := {
-    "demographic_parity": 0.1,
-    "equalized_odds": 0.1
+	"demographic_parity": 0.1,
+	"equalized_odds": 0.1,
 }
 
-is_within_threshold(metric) if {
-    abs(metric.value) < thresholds[metric.name]
+is_within_threshold(metric, thresholds) if {
+	abs(metric.value) < thresholds[metric.name]
 }