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.

Correct formFrozen execution sceneBoundary

Incorrect form and why it stays silent

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

Arxo 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

notice without assessment

Arxo 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);
}

authority found answer timely

Arxo 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;

}

authority denied timeliness

Arxo 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;

}

judge conjunct removed

Arxo 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. 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.