Skip to content

Commit 6ccfcae

Browse files
committed
coverage(syntax): auditor D118 per-form reviews at main 00e831a
Basis: main 00e831a (PR #38, #39, #40), catalogue 5f35885, evidence 469edde, parser tree 08415e1. - 68 rebinds (ddl 1, expressions 6, functions 59, query 2): #39 put [[reading]] grammars into the definition hash; each fingerprint equals one an earlier full-read review approved. - 149 newly approved forms (ddl 71, functions 56, scripting 14, expressions 5, query 2, transaction_session 1), read against their pinned pages and raw parser trees. - Not approved: 37 forms with catalogue findings and 1 withhold (sf.ddl.drop-sequence: RESTRICT is dropped from the tree). Checker at 00e831a: valid, 3476 forms; 1239 of 3348 verified.
1 parent dbe0a23 commit 6ccfcae

6 files changed

Lines changed: 801 additions & 0 deletions

File tree

‎coverage/syntax/reviews/auditor-ddl.toml‎

Lines changed: 246 additions & 0 deletions
Large diffs are not rendered by default.

‎coverage/syntax/reviews/auditor-expressions.toml‎

Lines changed: 63 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -302,3 +302,66 @@ note = "D118 per-form rebind at catalogue 39c99f0a, evidence bee56038, parser tr
302302
"sf.expressions.operators-comparison.not-equal-bang" = "4cf6d7d2476e0184f1fd8af4da943389d36573383f87c1e628ac583e2cc1f3c8"
303303
"sf.expressions.operators-logical.not" = "dabe96681a71715f3036db826c8e281562f0dfbbd42e982228015481ee7cf94c"
304304
"sf.expressions.schema-variables" = "78c8676e984fc74d0396bce6e10b2b015f628d411fe75765472fc19abe9fce1e"
305+
306+
[[review]]
307+
id = "auditor-expressions-d118-rebind-readings"
308+
reviewer_lane = "auditor"
309+
family = "expressions"
310+
parser_tree = "08415e197894427f047442a0d66d6fd21c478ad8"
311+
reviewed_utc = "2026-11-04T21:30:00Z"
312+
verdict = "approved"
313+
forms = [
314+
"sf.expressions.data-types-semistructured.colon-subscript-dot",
315+
"sf.expressions.data-types-semistructured.subscript-dot",
316+
"sf.expressions.identifiers-syntax.double-quoted-identifier",
317+
"sf.expressions.identifiers-syntax.unquoted-identifier",
318+
"sf.expressions.name-resolution",
319+
"sf.expressions.schema-variables",
320+
]
321+
note = "Rebind at main 00e831a4 (PR #38, #39 and #40), catalogue 5f35885d, evidence 469edde2. #39 put each form's [[reading]] grammar into its definition hash, so these bindings went stale once; each form's fingerprint (obligations and cases) equals the one an earlier full-read review approved, and M2 agrees on every case under the new parser. The earlier reads stand."
322+
323+
[review.fingerprints]
324+
"sf.expressions.data-types-semistructured.colon-subscript-dot" = "062f8e2319482c873572feb08807250203314bf59f5b8be2f09a4989f71f2e5c"
325+
"sf.expressions.data-types-semistructured.subscript-dot" = "536c9ca6daa838ba89ddf528c55517880db9a5229e29e2a638b5d1a9e2f127bb"
326+
"sf.expressions.identifiers-syntax.double-quoted-identifier" = "d046be6defbb194f8573000877ff7e6bfbf3413cdde76e0af556694f2c8845d1"
327+
"sf.expressions.identifiers-syntax.unquoted-identifier" = "90d3aeaea3210ae6f5ee72ee6f535c5a74a882a0484c807da76a196caaad1759"
328+
"sf.expressions.name-resolution" = "82784017d8f4be9f75ccb43b17718d99f8485f073178fc28eab9346a30f1590e"
329+
"sf.expressions.schema-variables" = "8514fc2e685547a82b5b8c1bbdf3cf18abc20c973216bc5a273712da7a312620"
330+
331+
[review.definitions]
332+
"sf.expressions.data-types-semistructured.colon-subscript-dot" = "28a697f09e91f7fbce35c73453739f02fe2a2d49e94c2033e04c2e0b3ceed377"
333+
"sf.expressions.data-types-semistructured.subscript-dot" = "262543b4416efcfb2150de1e79626506c2c387724d47aaa056ad3fa11a1c612b"
334+
"sf.expressions.identifiers-syntax.double-quoted-identifier" = "c9a97321bce04bf85c56b740488262b1cda6b6598d70b91692da53007a1006b6"
335+
"sf.expressions.identifiers-syntax.unquoted-identifier" = "c0668b13719c46906c309f69020c56081b00ea26dbf0f163107671a1503266bf"
336+
"sf.expressions.name-resolution" = "d86311b020152f866a6e99fd13c621c70f143a48a4bb2196034094b19abf2fbf"
337+
"sf.expressions.schema-variables" = "29e0b184b49e982f27eedadac1de5f840f6591c3c3c54cedc6b619b947830255"
338+
339+
[[review]]
340+
id = "auditor-expressions-d118-8"
341+
reviewer_lane = "auditor"
342+
family = "expressions"
343+
parser_tree = "08415e197894427f047442a0d66d6fd21c478ad8"
344+
reviewed_utc = "2026-11-04T22:30:00Z"
345+
verdict = "approved"
346+
forms = [
347+
"sf.expressions.data-types-datetime.time",
348+
"sf.expressions.data-types-numeric.number",
349+
"sf.expressions.data-types-text.varbinary",
350+
"sf.expressions.data-types-user-defined",
351+
"sf.expressions.operators-arithmetic.unary-plus",
352+
]
353+
note = "D118 R-read at main 00e831a4, catalogue 5f35885d, evidence 469edde2: each form read against its pinned page (transcription, variants, obligation template, rendering) and its raw parser trees (no documented element dropped); M2 agrees on every case. Forms with findings or withholds are not in this block."
354+
355+
[review.fingerprints]
356+
"sf.expressions.data-types-datetime.time" = "a508029553fdb45014825cf5aa95abf207ec14bc82f8487cbbaa2d799aab0ce9"
357+
"sf.expressions.data-types-numeric.number" = "216d24ee186d6a7ef85d6500ac300947ff6f594e510cfa042825c6f0368e4a31"
358+
"sf.expressions.data-types-text.varbinary" = "8c4eb3c76e45237f8e0795f67570416c80bd9f941132082ca80b3c102c468265"
359+
"sf.expressions.data-types-user-defined" = "1d658385d27991ef40503c27c7fc1071656d9ae2bfb27cd75f588ada41aa19b7"
360+
"sf.expressions.operators-arithmetic.unary-plus" = "50c9bb241c45c7289bec069d819fe173d3c0ddd73ada048728316364c5e093a3"
361+
362+
[review.definitions]
363+
"sf.expressions.data-types-datetime.time" = "32427728eb849138511523f76d67646192740655c8d7a8370db27bec02eabc99"
364+
"sf.expressions.data-types-numeric.number" = "e58430a9beae7cec2e6386ef6502f3d51970c76bba15fe8b18dfa5a5edef02f8"
365+
"sf.expressions.data-types-text.varbinary" = "a9390c7d3f3a1bfde928c0e688a182639a03841a11edc091be73e20033ead4bc"
366+
"sf.expressions.data-types-user-defined" = "7f577456bd86183fb97f4c16c62ce5f69a6ea4823897355db2bea3c8627f7a55"
367+
"sf.expressions.operators-arithmetic.unary-plus" = "82d3abe4799ef8968f4a44141ac282cd8a874c59b131ca4ef7a8b1c38e1d7345"

0 commit comments

Comments
 (0)