Skip to content

A finding in one case is not automatically a rule for the next.

Claim Flow records each authorized step from evidence to a forum finding, precedent, application, and settlement.

Problem being tested

A computation may entail a conclusion inside a model without establishing it in the world. Evidence may satisfy a policy without becoming a forum finding. A forum may bind one case without legislating a reusable rule. A reason-bearing rule may cover a later case without authorizing settlement. Claim Flow makes each conversion explicit and proposition-specific.

Candidate, adoption, applicability

  1. PrecedentCandidate proposes a reason, scope, exclusions, protected consequences, source finding, and epoch. It has no operative effect.
  2. PrecedentAdoption requires precedential authority and passes reason-language, conservativity, refusal-preservation, scope, and epoch checks.
  3. ApplicabilityFinding separately determines whether a later record falls inside the adopted reason and scope.

A fresh reason, wider applicability, changed harm, new protected consequence, authority change, or stale epoch produces a distinction, legislation requirement, or route instead of an application.

Generalization Frontier

Candidate scopes form a finite partial order. Safety is downward-closed relative to a fixed model and warrant; one unsafe witness prunes every containing super-scope. The engine returns the antichain of maximal checked scopes. Multiple maxima remain CHOICE_REQUIRED, because the forum chooses and adopts rather than the search procedure.

Run the demonstration

$ PYTHONPATH=bulla/src python bulla/bench/golden/v0.5/generate.py
$ python -I bulla/scripts/verify_golden_v05.py bulla/bench/golden/v0.5

The profile includes transfer foils, matched scrambling, scope frontiers, minimal laundering margins, and effect-laundering cases. Action renaming, wrappers, decomposition, proxy fields, repetition, and affiliated executors cannot erase a categorical effect warrant.

What the supplied evidence supports

Availability: Claim Flow v0.4 ships experimentally in Bulla 0.44.1; the v0.5 Generalization Constitution and frontier remain source only. Neither is part of the stable API. Evidence: the no-free-precedent theorem is formally verified; yield is an internal observation on team-authored, machine-planted, bounded-exact lineages. It is not foreign applicability evidence, legal validity, economic value, or authority supplied by an engine.

Read No Free Precedent or inspect the generated evidence provenance.