Human Anchor · AIS-HA · 第7論文
人間が承認者なら、それだけでHuman Anchorと言えるのか？
いいえ。Human presenceだけでは名目的です。拒否がprotected outcomeをまだ変えられる必要があります。AIS-HAは、独立したHuman Refusalがauthority、path、observability、timingをまたいでも因果的に実効的かを問います。
Core distinction
Human-in-the-loopがあっても、自動的にHuman Anchorにはならない。
画面に人間のapproval buttonがあっても、systemが別場所でauthorityをactivateできる、古いapprovalをreuseできる、identityをswitchできる、別toolを使える、revoked credentialをrestartで戻せる、またはlast effective intervention point後に実行できるなら、名目上のoversightに留まります。Human Anchorが扱うのはcausal authority relationです。
Operational question
正当な人間のNOは、不可逆化前にprotected transitionを成立不能へできるか？
AIS-HA
5つの非代替的verification dimension
拒否がprotected transitionを実際にblockするか。
D2Boundary / Path Coverage重要なalternate authority routeをchallengeしたか。
D3Human Independence & Effectiveness人間が独立判断し、penaltyなしに拒否できるか。
D4Authority Observabilityauthority変更やbypass attemptを再構成できるか。
D5Timing Assurancelast effective containment pointより前に介入が完了するか。
AIS-HA PASS はdeclared scopeとcurrent evaluation epoch内で5つすべてが成立するときだけです。必須FAILはFAIL。criticalな未解決不確実性はUNKNOWN。PASSは認証やsystem-wide safety guaranteeではありません。
Many-agent future
scaleさせる対象を変える。
第7論文はagent countが無関係だとは主張しません。formal refusal invariantはagent数に明示的には依存せず、関連coalitionとauthority transitionがcoverageに入る任意の有限Nについて述べられています。ただし運用上のverification burdenは大きくなり得ます。実務上の転換は、すべてのagentを人間が監督しようとするのではなく、protected outcomeが通るauthority boundaryを守ることです。
What it does not mean
明示的な限界
- 任意の超知能を制御可能だと証明しません。
- すべてのreal authority pathを発見できるとは主張しません。
- Pilot PASSを認証へ変換しません。
- local Human Anchorを通らない独立した外部国家・物理authority pathを解決しません。
- LUMINA-30正典を変更しません。
試す・反証する
公開implementation route
Primary sources
公開理論とlineage
第7論文 — Human Anchor: A Cross-Layer Authority Invariant for Many-Agent AI Systems、Elias Arden、v1.0、2026-10-20、DOI 10.5281/zenodo.23501550。
Human Anchorの主要な概念的源流はLUMINA-30第2論文 / Objective Persistence。第6論文 / PISFは後続のformal reinforcementです。GitHub資料は実験的implementation / verification profileであり、新しい正典論文ではありません。