Type Alias: FunctionBodyDto
@kortexya/reasoninglayer / FunctionBodyDto
Type Alias: FunctionBodyDto
Section titled “Type Alias: FunctionBodyDto”FunctionBodyDto = {
type:"Value";value:FunctionValueDto; } | {expr:ExpressionDto;type:"Expression"; } | {arguments:ExpressionDto[];functionName:string;type:"FunctionCall"; } | {codomain:FunctionValueDto[];conformalTau?:number|null;coverageThreshold:number;program:string;type:"Neural"; }
Defined in: src/types/functions.ts:91
Function body — what a clause computes.
Union Members
Section titled “Union Members”Type Literal
Section titled “Type Literal”{ type: "Value"; value: FunctionValueDto; }
Type Literal
Section titled “Type Literal”{ expr: ExpressionDto; type: "Expression"; }
Type Literal
Section titled “Type Literal”{ arguments: ExpressionDto[]; functionName: string; type: "FunctionCall"; }
Type Literal
Section titled “Type Literal”{ codomain: FunctionValueDto[]; conformalTau?: number | null; coverageThreshold: number; program: string; type: "Neural"; }
codomain
Section titled “codomain”codomain:
FunctionValueDto[]
The admissible output labels the program’s prediction is projected onto.
Must be non-empty, and every entry a non-blank string label distinct
from the others; otherwise the write is refused with 422
(function_codomain_empty, function_codomain_non_string_label,
function_codomain_blank_label, function_codomain_repeats_label).
conformalTau?
Section titled “conformalTau?”
optionalconformalTau?:number|null
Conformal calibration threshold tau; null when uncalibrated.
coverageThreshold
Section titled “coverageThreshold”coverageThreshold:
number
Minimum coverage the conformal prediction set must attain.
program
Section titled “program”program:
string
The neural program to execute.
type:
"Neural"
Remarks
Section titled “Remarks”Tagged union discriminated by type. Value returns a literal,
Expression evaluates an arithmetic/logical expression,
FunctionCall delegates to another function, and Neural evaluates a neural/fuzzy
program whose output is conformalized against codomain.