Name the date of a historical question

Intention

I want to ask about a rule on a 2024 date while keeping a later knowledge cut.

Correct formFrozen execution sceneBoundary

Incorrect form and why it stays silent

The decision date does not replace the date of the law:

Incorrect form

context { decision_time @2027-12-31T09:00:00+05:00; }

Correct form

Arxo Law

language "law.core" version "0.2";
package recipes.e.r06 version "0.1.0";
namespace "urn:recipe:e-time:06";

entity Person;
relation registered(p: Person);

source Act { kind law; jurisdiction "none"; number "E6"; }
edition Old of Act {
    language ru;
    officiality official;
    materialization_status ABSTRACT_ONLY;
    in_force [@2024-01-01, @2025-01-01);
}
fragment OldArticle in Old { kind article; locator "article/1"; text ru unofficial "Учебная редакция: зарегистрированное лицо допускается в 2024 году."; }
relation admitted(p: Person);
@source(OldArticle)
rule Admit strict { for p: Person; when registered(p); then admitted(p); }

Frozen execution scene

Facts / cut	Question	Answer
legal_time 2024, later knowledge	admitted	TRUE_ONLY
legal_time 2026, same knowledge	admitted	NEITHER, EDITION_NOT_APPLICABLE
legal_time missing	truth	CONTEXT_FIELD_MISSING

historical date admits

Arxo Law

test "historical date admits" {
    given {
        context {
            legal_time @2024-06-01;
            decision_time @2027-12-31T09:00:00+05:00;
            knowledge_time @2027-12-31T09:00:00+05:00;
            timezone "Asia/Almaty";
        }
        assert registered(entity_ref("urn:recipe:e-time:06:a"));
    }
    evaluate truth(admitted(entity_ref("urn:recipe:e-time:06:a")));
    expect truth_status == TRUE_ONLY;
}

later law date excludes edition

Arxo Law

test "later law date excludes edition" {
    given {
        context {
            legal_time @2026-06-01;
            decision_time @2027-12-31T09:00:00+05:00;
            knowledge_time @2027-12-31T09:00:00+05:00;
            timezone "Asia/Almaty";
        }
        assert registered(entity_ref("urn:recipe:e-time:06:a"));
    }
    evaluate truth(admitted(entity_ref("urn:recipe:e-time:06:a")));
    expect truth_status == NEITHER;
    expect issue(EDITION_NOT_APPLICABLE);
}

missing law date refuses context

Arxo Law

test "missing law date refuses context" {
    given {
        context {
            decision_time @2027-12-31T09:00:00+05:00;
            knowledge_time @2027-12-31T09:00:00+05:00;
            timezone "Asia/Almaty";
        }
        assert registered(entity_ref("urn:recipe:e-time:06:a"));
    }
    evaluate truth(admitted(entity_ref("urn:recipe:e-time:06:a")));
    expect issue(CONTEXT_FIELD_MISSING);
}

Counterfactual

The scene without legal_time intentionally has expect: FAIL: the runner gets CONTEXT_FIELD_MISSING before an evaluation-document is created; the issue expectation cannot execute. The exact rejection code of both implementations is additionally checked. teaches combines a dating in_force with timeless, which is rejected because mutually exclusive applicability modes cannot be mixed.

Boundary

This is a synthetic edition, not a historical finding about a real act. Choice of knowledge and choice of law are different axes; an empty context is allowed only for a computation with no temporal consumer.

Pitfall

Binding a node to an inapplicable edition must exclude it.