Recover nested row-trigger DML effects and RAISE IGNORE/FAIL/ABORT/ROLLBACK boun...

{ "body": { "artifact": { "sqliteTriggers": { "claim": null, "data": { "operations": [ { "op": "insert", "rows": [ { "key": 1, "value": 7 } ], "table": 0 } ], "tables": [ [], [] ], "triggers": [ { "actions": [ { "op": "insert", "rows": [ { "key": { "column": "key", "scope": "new" }, "value": { "column": "value", "scope": "new" } } ], "table": 1, "when": true } ], "event": "insert", "table": 0, "timing": "after", "when": true } ] } } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 1, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "sqlite345-trigger-row-program-raise-conflict-effect-ledger_scoped_evidence", "type": "artifact" } ], "limits": [ "SQLite3.45.1 anonymous integer row tables; one BEFORE/AFTER trigger per table/event/timing; trigger writes strictly to higher numbered tables, explicit NEW/OLD/current expressions and RAISE policies. No recursive write cycles, undefined BEFORE target mutation, duplicate keys or arbitrary SQL." ], "module": "sqlite345-trigger-row-program-raise-conflict-effect-ledger", "state": "observed", "value": { "claim_matches": false, "computed": { "steps": [ { "status": "ok", "tables": [ [ { "key": 1, "value": 7 } ], [ { "key": 1, "value": 7 } ] ], "transaction_active": false } ], "tables": [ [ { "key": 1, "value": 7 } ], [ { "key": 1, "value": 7 } ] ], "transaction_active": false } }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }