Display
Find

Find your next step

Filter public starting points, or search the full product catalog.

Public starting points

8 shown
Browse all resources Escape closes Find
Share

Share this public page

Gateway Information Group

Focused checks / Useful results

Make your next step
a little clearer.

Prepare text, check data against your rules, or trace the effects of a change. Each tool has a defined scope and a private result.

See a fictional example report →

A focused tool.
A clear scope.

Prefer to pay with a wallet?

Checking wallet choices…

Positive Datalog Fixed Point

Evaluate finite function-free positive rules to a least fixed point over supplied facts.

Evaluate finite function-free positive rules to a least fixed point over supplied facts. At most 128 ground facts,32 rules,16 predicates/constants, arity1..3, four body atoms and six variables per rule. Terms ?Uppercase are variables; other allowed identifiers are constants. Head variables must occur in the body. No negation, functions, aggregates or external facts. Reject before checkout above1024 total facts,8192 intermediate bindings or200000 join attempts. passes is rule-order-dependent iteration work, not proof depth. Supplied non-sensitive data only; no live account access, automated changes or certification. Profile 1.0.0: approximate non-integers use 12 significant digits; safe integers and declared integer strings are preserved.

Agent API guide → · Website orders show the report on your private order page.

The complete checkout request must fit within 40,000 UTF-8 bytes. Your input is validated again before an order is created.

Before you begin

Use non-sensitive information you are authorized to process. Do not include passwords, wallet keys, personal records or confidential material. Examples stay in your browser until you submit checkout.

Payment options appear only when available for your selected service. Confirmed payment starts processing. Save your private order link to retrieve the JSON result during its 30-day access period. These checks do not establish factual accuracy, regulatory compliance or complete dependency coverage.

Purchase terms and support · Privacy policy