# ワークスペース招待：架空の証拠資料一式

OpenMax教材、2026-09-04。方針、役割、記録、観察結果はすべて説明用に作成しました。招待サービス、メール事業者、OpenMaxの処理は実行していません。PASSとFAILは架空の事例内のラベルであり、製品実測の結果ではありません。合成アドレスmina@example.testへ実際に送信しないでください。

## 範囲と架空の承認済み規則

関連する四ストーリー：INV-01作成（条件01–15）、INV-02配信（16）、INV-03期限切れ・取り消し（17–18）、INV-04操作・翻訳表示（19–20）。招待の受諾とオーナー移譲は別ストーリーです。実在の承認者がいるという意味ではありません。

- P1：対象ワークスペースの現在のOwnerだけが作成・取り消し可能。状態変更時にテナントと役割を確認し、保存結果を再取得する前にも認可する。Viewer作成は教材では403。W7しか許可されない人へW8の情報を開示しない。
- P2：Member／Viewerを許可、Ownerは不可。メール必須。空、空白のみ、mina.example.testは不正、mina@example.testはこのデータでは有効。一般的なメール文法や別名正規化は未定義。任意の備考は省略時に未設定を維持。
- P3：使用済み=正式メンバー+期限内のPending予約、上限10。W7初期は正式8+招待1=9。I77作成後は正式8+招待2=10。正式メンバーまたは有効な保留招待がある宛先には、新しいキーでも追加予約しない。九席時の異なる同時要求は一件のみ作成可能。
- P4：作成はPendingでありメンバーではない。再取得の範囲はワークスペース+操作者+キー+同じ内容で、現在の認可が必要。初回作成から厳密に24時間未満ならK77でI77を再取得。24時間以上は既存Pendingを照合し、保存結果の再取得を保証しない。K77で内容が違えば409、変更なし。応答喪失後は照合まで結果不明。
- P5：I77作成2026-01-05T10:00:00Z、期限2026-01-07T10:00:00Z。有効条件はnow<expiry。期限切れまたは許可された取り消しで一回だけ予約を解放。再取り消しでもRevokedのままで二回目の解放なし。受諾と取り消しの競合は別規則が必要で、ここでは未解決。
- P6：招待と配信の状態を分ける。教材では最大三回試行し、使い切ったら担当者対応。Pendingと一席の予約は残る。キュー入りは受信箱への到達ではなく、必ず一通という保証はしない。
- P7：教材では承認済みの英語、簡体字中国語、日本語を使用。エラー認識、キーボード修正、入力保持は対応する支援技術とブラウザーで確認。期限表示は1月7日東京19:00、上海18:00、UTC10:00。IDと保存時刻は不変。狭い表示と未翻訳時の代替は実テストが必要。

## 境界データ

明記した順序以外は、各テストを独立して初期化します。前の行の状態を引き継ぎません。W8には権限がありません。O7は作成可能なOwner、V7は不可のViewerです。Mina以外の新しい宛先も合成データにします。

| データ | 入力／状態 | 架空の方針による期待 |
|---|---|---|
| B01 |正式8+招待1；新規宛先|I77作成；正式8+招待2=10|
| B02 |正式8+招待2；別の新規宛先|定員による拒否；合計10|
| B03 |K77変更なし；2026-01-06T09:59:59Z|24時間内にI77再取得|
| B04 |K77；2026-01-06T10:00:00Z|24時間の境界；Pending照合、再取得保証なし|
| B05 |2026-01-07T09:59:59Z|期限前；ほかの受諾条件は必要|
| B06 |2026-01-07T10:00:00Z|期限切れ；受諾拒否；解放一回|
| B07 |使用10；I77を二回取り消し|10→9→9|
| B08 |使用9；異なる二宛先が同時要求|一件作成、一件定員拒否；合計10|

## 12件の例示テスト記録

架空のビルドDEMO-INV-r1、環境TEACHING-ONLY。E01–E12は表内の観察文を指し、参照できない実在ログの名前ではありません。選択した例であり、全20条件を網羅していません。NOT_RUNには観察結果がありません。

| テスト | 条件 | 設定／操作 | 期待 | 架空の観察証拠 | 状態 |
|---|---|---|---|---|---|
| T01 |01|O7、新規宛先、使用9|Pending I77；使用10；正式8|E01：Pending I77；使用10；正式8|PASS|
| T02 |02|空メール；Member；備考入力|エラー；招待なし；入力保持|E02：必須エラー；新規なし；役割と備考保持|PASS|
| T03 |06|使用9と10を独立実行|9→10；10では拒否|E03：9で作成、10で拒否；超過なし|PASS|
| T04 |12|5分後に同じK77を再送|同じI77；一件の予約|E04：同じI77；使用10|PASS|
| T05 |09|V7直接作成；使用9|403；招待なし；使用9|E05：201；招待作成；使用10|FAIL|
| T06 |13|K77でMemberからViewerへ|409；Member不変|E06：409；I77はMemberのまま|PASS|
| T07 |14|使用9で二宛先同時|一件作成、一件拒否；合計10|E07：制御した同時実行なし|NOT_RUN|
| T08 |15|作成後応答喪失；同じK77照合|不明の後に同じI77；重複なし|E08：不明表示；I77再取得；使用10|PASS|
| T09 |17|時計を期限と同時に設定|受諾拒否；期限切れ；一回解放|E09：Expired；受諾なし；使用9|PASS|
| T10 |18|使用10でI77を二回取り消し|Revoked；10→9→9|E10：Revoked；件数10、9、9|PASS|
| T11 |19|キーボード／読み上げ；空メール|エラー認識；入力保持して修正|E11：エラー読み上げなし；修正先へ移動不可|FAIL|
| T12 |20|日本語390px；東京期限|1月7日19:00；文字切れなし|E12：表示未検証|NOT_RUN|

## 計算し直してから判断する

PASS={T01,T02,T03,T04,T06,T08,T09,T10}=8。FAIL={T05,T11}=2。NOT_RUN={T07,T12}=2。計画12、実行10、合格8。実行率10/12=83.3%（小数一桁）。実行済みの合格率8/10=80%。計画内で合格証拠あり8/12=66.7%。分母が異なり、ベンチマークの品質点ではありません。

T05は認可の阻止要因で、T11も修正が必要です。T07とT12を実行し、残りの条件と分岐の網羅性も確認します。判断はこの証拠では受入不可であり、80%を理由に承認しません。実際のリリース判断をしたわけではありません。

## 六つの候補修正

編集者作成の弱い草案であり、実モデルの出力ではありません。「メンバー作成」→P4 Pendingのみ。「表示時認可」→P1変更時確認。「タイムアウトで新キー」→P4元要求を照合。「キーは永久」→P4厳密な24時間。「直ちに一通到達」→P6配信状態を分離。「8/10で全体承認」→全12状態、不具合、未確認条件を報告。

## 利用時の制約

実案件では規則責任者、承認版、テスト環境を記録します。別名の扱い、受諾と取り消しの競合、性能、復旧、包括的なアクセシビリティ条件は別途定義してください。架空の行を実務経験やOpenMaxベンチマークと説明しないでください。本文の出典は方法と公式の草案作成用途を説明するもので、この架空製品を実証するものではありません。