@shuji-bonji/pdf-constraints 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025 shuji-bonji
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,121 @@
+# @shuji-bonji/pdf-constraints
+
+[![CI](https://github.com/shuji-bonji/pdf-constraints/actions/workflows/ci.yml/badge.svg)](https://github.com/shuji-bonji/pdf-constraints/actions/workflows/ci.yml)
+[![npm version](https://img.shields.io/npm/v/@shuji-bonji/pdf-constraints.svg)](https://www.npmjs.com/package/@shuji-bonji/pdf-constraints)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](./LICENSE)
+
+ISO 32000 の条文を「**ファイルが構造上どういう状態か**」へ写像した制約テーブルと、その決定論的評価器です。
+
+これは PDF family の共有基盤ライブラリで、MCP サーバではありません。
+MCP としての露出は [pdf-verify-mcp](https://github.com/shuji-bonji/pdf-verify-mcp) の `validate_clauses` が担います。
+
+## 何のためのものか
+
+family の各メンバーが答える問いを並べると、このパッケージの位置が決まります。
+
+| 誰が | 答える問い |
+|---|---|
+| [pdf-spec-mcp](https://github.com/shuji-bonji/pdf-spec-mcp) | 条文は**何を要求する**か |
+| [pdf-reader-mcp](https://github.com/shuji-bonji/pdf-reader-mcp) | ファイルに**何がある**か |
+| **pdf-constraints** | **条文を満たすとはどういう状態か** |
+| [pdf-verify-mcp](https://github.com/shuji-bonji/pdf-verify-mcp) | **どこが破られている**か |
+| [pdf-writer-mcp](https://github.com/shuji-bonji/pdf-writer-mcp) | それを**どう書く**か |
+
+veraPDF は PDF/A・PDF/UA を判定しますが、**ISO 32000 本体の条文違反は見ません**。
+そこが空いていたために「CFF フォントを `FontFile2` で埋め込む」という shall 違反が、
+ビューアの警告として「無害」と誤分類されたまま残ったことがあります。本パッケージはその穴を埋めます。
+
+> [!IMPORTANT]
+> **fail が無いことは適合の証明ではありません。** 「収録した制約の範囲で反証できなかった」以上を意味しません。
+> 適合は証明できず、反証できるだけです。
+
+## 使い方
+
+```sh
+npx @shuji-bonji/pdf-constraints check document.pdf
+npx @shuji-bonji/pdf-constraints check document.pdf --domain font-embedding --given isSubset=true
+```
+
+終了コードは 3 値です。**判定できなかったことを合格や違反と混ぜません**。
+
+| code | 意味 |
+|---|---|
+| 0 | 収録した制約では違反を見つけられなかった（適合の証明ではない） |
+| 1 | 違反あり |
+| 2 | 判定不能（ファイルが開けない・引数不正など） |
+
+ライブラリとして:
+
+```ts
+import { checkFile, loadTable, evaluateConstraint } from '@shuji-bonji/pdf-constraints';
+
+const report = await checkFile('/abs/path/document.pdf', { given: { isSubset: true } });
+report.violations;      // 違反数
+report.packageVersion;  // どの版のテーブルで判定したか（決定論の由来）
+```
+
+制約テーブル（JSON）は直接読めます。
+
+```ts
+import table from '@shuji-bonji/pdf-constraints/tables/font-embedding.json' with { type: 'json' };
+```
+
+## 収録テーブル
+
+| ドメイン | 条文 | 制約 |
+|---|---|---|
+| `font-embedding` | §9.9.1 / §9.9.2 / §9.7.4.2（Table 124 / 125 含む） | CT-FONT-1〜5 — 埋め込みキーと中身の一致、サブセット名タグ、`Length1` |
+| `document-metadata` | §14.3.2 / §14.3.3 / §14.3.4 / §7.9.4 | CT-META-1〜6 — メタデータストリームの型、日付書式、Info↔XMP の等価、`Trapped` |
+
+## 4 つの状態
+
+制約ごとに次のどれかを返します。**verdict（推奨判定）は出しません** — それは
+pdf-verify-mcp の `evaluate_policy` の役割です。
+
+| 状態 | 意味 |
+|---|---|
+| `pass` | 収録した検査では反証できなかった |
+| `fail` | 反証できた |
+| `not_applicable` | 適用条件を満たさない（この文書には関係ない条文） |
+| `needs_external_fact` | 外部事実が供給されておらず判定に到達できない |
+
+### `given.*` — ファイルの外にある事実
+
+条文には、ファイル単体からは判定できない前提を持つものがあります。たとえば
+R-9.9.2-2「**サブセットフォントの**名前は 6 大文字タグで始まる shall」の「サブセットか否か」は、
+PDF の中には書かれていません（作った側だけが知っている）。
+
+こうした事実は `--given isSubset=true` で供給します。渡さなければ、その制約は
+`needs_external_fact` に縮退します — **既定値で埋めて沈黙合格や冤罪を作らない**ためです。
+
+### 「違反」と「違反の痕跡」
+
+条文の主語が PDF processor（書き込み行為）である場合、ファイルから観測できるのは
+**誰かが破った痕跡**であって、直近の書き手の違反とは限りません（§14.3.4 は、既存の不整合を
+そのまま残すことを許しています）。そうした制約は `subjectNote` を持ち、レポートでも
+「違反の痕跡」と述べます。
+
+## やらないこと
+
+- **条文原文の提供** — pdf-spec-mcp の役割です。テーブルは clause ID で参照するだけで原文を複製しません
+- **適合の証明** — 反証できるだけです
+- **verdict・推奨判定** — `evaluate_policy` の役割です
+- **veraPDF の代替** — PDF/A の判定主体は veraPDF です。収録は ISO 32000-1/-2 本体条文のみ
+- **内容の真偽判定** — 条文に適合したファイルが嘘を述べることはあります
+
+## 開発
+
+```sh
+npm install
+npm run build
+npm test
+npm run validate:tables   # 制約テーブル自身を tables/schema.json で検証
+```
+
+テーブルを増やすときは `tables/*.json` を足して `validate:tables` を通します。
+述語（op）を増やす場合は `tables/schema.json` と `src/evaluate.ts` を対で更新してください —
+テーブルと評価意味論が同一バージョンで結束していることが、このパッケージの決定論の担保です。
+
+## ライセンス
+
+MIT © shuji-bonji

package/dist/check.d.ts

@@ -0,0 +1,25 @@
+/**
+ * 高水準 API — ファイルを読んでテーブルを当てる。
+ *
+ * ここが CLI と pdf-verify-mcp の `validate_clauses` の共通入口になる。
+ * 返り値には**必ずテーブルとパッケージの版を含める**（同じ facts から同じ結果が出ることの
+ * 由来を「どの版のテーブルで判定したか」まで言えるようにするため。specs/18 §4.5）。
+ */
+import type { CheckReport, ConstraintTable } from './types.js';
+/** 同梱テーブルの名前一覧 */
+export declare function listTables(): string[];
+export declare function loadTable(name: string): ConstraintTable;
+export interface CheckOptions {
+    /** 対象ドメイン。省略時は同梱テーブル全部 */
+    domains?: string[];
+    /**
+     * 外部事実（`isSubset` など）。**ファイル単体からは決定できない事実**を供給する口。
+     * 渡さなければ、それを要求する制約は `needs_external_fact` に縮退する（沈黙合格しない）。
+     */
+    given?: Record<string, unknown>;
+}
+/** PDF のバイト列に制約テーブルを当てる */
+export declare function checkBytes(bytes: Uint8Array, options?: CheckOptions): Promise<CheckReport>;
+/** ファイルパス版 */
+export declare function checkFile(path: string, options?: CheckOptions): Promise<CheckReport>;
+//# sourceMappingURL=check.d.ts.map

package/dist/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AASH,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAgB,MAAM,YAAY,CAAC;AAM7E,kBAAkB;AAClB,wBAAgB,UAAU,IAAI,MAAM,EAAE,CAErC;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAEvD;AAED,MAAM,WAAW,YAAY;IAC3B,0BAA0B;IAC1B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC;AAED,2BAA2B;AAC3B,wBAAsB,UAAU,CAC9B,KAAK,EAAE,UAAU,EACjB,OAAO,GAAE,YAAiB,GACzB,OAAO,CAAC,WAAW,CAAC,CA0CtB;AAED,cAAc;AACd,wBAAsB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,WAAW,CAAC,CAE9F"}

package/dist/check.js

@@ -0,0 +1,67 @@
+/**
+ * 高水準 API — ファイルを読んでテーブルを当てる。
+ *
+ * ここが CLI と pdf-verify-mcp の `validate_clauses` の共通入口になる。
+ * 返り値には**必ずテーブルとパッケージの版を含める**（同じ facts から同じ結果が出ることの
+ * 由来を「どの版のテーブルで判定したか」まで言えるようにするため。specs/18 §4.5）。
+ */
+import { readFileSync } from 'node:fs';
+import { createRequire } from 'node:module';
+import { dirname, join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { PDFDocument } from 'pdf-lib';
+import { evaluateConstraint, evaluateDocumentAsserts } from './evaluate.js';
+import { collectSubjects } from './facts/registry.js';
+const here = dirname(fileURLToPath(import.meta.url));
+const tablesDir = join(here, '..', 'tables');
+const packageVersion = createRequire(import.meta.url)('../package.json').version;
+/** 同梱テーブルの名前一覧 */
+export function listTables() {
+    return ['font-embedding', 'document-metadata'];
+}
+export function loadTable(name) {
+    return JSON.parse(readFileSync(join(tablesDir, `${name}.json`), 'utf8'));
+}
+/** PDF のバイト列に制約テーブルを当てる */
+export async function checkBytes(bytes, options = {}) {
+    const tables = (options.domains ?? listTables()).map(loadTable);
+    const given = Object.fromEntries(Object.entries(options.given ?? {}).map(([key, value]) => [`given.${key}`, value]));
+    const doc = await PDFDocument.load(bytes, { updateMetadata: false });
+    const scopes = tables.flatMap((t) => t.constraints.map((c) => c.appliesTo));
+    const subjectsByScope = collectSubjects(doc, scopes, given);
+    const report = {
+        packageVersion,
+        tables: tables.map((t) => ({ name: t.name, version: t.version })),
+        subjects: [...subjectsByScope.values()].reduce((sum, list) => sum + list.length, 0),
+        results: [],
+        violations: 0,
+    };
+    for (const table of tables) {
+        for (const constraint of table.constraints) {
+            const subjects = subjectsByScope.get(constraint.appliesTo) ?? [];
+            for (const subject of subjects) {
+                const result = evaluateConstraint(constraint, subject.facts);
+                result.target = subject.label;
+                report.results.push(result);
+                report.violations += result.failures?.length ?? 0;
+            }
+            // 文書横断の検査（subject を跨ぐので個別評価とは別立て）
+            const crossFailures = evaluateDocumentAsserts(constraint, subjects, given);
+            if (crossFailures.length > 0) {
+                report.results.push({
+                    constraint: constraint.id,
+                    target: '(document)',
+                    status: 'fail',
+                    failures: crossFailures,
+                });
+                report.violations += crossFailures.length;
+            }
+        }
+    }
+    return report;
+}
+/** ファイルパス版 */
+export async function checkFile(path, options = {}) {
+    return checkBytes(readFileSync(path), options);
+}
+//# sourceMappingURL=check.js.map

package/dist/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAC5E,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAGtD,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC7C,MAAM,cAAc,GAAW,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC;AAEzF,kBAAkB;AAClB,MAAM,UAAU,UAAU;IACxB,OAAO,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,OAAO,CAAC,EAAE,MAAM,CAAC,CAAoB,CAAC;AAC9F,CAAC;AAYD,2BAA2B;AAC3B,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,KAAiB,EACjB,UAAwB,EAAE;IAE1B,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAChE,MAAM,KAAK,GAAU,MAAM,CAAC,WAAW,CACrC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC,CACnF,CAAC;IAEF,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;IACrE,MAAM,MAAM,GAAY,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACrF,MAAM,eAAe,GAAG,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAE5D,MAAM,MAAM,GAAgB;QAC1B,cAAc;QACd,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACjE,QAAQ,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACnF,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,CAAC;KACd,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YACjE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC7D,MAAM,CAAC,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;gBAC9B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC5B,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC;YACpD,CAAC;YACD,kCAAkC;YAClC,MAAM,aAAa,GAAG,uBAAuB,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC3E,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;oBAClB,UAAU,EAAE,UAAU,CAAC,EAAE;oBACzB,MAAM,EAAE,YAAY;oBACpB,MAAM,EAAE,MAAM;oBACd,QAAQ,EAAE,aAAa;iBACxB,CAAC,CAAC;gBACH,MAAM,CAAC,UAAU,IAAI,aAAa,CAAC,MAAM,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,cAAc;AACd,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAY,EAAE,UAAwB,EAAE;IACtE,OAAO,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;AACjD,CAAC"}

package/dist/cli.d.ts

@@ -0,0 +1,14 @@
+#!/usr/bin/env node
+/**
+ * CLI — MCP 抜きで制約テーブルを当てる（CI の回帰などに使う）。
+ *
+ * **exit code は 3 値**:
+ *   0 = 違反なし（収録した制約の範囲で反証できなかった。適合の証明ではない）
+ *   1 = 違反あり
+ *   2 = 判定不能（引数不正・ファイルが開けない・評価に到達できない）
+ *
+ * 2 を分けているのは、**判定できなかったことを「合格」や「違反」と混ぜないため**。
+ * exit 0 を成功と読んだ結果を取り違えた事例（pdfnative 監査 G-1）の再演を避ける。
+ */
+export {};
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA;;;;;;;;;;GAUG"}

package/dist/cli.js

@@ -0,0 +1,95 @@
+#!/usr/bin/env node
+/**
+ * CLI — MCP 抜きで制約テーブルを当てる（CI の回帰などに使う）。
+ *
+ * **exit code は 3 値**:
+ *   0 = 違反なし（収録した制約の範囲で反証できなかった。適合の証明ではない）
+ *   1 = 違反あり
+ *   2 = 判定不能（引数不正・ファイルが開けない・評価に到達できない）
+ *
+ * 2 を分けているのは、**判定できなかったことを「合格」や「違反」と混ぜないため**。
+ * exit 0 を成功と読んだ結果を取り違えた事例（pdfnative 監査 G-1）の再演を避ける。
+ */
+import { checkFile, listTables } from './check.js';
+const USAGE = `Usage: pdf-constraints check <file.pdf> [options]
+
+Options:
+  --domain <name>     Table to apply (repeatable). Default: all bundled tables
+  --given <k=v>       Supply an external fact (repeatable), e.g. --given isSubset=true
+  --json              Print the raw report as JSON
+
+Bundled tables: ${listTables().join(', ')}
+
+Exit: 0 = no violations found, 1 = violations found, 2 = could not decide`;
+function formatReport(report) {
+    const lines = [];
+    lines.push(`# Constraint check (pdf-constraints@${report.packageVersion}; ` +
+        `${report.tables.map((t) => `${t.name} v${t.version}`).join(', ')})`, '');
+    for (const result of report.results) {
+        if (result.status === 'fail') {
+            for (const failure of result.failures ?? []) {
+                // 主語が processor の条文は「違反」と断定しない（specs/18 §1 / F-5）
+                const kind = failure.traceOnly ? 'TRACE' : 'FAIL ';
+                lines.push(`${kind} ${result.constraint} [${failure.clauses.join(', ')}] ${result.target}`, `      ${failure.message}`, `      ${failure.fact} = ${JSON.stringify(failure.actual)}`);
+            }
+        }
+        else if (result.status === 'needs_external_fact') {
+            lines.push(`SKIP  ${result.constraint} ${result.target} — needs ${result.missing} ` +
+                `(pass にも fail にも倒していない)`);
+        }
+    }
+    if (report.violations === 0)
+        lines.push('No violations found in the constraints checked.');
+    // 縮退した制約は要約にも出す。exit 0 は「違反が無かった」であって
+    // 「全部を検査できた」ではない — その差を数字で見せておかないと読み違えられる
+    const skipped = report.results.filter((r) => r.status === 'needs_external_fact').length;
+    lines.push('', `Subjects: ${report.subjects}  Violations: ${report.violations}` +
+        (skipped > 0 ? `  Not decided: ${skipped} (missing external facts — see --given)` : ''), 'Note: the absence of failures is not proof of conformance — only that nothing in the', 'bundled constraints could be disproved.');
+    return lines.join('\n');
+}
+async function main(argv) {
+    if (argv[0] !== 'check' || !argv[1]) {
+        console.error(USAGE);
+        return 2;
+    }
+    const file = argv[1];
+    const domains = [];
+    const given = {};
+    let asJson = false;
+    for (let i = 2; i < argv.length; i++) {
+        const arg = argv[i];
+        if (arg === '--domain' && argv[i + 1])
+            domains.push(argv[++i]);
+        else if (arg === '--json')
+            asJson = true;
+        else if (arg === '--given' && argv[i + 1]) {
+            const [key, raw] = argv[++i].split('=');
+            given[key] = raw === 'true' ? true : raw === 'false' ? false : raw;
+        }
+        else {
+            console.error(`Unknown argument: ${arg}\n\n${USAGE}`);
+            return 2;
+        }
+    }
+    let report;
+    try {
+        report = await checkFile(file, {
+            domains: domains.length > 0 ? domains : undefined,
+            given,
+        });
+    }
+    catch (error) {
+        // 開けない・壊れている・テーブルが無い — いずれも「判定できなかった」
+        console.error(`Could not decide: ${error instanceof Error ? error.message : String(error)}`);
+        return 2;
+    }
+    console.log(asJson ? JSON.stringify(report, null, 2) : formatReport(report));
+    return report.violations > 0 ? 1 : 0;
+}
+main(process.argv.slice(2))
+    .then((code) => process.exit(code))
+    .catch((error) => {
+    console.error(`Could not decide: ${error instanceof Error ? error.message : String(error)}`);
+    process.exit(2);
+});
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAGnD,MAAM,KAAK,GAAG;;;;;;;kBAOI,UAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;;0EAEiC,CAAC;AAE3E,SAAS,YAAY,CAAC,MAAmB;IACvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CACR,uCAAuC,MAAM,CAAC,cAAc,IAAI;QAC9D,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACtE,EAAE,CACH,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC7B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBAC5C,kDAAkD;gBAClD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;gBACnD,KAAK,CAAC,IAAI,CACR,GAAG,IAAI,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,EAC/E,SAAS,OAAO,CAAC,OAAO,EAAE,EAC1B,SAAS,OAAO,CAAC,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAC5D,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,CAAC,MAAM,KAAK,qBAAqB,EAAE,CAAC;YACnD,KAAK,CAAC,IAAI,CACR,SAAS,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,YAAY,MAAM,CAAC,OAAO,GAAG;gBACtE,yBAAyB,CAC5B,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAE3F,sCAAsC;IACtC,0CAA0C;IAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,qBAAqB,CAAC,CAAC,MAAM,CAAC;IACxF,KAAK,CAAC,IAAI,CACR,EAAE,EACF,aAAa,MAAM,CAAC,QAAQ,iBAAiB,MAAM,CAAC,UAAU,EAAE;QAC9D,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,OAAO,yCAAyC,CAAC,CAAC,CAAC,EAAE,CAAC,EACzF,sFAAsF,EACtF,yCAAyC,CAC1C,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,KAAK,UAAU,IAAI,CAAC,IAAc;IAChC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrB,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,IAAI,MAAM,GAAG,KAAK,CAAC;IAEnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,GAAG,KAAK,UAAU,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;aAC1D,IAAI,GAAG,KAAK,QAAQ;YAAE,MAAM,GAAG,IAAI,CAAC;aACpC,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACxC,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;QACrE,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,KAAK,CAAC,qBAAqB,GAAG,OAAO,KAAK,EAAE,CAAC,CAAC;YACtD,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IAED,IAAI,MAAmB,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,EAAE;YAC7B,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACjD,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,sCAAsC;QACtC,OAAO,CAAC,KAAK,CAAC,qBAAqB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC7F,OAAO,CAAC,CAAC;IACX,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;KACxB,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;KAClC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;IACf,OAAO,CAAC,KAAK,CAAC,qBAAqB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7F,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}

package/dist/evaluate.d.ts

@@ -0,0 +1,31 @@
+/**
+ * 述語評価器 — 依存ゼロの純粋関数。
+ *
+ * **同じ facts からは常に同じ結果**を返す（evaluate_policy のルールエンジンと同じ規律）。
+ * ここに I/O・時刻・乱数を持ち込まないこと。判定の再現性がこのパッケージの価値であり、
+ * テーブルと評価意味論が同一バージョンで結束していることがその担保になっている。
+ */
+import type { Constraint, ConstraintResult, Facts, Failure, Predicate, Subject } from './types.js';
+/**
+ * PDF 日付文字列（ISO 32000-2 §7.9.4）→ epoch ms。文法違反・値域外は null。
+ *
+ * §7.9.4 の既定値規則（MM/DD は 01、他は 0）と UT オフセットを解釈する。
+ * 「D:」以降は前方のフィールドが揃っている限り任意の位置で切れてよい（R-7.9.4-12）。
+ */
+export declare function parsePdfDate(value: unknown): number | null;
+/** 述語 1 つを評価する */
+export declare function evaluatePredicate(predicate: Predicate, facts: Facts): boolean;
+/**
+ * 制約 1 件を 1 つの subject に対して評価する。
+ *
+ * `given.*`（外部事実）が未供給のときは **pass にも fail にも倒さず** `needs_external_fact` を返す。
+ * 「サブセットか否か」のようにファイル単体から決定できない事実があり、
+ * それを既定値で埋めると沈黙合格（または冤罪）になるため。
+ */
+export declare function evaluateConstraint(constraint: Constraint, facts: Facts): ConstraintResult;
+/**
+ * 文書横断の検査。今は「同一フォントの別サブセットが別タグを持つか」（R-9.9.2-3 後段）のみ。
+ * 合成 fact `doc.subsetTagsPerBaseName` を subjects から組み立てて評価する。
+ */
+export declare function evaluateDocumentAsserts(constraint: Constraint, subjects: Subject[], facts: Facts): Failure[];
+//# sourceMappingURL=evaluate.d.ts.map

package/dist/evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../src/evaluate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAEV,UAAU,EACV,gBAAgB,EAChB,KAAK,EACL,OAAO,EACP,SAAS,EACT,OAAO,EACR,MAAM,YAAY,CAAC;AAEpB;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CA4B1D;AAED,kBAAkB;AAClB,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAkC7E;AAoBD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,GAAG,gBAAgB,CAiBzF;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,UAAU,EACtB,QAAQ,EAAE,OAAO,EAAE,EACnB,KAAK,EAAE,KAAK,GACX,OAAO,EAAE,CA8BX"}

package/dist/evaluate.js

@@ -0,0 +1,138 @@
+/**
+ * 述語評価器 — 依存ゼロの純粋関数。
+ *
+ * **同じ facts からは常に同じ結果**を返す（evaluate_policy のルールエンジンと同じ規律）。
+ * ここに I/O・時刻・乱数を持ち込まないこと。判定の再現性がこのパッケージの価値であり、
+ * テーブルと評価意味論が同一バージョンで結束していることがその担保になっている。
+ */
+/**
+ * PDF 日付文字列（ISO 32000-2 §7.9.4）→ epoch ms。文法違反・値域外は null。
+ *
+ * §7.9.4 の既定値規則（MM/DD は 01、他は 0）と UT オフセットを解釈する。
+ * 「D:」以降は前方のフィールドが揃っている限り任意の位置で切れてよい（R-7.9.4-12）。
+ */
+export function parsePdfDate(value) {
+    if (typeof value !== 'string')
+        return null;
+    const m = /^D:(\d{4})(\d{2})?(\d{2})?(\d{2})?(\d{2})?(\d{2})?(?:([Z+-])(?:(\d{2})'?(\d{2})?'?)?)?$/.exec(value);
+    if (!m)
+        return null;
+    const [, year, month = '01', day = '01', hour = '00', min = '00', sec = '00', sign, oh = '00', om = '00',] = m;
+    const mo = Number(month);
+    const d = Number(day);
+    const h = Number(hour);
+    const mi = Number(min);
+    const s = Number(sec);
+    if (mo < 1 || mo > 12 || d < 1 || d > 31 || h > 23 || mi > 59 || s > 59)
+        return null;
+    const offsetMinutes = sign === '+' || sign === '-' ? (Number(oh) * 60 + Number(om)) * (sign === '-' ? -1 : 1) : 0; // R-7.9.4-17: UT 情報が無ければ GMT とみなす
+    return Date.UTC(Number(year), mo - 1, d, h, mi, s) - offsetMinutes * 60_000;
+}
+/** 述語 1 つを評価する */
+export function evaluatePredicate(predicate, facts) {
+    const actual = facts[predicate.fact];
+    switch (predicate.op) {
+        case 'eq':
+            return actual === predicate.value;
+        case 'in':
+            return Array.isArray(predicate.value) && predicate.value.includes(actual);
+        case 'exists':
+            return (actual !== null && actual !== undefined) === predicate.value;
+        case 'matches':
+            return typeof actual === 'string' && new RegExp(String(predicate.value)).test(actual);
+        case 'superset':
+            return (Array.isArray(actual) &&
+                Array.isArray(predicate.value) &&
+                predicate.value.every((needle) => actual.includes(needle)));
+        case 'eqFact':
+            return actual === facts[String(predicate.value)];
+        case 'dateEquiv': {
+            // 「fully equivalent」は文字列一致ではなく**同一時点**（R-14.3.4-2/-4/-5）。
+            // 左は PDF 日付文字列、右は fact 参照（ISO 8601）。
+            const left = parsePdfDate(actual);
+            const right = Date.parse(String(facts[String(predicate.value)]));
+            return left !== null && !Number.isNaN(right) && left === right;
+        }
+        case 'allDistinct':
+            return Array.isArray(actual) && new Set(actual).size === actual.length;
+        default: {
+            // 未知の op はテーブルと評価器の版ずれを意味する。黙って false（= 違反）にしない
+            const exhaustive = predicate.op;
+            throw new Error(`unknown predicate op: ${String(exhaustive)}`);
+        }
+    }
+}
+function checkAssertion(assertion, facts, constraint) {
+    if (assertion.onlyWhen && !assertion.onlyWhen.every((p) => evaluatePredicate(p, facts))) {
+        return undefined;
+    }
+    if (evaluatePredicate(assertion, facts))
+        return undefined;
+    return {
+        clauses: constraint.clauses,
+        message: assertion.onFail,
+        fact: assertion.fact,
+        actual: facts[assertion.fact],
+        traceOnly: constraint.subjectNote !== undefined,
+    };
+}
+/**
+ * 制約 1 件を 1 つの subject に対して評価する。
+ *
+ * `given.*`（外部事実）が未供給のときは **pass にも fail にも倒さず** `needs_external_fact` を返す。
+ * 「サブセットか否か」のようにファイル単体から決定できない事実があり、
+ * それを既定値で埋めると沈黙合格（または冤罪）になるため。
+ */
+export function evaluateConstraint(constraint, facts) {
+    const base = { constraint: constraint.id, target: '' };
+    for (const condition of constraint.when) {
+        if (condition.fact.startsWith('given.') && facts[condition.fact] === undefined) {
+            return { ...base, status: 'needs_external_fact', missing: condition.fact };
+        }
+        if (!evaluatePredicate(condition, facts)) {
+            return { ...base, status: 'not_applicable' };
+        }
+    }
+    const failures = constraint.assert
+        .map((assertion) => checkAssertion(assertion, facts, constraint))
+        .filter((f) => f !== undefined);
+    return failures.length > 0 ? { ...base, status: 'fail', failures } : { ...base, status: 'pass' };
+}
+/**
+ * 文書横断の検査。今は「同一フォントの別サブセットが別タグを持つか」（R-9.9.2-3 後段）のみ。
+ * 合成 fact `doc.subsetTagsPerBaseName` を subjects から組み立てて評価する。
+ */
+export function evaluateDocumentAsserts(constraint, subjects, facts) {
+    const failures = [];
+    for (const assertion of constraint.documentAssert ?? []) {
+        if (assertion.fact !== 'doc.subsetTagsPerBaseName' || assertion.op !== 'allDistinct')
+            continue;
+        // サブセット前提の検査なので、given が無ければ黙って飛ばす（needs_external_fact は
+        // 制約本体の評価が返している）
+        for (const condition of constraint.when) {
+            if (condition.fact.startsWith('given.') && !evaluatePredicate(condition, facts))
+                return [];
+        }
+        const tagsByBaseName = new Map();
+        for (const subject of subjects) {
+            const parsed = /^([A-Z]{6})\+(.+)$/.exec(String(subject.facts['font.baseFont'] ?? ''));
+            if (!parsed)
+                continue;
+            const [, tag, baseName] = parsed;
+            tagsByBaseName.set(baseName, [...(tagsByBaseName.get(baseName) ?? []), tag]);
+        }
+        for (const [baseName, tags] of tagsByBaseName) {
+            if (new Set(tags).size !== tags.length) {
+                failures.push({
+                    clauses: constraint.clauses,
+                    message: `${assertion.onFail} (base=${baseName}, tags=${tags.join(',')})`,
+                    fact: assertion.fact,
+                    actual: tags,
+                    traceOnly: constraint.subjectNote !== undefined,
+                });
+            }
+        }
+    }
+    return failures;
+}
+//# sourceMappingURL=evaluate.js.map

package/dist/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../src/evaluate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAYH;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,CAAC,GACL,yFAAyF,CAAC,IAAI,CAC5F,KAAK,CACN,CAAC;IACJ,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,CACJ,AADK,EAEL,IAAI,EACJ,KAAK,GAAG,IAAI,EACZ,GAAG,GAAG,IAAI,EACV,IAAI,GAAG,IAAI,EACX,GAAG,GAAG,IAAI,EACV,GAAG,GAAG,IAAI,EACV,IAAI,EACJ,EAAE,GAAG,IAAI,EACT,EAAE,GAAG,IAAI,EACV,GAAG,CAAC,CAAC;IACN,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACzB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;QAAE,OAAO,IAAI,CAAC;IACrF,MAAM,aAAa,GACjB,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kCAAkC;IACjI,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,aAAa,GAAG,MAAM,CAAC;AAC9E,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,iBAAiB,CAAC,SAAoB,EAAE,KAAY;IAClE,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,QAAQ,SAAS,CAAC,EAAE,EAAE,CAAC;QACrB,KAAK,IAAI;YACP,OAAO,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC;QACpC,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC5E,KAAK,QAAQ;YACX,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC;QACvE,KAAK,SAAS;YACZ,OAAO,OAAO,MAAM,KAAK,QAAQ,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxF,KAAK,UAAU;YACb,OAAO,CACL,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBACrB,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;gBAC9B,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAC3D,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,0DAA0D;YAC1D,qCAAqC;YACrC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACjE,OAAO,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,KAAK,CAAC;QACjE,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC;QACzE,OAAO,CAAC,CAAC,CAAC;YACR,gDAAgD;YAChD,MAAM,UAAU,GAAU,SAAS,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,SAAoB,EACpB,KAAY,EACZ,UAAsB;IAEtB,IAAI,SAAS,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACxF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1D,OAAO;QACL,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,OAAO,EAAE,SAAS,CAAC,MAAM;QACzB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC;QAC7B,SAAS,EAAE,UAAU,CAAC,WAAW,KAAK,SAAS;KAChD,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAsB,EAAE,KAAY;IACrE,MAAM,IAAI,GAAG,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAEvD,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAC/E,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;QAC7E,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;YACzC,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM;SAC/B,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;SAChE,MAAM,CAAC,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAEhD,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACnG,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,UAAsB,EACtB,QAAmB,EACnB,KAAY;IAEZ,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QACxD,IAAI,SAAS,CAAC,IAAI,KAAK,2BAA2B,IAAI,SAAS,CAAC,EAAE,KAAK,aAAa;YAAE,SAAS;QAC/F,wDAAwD;QACxD,iBAAiB;QACjB,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;QAC7F,CAAC;QAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;QACnD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACvF,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,MAAM,CAAC;YACjC,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/E,CAAC;QACD,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,cAAc,EAAE,CAAC;YAC9C,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBACvC,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,UAAU,CAAC,OAAO;oBAC3B,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,UAAU,QAAQ,UAAU,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;oBACzE,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,MAAM,EAAE,IAAI;oBACZ,SAAS,EAAE,UAAU,CAAC,WAAW,KAAK,SAAS;iBAChD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/facts/document.d.ts

@@ -0,0 +1,11 @@
+/**
+ * scope `document` の fact 抽出（Info 辞書と XMP）。
+ *
+ * XMP は**外形しか見ない**（xpacket + x:xmpmeta があるか）。R-14.3.2-2 は文法が
+ * ISO 16684-1 に従うことまで要求するが、その規格は family のコーパス外なので
+ * ここでの検査は近似である — テーブル側の `notMapped` にその旨を書いてある。
+ */
+import { type PDFDocument } from 'pdf-lib';
+import type { Facts, Subject } from '../types.js';
+export declare function extractDocumentFacts(doc: PDFDocument, given: Facts): Subject;
+//# sourceMappingURL=document.d.ts.map

package/dist/facts/document.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"document.d.ts","sourceRoot":"","sources":["../../src/facts/document.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAA+B,KAAK,WAAW,EAAyB,MAAM,SAAS,CAAC;AAC/F,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAgBlD,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAwD5E"}