LDC-W4113 — More reading combinations than the checker enumerates

What it means

A package can offer alternative readings of the same text and declare that exactly one of each group holds. To be thorough, the checker would walk every combination — two readings here times two there — but the product grows exponentially, and beyond sixty-four combinations the walk stops being exhaustive. Past that cap the checker runs one world with all readings at once and warns: cycles visible in that world may be artifacts of readings that can never execute together.

The warning is about the cost of certainty, not a flaw in the package. If the readings are truly independent, nothing needs to change. If some combinations are impossible for domain reasons, saying so shrinks the product under the cap and restores the exhaustive walk.

Example

Arxo Law

language "law.core" version "0.2";
package demo.diagnostics version "0.1.0";
namespace "urn:law:demo:diagnostics";

interpretation R0 {
    status reviewed;
}
interpretation R1 {
    status reviewed;
}
interpretation R2 {
    status reviewed;
}
interpretation R3 {
    status reviewed;
}
interpretation R4 {
    status reviewed;
}
interpretation R5 {
    status reviewed;
}
interpretation R6 {
    status reviewed;
}
interpretation R7 {
    status reviewed;
}
interpretation R8 {
    status reviewed;
}
interpretation R9 {
    status reviewed;
}
interpretation R10 {
    status reviewed;
}
interpretation R11 {
    status reviewed;
}
interpretation R12 {
    status reviewed;
}
interpretation R13 {
    status reviewed;
}
interpretation_group G0 {
    alternatives R0, R1;
    selection exactly_one;
}
interpretation_group G1 {
    alternatives R2, R3;
    selection exactly_one;
}
interpretation_group G2 {
    alternatives R4, R5;
    selection exactly_one;
}
interpretation_group G3 {
    alternatives R6, R7;
    selection exactly_one;
}
interpretation_group G4 {
    alternatives R8, R9;
    selection exactly_one;
}
interpretation_group G5 {
    alternatives R10, R11;
    selection exactly_one;
}
interpretation_group G6 {
    alternatives R12, R13;
    selection exactly_one;
}

Fix

Arxo Law

language "law.core" version "0.2";
package demo.diagnostics version "0.1.0";
namespace "urn:law:demo:diagnostics";

interpretation R0 {
    status reviewed;
}

Engine message

The engine reports this in its own wording:

Output

example.law:47:1: warning LDC-W4113: there are so many exactly_one groups that consistent reading choices exceed 64; strata were checked over one world with all readings at once — a cycle through two alternatives of one group is visible here but cannot execute (§104.4, §156)

Related

• Interpretations — how readings and groups are declared.