kineti

Kineti 0.6.1 ネイティブゲート候補

記録を確認し、変更された入力を検出し、証拠または報告された支出がポリシーに違反した場合に、対象となる CI コマンドをブロックします。

0.6.1 は、Linux と macOS、x64 と arm64 を対象とする未リリースの修正候補です。公開に先立ち、ソース、バイナリ、インストール済みパッケージそのものについて新たに受け入れ確認を行い、その後、成果物と会計について別途承認する必要があります。kineti-cli は、従来のアシスタント系統からこのゲートへ移行します。以前に公開されたリリースは引き続き利用できます。ハーネスの実行、モデルのルーティング、委任、スウォーム、ダッシュボード、メモリ、評価サービス、保護された書き込みは、現行製品から削除されています。

インストールと初期化

0.6.1 の公開が承認された後、次のいずれかの方法でインストールします。

Cargo（インストールには Rust が必要です）：

cargo install kineti-cli --version '=0.6.1' --locked

npm（インストールには Node と有効なインストールスクリプトが必要です）：

npm install -g [email protected]

すでに公開されている 0.6.0 パッケージも引き続き利用できます：Cargo 0.6.0 および npm 0.6.0。 日付付きの 0.6.0 公開および受け入れ確認の証拠については、GitHub リリース とリリース完了報告を参照してください。この承認と成果物は、0.6.1 の受け入れ確認を示すものではありません。

プロジェクトディレクトリから、明示した目標を指定して初期化のプレビューを表示します。

kineti init --goal "Your explicit project goal"

プレビューを確認してから、初期化を適用します。

kineti init --goal "Your explicit project goal" --apply

インストール済みの実行ファイルは Node も Bun も必要としません。npm パッケージにはチェックサム付きバイナリが 4 つ含まれています。インストール時にそのうち 1 つを検証して選択し、未使用のペイロードを削除します。スクリプトが無効になっている場合は、明示的なインストールエラーになります。

ソースから実行する場合は、cargo run --manifest-path core-native/Cargo.toml -p kineti-cli --bin kineti -- を使用します。

init は変更内容、保存先、バックアップをプレビューします。--apply の前に確認してください。新しいプロジェクトには明示的な目標が必要です。既存のロック済み目標と過去の記録はそのまま保持されます。不足しているフィールドは初期化できます。破損した記録の修復には、別途確認が必要です。Codex が検出された場合、init はネイティブ MCP 登録と 1 つのインストラクションスキルを提案します。--codex-home <directory> を指定すると、保存先を明示できます。繰り返し実行しても無関係な設定は保持され、編集済みの管理対象設定は拒否されます。init --uninstall --apply は管理対象の連携コンテンツを削除し、プロジェクトの記録は保持します。変更後は、既存の Codex セッションを再起動してください。Cursor と Antigravity の設定は保持されますが、この候補版ではそれらのホストは検証されていません。ネイティブツールの自動インターセプト機能はありません。日付付きの 0.6.0 Codex 連携チェックが対象とするのは 0.163.0-alpha.11.2 と安定版 0.164.0 のみです。間にあるバージョンがサポート対象であることを示すものではありません。新たに実施する 0.6.1 のホストチェックでは、新しい実行ファイルと正確な Codex バージョンを特定する必要があります。

記録とチェック

kineti test run --label tests --required-test tests -- cargo test
kineti test check --label tests --expect-argv '["cargo","test"]'
kineti ci --require-evidence tests
kineti spend log --stage build --model reported --tokens-in 0 --tokens-out 0 --usd 0.25
kineti spend check
kineti undo push --label cleanup -- rm generated-file
kineti undo rollback
kineti undo rollback --yes
kineti self-test

必須ラベルは .kineti/gate.json で設定するか、明示的に渡してください。必須チェックが空の場合、合格にはなりません。--evidence-commands <json-file> は、各ラベルを正確な argv 配列に関連付けます。--env-name NAME は、関連する環境入力を宣言します。PATH はデフォルトで関連付けられます。レシートには、プロジェクト入力、依存関係ファイル、ランタイムの識別情報、正確な引数、宣言された環境、セッション参照、観測結果が関連付けられます。コマンドは構造化 JSON を出力します。明示的な --json も使用できます。evidence と saga は引き続きエイリアスとして利用できます。削除されたコマンドは、明示的にエラーになります。

verify は、コマンドハッシュの信頼確認後、宣言されたコマンドのみを実行します。verify --status と、対話形式の verify --trust を使用してください。他のコマンドをインターセプトすることはありません。CI は証拠、プロジェクトのゲート、報告された支出ポリシーをチェックします。

信頼性と復旧

有効な署名があっても、テストが誠実に実行されたことの証明にはなりません。コマンドは合格した要約を捏造できます。セルフテストはこの限界を示します。ローカルキーでは、同じアカウントを使う攻撃者から保護できません。ネイティブのレシートでは kineti-canonical-v2 を使用します。レガシー署名では、元の JavaScript シリアライズを使用します。マークのない過去の v3 レシートも、元の署名形式を保持しています。レガシーの証跡は読み取り可能で、署名を検証できますが、サポート対象外のレガシーランタイム／パーサーの鮮度では、ネイティブゲートを許可できません。移行後に、新しいネイティブチェックを実行してください。

支出は会計上の報告であり、プロバイダーの請求額を検証するものではありません。米ドルの百万分の一単位を使用し、合計／ステージの停止上限を 95％とします。設定した安全係数がこれより低い場合は、それより早く支出が停止することがあります。設定によって 95％の停止上限を引き上げることはできません。破損、不明なコスト、未解決の予約がある場合は、安全のため処理を停止します。リセットには監査対象の --i-am-human による確認が必要です。このフラグは人間が操作したことを証明せず、利用可能な余地を増やすこともできません。

spend recover は復旧内容をプレビューします。--source と --evidence を指定して、プロジェクト内に保持されているスナップショットを選択してください。適用するには、レビュー済みの正確な --proposal-sha256、--apply、--i-am-human が必要です。オリジナルは変更されず、バックアップが作成されます。別個の復旧ビューと解決履歴が記録されます。不明なレコードが消去されることはありません。ネイティブチェーンの損傷には、調査が必要です。不完全な復旧、改変された復旧履歴、レビュー済みの復旧ビューへの変更がある場合は、調査されるまで会計処理がブロックされます。

取り消しでは意図と完了が記録され、新しいものから順に実行されます。また、確実な失敗があっても処理を続けます。中断により結果が不確かな場合は、undo resolve --action-id ID --outcome applied|not-applied --yes で調査して解決するまで、再実行がブロックされます。履歴ガードが中断された場合、undo inspect で正確なバイト列をプレビューできます。undo inspect --expected-sha256 HASH --yes を実行すると、レビュー済みの調査が記録され、バイト単位のバックアップが保持されます。これによって、結果が不確かなアクションが解決されることはありません。後続の書き込みをアトミックに許可する機能や、保護された書き込みを保証する機能はありません。

受け入れ

凍結済みの 0.6.0 契約、 動作マップと終了コード、および 日付付き証跡マトリックスは、動作と会計のベースラインを保持します。所有者は別途、0.6.1 の準備を選択しています。その正確なアーティファクトには、新たな受け入れと個別の公開承認が必要です。各ルートの最終インストール済みファイルは、初期統合アセットを含め、ターゲットごとに 10,000,000 bytes 未満でなければなりません。ダウンロードサイズとパッケージ展開後のサイズは別です。未計測のプラットフォームサイズについては主張しません。

終了コード：0 成功、1 コマンド／チェックの失敗または不完全な取り消し、2 無効な入力、3 支出／整合性／復旧の停止、証跡は 4 古い、5 不足、6 サポート対象外のレガシー、7 無効／信頼されていないもの、verify は 9 コマンドの不足／信頼されていないコマンドです。

日付付きの過去の結果は、過去の 631 件のテスト結果を含め、新しいテストスイートの一覧とは別です。過去のドキュメントと Git 履歴は引き続き参照できますが、現在の製品保証ではありません。

運用上の evidence check の結果では、テストゲートを許可できません。テストチェックと CI にはテストレシートが必要です。宣言されたラベルコマンドは、既定のテストコマンドより優先されます。運用チェックが既定のテストコマンドを引き継ぐことはありません。値を取るオプションには --name=value を使用できます。-- の後の引数は、空の引数も含め、正確に保持されます。