behavior-contracts 0.7.3 → 0.8.0

package/dist/index.d.ts

@@ -24,9 +24,10 @@ export declare const SPEC_VERSIONS: {
     readonly template: 1;
     readonly plan: 1;
     readonly canonical: 2;
-    readonly behavior: 3;
-    readonly guard: 1;
+    readonly behavior: 4;
+    readonly guard: 2;
     readonly c2: 1;
+    readonly provenance: 1;
 };
 /** validateEnvelope に渡す graphddb 形式の既定 supported 版（`"<major>.<minor>"`）。 */
 export declare const ENVELOPE_SPEC_VERSION: "1.1";
@@ -43,15 +44,47 @@ 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 } from "./behavior.js";
-export type { ComponentGraphIR, Component, BodyNode, ComponentRefNode, MapNode, CondNode, FanoutNode, FanoutDedupDropSpec, PortSchema, PortableType, PortableScalarType, CatalogEntry, CatalogOutput, Catalog, Handler, HandlerCtx, Handlers, AsyncHandler, AsyncHandlers, BehaviorFailureCode, } from "./behavior.js";
-export { buildComponentDefinition, BuilderFailure } from "./builder.js";
-export type { ComponentDefinitionData, BuildComponentDefinitionOptions, BuilderFailureCode, } from "./builder.js";
-export { SemanticBehavior, behavior, compileBehaviors, catalogComponents, when, concat, add, sub, mul, div, mod, neg, eq, ne, lt, le, gt, ge, and, or, not, coalesce, len, opt, referencedComponents, classifyBehaviorEffect, AuthoringFailure, } from "./authoring.js";
-export type { In, Recorded, BehaviorClass, CompileBehaviorsOptions, BehaviorEffect, AuthoringFailureCode, } from "./authoring.js";
+export type { FanoutDedupDropSpec, PortSchema, PortableType, PortableScalarType, CatalogEntry, CatalogOutput, Catalog, Handler, HandlerCtx, Handlers, AsyncHandler, AsyncHandlers, BehaviorFailureCode, } from "./behavior.js";
+import type { ComponentGraphIR as ComponentGraphIRShape, Component as ComponentShape, BodyNode as BodyNodeShape, ComponentRefNode as ComponentRefNodeShape, MapNode as MapNodeShape, CondNode as CondNodeShape, FanoutNode as FanoutNodeShape } from "./behavior.js";
+declare const IR_BRAND: unique symbol;
+/** module 外から充足不能な phantom brand（opaque IR handle の印）。 */
+export interface IrBrand {
+    readonly [IR_BRAND]: "behavior-contracts/opaque-ir";
+}
+/** opaque な可搬 IR ルート handle（compile seam だけが生産できる — SA1/SA2）。 */
+export type ComponentGraphIR = ComponentGraphIRShape & IrBrand;
+/** opaque な合成コンポーネント（＝公開メソッド）handle。 */
+export type Component = ComponentShape & IrBrand;
+/** opaque な body ノード handle（componentRef / map / cond / fanout）。 */
+export type BodyNode = BodyNodeShape & IrBrand;
+/** opaque な専用コンポーネント参照ノード handle。 */
+export type ComponentRefNode = ComponentRefNodeShape & IrBrand;
+/** opaque な map ノード handle。 */
+export type MapNode = MapNodeShape & IrBrand;
+/**
+ * `ComponentGraphIRDoc` — シリアライズ済み IR ドキュメント（**unbranded の構造型**）。JSON 境界を
+ * 越えて届く IR（conformance vector / codegen fixture / 生成モジュールの埋め込みリテラル）の型。
+ * これは token を持たない生データなので `loadCompiledIR(doc)` で adopt してから実行/生成に使う。
+ * 生成 TS モジュールは埋め込みリテラルをこの型で型付けし（ドリフト検出）、`loadCompiledIR` で
+ * opaque handle に昇格させる。
+ */
+export type ComponentGraphIRDoc = ComponentGraphIRShape;
+/** opaque な cond ノード handle。 */
+export type CondNode = CondNodeShape & IrBrand;
+/** opaque な fanout ノード handle。 */
+export type FanoutNode = FanoutNodeShape & IrBrand;
+export { assertCompiled, loadCompiledIR, ProvenanceError, fingerprintComponentGraph } from "./provenance.js";
+export { bindBehaviors, BindFailure } from "./bind.js";
+export type { BoundBehaviors, BindFailureCode } from "./bind.js";
+export { UntypedNodeError } 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 { SemanticBehavior, behavior, compileBehaviors, catalogComponents, defineLeaf, behaviorComponents, catalogEntryFromLeaf, deriveCatalog, when, concat, add, sub, mul, div, mod, neg, eq, ne, lt, le, gt, ge, and, or, not, coalesce, len, opt, referencedComponents, classifyBehaviorEffect, AuthoringFailure, } from "./authoring.js";
+export type { In, Recorded, BehaviorClass, CompileBehaviorsOptions, BehaviorEffect, AuthoringFailureCode, LeafDefinition, LeafMeta, PortableTypeToTs, PortsToTs, } from "./authoring.js";
 export { decodeValue, deepEquals } from "./codec.js";
 export * as codegenPrimitives from "./primitives.js";
 export { mapWithConcurrency, unproducedValue, skipSingle, skipConnection, hydrateInto, } from "./primitives.js";
 export type { Expr } from "./primitives.js";
-export { generateModule, registerEmitter, registeredLanguages, GeneratorFailure, fingerprintComponentGraph, FingerprintFailure, typescriptEmitter, pythonEmitter, typescriptTypedEmitter, tsTypedMaterializer, assertStraightlineSupported, isStraightlineNode, buildTypePlan, deriveTypeRef, buildAsyncPlans, } from "./generator/index.js";
+export { generateModule, registerEmitter, registeredLanguages, GeneratorFailure, FingerprintFailure, typescriptEmitter, pythonEmitter, typescriptTypedEmitter, tsTypedMaterializer, assertStraightlineSupported, isStraightlineNode, buildTypePlan, deriveTypeRef, buildAsyncPlans, } from "./generator/index.js";
 export type { GenerateOptions, GeneratedModule, EmitContext, EmitterPlugin, GeneratorFailureCode, StraightlineDialect, StraightlineOp, ComponentPlan, OpLiteral, TypePlan, TypeRef, TypeDecl, TypedMaterializer, IoModel, AsyncPlan, } from "./generator/index.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH,eAAO,MAAM,aAAa;;;;;;;;CAQhB,CAAC;AAEX,4EAA4E;AAC5E,eAAO,MAAM,qBAAqB,EAAG,KAAc,CAAC;AAGpD,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAGnD,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC/H,YAAY,EAAE,WAAW,IAAI,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGrE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChF,YAAY,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzD,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC1E,YAAY,EACV,iBAAiB,EACjB,MAAM,EACN,IAAI,EACJ,SAAS,EACT,WAAW,EACX,SAAS,EACT,UAAU,EACV,YAAY,EACZ,eAAe,GAChB,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC9F,YAAY,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAG3D,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAClE,YAAY,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzD,OAAO,EACL,cAAc,EACd,4BAA4B,EAC5B,0BAA0B,EAC1B,uBAAuB,EACvB,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChG,YAAY,EACV,gBAAgB,EAChB,SAAS,EACT,QAAQ,EACR,gBAAgB,EAChB,OAAO,EACP,QAAQ,EACR,UAAU,EACV,mBAAmB,EACnB,UAAU,EACV,YAAY,EACZ,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,mBAAmB,GACpB,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACxE,YAAY,EACV,uBAAuB,EACvB,+BAA+B,EAC/B,kBAAkB,GACnB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,gBAAgB,EAChB,iBAAiB,EACjB,IAAI,EACJ,MAAM,EACN,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,GAAG,EACH,EAAE,EACF,GAAG,EACH,QAAQ,EACR,GAAG,EACH,GAAG,EACH,oBAAoB,EACpB,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,EAAE,EACF,QAAQ,EACR,aAAa,EACb,uBAAuB,EACvB,cAAc,EACd,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAQrD,OAAO,KAAK,iBAAiB,MAAM,iBAAiB,CAAC;AACrD,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,UAAU,EACV,cAAc,EACd,WAAW,GACZ,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAK5C,OAAO,EACL,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,gBAAgB,EAChB,yBAAyB,EACzB,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,sBAAsB,EACtB,mBAAmB,EACnB,2BAA2B,EAC3B,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,eAAe,EACf,eAAe,EACf,WAAW,EACX,aAAa,EACb,oBAAoB,EACpB,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,SAAS,EACT,QAAQ,EACR,OAAO,EACP,QAAQ,EACR,iBAAiB,EACjB,OAAO,EACP,SAAS,GACV,MAAM,sBAAsB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH,eAAO,MAAM,aAAa;;;;;;;;;CAShB,CAAC;AAEX,4EAA4E;AAC5E,eAAO,MAAM,qBAAqB,EAAG,KAAc,CAAC;AAGpD,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAGnD,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC/H,YAAY,EAAE,WAAW,IAAI,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGrE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChF,YAAY,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzD,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC1E,YAAY,EACV,iBAAiB,EACjB,MAAM,EACN,IAAI,EACJ,SAAS,EACT,WAAW,EACX,SAAS,EACT,UAAU,EACV,YAAY,EACZ,eAAe,GAChB,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC9F,YAAY,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAG3D,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAClE,YAAY,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzD,OAAO,EACL,cAAc,EACd,4BAA4B,EAC5B,0BAA0B,EAC1B,uBAAuB,EACvB,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChG,YAAY,EACV,mBAAmB,EACnB,UAAU,EACV,YAAY,EACZ,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,mBAAmB,GACpB,MAAM,eAAe,CAAC;AAcvB,OAAO,KAAK,EACV,gBAAgB,IAAI,qBAAqB,EACzC,SAAS,IAAI,cAAc,EAC3B,QAAQ,IAAI,aAAa,EACzB,gBAAgB,IAAI,qBAAqB,EACzC,OAAO,IAAI,YAAY,EACvB,QAAQ,IAAI,aAAa,EACzB,UAAU,IAAI,eAAe,EAC9B,MAAM,eAAe,CAAC;AAEvB,OAAO,CAAC,MAAM,QAAQ,EAAE,OAAO,MAAM,CAAC;AACtC,0DAA0D;AAC1D,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,8BAA8B,CAAC;CACrD;AAED,iEAAiE;AACjE,MAAM,MAAM,gBAAgB,GAAG,qBAAqB,GAAG,OAAO,CAAC;AAC/D,wCAAwC;AACxC,MAAM,MAAM,SAAS,GAAG,cAAc,GAAG,OAAO,CAAC;AACjD,oEAAoE;AACpE,MAAM,MAAM,QAAQ,GAAG,aAAa,GAAG,OAAO,CAAC;AAC/C,qCAAqC;AACrC,MAAM,MAAM,gBAAgB,GAAG,qBAAqB,GAAG,OAAO,CAAC;AAC/D,+BAA+B;AAC/B,MAAM,MAAM,OAAO,GAAG,YAAY,GAAG,OAAO,CAAC;AAC7C;;;;;;GAMG;AACH,MAAM,MAAM,mBAAmB,GAAG,qBAAqB,CAAC;AAExD,gCAAgC;AAChC,MAAM,MAAM,QAAQ,GAAG,aAAa,GAAG,OAAO,CAAC;AAC/C,kCAAkC;AAClC,MAAM,MAAM,UAAU,GAAG,eAAe,GAAG,OAAO,CAAC;AAKnD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAM7G,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACvD,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAKjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAKlD,OAAO,EACL,wBAAwB,EACxB,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAChB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AASzG,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,gBAAgB,EAChB,iBAAiB,EACjB,UAAU,EACV,kBAAkB,EAClB,oBAAoB,EACpB,aAAa,EACb,IAAI,EACJ,MAAM,EACN,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,GAAG,EACH,EAAE,EACF,GAAG,EACH,QAAQ,EACR,GAAG,EACH,GAAG,EACH,oBAAoB,EACpB,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,EAAE,EACF,QAAQ,EACR,aAAa,EACb,uBAAuB,EACvB,cAAc,EACd,oBAAoB,EACpB,cAAc,EACd,QAAQ,EACR,gBAAgB,EAChB,SAAS,GACV,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAQrD,OAAO,KAAK,iBAAiB,MAAM,iBAAiB,CAAC;AACrD,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,UAAU,EACV,cAAc,EACd,WAAW,GACZ,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAK5C,OAAO,EACL,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,sBAAsB,EACtB,mBAAmB,EACnB,2BAA2B,EAC3B,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,eAAe,EACf,eAAe,EACf,WAAW,EACX,aAAa,EACb,oBAAoB,EACpB,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,SAAS,EACT,QAAQ,EACR,OAAO,EACP,QAAQ,EACR,iBAAiB,EACjB,OAAO,EACP,SAAS,GACV,MAAM,sBAAsB,CAAC"}

package/dist/index.js

@@ -26,9 +26,10 @@ export const SPEC_VERSIONS = {
     template: 1,
     plan: 1,
     canonical: 2, // v2: obj 値の __proto__ own key を FORBIDDEN_KEY に（fail-closed）
-    behavior: 3, // v3: first-class fanout node kind（deduped connection list-in fan-out）。v1/v2 IR の意味論は不変（additive）
-    guard: 1, // 初版（bc#25: assertPortableComponentGraph の accept/reject を vector-pin）
+    behavior: 4, // v4（#128/A6・SCP-only）: provenance token + 全ノード型確定を serialized-IR 不変条件に格上げ（released 3=fanout を retire）。v1–v3 意味論は不変だが、旧 runtime（behavior≤3）は新 IR を loud reject する（機構 = 生成モジュールの baked-spec-skew ゲート[EXPECTED_SPEC_VERSIONS.behavior vs runtime] + conformance pre-flight version fail-closed。validateEnvelope は envelope の specVersion「major.minor」文字列を見るのであって behaviorVersion 整数ではない）
+    guard: 2, // v2（#128/A6）: assertCompiled（出自ゲート）+ UNTYPED_NODE（全型確定）+ operator 型シグネチャ SSoT の accept/reject を vector-pin（v1 は bc#25 の可搬性 pin のみ）
     c2: 1, // 初版（bc#28: c2-catalog-swap — catalog-swap 実行 + IR 構造一致の 5 言語 pin）
+    provenance: 1, // 初版（#128/A6）: シリアライズ境界の canonical fingerprint 照合（改竄/stale の 5 言語 loud reject）+ 非空虚性（CONFORMANCE_MUTATE）
 };
 /** validateEnvelope に渡す graphddb 形式の既定 supported 版（`"<major>.<minor>"`）。 */
 export const ENVELOPE_SPEC_VERSION = "1.1";
@@ -46,10 +47,30 @@ export { validateEnvelope, EnvelopeFailure } from "./envelope.js";
 export { assertPortable, assertPortableComponentGraph, assertPortableTypeNotation, PORTABLE_EXPR_OPERATORS, PORTABLE_SCALAR_TYPES, PortabilityError, } from "./guard.js";
 // ── behavior（component-graph IR + runBehavior） ──────────────────────────────
 export { runBehavior, runBehaviorAsync, BehaviorFailure, fanoutDedupDrop } from "./behavior.js";
-// ── builder（データ登録 IF — model-driven consumer 向け, bc#26）───────────────
-export { buildComponentDefinition, BuilderFailure } from "./builder.js";
+// ── provenance（出自 token + fingerprint-gated loader — SA1/SA2/SA3/SA7）──────────
+// `fingerprintComponentGraph` は出自ゲート付きの公開版（provenance.ts）。生 JSON からの内部
+// fingerprint（loader / codegen core）は generator/fingerprint.ts の raw を直接使う。
+export { assertCompiled, loadCompiledIR, ProvenanceError, fingerprintComponentGraph } from "./provenance.js";
+// ── bind / run（登録 → 自動 bind + bind 時完全性ゲート — SA8, #126）─────────────────────
+// leaf impl は defineLeaf で 1 回登録 → compileBehaviors が捕捉 → bindBehaviors が完全性ゲート後に
+// 自動 dispatch。per-call handlers dict 手注入を廃止し、注入は ctx（環境境界）だけ（runBehavior は
+// test harness が scripted outcome を注入する低レベル primitive として残る）。
+export { bindBehaviors, BindFailure } from "./bind.js";
+// ── 全ノード型確定ゲート（UNTYPED_NODE — SA5, #125）─────────────────────────────
+// compileBehaviors の終端で全 body ノード + output（Φ 合成）の型が一意に確定していることを
+// 網羅検査する（未確定は fail-closed）。これが typed-native codegen の端まで型付きフラットを保証する。
+export { UntypedNodeError } from "./type-gate.js";
+// ── operator 型シグネチャ SSoT（閉じた式語彙の入出力型・expression-ir.md §3.1, #125/A3）──────
+// operator の入出力型を語彙レベルで宣言する唯一の源。出力型合成（type-gate.ts）が ad-hoc 分岐でなく
+// この宣言を**読む**ことで、consumer-interface.md §2.1 C3（BC は明示注記を読むだけ・推論しない）と整合する。
+export { OPERATOR_TYPE_SIGNATURES, operatorSignature, resolveOperatorResult, isValueOperator, } from "./expr-operator-types.js";
+// ── builder（データ登録 IF）は撤去済み（#127/A5・SCP-only・§SA6）──────────────────────
+// 生 IR をデータとして登録する route B（`buildComponentDefinition` / `ComponentDefinitionData` /
+// `BuildComponentDefinitionOptions` / `BuilderFailure` / `BuilderFailureCode`）は 0.8.0 で完全撤去した。
+// IR の唯一の正規生産者は compile seam（`compileBehaviors`）である。builder.ts に残る検証・正規化 core
+// （`buildComponentCore` 等）は `compileBehaviors` が委譲する **internal** 実装で、ここからは公開しない。
 // ── authoring（共有 SCP authoring surface — SemanticBehavior / @behavior, bc#24）──
-export { SemanticBehavior, behavior, compileBehaviors, catalogComponents, when, concat, add, sub, mul, div, mod, neg, eq, ne, lt, le, gt, ge, and, or, not, coalesce, len, opt, referencedComponents, classifyBehaviorEffect, AuthoringFailure, } from "./authoring.js";
+export { SemanticBehavior, behavior, compileBehaviors, catalogComponents, defineLeaf, behaviorComponents, catalogEntryFromLeaf, deriveCatalog, when, concat, add, sub, mul, div, mod, neg, eq, ne, lt, le, gt, ge, and, or, not, coalesce, len, opt, referencedComponents, classifyBehaviorEffect, AuthoringFailure, } from "./authoring.js";
 // ── conformance runner adapter 共通部 ─────────────────────────────────────────
 export { decodeValue, deepEquals } from "./codec.js";
 // ── codegen primitive surface（bc#36 / typed-codegen.md §3.4）──────────────────
@@ -63,5 +84,5 @@ export { mapWithConcurrency, unproducedValue, skipSingle, skipConnection, hydrat
 // ── generator（SCP Runtime Code Generation Layer — 共通 Generator, bc#13）─────
 // 可搬 IR のみを入力とする DSL 非依存の多言語 codegen（scp-ir-architecture.md §7.2–§7.4）。
 // 生成コードは既存 runtime-core API を呼ぶ薄い束ね（実行ロジックは生成しない）。
-export { generateModule, registerEmitter, registeredLanguages, GeneratorFailure, fingerprintComponentGraph, FingerprintFailure, typescriptEmitter, pythonEmitter, typescriptTypedEmitter, tsTypedMaterializer, assertStraightlineSupported, isStraightlineNode, buildTypePlan, deriveTypeRef, buildAsyncPlans, } from "./generator/index.js";
+export { generateModule, registerEmitter, registeredLanguages, GeneratorFailure, FingerprintFailure, typescriptEmitter, pythonEmitter, typescriptTypedEmitter, tsTypedMaterializer, assertStraightlineSupported, isStraightlineNode, buildTypePlan, deriveTypeRef, buildAsyncPlans, } from "./generator/index.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,gEAAgE;AAChE,oEAAoE;AACpE,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,UAAU,EAAE,CAAC,EAAE,6DAA6D;IAC5E,QAAQ,EAAE,CAAC;IACX,IAAI,EAAE,CAAC;IACP,SAAS,EAAE,CAAC,EAAE,8DAA8D;IAC5E,QAAQ,EAAE,CAAC,EAAE,kGAAkG;IAC/G,KAAK,EAAE,CAAC,EAAE,uEAAuE;IACjF,EAAE,EAAE,CAAC,EAAE,mEAAmE;CAClE,CAAC;AAEX,4EAA4E;AAC5E,MAAM,CAAC,MAAM,qBAAqB,GAAG,KAAc,CAAC;AAKpD,+EAA+E;AAC/E,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAG/H,+EAA+E;AAC/E,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGhF,+EAA+E;AAC/E,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAa1E,+EAA+E;AAC/E,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAG9F,+EAA+E;AAC/E,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGlE,+EAA+E;AAC/E,OAAO,EACL,cAAc,EACd,4BAA4B,EAC5B,0BAA0B,EAC1B,uBAAuB,EACvB,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAEpB,+EAA+E;AAC/E,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAwBhG,wEAAwE;AACxE,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAOxE,iFAAiF;AACjF,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,gBAAgB,EAChB,iBAAiB,EACjB,IAAI,EACJ,MAAM,EACN,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,GAAG,EACH,EAAE,EACF,GAAG,EACH,QAAQ,EACR,GAAG,EACH,GAAG,EACH,oBAAoB,EACpB,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AAUxB,8EAA8E;AAC9E,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAErD,gFAAgF;AAChF,kDAAkD;AAClD,kEAAkE;AAClE,4DAA4D;AAC5D,yEAAyE;AACzE,wDAAwD;AACxD,OAAO,KAAK,iBAAiB,MAAM,iBAAiB,CAAC;AACrD,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,UAAU,EACV,cAAc,EACd,WAAW,GACZ,MAAM,iBAAiB,CAAC;AAGzB,6EAA6E;AAC7E,wEAAwE;AACxE,mDAAmD;AACnD,OAAO,EACL,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,gBAAgB,EAChB,yBAAyB,EACzB,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,sBAAsB,EACtB,mBAAmB,EACnB,2BAA2B,EAC3B,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,eAAe,GAChB,MAAM,sBAAsB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,gEAAgE;AAChE,oEAAoE;AACpE,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,UAAU,EAAE,CAAC,EAAE,6DAA6D;IAC5E,QAAQ,EAAE,CAAC;IACX,IAAI,EAAE,CAAC;IACP,SAAS,EAAE,CAAC,EAAE,8DAA8D;IAC5E,QAAQ,EAAE,CAAC,EAAE,uXAAuX;IACpY,KAAK,EAAE,CAAC,EAAE,oIAAoI;IAC9I,EAAE,EAAE,CAAC,EAAE,mEAAmE;IAC1E,UAAU,EAAE,CAAC,EAAE,yGAAyG;CAChH,CAAC;AAEX,4EAA4E;AAC5E,MAAM,CAAC,MAAM,qBAAqB,GAAG,KAAc,CAAC;AAKpD,+EAA+E;AAC/E,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAG/H,+EAA+E;AAC/E,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGhF,+EAA+E;AAC/E,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAa1E,+EAA+E;AAC/E,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAG9F,+EAA+E;AAC/E,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGlE,+EAA+E;AAC/E,OAAO,EACL,cAAc,EACd,4BAA4B,EAC5B,0BAA0B,EAC1B,uBAAuB,EACvB,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAEpB,+EAA+E;AAC/E,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAqEhG,iFAAiF;AACjF,uEAAuE;AACvE,4EAA4E;AAC5E,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAE7G,8EAA8E;AAC9E,kFAAkF;AAClF,2EAA2E;AAC3E,8DAA8D;AAC9D,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAGvD,uEAAuE;AACvE,gEAAgE;AAChE,sEAAsE;AACtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAElD,4EAA4E;AAC5E,kEAAkE;AAClE,0EAA0E;AAC1E,OAAO,EACL,wBAAwB,EACxB,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAChB,MAAM,0BAA0B,CAAC;AAGlC,yEAAyE;AACzE,oFAAoF;AACpF,+FAA+F;AAC/F,8EAA8E;AAC9E,kFAAkF;AAElF,iFAAiF;AACjF,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,gBAAgB,EAChB,iBAAiB,EACjB,UAAU,EACV,kBAAkB,EAClB,oBAAoB,EACpB,aAAa,EACb,IAAI,EACJ,MAAM,EACN,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,GAAG,EACH,EAAE,EACF,GAAG,EACH,QAAQ,EACR,GAAG,EACH,GAAG,EACH,oBAAoB,EACpB,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AAcxB,8EAA8E;AAC9E,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAErD,gFAAgF;AAChF,kDAAkD;AAClD,kEAAkE;AAClE,4DAA4D;AAC5D,yEAAyE;AACzE,wDAAwD;AACxD,OAAO,KAAK,iBAAiB,MAAM,iBAAiB,CAAC;AACrD,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,UAAU,EACV,cAAc,EACd,WAAW,GACZ,MAAM,iBAAiB,CAAC;AAGzB,6EAA6E;AAC7E,wEAAwE;AACxE,mDAAmD;AACnD,OAAO,EACL,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,sBAAsB,EACtB,mBAAmB,EACnB,2BAA2B,EAC3B,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,eAAe,GAChB,MAAM,sBAAsB,CAAC"}

package/dist/provenance.d.ts

@@ -0,0 +1,102 @@
+/**
+ * provenance.ts — IR の出自（provenance）を保証する unforgeable compile capability（SA1/SA2/SA7）。
+ *
+ * scp-only-authoring-contract.md §5 の token 方式の実装。**この module だけ**が capability
+ * token を発行でき、consumer は forge 不能。IR（`ComponentGraphIR` handle）の唯一の正規生産者を
+ * compile seam（`compileBehaviors` とロード時 fingerprint-gated loader）に一本化する。
+ *
+ * ## 二層の門
+ *
+ * - **プロセス内 capability（token）— authoring 迂回の完全封鎖**
+ *   {@link COMPILED} は **module-private な `unique symbol`**。IR handle にこの symbol を鍵とする
+ *   非列挙・symbol-keyed プロパティ（token 参照）を刻む。consumer はこの symbol を参照できないため、
+ *   token を持つ値を**構築できない**（TS 型 = brand、実行時 = symbol 同一性）。{@link assertCompiled}
+ *   は `ir[COMPILED]` の同一性を O(1) で照合する（hot path 非依存）。→ 手組み IR（proposal 経路 B/C）は
+ *   authoring 時点で不可能。
+ *
+ * - **シリアライズ境界 fingerprint — 改竄/stale 検出**
+ *   token はプロセス内 capability ゆえ JSON 境界を越えない。JSON で届く IR（conformance vector /
+ *   cross-language / codegen fixture）は {@link loadCompiledIR} を通す。loader は canonical fingerprint
+ *   を**ロード時 1 回だけ**再計算・照合し（[[codegen-purity-no-ir-no-json]] / graphddb#315 の per-call
+ *   skew は禁止）、通ったものにだけプロセス内 token を再発行する。stale/改竄は loud reject。
+ *
+ * ## 不可視性（goldens / fingerprint を一切変えない）
+ *
+ * token は **`Object.defineProperty` で `enumerable:false` の symbol-keyed プロパティ**として刻む。
+ * `canonicalValue` / `canonicalJson` / `fingerprintComponentGraph` / `JSON.stringify` はいずれも
+ * `Object.keys`（列挙可能な文字列キー）しか見ないため、token は正準化・fingerprint・直列化に
+ * **一切現れない**。既存の goldens・fingerprint・5 言語境界 self-check は byte-for-byte 不変。
+ */
+import type { ComponentGraphIR as ComponentGraphIRShape } from "./behavior.js";
+import type { ComponentGraphIR } from "./index.js";
+/**
+ * BoundLeafImpl — レジストリに退避する leaf 実装“本体”の緩い runtime 型（`defineLeaf` の `fn`）。
+ * 第1引数 = 評価済み Port（batched dispatch では `{items:[…]}`）、第2引数 = 環境境界 `ctx`。
+ * 戻りは leaf の出力そのもの（`ExecOutcome` ではない — {@link bindBehaviors} の adapter が `{ok}` に包む）。
+ */
+export type BoundLeafImpl = (ports: any, ctx: any) => unknown;
+/** name→leaf impl のプロセス内レジストリ（IR handle の side-channel に退避する）。 */
+export type LeafImplRegistry = Record<string, BoundLeafImpl>;
+/**
+ * NON_COMPILED_IR — 出自ゲート（run/generate/fingerprint 入口）の fail-closed 失敗。
+ * un-tokened / hand-built / tampered IR を拒否する（0.8.0 end-state = fail-closed）。
+ */
+export declare class ProvenanceError extends Error {
+    code: "NON_COMPILED_IR";
+    constructor(message: string);
+}
+/**
+ * mintCompiled — 検証済みルート IR に token を刻んで opaque handle にする（**内部専用 seam**）。
+ *
+ * `compileBehaviors`（authoring.ts）と {@link loadCompiledIR}（境界 loader）の**両方**が使う
+ * 唯一の mint 点。export するが index.ts では公開しない（package の内部 API）。ここが唯一
+ * cast が許される seam である（brand は module-private symbol ゆえ型でも構築できないため）。
+ *
+ * token は `enumerable:false` の symbol-keyed プロパティとして刻む → 正準化・fingerprint・
+ * `JSON.stringify` に一切現れない（不可視性の要）。
+ *
+ * @param registry 省略可。`compileBehaviors` が捕捉した name→leaf impl のプロセス内レジストリ
+ *   （SA8）。渡された場合は token と**同じ非列挙 symbol-keyed 規律**で handle に退避する（IR 本体・
+ *   fingerprint・JSON には現れない = C4 不変）。境界 loader（{@link loadCompiledIR}）は JSON 由来で
+ *   impl を持たないため渡さない（codegen は静的リンク側の責務）。
+ */
+export declare function mintCompiled(ir: ComponentGraphIRShape, registry?: LeafImplRegistry): ComponentGraphIR;
+/**
+ * getLeafImplRegistry — compile 済み handle に退避された name→leaf impl レジストリを取り出す
+ * （**内部専用 seam** — {@link bindBehaviors} が自動 dispatch のために読む）。token 検証を通った
+ * handle にだけ問い合わせる前提。レジストリが無い（`loadCompiledIR` で adopt した境界 IR 等）は
+ * `undefined`（bind 側で「impl 未登録 = 完全性ゲート fail」に落ちる）。
+ */
+export declare function getLeafImplRegistry(ir: unknown): LeafImplRegistry | undefined;
+/**
+ * assertCompiled — 出自ゲート（SA7）。`ir` が compile seam を通った handle であることを
+ * O(1) で照合する。un-tokened / hand-built / tampered IR は `NON_COMPILED_IR` で loud reject。
+ *
+ * `runBehavior` / `runBehaviorAsync` / `generateModule` / `fingerprintComponentGraph` の入口に
+ * 必ず配置する（0.8.0 fail-closed end-state）。
+ */
+export declare function assertCompiled(ir: unknown): asserts ir is ComponentGraphIR;
+/**
+ * loadCompiledIR — シリアライズ境界の fingerprint-gated loader（SA3）。JSON で届いた IR
+ * ドキュメントを受け取り、canonical fingerprint を**ロード時 1 回だけ**再計算・照合してから
+ * プロセス内 token を再発行する。stale/改竄（期待 fingerprint 不一致）は loud reject。
+ *
+ * @param doc          JSON 由来の可搬 IR ドキュメント（token は持たない）。
+ * @param expectedFingerprint 省略可。compile 時に付いた canonical fingerprint。渡された場合は
+ *                     再計算値と一致することを要求し、不一致は改竄/stale として `NON_COMPILED_IR`
+ *                     で reject する（渡さない場合は「JSON→プロセス内 handle への adopt」として
+ *                     再計算のみ行い token を発行。fingerprint は返り値に含めない — 呼び出し側が
+ *                     境界越えで pin したいときに `fingerprintComponentGraph` で取得）。
+ * @returns token 済み opaque handle（`runBehavior`/`generateModule` にそのまま渡せる）。
+ */
+export declare function loadCompiledIR(doc: unknown, expectedFingerprint?: string): ComponentGraphIR;
+/**
+ * fingerprintComponentGraph — 公開の canonical fingerprint（出自ゲート付き）。
+ *
+ * consumer 向けの入口。`assertCompiled` を通した compile 済み handle にだけ fingerprint を
+ * 計算する（SA7）。手組み/無 token/改竄 IR は `NON_COMPILED_IR` で reject。境界越えの
+ * 生 JSON から fingerprint を得たい内部経路（{@link loadCompiledIR} / codegen core）は
+ * generator/fingerprint.ts の raw 実装を直接使う（gate を通さない）。
+ */
+export declare function fingerprintComponentGraph(ir: unknown): string;
+//# sourceMappingURL=provenance.d.ts.map

package/dist/provenance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.d.ts","sourceRoot":"","sources":["../src/provenance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,KAAK,EAAE,gBAAgB,IAAI,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAG/E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAwBnD;;;;GAIG;AAEH,MAAM,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,OAAO,CAAC;AAE9D,kEAAkE;AAClE,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;AAE7D;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,KAAK;IACxC,IAAI,EAAE,iBAAiB,CAAC;gBACZ,OAAO,EAAE,MAAM;CAK5B;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,YAAY,CAAC,EAAE,EAAE,qBAAqB,EAAE,QAAQ,CAAC,EAAE,gBAAgB,GAAG,gBAAgB,CAqBrG;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,OAAO,GAAG,gBAAgB,GAAG,SAAS,CAG7E;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,gBAAgB,CAS1E;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,mBAAmB,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAY3F;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,CAG7D"}

package/dist/provenance.js

@@ -0,0 +1,128 @@
+import { fingerprintComponentGraph as fingerprintRaw } from "./generator/fingerprint.js";
+// ── module-private capability symbol（forge 不能の核）─────────────────────────────
+/**
+ * COMPILED — compile seam だけが参照できる module-private な `unique symbol`。
+ * export しない。consumer はこの symbol を名指しできないため token を刻んだ値を構築できない。
+ */
+const COMPILED = Symbol("behavior-contracts/COMPILED");
+/**
+ * REGISTRY — compile seam だけが刻む module-private な `unique symbol`。IR handle に
+ * **name→leaf impl のプロセス内レジストリ**（`defineLeaf` の型付き静的関数）を side-channel で
+ * 括り付けるための鍵（SA8）。token（{@link COMPILED}）と**同じ非列挙・symbol-keyed の規律**で刻む
+ * ため、canonical / fingerprint / `JSON.stringify` には一切現れない ＝ **IR 本体には impl が載らない
+ * （C4 不変）**。consumer はこの symbol を名指しできないため registry を差し込めない。
+ *
+ * ここに impl を退避する理由: `runBehavior` の per-call `handlers` dict 手注入を廃し、
+ * `compileBehaviors` が捕捉した impl から BC が name→impl を自動 dispatch する（{@link bindBehaviors}）。
+ * impl は「プロセス内 capability」ゆえ token と同様シリアライズ境界を越えない（境界越えは codegen の
+ * 静的リンク or `loadCompiledIR` で impl 無しの IR を adopt する側の責務）。
+ */
+const REGISTRY = Symbol("behavior-contracts/REGISTRY");
+/**
+ * NON_COMPILED_IR — 出自ゲート（run/generate/fingerprint 入口）の fail-closed 失敗。
+ * un-tokened / hand-built / tampered IR を拒否する（0.8.0 end-state = fail-closed）。
+ */
+export class ProvenanceError extends Error {
+    code;
+    constructor(message) {
+        super(message);
+        this.code = "NON_COMPILED_IR";
+        this.name = "ProvenanceError";
+    }
+}
+/**
+ * mintCompiled — 検証済みルート IR に token を刻んで opaque handle にする（**内部専用 seam**）。
+ *
+ * `compileBehaviors`（authoring.ts）と {@link loadCompiledIR}（境界 loader）の**両方**が使う
+ * 唯一の mint 点。export するが index.ts では公開しない（package の内部 API）。ここが唯一
+ * cast が許される seam である（brand は module-private symbol ゆえ型でも構築できないため）。
+ *
+ * token は `enumerable:false` の symbol-keyed プロパティとして刻む → 正準化・fingerprint・
+ * `JSON.stringify` に一切現れない（不可視性の要）。
+ *
+ * @param registry 省略可。`compileBehaviors` が捕捉した name→leaf impl のプロセス内レジストリ
+ *   （SA8）。渡された場合は token と**同じ非列挙 symbol-keyed 規律**で handle に退避する（IR 本体・
+ *   fingerprint・JSON には現れない = C4 不変）。境界 loader（{@link loadCompiledIR}）は JSON 由来で
+ *   impl を持たないため渡さない（codegen は静的リンク側の責務）。
+ */
+export function mintCompiled(ir, registry) {
+    // 既に正当な token を持つ handle の再 mint は no-op（`configurable:false` の二重定義を避ける）。
+    // 「adopt 済み handle を再 adopt」は冪等であるべき（同一 IR オブジェクトの複数回消費を許す）。
+    if (ir[COMPILED] !== COMPILED)
+        Object.defineProperty(ir, COMPILED, {
+            value: COMPILED,
+            enumerable: false,
+            writable: false,
+            configurable: false,
+        });
+    // レジストリを token と同じ非列挙 symbol-keyed 規律で退避（impl は IR に載らない = C4）。
+    // configurable:true にしておき、同一 IR オブジェクトへの再 mint（レジストリ差し替え）を許す。
+    if (registry !== undefined)
+        Object.defineProperty(ir, REGISTRY, {
+            value: registry,
+            enumerable: false,
+            writable: false,
+            configurable: true,
+        });
+    // 唯一の内部 mint seam: unbranded shape → opaque branded handle（brand は phantom）。
+    return ir;
+}
+/**
+ * getLeafImplRegistry — compile 済み handle に退避された name→leaf impl レジストリを取り出す
+ * （**内部専用 seam** — {@link bindBehaviors} が自動 dispatch のために読む）。token 検証を通った
+ * handle にだけ問い合わせる前提。レジストリが無い（`loadCompiledIR` で adopt した境界 IR 等）は
+ * `undefined`（bind 側で「impl 未登録 = 完全性ゲート fail」に落ちる）。
+ */
+export function getLeafImplRegistry(ir) {
+    if (ir === null || typeof ir !== "object")
+        return undefined;
+    return ir[REGISTRY];
+}
+/**
+ * assertCompiled — 出自ゲート（SA7）。`ir` が compile seam を通った handle であることを
+ * O(1) で照合する。un-tokened / hand-built / tampered IR は `NON_COMPILED_IR` で loud reject。
+ *
+ * `runBehavior` / `runBehaviorAsync` / `generateModule` / `fingerprintComponentGraph` の入口に
+ * 必ず配置する（0.8.0 fail-closed end-state）。
+ */
+export function assertCompiled(ir) {
+    if (ir === null ||
+        typeof ir !== "object" ||
+        ir[COMPILED] !== COMPILED)
+        throw new ProvenanceError("IR was not produced by compileBehaviors() (or a fingerprint-gated loader): missing/invalid provenance token — hand-built, un-tokened, or tampered IR is rejected (NON_COMPILED_IR, fail-closed). Author behavior via SemanticBehavior + compileBehaviors, or load serialized IR through loadCompiledIR().");
+}
+/**
+ * loadCompiledIR — シリアライズ境界の fingerprint-gated loader（SA3）。JSON で届いた IR
+ * ドキュメントを受け取り、canonical fingerprint を**ロード時 1 回だけ**再計算・照合してから
+ * プロセス内 token を再発行する。stale/改竄（期待 fingerprint 不一致）は loud reject。
+ *
+ * @param doc          JSON 由来の可搬 IR ドキュメント（token は持たない）。
+ * @param expectedFingerprint 省略可。compile 時に付いた canonical fingerprint。渡された場合は
+ *                     再計算値と一致することを要求し、不一致は改竄/stale として `NON_COMPILED_IR`
+ *                     で reject する（渡さない場合は「JSON→プロセス内 handle への adopt」として
+ *                     再計算のみ行い token を発行。fingerprint は返り値に含めない — 呼び出し側が
+ *                     境界越えで pin したいときに `fingerprintComponentGraph` で取得）。
+ * @returns token 済み opaque handle（`runBehavior`/`generateModule` にそのまま渡せる）。
+ */
+export function loadCompiledIR(doc, expectedFingerprint) {
+    if (doc === null || typeof doc !== "object" || Array.isArray(doc))
+        throw new ProvenanceError("loadCompiledIR: input must be a portable component-graph IR document (fail-closed)");
+    // ロード時 1 回だけ fingerprint を再計算（per-call skew は禁止 — graphddb#315 型のバグ）。
+    const actual = fingerprintRaw(doc);
+    if (expectedFingerprint !== undefined && actual !== expectedFingerprint)
+        throw new ProvenanceError(`loadCompiledIR: fingerprint mismatch (expected ${expectedFingerprint}, recomputed ${actual}) — serialized IR is stale or tampered (NON_COMPILED_IR, fail-closed)`);
+    return mintCompiled(doc);
+}
+/**
+ * fingerprintComponentGraph — 公開の canonical fingerprint（出自ゲート付き）。
+ *
+ * consumer 向けの入口。`assertCompiled` を通した compile 済み handle にだけ fingerprint を
+ * 計算する（SA7）。手組み/無 token/改竄 IR は `NON_COMPILED_IR` で reject。境界越えの
+ * 生 JSON から fingerprint を得たい内部経路（{@link loadCompiledIR} / codegen core）は
+ * generator/fingerprint.ts の raw 実装を直接使う（gate を通さない）。
+ */
+export function fingerprintComponentGraph(ir) {
+    assertCompiled(ir);
+    return fingerprintRaw(ir);
+}
+//# sourceMappingURL=provenance.js.map

package/dist/provenance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.js","sourceRoot":"","sources":["../src/provenance.ts"],"names":[],"mappings":"AAiCA,OAAO,EAAE,yBAAyB,IAAI,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAEzF,+EAA+E;AAC/E;;;GAGG;AACH,MAAM,QAAQ,GAAkB,MAAM,CAAC,6BAA6B,CAAC,CAAC;AAEtE;;;;;;;;;;;GAWG;AACH,MAAM,QAAQ,GAAkB,MAAM,CAAC,6BAA6B,CAAC,CAAC;AAatE;;;GAGG;AACH,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACxC,IAAI,CAAoB;IACxB,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;QAC9B,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,YAAY,CAAC,EAAyB,EAAE,QAA2B;IACjF,0EAA0E;IAC1E,6DAA6D;IAC7D,IAAK,EAAyC,CAAC,QAAQ,CAAC,KAAK,QAAQ;QACnE,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE;YAClC,KAAK,EAAE,QAAQ;YACf,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,KAAK;YACf,YAAY,EAAE,KAAK;SACpB,CAAC,CAAC;IACL,gEAAgE;IAChE,8DAA8D;IAC9D,IAAI,QAAQ,KAAK,SAAS;QACxB,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE;YAClC,KAAK,EAAE,QAAQ;YACf,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,KAAK;YACf,YAAY,EAAE,IAAI;SACnB,CAAC,CAAC;IACL,6EAA6E;IAC7E,OAAO,EAAsB,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAW;IAC7C,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC5D,OAAQ,EAA8B,CAAC,QAAQ,CAAiC,CAAC;AACnF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,EAAW;IACxC,IACE,EAAE,KAAK,IAAI;QACX,OAAO,EAAE,KAAK,QAAQ;QACrB,EAA8B,CAAC,QAAQ,CAAC,KAAK,QAAQ;QAEtD,MAAM,IAAI,eAAe,CACvB,2SAA2S,CAC5S,CAAC;AACN,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,GAAY,EAAE,mBAA4B;IACvE,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAC/D,MAAM,IAAI,eAAe,CACvB,oFAAoF,CACrF,CAAC;IACJ,sEAAsE;IACtE,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,mBAAmB,KAAK,SAAS,IAAI,MAAM,KAAK,mBAAmB;QACrE,MAAM,IAAI,eAAe,CACvB,kDAAkD,mBAAmB,gBAAgB,MAAM,uEAAuE,CACnK,CAAC;IACJ,OAAO,YAAY,CAAC,GAA4B,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CAAC,EAAW;IACnD,cAAc,CAAC,EAAE,CAAC,CAAC;IACnB,OAAO,cAAc,CAAC,EAAE,CAAC,CAAC;AAC5B,CAAC"}

package/dist/type-gate.d.ts

@@ -0,0 +1,63 @@
+/**
+ * type-gate.ts — 全ノード型確定ゲート（`UNTYPED_NODE` — SA5・scp-only-authoring-contract §4.4, #125）。
+ *
+ * `compileBehaviors` の終端で、**全 body ノードの出力型**と **`output`（Φ 合成）の全フィールド型**が
+ * 一意に確定していることを網羅検査する（未確定が一つでもあれば fail-closed で `UNTYPED_NODE`）。
+ * これが typed-native（go/rust）codegen が端まで型付きフラット（boxed `Value` へ落ちない）である
+ * ことを保証する構造条件（consumer-interface.md §2.3 / bc#77 `isFullyTyped` と同一基準）。
+ *
+ * ## 「確定（determined）」の定義（BC は推論しない — consumer-interface.md C3）
+ *
+ * ゲートは型を **導出（infer）しない**。既に consumer が確定させた型が **PRESENT かつ resolvable** で
+ * あることを検査する（proposal §4.4「BC が強制するのは『確定していること』であって『型を導出すること』
+ * ではない」）:
+ *
+ *   - **body ノード**: 各ノード（componentRef / map / cond / fanout）が resolvable な `outType` を持つ。
+ *     base 型は leaf の catalog `elemType`（A1 の `defineLeaf` 由来。`recordComponentCall` が `.as` 未指定時に
+ *     ノードへ焼く）から、projection/合成点は `.as<T>()`（A1）で上書き確定させる。どちらも無い（`outType`
+ *     欠落）ノードは `UNTYPED_NODE`。
+ *   - **`output`（Φ 合成）**: object 合成の**全フィールド**が確定型へ resolvable であること。フィールドの
+ *     多くは body ノード結果参照（`{ref:[nodeId, …path]}`）で、確定済み `outType` を path で辿って解決する
+ *     （＝既に確定した型の構造的伝播であって推論ではない）。解決できないフィールドは `UNTYPED_NODE`。
+ *
+ * ## `outputType` の合成（構造伝播 + 宣言 operator シグネチャの適用・非推論）
+ *
+ * ゲートは検査と同時に、確定済みノード型から `output` 式を辿って component の `outputType` を組み立てる
+ * （compile 産 IR を「全ノード + component が型付き」= `isFullyTyped` にし、native codegen の入力に
+ * できる状態にする）。これは新しい型を推論するのではなく、consumer が確定させた型（`.as`/catalog）と、
+ * **operator 語彙レベルで明示宣言された型シグネチャ**（`expr-operator-types.ts` の SSoT）を `output` の
+ * 配線どおりに合成するだけ。operator の結果型を `resolveExprType` に ad-hoc な per-operator 分岐で
+ * 埋め込むのではなく、`operatorSignature` / `resolveOperatorResult` で **宣言テーブルを読む**——これが
+ * consumer-interface.md §2.1 C3「BC は明示注記を読むだけ・推論しない」との整合（operator シグネチャが
+ * 語彙レベルの明示注記であり、結果型はその決定的な適用）。owner 決定（#125/A3）で規範確定。
+ *
+ * gate は `compileBehaviors` にのみ置く。`loadCompiledIR`（境界 loader・A2）が受ける生 JSON は
+ * **既に compile 済みの artifact** で `compileBehaviors` を通らないため、このゲートは適用しない
+ * （conformance vector の再ペイントを避ける — #128/A6 スコープ）。
+ */
+import type { Component, PortableType } from "./behavior.js";
+/**
+ * UntypedNodeError — 型未確定ノード/フィールドを検出したときの fail-closed 失敗（SA5・0.8.0 end-state）。
+ * offending なノード id / メソッド / フィールドを message で名指す。
+ */
+export declare class UntypedNodeError extends Error {
+    code: "UNTYPED_NODE";
+    constructor(message: string);
+}
+/**
+ * canonicalizeType — 導出 PortableType の obj field キーを code-point 順に再構築する
+ * （builder.ts の canonicalizeDeep と同じ規律。golden/fingerprint の決定性のため component の
+ * 他フィールドと同じ正準形に揃える）。
+ */
+export declare function canonicalizeType(t: PortableType): PortableType;
+/**
+ * assertAllNodeTypesDetermined — component の全ノード型確定を網羅検査し（未確定は `UNTYPED_NODE`）、
+ * 確定済みノード型から `output`（Φ 合成）を辿って `outputType` を導出して返す（構造伝播・非推論）。
+ *
+ * @param comp   canonical 化済み `Component`（body ノードは `outType` 注記を持ち得る）。
+ * @param method 名指し用のメソッド名（＝ component 名）。
+ * @returns      導出した `outputType`（PortableType）。全フィールドが確定したときのみ返る。
+ * @throws {UntypedNodeError} 型未確定のノード/フィールドがあるとき（offending を名指す）。
+ */
+export declare function assertAllNodeTypesDetermined(comp: Component): PortableType;
+//# sourceMappingURL=type-gate.d.ts.map

package/dist/type-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-gate.d.ts","sourceRoot":"","sources":["../src/type-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAc,MAAM,eAAe,CAAC;AAOzE;;;GAGG;AACH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,cAAc,CAAC;gBACT,OAAO,EAAE,MAAM;CAK5B;AAwJD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,YAAY,GAAG,YAAY,CAO9D;AAID;;;;;;;;GAQG;AACH,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,SAAS,GAAG,YAAY,CA2B1E"}