Grammar: scope.cddl parsed OK

id  vector                                                    expected                    grammar  verdict   lines
------------------------------------------------------------------------------------------------------------------
V1  limits: per_payment only; no aggregate, no window, no executorCONTRADICTORY               ACCEPT   FINDING   l.304-305, l.323-324, l.431-432
    'limits' prose: minimum is per-payment AND aggregate over a window; 'executor' prose: per-payment-only scopes MAY omit executor; grammar makes aggregate optional. The minimum-limits prose conflicts with the per-payment-only allowance; the grammar follows the latter.
V2  aggregate present, window ABSENT                          REFUSE                      ACCEPT   FINDING   l.304-305, l.310-311, l.432
    The prose defines the aggregate as a maximum over a stated window and defines the window as rolling seconds; the CDDL comment repeats that window is REQUIRED with aggregate; the executable grammar accepts aggregate without it. Expressible in CDDL by group choice.
V3  aggregate + window present, executor ABSENT               REFUSE                      ACCEPT   FINDING   l.316
    'executor' prose: REQUIRED when limits carries an aggregate bound. Expressible in CDDL by group choice; the published grammar does not enforce it.
V4  crit names a member not present in the map                NOT-DECIDABLE-BY-GRAMMAR    ACCEPT   n/a       l.351
    Prose: 'member names critical to this scope'. No MUST that a critical member be present. Not a finding; noted as an undefined case.
V5  on_indeterminate.deadline LATER than expiry               NOT-DECIDABLE-BY-GRAMMAR    ACCEPT   n/a       l.371
    Prose: deadline MUST NOT exceed expiry. Cross-field constraint; outside CDDL. Belongs in a conformance test, not in the grammar. Not a finding.
V6  bounded-fail-open carrying a deadline                     NOT-DECIDABLE-BY-GRAMMAR    ACCEPT   n/a       l.439-440
    CDDL comment: 'meaningful for hold'. No MUST NOT elsewhere. Not a finding.
V7  unknown member, not named in crit                         ACCEPT                      ACCEPT   PASS      l.271, l.417
    Prose: unknown members not named in crit MUST be ignored. Grammar is open (* tstr => any). Desired behaviour; this row is a PASS.
V8  control: every required member, nothing else              ACCEPT                      ACCEPT   PASS      -
    control

Findings: 3  (V1 prose contradiction; V2, V3 grammar does not enforce stated requirement).
V4-V6: not decidable by grammar, not findings. V7: pass. V8: control.