Skip to content

Locy Errors and Limits

Common Error Classes

  • Parse errors: invalid Locy syntax.
  • Compile errors: invalid dependencies, type/schema mismatches, stratification violations.
  • Runtime errors: timeout, iteration limit, memory constraints, mutation constraints.

Operational Limits (via LocyConfig)

  • max_iterations: recursion cap per recursive stratum.
  • timeout: overall evaluation budget.
  • max_derived_bytes: derived fact memory bound.
  • max_explain_depth: derivation tree depth bound.
  • max_slg_depth: goal-directed recursion bound.
  • max_abduce_candidates / max_abduce_results: abduction search bounds.
  • deterministic_best_by: enforce deterministic tie-breaking in BEST BY clauses.
  • strict_probability_domain: reject probability inputs outside [0, 1] instead of clamping.
  • probability_epsilon: MPROD threshold for switching to log-space accumulation.
  • exact_probability: enable BDD-based exact evaluation for shared-proof aggregate groups.
  • max_bdd_variables: cap per-group BDD complexity before fallback.
  • top_k_proofs: limit proof enumeration per aggregate group (controls memory/CPU for large proof spaces).

Runtime Warning Codes

  • SharedProbabilisticDependency: multiple proof paths inside one MNOR/MPROD group reuse shared evidence.
  • BddLimitExceeded: exact mode was enabled, but the group exceeded max_bdd_variables and fell back to independence mode.
  • CrossGroupCorrelationNotExact: shared evidence spans multiple aggregate groups; each group is exact internally, but correlation across groups is still approximate.

Development

  • Lower iteration and timeout values.
  • Keep deterministic tie-break enabled.

Production

  • Set explicit timeout and memory budgets.
  • Monitor command result sizes.
  • Restrict unconstrained QUERY and ABDUCE patterns.

Escalation Playbook

  1. Reduce goal scope.
  2. Add stronger filters.
  3. Split large programs by module.
  4. Profile expensive rule strata.