def evaluate_license(case):
    """Return a bounded model-license automation decision for one synthetic case.

    Required discipline: exact artifact identity, explicit evidence state, no legal
    inference from repository labels/SPDX identifiers, and no prior-decision reuse
    across a changed digest/revision.
    """
    raise NotImplementedError("Implement the bounded AIE-015 model-license policy gate")