Sound event reports often compress timed boundary behavior into frame, segment, or event scores. This paper defines executable boundary contracts for finite sound event traces. The frame fragment is a bounded Boolean fragment embeddable in STL after grid projection. The event layer adds declared interval matching, duration clauses, fragmentation clauses, and obligation restricted vector scoring. The aim is measurement, not a new general temporal logic and not a challenge leaderboard. The artifact evaluates controlled Mini LibriSpeech seeded scenes, MAESTRO Real soundscapes, frozen pretrained timing probes, and an official DCASE 2024 Task 4 baseline track. Across these tracks, standard scores and contract coordinates disagree in interpretable ways. The strongest real corpus finding is that union activity can hide typed boundary failure, while external DCASE outputs provide a class indexed challenge level reference. Code, generated tables, manifests, and Lean checks for the finite frame core are supplied as ancillary material.

翻译：声音事件报告通常将时域边界行为压缩为帧、片段或事件分数。本文针对有限声音事件轨迹定义了可执行边界契约。帧片段是一个有界布尔逻辑片段，经网格投影后可嵌入STL。事件层增加了声明区间匹配、持续时长子句、片段化子句以及带约束的受限向量评分。其目的在于测量，而非提出新的通用时态逻辑或挑战排行榜。该实验测试了受控的Mini LibriSpeech种子场景、MAESTRO真实声景、冻结预训练时序探测模型以及DCASE 2024任务4官方基线。在不同测试场景中，标准分数与契约坐标以可解释的方式存在差异。真实语料库最显著发现是：联合活动可能隐藏类型化边界故障，而外部DCASE输出提供了按类别索引的挑战级别参考。代码、生成表格、清单及有限帧核心的Lean校验作为辅助材料提供。