Skip to content
konneal

What Konneal does

The catalog below states what each capability is and what your members experience, and tags the asset that powers it. The three families are the annealment levels: answering, rendering, execution — in that order because each family presupposes the one before it.

A filled Metanorma tag marks the baseline that a Metanorma library already provides; an outlined tag such as + Relaton marks what that further asset adds. Theinventory laddersummarizes the same story, and the measurement grounds it.

Grounded answering

Every claim in an answer carries a citation.

Clause-cited answers

Every substantive claim in an answer names the publication, edition and clause behind it, and any normative value is quoted verbatim from the source passage.

In practice — A citation in an answer opens the original document at the cited clause, with the clause highlighted.

Metanorma

Vocabulary binding

Members ask in everyday words, and the corpus answers in its own defined terms. The answer leads with your term, quotes its definition, and cites where it is defined.

In practice — A member asks about "drift"; the answer opens with the defined term and the clause that defines it.

Metanorma+ Glossarist

Edition awareness

A bibliographic registry of publication families, editions and supersession links decides which edition is current, so answers are steered to the edition in force.

In practice — Every citation carries its edition and status; a superseded edition is cited only when it alone contains the required content. When only superseded editions surface, the registry supplies the active edition’s passages directly, so the answer cites the rule in force.

Metanorma+ Relaton

Identifier understanding

A question that names a publication or edition scopes retrieval to that document deterministically, from the question text rather than a model decision.

In practice — A member asks about "R 60-1:2021 §4.4" and retrieval is pinned to that document, in your identifier scheme.

Metanorma+ Pubid

Citation graph traversal

The citations in each edition’s bibliography are extracted at index time and stored as graph edges beside the publication registry. When a question asks what a publication cites or references, the answer draws the cited-standards list from the graph as structured data, and the bibliography passages are retrieved to ground the answer verbatim.

In practice — A member asks which standards a publication references; the answer presents the cited list for the edition, with identifiers normalized to the corpus’s scheme, and cites the bibliography section itself.

Metanorma+ Relaton

Standard-reference boosting

Many clauses cite external standards such as ISO/IEC 17025 by identifier. When a question names that standard, passages carrying the citation are boosted in the ranking, so the citation itself acts as a retrieval signal.

In practice — A member asks which test method a publication invokes for humidity; the clause that carries the citation outranks passages that merely mention the topic.

Metanorma

Research mode

Research mode runs a bounded loop of at most three passes. In each pass the system retrieves evidence, and an independent judge evaluates whether the evidence is sufficient to answer and names what is missing; the next pass retrieves specifically for the missing parts. The final answer is generated from the accumulated evidence.

In practice — A member turns on research mode for a multi-part question; each pass fills the gap the previous judge named, and the answer draws on everything the passes found.

Metanorma

Typed rendering

Tables, formulas and figures are served from the source objects.

Tables as data

Tables keep their columns and rows as structured objects, retrieved and rendered exactly as the source carries them.

In practice — A member asks for a limit by row and column; the served table is the document's own, not a model's retelling.

Metanorma

Formulas as mathematics

Formulas keep their source notation and render as mathematics, so a computed relationship can be shown in the standard's own symbols.

In practice — An answer about a conversion factor shows the formula, then the arithmetic.

Metanorma

Figures from the original drawing

Figures keep their original drawings as images, and the answering model can consult the drawing itself when the question is about it.

In practice — A member asks what a label on a drawing says; the answer reads it from the drawing, not from the caption.

Metanorma

Model objects served

Structured models are indexed as first-class retrievable objects, so a question about a model gets the model.

In practice — A member asks what an attribute means; the answer serves the typed object and cites it.

+ Lutaml

Execution

Machine-checkable rules are evaluated with the arithmetic shown, and answers can be verified.

Computed verdicts

A question that names a machine-checkable rule gets the rule evaluated. The verdict reports pass, the standard's own word for the violation, or void naming what is missing — with the arithmetic shown.

In practice — A member states two values; the answer carries a verdict block computed from the rule, which the prose must present faithfully.

+ Primmel

Counterfactuals

Hypothetical values are evaluated by the same deterministic checks as real ones, so a member can ask "what if" and get a computed answer.

In practice — A member asks whether a different rating would conform; the verdict block recomputes for the stated values.

+ Primmel

Provable absence

Asked whether a standard constrains something, the service can enumerate the entire machine-readable model and return a certificate stating what was examined, that none of it matched, and what scope the proof covered.

In practice — A refusal states that nothing was found; the certificate states that everything was examined.

+ Primmel

Answer verification

Any answer, from this service or from another system, can be checked against the corpus: quoted spans must appear verbatim in served passages, object references must resolve, and a judged faithfulness score is labeled as judged.

In practice — A member pastes an answer and asks whether it holds; the check returns mechanical and judged results, each labeled.

Metanorma

Measurement gates

A golden question set with expected citations runs end to end — three times — before any change is promoted, with paraphrase and leakage probes alongside.

In practice — The service your members use is the same one the gates measured before it shipped.

Metanorma

Capabilities are one lens. The second is what you can do with them, and the third is what they mean for your role.