标定测试

把真实市场上可识别的几种典型处境代进模型，检查分数是否落在符合直觉的区间

把模型算出的 neto 和西班牙公开工资计算器的结果对一遍

无论输入怎么变，这些性质必须永远成立（含求解器与跨国对照）