自律発見 · SaaS

PHANES

ファネス
エンタープライズグレードの自律発見 — 計測可能なあらゆる目標に
6
段階の発見チェーン
100%
provenance 追跡
0
over-claim なし、規則として
PHANES
↓ スクロール

次世代の発見

Phanes は hexa-lang の OUROBOROS エンジン — goal・falsifier・saturation のループをラウンドごとの honesty gate とともにラウンドで反復するもの — をホスト型 Web 製品として包みます。企業が計測可能な目標と verifier を持ち込むと、Phanes はそれに対してエンジンを駆動し、検証済みで provenance を追跡した発見カタログを返します。彼ら自身の private echoes です。

エンジンはブラックボックスではありません。すべてのラウンドは goal の提案、それに対する falsifier の発火、そして saturation の検査であり — すべてのステップが、あなたが検査できる audit trail に記録されます。Phanes が売るのは、あなたの目標が達成されるという約束ではなく、エンジンが正確に何を見つけ、それをどれほど強く壊そうとしたかの検証済みの記録です。

主な機能

差し替え可能な Seed と Verifier: seed と verifier oracle を持ち込んでください。scope B では、テナントの verifier が目標達成の唯一の権威です — Phanes が自身の advisory gate でそれを代替することはありません。
Provenance トラック: すべてのラウンドは、その falsification audit trail とともに記録されます。結果は、一行ずつ検証できる、エクスポート可能なテナントごとのカタログです。
サンドボックス化されたコンピュート: 各ジョブは arena-free ランタイムを備えたテナントごとの home-jail 内で実行されます。並行実行下でも分離は保たれます — 計測された defense-in-depth。

仕組み

01
Seed を送信
計測可能な目標と verifier スクリプトを持ち込んでください。seed はエンジンが推論を始める出発点です。
02
OUROBOROS が走る
エンジンはラウンドを実行します — goal・falsifier・saturation — 各ラウンドを直前のラウンドの発見で再シードします。
03
Honesty Gate
すべてのラウンドは falsification gate を通過します。自らの falsifier に耐えられない主張は前進しません。
04
検証済みカタログ
saturation は provenance を追跡したカタログを返します — エクスポートと監査が可能な、あなた自身の private echoes。

つながった発見ループ

01

エンジンを操る

↳ OUROBOROS ループ全体を Web から駆動します。

Phanes は seed、ラウンド、saturation の検査を1つのホスト型ワークフローに接続します — hexa-lang 自身の発見サイクルを動かすのと同じ drill エンジンを、認証された control plane の背後で。

02

ワークスペースをカスタマイズ

↳ ページ再読み込みのないライブダッシュボード。

ジョブを送信し、HTMX でポーリングされるダッシュボードで進行を見守ってください。ジョブが done または failed に達した瞬間にポーリングは自動停止します — インターフェースはいつ静かにすべきかを知っています。

03

信頼を支えるセキュリティ

↳ すべてのジョブにわたるテナントごとの分離。

ハイブリッドなマルチテナント分離 — 現在はジョブごとの home-jail、アップストリームには一級の data-dir 境界。セッションクッキーと bearer トークンがすべての認証面を守ります。

04

開発者を後押し

↳ 自分の verifier を持ち込む。

seed フォーマットは公開されており、verifier は PASS 時にゼロで終了するスクリプトに過ぎません。エンジンを fork せずに、計測可能なあらゆる目標をループに接続できます。

検証済みのソリューション

Phanes は scope B で運用されます:テナントが提供する verifier が目標達成の唯一の権威であり、Phanes は verifier が通さなかった結果を主張することは決してありません。Phanes は hexa-lang の上に構築され — OUROBOROS サイクル h36 完了、bit-stable な self-host fixpoint、tier-1 の codegen 正当性を検証済み — その real-limits-first の誠実さの規則を継承します。over-claim なし、プロジェクト完成の約束なし。saturation だけが唯一のハードストップです。

進む姉妹プロジェクト — DEMIURGE