fixing pr11036 by adding plain certificates

collects/compiler/zo-marshal.rkt

@@ -356,7 +356,9 @@
     [(struct certificate:nest (m1 m2))
      (list* (encode-mark-map m1) (encode-mark-map m2))]
     [(struct certificate:ref (val m))
-     (list* #f (make-protected-symref val) (encode-mark-map m))]))
+     (list* #f (make-protected-symref val) (encode-mark-map m))]
+    [(struct certificate:plain (m))
+     (encode-mark-map m)]))
 
 (define (encode-wrapped w)
   (match w

collects/compiler/zo-parse.rkt

@@ -524,7 +524,9 @@
         (symtab-lookup cp symref)
         (decode-mark-map alist))]
       [(list* (? list? nested) alist)
-       (make-certificate:nest (decode-mark-map nested) (decode-mark-map alist))])))
+       (make-certificate:nest (decode-mark-map nested) (decode-mark-map alist))]
+      [alist
+       (make-certificate:plain (decode-mark-map alist))])))
 
 (define stx-memo (make-memo))
 ; XXX More memo use

collects/compiler/zo-structs.rkt

@@ -63,6 +63,9 @@
 (define-form-struct (certificate:ref certificate)
   ([val any/c]
    [map  mark-map?]))
+(define-form-struct (certificate:plain certificate)
+  ([map  mark-map?]))
+
 
 (define-form-struct wrap ())
 (define-form-struct wrapped ([datum any/c] 

collects/scribblings/raco/zo-parse.scrbl

@@ -555,6 +555,10 @@ A nested certificate.}
                                                                                             
 A reference certificate.}
                                                                                           
+@defstruct+[(certificate:plain certificate) ([map (listof number? module-path-index? ...)])]{
+                                                                                            
+A plain certificate.}
+                                                                                           
 
 @defstruct+[(wrap zo) ()]{