Sequality

Cases and claim features

Create a case

Open Cases and choose New case. The form has two parts, "The case" and "The application documents":

All the files together may be up to 9 MiB. A sequence searcher can enter a case for an examiner, who then owns it. Choose Create case to send the files.

Each file's type is checked from its contents, not only its name, and a file whose contents do not match its type is refused. A sequence listing that is not a valid WIPO ST.26 listing is refused, and the case is not created.

What the case holds

A case page has eight regions, in the order of the work: Case, Features, Plan, Searches, References, Suggestions, Summary and Shortlist. They are tabs under the case's title row, which names the case, its application number and its status; on a large enough window the title row and the tabs stay in view as you scroll. The Plan, Searches, References and Suggestions tabs show a count only when the whole set is known: never a zero for a set that is still loading, could not be read, or has not been built or checked. The Case region shows "About this case", the documents and the sequence listing.

A case moves forward through its statuses: Ingested, Features proposed, Features reviewed, Planned, Executing, Complete and Closed. A status never moves back.

Claim features

In the Features region, the case owner chooses Extract features. A language model reads the claims, the specification when it is short enough, and the type and length of each SEQ ID NO. It never receives sequence residues. It proposes claim features of these kinds:

The kinds of claim feature
Kind What it records
Recited sequence A sequence the claim recites by SEQ ID NO.
Identity floor The lowest sequence identity to a SEQ ID NO that the claim covers.
Fragment A part of a listed sequence, by its positions.
Variant Substitutions at stated positions of a listed sequence.
Fusion A construct joined from components.
Wildcard position A position the claim leaves open.
Transitional phrase Comprising, Consisting of or Consisting essentially of.
Molecule constraint A limit on the type of molecule.
Other limitation Any other limitation.

Code checks every proposal before it is shown. A proposal is refused when, for example, a quote it gives is not in the stored text, it cites a claim other than its own or its parent, it names a SEQ ID NO that is not in the listing, or its wording states a conclusion: "Its wording states a conclusion on anticipation, obviousness, novelty or patentability." A refused proposal is never shown as a feature; the region says how many failed and why.

A dependent claim's features are derived by code from its parent claim's, and are marked "Derived by a versioned rule."

The Features region of a synthetic case, under the case's title row and its eight region tabs: the model and rule statement, an accepted recited-sequence feature, a proposed identity-floor feature and a feature derived by rule, each with Show cited text, Why this feature and a decision form, a note that one proposal failed validation, and the Add a feature form.
Claim features proposed by a language model, checked by code and decided by the examiner. Screenshot of the product's test fixtures: placeholder records and patent numbers, not search results.

Decide on each feature

Every proposed feature starts as "Proposed, not decided". For each one:

Decisions are append-only and audited. A revision is stored beside the original, which stays. Under Add a feature you can add a feature the model did not propose; it passes the same checks.

Limits