プロンプト不要の現場AI（Zero-Prompt AX）実践ガイド AIに長い指示文を書くのをやめ、「3項目を確認してボタンを押すだけ」に変える業務設計

#![forbid(unsafe_code)]

#[derive(Debug, Clone, PartialEq, Eq)]
pub struct ExtractedInvoiceDraft {
    pub CounterpartyName: String,
    pub QualifiedInvoiceRegNo: String, // 例: "T1234567890123"
    pub Net10PctYen: i64,
    pub Tax10PctYen: i64,
    pub Net8PctYen: i64,
    pub Tax8PctYen: i64,
    pub TotalBilledYen: i64,
    pub DebitTotalYen: i64,
    pub CreditTotalYen: i64,
    pub MinOcrConfidencePermille: u16, // 0..=1000
}

#[derive(Debug, Clone, PartialEq, Eq)]
pub enum TrafficLightGate {
    GreenThreeItemReady,
    YellowHighlightAmbiguity(&'static str),
    RedBlocked(&'static str),
}

/// 国税庁仕様：13桁法人番号・適格請求書登録番号（T+13桁）のModulo-9検査数字を検証
pub fn verify_nta_qualified_invoice_no(raw: &str) -> bool {
    let digits_str = raw.strip_prefix('T').unwrap_or(raw);
    if digits_str.len() != 13 || !digits_str.bytes().all(|b| b.is_ascii_digit()) {
        return false;
    }
    let bytes = digits_str.as_bytes();
    let check_digit = (bytes[0] - b'0') as u32;
    if check_digit == 0 {
        return false;
    }

    // 末尾（右端 n=1）から12桁に重み 1, 2, 1, 2... を掛けて合計
    let mut weighted_sum: u32 = 0;
    for (idx_from_right, &b) in bytes[1..13].iter().rev().enumerate() {
        let p_n = (b - b'0') as u32;
        let q_n = if (idx_from_right + 1) % 2 == 1 { 1 } else { 2 };
        weighted_sum += p_n * q_n;
    }

    let expected = 9 - (weighted_sum % 9);
    check_digit == expected
}

/// AI抽出ドラフトを数理検証し、🟢🟡🔴の信号機ゲートを返す
pub fn evaluate_zero_prompt_draft(draft: &ExtractedInvoiceDraft) -> TrafficLightGate {
    // 1. 制御文字・プロンプトインジェクション文字列の混入遮断
    if draft.CounterpartyName.chars().any(|c| c.is_control()) {
        return TrafficLightGate::RedBlocked("制御文字または不正な命令シーケンスを検知しました");
    }

    // 2. 適格請求書発行事業者番号のModulo-9チェックデジット検証
    if !verify_nta_qualified_invoice_no(&draft.QualifiedInvoiceRegNo) {
        return TrafficLightGate::RedBlocked("適格請求書登録番号（T番号）の検査数字が一致しません");
    }

    // 3. 税抜金額＋消費税額 == 請求総額 の1円単位検証
    let computed_total = draft
        .Net10PctYen
        .saturating_add(draft.Tax10PctYen)
        .saturating_add(draft.Net8PctYen)
        .saturating_add(draft.Tax8PctYen);

    if computed_total != draft.TotalBilledYen {
        return TrafficLightGate::RedBlocked("明細・税額の合計と請求総額に端数不一致があります");
    }

    // 4. 複式簿記の貸借一致（借方合計 == 貸方合計 == 請求総額）検証
    if draft.DebitTotalYen != draft.CreditTotalYen || draft.DebitTotalYen != draft.TotalBilledYen {
        return TrafficLightGate::RedBlocked("仕訳の借方金額と貸方金額が一致していません");
    }

    // 5. 文字のかすれ等でOCR確信度が98.0%未満の場合は🟡黄判定で人間に1箇所ハイライト確認
    if draft.MinOcrConfidencePermille < 980 {
        return TrafficLightGate::YellowHighlightAmbiguity(
            "印字かすれ箇所があります。ハイライトされた数字をご確認ください",
        );
    }

    TrafficLightGate::GreenThreeItemReady
}