知識グラフエンジニアリングにおいて、状態、観測、制約、プロセス、仮説シナリオなどの情報は複数の成果物に分散され、それらの統合的な実行契約が外部に留められることが多い課題がありました。今回発表されたPULSE言語は、このような分散型の知識グラフ管理を統合するために開発された新しい手法です。PULSEはオブジェクト・プロセス・メソドロジーの思想に基づき、4つの運用ロールとそれらの書き込み効果を型付き実行時に局所化することで、より厳密な契約管理を実現しています。 この言語の特徴は、「モード」が様相論理や規範論理ではなく、運用ロールを表現する点にあります。実装された契約は、証拠の上書き禁止、ブランチ分離、根拠付きマルチサブジェクトタイマー、保護された状態変更、宣言ランク付けイベント順序付けなど、時間と空間にわたる複数の制約を固定化しています。GeoSPARQL、SOSA、SHACLなどの既存標準は生成ビューとして維持されます。 実装の検証は極めて厳格です。Lean 4により、位置、証拠、クロック、モニター、アトミック性、ブランチソース保持について88のテストと3,534の有界チェックが行われました。冷蔵流通追跡やNOAA IBTrACSの歴史的気象データ（1980年以降）に対して、37,440の生成された時間的トレースにおけるマッチング検証が実施され、1,476,290の遷移ゾーン対でGEOSおよびイベント走査と一致することが確認されました。これらの結果は、契約の局所化、安全性議論、テスト対象フラグメントのトレース パリティを支持しており、知識グラフの厳密な管理に向けた重要な進展を示しています。