John Dvorak
87 lines
2.2 KiB
TypeScript
87 lines
2.2 KiB
TypeScript
/**
|
|
* Imhotep Core — foundational contracts and type system.
|
|
*
|
|
* Exported modules:
|
|
* types — Core type definitions (positions, IDs, results, proofs)
|
|
* ast — Unist-style AST node definitions
|
|
* ir — Semantic IR and Execution IR definitions
|
|
* world — Geometry world schema types
|
|
* contracts — Extractor, solver, compiler, reporter interfaces
|
|
* diagnostics — Diagnostic categories, error codes, traces, shrinking
|
|
*/
|
|
|
|
export * from './types.js'
|
|
export * from './ast.js'
|
|
export * from './ir.js'
|
|
export { FragmentKind, createEmptyWorld } from './world.js'
|
|
export type {
|
|
GeometryWorld,
|
|
WorldEnvironment,
|
|
WorldSource,
|
|
StringTable,
|
|
SubjectsTable,
|
|
DomTable,
|
|
FramesTable,
|
|
MatricesTable,
|
|
RectsTable,
|
|
BoxesTable,
|
|
FragmentsTable,
|
|
TransformsTable,
|
|
StylesTable,
|
|
TextTable,
|
|
TopologyTable,
|
|
ScrollTable,
|
|
ClippingTable,
|
|
PaintTable,
|
|
VisibilityTable,
|
|
ProvenanceTable,
|
|
ConfidenceTable,
|
|
FactRequestPlan,
|
|
} from './world.js'
|
|
export * from './contracts.js'
|
|
export * from './diagnostics.js'
|
|
export * from './pipeline.js'
|
|
export * from './logic-ast.js'
|
|
export * from './logic-ir.js'
|
|
export * from './domains.js'
|
|
export * from './scene-target.js'
|
|
export * from './property-contracts.js'
|
|
export * from './property-results.js'
|
|
export * from './canonical.js'
|
|
export * from './context.js'
|
|
export {
|
|
serializeGeometryWorld,
|
|
deserializeGeometryWorld,
|
|
computeGeometryCacheKey,
|
|
readCachedWorld,
|
|
writeCachedWorld,
|
|
clearGeometryCache,
|
|
getDefaultCacheDir,
|
|
readCachedExtractionResult,
|
|
writeCachedExtractionResult,
|
|
} from './geometry-cache.js'
|
|
|
|
// Public API type aliases for high-level evaluation results
|
|
import type { ClauseResult, ImhotepId } from './types.js'
|
|
import type { Diagnostic } from './diagnostics.js'
|
|
|
|
export interface NormalizedContract {
|
|
clauseId: ImhotepId
|
|
clauseLabel: string
|
|
relation: string
|
|
subject: string
|
|
reference: string
|
|
options: Record<string, unknown>
|
|
}
|
|
|
|
export type ImhotepResult = {
|
|
schemaVersion: string
|
|
passed: boolean
|
|
summary: string
|
|
clauseResults: ClauseResult[]
|
|
diagnostics: ImhotepDiagnostic[]
|
|
normalizedContracts?: NormalizedContract[]
|
|
}
|
|
|
|
export type ImhotepDiagnostic = Diagnostic
|