FA-78721 / Broadcast timecode arithmetic / Open access

Playout schedule on-air times: inclusive EOM frame · case 01

Every following clip starts one frame early, clipping the last frame of the previous clip.

Verified by executionVariant 1 · 7 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The inclusive EOM frame is not counted in the clip length.

VERIFIED REPAIR

Clip length is EOM - SOM + 1 frames.

Unsuccessful approach: Omitting the extra frame for single-frame clips makes them vanish from the schedule.

Case contract

Clips [SOM, EOM] use non-drop labels at fps with EOM inclusive; a clip may cross midnight on tape. Clips air back to back from start with gap black frames between consecutive clips. Return the on-air label of each clip followed by the exclusive end label of the schedule, wrapping at 24 hours.

Why this case matters

Timecode arithmetic errors misplace edits, commercial breaks and captions against the broadcast clock.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(start, clips, gap, fps):
    def fr(t):
        h,m,s,f=map(int,t.split(':'))
        return ((h*60+m)*60+s)*fps+f
    def lab(n):
        n%=86400*fps
        return '%02d:%02d:%02d:%02d'%(n//(3600*fps),n//(60*fps)%60,n//fps%60,n%fps)
    t=fr(start)
    out=[]
    for i,(som,eom) in enumerate(clips):
        if i:
            t+=gap
        out.append(lab(t))
        d=(fr(eom)-fr(som))%(86400*fps)
        t+=d
    out.append(lab(t))
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: inclusive EOM frame', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('regression variant: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '13:59:50:01']), ('partial repair probe: inclusive EOM frame', ['00:00:00:00', [['00:00:00:00', '00:00:00:00'], ['01:00:00:00', '10:00:29:24'], ['00:00:00:00', '00:00:00:10'], ['10:00:00:00', '01:00:30:00']], 0, 30], ['00:00:00:00', '00:00:00:01', '09:00:29:26', '09:00:30:07', '00:01:00:08']), ('partial repair variant: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '00:00:01:00'], ['00:00:00:00', '00:00:00:00']], 5, 30], ['23:59:50:00', '13:59:50:16', '13:59:51:22', '13:59:51:23']), ('normal control', ['00:00:00:00', [], 25, 25], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 5, 30], ['00:00:00:00']), ('normal control', ['23:59:50:00', [], 25, 30], ['23:59:50:00'])], [('regression: inclusive EOM frame', ['23:59:59:00', [['00:00:00:00', '00:00:01:00'], ['00:00:00:00', '00:00:00:00']], 5, 25], ['23:59:59:00', '00:00:00:06', '00:00:00:07']), ('regression variant: inclusive EOM frame', ['18:00:00:00', [['01:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:10:00'], ['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '00:00:00:10']], 25, 25], ['18:00:00:00', '17:00:02:01', '02:00:13:02', '02:00:15:13', '02:00:15:24']), ('partial repair probe: inclusive EOM frame', ['00:00:00:00', [['01:00:00:00', '00:00:01:00'], ['01:00:00:00', '00:00:00:10'], ['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '00:00:00:00']], 0, 25], ['00:00:00:00', '23:00:01:01', '22:00:01:12', '12:00:01:23', '12:00:01:24']), ('partial repair variant: inclusive EOM frame', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['23:59:59:00', '01:00:30:00'], ['23:59:59:00', '10:00:29:24'], ['00:00:00:00', '00:00:00:00']], 25, 30], ['18:00:00:00', '18:00:02:06', '19:00:34:02', '05:01:05:22', '05:01:05:23']), ('normal control', ['23:59:50:00', [], 0, 30], ['23:59:50:00']), ('normal control', ['23:59:50:00', [], 1, 25], ['23:59:50:00']), ('normal control', ['00:00:00:00', [], 25, 30], ['00:00:00:00'])], [('regression: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '13:59:51:06', '00:00:21:26', '01:00:51:27']), ('regression variant: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '10:00:10:00']], 0, 30], ['18:00:00:00', '04:00:29:25', '14:00:39:26']), ('partial repair probe: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '00:00:00:00'], ['23:59:59:00', '10:00:10:00'], ['00:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:00:01', '04:00:11:02', '14:00:41:02']), ('partial repair variant: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '00:00:00:00'], ['00:00:00:00', '00:00:00:10']], 5, 30], ['18:00:00:00', '18:00:00:06', '18:00:00:17']), ('normal control', ['18:00:00:00', [], 1, 25], ['18:00:00:00']), ('normal control', ['00:00:00:00', [], 0, 25], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 5, 25], ['00:00:00:00'])], [('regression: inclusive EOM frame', ['18:00:00:00', [['23:59:59:00', '01:00:30:00']], 5, 30], ['18:00:00:00', '19:00:31:01']), ('regression variant: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '01:00:30:00'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '15:00:20:26', '16:00:50:27']), ('partial repair probe: inclusive EOM frame', ['00:00:00:00', [['00:00:00:00', '00:00:00:00'], ['23:59:59:00', '00:00:01:00'], ['01:00:00:00', '00:00:01:00']], 25, 25], ['00:00:00:00', '00:00:01:01', '00:00:04:02', '23:00:05:03']), ('partial repair variant: inclusive EOM frame', ['23:59:50:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '10:00:10:00'], ['00:00:00:00', '00:00:00:00']], 0, 25], ['23:59:50:00', '23:59:51:11', '00:00:01:12', '00:00:01:13']), ('normal control', ['00:00:00:00', [], 0, 30], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 25, 25], ['00:00:00:00']), ('normal control', ['23:59:50:00', [], 1, 30], ['23:59:50:00'])], [('regression: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:29:24'], ['23:59:59:00', '00:00:01:00']], 0, 25], ['18:00:00:00', '18:00:01:01', '03:00:31:01', '03:00:33:02']), ('regression variant: inclusive EOM frame', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '10:00:10:00'], ['00:00:00:00', '00:00:00:00'], ['01:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:01:11', '04:00:11:12', '04:00:11:13', '13:00:41:13']), ('partial repair probe: inclusive EOM frame', ['23:59:50:00', [['01:00:00:00', '01:00:30:00'], ['00:00:00:00', '00:00:00:00'], ['10:00:00:00', '10:00:29:24'], ['10:00:00:00', '00:00:00:10']], 0, 30], ['23:59:50:00', '00:00:20:01', '00:00:20:02', '00:00:49:27', '14:00:50:08']), ('partial repair variant: inclusive EOM frame', ['23:59:50:00', [['01:00:00:00', '01:00:30:00'], ['23:59:59:00', '00:00:00:00'], ['00:00:00:00', '00:00:00:00'], ['00:00:00:00', '01:00:30:00']], 5, 25], ['23:59:50:00', '00:00:20:06', '00:00:21:12', '00:00:21:18', '01:00:51:19']), ('normal control', ['23:59:50:00', [], 0, 25], ['23:59:50:00']), ('normal control', ['23:59:50:00', [], 0, 30], ['23:59:50:00']), ('normal control', ['18:00:00:00', [], 25, 30], ['18:00:00:00'])]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
regression: inclusive EOM frame	`['18:00:00:00', '18:00:00:24']`	`['18:00:00:00', '18:00:01:00']`	Failed
regression variant: inclusive EOM frame	`['23:59:50:00', '13:59:50:00']`	`['23:59:50:00', '13:59:50:01']`	Failed
partial repair probe: inclusive EOM frame	`['00:00:00:00', '00:00:00:00', '09:00:29:24', '09:00:30:04', '00:01:00:04']`	`['00:00:00:00', '00:00:00:01', '09:00:29:26', '09:00:30:07', '00:01:00:08']`	Failed
partial repair variant: inclusive EOM frame	`['23:59:50:00', '13:59:50:15', '13:59:51:20', '13:59:51:20']`	`['23:59:50:00', '13:59:50:16', '13:59:51:22', '13:59:51:23']`	Failed
normal control	`['00:00:00:00']`	`['00:00:00:00']`	Passed
normal control	`['00:00:00:00']`	`['00:00:00:00']`	Passed
normal control	`['23:59:50:00']`	`['23:59:50:00']`	Passed

SHA-256 / 4862f54c1e61c67aa1afbb3b719f2539d90f7808f1dc230448aeec2bc3dabd73

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(start, clips, gap, fps):
    def fr(t):
        h,m,s,f=map(int,t.split(':'))
        return ((h*60+m)*60+s)*fps+f
    def lab(n):
        n%=86400*fps
        return '%02d:%02d:%02d:%02d'%(n//(3600*fps),n//(60*fps)%60,n//fps%60,n%fps)
    t=fr(start)
    out=[]
    for i,(som,eom) in enumerate(clips):
        if i:
            t+=gap
        out.append(lab(t))
        d=(fr(eom)-fr(som))%(86400*fps)
        t+=d+1 if d else d
    out.append(lab(t))
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: inclusive EOM frame', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('regression variant: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '13:59:50:01']), ('partial repair probe: inclusive EOM frame', ['00:00:00:00', [['00:00:00:00', '00:00:00:00'], ['01:00:00:00', '10:00:29:24'], ['00:00:00:00', '00:00:00:10'], ['10:00:00:00', '01:00:30:00']], 0, 30], ['00:00:00:00', '00:00:00:01', '09:00:29:26', '09:00:30:07', '00:01:00:08']), ('partial repair variant: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '00:00:01:00'], ['00:00:00:00', '00:00:00:00']], 5, 30], ['23:59:50:00', '13:59:50:16', '13:59:51:22', '13:59:51:23']), ('normal control', ['00:00:00:00', [], 25, 25], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 5, 30], ['00:00:00:00']), ('normal control', ['23:59:50:00', [], 25, 30], ['23:59:50:00'])], [('regression: inclusive EOM frame', ['23:59:59:00', [['00:00:00:00', '00:00:01:00'], ['00:00:00:00', '00:00:00:00']], 5, 25], ['23:59:59:00', '00:00:00:06', '00:00:00:07']), ('regression variant: inclusive EOM frame', ['18:00:00:00', [['01:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:10:00'], ['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '00:00:00:10']], 25, 25], ['18:00:00:00', '17:00:02:01', '02:00:13:02', '02:00:15:13', '02:00:15:24']), ('partial repair probe: inclusive EOM frame', ['00:00:00:00', [['01:00:00:00', '00:00:01:00'], ['01:00:00:00', '00:00:00:10'], ['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '00:00:00:00']], 0, 25], ['00:00:00:00', '23:00:01:01', '22:00:01:12', '12:00:01:23', '12:00:01:24']), ('partial repair variant: inclusive EOM frame', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['23:59:59:00', '01:00:30:00'], ['23:59:59:00', '10:00:29:24'], ['00:00:00:00', '00:00:00:00']], 25, 30], ['18:00:00:00', '18:00:02:06', '19:00:34:02', '05:01:05:22', '05:01:05:23']), ('normal control', ['23:59:50:00', [], 0, 30], ['23:59:50:00']), ('normal control', ['23:59:50:00', [], 1, 25], ['23:59:50:00']), ('normal control', ['00:00:00:00', [], 25, 30], ['00:00:00:00'])], [('regression: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '13:59:51:06', '00:00:21:26', '01:00:51:27']), ('regression variant: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '10:00:10:00']], 0, 30], ['18:00:00:00', '04:00:29:25', '14:00:39:26']), ('partial repair probe: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '00:00:00:00'], ['23:59:59:00', '10:00:10:00'], ['00:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:00:01', '04:00:11:02', '14:00:41:02']), ('partial repair variant: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '00:00:00:00'], ['00:00:00:00', '00:00:00:10']], 5, 30], ['18:00:00:00', '18:00:00:06', '18:00:00:17']), ('normal control', ['18:00:00:00', [], 1, 25], ['18:00:00:00']), ('normal control', ['00:00:00:00', [], 0, 25], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 5, 25], ['00:00:00:00'])], [('regression: inclusive EOM frame', ['18:00:00:00', [['23:59:59:00', '01:00:30:00']], 5, 30], ['18:00:00:00', '19:00:31:01']), ('regression variant: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '01:00:30:00'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '15:00:20:26', '16:00:50:27']), ('partial repair probe: inclusive EOM frame', ['00:00:00:00', [['00:00:00:00', '00:00:00:00'], ['23:59:59:00', '00:00:01:00'], ['01:00:00:00', '00:00:01:00']], 25, 25], ['00:00:00:00', '00:00:01:01', '00:00:04:02', '23:00:05:03']), ('partial repair variant: inclusive EOM frame', ['23:59:50:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '10:00:10:00'], ['00:00:00:00', '00:00:00:00']], 0, 25], ['23:59:50:00', '23:59:51:11', '00:00:01:12', '00:00:01:13']), ('normal control', ['00:00:00:00', [], 0, 30], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 25, 25], ['00:00:00:00']), ('normal control', ['23:59:50:00', [], 1, 30], ['23:59:50:00'])], [('regression: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:29:24'], ['23:59:59:00', '00:00:01:00']], 0, 25], ['18:00:00:00', '18:00:01:01', '03:00:31:01', '03:00:33:02']), ('regression variant: inclusive EOM frame', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '10:00:10:00'], ['00:00:00:00', '00:00:00:00'], ['01:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:01:11', '04:00:11:12', '04:00:11:13', '13:00:41:13']), ('partial repair probe: inclusive EOM frame', ['23:59:50:00', [['01:00:00:00', '01:00:30:00'], ['00:00:00:00', '00:00:00:00'], ['10:00:00:00', '10:00:29:24'], ['10:00:00:00', '00:00:00:10']], 0, 30], ['23:59:50:00', '00:00:20:01', '00:00:20:02', '00:00:49:27', '14:00:50:08']), ('partial repair variant: inclusive EOM frame', ['23:59:50:00', [['01:00:00:00', '01:00:30:00'], ['23:59:59:00', '00:00:00:00'], ['00:00:00:00', '00:00:00:00'], ['00:00:00:00', '01:00:30:00']], 5, 25], ['23:59:50:00', '00:00:20:06', '00:00:21:12', '00:00:21:18', '01:00:51:19']), ('normal control', ['23:59:50:00', [], 0, 25], ['23:59:50:00']), ('normal control', ['23:59:50:00', [], 0, 30], ['23:59:50:00']), ('normal control', ['18:00:00:00', [], 25, 30], ['18:00:00:00'])]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
regression: inclusive EOM frame	`['18:00:00:00', '18:00:01:00']`	`['18:00:00:00', '18:00:01:00']`	Passed
regression variant: inclusive EOM frame	`['23:59:50:00', '13:59:50:01']`	`['23:59:50:00', '13:59:50:01']`	Passed
partial repair probe: inclusive EOM frame	`['00:00:00:00', '00:00:00:00', '09:00:29:25', '09:00:30:06', '00:01:00:07']`	`['00:00:00:00', '00:00:00:01', '09:00:29:26', '09:00:30:07', '00:01:00:08']`	Failed
partial repair variant: inclusive EOM frame	`['23:59:50:00', '13:59:50:16', '13:59:51:22', '13:59:51:22']`	`['23:59:50:00', '13:59:50:16', '13:59:51:22', '13:59:51:23']`	Failed
normal control	`['00:00:00:00']`	`['00:00:00:00']`	Passed
normal control	`['00:00:00:00']`	`['00:00:00:00']`	Passed
normal control	`['23:59:50:00']`	`['23:59:50:00']`	Passed

SHA-256 / 042c648363cfcc84f862d228a22754848ce03bcbbd93710d846fa09d5b91b01f

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(start, clips, gap, fps):
    def fr(t):
        h,m,s,f=map(int,t.split(':'))
        return ((h*60+m)*60+s)*fps+f
    def lab(n):
        n%=86400*fps
        return '%02d:%02d:%02d:%02d'%(n//(3600*fps),n//(60*fps)%60,n//fps%60,n%fps)
    t=fr(start)
    out=[]
    for i,(som,eom) in enumerate(clips):
        if i:
            t+=gap
        out.append(lab(t))
        d=(fr(eom)-fr(som))%(86400*fps)
        t+=d+1
    out.append(lab(t))
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: inclusive EOM frame', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('regression variant: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '13:59:50:01']), ('partial repair probe: inclusive EOM frame', ['00:00:00:00', [['00:00:00:00', '00:00:00:00'], ['01:00:00:00', '10:00:29:24'], ['00:00:00:00', '00:00:00:10'], ['10:00:00:00', '01:00:30:00']], 0, 30], ['00:00:00:00', '00:00:00:01', '09:00:29:26', '09:00:30:07', '00:01:00:08']), ('partial repair variant: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '00:00:01:00'], ['00:00:00:00', '00:00:00:00']], 5, 30], ['23:59:50:00', '13:59:50:16', '13:59:51:22', '13:59:51:23']), ('normal control', ['00:00:00:00', [], 25, 25], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 5, 30], ['00:00:00:00']), ('normal control', ['23:59:50:00', [], 25, 30], ['23:59:50:00'])], [('regression: inclusive EOM frame', ['23:59:59:00', [['00:00:00:00', '00:00:01:00'], ['00:00:00:00', '00:00:00:00']], 5, 25], ['23:59:59:00', '00:00:00:06', '00:00:00:07']), ('regression variant: inclusive EOM frame', ['18:00:00:00', [['01:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:10:00'], ['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '00:00:00:10']], 25, 25], ['18:00:00:00', '17:00:02:01', '02:00:13:02', '02:00:15:13', '02:00:15:24']), ('partial repair probe: inclusive EOM frame', ['00:00:00:00', [['01:00:00:00', '00:00:01:00'], ['01:00:00:00', '00:00:00:10'], ['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '00:00:00:00']], 0, 25], ['00:00:00:00', '23:00:01:01', '22:00:01:12', '12:00:01:23', '12:00:01:24']), ('partial repair variant: inclusive EOM frame', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['23:59:59:00', '01:00:30:00'], ['23:59:59:00', '10:00:29:24'], ['00:00:00:00', '00:00:00:00']], 25, 30], ['18:00:00:00', '18:00:02:06', '19:00:34:02', '05:01:05:22', '05:01:05:23']), ('normal control', ['23:59:50:00', [], 0, 30], ['23:59:50:00']), ('normal control', ['23:59:50:00', [], 1, 25], ['23:59:50:00']), ('normal control', ['00:00:00:00', [], 25, 30], ['00:00:00:00'])], [('regression: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '13:59:51:06', '00:00:21:26', '01:00:51:27']), ('regression variant: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '10:00:10:00']], 0, 30], ['18:00:00:00', '04:00:29:25', '14:00:39:26']), ('partial repair probe: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '00:00:00:00'], ['23:59:59:00', '10:00:10:00'], ['00:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:00:01', '04:00:11:02', '14:00:41:02']), ('partial repair variant: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '00:00:00:00'], ['00:00:00:00', '00:00:00:10']], 5, 30], ['18:00:00:00', '18:00:00:06', '18:00:00:17']), ('normal control', ['18:00:00:00', [], 1, 25], ['18:00:00:00']), ('normal control', ['00:00:00:00', [], 0, 25], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 5, 25], ['00:00:00:00'])], [('regression: inclusive EOM frame', ['18:00:00:00', [['23:59:59:00', '01:00:30:00']], 5, 30], ['18:00:00:00', '19:00:31:01']), ('regression variant: inclusive EOM frame', ['23:59:50:00', [['10:00:00:00', '01:00:30:00'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '15:00:20:26', '16:00:50:27']), ('partial repair probe: inclusive EOM frame', ['00:00:00:00', [['00:00:00:00', '00:00:00:00'], ['23:59:59:00', '00:00:01:00'], ['01:00:00:00', '00:00:01:00']], 25, 25], ['00:00:00:00', '00:00:01:01', '00:00:04:02', '23:00:05:03']), ('partial repair variant: inclusive EOM frame', ['23:59:50:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '10:00:10:00'], ['00:00:00:00', '00:00:00:00']], 0, 25], ['23:59:50:00', '23:59:51:11', '00:00:01:12', '00:00:01:13']), ('normal control', ['00:00:00:00', [], 0, 30], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 25, 25], ['00:00:00:00']), ('normal control', ['23:59:50:00', [], 1, 30], ['23:59:50:00'])], [('regression: inclusive EOM frame', ['18:00:00:00', [['00:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:29:24'], ['23:59:59:00', '00:00:01:00']], 0, 25], ['18:00:00:00', '18:00:01:01', '03:00:31:01', '03:00:33:02']), ('regression variant: inclusive EOM frame', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '10:00:10:00'], ['00:00:00:00', '00:00:00:00'], ['01:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:01:11', '04:00:11:12', '04:00:11:13', '13:00:41:13']), ('partial repair probe: inclusive EOM frame', ['23:59:50:00', [['01:00:00:00', '01:00:30:00'], ['00:00:00:00', '00:00:00:00'], ['10:00:00:00', '10:00:29:24'], ['10:00:00:00', '00:00:00:10']], 0, 30], ['23:59:50:00', '00:00:20:01', '00:00:20:02', '00:00:49:27', '14:00:50:08']), ('partial repair variant: inclusive EOM frame', ['23:59:50:00', [['01:00:00:00', '01:00:30:00'], ['23:59:59:00', '00:00:00:00'], ['00:00:00:00', '00:00:00:00'], ['00:00:00:00', '01:00:30:00']], 5, 25], ['23:59:50:00', '00:00:20:06', '00:00:21:12', '00:00:21:18', '01:00:51:19']), ('normal control', ['23:59:50:00', [], 0, 25], ['23:59:50:00']), ('normal control', ['23:59:50:00', [], 0, 30], ['23:59:50:00']), ('normal control', ['18:00:00:00', [], 25, 30], ['18:00:00:00'])]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
regression: inclusive EOM frame	`['18:00:00:00', '18:00:01:00']`	`['18:00:00:00', '18:00:01:00']`	Passed
regression variant: inclusive EOM frame	`['23:59:50:00', '13:59:50:01']`	`['23:59:50:00', '13:59:50:01']`	Passed
partial repair probe: inclusive EOM frame	`['00:00:00:00', '00:00:00:01', '09:00:29:26', '09:00:30:07', '00:01:00:08']`	`['00:00:00:00', '00:00:00:01', '09:00:29:26', '09:00:30:07', '00:01:00:08']`	Passed
partial repair variant: inclusive EOM frame	`['23:59:50:00', '13:59:50:16', '13:59:51:22', '13:59:51:23']`	`['23:59:50:00', '13:59:50:16', '13:59:51:22', '13:59:51:23']`	Passed
normal control	`['00:00:00:00']`	`['00:00:00:00']`	Passed
normal control	`['00:00:00:00']`	`['00:00:00:00']`	Passed
normal control	`['23:59:50:00']`	`['23:59:50:00']`	Passed

SHA-256 / 004e02f4c519a2623df2515fe17529664a88766b3609765bb89fc0b2a9a0ef40

Verification & scope

A deterministic bounded teaching model with a stipulated toy contract; it does not claim conformance to SMPTE or any broadcast standard. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:49:37.965781+00:00.

Case digest / f8e681422e7d0cc55e9679fa0ce1d4b4d0217d021d39bf1862ece425e9e290cc