Markdown for LLMs

Immediately — an assessment of performance

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

# Immediately — an assessment of performance

## Intention

I want to keep the word “immediately” as an assessment when the source does not set a numerical term.

Below is a standalone example of a performance assessment: without a numerical term in the source, “immediately” stays an assessment, not a deadline.

## Incorrect form and why it stays silent

```law title="Incorrect form"
rule Complied strict { for p: Person; when notified(p); then complied(p); }
```

Removing the evaluative premise turns the notice fact into proof of performance: the counterfactual scene yields Established without a court answer. A separate static mutation removes authority from the channel and gets LDC-E0201.

## Correct form

```law
language "law.core" version "0.2";
package recipes.z.r04 version "0.1.0";
namespace "urn:recipe:z-interpretations:04";

entity Person;
relation notified(p: Person);
relation complied(p: Person);
external judgment relation prompt_response(p: Person) { authority Court; }
rule Complied strict { for p: Person; when notified(p) and prompt_response(p); then complied(p); }
```

## Frozen execution scene

| Facts and choice | Question | Answer |
|---|---|---|
| 1. notice without assessment | `complied` | `NEITHER` / `REQUIRES_JUDGMENT` |
| 2. the authority found the response timely | `complied` | `TRUE_ONLY` / `COMPUTED` |
| 3. the authority denied timeliness | `complied` | `NEITHER` / `COMPUTED` |
| 4. judicial conjunct cut out | `complied` | `TRUE_ONLY` / `COMPUTED` |

```law
test "notice without assessment" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00+05:00;
            knowledge_time @2026-09-13T09:00:00+05:00;
            timezone "Asia/Almaty";

        }
        assert notified(entity_ref("urn:recipe:z-interpretations:04:p"));
    }
    evaluate truth(complied(entity_ref("urn:recipe:z-interpretations:04:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == REQUIRES_JUDGMENT;
    expect judgment_request(prompt_response, Court);
}
```

```law
test "authority found answer timely" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00+05:00;
            knowledge_time @2026-09-13T09:00:00+05:00;
            timezone "Asia/Almaty";

        }
        assert notified(entity_ref("urn:recipe:z-interpretations:04:p")); assert prompt_response(entity_ref("urn:recipe:z-interpretations:04:p")) { origin adjudicated; }
    }
    evaluate truth(complied(entity_ref("urn:recipe:z-interpretations:04:p")));
    expect truth_status == TRUE_ONLY;
    expect evaluation_status == COMPUTED;

}
```

```law
test "authority denied timeliness" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00+05:00;
            knowledge_time @2026-09-13T09:00:00+05:00;
            timezone "Asia/Almaty";

        }
        assert notified(entity_ref("urn:recipe:z-interpretations:04:p")); assert not prompt_response(entity_ref("urn:recipe:z-interpretations:04:p")) { origin adjudicated; }
    }
    evaluate truth(complied(entity_ref("urn:recipe:z-interpretations:04:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == COMPUTED;

}
```

```law
test "judge conjunct removed" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00+05:00;
            knowledge_time @2026-09-13T09:00:00+05:00;
            timezone "Asia/Almaty";

        }
        assert notified(entity_ref("urn:recipe:z-interpretations:04:p"));
    }
    evaluate truth(complied(entity_ref("urn:recipe:z-interpretations:04:p")));
    expect truth_status == TRUE_ONLY;
    expect evaluation_status == COMPUTED;

}
```



## Counterfactual

Sidecar mutation: `authority Court;` → ``; expected `LDC-E0201`. Additional scenes with fragment deletion are marked in the table; the outcome is checked by both evaluators.

## Boundary

If the source sets an exact duration, use [Set an execution window from an event](/recipes/e-time/event-deadline/). This page checks a qualification of performance; it does not set a numerical duty window and does not claim that every “immediately” is always decided by a court.

## Pitfall

A ready legal conclusion in a premise would prove what was merely said. Deleting prompt_response from the body yields Established prematurely, without any assessment.