生成ループが緑を返した後に、私が手元で回している4つの受け入れ検査

#!/usr/bin/env python3
"""成果物（.apk / .aab）を ZIP として開き、
ビルドの成否では分からない4点を検査する。
 
使い方: python3 preflight_artifact.py app-release.aab --min-sdk 23
終了コード: 0=通過 / 1=要確認あり
"""
import argparse
import collections
import re
import sys
import zipfile
 
# 1) デシュガリング: java.util.function.* を参照しているのに
#    置き換え後のクラスが無いと、minSdk < 24 の端末で落ちる
DESUGARED_TARGETS = [
    b"Ljava/util/function/Supplier;",
    b"Ljava/util/function/Consumer;",
    b"Ljava/util/Optional;",
    b"Ljava/time/Duration;",
]
DESUGARED_PREFIX = b"Lj$/"
 
# 4) 成果物に入っていてはいけないもの
FORBIDDEN_PATTERNS = [
    re.compile(r"\.map$"),                        # ソースマップの同梱
    re.compile(r"(^|/)\.env(\.|$)"),              # 環境変数ファイル
    re.compile(r"\.(keystore|jks|p8|p12|pem)$"),  # 署名・API キー
]
 
DENSITY_RE = re.compile(r"^res/drawable-([a-z]*dpi)(-v\d+)?/(.+)$")
KNOWN_DENSITIES = ["ldpi", "mdpi", "hdpi", "xhdpi", "xxhdpi", "xxxhdpi"]
HERMES_MAGIC = bytes([0xC6, 0x1F, 0xBC, 0x03, 0xC1, 0x03, 0x19, 0x1F])
 
 
def check_desugaring(zf, min_sdk):
    """DEX の文字列プールを直接走査する。ビルド定義ではなく成果物を見る。"""
    dex_names = [n for n in zf.namelist() if re.search(r"classes\d*\.dex$", n)]
    if not dex_names:
        return ["classes.dex が見つかりません（AAB なら base/dex/ を確認）"]
    raw = b"".join(zf.read(n) for n in dex_names)
    has_desugared = DESUGARED_PREFIX in raw
    missing = [t.decode() for t in DESUGARED_TARGETS if t in raw]
    if min_sdk >= 24 or not missing:
        return []
    if has_desugared:
        return []
    return [
        "minSdk %d で %s を参照していますが、"
        "置き換え後のクラス（Lj$/…）が成果物にありません"
        % (min_sdk, ", ".join(missing))
    ]
 
 
def check_density_coverage(zf):
    """1つの密度にしか無い画像は、配信時に他の端末へ届かない。"""
    buckets = collections.defaultdict(set)
    for name in zf.namelist():
        m = DENSITY_RE.match(name)
        if m:
            buckets[m.group(3)].add(m.group(1))
    findings = []
    for filename, found in sorted(buckets.items()):
        if len(found) == 1 and found & set(KNOWN_DENSITIES):
            findings.append(
                "%s が %s にしかありません"
                "（drawable-nodpi/ へ移すか全密度を用意）"
                % (filename, next(iter(found)))
            )
    return findings
 
 
def check_js_bundle(zf):
    """Hermes バイトコードで入っているか。プレーンな JavaScript のままだと
    用意したソースマップと噛み合わない。"""
    targets = [n for n in zf.namelist() if n.endswith("index.android.bundle")]
    if not targets:
        return []  # ネイティブのみの成果物
    findings = []
    for name in targets:
        head = zf.read(name)[:8]
        if head != HERMES_MAGIC:
            findings.append(
                "%s が Hermes バイトコードではありません（先頭 %s）"
                % (name, head.hex())
            )
    return findings
 
 
def check_forbidden(zf):
    findings = []
    for name in zf.namelist():
        for pattern in FORBIDDEN_PATTERNS:
            if pattern.search(name):
                findings.append("同梱してはいけないファイル: %s" % name)
                break
    return findings
 
 
def main():
    parser = argparse.ArgumentParser()
    parser.add_argument("artifact")
    parser.add_argument("--min-sdk", type=int, default=24)
    args = parser.parse_args()
 
    with zipfile.ZipFile(args.artifact) as zf:
        results = [
            ("後方互換（デシュガリング）", check_desugaring(zf, args.min_sdk)),
            ("密度バケットの偏り", check_density_coverage(zf)),
            ("JS バンドルの形式", check_js_bundle(zf)),
            ("同梱禁止ファイル", check_forbidden(zf)),
        ]
 
    failed = 0
    for label, findings in results:
        if findings:
            failed += 1
            print("NG %s" % label)
            for line in findings:
                print("   - %s" % line)
        else:
            print("OK %s" % label)
    print("---")
    print("要確認 %d 件 / 検査 %d 件" % (failed, len(results)))
    return 1 if failed else 0
 
 
if __name__ == "__main__":
    sys.exit(main())