讓每條線，都有出處。DECLARATION ATLAS / 15
從建表宣告，讀出關聯。
把 PostgreSQL CREATE TABLE 的明示結構，整理成可回到來源的 ER 圖與資料表文件。看清複合鍵與自我引用，也看清哪些只是候選、哪些沒有被解析；不連資料庫，不執行 migration。
01 ／ 放入宣告，不執行它
POSTGRESQL 18 · BOUNDED SUBSET固定案例均人工合成；輸入與載入不觸發解析，按 Run 才建立專用 worker。
最多 500,000 UTF-16；tokens 50K／單 token 4,096 units、comment 100K／nested depth 32、parentheses 32、statements 500、tables 100、每表 columns 200／總共 2,000、constraints／edges 各 1,000、work 200K；type tokens 128／units 4,096。超限不保留截斷成功模型。只支援明示窄版 CREATE TABLE，不是完整 SQL 方言辨識器。
02 ／ 每條連線，只代表已宣告的 FK
預設以可讀字級顯示，圖內可水平／垂直捲動；聚焦圖框可用方向鍵捲動。線段不放擁擠標籤，以完整關聯清單核對。點表／欄位／PK 可選原始範圍，點線可看 FK；鍵盤亦可操作，下方文字文件提供同等導覽。完整圖與匯出包含所有接受的表、欄位及 FK 記錄，不靜默省略。Renderer 上限 2M display units／100K lines，超限不提供截斷 SVG，仍可看文字文件／摘要。Control code units／lone surrogates 以明確 Unicode escapes 顯示，避免無效 XML；原始來源與 JSON summary 身分不變。
03 ／ 表、欄位與原始定義
ACCESSIBLE DOCUMENT / SAME ACCEPTED MODEL04 ／ 檢查綁定，不把候選當證明
ORDERED KEYS / DECLARED RELATIONSHIPSQualified source 與 target 都明確且欄位存在，才是 resolved-local。未限定名稱不猜 public／同 schema／search_path。省略 target list 只可由符合資格的明示 target PK 推導，顯示 PK 來源；缺 target／欄位／arity 問題不造連線。Target 唯一性、型別相容、DB 接受性均未驗證。
05 ／ 不支援與錯誤，逐項留下
COVERAGE ≠ DATABASE VALIDATIONStatement 覆蓋與支援邊界
支援欄位型別的有界 lexical description、NULL／NOT NULL、命名 PK／FK、ordered composite keys、self refs、有限 MATCH／actions／deferrability。PK 顯示 not-null，但原始 NULL／NOT NULL 位置仍保留。DEFAULT／CHECK／UNIQUE／GENERATED／COLLATE／TEMP／IF NOT EXISTS／INHERITS／PARTITION 等不處理，不搜索被拒絕尾部猜後續 constraints。
Lexer 辨識 doubled quotes、standard／E／ASCII dollar-tag strings 與 nested comments；非 ASCII unquoted、U&、ambiguous backslash／未終止 lexical remainder 停止，不猜 SET 影響。ALTER／DROP／SET 未執行且不改動已接受 CREATE snapshots。Complete 只是覆蓋此宣告子集，不是 DB validation 或 migration 最終狀態；空／純註解輸入也不是資料庫 schema 證明。
06 ／ 匯出圖與精簡文件
NAMES ARE STILL SENSITIVESVG 含完整接受模型、所有欄位、PK／FK／綁定 legend 與覆蓋狀態，固定字級，不含 raw DDL／default／literal／註解本文或來源 snippets。Partial／invalid 可匯出保留的模型，但有明顯不完整標記與診斷計數；limit 無模型不匯出。摘要只呼叫公開投影 helper，保留 metadata／位置，不是匿名化。不匯出或執行原始 SQL。
宣告的地圖，不是資料庫的實況。
免登入、不連 DB、不 fetch、不執行 DDL 或 migration、不推論名稱相似的關聯。來源只在頁面與專用 module worker 記憶體；不記錄輸入、不永久保存、不放進 query／hash／分享 URL。每次 Run 獨立 worker，20 秒逾時、取消、編輯、清除、重跑、離開或錯誤會終止；沒有主執行緒 parser fallback。
原始來源位置為 UTF-16 end-exclusive，行／欄從 1 起算。圖是 app-owned 原生 SVG，所有名稱與型別純文字、固定安全 attrs／數字幾何，沒有外部圖形依賴／圖片／連結／foreignObject。下載連結短期回收；分享前仍須檢查敏感 metadata。