import type { MemoModel } from '../model/semantic.js';
import type { Violation } from './types.js';
/**
 * Check every flow's payload against the parameters at its ends.
 *
 * An error, not a warning: a flow of something the source never emits or the
 * target never accepts is not an omission, it is a contradiction.
 */
export declare function validateBehavior(model: MemoModel): Violation[];
//# sourceMappingURL=behavior-validator.d.ts.map