/** * runtime.ts — `behavior-contracts/runtime` サブエントリ(実行時面)。 * * **hand-author 面(`behavior-contracts` = `index.ts`)とは別のエントリ**。consumer が手で書くのは * `@behavior` / `@leaf` 宣言だけで、この面の記号は**生成コード(`bc generate` の出力)と conformance * runner が import する**(`--lang typescript` の interpreter モジュールが `loadCompiledIR` + * `runBehavior` を、typed/native モジュールが `codegenPrimitives` を引く)。宣言を書く人が実行時 API を * 目にしないよう、公開面をエントリで分けている(native-ts-authoring.md §6)。 * * runtime-boundary.md で COMMON と判定された「薄い核」プリミティブのみを公開する。DynamoDB / * graphddb 固有の概念(backend 実行・key resolution・retry Tuning・hydrate・bundle 形式)は一切 * 含まない(それらは consumer に残る)。この package が該当ロジックの**単一の真実源**であり、 * examples/ はここから import する。 * * 公開 COMMON プリミティブ(runtime-boundary.md §2.1): * - validateEnvelope — spec-version fail-closed 検査 * - evaluateExpression — expression-ir.md の規範評価 * - renderTemplate — `{param}` 束縛描画(strict) * - runPlan — 実行計画の骨格実行(stage / Skip 伝播 / Policy Kind) * - canonicalValue / canonicalJson / pyFloatRepr — 決定的正準直列化 * - assertPortable — Portability Guard(IR 可搬性不変条件) * - decodeValue / deepEquals — conformance runner adapter 共通部 * * 除外の判断(runtime-boundary.md 準拠): consumer の Metadata 形状に依存する API(Contract Service / * buildIR 相当)は COMMON ではないので **含めない** — それらは consumer 側に残る。 */ export { SPEC_VERSIONS, ENVELOPE_SPEC_VERSION } from "./spec-versions.js"; export type { Value, Scope } from "./expr-eval.js"; export { evaluate as evaluateExpression, encodeValue, cmpCodePoints, ExprFailure, FORBIDDEN_OBJECT_KEY } from "./expr-eval.js"; export type { FailureCode as ExprFailureCode } from "./expr-eval.js"; export { renderTemplate, resolvePartial, TemplateFailure } from "./template.js"; export type { TemplateFailureCode } from "./template.js"; export { runPlan, runPlanAsync, finalTree, PlanFailure, POLICY_KINDS, RELATION_KINDS, ELEMENT_POLICY_KINDS, ERROR_KINDS } from "./plan.js"; export type { ExecutionPlanSpec, OpSpec, Exec, AsyncExec, ExecOutcome, RunResult, PolicyKind, RelationKind, ElementPolicyKind, ErrorKind, ErrorDetail, PlanFailureCode, } from "./plan.js"; export { canonicalValue, canonicalJson, pyFloatRepr, CanonicalFailure } from "./canonical.js"; export type { CanonicalFailureCode } from "./canonical.js"; export { validateEnvelope, EnvelopeFailure } from "./envelope.js"; export type { EnvelopeFailureCode } from "./envelope.js"; export { assertPortable, assertPortableComponentGraph, assertPortableTypeNotation, PORTABLE_EXPR_OPERATORS, PORTABLE_SCALAR_TYPES, PortabilityError, } from "./guard.js"; export { runBehavior, runBehaviorAsync, BehaviorFailure, fanoutDedupDrop, portableTypeNotation, conformResultToOutType } from "./behavior.js"; export type { FanoutDedupDropSpec, PortSchema, PortableType, PortableScalarType, CatalogEntry, CatalogOutput, Catalog, Handler, HandlerCtx, Handlers, AsyncHandler, AsyncHandlers, BehaviorFailureCode, } from "./behavior.js"; export type { ComponentGraphIR, ComponentGraphIRDoc } from "./ir-handle.js"; export { assertCompiled, loadCompiledIR, ProvenanceError, fingerprintComponentGraph } from "./provenance.js"; export { UntypedNodeError, ExprTypeError, NodeTypeError } from "./type-gate.js"; export { OPERATOR_TYPE_SIGNATURES, operatorSignature, resolveOperatorResult, isValueOperator, } from "./expr-operator-types.js"; export type { OperatorSignature, OperatorResultRule, OperandConstraint } from "./expr-operator-types.js"; export { decodeValue, deepEquals } from "./codec.js"; export * as codegenPrimitives from "./primitives.js"; export { mapWithConcurrency, unproducedValue, skipConnection, } from "./primitives.js"; export type { Expr } from "./primitives.js"; //# sourceMappingURL=runtime.d.ts.map