@shuji-bonji/pdf-constraints 0.1.0

package/tables/document-metadata.json

@@ -0,0 +1,253 @@
+{
+  "$schema": "./schema.json",
+  "name": "document-metadata",
+  "version": "1",
+  "description": "第 2 ドメイン: 文書メタデータ（ISO 32000-2 §14.3 + §7.9.4）。語彙収束の計測が目的。フォントと違い appliesTo が document スコープで、条文の主語が processor（書き込み行為）のものを含む — ファイル状態から観測できるのは『違反の痕跡』まで（subjectNote 参照）。",
+  "sourceSpec": {
+    "spec": "pdf20",
+    "retrievedWith": "pdf-spec-mcp get_requirements / get_tables",
+    "sections": [
+      "14.3.2",
+      "14.3.3",
+      "14.3.4",
+      "7.9.4"
+    ],
+    "specVersionAtMapping": "0.4.5"
+  },
+  "issue": "https://github.com/shuji-bonji/pdf-spec-mcp/issues/12",
+  "factVocabulary": {
+    "doc.xmp.exists": "catalog /Metadata がストリームとして存在するか",
+    "doc.xmp.dict.Type": "メタデータストリーム辞書の /Type（name）",
+    "doc.xmp.dict.Subtype": "同 /Subtype（name）",
+    "doc.xmp.hasXmpEnvelope": "復号後テキストが xpacket + x:xmpmeta の外形を持つか（ISO 16684-1 の完全文法検査ではない）",
+    "doc.xmp.CreateDate": "xmp:CreateDate の文字列（ISO 8601）| absent",
+    "doc.xmp.ModifyDate": "xmp:ModifyDate の文字列（ISO 8601）| absent",
+    "doc.info.CreationDate": "Info /CreationDate の生文字列 | absent",
+    "doc.info.ModDate": "Info /ModDate の生文字列 | absent",
+    "doc.info.TrappedKind": "Info /Trapped の種別: name:True / name:False / name:Unknown / boolean / other / absent"
+  },
+  "newPredicates": [
+    "dateEquiv（PDF 日付文字列 ↔ ISO 8601 を同一時点として比較。§7.9.4 の既定値規則で正規化）"
+  ],
+  "constraints": [
+    {
+      "id": "CT-META-1",
+      "title": "メタデータストリーム辞書は /Type /Metadata・/Subtype /XML を持つこと",
+      "clauses": [
+        "R-14.3.2-6",
+        "R-14.3.2-7"
+      ],
+      "source": {
+        "spec": "pdf20",
+        "section": "14.3.2",
+        "table": "Table 347"
+      },
+      "level": "shall",
+      "appliesTo": "document",
+      "when": [
+        {
+          "fact": "doc.xmp.exists",
+          "op": "eq",
+          "value": true
+        }
+      ],
+      "assert": [
+        {
+          "fact": "doc.xmp.dict.Type",
+          "op": "eq",
+          "value": "Metadata",
+          "onFail": "メタデータストリームの /Type が Metadata でない"
+        },
+        {
+          "fact": "doc.xmp.dict.Subtype",
+          "op": "eq",
+          "value": "XML",
+          "onFail": "メタデータストリームの /Subtype が XML でない"
+        }
+      ]
+    },
+    {
+      "id": "CT-META-2",
+      "title": "メタデータストリームの中身は XMP（XML）であること",
+      "clauses": [
+        "R-14.3.2-2"
+      ],
+      "source": {
+        "spec": "pdf20",
+        "section": "14.3.2"
+      },
+      "level": "shall",
+      "appliesTo": "document",
+      "when": [
+        {
+          "fact": "doc.xmp.exists",
+          "op": "eq",
+          "value": true
+        }
+      ],
+      "assert": [
+        {
+          "fact": "doc.xmp.hasXmpEnvelope",
+          "op": "eq",
+          "value": true,
+          "onFail": "メタデータストリームが XMP パケットの外形を持たない"
+        }
+      ],
+      "notMapped": "条文は『文法は ISO 16684-1 に従う shall』まで要求するが、ISO 16684-1 は corpus 外（T2 と同型の境界）。この写像は xpacket/x:xmpmeta の外形検査で近似している"
+    },
+    {
+      "id": "CT-META-3",
+      "title": "Info の日付値は §7.9.4 の日付文字列文法に従うこと",
+      "clauses": [
+        "R-7.9.4-2",
+        "R-7.9.4-12",
+        "R-7.9.4-14",
+        "R-7.9.4-15"
+      ],
+      "source": {
+        "spec": "pdf20",
+        "section": "7.9.4"
+      },
+      "level": "shall",
+      "appliesTo": "document",
+      "when": [],
+      "assert": [
+        {
+          "fact": "doc.info.CreationDate",
+          "op": "matches",
+          "value": "^D:\\d{4}(\\d{2}(\\d{2}(\\d{2}(\\d{2}(\\d{2}([Z+\\-](\\d{2}('(\\d{2})?'?)?)?)?)?)?)?)?)?$",
+          "onFail": "Info /CreationDate が日付文字列文法に合わない",
+          "onlyWhen": [
+            {
+              "fact": "doc.info.CreationDate",
+              "op": "exists",
+              "value": true
+            }
+          ]
+        },
+        {
+          "fact": "doc.info.ModDate",
+          "op": "matches",
+          "value": "^D:\\d{4}(\\d{2}(\\d{2}(\\d{2}(\\d{2}(\\d{2}([Z+\\-](\\d{2}('(\\d{2})?'?)?)?)?)?)?)?)?)?$",
+          "onFail": "Info /ModDate が日付文字列文法に合わない",
+          "onlyWhen": [
+            {
+              "fact": "doc.info.ModDate",
+              "op": "exists",
+              "value": true
+            }
+          ]
+        }
+      ],
+      "notMapped": "フィールド値域（MM 01–12 等 = R-7.9.4-4〜-8）は正規表現では桁しか見ていない。dateEquiv 側の正規化で不正値は NaN に落ちるため実質は拾えるが、単独の値域述語としては未写像"
+    },
+    {
+      "id": "CT-META-4",
+      "title": "作成日時は Info と XMP の両方に書くなら完全等価であること",
+      "clauses": [
+        "R-14.3.4-2",
+        "R-14.3.4-4"
+      ],
+      "source": {
+        "spec": "pdf20",
+        "section": "14.3.4"
+      },
+      "level": "shall / may(条件付き)",
+      "appliesTo": "document",
+      "subjectNote": "条文の主語は PDF processor（書き込み行為）。ファイル状態から観測できるのは『どこかの writer が等価性を破った痕跡』であり、どの writer かは特定できない。R-14.3.4-3（既存の不整合は触らず残す should）により、不整合の存在自体が直近の writer の違反とは限らない",
+      "when": [
+        {
+          "fact": "doc.info.CreationDate",
+          "op": "exists",
+          "value": true
+        },
+        {
+          "fact": "doc.xmp.CreateDate",
+          "op": "exists",
+          "value": true
+        }
+      ],
+      "assert": [
+        {
+          "fact": "doc.info.CreationDate",
+          "op": "dateEquiv",
+          "value": "doc.xmp.CreateDate",
+          "onFail": "Info /CreationDate と xmp:CreateDate が等価でない（writer の R-14.3.4-2/-4 違反の痕跡）"
+        }
+      ]
+    },
+    {
+      "id": "CT-META-5",
+      "title": "更新日時は Info と XMP の両方に書くなら完全等価であること",
+      "clauses": [
+        "R-14.3.4-5"
+      ],
+      "source": {
+        "spec": "pdf20",
+        "section": "14.3.4"
+      },
+      "level": "shall",
+      "appliesTo": "document",
+      "subjectNote": "CT-META-4 と同じく主語は processor。ファイルからは痕跡のみ",
+      "when": [
+        {
+          "fact": "doc.info.ModDate",
+          "op": "exists",
+          "value": true
+        },
+        {
+          "fact": "doc.xmp.ModifyDate",
+          "op": "exists",
+          "value": true
+        }
+      ],
+      "assert": [
+        {
+          "fact": "doc.info.ModDate",
+          "op": "dateEquiv",
+          "value": "doc.xmp.ModifyDate",
+          "onFail": "Info /ModDate と xmp:ModifyDate が等価でない（writer の R-14.3.4-5 違反の痕跡）"
+        }
+      ]
+    },
+    {
+      "id": "CT-META-6",
+      "title": "Trapped は boolean でなく name（True/False/Unknown）であること",
+      "clauses": [
+        "R-14.3.3-5",
+        "R-14.3.3-6"
+      ],
+      "source": {
+        "spec": "pdf20",
+        "section": "14.3.3",
+        "table": "Table 349",
+        "key": "Trapped"
+      },
+      "level": "shall",
+      "appliesTo": "document",
+      "when": [
+        {
+          "fact": "doc.info.TrappedKind",
+          "op": "exists",
+          "value": true
+        }
+      ],
+      "assert": [
+        {
+          "fact": "doc.info.TrappedKind",
+          "op": "in",
+          "value": [
+            "name:True",
+            "name:False",
+            "name:Unknown"
+          ],
+          "onFail": "Trapped が name True/False/Unknown でない（boolean は R-14.3.3-5/-6 違反）"
+        }
+      ],
+      "notMapped": "Table 349 で Trapped は PDF 2.0 deprecated。『deprecated を新規に書くべきでない』は要件レベルの写像対象外（should 相当の運用判断）"
+    }
+  ],
+  "scopeFindings": [
+    "Info /Title ↔ dc:title の等価は R-14.3.4 の shall の射程外（shall は time and date のみ）。B-9 の同期は良い実装だが条文義務ではない — 写像時に射程を条文で確認しないと過剰制約になる（フォント PoC の M-1 の再演）"
+  ]
+}

package/tables/font-embedding.json

@@ -0,0 +1,276 @@
+{
+  "$schema": "./schema.json",
+  "name": "font-embedding",
+  "version": "1",
+  "description": "条文 → 機械検査可能条件の写像 PoC。対象は writer B-14（W-2/W-3/W-4）で正解が既知のフォント埋め込み条文。判定の実行は pdf-verify の役割であり、このテーブルは『条文を満たすとは PDF 構造上どういう状態か』の宣言だけを持つ。",
+  "sourceSpec": {
+    "spec": "pdf20",
+    "retrievedWith": "pdf-spec-mcp get_requirements / get_tables",
+    "sections": [
+      "9.9.1",
+      "9.9.2",
+      "9.7.4.2"
+    ],
+    "specVersionAtMapping": "0.4.5"
+  },
+  "issue": "https://github.com/shuji-bonji/pdf-spec-mcp/issues/12",
+  "factVocabulary": {
+    "descriptor.fontFileKey": "FontDescriptor が持つ埋め込みキー（FontFile / FontFile2 / FontFile3 / none）",
+    "stream.dict.Subtype": "フォントストリーム辞書の /Subtype（name）",
+    "stream.dict.Length1": "フォントストリーム辞書の /Length1（integer | absent）",
+    "stream.decodedLength": "フィルタ復号後のフォントプログラムのバイト長",
+    "program.container": "復号後バイト列の種別: truetype(0x00010000|'true') / otto('OTTO') / bareCFF(0x01 0x00) / ttc('ttcf') / unknown",
+    "program.sfntTables": "sfnt テーブルディレクトリの tag 一覧（container が sfnt 系のとき）",
+    "program.isCffBased": "container == otto || bareCFF、または sfnt に 'CFF ' テーブルを含む",
+    "font.subtype": "参照元フォント辞書の /Subtype（Type1 / TrueType / Type0 / CIDFontType0 / CIDFontType2）",
+    "font.baseFont": "フォント辞書の /BaseFont（name, 先頭 '/' なし）",
+    "descriptor.fontName": "FontDescriptor の /FontName（name, 先頭 '/' なし）",
+    "given.isSubset": "【外部事実】このフォントがサブセットか。ファイル単体からは決定不能（PoC 発見事項 F-1）。producer 文脈またはサイドカーで供給する"
+  },
+  "constraints": [
+    {
+      "id": "CT-FONT-1",
+      "title": "FontFile2 の中身は TrueType フォントプログラムであること",
+      "clauses": [
+        "R-9.9.1-33",
+        "R-9.9.1-34"
+      ],
+      "source": {
+        "spec": "pdf20",
+        "section": "9.9.1",
+        "table": "Table 124",
+        "key": "FontFile2"
+      },
+      "level": "shall",
+      "appliesTo": "embedded-font",
+      "when": [
+        {
+          "fact": "descriptor.fontFileKey",
+          "op": "eq",
+          "value": "FontFile2"
+        }
+      ],
+      "assert": [
+        {
+          "fact": "program.container",
+          "op": "in",
+          "value": [
+            "truetype"
+          ],
+          "onFail": "FontFile2 に TrueType 以外のコンテナ（OTTO=CFF 等）が入っている（W-2 の実体）"
+        },
+        {
+          "fact": "program.sfntTables",
+          "op": "superset",
+          "value": [
+            "glyf",
+            "head",
+            "hhea",
+            "hmtx",
+            "loca",
+            "maxp"
+          ],
+          "onFail": "R-9.9.1-34 の必須 6 テーブルが欠けている"
+        }
+      ],
+      "notMapped": "R-9.9.1-35（cvt/fpgm/prep は『フォント命令が要求するなら』必須）は『要求するか』の判定に TrueType 命令の解釈が必要で、この語彙では書けない（人手判断 M-2）"
+    },
+    {
+      "id": "CT-FONT-2",
+      "title": "CIDFont の CFF 系プログラムは FontFile3（CIDFontType0C | OpenType）で埋め込むこと",
+      "clauses": [
+        "R-9.7.4.2-3"
+      ],
+      "source": {
+        "spec": "pdf20",
+        "section": "9.7.4.2"
+      },
+      "level": "shall",
+      "appliesTo": "embedded-font",
+      "when": [
+        {
+          "fact": "font.subtype",
+          "op": "in",
+          "value": [
+            "CIDFontType0",
+            "CIDFontType2"
+          ]
+        },
+        {
+          "fact": "program.isCffBased",
+          "op": "eq",
+          "value": true
+        }
+      ],
+      "assert": [
+        {
+          "fact": "descriptor.fontFileKey",
+          "op": "eq",
+          "value": "FontFile3",
+          "onFail": "CFF 系プログラムが FontFile3 以外のキーで埋め込まれている"
+        },
+        {
+          "fact": "stream.dict.Subtype",
+          "op": "in",
+          "value": [
+            "CIDFontType0C",
+            "OpenType"
+          ],
+          "onFail": "FontFile3 の Subtype が CIDFontType0C / OpenType のどちらでもない"
+        }
+      ]
+    },
+    {
+      "id": "CT-FONT-3",
+      "title": "サブセットフォントの名前は 6 大文字タグ + '+' で始まり、同一フォントの別サブセットは別タグであること",
+      "clauses": [
+        "R-9.9.2-2",
+        "R-9.9.2-3"
+      ],
+      "source": {
+        "spec": "pdf20",
+        "section": "9.9.2"
+      },
+      "level": "shall",
+      "appliesTo": "embedded-font",
+      "when": [
+        {
+          "fact": "given.isSubset",
+          "op": "eq",
+          "value": true
+        }
+      ],
+      "assert": [
+        {
+          "fact": "font.baseFont",
+          "op": "matches",
+          "value": "^[A-Z]{6}\\+.+",
+          "onFail": "BaseFont にサブセットタグが無い（W-3 の実体）"
+        },
+        {
+          "fact": "descriptor.fontName",
+          "op": "matches",
+          "value": "^[A-Z]{6}\\+.+",
+          "onFail": "FontDescriptor の FontName にサブセットタグが無い"
+        }
+      ],
+      "documentAssert": [
+        {
+          "fact": "doc.subsetTagsPerBaseName",
+          "op": "allDistinct",
+          "value": null,
+          "onFail": "同一フォントの別サブセットが同じタグを共有している（R-9.9.2-3 後段）"
+        }
+      ],
+      "notMapped": "applicability（サブセットか否か）はファイル内に無い事実で、条文が暗黙に producer 知識を前提にしている（PoC 発見事項 F-1）。R-9.9.2-4（.notdef の定義）は CFF charset / glyf の中身の解釈が必要（M-2 相当・今回は未写像）"
+    },
+    {
+      "id": "CT-FONT-4",
+      "title": "Type1 / TrueType プログラムのストリーム辞書には Length1 があり、復号後長と一致すること",
+      "clauses": [
+        "Table 125 Length1 (Required for Type 1 and TrueType font programs)"
+      ],
+      "source": {
+        "spec": "pdf20",
+        "section": "9.9.1",
+        "table": "Table 125",
+        "key": "Length1"
+      },
+      "level": "required",
+      "appliesTo": "embedded-font",
+      "when": [
+        {
+          "fact": "descriptor.fontFileKey",
+          "op": "in",
+          "value": [
+            "FontFile",
+            "FontFile2"
+          ]
+        }
+      ],
+      "assert": [
+        {
+          "fact": "stream.dict.Length1",
+          "op": "exists",
+          "value": true,
+          "onFail": "Length1 が無い（W-4 の実体）"
+        },
+        {
+          "fact": "stream.dict.Length1",
+          "op": "eqFact",
+          "value": "stream.decodedLength",
+          "onFail": "Length1 が復号後のプログラム長と一致しない",
+          "note": "TrueType では『the entire TrueType font program』。Type 1 は clear-text 部分長なのでこの等式は TrueType（FontFile2）のみ。FontFile（Type1）に適用するなら別述語が要る（M-3）",
+          "onlyWhen": [
+            {
+              "fact": "descriptor.fontFileKey",
+              "op": "eq",
+              "value": "FontFile2"
+            }
+          ]
+        }
+      ]
+    },
+    {
+      "id": "CT-FONT-5",
+      "title": "CFF 表現（FontFile3）では Length1/2/3 を置かないこと・FontFile3/OpenType の CFF 系は cmap を含むこと",
+      "clauses": [
+        "R-9.9.1-12",
+        "R-9.9.1-42",
+        "R-9.9.1-47"
+      ],
+      "source": {
+        "spec": "pdf20",
+        "section": "9.9.1",
+        "table": "Table 124 / Table 125"
+      },
+      "level": "shall / shall not",
+      "appliesTo": "embedded-font",
+      "when": [
+        {
+          "fact": "descriptor.fontFileKey",
+          "op": "eq",
+          "value": "FontFile3"
+        }
+      ],
+      "assert": [
+        {
+          "fact": "stream.dict.Length1",
+          "op": "exists",
+          "value": false,
+          "onFail": "CFF 表現なのに Length1 がある（R-9.9.1-12 shall not）"
+        },
+        {
+          "fact": "stream.dict.Subtype",
+          "op": "in",
+          "value": [
+            "Type1C",
+            "CIDFontType0C",
+            "OpenType"
+          ],
+          "onFail": "FontFile3 の Subtype が Table 125 の許容値でない（R-9.9.1-47）"
+        },
+        {
+          "fact": "program.sfntTables",
+          "op": "superset",
+          "value": [
+            "cmap"
+          ],
+          "onFail": "OpenType(CFF) なのに cmap が無い（R-9.9.1-42）",
+          "onlyWhen": [
+            {
+              "fact": "stream.dict.Subtype",
+              "op": "eq",
+              "value": "OpenType"
+            },
+            {
+              "fact": "program.isCffBased",
+              "op": "eq",
+              "value": true
+            }
+          ]
+        }
+      ]
+    }
+  ]
+}

package/tables/schema.json

@@ -0,0 +1,158 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "$id": "https://github.com/shuji-bonji/pdf-constraints/tables/schema.json",
+  "title": "PDF constraint table",
+  "description": "条文（ISO 32000）→ 機械検査可能条件の写像。テーブルは判定の素であって条文原文でも verdict でもない（specs/18 §1）。",
+  "type": "object",
+  "required": ["name", "version", "description", "sourceSpec", "factVocabulary", "constraints"],
+  "additionalProperties": false,
+  "properties": {
+    "$schema": { "type": "string" },
+    "name": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9-]*$",
+      "description": "ドメイン名 = テーブル名。ファイル名と一致させる"
+    },
+    "version": { "type": "string", "description": "スキーマ世代（現在 \"1\"）" },
+    "description": { "type": "string", "minLength": 1 },
+    "issue": { "type": "string", "format": "uri" },
+    "sourceSpec": {
+      "type": "object",
+      "required": ["spec", "sections"],
+      "additionalProperties": false,
+      "description": "写像の出所。pdf-spec の版が上がったときに再照合できるようにする",
+      "properties": {
+        "spec": { "type": "string", "description": "pdf-spec-mcp の spec ID（例: pdf20）" },
+        "retrievedWith": { "type": "string" },
+        "sections": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string" }
+        },
+        "specVersionAtMapping": {
+          "type": "string",
+          "description": "写像した時点の pdf-spec-mcp の版"
+        }
+      }
+    },
+    "factVocabulary": {
+      "type": "object",
+      "minProperties": 1,
+      "description": "fact 名 → 意味。given.* は外部事実（ファイル単体から決定不能）",
+      "additionalProperties": { "type": "string" }
+    },
+    "newPredicates": {
+      "type": "array",
+      "items": { "type": "string" },
+      "description": "このテーブルのために追加した述語の記録（語彙の伸びを測るため）"
+    },
+    "scopeFindings": {
+      "type": "array",
+      "items": { "type": "string" },
+      "description": "写像時に確認した射程の記録（過剰制約を防いだ判断など）"
+    },
+    "constraints": {
+      "type": "array",
+      "minItems": 1,
+      "items": { "$ref": "#/definitions/constraint" }
+    }
+  },
+  "definitions": {
+    "constraint": {
+      "type": "object",
+      "required": ["id", "title", "clauses", "source", "level", "appliesTo", "when", "assert"],
+      "additionalProperties": false,
+      "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^CT-[A-Z0-9]+-[0-9]+$",
+          "description": "一度公開した ID の意味は変えない（変えるなら新 ID）"
+        },
+        "title": { "type": "string", "minLength": 1 },
+        "clauses": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string" },
+          "description": "根拠条文の ID。原文は複製せず pdf-spec で引く"
+        },
+        "source": {
+          "type": "object",
+          "required": ["spec", "section"],
+          "properties": {
+            "spec": { "type": "string" },
+            "section": { "type": "string" },
+            "table": { "type": "string" },
+            "key": { "type": "string" }
+          }
+        },
+        "level": { "type": "string", "description": "shall / should / required など条文の要求水準" },
+        "appliesTo": {
+          "type": "string",
+          "enum": ["embedded-font", "document"],
+          "description": "評価スコープ。将来 annotation / page を追加する"
+        },
+        "subjectNote": {
+          "type": "string",
+          "description": "条文の主語が processor（書き込み行為）のとき、ファイルから観測できるのは『違反の痕跡』までであることの記録（specs/18 §1 / F-5）"
+        },
+        "notMapped": {
+          "type": "string",
+          "description": "語彙で写像できなかった条文と、その理由。沈黙して存在しないふりをしない"
+        },
+        "when": {
+          "type": "array",
+          "items": { "$ref": "#/definitions/predicate" },
+          "description": "適用条件。given.* が未供給なら needs_external_fact に縮退する"
+        },
+        "assert": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/definitions/assertion" }
+        },
+        "documentAssert": {
+          "type": "array",
+          "items": { "$ref": "#/definitions/assertion" },
+          "description": "文書横断の検査（同一フォントのタグ重複など）"
+        }
+      }
+    },
+    "predicate": {
+      "type": "object",
+      "required": ["fact", "op"],
+      "additionalProperties": false,
+      "properties": {
+        "fact": { "type": "string" },
+        "op": {
+          "type": "string",
+          "enum": ["eq", "in", "exists", "matches", "superset", "eqFact", "allDistinct", "dateEquiv"],
+          "description": "v1 の凍結セット。追加は minor バンプ（評価器と同梱なので版で結束する）"
+        },
+        "value": {}
+      }
+    },
+    "assertion": {
+      "type": "object",
+      "required": ["fact", "op", "onFail"],
+      "additionalProperties": false,
+      "properties": {
+        "fact": { "type": "string" },
+        "op": {
+          "type": "string",
+          "enum": ["eq", "in", "exists", "matches", "superset", "eqFact", "allDistinct", "dateEquiv"]
+        },
+        "value": {},
+        "onFail": {
+          "type": "string",
+          "minLength": 1,
+          "description": "違反時の説明。subjectNote を持つ制約では『違反の痕跡』と述べる"
+        },
+        "note": { "type": "string" },
+        "onlyWhen": {
+          "type": "array",
+          "items": { "$ref": "#/definitions/predicate" },
+          "description": "この assert だけに掛かる追加条件（満たさなければ検査自体を飛ばす）"
+        }
+      }
+    }
+  }
+}