fix(syntax-coverage): fail on a not-submitted entry whose case has a receipt

An unobservable entry with cause = "not_submitted" keeps its obligation
unverifiable whatever its cases' receipts, so obligations stayed
unsatisfied after their cases were recorded. The check now fails when a
listed case has a current syntax receipt with its sql_sha256, and the
3,545 such entries are removed, with evidence pinned to 742cb3eb.

Author: kvlonge

coverage/syntax/baseline.json

@@ -830,8 +830,16 @@
 {"case_id":"sf.security_admin.create-external-access-integration.kd8dff90e8139","mark":"settled accept","obligations":["sf.security_admin.create-external-access-integration.o040"],"sql_sha256":"d8dff90e813913437341434f3f9a70ab78e29f18f3ad886f5e6a245084980ddd"}
 {"case_id":"sf.security_admin.create-external-access-integration.keaf38c31c0a4","mark":"settled accept","obligations":["sf.security_admin.create-external-access-integration.o065"],"sql_sha256":"eaf38c31c0a4fcf66cfe2d06821630f367ddba776c591757f5196a5e6cee9ce5"}
 {"case_id":"sf.security_admin.create-external-access-integration.kff9fa47804e7","mark":"settled accept","obligations":["sf.security_admin.create-external-access-integration.o016"],"sql_sha256":"ff9fa47804e79df62f321942323b6e5d336276d06015ea84f6bad5e9319e2b03"}
+{"case_id":"sf.security_admin.create-failover-group.object-types-allowed-accounts.k1e685dd80b46","mark":"settled reject","obligations":["sf.security_admin.create-failover-group.object-types-allowed-accounts.o042"],"sql_sha256":"1e685dd80b46058cc644c3267f0160306b35b6d9f4c721140b2b1fc06d3e8065"}
+{"case_id":"sf.security_admin.create-failover-group.object-types-allowed-accounts.k25daf8b03298","mark":"settled reject","obligations":["sf.security_admin.create-failover-group.object-types-allowed-accounts.o037"],"sql_sha256":"25daf8b032989f14796c7f0546f4b07170dcabb65090f631493943631c7092be"}
+{"case_id":"sf.security_admin.create-failover-group.object-types-allowed-accounts.k40f1b8459345","mark":"settled reject","obligations":["sf.security_admin.create-failover-group.object-types-allowed-accounts.o023"],"sql_sha256":"40f1b8459345be78aadff40e2d972a88b05da7f3a1cb733d291dc36b511c9023"}
 {"case_id":"sf.security_admin.create-failover-group.object-types-allowed-accounts.k66ce4127e8c3","mark":"settled reject","obligations":["sf.security_admin.create-failover-group.object-types-allowed-accounts.o009"],"sql_sha256":"66ce4127e8c3778ef1d1f25f6ecaf804ee7d9f2953bba101c54b732b48a9b933"}
 {"case_id":"sf.security_admin.create-failover-group.object-types-allowed-accounts.k8a29a75477ca","mark":"settled accept","obligations":["sf.security_admin.create-failover-group.object-types-allowed-accounts.o109"],"sql_sha256":"8a29a75477ca65ad83defe5572a1328fd9642f5f8729c8f6fe1c17d0fa93061c"}
+{"case_id":"sf.security_admin.create-failover-group.object-types-allowed-accounts.k8bc5bbe2eaa4","mark":"settled accept","obligations":["sf.security_admin.create-failover-group.object-types-allowed-accounts.o065"],"sql_sha256":"8bc5bbe2eaa48b1479bd0a7c2593da041c35d76c5ec93c082bc9df36c377971f"}
+{"case_id":"sf.security_admin.create-failover-group.object-types-allowed-accounts.k9502de03e4c4","mark":"settled reject","obligations":["sf.security_admin.create-failover-group.object-types-allowed-accounts.o072"],"sql_sha256":"9502de03e4c42fe885558e204698058429c14c1e665d2b776fcc7bfbeea0e0ab"}
+{"case_id":"sf.security_admin.create-failover-group.object-types-allowed-accounts.kba3bc0a0fbe3","mark":"settled reject","obligations":["sf.security_admin.create-failover-group.object-types-allowed-accounts.o016"],"sql_sha256":"ba3bc0a0fbe35ad7e73aaa521801f5b335b20288dc518f50d625173370e7d9b7"}
+{"case_id":"sf.security_admin.create-failover-group.object-types-allowed-accounts.kd2d41deb5008","mark":"settled accept","obligations":["sf.security_admin.create-failover-group.object-types-allowed-accounts.o106"],"sql_sha256":"d2d41deb5008bfa3faf92cf7bcbd0b3d28a62eac77d3d16d1dcff0362085bf2e"}
+{"case_id":"sf.security_admin.create-failover-group.object-types-allowed-accounts.kefd7bd616c18","mark":"settled reject","obligations":["sf.security_admin.create-failover-group.object-types-allowed-accounts.o030"],"sql_sha256":"efd7bd616c18f9b456a6e50617fbbc7220aa4f3cc9cbf47febb6d78046149652"}
 {"case_id":"sf.security_admin.create-feature-policy.k31f5e8a599d6","mark":"settled accept","obligations":["sf.security_admin.create-feature-policy.o020"],"sql_sha256":"31f5e8a599d67482b3a8ca459ee01952c1f02d0ab1e14df5cbc3d631b5f4a43e"}
 {"case_id":"sf.security_admin.create-feature-policy.k7ee5139f888b","mark":"settled accept","obligations":["sf.security_admin.create-feature-policy.o011"],"sql_sha256":"7ee5139f888b721a211e4142d98ed604d31c68f714da62dee86c6a151db73d48"}
 {"case_id":"sf.security_admin.create-feature-policy.kb3fd5d37954d","mark":"settled accept","obligations":["sf.security_admin.create-feature-policy.o051"],"sql_sha256":"b3fd5d37954d2b66778e52790d5e7054bb0fae5c402214851f9b312a803cd70a"}
@@ -953,8 +961,16 @@
 {"case_id":"sf.security_admin.create-password-policy.kefb74da67d0f","mark":"settled accept","obligations":["sf.security_admin.create-password-policy.o119"],"sql_sha256":"efb74da67d0fbace4969c940dc37565432b1cd1b27f209ce09a2ff406e1911b0"}
 {"case_id":"sf.security_admin.create-privacy-policy.kad299699a2a5","mark":"settled accept","obligations":["sf.security_admin.create-privacy-policy.o015"],"sql_sha256":"ad299699a2a564fffd207f20ca6f1fa36307e2655f5526b2dfb770ec40de6d55"}
 {"case_id":"sf.security_admin.create-projection-policy.kbdeaafc86a48","mark":"settled accept","obligations":["sf.security_admin.create-projection-policy.o015"],"sql_sha256":"bdeaafc86a48fcf178b7a87c559b3fcf0a5b281d1770f8aefed72ccb5b58e1fd"}
+{"case_id":"sf.security_admin.create-replication-group.object-types-allowed-accounts.k50169409f93a","mark":"settled reject","obligations":["sf.security_admin.create-replication-group.object-types-allowed-accounts.o042"],"sql_sha256":"50169409f93a4a9a5c8aa713c91336ce06fbb314cc778aee38e5cccf4bd9d4c0"}
+{"case_id":"sf.security_admin.create-replication-group.object-types-allowed-accounts.k514808411c90","mark":"settled accept","obligations":["sf.security_admin.create-replication-group.object-types-allowed-accounts.o101"],"sql_sha256":"514808411c90cfd670d9bf2c2f1d0b590556bd369b8987aa45d84d59cc9148cd"}
+{"case_id":"sf.security_admin.create-replication-group.object-types-allowed-accounts.k8cae29c318a0","mark":"settled reject","obligations":["sf.security_admin.create-replication-group.object-types-allowed-accounts.o037"],"sql_sha256":"8cae29c318a0ef37c22d3010f0287a5063cc3a7dd7d13261aa4b0b6e24be96b9"}
 {"case_id":"sf.security_admin.create-replication-group.object-types-allowed-accounts.kaba2b028a525","mark":"settled reject","obligations":["sf.security_admin.create-replication-group.object-types-allowed-accounts.o009"],"sql_sha256":"aba2b028a5253d870aa94193a1a4d0fb7e33ca3d789d7b4ee1e6ef368ba0a3e5"}
+{"case_id":"sf.security_admin.create-replication-group.object-types-allowed-accounts.kb0a6a4672646","mark":"settled reject","obligations":["sf.security_admin.create-replication-group.object-types-allowed-accounts.o030"],"sql_sha256":"b0a6a46726463af86e7000ba169965e49b89ff5efbe615376394648012103339"}
+{"case_id":"sf.security_admin.create-replication-group.object-types-allowed-accounts.kbfc9d3c14a5c","mark":"settled reject","obligations":["sf.security_admin.create-replication-group.object-types-allowed-accounts.o023"],"sql_sha256":"bfc9d3c14a5c452cb115aac4cfae5000e8f627da6008c3f14b20755faf7d6183"}
 {"case_id":"sf.security_admin.create-replication-group.object-types-allowed-accounts.kc5c03e278250","mark":"settled accept","obligations":["sf.security_admin.create-replication-group.object-types-allowed-accounts.o104"],"sql_sha256":"c5c03e2782506b1f7526843098be9ff9cb1aa1c95a762f057df963f1caf19f6e"}
+{"case_id":"sf.security_admin.create-replication-group.object-types-allowed-accounts.kde1d41ae84b1","mark":"settled reject","obligations":["sf.security_admin.create-replication-group.object-types-allowed-accounts.o068"],"sql_sha256":"de1d41ae84b1a0fca79b00cfa34f6ea119afc57655a6d57a958e42628517ae25"}
+{"case_id":"sf.security_admin.create-replication-group.object-types-allowed-accounts.ke0291e2a6a65","mark":"settled reject","obligations":["sf.security_admin.create-replication-group.object-types-allowed-accounts.o016"],"sql_sha256":"e0291e2a6a65a079cfa563f7cdc9b7800e73d100e8fe1b3112d8a69f11c86986"}
+{"case_id":"sf.security_admin.create-replication-group.object-types-allowed-accounts.kf3dea6a9fc62","mark":"settled accept","obligations":["sf.security_admin.create-replication-group.object-types-allowed-accounts.o061"],"sql_sha256":"f3dea6a9fc625eec52e4d77f26f3ce35b271d95382505cb84d2bff6d1e5cc93d"}
 {"case_id":"sf.security_admin.create-resource-monitor.k01bfd26affdd","mark":"settled reject","obligations":["sf.security_admin.create-resource-monitor.o198"],"sql_sha256":"01bfd26affdd1606ff9e8155eaf468f1671adadb57d9f1ed580677a87edbbf94"}
 {"case_id":"sf.security_admin.create-resource-monitor.k0b6004efb800","mark":"settled accept","obligations":["sf.security_admin.create-resource-monitor.o177"],"sql_sha256":"0b6004efb8004905e764078a700ba3ffb94f6986b0d2d6a1590c8415cd11a12d"}
 {"case_id":"sf.security_admin.create-resource-monitor.k18d09584fe00","mark":"settled accept","obligations":["sf.security_admin.create-resource-monitor.o101"],"sql_sha256":"18d09584fe005f68bb02ace444db52f33772f51a6eab01188a29765521e8a023"}

coverage/syntax/marks/ddl.jsonl

@@ -1,24 +1 @@
 
-[[unobservable]]
-obligation = "sf.classes.anomaly-detection.commands.create-anomaly-detection.o053"
-form = "sf.classes.anomaly-detection.commands.create-anomaly-detection"
-construct = "the form without its required ): CREATE SNOWFLAKE . ML . ANOMALY_DETECTION v1 ( INPUT_DATA => SYSTEM$REFERENCE ( 'VIEW' , 'v1' ) , TIMESTAMP_COLNAME => 'm' , TARGET_COLNAME => 'm' , LABEL_COLNAME => 'm' ;"
-reason = "not submitted: held by the capture guard in packet 2c-cls: names an existing account object: SNOWFLAKE"
-cause = "not_submitted"
-cases = [
-  { case_id = "sf.classes.anomaly-detection.commands.create-anomaly-detection.k54b2ae9000ec", sql_sha256 = "54b2ae9000ec7ecd8a782b05b28c6e0949abbfe31cae66026833ecbdde334f0b" },
-]
-runs = []
-probes = []
-
-[[unobservable]]
-obligation = "sf.classes.forecast.commands.create-forecast.forecast-input-data-timestamp-colname-target-colname.o053"
-form = "sf.classes.forecast.commands.create-forecast.forecast-input-data-timestamp-colname-target-colname"
-construct = "the form without its required ): CREATE SNOWFLAKE . ML . FORECAST v1 ( INPUT_DATA => SYSTEM$REFERENCE ( 'VIEW' , 'v1' ) , TIMESTAMP_COLNAME => 'm' , TARGET_COLNAME => 'm' ;"
-reason = "not submitted: held by the capture guard in packet 2c-cls: names an existing account object: SNOWFLAKE"
-cause = "not_submitted"
-cases = [
-  { case_id = "sf.classes.forecast.commands.create-forecast.forecast-input-data-timestamp-colname-target-colname.ke129977ed727", sql_sha256 = "e129977ed727670f3bb5ea9add9345259db2ece4b1207dd2c595a54448a34dd3" },
-]
-runs = []
-probes = []