MAGICPART / 使い方

短いコマンド、検証できる結果。

HGR ハイパーグラフを入力します。初期分割と 1 回の native V-cycle を実行し、最終 cut と厳密な paper balance を検証します。

macOS arm64 バンドルをダウンロードして展開します。
リリース manifest と SHA-256 を照合します。
python3 が Python 3.9+ であることを確認し、新しい出力先を指定します。

magicpart / quick start

./bin/magicpart \
  --input ibm01.hgr \
  --imbalance 2 \
  --seed 1 \
  --output runs/ibm01-ub2-s1

出力を読む

final.part.2 が最終結果です。元の頂点順に、1 行に 1 つの 0／1 ブロックラベルを出力します。initial.part.2 は初期分割です。run_summary.json に cut、重み、ハッシュ、適合性を記録します。不適合の final は保存され、終了コード 2 を返します。修復や再抽選は行わないでください。

ベンチマークを再現する

各インスタンスと 2%／10% の許容値で seeds 1–24 を実行します。厳密な条件を満たす final から最小 cut を選び、同点なら最小 seed を採用します。単一 seed は best-of-24 を保証しません。

macOS で初めて実行する

凍結コアは ad-hoc 署名のみで、Developer ID 署名・公証はありません。SHA-256 を確認し、ブロックされた場合は「プライバシーとセキュリティ」の案内に従って許可してください。Gatekeeper を全体で無効化しないでください。ローカルではテスト済みですが、別の Mac では未検証です。