سامانهٔ پژوهش حقوقی

همه دستیار می‌خواهند. کارِ اصلی، پیکره است.

دستیار پژوهش حقوقی، در واقع یک مسئلهٔ بازیابی است که لباس گفت‌وگو پوشیده. لباس را می‌شود در یک هفته دوخت. پیکرهٔ زیر آن — کامل، به‌روز، درست از نظر ساختار، و صریح دربارهٔ اینکه کدام جمله‌اش قانون است و کدام نظرِ کسی دربارهٔ قانون — زمان بسیار بیشتری می‌برد، و تنها بخشی است که کیفیت پاسخ‌ها را تعیین می‌کند.

پس همان بخش را اول ساختیم، و این صفحه همان مرحله را شرح می‌دهد.

داخلش چیست

متن قانون هرگز با شرح در یک ستون نمی‌نشیند. تبصره رکورد مستقل خودش را دارد، چون وکیل «تبصرهٔ ۲ مادهٔ ۱۰» را جداگانه استناد می‌کند و ممکن است تبصره اصلاح شود در حالی که مادهٔ مادر دست‌نخورده بماند. شرح، تا وقتی چیزی آن را قابل نقل قول علامت نزده باشد، قابل نقل قول نیست.

این‌ها در ظاهر تصمیم‌های اسکیما هستند. در عمل، همان چیزی هستند که فرق می‌گذارد بین سامانه‌ای که به ماده استناد می‌کند و سامانه‌ای که نظر یک کتاب دربارهٔ آن ماده را با همان قلم و همان اعتماد نقل می‌کند.

گرفتنِ متن، بخش ارزان ماجرا بود

برداشت، ۱۸۳٬۷۲۵ صفحه را در حدود هشتاد دقیقه روی هشت ماشین یک‌بارمصرف انجام داد؛ ماشین‌هایی که در پایان کار، در استثنا و در وقفه، خودشان را حذف می‌کردند. صفر مسدودسازی. یک تا دو دلار. نرخ درخواست هر کارگر محدود بود و دستورش این بود که در صورت مسدود شدن، گزارش بدهد و متوقف شود، نه اینکه راهی دور بزند.

هیچ بخشی از این کار هوشمندانه نیست. مؤدبانه است، ارزان است، و منطقهٔ فرودِ خامی که ساخت پایدار نگه داشته می‌شود — هر اصلاحی از آن پس، یک تجزیهٔ دوباره بوده، نه یک خزش دوباره.

«از کجا می‌دانید این پیکره سالم است؟»

چون هفت بار رفتیم دنبال اینکه کجا خراب است، و آنچه پیدا کردیم را نوشتیم.

هفت دور کشفِ آنچه غلط بود

پنجاه‌وشش یافته، هجده تای آن بحرانی، هر کدام با شمارش روی پایگاه‌دادهٔ زنده راستی‌آزمایی شده، نه صرفاً ادعا. آن‌هایی که ارزش نام بردن دارند:

• ۱۰۳٬۴۲۳ سطر محتوا برای نمایهٔ جست‌وجو نامرئی بودند. تبصره‌ها، شرح‌ها و نشست‌های قضایی اصلاً نمایه نشده بودند. پس از بازسازی، مخزن بازیابی از ۱۰۶٬۴۷۹ واحد به ۱۵۱٬۰۳۹ رسید.
• قانون اساسی به‌کلی غایب بود. تجزیه‌گر «مادهٔ N» را می‌شناخت و «اصل N» را نه، پس ۱٬۴۶۱ صفحه بی‌صدا حذف شده بودند. هر ۱۷۷ اصل از منطقهٔ فرود خام بازیابی شد، بدون جای خالی.
• رتبهٔ اعتبار کاملاً تخت بود. همهٔ آرا روی یک ردهٔ یکسان نشسته بودند و هیچ‌کدام «لازم‌الاتباع» علامت نخورده بود؛ یعنی یک رأی وحدت رویه دقیقاً هم‌رتبهٔ یک رأی بدوی بود. دادگاهی که اتفاقاً همان کلمات پروندهٔ شما را به کار برده، هرگز نباید بالاتر از رأیی بنشیند که مسئله را فیصله داده — و شباهت برداری هیچ راهی برای دانستن این ندارد.
• گراف استناد حدود هفتاد درصد نویز بود. ۲۴٬۵۱۷ از ۳۴٬۷۷۳ یال، جفت‌های متوالی درون یک قانون بودند؛ اثر جانبی پیوندهای «مشاهدهٔ مادهٔ قبلی/بعدی» در صفحات منبع. علامت خوردند، نه حذف — پس بازیابی نادیده‌شان می‌گیرد و تشخیص هم برگشت‌پذیر می‌ماند.

مفیدترین دور، دوری بود که یک برنامه را لغو کرد

دور چهارم قرار بود قوانین تکه‌تکه و تکراری را ادغام کند. نکرد، چون خودِ تشخیصِ تکه‌تکه‌شدگی غلط بود: بیشترِ آنچه تکراری به‌نظر می‌رسید نسخه‌های مشروع یک قانون بودند، و دو رکوردی که هر ۱۲۴ شمارهٔ ماده را مشترک داشتند، تنها در هشت ماده متن یکسان داشتند. ادغام، تاریخ واقعی قانون را نابود می‌کرد تا یک جدول مرتب‌تر به‌نظر برسد.

همان دور، یک فیلتر حذف را هم رد کرد؛ فیلتری که سطرهای برچسب‌خوردهٔ «رأی تکراری» را هدف گرفته بود و هفده مورد از بیست‌ودو مورد آن، آرای واقعی و قطعی بودند.

دور پاک‌سازی‌ای که چیزی حذف نمی‌کند، دور شکست‌خورده نیست. بازبینی دقیقاً برای همین است.

بازیابی‌ای که طراحی شده و روشن نشده

طراحی مشخص است و نوشته شده: یک بازوی معنایی روی بردارهای ۱۰۲۴ بُعدی و یک بازوی واژگانی روی نمایهٔ متن نرمال‌شده، که با تجمیع رتبهٔ متقابل در k=۶۰ ادغام می‌شوند، با برداشت اضافی ۱۵۰ نامزد در هر بازو، و شکستن تساوی بر اساس ردهٔ اعتبار — تا رتبه‌بندی هرگز با سلسله‌مراتب منابع در تضاد نباشد. فیلترهای لازم‌الاجرا بودن، شاخهٔ حقوقی و بازهٔ سال در دل تابع هستند و همه نسبت به مقدار تهی بردبارند، تا هیچ فیلتری نتواند مادهٔ حاکم را بی‌صدا پنهان کند.

ما ۱۵۱٬۲۱۶ واحد را بردار نمی‌کنیم تا این را ثابت کنیم. اول مجموعهٔ ارزیابی، بعد مقایسهٔ مدل‌ها، بعد هزینه — به همین ترتیب؛ چون جایگزینش انتخاب مدل بر پایهٔ نمراتی است که در دامنه‌ای دیگر گرفته شده‌اند.

هر عمل رد می‌گذارد، وگرنه انجام نمی‌شود

سطر ثبت رویداد داخل همان تراکنشی نوشته می‌شود که خودِ عمل در آن است. نه بعدش، نه از طریق صف، نه داخل یک try/except که شانه بالا بیندازد. رکورد اگر و تنها اگر خودِ عمل ثبت شود ثبت می‌شود، و یک تریگر پایگاه‌داده هر تلاش برای ویرایش یا حذف سطر ثبت را با خطا متوقف می‌کند. هیچ تنظیمی برای خاموش کردنش وجود ندارد، در هیچ محیطی.

پوشش مسیرها یک آزمون است، نه یک قول: مجموعهٔ آزمون، جدول زندهٔ مسیرها را می‌پیماید و اگر نقطهٔ پایانیِ نویسنده‌ای پیدا شود که نه به عمل ثبت مشخصی نگاشته شده و نه با دلیل مکتوب معاف شده، شکست می‌خورد.

آنچه نیست

• دستیار هوش مصنوعی حقوقیِ در حالِ کار نیست. هنوز نه، و این‌طور توصیفش نمی‌کنیم.
• جایگزین قضاوت حقوقی وکیل نیست — در هیچ مرحله‌ای از این نقشهٔ راه.
• پیکره‌ای نیست که برای بازتوزیع عرضه کنیم.
• سامانه‌ای با اعداد کارایی نیست. آن اعداد با مجموعهٔ ارزیابی می‌آیند و همراه با روش سنجش منتشر می‌شوند.