CanonCode + LLM — 명세를 주면 코드가 정확해진다는 실험 결과

# LLM 생성 (명세 없이)
class EscrowService
  def hold(user, amount)
    Stripe::Charge.create(  # ← Stripe 가정 (우리는 포인트 기반)
      amount: amount,
      customer: user.stripe_id
    )
  end
end

{
  "id": "CL-001-2",
  "content": "point 타입 공고 시 points_per_person × recruits_count 만큼 즉시 에스크로한다.",
  "references": ["CONST-001"]
},
{
  "id": "CL-001-3",
  "content": "에스크로 실패 시 공고 생성을 롤백한다.",
  "references": ["CONST-001"]
},
{
  "id": "CONST-001",
  "content": "모든 금전 거래는 에스크로를 통해야 하며, 잔액은 항상 0 이상이어야 한다."
}

# LLM 생성 (명세 있이)
def create
  ActiveRecord::Base.transaction do
    @post = current_user.qa_posts.build(qa_post_params)
    escrow_amount = @post.points_per_person * @post.recruits_count

    wallet = current_user.wallet.lock!
    raise InsufficientBalanceError if wallet.balance < escrow_amount

    wallet.update!(
      balance: wallet.balance - escrow_amount,
      escrowed: wallet.escrowed + escrow_amount
    )

    WalletTransaction.create!(
      wallet: wallet,
      transaction_type: :escrow,
      amount: escrow_amount,
      reference: @post
    )

    @post.save!
  end
rescue InsufficientBalanceError
  render json: { error: "포인트가 부족합니다" }, status: 422
end

# LLM 생성 (명세 없이)
class QaPost < ApplicationRecord
  enum status: { draft: 0, recruiting: 1, in_progress: 2, completed: 3 }

  def publish!
    update!(status: :recruiting)
  end

  def start!
    update!(status: :in_progress)
  end

  def complete!
    update!(status: :completed)
  end
end

{
  "id": "ACT-002",
  "title": "QA 공고 상태 관리",
  "clauses": [
    {
      "id": "CL-002-1",
      "content": "recruiting → in_progress: 모집 인원이 전원 수락된 경우에만 전환",
      "references": ["CONST-002"]
    },
    {
      "id": "CL-002-2",
      "content": "in_progress → completed: 모든 테스터가 최종 증빙을 제출하고 개발자가 승인한 경우",
      "references": ["CONST-002"]
    },
    {
      "id": "CL-002-3",
      "content": "completed 전환 시 에스크로 포인트를 테스터들에게 자동 정산",
      "references": ["CONST-001", "ACT-003"]
    }
  ]
}

class QaPost < ApplicationRecord
  include AASM

  aasm column: :status do
    state :recruiting, initial: true
    state :in_progress
    state :completed
    state :cancelled

    event :start_testing do
      transitions from: :recruiting, to: :in_progress,
        guard: :all_positions_filled?
    end

    event :complete do
      transitions from: :in_progress, to: :completed,
        guard: :all_submissions_approved?,
        after: :settle_escrow
    end

    event :cancel do
      transitions from: [:recruiting, :in_progress], to: :cancelled,
        after: :refund_escrow
    end
  end

  private

  def all_positions_filled?
    accepted_applications.count >= recruits_count
  end

  def all_submissions_approved?
    qa_submissions.pending.empty? &&
      qa_submissions.approved.count >= recruits_count
  end

  def settle_escrow
    EscrowSettlementJob.perform_later(id)
  end
end

{
  "id": "CASE-005",
  "situation": "모집 인원 마감 직전 복수의 지원 동시 도달",
  "ruling": "선착순 처리. optimistic locking으로 경합. 후순위 지원은 422 반환 + '모집이 마감되었습니다' 메시지",
  "references": ["CL-007-1", "ACT-002"]
}

class QaApplicationsController < ApplicationController
  def create
    qa_post = QaPost.find(params[:qa_post_id])

    ActiveRecord::Base.transaction do
      qa_post.lock!

      if qa_post.accepted_applications.count >= qa_post.recruits_count
        render json: { error: "모집이 마감되었습니다" }, status: 422
        return
      end

      application = qa_post.qa_applications.build(
        user: current_user,
        status: :pending
      )

      application.save!
    end
  rescue ActiveRecord::StaleObjectError
    render json: { error: "모집이 마감되었습니다" }, status: 422
  end
end