FAILURE MAP
← Case archive

FA-26231 / Filter interfaces / Open access

Overlaying a view records mixed filter provenance · case 01

Overlaying a view records mixed filter provenance is violated by the widget projection.

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

ROOT CAUSE

The overlay-provenance decision uses `'view'` instead of the stipulated saved-view-overlay projection.

VERIFIED REPAIR

Implement the declared overlay-provenance projection: `'view' if d['mode']=='replace' else 'mixed'`.

Unsuccessful approach: The attempted correction `'mixed'` still violates the explicit contract fixtures.

Case contract

Applying a saved view may replace or overlay editable filters, but it never replaces enforced scope and retains hidden selected criteria unless replace mode explicitly clears them. This example checks: Overlaying a view records mixed filter provenance.

Why this case matters

Filter-widget state and serialization must preserve user constraints while the view changes.

1 / The failure

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

N = 1
observations = []
def solve(d):
    return {'replace-user':(d['saved'] if d['mode']=='replace' else [x for i,x in enumerate(d['current']+d['saved']) if x not in (d['current']+d['saved'])[:i]]), 'enforced-separation':(d['enforced']+d['saved']), 'overlay-provenance':('view'), 'hidden-retention':([x for x in d['current'] if x[0] not in d['visible']] if d['mode']=='overlay' else []), 'field-overlay-policy':([x for x in d['current'] if d['policies'].get(x[0])!='replace']+[x for x in d['saved'] if d['policies'].get(x[0])!='keep']), 'effective-view-count':(len(d['saved'])+len(d['enforced']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2})], 2: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2})], 3: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2})], 4: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2})], 5: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), 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 fixtureActualExpectedOutcome
contract fixture 0{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'view', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Failed
contract fixture 1{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['a', 'new']]}Passed
contract fixture 2{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'view', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Failed
contract fixture 3{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'view', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Failed
contract fixture 4{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'view', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Failed
contract fixture 5{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}Passed
contract fixture 6{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}Passed
contract fixture 7{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}Passed
contract fixture 8{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'view', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}Failed
contract fixture 9{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'view', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}Failed

SHA-256 / a5796d31ea17cd432bda5f77982102e3da6dff6bbdd67af06d4ed6a8a9be235a

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'replace-user':(d['saved'] if d['mode']=='replace' else [x for i,x in enumerate(d['current']+d['saved']) if x not in (d['current']+d['saved'])[:i]]), 'enforced-separation':(d['enforced']+d['saved']), 'overlay-provenance':('mixed'), 'hidden-retention':([x for x in d['current'] if x[0] not in d['visible']] if d['mode']=='overlay' else []), 'field-overlay-policy':([x for x in d['current'] if d['policies'].get(x[0])!='replace']+[x for x in d['saved'] if d['policies'].get(x[0])!='keep']), 'effective-view-count':(len(d['saved'])+len(d['enforced']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2})], 2: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2})], 3: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2})], 4: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2})], 5: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), 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 fixtureActualExpectedOutcome
contract fixture 0{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Passed
contract fixture 1{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['a', 'new']]}Failed
contract fixture 2{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Passed
contract fixture 3{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Passed
contract fixture 4{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Passed
contract fixture 5{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'mixed', 'replace-user': [['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}Failed
contract fixture 6{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'mixed', 'replace-user': [['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}Failed
contract fixture 7{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'mixed', 'replace-user': [['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}Failed
contract fixture 8{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}Passed
contract fixture 9{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}Passed

SHA-256 / c58a81c979652a94c67c4f9c64874623c9d9419cc677bff62b7a3563d1215c0c

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'replace-user':(d['saved'] if d['mode']=='replace' else [x for i,x in enumerate(d['current']+d['saved']) if x not in (d['current']+d['saved'])[:i]]), 'enforced-separation':(d['enforced']+d['saved']), 'overlay-provenance':('view' if d['mode']=='replace' else 'mixed'), 'hidden-retention':([x for x in d['current'] if x[0] not in d['visible']] if d['mode']=='overlay' else []), 'field-overlay-policy':([x for x in d['current'] if d['policies'].get(x[0])!='replace']+[x for x in d['saved'] if d['policies'].get(x[0])!='keep']), 'effective-view-count':(len(d['saved'])+len(d['enforced']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2})], 2: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2})], 3: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2})], 4: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2})], 5: [({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['b', 'x']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'overlay', 'visible': ['a'], 'scope': 'ss', 'view_scope': 's', 'policies': {'a': 'keep'}}, {'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'enforced-separation': [['a', 'required'], ['b', 'x']], 'overlay-provenance': 'mixed', 'hidden-retention': [['hidden', 'z']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'effective-view-count': 2}), ({'saved': [['a', 'new']], 'current': [['a', 'old'], ['hidden', 'z']], 'enforced': [['a', 'required']], 'mode': 'replace', 'visible': ['a'], 'scope': 's', 'view_scope': 's', 'policies': {'a': 'replace'}}, {'replace-user': [['a', 'new']], 'enforced-separation': [['a', 'required'], ['a', 'new']], 'overlay-provenance': 'view', 'hidden-retention': [], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'effective-view-count': 2})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), 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 fixtureActualExpectedOutcome
contract fixture 0{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Passed
contract fixture 1{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['a', 'new']]}Passed
contract fixture 2{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Passed
contract fixture 3{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['a', 'new']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Passed
contract fixture 4{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['a', 'new']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['a', 'new']]}Passed
contract fixture 5{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}Passed
contract fixture 6{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}Passed
contract fixture 7{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [], 'overlay-provenance': 'view', 'replace-user': [['b', 'x']]}Passed
contract fixture 8{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}Passed
contract fixture 9{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}{'effective-view-count': 2, 'enforced-separation': [['a', 'required'], ['b', 'x']], 'field-overlay-policy': [['a', 'old'], ['hidden', 'z'], ['b', 'x']], 'hidden-retention': [['hidden', 'z']], 'overlay-provenance': 'mixed', 'replace-user': [['a', 'old'], ['hidden', 'z'], ['b', 'x']]}Passed

SHA-256 / e67e43696cac89ddb410e32aa91abd7457b11c0785514689d0b1999bc5350450

Verification & scope

Deterministic bounded UI-state model only; no browser, query engine, network, or production-standard conformance is claimed. 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:41:14.170976+00:00.

Case digest / ee687caba068f0304dd9e71ca61eecaf455e174a7d4c179ab5b21566befdee76