FA-12386 / Manufacturing workflow integrity / Open access

A line clearance survives an intervening product run · case 01

A line clearance survives an intervening product run.

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

ROOT CAUSE

Any historic clearance is accepted before a new product run.

VERIFIED REPAIR

Only the most recent event can authorize a start, and its cleared target must match.

Unsuccessful approach: Using the most recent clearance while skipping run events preserves clearance after consumption.

Case contract

Chronological events are (clear or run, product) pairs. A requested start is permitted only if the last event is clear for that requested product.

Why this case matters

A deterministic manufacturing record model isolates this workflow defect before equipment or enterprise integration.

1 / The failure

Exit 1

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

N = 1
observations = []
def solve(events, product):
    return any(kind == 'clear' for kind, target in events)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
p = 'product-' + str(N)
check('fresh correct clearance', solve([('clear', p)], p), True)
check('clearance consumed by run', solve([('clear', p)] + [('run', p)] * N, p), False)
check('wrong target', solve([('clear', 'other')], p), False)
check('new clearance after run', solve([('clear', p), ('run', p), ('clear', p)], p), True)
check('most recent target controls', solve([('clear', p), ('clear', 'other')], p), False)
check('no clearance', solve([], p), False)
check('run alone', solve([('run', p)], p), False)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
fresh correct clearance	`True`	`True`	Passed
clearance consumed by run	`True`	`False`	Failed
wrong target	`True`	`False`	Failed
new clearance after run	`True`	`True`	Passed
most recent target controls	`True`	`False`	Failed
no clearance	`False`	`False`	Passed
run alone	`False`	`False`	Passed

SHA-256 / bbe68e9f443f59d1e1a5c9c8413b6c527017a4005549a091ecca27c8b1522bdd

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(events, product):
    clears = [target for kind, target in events if kind == 'clear']
    return bool(clears) and clears[-1] == product
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
p = 'product-' + str(N)
check('fresh correct clearance', solve([('clear', p)], p), True)
check('clearance consumed by run', solve([('clear', p)] + [('run', p)] * N, p), False)
check('wrong target', solve([('clear', 'other')], p), False)
check('new clearance after run', solve([('clear', p), ('run', p), ('clear', p)], p), True)
check('most recent target controls', solve([('clear', p), ('clear', 'other')], p), False)
check('no clearance', solve([], p), False)
check('run alone', solve([('run', p)], p), False)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
fresh correct clearance	`True`	`True`	Passed
clearance consumed by run	`True`	`False`	Failed
wrong target	`False`	`False`	Passed
new clearance after run	`True`	`True`	Passed
most recent target controls	`False`	`False`	Passed
no clearance	`False`	`False`	Passed
run alone	`False`	`False`	Passed

SHA-256 / 314cced6a580daa25ced2637930308d76f082dc4cdaf2bdbfc2c987bee58b739

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(events, product):
    return bool(events) and events[-1] == ('clear', product)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
p = 'product-' + str(N)
check('fresh correct clearance', solve([('clear', p)], p), True)
check('clearance consumed by run', solve([('clear', p)] + [('run', p)] * N, p), False)
check('wrong target', solve([('clear', 'other')], p), False)
check('new clearance after run', solve([('clear', p), ('run', p), ('clear', p)], p), True)
check('most recent target controls', solve([('clear', p), ('clear', 'other')], p), False)
check('no clearance', solve([], p), False)
check('run alone', solve([('run', p)], p), False)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
fresh correct clearance	`True`	`True`	Passed
clearance consumed by run	`False`	`False`	Passed
wrong target	`False`	`False`	Passed
new clearance after run	`True`	`True`	Passed
most recent target controls	`False`	`False`	Passed
no clearance	`False`	`False`	Passed
run alone	`False`	`False`	Passed

SHA-256 / bfc291167c018d46283852236d038962782b323bfd5dac7014d757776b25bc8f

Verification & scope

Offline policy model only; no physical equipment, regulatory certification, or concurrent transaction claims. 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:38:56.390359+00:00.

Case digest / 1b5dd8f7d86c8456683e111e3c9ab02133f7af5833daac50b458599c30e96530