Markdown for LLMs

LDC-W4113 — More reading combinations than the checker enumerates

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# 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

```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

```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:

```text
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](/constructs/interpretation/) — how readings and groups are declared.