Skip to content
docs
Arxo ↗

LDC-E5302 — Contradictory edition lifecycle

For LLMs5 sections

Closing an edition is irreversible: once an edition is repealed, expired, or invalidated, it stays closed. A later opening event on the same edition — back in force, restored — contradicts the closing, because resuming a terminated edition is not a thing: the successor is a new edition with its own provenance chain, not a revival of the old one. The chain checker reports the contradiction at the reopening event and names the closing it follows.

Close the lifecycle at the irreversible event, or move the later history onto a separate edition that cites the closed one as its predecessor.

run
{"argv": ["check-delegation", "$ROOT/sub.json", "$ROOT/parent.json", "--organ", "urn:org:fixture:ministry-health"], "files": {"sub.json": "{\"nodes\": [{\"kind\": \"source_work\", \"id\": \"urn:law:fixture:delegation:sub#ORDER\", \"package\": \"urn:law:fixture:delegation:sub\", \"sourceKind\": \"urn:law:fixture:delegation:sub#order\", \"regulates\": [\"urn:law:fixture:delegation:parent#ProcurementProcedure\"], \"basis\": [\"urn:law:fixture:delegation:parent#ApproveProcurementRules\"]}, {\"kind\": \"source_edition\", \"id\": \"urn:law:fixture:delegation:sub#ORDER_ED\", \"work\": \"urn:law:fixture:delegation:sub#ORDER\", \"package\": \"urn:law:fixture:delegation:sub\", \"lifecycle\": [{\"status\": \"adopted\", \"extent\": \"2026-05-01\"}, {\"status\": \"in_force\", \"extent\": \"2026-06-01\"}]}]}", "parent.json": "{\"nodes\": [{\"kind\": \"source_work\", \"id\": \"urn:law:fixture:delegation:parent#LAW\", \"package\": \"urn:law:fixture:delegation:parent\", \"sourceKind\": \"urn:law:fixture:delegation:parent#law\"}, {\"kind\": \"source_edition\", \"id\": \"urn:law:fixture:delegation:parent#LAW_ED\", \"work\": \"urn:law:fixture:delegation:parent#LAW\", \"package\": \"urn:law:fixture:delegation:parent\", \"lifecycle\": [{\"status\": \"in_force\", \"extent\": \"2020-01-01\"}, {\"status\": \"repealed\", \"extent\": \"2025-01-01\"}, {\"status\": \"in_force\", \"extent\": \"2026-01-01\"}]}, {\"kind\": \"norm_template\", \"id\": \"urn:law:fixture:delegation:parent#ApproveProcurementRules\", \"package\": \"urn:law:fixture:delegation:parent\", \"modality\": \"power\", \"payload\": {\"kind\": \"power\", \"holder\": {\"kind\": \"entity_ref\", \"id\": \"urn:org:fixture:ministry-health\"}, \"exercise\": {\"kind\": \"call\", \"function\": \"urn:law:fixture:delegation:parent#approve_rules\", \"args\": [{\"kind\": \"entity_ref\", \"id\": \"urn:org:fixture:ministry-health\"}]}, \"effect\": {\"kind\": \"create\", \"after\": {\"kind\": \"literal\", \"polarity\": \"positive\", \"predicate\": \"urn:law:fixture:delegation:parent#rules_in_force\", \"args\": []}}, \"subject\": [\"urn:law:fixture:delegation:parent#ProcurementProcedure\"]}}]}"}, "expect": "LDC-E5302"}
run
{"argv": ["check-delegation", "$ROOT/sub.json", "$ROOT/parent.json", "--organ", "urn:org:fixture:ministry-health"], "files": {"sub.json": "{\"nodes\": [{\"kind\": \"source_work\", \"id\": \"urn:law:fixture:delegation:sub#ORDER\", \"package\": \"urn:law:fixture:delegation:sub\", \"sourceKind\": \"urn:law:fixture:delegation:sub#order\", \"regulates\": [\"urn:law:fixture:delegation:parent#ProcurementProcedure\"], \"basis\": [\"urn:law:fixture:delegation:parent#ApproveProcurementRules\"]}, {\"kind\": \"source_edition\", \"id\": \"urn:law:fixture:delegation:sub#ORDER_ED\", \"work\": \"urn:law:fixture:delegation:sub#ORDER\", \"package\": \"urn:law:fixture:delegation:sub\", \"lifecycle\": [{\"status\": \"adopted\", \"extent\": \"2026-05-01\"}, {\"status\": \"in_force\", \"extent\": \"2026-06-01\"}]}]}", "parent.json": "{\"nodes\": [{\"kind\": \"source_work\", \"id\": \"urn:law:fixture:delegation:parent#LAW\", \"package\": \"urn:law:fixture:delegation:parent\", \"sourceKind\": \"urn:law:fixture:delegation:parent#law\"}, {\"kind\": \"source_edition\", \"id\": \"urn:law:fixture:delegation:parent#LAW_ED\", \"work\": \"urn:law:fixture:delegation:parent#LAW\", \"package\": \"urn:law:fixture:delegation:parent\", \"lifecycle\": [{\"status\": \"in_force\", \"extent\": \"2020-01-01\"}, {\"status\": \"repealed\", \"extent\": \"2027-01-01\"}]}, {\"kind\": \"norm_template\", \"id\": \"urn:law:fixture:delegation:parent#ApproveProcurementRules\", \"package\": \"urn:law:fixture:delegation:parent\", \"modality\": \"power\", \"payload\": {\"kind\": \"power\", \"holder\": {\"kind\": \"entity_ref\", \"id\": \"urn:org:fixture:ministry-health\"}, \"exercise\": {\"kind\": \"call\", \"function\": \"urn:law:fixture:delegation:parent#approve_rules\", \"args\": [{\"kind\": \"entity_ref\", \"id\": \"urn:org:fixture:ministry-health\"}]}, \"effect\": {\"kind\": \"create\", \"after\": {\"kind\": \"literal\", \"polarity\": \"positive\", \"predicate\": \"urn:law:fixture:delegation:parent#rules_in_force\", \"args\": []}}, \"subject\": [\"urn:law:fixture:delegation:parent#ProcurementProcedure\"]}}]}"}, "expect": null}

The chain checker reports this in its own wording:

Output
LDC-E5302: edition urn:law:fixture:delegation:parent#LAW_ED: status 'in_force' after irreversible 'repealed' — a terminated edition is not resumed, a new edition is created by a separate source_edition with a provenance chain (§31/§32)

Documentation for Arxo. Writings — blog.arxo.io.

Anonymous visit counts on stats.arxo.io, no cookies.