Skip to main content
IntentLang
← All examples

CertificationEligibility

examples/CertificationEligibility.intent

CertificationEligibility.intent
1# CertificationEligibility.intent , Decisions, rules, process (Gap 4).
2# A decision table with rules + a default. IntentLang checks the DECLARED decision for
3# conflicts/coverage (missing default, conflicting or redundant rules); OpenThunder
4# verifies the implementation matches. See docs/intent-graph.md.
5
6mission CertificationEligibility
7
8title "Decide whether a candidate is eligible"
9
10decision CertificationEligibility
11
12 inputs
13 Candidate.region
14 Candidate.completed_courses
15 Certification.prerequisites
16
17 rule Eligible
18 when all prerequisites completed
19 return Eligible
20
21 rule EligibleWithWaiver
22 when prerequisite_waiver approved
23 return EligibleWithWaiver
24
25 default
26 return NotEligible
27
28 explanation required
29 owner CertificationProduct
Draft syntax. This file is illustrative and does not run yet.