Composed query

A composed session can run bounded EQL or a KAR evaluation against the members of a record. The host image is not also a member. Core does not open the network to fetch a missing member.

import { openComposedSession, queryComposedSession, evaluateComposedKar } from '@knolo/core/composition';

knolo compose query --composition composition/ --eql 'FROM chunk SEARCH "valve" LIMIT 5'

availability: material requires every member's bytes before the query runs. availability: digest commits to digests. Supplied bytes are still checked. A nested composition directory may include host.knolo for that child only.

There is no merged evidence graph and no composed SATISFIED. A KAR evaluation inside the composition uses the bound graph and plan. Its status means the same thing it means outside composition. An attestation of used records that the evaluation ran. It does not copy the status into the attestation statement.

Policy inside the composition root is { default, allow, deny }. An explicit deny wins. A parent record cannot override a child record's deny.