Usually the concerns I've seen are around the lines of "the experts are gonna favor the powerful incumbents who they see a lot" buttttt if our system is already doing that AND costing way more anyway, barring entry entirely to many, is that so much worse? Even assuming we can't try to regulate that?
If anything, some of the largest civil law countries in Europe, like Germany and Italy, can arguably be considered worse than common law countries in all of these respects. Whether that's incidental or due to civil law, I cannot say.
https://worldpopulationreview.com/country-rankings/lawyers-p...
Typically, the arbitrator is very well versed in the rules/area they are enforcing, and can see right through a snow job. In my province there is a tenancy tribunal that has to make a ruling before a court gets involved, and the courts rarely disagree with a decision made by the arbitrator in the 1% of cases that do get appealed. Because the rules are so clear, you can shovel piles of paperwork at them, and they will ignore it because they know what pieces of paper they actually need to make their decision.
It isn't for complex big money cases, but it means that courts have more time for those cases because they aren't dealing with ticky tacky minor disputes over damage deposits and fender benders.
Tenancy arbitration is just one of them, BTW. Just about every industry or agency has an outside ombudsperson that is the first step of dispute resolution before a court will be interested.
I'll probably yield to my temptations eventually and proceed anyways. Lord help me from all the creative but completely detached interpretations I'll land on.
https://ice.dhs.dev/program/13732-human-trafficking-investig...
https://atf.doj.dev/program/44825-open-gun-store-need-ffl
LMK if you want to know more.
I saw a sequence diagram browsing around, seemed to be specific to a sample scenario?
Each "program" here is a government program, agents orchestrate everything including the collaboration between all parties required.
High points: I have been able to help over 100 people get housing with no HITL on my side.
Note: Each host/subdomain is a project, they all inherit policy from each other and that drives the program generation and orchestration layer. Policies can be managed for the diff agencies at rnc/dnc.dev
Fair question, and the "training course" read is not an accident; it's the same shape underneath. A program is an ordered chain of modules, each with a declared actor and typed inputs/outputs. Courses are also that. So it renders with the same components. The sequence diagram you found isn't a sample scenario, it's the deal template's actual step graph; the thing an instance runs on.
Three authored files per domain:
- an ontology: the domain's vocabulary, its regulatory frameworks with real citations, the O*NET occupations that staff it, the systems of record it touches
- intents: what a person actually shows up wanting ("open a gun store, need an FFL"), with typed parameters
- deal templates, one per intent: ordered pipeline_steps, each with an actor, inputs, outputs, and a policy_check
The page you clicked is generated from the last two deterministically. No model in that path.
The part that speaks to your TLA+ instinct: I deliberately don't formalize what the law means. I formalize the procedure, and bind each step to the provision that authorizes it. Formalizing semantics is exactly where you get the creative, detached interpretations you're worried about, because every gap gets filled by the model's guess. Formalizing procedure asks the model to transcribe and cite, which is checkable:
- every step input is a ref; param:x, step:3.some_output, system:NICS.event; and it has to resolve. A step: ref must name an earlier step's declared output, so the dataflow is a DAG with referential integrity.
- every step's policy_check must name a framework declared in the ontology. A step that no provision authorizes fails validation.
So most hallucination becomes a build error instead of a plausible sentence. That's the whole trick. Not a smarter model; a narrower artifact.
Concretely, since you're right to expect slop: my first pass at four new agencies came back with 100% of step inputs referencing parameters that didn't exist, and prompts that literally said "Subject?". The validator refused all forty programs. That's the mechanism working; I'd have merged them on a read-through.
Intents and flows for ATF, if you want to see the layer under the program page: https://wiki.doj.dev/agent/atf
Limits, since you'll ask. It decides nothing; no adjudication, and consequential steps are human-gated. It's also not a formal method: the invariants are referential integrity and citation binding, not model checking. The genuinely temporal parts are the deadlines, and those do bite; the NLRB's six-month charge window runs from filing and service, with service being the filer's own duty, so a filing-date-only clock computes the wrong date on a deadline that destroys the claim if you miss it.
Re: the sibling comment about discretion; that's the actual pitch. Discretion hides in the gap between the written rule and the practiced procedure. Writing the practiced procedure down, with a citation per step, is what makes the gap visible.
This fee should help pay for the courts and reimburse and employer for time spent defending itself.
(With the judge / magistrate able to wave the fee on compassionate grounds)
Of course it does, often. But that's a pathology, not a feature to be proud of.
It's true that some complaints are irrational, vindictive, or vexatious, but the system seems quite good at identifying those already.
If the complaint has a high probability of success then it has a low probability of making the plaintiff pay costs. If it has a low probability of success then isn't that what we're trying to deter?
s/nuance/nuisance/A lawyer isn’t going to sign on to take liability risk unless they spend quite a lot of time analyzing the AI’s outputs for possible blunders?
So it structurally can’t cost significantly less.