Skip to content

Add isolated pure Caveat evidence collector - #5

Merged
quolu merged 1 commit into
mainfrom
review/caveat-evidence-pure-20261018
Oct 18, 2026
Merged

quolu merged 1 commit into
mainfrom
review/caveat-evidence-pure-20261018

Conversation

@quolu

@quolu quolu commented Oct 18, 2026 •

Copy link
Copy Markdown
Collaborator

Caveatのprivate証拠契約を消費するcollectorの純粋関数を追加します。公式schema/人工fixtureの照合、同一実行のnonceとEOF確認、公開reportの実bytes binding、容量予約と保持の状態遷移を隔離実装しました。現行scan/command/scheduler/reporterへの接続はありません。

検証済みHEAD: 4503b62b4dbaf19f5acd541f977198113e7fe3d7(base 36452b5364d3467fa751109ea16c91e5dd9721ce)。隔離HOME/PATH、偽runner・worker・OS、実subprocess/network/worker/fs-write拒否guardで新19試験が19pass/0fail/0skip。OFFは補助getterに触れず、既存v9 scanとprivate拒否/例外の公開check・exit・配送値・本文bytes不変を確認しました。lock固定npm ci、通常lint-js、新規構文/diff/current-docs/Markdown成功。通常PR CI run39107722193/attempt1は3OS make ci各1回と最終gateの全5job成功。新19試験は3OSそれぞれ19pass/0fail/0skipを実ログで照合しました。CI checkout ae1e7114と候補4503b62bのtreeは一致しています。Noahの同HEAD読取reviewは必要指摘0で、現在PRは未mergeです。

公式schema/fixtureはCaveat固定42d283dから同bytesで消費し、製品pure修正後317272a6でも同bytesです。fixtureのsynthetic capabilityは試験用です。製品が配布するcapabilityはtransports=[]のままです。

native実接続の受入条件(今回未実装・API可用性未確認):

  • POSIXはdirfd相対アクセス、owner/mode/symlink拒否、検査後のhandle固定、非閉塞fd・有限write・取消/closeをOS別に確認する。Linux専用APIをmacOS対応へ広げない。
  • Windowsはfirst-instance/remote拒否/明示DACL/handle固定、SIDとPID+creation identity、nonceとhello→result→EOF、標準PS shimを保持する経路を確認する。fd3の一般化やshim迂回をしない。
  • adapter/能力未成立時は欠測とし、既定OFFで設定読取・capture・raw write・channel・cleanup・workerを起こさない。将来の接続時には実CLIの公開bytes/check/exit/配送が不変なことを別途受け入れる。
  • raw前の権限確立、容量予約/同時上限/partial/排出/cleanup中断/PID再利用/24h超生存、timeout/output-limit/独立EOF/例外の非閉塞性と秘密非転送を隔離故障試験する。実worker、native dependencyのOS/arch/最低Nodeでの配布可用性は未確認。
  • 最新Caveat sourceからclean build/packし、公式schema/capability/version/bin/entry/archiveを製品gateで一致確認する。collectorのpure成功で製品配布・全3OS×4harnessの実利用を代用しない。

実raw/channel/worker接続、能力宣言、常用ON、host導入、公開配備、本物診断同期reporter/本人操作/過去再測定は含みません。全3OS×4harnessの実host適用は未確認です。

Noahの固定HEAD4503b62bに対するread-only reviewは必要指摘0(2026-10-18)。将来のprepared/delivery再送は保存済み不変recordを再利用し、created_atを再生成しない条件を追加します。実I/Oの原子性やnative受入をpure review成功へ数えません。

Consume official product schemas and synthetic fixture without runtime wiring.
Validate private exchange and preserve exact report-byte bindings, capacity
reservations, retention and fixed local statuses behind fake adapters.
@quolu
quolu merged commit a8d02e6 into main Oct 18, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant