Payroll systems model Australian Modern Awards as imperative code. Awards are not imperative. They are hierarchies of conditional rules with precedence: overtime defeats weekend penalties, which defeat shift loadings. When the software model is only an approximation of the award, the errors are silent, creating residual liability that has economic and human consequence.
skein models award interpretation as defeasible logic, reducing payroll underpayment risk by making the rules auditable. It calculates pay, verifies payslips, and explains which rules produced each line item with a proof trace.
Demo: skein modelling the Nurses Award 2020 (MA000034), 50+ test cases, exact arithmetic, no floating point.
Demo: proof traces — every derived pay line item explains which award clauses produced it and why.
skein's defeasibility engine is spindle-rust, our port of NICTA's SPINdle (Lam, Governatori) to Rust and WebAssembly. It also powers hence.run.
Most payroll compliance tools detect underpayment after the fact. skein models the award itself, so the rules can be audited in realtime upon issuance. If that distinction matters to you, get in touch.
--
Go back