JNI 出现 pending exception 后为什么必须立即处理

from pathlib import Path
import json
import sys

if len(sys.argv) != 2:
    raise SystemExit(2)
trace_path = Path(sys.argv[1])
if not trace_path.is_file():
    raise SystemExit(2)
try:
    events = json.loads(trace_path.read_text(encoding="utf-8"))
except (OSError, UnicodeError, json.JSONDecodeError):
    raise SystemExit(2)
if not isinstance(events, list) or not events:
    raise SystemExit(2)
allowed_pending = {"exception-capture", "exception-describe", "exception-clear", "propagate", "native-cleanup"}
allowed_translated = {"native-cleanup", "return-error"}
state = "ready"
issues = []
terminal = False
for index, event in enumerate(events):
    if not isinstance(event, dict) or not isinstance(event.get("op"), str):
        raise SystemExit(2)
    op = event["op"]
    if terminal:
        issues.append({"index": index, "issue": "event-after-terminal"})
        continue
    if state == "need-check":
        if op != "exception-check" or not isinstance(event.get("pending"), bool):
            issues.append({"index": index, "issue": "jni-call-not-immediately-checked"})
            state = "invalid"
        elif event["pending"]:
            state = "pending"
        else:
            state = "ready"
        continue
    if state == "pending":
        if op not in allowed_pending:
            issues.append({"index": index, "issue": "ordinary-operation-while-exception-pending"})
            state = "invalid"
        elif op == "exception-clear":
            state = "cleared"
        elif op == "propagate":
            terminal = True
        continue
    if state == "cleared":
        if op != "translate-error" or not isinstance(event.get("category"), str) or not event["category"]:
            issues.append({"index": index, "issue": "cleared-exception-not-translated"})
            state = "invalid"
        else:
            state = "translated"
        continue
    if state == "translated":
        if op not in allowed_translated:
            issues.append({"index": index, "issue": "jni-operation-after-error-translation"})
            state = "invalid"
        elif op == "return-error":
            terminal = True
        continue
    if state == "ready" and op == "jni-call":
        state = "need-check"
    elif state == "ready" and op not in {"native-work", "native-cleanup", "return-success"}:
        issues.append({"index": index, "issue": "unexpected-ready-operation"})
    elif state == "ready" and op == "return-success":
        terminal = True
if state in {"need-check", "pending", "cleared", "translated"} and not terminal:
    issues.append({"index": len(events), "issue": "unterminated-exception-contract"})
print(json.dumps({"eventCount": len(events), "terminal": terminal, "issues": issues}, ensure_ascii=False, indent=2))
if issues or not terminal:
    raise SystemExit(3)