preludes / ontology-ir.lisp

ontology-ir

Ontology IR protocol. The canonical IR types of the ontology forms, derived from ontology.lisp.

Generated51 types · 2 functions · 421 linesSource

From the source

Purpose: Generated canonical ontology IR contracts and declaration catalog. Requires: Core types; generated from ontology.lisp, not a separate domain implementation. Used by: Protocol/schema generation, artifact validation, and conformance fixtures. Generated by packages/ts/scripts/derive-domain-protocol.mjs. Do not edit.

Functions 2

Ordinary typed definitions that programs and elaboration hooks can call.

protocolontology-ir.lisp:399

(define protocol …)

canonical-ir-declaration-catalogontology-ir.lisp:401

(define canonical-ir-declaration-catalog …)

Types 51

Payload contracts and IR shapes, shown as authored.

EntityFieldIRontology-ir.lisp:9

(type EntityFieldIR
  {
    :name Keyword
    :type Type
    :required Bool
    :indexed Bool
    :description (Option String)
    :default (Option Json)})

EntityIRontology-ir.lisp:18

(type EntityIR
  {
    :kind "Entity"
    :name Symbol
    :fields (List EntityFieldIR)
    :doc (Option String)
    :role (Option String)
    :idPattern (Option String)})

RelationIRontology-ir.lisp:27

(type RelationIR
  {
    :kind "Relation"
    :name Symbol
    :source Symbol
    :target Symbol
    :fields (List EntityFieldIR)})

RecordIRontology-ir.lisp:35

(type RecordIR
  {
    :kind "Record"
    :name String
    :id String
    :entity Symbol
    :fields (Map String Json)})

LinkIRontology-ir.lisp:43

(type LinkIR
  {
    :kind "Link"
    :name String
    :relation Symbol
    :source String
    :target String
    :sourceId String
    :targetId String
    :fields (Map String Json)})

SystemAttributeIRontology-ir.lisp:54

(type SystemAttributeIR
  {
    :kind "SystemAttribute"
    :name Symbol
    :valueType Type
    :required Bool
    :doc (Option String)})

MetaEntityIRontology-ir.lisp:62

(type MetaEntityIR
  {
    :kind "MetaEntity"
    :name Symbol
    :fields (List EntityFieldIR)
    :doc (Option String)
    :role (Option String)
    :idPattern (Option String)})

QueryIRontology-ir.lisp:71

(type QueryIR
  {
    :kind "Query"
    :name Symbol
    :from Symbol
    :where (Option RuntimeExpr)
    :datalog (Option RuntimeExpr)
    :select (List Keyword)})

WorkspaceIRontology-ir.lisp:80

(type WorkspaceIR
  {
    :kind "Workspace"
    :name Symbol
    :title (Option String)
    :persona (Option String)
    :subject (Option Symbol)
    :home (Option Symbol)
    :views (List Symbol)})

IdentityDeclarationIRontology-ir.lisp:90

(type IdentityDeclarationIR
  {
    :kind "IdentityDeclaration"
    :identityKind String
    :name Symbol
    :description (Option String)
    :member (Option Symbol)
    :group (Option Symbol)
    :principal (Option Symbol)
    :resource (Option Symbol)
    :resolver (Option RuntimeExpr)})

PermissionDeclarationIRontology-ir.lisp:102

(type PermissionDeclarationIR
  {
    :kind "PermissionDeclaration"
    :name Symbol
    :principal Symbol
    :action Symbol
    :resource Symbol
    :effect String
    :condition (Option RuntimeExpr)
    :description (Option String)})

TriggerIRontology-ir.lisp:113

(type TriggerIR {:kind "Trigger" :triggerKind String :entity Symbol})

ProcessInputIRontology-ir.lisp:115

(type ProcessInputIR {:name String :expr RuntimeExpr})

ProcessNodeIRontology-ir.lisp:117

(type ProcessNodeIR
  {
    :kind "Node"
    :id Symbol
    :action (Option Symbol)
    :actionRef (Option {:kind "Action" :name Symbol})
    :join (Option String)
    :fanOut (Option String)
    :inputs (List ProcessInputIR)})

ProcessEdgeIRontology-ir.lisp:127

(type ProcessEdgeIR
  {:kind "Edge" :from Symbol :to Symbol :guard (Option RuntimeExpr)})

ProcessIRontology-ir.lisp:130

(type ProcessIR
  {
    :kind "Process"
    :name Symbol
    :description (Option String)
    :trigger TriggerIR
    :nodes (List ProcessNodeIR)
    :edges (List ProcessEdgeIR)})

DocumentOptionIRontology-ir.lisp:139

(type DocumentOptionIR {:kind "Option" :value String :label String})

AttributeBindingIRontology-ir.lisp:141

(type AttributeBindingIR
  {
    :kind "AttributeBinding"
    :attribute Keyword
    :entity Symbol
    :transform (Option String)
    :cardinality (Option String)})

DocumentFieldIRontology-ir.lisp:149

(type DocumentFieldIR
  {
    :kind "Field"
    :type String
    :path Keyword
    :label (Option String)
    :description (Option String)
    :content (Option String)
    :required Bool
    :binding (Option AttributeBindingIR)
    :options (List DocumentOptionIR)})

DocumentCompletionIRontology-ir.lisp:161

(type DocumentCompletionIR
  {
    :kind "CompletionMutation"
    :mutation Symbol
    :mutationRef {:kind "Action" :name Symbol}
    :entity (Option Symbol)
    :entityRef (Option {:kind "Entity" :name Symbol})})

DocumentPageIRontology-ir.lisp:169

(type DocumentPageIR
  {
    :kind "Page"
    :sectionId Symbol
    :assignee Symbol
    :description (Option String)
    :dependsOn (List Symbol)
    :completion (Option DocumentCompletionIR)
    :fields (List DocumentFieldIR)})

DocumentIRontology-ir.lisp:179

(type DocumentIR
  {
    :kind "Document"
    :name Symbol
    :description (Option String)
    :pages (List DocumentPageIR)})

TaskInputIRontology-ir.lisp:186

(type TaskInputIR {:name Keyword :type Type :required Bool})

TaskDefinitionIRontology-ir.lisp:188

(type TaskDefinitionIR
  {
    :kind "TaskDefinition"
    :name Symbol
    :title String
    :description (Option String)
    :documentRef (Option {:kind "Document" :name Symbol})
    :sectionRefs (List Symbol)
    :defaultAssignee (Option Json)
    :guidanceRef (Option Symbol)
    :inputs (List TaskInputIR)
    :scope (Option Json)})

DocumentRoleLocaleIRontology-ir.lisp:201

(type DocumentRoleLocaleIR
  {
    :kind "Role"
    :name Symbol
    :label (Option String)
    :description (Option String)})

DocumentSectionLocaleIRontology-ir.lisp:208

(type DocumentSectionLocaleIR
  {
    :kind "Section"
    :name Symbol
    :label (Option String)
    :description (Option String)})

DocumentFieldLocaleIRontology-ir.lisp:215

(type DocumentFieldLocaleIR
  {
    :kind "LocaleField"
    :path Keyword
    :label (Option String)
    :description (Option String)
    :options (List DocumentOptionIR)})

DocumentLocaleIRontology-ir.lisp:223

(type DocumentLocaleIR
  {
    :kind "DocumentLocale"
    :documentName Symbol
    :documentRef {:kind "Document" :name Symbol}
    :locale String
    :roles (List DocumentRoleLocaleIR)
    :sections (List DocumentSectionLocaleIR)
    :fields (List DocumentFieldLocaleIR)})

DocumentLocalizedIRontology-ir.lisp:233

(type DocumentLocalizedIR
  {
    :kind "DocumentLocalized"
    :documentName Symbol
    :documentRef {:kind "Document" :name Symbol}
    :locales (List String)
    :defaultLocale (Option String)})

PdfSetIRontology-ir.lisp:241

(type PdfSetIR {:kind "Set" :pdfField String :value Json})

PdfCaseIRontology-ir.lisp:243

(type PdfCaseIR {:kind "Case" :when String :assignments (List PdfSetIR)})

PdfDirectIRontology-ir.lisp:245

(type PdfDirectIR
  {:kind "Direct" :source Keyword :pdfField String :transform (Option Symbol)})

PdfComputedIRontology-ir.lisp:248

(type PdfComputedIR
  {
    :kind "Computed"
    :expr RuntimeExpr
    :pdfField String
    :transform (Option Symbol)})

PdfSwitchIRontology-ir.lisp:255

(type PdfSwitchIR {:kind "Switch" :source Keyword :cases (List PdfCaseIR)})

PdfMappingEntryIRontology-ir.lisp:257

(type PdfMappingEntryIR (Union PdfDirectIR PdfComputedIR PdfSwitchIR))

PdfMappingIRontology-ir.lisp:259

(type PdfMappingIR
  {
    :kind "PdfMapping"
    :name Symbol
    :displayName (Option String)
    :description (Option String)
    :templateBlob String
    :templateFile (Option String)
    :templateFilename (Option String)
    :documentName (Option Symbol)
    :documentRef (Option {:kind "Document" :name Symbol})
    :mappings (List PdfMappingEntryIR)})

ResolutionInputIRontology-ir.lisp:272

(type ResolutionInputIR {:param String :runtimeSource RuntimeExpr})

ResolutionIRontology-ir.lisp:274

(type ResolutionIR
  {
    :kind "Resolution"
    :label String
    :action Symbol
    :actionRef {:kind "Action" :name Symbol}
    :autoInvoke Bool
    :inputs (List ResolutionInputIR)})

ConstraintTaskAssignmentIRontology-ir.lisp:283

(type ConstraintTaskAssignmentIR
  {
    :kind "TaskAssignment"
    :role Symbol
    :priority (Option String)
    :title (Option RuntimeExpr)
    :body (Option RuntimeExpr)})

ConstraintIRontology-ir.lisp:291

(type ConstraintIR
  {
    :kind "Constraint"
    :name Symbol
    :entity Symbol
    :entityRef {:kind "Entity" :name Symbol}
    :severity String
    :description (Option String)
    :category (Option String)
    :when (Option RuntimeExpr)
    :query (Option RuntimeExpr)
    :message RuntimeExpr
    :taskAssignments (List ConstraintTaskAssignmentIR)
    :resolutions (List ResolutionIR)})

QueryPresetParamIRontology-ir.lisp:306

(type QueryPresetParamIR {:name String :value RuntimeExpr})

QueryPresetIRontology-ir.lisp:308

(type QueryPresetIR
  {
    :kind "QueryPreset"
    :name Symbol
    :queryRef {:kind "Query" :name Symbol}
    :defaults (List QueryPresetParamIR)
    :mergePolicy String})

ViewColumnIRontology-ir.lisp:316

(type ViewColumnIR
  {:name Keyword :label (Option String) :expr (Option RuntimeExpr)})

ViewSortIRontology-ir.lisp:319

(type ViewSortIR {:field Keyword :direction String})

ViewIRontology-ir.lisp:321

(type ViewIR
  {
    :kind "View"
    :name Symbol
    :doc (Option String)
    :query (Option Symbol)
    :queryRef (Option {:kind "Query" :name Symbol})
    :title (Option String)
    :subject (Option Symbol)
    :mode (Option String)
    :fragment Bool
    :emptyState (Option String)
    :where (Option RuntimeExpr)
    :defaultSort (Option ViewSortIR)
    :rowAction (Option RuntimeExpr)
    :columns (List ViewColumnIR)
    :state (Option Json)
    :input (Option Json)
    :queries (Option Json)
    :defs (Option Json)
    :root (Option Json)
    :layout (Option Json)})

ActionInputIRontology-ir.lisp:344

(type ActionInputIR {:name String :type Type :required Bool})

ActionIRontology-ir.lisp:346

(type ActionIR
  {
    :kind "Action"
    :name Symbol
    :inputs (List ActionInputIR)
    :returns Type
    :do RuntimeExpr})

HttpEndpointIRontology-ir.lisp:354

(type HttpEndpointIR
  {
    :kind "Endpoint"
    :name Symbol
    :method String
    :path String
    :payload (Option Type)
    :query (Map String Type)
    :headers (Map String Type)
    :success Type
    :errors (List Type)
    :openapi (Option Json)})

HttpApiIRontology-ir.lisp:367

(type HttpApiIR
  {
    :kind "HttpApi"
    :name Symbol
    :pathParams (Map String Type)
    :endpoints (List HttpEndpointIR)
    :openapi (Option Json)})

CanonicalIRontology-ir.lisp:375

(type CanonicalIR (Union EntityIR MetaEntityIR RelationIR RecordIR LinkIR SystemAttributeIR QueryIR WorkspaceIR IdentityDeclarationIR PermissionDeclarationIR ProcessIR DocumentIR TaskDefinitionIR DocumentLocaleIR DocumentLocalizedIR PdfMappingIR ConstraintIR QueryPresetIR ViewIR ActionIR HttpApiIR))

CompiledDeclarationsontology-ir.lisp:377

(type CompiledDeclarations {:entities (List EntityIR)
 :metaEntities (List MetaEntityIR)
 :relations (List RelationIR)
 :records (List RecordIR)
 :links (List LinkIR)
 :systemAttributes (List SystemAttributeIR)
 :queries (List QueryIR)
 :workspaces (List WorkspaceIR)
 :identityDeclarations (List IdentityDeclarationIR)
 :permissionDeclarations (List PermissionDeclarationIR)
 :processes (List ProcessIR)
 :documents (List DocumentIR)
 :taskDefinitions (List TaskDefinitionIR)
 :documentLocales (List DocumentLocaleIR)
 :documentLocalizeds (List DocumentLocalizedIR)
 :pdfMappings (List PdfMappingIR)
 :constraints (List ConstraintIR)
 :queryPresets (List QueryPresetIR)
 :views (List ViewIR)
 :actions (List ActionIR)
 :httpApis (List HttpApiIR)})