Docket Models

Hearing, Order, Judgment

Court events are docket records with dependencies. Honesty note: simplified federal civil model; jurisdictions, local rules, and court orders vary; the pinned first step states the as-of date; not legal advice; outputs are docket and deadline traces only.

highlighted = computed this step

Civil docket honesty note

Honesty note: simplified federal civil model; jurisdictions, local rules, and court orders vary; as of June 24, 2026; not legal advice; outputs are docket and deadline traces only, not filing advice.

federal civil model as of June24,2026\text{federal civil model as of }June 24, 2026

Court events are docket rows

The process records hearing, order, and judgment as dated events with dependencies. The model does not predict what the court will do.

hearing→order→judgment\text{hearing}\to\text{order}\to\text{judgment}

Example event chain

The model records 3 court events from August 1, 2026 through August 8, 2026.

events=3\text{events}=3

Elapsed days follow the dated chain

The compiler orders the events and recomputes 7 elapsed days across them.

elapsed days=7\text{elapsed days}=7

Diagram note

The diagram is a dependency trace among docket events. The shared status vocabulary is toy trace vocabulary, not a merits or enforcement outcome.

status vocabulary is toy trace vocabulary\text{status vocabulary is toy trace vocabulary}

Jurisdiction: US; as of 2026-06-24; not legal advice; Code encodes the stated-rule interpretation.

Hearing order judgment events scope=US-FED model=Hearing order judgment events as_of=2026-06-24 note=Simplified federal civil model; rules and orders vary; not legal advice; docket traces only, not filing advice; on_time and late are toy delta labels only, not timely or untimely filing conclusions. status vocabulary=early,event,late,on_time order=1 id=hearing date=2026-08-01 elapsed=0 status=event due=none delta=none reach=2 label=Hearing held order=2 id=order date=2026-08-05 elapsed=4 status=event due=none delta=none reach=1 label=Order entered order=3 id=judgment date=2026-08-08 elapsed=7 status=event due=none delta=none reach=0 label=Judgment entered

Summary

Court events can be modeled as dated records linked by dependencies, with legal review outside the model.

dated events plus dependencies\text{dated events plus dependencies}