Veripsa Core はじめ方

一度インストールしたら、あとは普段どおり作業します。該当する GitHub 上の動きに Veripsa が自動で反応します。

GitHub から Veripsa Core をインストールします。インストール時に、App がアクセスできるリポジトリを選びます。1 つのリポだけ、選んだ複数、または全リポジトリのいずれでも構いません。App が使うのは助言型チェックに必要な最小限の運用メタデータだけです。ソースファイル本文は保存・表示・コードレビュー用途に利用しません。データ境界の全文は プライバシーポリシー を参照してください。

次に起きること。 デフォルトブランチへの最初の push (または静かなリポでインストール直後の場合は、次にあなたが行う push) で、Veripsa Core が main からアドバイザリー用の文脈を準備します。処理時間はリポのサイズや GitHub の配送タイミングに左右されます。処理が終わるまで、新しい PR は一時的に Unknown と表示されることがあります。これは想定どおりです。

やること。 特別なことはありません。普段どおり作業を続けてください。対象の PR にはインストール後にチェックがつき、エージェント側の設定や PR ごとのコマンド手順は必要ありません。

いつもどおりに pull request を開きます。ほどなく Veripsa Core が PR にチェックを投稿します。チェックは 4 つの状態のいずれかを返し、既定ではアドバイザリーです — 観測した内容を伝えるもので、必ず従わなければならない指示ではありません。

• Clear. このリポジトリで Veripsa Core から見えている他の open PR との衝突は見つかりませんでした。
• Heads up（念のため確認）. この PR は別の open PR と衝突する可能性があります。マージ前に一度確認しておく価値があります。
• Wait in line（列に並ぼう）. 強い衝突リスクが見えているため、Veripsa Core はこの PR を重なっている作業の後ろに並べることを提案します。これは提案であり、単独でハードブロックすることはありません。
• Unknown. Veripsa Core では判定できません。コメントには理由が明示されます: (a) PR が main にまだない新規パスを追加していて、比較対象がない、または (b) ファイルが、Veripsa Core がまだ対応していない言語/ファイルタイプである、のいずれかです。(3 つ目の短命なケース — インストール直後の ingest がまだ温まっていない — は自動で解消します。)Unknown は正直な「分からない」のサインであり、衝突がないという主張ではありません。

やること。 判定を読みます。チェックをクリックして、どの作業と重なりそうか、どう扱うべきかを確認してください。通常の助言型利用に CLI コマンドや acknowledgement は不要です。自分のリポで十分な例を見るまでは、required gate に切り替えないでください。

中心になるのは、open な PR が 2 つ、同時に関連するコードに触れている場面です。そのとき Veripsa Core は両方の PR にそれを可視化し、アドバイザリーなマージ順を提案できます。たとえば一方を先にマージし、もう一方を rebase してから再チェックする、という流れです。

やること。 推奨順序は判断材料として使ってください。待つ、rebase する、既存のマージ手順を続ける、のいずれも選べます。1 回の例だけで方針は変えないでください。

正直な留保。 Veripsa Core は各リポジトリ内で pull request を調整します — あるリポの PR が、別のリポの PR に対して警告を出すことはありません。同じ GitHub アカウントが所有していても同様です。衝突がリポをまたぐ場合、App は現時点ではまだ役立てません。リポジトリ間の調整は将来のロードマップに含まれており、現時点での提供範囲ではありません。

これはインストール手順ではなく、通常の助言型利用には不要です。Wait in line を意図的に越えたことをチームで記録したい場合、明示的な GitHub ラベルによる acknowledgement を利用できます。

人間が具体的な重なりを確認し、マージすると判断したあとで、pull request に veripsa-ack ラベルを付け、その判断を記録します。これは例外シグナルであり、PR ごとの定例操作ではありません。

• 意味. このラベルは「この時点の衝突状況のスナップショットを確認したうえで、マージすると決めた」という意味です。承認 (approval) ではなく、認識 (acknowledgement) です。衝突が解決した、もう一方の PR が追従する、コードレビューが完了した、といったことを主張するものではありません。
• 再可視化. ack 後に重なっている作業が変わった場合、Veripsa Core は再び競合を可視化し、改めて acknowledgement を求めることができます。
• 見える化. ack は PR ごとの操作で、リポへの write 権限を持つ人が付けます。意図的に可視であることを目的とした設計です — ラベルが PR の履歴に残るため、レビュアーや後から読む人は、Wait in line が意図的に override されたことを確認できます。

使う場面。 チームが監査可能な override を意図的に残したい場合だけです。待つ、rebase する、既存の助言型フローを続けるために ack の儀式は必要ありません。

既定では Veripsa Core はアドバイザリーです: チェックを投稿し、あなたが読んで、あなたが判断します。マージのゲートにする前に、自分の repo で複数の判定例を確認してください。

Veripsa Core をマージのハードゲート — PR をマージするために必ず通る required check — にしたい場合だけ、App ではなく GitHub ruleset または branch protection で設定します。Veripsa 単独でマージボタンをブロックすることはありません。スイッチを入れる前に以下を確認してください。

• プラン依存. Private リポジトリでの branch protection は Pro / Team / Enterprise プランで利用でき、Free では利用できません。Free では private リポでチェックは常にアドバイザリーで、public リポでは required としてマークできます。マトリクスはメインのドキュメントページに記載されています。
• ack が安全弁. チェックを required にすると、Wait in line は veripsa-ack ラベルを付けるまでマージをブロックするシグナルになります。ラベルが存在すること、その意味 (承認ではなく acknowledgement)、誰がそれを使うことになるのかを、チームが理解しているか確認してください。
• Unknown は required でもアドバイザリー. Unknown はチェックを「単独ではマージをブロックしない」状態として解決します — その PR は通常どおりレビューします。required check の設定は Unknown をハードブロックには変えません。それは正直さを罰することになるからです。
• マージキュー. GitHub のマージキューを使っている場合、Veripsa Core はバッチコミットを再チェックし、キューエントリに対してアドバイザリーな判定を返すため、required な Veripsa チェックがキューをデッドロックすることはありません。関連するイベントはメインのドキュメントページ「Webhook とイベントの範囲」の節を参照してください。

正直な既定姿勢。 Required は任意です。自分の repo で十分な判定例を確認してから決める後の判断です。スイッチを入れないままでも不利益はありません。マージのゲートにするかどうかに関わらず、App はアドバイザリーのシグナルとして役立ちます。

よくある状態と読み方です。

期待値の境界です。

• Veripsa Core は AI コードレビュアーではありません。コード変更を提案せず、スタイルを批評しません。ソースファイル本文は保存・表示・コードレビュー用途に利用しません。扱うのはアドバイザリーに必要な最小限の運用メタデータだけです。
• Veripsa Core はマージキューではありません。マージを直列化したり、PR を保留したりはしません。衝突と推奨順序を可視化するだけで、実際に何をマージするかはあなた (またはあなたのマージキュー) が決めます。
• Veripsa Core は現時点では別々のリポジトリをまたいだ調整を行いません。同じ GitHub アカウントの所有であっても、現在は 1 つのリポジトリ内の open PR を調整します。
• App は単独でマージをハードブロックすることはありません。チェックがマージをゲートするかどうかは、完全にあなたの branch protection ルールが制御します。

Veripsa Core が合わないと感じたら、GitHub の設定からアンインストールしてください。アンインストールするとすべての処理が停止し、アカウントに紐づくコンテンツフリーな作業セットがパージされます — 削除の詳細は プライバシーポリシー を参照してください。早期アクセス中は別途解約が必要な有料サブスクリプションや checkout はありません。アンインストールだけでカバレッジを停止できます。

• ドキュメント — フル仕様: 現在のカバー範囲メモ、プランマトリクス、Webhook 範囲、トリアージガイド。
• 無料アクセス — 早期アクセス中は無料。共有サービスを守る fair-use 制限があります。
• プライバシー — コンテンツフリーなデータ境界の詳細。
• サポート — 判定がおかしいと感じたとき、また設定がこのガイドと合わないときの連絡先。