meta-log-db
Version:
Native database package for Meta-Log (ProLog, DataLog, R5RS)
69 lines • 2.25 kB
TypeScript
/**
* Comprehensive Bipartite-BQF Validator
*
* Validates BQF forms, bipartite structures, polynomials, and frontmatter
* according to Phase 7.6 requirements
*/
import { BQFObject, BipartiteMetadata, PolynomialObject, DocumentFrontmatter, FrontmatterValidationError, FrontmatterValidationResult, Dimension } from '../types/frontmatter.js';
/**
* Comprehensive Bipartite-BQF Validator
*/
export declare class BipartiteBQFValidator {
/**
* Validate BQF form against dimensional progression
*/
validateBQFProgression(bqf: BQFObject, dimension: Dimension): FrontmatterValidationError[];
/**
* Validate bipartite structure (horizontal/vertical edges, consistency)
*/
validateBipartiteStructure(nodes: Array<{
id: string;
bipartite?: BipartiteMetadata;
}>, edges: Array<{
from: string;
to: string;
type?: string;
bipartite?: BipartiteMetadata;
}>): FrontmatterValidationError[];
/**
* Validate polynomial → BQF mapping consistency
*/
validatePolynomialToBQFMapping(polynomial: PolynomialObject, bqf: BQFObject, dimension: Dimension): FrontmatterValidationError[];
/**
* Validate frontmatter ↔ CanvasL synchronization
*/
validateFrontmatterSync(frontmatter: DocumentFrontmatter, canvaslNode: {
id?: string;
bipartite?: any;
}): FrontmatterValidationError[];
/**
* Comprehensive validation of bipartite metadata
*/
validateComprehensive(bipartite: BipartiteMetadata, context?: {
nodeType?: 'node' | 'edge';
fromNode?: string;
toNode?: string;
nodes?: Array<{
id: string;
bipartite?: BipartiteMetadata;
}>;
edges?: Array<{
from: string;
to: string;
bipartite?: BipartiteMetadata;
}>;
}): FrontmatterValidationResult;
/**
* Normalize partition for comparison
*/
private normalizePartition;
/**
* Get dimension number from dimension string
*/
private getDimensionNumber;
}
/**
* Default validator instance
*/
export declare const bipartiteBQFValidator: BipartiteBQFValidator;
//# sourceMappingURL=bipartite-bqf-validator.d.ts.map