تقترح هذه الورقة نموذجاً مفهوماً لسير العمل الوسيط بواسطة LLM يعامل تعريفات سير العمل، والنسخ، ولقطات السياق ككائنات معرفة دائمة ضمن طبقة أساس مشتركة.

  • النموذج مستوحى من Lisp ولكنه مستقل عن اللغة، باستخدام الأشكال الرمزية وهوية الكائن كعدسات تفسيرية بدلاً من التزامات التنفيذ.
  • يرسّز تمييزاً دلالياً مركزيًا بين 'اشتقاق' (حساب حتمي على الحالة المتاحة) و 'استنتاج' (حكم LLM الوسيط في ظل سياق مُعلن وسياسة قدرة يتحكم فيها المنفّذ).
  • تُقدَّم سير العمل ككائنات معرفة قابلة للفحص، والاستئناف، والمراجعة تنتج وتترك آثارًا للمعرفة.

يقدم المؤلفون هذا بوصفه حساباً مفهوماً أولياً للاستمرارية الدلالية، مع ملاحظة أن دلالات الانتقال الرسمية تبقى عملاً مستقبلياً.