Executable Boundary Contracts for Sound Event Traces
For researchers in sound event detection, it provides a measurement framework to evaluate boundary behavior, but it is incremental as it does not propose a new general temporal logic or challenge leaderboard.
The paper defines executable boundary contracts for sound event traces to measure timed boundary behavior, revealing that standard scores and contract coordinates disagree in interpretable ways, with union activity hiding typed boundary failure.
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.