Change Propagation Model

The core mechanism that maps and navigates the directed acyclic graph (DAG) of legal citations. When a foundational statute is amended, the model algorithmically traverses outgoing edges to identify all dependent nodes—including administrative codes, guidance documents, and judicial opinions—that incorporate the changed text by reference. This traversal is not merely textual; it resolves semantic dependencies where a regulation's operative logic is predicated on a now-modified statutory definition.

Handles multi-hop propagation where a change cascades through intermediate documents. For example, an amendment to a definition in the Internal Revenue Code may alter a Treasury Regulation, which in turn modifies an IRS Revenue Procedure. The model recursively applies the propagation logic until a fixed point is reached, ensuring no second-order or third-order impact is missed. This resolves the transitive closure of the amendment's influence across the entire regulatory corpus.

When a propagated change creates a logical contradiction with an existing, unamended provision, the model flags a normative conflict. This occurs when a dependent regulation's obligation becomes impossible or contradictory due to the upstream amendment. The system identifies specific conflict types:

• Direct contradiction: Two provisions state opposing requirements
• Scope collision: An amended definition narrows a term, excluding entities previously covered by a dependent rule
• Temporal mismatch: An effective date in a dependent regulation precedes the amended statute's operative date

Beyond formal regulations, the model propagates changes to agency interpretive rules, no-action letters, and advisory opinions that rely on the amended statutory authority. Since these documents often lack explicit machine-readable citations, the system employs semantic entailment detection to determine if the guidance's underlying legal premise has been altered. A changed statute may silently invalidate years of agency interpretation without a formal rescission.

Each propagation event generates a new versioned snapshot of the affected regulatory graph, preserving the complete state before and after the amendment's cascade. This creates an auditable provenance chain showing exactly which document triggered each downstream change and at what logical step. The lineage supports point-in-time reconstruction, allowing compliance officers to query the regulatory state as it existed on any given historical date.

Each propagated impact receives a quantitative severity score based on multiple factors:

• Operational proximity: How directly the change affects a regulated entity's procedures
• Compliance burden delta: The estimated cost of new obligations minus removed obligations
• Enforcement risk: The likelihood and penalty magnitude associated with non-compliance
• Remediation urgency: The time window before the effective date This scoring enables triage, prioritizing high-severity cascades for immediate legal review.

The algorithmic comparison of two versions of a legal knowledge graph to identify structural changes in entities, relationships, and semantic properties. Unlike a textual diff, this operates on the graph topology itself.

• Detects new edges between a statute and a newly cross-referenced regulation
• Identifies orphaned nodes where a repealed provision removes a definitional anchor
• Flags property mutations such as a changed threshold value on an obligation node

A quantitative ranking methodology that assesses the potential operational, financial, or legal severity of a detected regulatory change on a specific organization. The propagation model feeds this by mapping the blast radius.

• Direct impact: The amended statute itself
• First-order propagation: Dependent regulations directly citing the amended provision
• Second-order propagation: Guidance documents and sub-regulatory interpretations that inherit the change

The net change in a regulated entity's mandatory duties, prohibitions, or permissions resulting from an update to the governing legal text. The propagation model computes this by tracing deontic logic shifts through the dependency chain.

• A statutory amendment changing 'may' to 'shall' converts a permission into an obligation
• Propagation identifies all downstream procedures that must now be treated as mandatory
• Enables automated compliance gap analysis against current operational controls

The formal representation of obligations, permissions, and prohibitions in legal reasoning systems. This provides the semantic substrate that the change propagation model traverses to determine how an amendment alters normative statuses.

• Obligation (O): What an agent must do
• Permission (P): What an agent may do
• Prohibition (F): What an agent must not do
• Propagation recalculates these modal operators across the entire regulatory network when a source node changes

The algorithmic detection and reconciliation of contradictory legal rules that emerge when a propagated amendment creates an inconsistency with another active provision. The propagation model surfaces these conflicts for resolution.

• Lex superior: Higher authority prevails
• Lex posterior: Later enactment prevails
• Lex specialis: Specific rule overrides general
• Automated flagging of unresolvable conflicts for human legal review

The alignment of legal concepts and terminology across different sovereign legal systems. When a foundational statute changes in one jurisdiction, the propagation model assesses whether harmonized frameworks in other jurisdictions are now misaligned.

• Tracks mutual recognition agreements that depend on regulatory equivalence
• Flags where a domestic amendment breaks international regulatory coherence
• Supports multi-national compliance posture reassessment