用語集 — ActQL Docs

主要な技術用語と、理解を助けるための役割名を、1語1行で説明します。仕様上の正確な意味は仕様に従います。両者が食い違うときは仕様が正です。

用語	意味
作者（Author）	プログラムを書く人、またはエージェント。
Capability	Connectorがそのシステムについて提供できること。対応する読み取りと書き込み、そのシステム自身が計算できること。プッシュダウンの根拠になる。許可ではない。
Carrier	演算が扱う、型付きのコレクションの種類。Relation、Graph、Vectors、Eventsの4つ。テーブル以外のデータを参照。
Checkpoint	保護された処理が判断を待つための、永続的な停止地点。何を判断するかと、Runをどう続けるかが固定される。Runが始まる前の準備段階でも起こりうる。
CID	正規化した内容から計算する識別子。プログラムの意味、Plan、観測、プレビューをそれぞれ区別する。
Connector	ActQLを1つの外部システムにつなぐ部品。読み取り元、Capability、Effectを宣言する。
Core	ActQLのうち、プログラムの意味を担当する部分。検査、計画、計算を行い、Runの状態遷移を持つ。
判断の委譲先（Decider）	delegateされたポリシーの判断に答えるもの。人、自動のルール、承認用のアプリ、またはその組み合わせ。
Effect	外部システムの状態を変える、宣言された操作。更新、追加、削除、型付きのコマンド、保存など。適用にはHostの許可が必要。
Effectの結果（Effect outcome）	Effectのために送った操作1つがどうなったか。`applied`、`accepted`、`failed`、`unknown` のどれか。送らなかった項目は `unattempted`、失敗後に取り消した項目は `rolled_back`。複数の項目を持つEffectは項目ごとに結果を記録し、一部だけ適用された状態で終わることもある。
ガード（Guard）	システムやHostが決める上限に加えて、作者がプログラムに足す上限。
Host	あなたの環境でActQLを動かし、ポリシー、認証情報、Storeを管理する部分。アプリへの組み込み、CLIの裏、サーバーなどの形があり、ActQL CloudはマネージドなHost。
INFER	各レコードの、model taskで指定した入力をLLMに渡し、レコードごとに型の付いた答えを返す句。
Invocation	1つの計算単位への、意味上の入力。束縛した値、依存する定義、取り込んだ観測を固定したもの。複数のStageを持つプログラムでは、Stageごとに1つ。
上限（Limit）	件数、バイト数、呼び出し回数、Effectなど、量に対する上限。対象の処理を始める前に確定し、超えた処理はエラーで失敗する。
model task	LLMに何を頼むかを定めた、バージョン付きの定義。指示、入力の型、出力の型を持つ。プログラムは `INFER` で名前で参照する。
運用者（Operator）	Hostを動かし、接続、認証情報、ポリシーを設定する人。
Plan（計画）	検査済みのプログラムからCoreが組み立てる実行契約。演算、型、外部とやり取りする境界、上限。各部分を物理的にどこでどう実行するかは、その意味を保つ範囲で選ばれる。
ポリシー（Policy）	ユーザー、接続、リソース、操作ごとに、読み取り、LLMの呼び出し、Effectを allow、deny、delegate のどれにするかを答えるHostの設定。
プレビュー（Preview）	Effectが適用しようとする対象と変更内容を、記録された結果から固定したもの。書き込む前に作られる。いまの値まで見えるかはConnectorの能力による。
プログラム（Program）	ActQLで書くひとまとまりの処理。読み取り、計算、LLMの呼び出し、Result、Effectを含む。
プッシュダウン（Pushdown）	処理の一部を、データを持つ外部システム側で実行させること。結果、失敗時の振る舞い、権限、観測するデータの範囲がすべて変わらない場合に限る。
突き合わせ（Reconciliation）	RunやEffectの不明な結果を、元の操作の証拠から確定させること。解決できないこともある。証拠なしに再送することはない。
Result	プログラムが公開する、名前付きの出力。保持され、必要な権限を持つ呼び出し元や後続の処理から読める。
Run	プログラムの1回の実行と、その永続的な記録。何を読み、どんな応答を受け取り、何を送り、何を判断したか。
読み取り元（Source）	プログラムがデータを読む先。ConnectorのSourceView、またはローカルでプログラムに渡した型付きのデータ。
SourceView	Connectorが1つのリソースについて公開する、バージョン付きの契約。型、読み取り方、制約を定める。
Stage	プログラムを構成する、有限の処理単位。後続のStageは、先行するStageのResultや受領記録を使える。
Store	実行と復旧に必要なものをHostが保持する場所。Runの状態、観測、Result、Checkpoint、Effectの台帳。