[Verse 1]
When policies live in documents apart
From code that runs the show
The gap grows wide, compliance falls behind
And auditors don't know
But literate programming breaks the chain
Places logic right beside
The natural language that explains the rule
No more places to hide
[Chorus]
Two strengths that shine so bright
Literate code makes traceability right
Exceptions handled with native grace
Catala puts controls in their place
Read the policy, see the logic flow
Perfect mapping, now auditors know
Two strengths that make compliance strong
Been waiting for this solution so long
[Verse 2]
Defeasible rules are compliance reality
General statements have their breaks
Exceptions nest in exceptions deep
Overrides for special cases' sake
Other languages stumble and fall
When hierarchies get complex
But Catala's scope and exception design
Handle what comes up next
[Chorus]
Two strengths that shine so bright
Literate code makes traceability right
Exceptions handled with native grace
Catala puts controls in their place
Read the policy, see the logic flow
Perfect mapping, now auditors know
Two strengths that make compliance strong
Been waiting for this solution so long
[Bridge]
From OCaml to Python code
JavaScript runs it too
Executable compliance checks
Tell you what systems do
Type safety catches category mistakes
Temporal rules track time
Risk levels and classifications
Everything stays in line
[Verse 3]
No more spreadsheets trying to maintain
The mapping from rule to control
The document itself becomes the bridge
Playing that connecting role
Date conditions and retention periods
Response times that must be met
Catala speaks in time and logic
The best compliance tool yet
[Final Chorus]
Two strengths that shine so bright
Literate code makes traceability right
Exceptions handled with native grace
Catala puts controls in their place
Executable and type-safe too
Temporal reasoning coming through
Two strengths that make compliance strong
The future's here, let's sing along