OpenChainGraph Suite · ART-636

GloBE Article 9.1 Transition Deferred Tax Tracker

Recomputes the OECD GloBE Article 9.1 transition recast of pre-regime deferred tax attributes, item by item over a caller-declared array, and reports the jurisdictional roll-forward total. Article 9.1.1's lower-of rule is applied as a cap: an attribute already recorded at or below the lower of the Minimum Rate and its domestic rate is left where it is. The one path on which a recast rises above the recorded figure is Article 9.1.1's third sentence: a deferred tax asset recorded below the Minimum Rate is taken at the Minimum Rate on a caller-declared GloBE Loss demonstration. Article 9.1.2 exclusions apply only where a declared limb holds and the attribute arose strictly after the cut-off date; each excluded item is reported with a named code and contributes exactly zero, never merely dropped. Article 9.1.3 recasts a qualifying intra-group transfer on the disposing entity's carrying value.

GloBEPillar TwoArticle 9.1Deferred Tax TransitionZero PIIClient-side only
🔒 All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data — use synthetic or anonymised inputs only.
Scope & reliance
Verify-only: this node does not characterize an attribute, does not decide whether an arrangement is governmental, and does not decide whether a GloBE-Loss demonstration succeeds. It does not compute the Grace Period or Grace Period Limitation (Commentary 8.8–8.12), a separate determination governing deferred tax expense on reversal. Source: OECD GloBE Model Rules, December 2021, Article 9.1 (9.1.1–9.1.3), and the OECD Administrative Guidance on Article 9.1, approved 13 January 2025 (revised Commentary paragraphs 6.4, 8–8.12, and worked Example 9.1.2-1). The transitional SBIE rate schedule carried by tools/473 and tools/474 is a different rule, Article 9.2, not Article 9.1, and this node does not touch it. No formal correctness proof exists for this node yet; see the proof-status note below the results.
Article 9.1 · Policy Parameters
Enabled Exclusion Rules (Article 9.1.2 / Commentary 6.4)
Deferred Tax Attributes (array, JSON)
Result
Proof status
This node ships compute_proof_ready: deferred. No formal correctness proof has been produced for this kernel; the result above is a deterministic recompute, verified by a property-test floor, not a proven one.
Execution Hash & §4 Artifact
SHA-256 execution hash (JCS canonical, RFC 8785):