💤 z-idx

z-index の DAG 化で宣言的な重なり順を安定した数値レイヤーへ変換し複数 UI ライブラリで共有します。

Getting Started
Rationale

Pair Catalogue
Topology Atlas

Extensions
Appendix

Getting Started

Installation

npm i z-idx

Example

const base = index((z) => z(['overlay1', 'overlay2'], 'Github'), { step: 1 })
const next = base((z) => z('overlay2', ['modal1', 'modal2']))

if (base.Github !== next.Github) throw Error()

render(<MenuPlayground api={next} />)

Purpose

z-idx は宣言的な部分順序の z 関係を、拡張しても揺らがない数値スタック順位に変換する。直列チェーン、親 → 子ツリー、入れ子を受け取り、すべてのキー名を TypeScript 推論に持ち上げることで、下流のパッケージでも override 後に同一の数値を共有できる。

Rationale

Core Concepts

z-idx はヘルパー z を受け取る。z('a','b','c') のように複数文字列を渡すと一様ステップの順序対 a<b<c を生成する。 z('a',['b','c','d']) のように親と配列を渡すと親を各子の下に結びつけ、兄弟を同一ランクに配置する。入れ子配列や既存の Edge を埋め込めるので、順序を失わずに木状の DAG を記述できる。ランクは START (1<<10) から始まりステップ STEP (1<<10) で等間隔を取るため、後続の挿入でシードを動かさずに隙間を二分できる。最初のトポロジカルパス（Kahn）がサイクルを拒否し、二度目のパスで各ノードの上下界を計算する。

Type Inference

z-idx の戻り値は呼び出し可能なマップオブジェクトを返す。build 中に現れたすべてのキーが返り値の型としてキャプチャされ、エディタはプロパティ補完（base.a, base.b）や拡張時の既存キー提示（base((z)=>[z('b','x','c')])）を行える。 Edge は配列内に入っても埋め込まれたキー集合を保持するため、深く合成したツリーでも補完がすべて表示される。

API Surface

(build: (z: ZFun) => P): ZApi<Keys<P>>

ZFun は二つの形を持つ。直列形: z(lower, mid, upper, ...) が連続関係を作る。ツリー形: z(parent, childrenArray) で、childrenArray は文字列・入れ子配列・Edge を含められ、配列内の兄弟は同一ランクを共有する。返る ZApi は拡張呼び出しが可能で、名前をキーとした数値ランクを公開する。

Pair Catalogue

Pair Basics

直列チェーンで決定的ステップ: z('a','b','c','d') は一定間隔で昇順に並ぶ。親配列の平坦化: z('a',['b','c','d']) は a を各子の下に置き、兄弟を同一ランクに配置。チェーンとサブツリーを混在させても一様ステップを維持（z('a','b','c'), z('b',['d','e'])）。深い入れ子配列も親の一段上に畳まれ、兄弟のランク同一性を保持。

Pair Recursion

Edge は子として再利用できる。 z('a',[z('b','c','d'),'e']) で a をチェーン b<c<d の下かつ兄弟 e の下に配置する。複数のサブツリーが同じ親を持つ場合、親を下限として各サブツリーの内部順序を維持する。トップレベルのチェーンと兄弟配列を混在させても各分岐点で一様ステップを保つ。直列・配列入力すべてをまたいで推論し、返り値が全ノードを露出する。

Pair Inference

入れ子のサブツリーもステップを失わず再帰する。z('a',[z('b',[z('c','d'),'e']), z('f',['g'])]) は a が b と f の両方の下に位置し、b は c<d と e の下、f は g の下に置かれ、単調ランクを生成する。 z('a',[['b','c'],['d','e'],'f']) のような深く包んだ兄弟配列は a の上にグループ化され、サブ配列がグループ間の順序を導入する。チェーンとツリーを組み合わせた拡張ではシードを動かさずに間へ新規ノードを置き、新キーは下限より大きく上限より小さい位置を保つ。さらに z('a',['b','c']), z('b',[z('d',['e',z('f','g')]),'h']) のような合成でも 8 つのキーが順序付きで API に現れる。

Topology Atlas

Three Nodes

3 頂点の非同型 DAG 6 形すべてを表現。直線 a<b<c は整列を維持。単一親の兄弟配列 a<[b,c] は両方の子を親より上の同一ランクに配置。二つの根が一つのシンクへ（a->c, b->c）滑らかに収束。完全密な三角形（a->b, a->c, b->c）は推移律を守る。 z('a',[z('b','c')]) のような入れ子ペア配列も同じ順序に畳まれる。後から届く祖先ペアでも正準のトポロジー順になる。

flowchart TB
    g[" "]
    a ~~~ g
    g ~~~ b
    g ~~~ c
    style g fill:none,stroke:none,color:none

z(['a', 'b', 'c'])

flowchart TB
    g[" "]
    a ~~~ g
    g ~~~ b
    g ~~~ c
    style g fill:none,stroke:none,color:none
    a --> b

z('a', 'b')

flowchart TB
    g[" "]
    a ~~~ g
    g ~~~ b
    g ~~~ c
    style g fill:none,stroke:none,color:none
    a --> b
    a --> c

z('a', ['b', 'c'])

flowchart TB
    g[" "]
    a ~~~ g
    g ~~~ b
    g ~~~ c
    style g fill:none,stroke:none,color:none
    b ---> a
    c ---> a

z(['b', 'c'], 'a')

flowchart TB
    g[" "]
    a ~~~ g
    g ~~~ b
    g ~~~ c
    style g fill:none,stroke:none,color:none
    a --> b
    b --> c

z('a', 'b', 'c')

flowchart TB
    g[" "]
    a ~~~ g
    g ~~~ b
    g ~~~ c
    style g fill:none,stroke:none,color:none
    a --> b
    b --> c
    a --> c

z('a', 'b', 'c'), z('a', 'c')

Four Nodes

4 頂点の DAG 一覧（31 形）は、チェーン、ファン、ダイヤ、はしご、マージした根を組み合わせて表現可能。ダイヤ a->b, a->c, b->d, c->d、平衡フォーク a->[b,c,d]、兄弟順逆転 a->[d,c,b]、筋交いはしご a->b, a->c, b->c, c->d、尾を持つ並列根、シンク前に合流する二つの根などを含む。全同型分類で決定的な間隔を保ち、チェーンは一様ストライドを維持しファン兄弟は同一ランクを共有する。

6 edges

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    a --> c
    b --> d
    a --> d
    b --> c
    c --> d

z(['a', 'b'], ['c', 'd']), z('a', 'b'), z('c', 'd')

5 edges

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    b --> d
    a --> b
    a --> d
    a --> c
    b --> c

z(['a', 'b'], ['c', 'd']), z('a', 'b')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> c
    a --> d
    c --> d
    b --> d
    b --> c

z(['a', 'b'], ['c', 'd']), z('c', 'd')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> c
    a --> b
    c --> d
    a --> d
    b --> c

z('a', ['b', 'c', 'd']), z('b', 'c', 'd')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        c
    end
    subgraph y[" "]
        direction TB
        b
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    a --> d
    a --> c
    b --> d
    c --> d

z('a', ['b', 'c'], 'd'), z('a', 'd')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> c
    a --> b
    b --> c
    c --> d
    b --> d

z('a', ['b', 'c'], 'd'), z('b', 'c')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    a --> d
    b --> c
    b --> d
    c --> d

z('a', 'b', ['c', 'd']), z(['a', 'c'], 'd')

4 edges

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> c
    b --> d
    a --> d
    b --> c

z(['a', 'b'], ['c', 'd'])

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    a --> c
    a --> d
    b --> c

z('a', ['b', 'c', 'd']), z('b', 'c')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    a --> c
    b --> c
    b --> d

z('a', ['b', 'c']), z('b', ['c', 'd'])

flowchart LR
    subgraph x[" "]
        direction TB
        a
        c
    end
    subgraph y[" "]
        direction TB
        b
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    a --> c
    b --> c
    c --> d

z('a', 'b', 'c', 'd'), z('a', 'c')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    a --> d
    b --> c
    c --> d

z('a', 'b', 'c', 'd'), z('a', 'd')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> c
    a --> d
    b --> c
    c --> d

z(['a', 'b'], 'c', 'd'), z('a', 'd')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    a --> c
    b --> d
    c --> d

z('a', ['b', 'c'], 'd')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> c
    a --> d
    b --> d
    c --> d

z('a', ['c', 'd']), z(['b', 'c'], 'd')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    b --> c
    b --> d
    c --> d

z('a', 'b', 'c', 'd'), z('b', 'd')

3 edges

flowchart LR
    subgraph x[" "]
        direction TB
        a
        c
    end
    subgraph y[" "]
        direction TB
        b
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    a --> c
    a --> d

z('a', ['b', 'c', 'd'])

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    a --> c
    b --> c

z('a', ['b', 'c']), z('b', 'c')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> c
    a --> d
    b --> c

z(['a', 'b'], 'c'), z('a', 'd')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    b --> c
    b --> d

z('a', 'b', ['c', 'd'])

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    b --> c
    c --> d

z('a', 'b', 'c', 'd')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        c
    end
    subgraph y[" "]
        direction TB
        b
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> c
    b --> c
    c --> d

z(['a', 'b'], 'c', 'd')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> d
    b --> c
    c --> d

z('a', 'd'), z('b', 'c', 'd')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        c
    end
    subgraph y[" "]
        direction TB
        b
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> d
    b --> d
    c --> d

z(['a', 'b', 'c'], 'd')

2 edges

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    b --> c

z('a', 'b', 'c')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        c
    end
    subgraph y[" "]
        direction TB
        b
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    a --> c

z('a', ['b', 'c'])

flowchart LR
    subgraph x[" "]
        direction TB
        a
        b
    end
    subgraph y[" "]
        direction TB
        c
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> c
    b --> c

z(['a', 'b'], 'c')

flowchart LR
    subgraph x[" "]
        direction TB
        a
        c
    end
    subgraph y[" "]
        direction TB
        b
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b
    c --> d

z('a', 'b'), z('c', 'd')

1 edges

flowchart LR
    subgraph x[" "]
        direction TB
        a
        c
    end
    subgraph y[" "]
        direction TB
        b
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none
    a --> b

z('a', 'b')

0 edges

flowchart LR
    subgraph x[" "]
        direction TB
        a
        c
    end
    subgraph y[" "]
        direction TB
        b
        d
    end
    a ~~~ b
    c ~~~ d
    style x fill:none,stroke:none
    style y fill:none,stroke:none

z(['a', 'b', 'c', 'd'])

Five Nodes

5 頂点ではチェーン、広いファン、多源ファンネル、尾付きダイヤ、交差するはしご、二段の平衡木、子を伸ばした部分ファン、中間ノード分割、頭付きダイヤまで網羅。各構成でトポロジー順の隣接間隔が等しく、辺が増えても根から葉までの単調性が崩れないことを確認。すべてのキーが最終順序に参加し、宣言した制約を破る隠れた並べ替えが存在しないことを検証。

chain wide fan funnel diamond tail

chain	wide fan	funnel	diamond tail
`flowchart LR g[" "] g ~~~ a g ~~~ b g ~~~ c g ~~~ d g ~~~ e style g fill:none,stroke:none,color:none a --> b b --> c c --> d d --> e` `z('a', 'b', 'c', 'd', 'e')`	`flowchart LR g[" "] g ~~~ a g ~~~ b g ~~~ c g ~~~ d g ~~~ e style g fill:none,stroke:none,color:none a --> b a --> c a --> d a --> e` `z('a', ['b', 'c', 'd', 'e'])`	`flowchart LR g[" "] g ~~~ a g ~~~ b g ~~~ c g ~~~ d g ~~~ e style g fill:none,stroke:none,color:none a --> e b --> e c --> e d --> e` `z(['a', 'b', 'c', 'd'], 'e')`	`flowchart LR g[" "] g ~~~ a g ~~~ b g ~~~ c g ~~~ d g ~~~ e style g fill:none,stroke:none,color:none a --> b a --> c b --> d c --> d d --> e` `z('a', ['b', 'c'], 'd', 'e')`
interleaved ladders	balanced two-level	fan with deep child	diamond head
`flowchart LR g[" "] g ~~~ a g ~~~ b g ~~~ c g ~~~ d g ~~~ e style g fill:none,stroke:none,color:none a --> b b --> e a --> c c --> d d --> e` `z('a', 'b', 'e'), z('a', 'c', 'd', 'e')`	`flowchart LR g[" "] g ~~~ a g ~~~ b g ~~~ c g ~~~ d g ~~~ e style g fill:none,stroke:none,color:none a --> b a --> c b --> d c --> e` `z('a', 'b', 'd'), z('a', 'c', 'e')`	`flowchart LR g[" "] g ~~~ a g ~~~ b g ~~~ c g ~~~ d g ~~~ e style g fill:none,stroke:none,color:none a --> b a --> c a --> d d --> e` `z('a', ['b', 'c', 'd']), z('d', 'e')`	`flowchart LR g[" "] g ~~~ a g ~~~ b g ~~~ c g ~~~ d g ~~~ e style g fill:none,stroke:none,color:none a --> b b --> c b --> d c --> e d --> e` `z('a', 'b', ['c', 'd'], 'e')`

flowchart LR
    g[" "]
    g ~~~ a
    g ~~~ b
    g ~~~ c
    g ~~~ d
    g ~~~ e
    style g fill:none,stroke:none,color:none
    a --> b
    b --> c
    c --> d
    d --> e

z('a', 'b', 'c', 'd', 'e')

flowchart LR
    g[" "]
    g ~~~ a
    g ~~~ b
    g ~~~ c
    g ~~~ d
    g ~~~ e
    style g fill:none,stroke:none,color:none
    a --> b
    a --> c
    a --> d
    a --> e

z('a', ['b', 'c', 'd', 'e'])

flowchart LR
    g[" "]
    g ~~~ a
    g ~~~ b
    g ~~~ c
    g ~~~ d
    g ~~~ e
    style g fill:none,stroke:none,color:none
    a --> e
    b --> e
    c --> e
    d --> e

z(['a', 'b', 'c', 'd'], 'e')

flowchart LR
    g[" "]
    g ~~~ a
    g ~~~ b
    g ~~~ c
    g ~~~ d
    g ~~~ e
    style g fill:none,stroke:none,color:none
    a --> b
    a --> c
    b --> d
    c --> d
    d --> e

z('a', ['b', 'c'], 'd', 'e')

interleaved ladders balanced two-level fan with deep child diamond head

flowchart LR
    g[" "]
    g ~~~ a
    g ~~~ b
    g ~~~ c
    g ~~~ d
    g ~~~ e
    style g fill:none,stroke:none,color:none
    a --> b
    b --> e
    a --> c
    c --> d
    d --> e

z('a', 'b', 'e'), z('a', 'c', 'd', 'e')

flowchart LR
    g[" "]
    g ~~~ a
    g ~~~ b
    g ~~~ c
    g ~~~ d
    g ~~~ e
    style g fill:none,stroke:none,color:none
    a --> b
    a --> c
    b --> d
    c --> e

z('a', 'b', 'd'), z('a', 'c', 'e')

flowchart LR
    g[" "]
    g ~~~ a
    g ~~~ b
    g ~~~ c
    g ~~~ d
    g ~~~ e
    style g fill:none,stroke:none,color:none
    a --> b
    a --> c
    a --> d
    d --> e

z('a', ['b', 'c', 'd']), z('d', 'e')

flowchart LR
    g[" "]
    g ~~~ a
    g ~~~ b
    g ~~~ c
    g ~~~ d
    g ~~~ e
    style g fill:none,stroke:none,color:none
    a --> b
    b --> c
    b --> d
    c --> e
    d --> e

z('a', 'b', ['c', 'd'], 'e')

Extensions

Extension Stability

初回ビルドは再現可能で、同一入力は同一ランクを返す。追加関係で拡張してもシード値は不変のまま、有効な上下界の中央値に新ノードを挿入する（d = mid(a+1, b-1)）。異なる領域で拡張を連鎖しても初期挿入が固定され、ランク付けがシードを不変フェンスとして使うことを示す。入れ子ツリー簡記が広い間隔を確保していても、兄弟間への挿入で元位置を保ったまま対称に隙間を狭める。

Extension Density

反復的な中央値挿入でギャップ収縮を実証。 a<b から始め、c、d、e、f を順に override すると残り間隔が半分や四分の一になる。先行挿入 c は初回中央値に固定され、新規点は縮むウィンドウの内側にのみ配置される。中央値の両側、または右側だけを狙っても順序は保たれ、シードは動かない。

Extension Packing

初期区間の外側でも機能する。最大シードより上にノードを置く場合は STEP 幅の間隔を使用し、最小シードより下に置く場合はダイアディック区間分割を使用する。大きなギャップ中心付近に密集させてもシードは安定。外側挿入と内側中央値を混在させてもフェンスはそのまま、既存シード間にさらなるノードを重ねられる。複数領域の兄弟間隔を連続 override で独立に細分化でき、後続分割は前の区間より狭くなる。サイクルは即座に例外を投げ、拡張呼び出しでも DAG 前提を守る。

Appendix

Design Notes

実装は宣言された全ペアとシード追加分に Kahn のトポロジカルソートを適用し、親子辺を通じた前向き・後ろ向きの制約伝播で上下フェンスを導出する。定数 STEP 1024 が初期ギャップを定義し、ダイアディック関数（1 << (31 - clz32(n))）が挿入カスケード時に利用可能スパン内で収まる最大の 2 の冪を選んで区間を分割する。フェンス伝播は DAG を前方（下限）と後方（上限）に走査し、各実行で決定性を保つ。

Contributing

貢献時は既存の Vitest 群（pair 基礎・再帰・推論、トポロジー 3〜5 ノード、拡張の安定性・密度・パッキング）に合わせ、外部フィクスチャに頼らず順序、ステップ一定、シード保持を検証すること。

License

MIT

Contents​

Getting Started​

Installation​

Example​

Purpose​

Rationale​

Core Concepts​

Type Inference​

API Surface​

Pair Catalogue​

Pair Basics​

Pair Recursion​

Pair Inference​

Topology Atlas​

Three Nodes​

Four Nodes​

6 edges​

5 edges​

4 edges​

3 edges​

2 edges​

1 edges​

0 edges​

Five Nodes​

Extensions​

Extension Stability​

Extension Density​

Extension Packing​

Appendix​

Design Notes​

Contributing​

License​

Contents