{
  "version": "0.1.0",
  "constants": {
    "position_weights": {
      "knowledge": 0.3,
      "synthesis": 0.5,
      "connections": 0.2
    },
    "ema_alpha": 0.2,
    "incomparability_epsilon": 0.05,
    "recompute_interval_seconds": 30
  },
  "axioms": [
    {
      "id": "join_commutative",
      "law": "Join commutativity",
      "expression": "join(a, b) == join(b, a)"
    },
    {
      "id": "join_associative",
      "law": "Join associativity",
      "expression": "join(a, join(b, c)) == join(join(a, b), c)"
    },
    {
      "id": "join_idempotent",
      "law": "Join idempotency",
      "expression": "join(a, a) == a"
    },
    {
      "id": "absorption",
      "law": "Absorption",
      "expression": "join(a, meet(a, b)) == a"
    },
    {
      "id": "join_upper_bound",
      "law": "Join upper bound",
      "expression": "position(join(a, b)) >= max(position(a), position(b))"
    },
    {
      "id": "meet_lower_bound",
      "law": "Meet lower bound",
      "expression": "position(meet(a, b)) <= min(position(a), position(b))"
    }
  ],
  "parity": {
    "required_test_ids": [
      "join_commutative",
      "join_associative",
      "join_idempotent",
      "absorption",
      "join_upper_bound",
      "meet_lower_bound"
    ],
    "expected_count": 6
  }
}