Block-causal mask lets keys cross supplied block boundaries · case 01

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

N = 1
observations = []
def solve(lengths):
    return [[j<=i for j in range(sum(lengths))] for i in range(sum(lengths))]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
l=[N,0,2]
o=[]
for b,z in enumerate(l): o.extend([b]*z)
check('zero block boundary',solve(l),[[o[i]==o[j] and j<=i for j in range(len(o))] for i in range(len(o))])
check('two singleton blocks',solve([1,1]),[[True,False],[False,True]])
check('no blocks',solve([]),[])
check('all empty blocks',solve([0,0]),[])
check('one block',solve([3]),[[True,False,False],[True,True,False],[True,True,True]])
check('trailing empty block',solve([2,0]),[[True,False],[True,True]])
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)

SHA-256 / f0ae500e23034cc6fff01e7490ff94b2f8487566f7bddd0f4fe01b241ca5260d

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

N = 1
observations = []
def solve(lengths):
    owners=[]
    for b,size in enumerate(lengths): owners.extend([b]*size)
    return [[owners[i]==owners[j] and j<=i and i-j<=1 for j in range(len(owners))] for i in range(len(owners))]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
l=[N,0,2]
o=[]
for b,z in enumerate(l): o.extend([b]*z)
check('zero block boundary',solve(l),[[o[i]==o[j] and j<=i for j in range(len(o))] for i in range(len(o))])
check('two singleton blocks',solve([1,1]),[[True,False],[False,True]])
check('no blocks',solve([]),[])
check('all empty blocks',solve([0,0]),[])
check('one block',solve([3]),[[True,False,False],[True,True,False],[True,True,True]])
check('trailing empty block',solve([2,0]),[[True,False],[True,True]])
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)

SHA-256 / f663cfe5b4c8cc9d7e7421a332e0e88bce8c2a41f7e8d0f3fa831af362f76a7f