RP-004 hooks

The bitemporal substrate of RP-004 (Types and refinement, Rule atom — fn, derive, query, mutate, check, Decidability, Standpoints and modal operators) flows through .oxbin natively:

• The events sort key is (tenant_id, fork_id, standpoint_id, predicate, valid_time, tx_time) — bitemporal-native ordering, no Layer-2 rewrite for temporal queries.
• global-control carries both max_tier_claimed and max_temporal_claimed; Layer 1 checks both.
• tier-table rows carry a (main_tier, temporal_tier) pair per rule, mirroring Decidability/Temporal.lean’s classifyPair. Cross-nest violations (OE0712 ModalTemporalCrossNestRefused) are rejected at compose time, before the artifact is emitted.
• pathology-flags includes an “additive-composition violation detected at compose time” flag, distinguishing provably-correct artifacts from trusted-by-compiler ones.