KAR limitations

KAR is a deterministic evaluator over a committed graph. These limits are part of the contract.

• It does not prove a claim.
• It does not decide that a claim is false when requirements are unmet.
• It does not certify that source documents are true, complete, or current.
• It does not understand a contract, a statute, or a runbook by itself.
• It does not extract relations unless a producer or a person wrote them into CEG Source and someone compiled that source.
• It does not replace query() for ordinary search.
• It does not change V5 stateRoot.
• It does not run inside the root @knolo/core import.
• It is not implemented as authoring, coverage, composition, or Cortex on Rust, Python, or ICP.
• Bundled Domain Packs are review-required.

@knolo/core/experimental/kar is a compatibility path for this cycle. New code should import @knolo/core/kar.

The research preprint is KAR-1. The implementation semantics are kar-1-research-1. The paper is not a superset of the shipped API.