udb 0.1.9 → 0.1.14

data/lib/udb/z3.rb

@@ -23,6 +23,29 @@ Udb::Z3Loader.ensure_z3_loaded
 
 require "z3"
 
+# Patch Z3::AST#ast_kind to use a constant hash instead of allocating a new one on every call
+module Z3
+  class AST
+    extend T::Sig
+
+    AST_KIND_LOOKUP = T.let({
+      0 => :numeral,
+      1 => :app,
+      2 => :var,
+      3 => :quantifier,
+      4 => :sort,
+      5 => :func_decl,
+      1000 => :unknown,
+    }.freeze, T::Hash[Integer, Symbol])
+
+    sig { returns(Symbol).checked(:never) }
+    def ast_kind
+      kind_id = LowLevel.get_ast_kind(self)
+      AST_KIND_LOOKUP[kind_id] or raise Z3::Exception, "Unknown AST kind #{kind_id}"
+    end
+  end
+end
+
 module Z3
   # Extension to the Z3::Solver class to add tracked assertions
   class Solver
@@ -1102,8 +1125,8 @@ module Udb
       @solver = T.let(Z3::Solver.new, Z3::Solver)
 
       # Stacks for incremental solving with push/pop
-      @ext_vers = T.let([{}], T::Array[T::Hash[String, Z3ExtensionVersion]])
-      @ext_reqs = T.let([{}], T::Array[T::Hash[String, Z3ExtensionRequirement]])
+      @ext_vers = T.let([{}], T::Array[T::Hash[Integer, Z3ExtensionVersion]])
+      @ext_reqs = T.let([{}], T::Array[T::Hash[Integer, Z3ExtensionRequirement]])
       @param_terms = T.let([{}], T::Array[T::Hash[String, Z3ParameterTerm]])
 
       # Extension version component terms (shared across versions of same extension)

data/lib/udb.rb

@@ -6,14 +6,11 @@
 
 module Udb; end
 
-require_relative "udb/cert_normative_rule"
 require_relative "udb/doc_link"
 require_relative "udb/condition"
 require_relative "udb/schema"
 require_relative "udb/version"
 
-require_relative "udb/obj/certifiable_obj"
-require_relative "udb/obj/certificate"
 require_relative "udb/obj/csr_field"
 require_relative "udb/obj/csr"
 require_relative "udb/obj/database_obj"

metadata

@@ -1,15 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: udb
 version: !ruby/object:Gem::Version
-  version: 0.1.9
+  version: 0.1.14
 platform: ruby
 authors:
 - Derek Hower
 - James Ball
-autorequire:
 bindir: bin
 cert_chain: []
-date: 2026-04-11 00:00:00.000000000 Z
+date: 2026-07-18 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: activesupport
@@ -71,16 +70,16 @@ dependencies:
   name: idlc
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 0.1.5
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 0.1.5
 - !ruby/object:Gem::Dependency
   name: json_schemer
   requirement: !ruby/object:Gem::Requirement
@@ -253,16 +252,16 @@ dependencies:
   name: udb_helpers
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 0.1.3
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - '='
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 0.1.3
 - !ruby/object:Gem::Dependency
   name: z3
   requirement: !ruby/object:Gem::Requirement
@@ -450,14 +449,13 @@ files:
 - ".data/cfgs/mc100-32-full-example.yaml"
 - ".data/cfgs/memmap.json"
 - ".data/cfgs/prm_demo_rv32.yaml"
+- ".data/cfgs/profile/README.adoc"
 - ".data/cfgs/profile/RVA20S64.yaml"
 - ".data/cfgs/profile/RVA20U64.yaml"
 - ".data/cfgs/profile/RVA22S64.yaml"
 - ".data/cfgs/profile/RVA22U64.yaml"
-- ".data/cfgs/profile/RVA23M64.yaml"
 - ".data/cfgs/profile/RVA23S64.yaml"
 - ".data/cfgs/profile/RVA23U64.yaml"
-- ".data/cfgs/profile/RVB23M64.yaml"
 - ".data/cfgs/profile/RVB23S64.yaml"
 - ".data/cfgs/profile/RVB23U64.yaml"
 - ".data/cfgs/profile/RVI20U32.yaml"
@@ -473,6 +471,9 @@ files:
 - ".data/spec/custom/isa/example/csr/marchid.yaml"
 - ".data/spec/custom/isa/example/csr/mcustom0.yaml"
 - ".data/spec/custom/isa/example/ext/Xcustom.yaml"
+- ".data/spec/custom/isa/qc_iu/csr/Smrnmi/mnepc.yaml"
+- ".data/spec/custom/isa/qc_iu/csr/Xqccmi/qc.itba.yaml"
+- ".data/spec/custom/isa/qc_iu/csr/Xqccmi/qc.itdec.yaml"
 - ".data/spec/custom/isa/qc_iu/csr/Xqci/gen_mcliciX.rb"
 - ".data/spec/custom/isa/qc_iu/csr/Xqci/qc.mcause.yaml"
 - ".data/spec/custom/isa/qc_iu/csr/Xqci/qc.mclicie0.yaml"
@@ -536,12 +537,16 @@ files:
 - ".data/spec/custom/isa/qc_iu/csr/Xqci/qc.mwpstartaddr1.yaml"
 - ".data/spec/custom/isa/qc_iu/csr/Xqci/qc.mwpstartaddr2.yaml"
 - ".data/spec/custom/isa/qc_iu/csr/Xqci/qc.mwpstartaddr3.yaml"
+- ".data/spec/custom/isa/qc_iu/csr/jvt.yaml"
+- ".data/spec/custom/isa/qc_iu/csr/mepc.yaml"
 - ".data/spec/custom/isa/qc_iu/exception_code/ExecWatchpoint.yaml"
 - ".data/spec/custom/isa/qc_iu/exception_code/IllegalStackPointer.yaml"
 - ".data/spec/custom/isa/qc_iu/exception_code/ReadWatchpoint.yaml"
 - ".data/spec/custom/isa/qc_iu/exception_code/SpOutOfRange.yaml"
 - ".data/spec/custom/isa/qc_iu/exception_code/WriteWatchpoint.yaml"
+- ".data/spec/custom/isa/qc_iu/ext/Xqccmi.yaml"
 - ".data/spec/custom/isa/qc_iu/ext/Xqccmp.yaml"
+- ".data/spec/custom/isa/qc_iu/ext/Xqccmt.yaml"
 - ".data/spec/custom/isa/qc_iu/ext/Xqci.yaml"
 - ".data/spec/custom/isa/qc_iu/ext/Xqcia.yaml"
 - ".data/spec/custom/isa/qc_iu/ext/Xqciac.yaml"
@@ -566,6 +571,7 @@ files:
 - ".data/spec/custom/isa/qc_iu/inst/C/c.srli.yaml"
 - ".data/spec/custom/isa/qc_iu/inst/I/slti.yaml"
 - ".data/spec/custom/isa/qc_iu/inst/I/sltiu.yaml"
+- ".data/spec/custom/isa/qc_iu/inst/Xqccmi/qc.cm.ilut.yaml"
 - ".data/spec/custom/isa/qc_iu/inst/Xqccmp/qc.cm.mva01s.yaml"
 - ".data/spec/custom/isa/qc_iu/inst/Xqccmp/qc.cm.mvsa01.yaml"
 - ".data/spec/custom/isa/qc_iu/inst/Xqccmp/qc.cm.pop.yaml"
@@ -573,6 +579,8 @@ files:
 - ".data/spec/custom/isa/qc_iu/inst/Xqccmp/qc.cm.popretz.yaml"
 - ".data/spec/custom/isa/qc_iu/inst/Xqccmp/qc.cm.push.yaml"
 - ".data/spec/custom/isa/qc_iu/inst/Xqccmp/qc.cm.pushfp.yaml"
+- ".data/spec/custom/isa/qc_iu/inst/Xqccmt/qc.cm.jalt.yaml"
+- ".data/spec/custom/isa/qc_iu/inst/Xqccmt/qc.cm.jt.yaml"
 - ".data/spec/custom/isa/qc_iu/inst/Xqci/qc.addsat.yaml"
 - ".data/spec/custom/isa/qc_iu/inst/Xqci/qc.addusat.yaml"
 - ".data/spec/custom/isa/qc_iu/inst/Xqci/qc.beqi.yaml"
@@ -752,8 +760,6 @@ files:
 - ".data/spec/schemas/non_isa_schema.json"
 - ".data/spec/schemas/param_schema.json"
 - ".data/spec/schemas/prm_schema.json"
-- ".data/spec/schemas/proc_cert_class_schema.json"
-- ".data/spec/schemas/proc_cert_model_schema.json"
 - ".data/spec/schemas/profile_family_schema.json"
 - ".data/spec/schemas/profile_release_schema.json"
 - ".data/spec/schemas/profile_schema.json"
@@ -1221,6 +1227,7 @@ files:
 - ".data/spec/std/isa/ext/Smepmp.yaml"
 - ".data/spec/std/isa/ext/Smmpm.yaml"
 - ".data/spec/std/isa/ext/Smnpm.yaml"
+- ".data/spec/std/isa/ext/Smpmpmt.yaml"
 - ".data/spec/std/isa/ext/Smrnmi.yaml"
 - ".data/spec/std/isa/ext/Smstateen.yaml"
 - ".data/spec/std/isa/ext/Ssaia.yaml"
@@ -1255,6 +1262,7 @@ files:
 - ".data/spec/std/isa/ext/Svnapot.yaml"
 - ".data/spec/std/isa/ext/Svpbmt.yaml"
 - ".data/spec/std/isa/ext/Svrsw60t59b.yaml"
+- ".data/spec/std/isa/ext/Svukte.yaml"
 - ".data/spec/std/isa/ext/Svvptc.yaml"
 - ".data/spec/std/isa/ext/U.yaml"
 - ".data/spec/std/isa/ext/V.yaml"
@@ -2798,6 +2806,7 @@ files:
 - ".data/spec/std/isa/param/MCID_WIDTH.yaml"
 - ".data/spec/std/isa/param/MCONTEXT_AVAILABLE.yaml"
 - ".data/spec/std/isa/param/MCOUNTENABLE_EN.yaml"
+- ".data/spec/std/isa/param/MCOUNTINHIBIT_IMPLEMENTED.yaml"
 - ".data/spec/std/isa/param/MCTRCTL_CORSWAPINH_IMPLEMENTED.yaml"
 - ".data/spec/std/isa/param/MCTRCTL_CUSTOM_IMPLEMENTED.yaml"
 - ".data/spec/std/isa/param/MCTRCTL_DIRCALLINH_IMPLEMENTED.yaml"
@@ -2829,7 +2838,6 @@ files:
 - ".data/spec/std/isa/param/MSTATEEN_IMSIC_TYPE.yaml"
 - ".data/spec/std/isa/param/MSTATEEN_JVT_TYPE.yaml"
 - ".data/spec/std/isa/param/MSTATUS_FS_LEGAL_VALUES.yaml"
-- ".data/spec/std/isa/param/MSTATUS_TVM_IMPLEMENTED.yaml"
 - ".data/spec/std/isa/param/MSTATUS_VS_LEGAL_VALUES.yaml"
 - ".data/spec/std/isa/param/MTVAL_WIDTH.yaml"
 - ".data/spec/std/isa/param/MTVEC_ACCESS.yaml"
@@ -2852,10 +2860,14 @@ files:
 - ".data/spec/std/isa/param/M_MODE_ENDIANNESS.yaml"
 - ".data/spec/std/isa/param/NUM_EXTERNAL_GUEST_INTERRUPTS.yaml"
 - ".data/spec/std/isa/param/NUM_PMP_ENTRIES.yaml"
+- ".data/spec/std/isa/param/NUM_USABLE_PMP_ENTRIES.yaml"
 - ".data/spec/std/isa/param/PHYS_ADDR_WIDTH.yaml"
 - ".data/spec/std/isa/param/PMA_GRANULARITY.yaml"
 - ".data/spec/std/isa/param/PMLEN.yaml"
 - ".data/spec/std/isa/param/PMP_GRANULARITY.yaml"
+- ".data/spec/std/isa/param/PMP_NA4_SUPPORTED.yaml"
+- ".data/spec/std/isa/param/PMP_NAPOT_SUPPORTED.yaml"
+- ".data/spec/std/isa/param/PMP_TOR_SUPPORTED.yaml"
 - ".data/spec/std/isa/param/PRECISE_SYNCHRONOUS_EXCEPTIONS.yaml"
 - ".data/spec/std/isa/param/RCID_WIDTH.yaml"
 - ".data/spec/std/isa/param/REPORT_CAUSE_IN_MTVAL_ON_LANDING_PAD_SOFTWARE_CHECK.yaml"
@@ -2979,27 +2991,13 @@ files:
 - ".data/spec/std/isa/param/VS_MODE_ENDIANNESS.yaml"
 - ".data/spec/std/isa/param/VUXLEN.yaml"
 - ".data/spec/std/isa/param/VU_MODE_ENDIANNESS.yaml"
-- ".data/spec/std/isa/proc_cert_class/AC.yaml"
-- ".data/spec/std/isa/proc_cert_class/MC.yaml"
-- ".data/spec/std/isa/proc_cert_class/RVI.yaml"
-- ".data/spec/std/isa/proc_cert_model/AC100.yaml"
-- ".data/spec/std/isa/proc_cert_model/AC200.yaml"
-- ".data/spec/std/isa/proc_cert_model/MC100-32.yaml"
-- ".data/spec/std/isa/proc_cert_model/MC100-64.yaml"
-- ".data/spec/std/isa/proc_cert_model/MC200-32.yaml"
-- ".data/spec/std/isa/proc_cert_model/MC200-64.yaml"
-- ".data/spec/std/isa/proc_cert_model/MC300-32.yaml"
-- ".data/spec/std/isa/proc_cert_model/MC300-64.yaml"
-- ".data/spec/std/isa/proc_cert_model/RVI20-32.yaml"
-- ".data/spec/std/isa/proc_cert_model/RVI20-64.yaml"
+- ".data/spec/std/isa/param/ZAWRS_NTO_IS_NOP.yaml"
 - ".data/spec/std/isa/profile/RVA20S64.yaml"
 - ".data/spec/std/isa/profile/RVA20U64.yaml"
 - ".data/spec/std/isa/profile/RVA22S64.yaml"
 - ".data/spec/std/isa/profile/RVA22U64.yaml"
-- ".data/spec/std/isa/profile/RVA23M64.yaml"
 - ".data/spec/std/isa/profile/RVA23S64.yaml"
 - ".data/spec/std/isa/profile/RVA23U64.yaml"
-- ".data/spec/std/isa/profile/RVB23M64.yaml"
 - ".data/spec/std/isa/profile/RVB23S64.yaml"
 - ".data/spec/std/isa/profile/RVB23U64.yaml"
 - ".data/spec/std/isa/profile/RVI20U32.yaml"
@@ -3026,7 +3024,6 @@ files:
 - lib/udb/MUST_VERSION
 - lib/udb/Z3_VERSION
 - lib/udb/architecture.rb
-- lib/udb/cert_normative_rule.rb
 - lib/udb/cfg_arch.rb
 - lib/udb/cli.rb
 - lib/udb/condition.rb
@@ -3041,8 +3038,6 @@ files:
 - lib/udb/idl/condition_to_udb.rb
 - lib/udb/log.rb
 - lib/udb/logic.rb
-- lib/udb/obj/certifiable_obj.rb
-- lib/udb/obj/certificate.rb
 - lib/udb/obj/csr.rb
 - lib/udb/obj/csr_field.rb
 - lib/udb/obj/database_obj.rb
@@ -3062,7 +3057,6 @@ files:
 - lib/udb/portfolio_design.rb
 - lib/udb/presence.rb
 - lib/udb/prm_generator.rb
-- lib/udb/proc_cert_design.rb
 - lib/udb/resolver.rb
 - lib/udb/schema.rb
 - lib/udb/version.rb
@@ -3079,7 +3073,6 @@ metadata:
   homepage_uri: https://github.com/riscv/riscv-unified-db
   mailing_list_uri: https://lists.riscv.org/g/tech-unifieddb
   bug_tracker_uri: https://github.com/riscv/riscv-unified-db/issues
-post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -3094,8 +3087,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.4.19
-signing_key:
+rubygems_version: 3.6.9
 specification_version: 4
 summary: Interface to the RISC-V Unified Database
 test_files: []

data/.data/cfgs/profile/RVA23M64.yaml

@@ -1,159 +0,0 @@
-# SPDX-License-Identifier: CC0-1.0
-
-# AUTO-GENERATED FILE. DO NOT EDIT
-# To regenerate, run `./do gen:cfg` in the UDB root directory
-# The data comes from the UDB profile definitions in spec/std/isa/profile/
-
----
-"$schema": config_schema.json#
-kind: architecture configuration
-type: partially configured
-name: RVA23M64
-description:
-params:
-  MXLEN: 64
-mandatory_extensions:
-- name: A
-  version: "~> 2.1"
-- name: B
-  version: "~> 1.0.0"
-- name: C
-  version: "~> 2.0"
-- name: D
-  version: "~> 2.2"
-- name: F
-  version: "~> 2.2"
-- name: I
-  version: "~> 2.1"
-- name: M
-  version: "~> 2.0"
-- name: S
-  version: "~> 1.13"
-- name: Sha
-  version: "~> 1.0"
-- name: Sm
-  version: "~> 1.13"
-- name: Ssccptr
-  version: "~> 1.0"
-- name: Sscofpmf
-  version: "~> 1.0"
-- name: Sscounterenw
-  version: "~> 1.0"
-- name: Ssnpm
-  version: "~> 1.0"
-- name: Sstc
-  version: "~> 1.0"
-- name: Sstvala
-  version: "~> 1.0"
-- name: Sstvecd
-  version: "~> 1.0"
-- name: Ssu64xl
-  version: "~> 1.0"
-- name: Supm
-  version: "~> 1.0"
-- name: Sv39
-  version: "~> 1.0"
-- name: Svade
-  version: "~> 1.0"
-- name: Svbare
-  version: "~> 1.0"
-- name: Svinval
-  version: "~> 1.0"
-- name: Svnapot
-  version: "~> 1.0"
-- name: Svpbmt
-  version: "~> 1.0"
-- name: U
-  version: "~> 1.0"
-- name: V
-  version: "~> 1.0"
-- name: Za128rs
-  version: "~> 1.0"
-- name: Za64rs
-  version: "~> 1.0"
-- name: Zawrs
-  version: "~> 1.0"
-- name: Zba
-  version: "~> 1.0"
-- name: Zbb
-  version: "~> 1.0"
-- name: Zbs
-  version: "~> 1.0"
-- name: Zcb
-  version: "~> 1.0"
-- name: Zcmop
-  version: "~> 1.0"
-- name: Zfa
-  version: "~> 1.0"
-- name: Zfhmin
-  version: "~> 1.0"
-- name: Zic64b
-  version: "= 1.0"
-- name: Zicbom
-  version: "~> 1.0"
-- name: Zicbop
-  version: "~> 1.0"
-- name: Zicboz
-  version: "~> 1.0"
-- name: Ziccamoa
-  version: "~> 1.0"
-- name: Ziccif
-  version: "~> 1.0"
-- name: Zicclsm
-  version: "~> 1.0"
-- name: Ziccrse
-  version: "~> 1.0"
-- name: Zicntr
-  version: "~> 2.0"
-- name: Zicond
-  version: "~> 1.0"
-- name: Zicsr
-  version: "~> 2.0"
-- name: Zifencei
-  version: "~> 1.0"
-- name: Zihintntl
-  version: "~> 1.0"
-- name: Zihintpause
-  version: "~> 2.0"
-- name: Zihpm
-  version: "~> 2.0"
-- name: Zimop
-  version: "~> 1.0"
-- name: Zkt
-  version: "~> 1.0"
-- name: Zvbb
-  version: "~> 1.0"
-- name: Zvfhmin
-  version: "~> 1.0"
-- name: Zvkt
-  version: "~> 1.0"
-non_mandatory_extensions:
-- name: Sdtrig
-  version: "~> 1.0"
-- name: Sspm
-  version: "~> 1.0"
-- name: Ssstrict
-  version: "~> 1.0"
-- name: Sv48
-  version: "~> 1.13"
-- name: Sv57
-  version: "~> 1.13"
-- name: Svadu
-  version: "~> 1.0"
-- name: Svvptc
-  version: "~> 1.0"
-- name: Zca
-  version: "~> 1.0"
-- name: Zcd
-  version: "~> 1.0"
-- name: Zcf
-  version: "~> 1.0"
-- name: Zfh
-  version: "~> 1.0"
-- name: Zkn
-  version: "~> 1.0"
-- name: Zkr
-  version: "~> 1.0"
-- name: Zks
-  version: "~> 1.0"
-additional_extensions: true

data/.data/cfgs/profile/RVB23M64.yaml

@@ -1,149 +0,0 @@
-# SPDX-License-Identifier: CC0-1.0
-
-# AUTO-GENERATED FILE. DO NOT EDIT
-# To regenerate, run `./do gen:cfg` in the UDB root directory
-# The data comes from the UDB profile definitions in spec/std/isa/profile/
-
----
-"$schema": config_schema.json#
-kind: architecture configuration
-type: partially configured
-name: RVB23M64
-description:
-params:
-  MXLEN: 64
-mandatory_extensions:
-- name: A
-  version: "~> 2.1"
-- name: B
-  version: "~> 1.0.0"
-- name: C
-  version: "~> 2.0"
-- name: D
-  version: "~> 2.2"
-- name: F
-  version: "~> 2.2"
-- name: I
-  version: "~> 2.1"
-- name: M
-  version: "~> 2.0"
-- name: S
-  version: "~> 1.13"
-- name: Sm
-  version: "~> 1.13"
-- name: Ssccptr
-  version: "~> 1.0"
-- name: Sscofpmf
-  version: "~> 1.0"
-- name: Sscounterenw
-  version: "~> 1.0"
-- name: Sstc
-  version: "~> 1.0"
-- name: Sstvala
-  version: "~> 1.0"
-- name: Sstvecd
-  version: "~> 1.0"
-- name: Ssu64xl
-  version: "~> 1.0"
-- name: Sv39
-  version: "~> 1.0"
-- name: Svade
-  version: "~> 1.0"
-- name: Svbare
-  version: "~> 1.0"
-- name: Svinval
-  version: "~> 1.0"
-- name: Svnapot
-  version: "~> 1.0"
-- name: Svpbmt
-  version: "~> 1.0"
-- name: U
-  version: "~> 1.0"
-- name: Za128rs
-  version: "~> 1.0"
-- name: Za64rs
-  version: "~> 1.0"
-- name: Zawrs
-  version: "~> 1.0"
-- name: Zba
-  version: "~> 1.0"
-- name: Zbb
-  version: "~> 1.0"
-- name: Zbs
-  version: "~> 1.0"
-- name: Zcb
-  version: "~> 1.0"
-- name: Zcmop
-  version: "~> 1.0"
-- name: Zfa
-  version: "~> 1.0"
-- name: Zic64b
-  version: "= 1.0"
-- name: Zicbom
-  version: "~> 1.0"
-- name: Zicbop
-  version: "~> 1.0"
-- name: Zicboz
-  version: "~> 1.0"
-- name: Ziccamoa
-  version: "~> 1.0"
-- name: Ziccif
-  version: "~> 1.0"
-- name: Zicclsm
-  version: "~> 1.0"
-- name: Ziccrse
-  version: "~> 1.0"
-- name: Zicntr
-  version: "~> 2.0"
-- name: Zicond
-  version: "~> 1.0"
-- name: Zicsr
-  version: "~> 2.0"
-- name: Zifencei
-  version: "~> 1.0"
-- name: Zihintntl
-  version: "~> 1.0"
-- name: Zihintpause
-  version: "~> 2.0"
-- name: Zihpm
-  version: "~> 2.0"
-- name: Zimop
-  version: "~> 1.0"
-- name: Zkt
-  version: "~> 1.0"
-non_mandatory_extensions:
-- name: Sdtrig
-  version: "~> 1.0"
-- name: Sha
-  version: "~> 1.0"
-- name: Ssnpm
-  version: "~> 1.0"
-- name: Sspm
-  version: "~> 1.0"
-- name: Ssstrict
-  version: "~> 1.0"
-- name: Sv48
-  version: "~> 1.13"
-- name: Sv57
-  version: "~> 1.13"
-- name: Svadu
-  version: "~> 1.0"
-- name: Svvptc
-  version: "~> 1.0"
-- name: Zca
-  version: "~> 1.0"
-- name: Zcd
-  version: "~> 1.0"
-- name: Zcf
-  version: "~> 1.0"
-- name: Zfh
-  version: "~> 1.0"
-- name: Zfhmin
-  version: "~> 1.0"
-- name: Zkn
-  version: "~> 1.0"
-- name: Zkr
-  version: "~> 1.0"
-- name: Zks
-  version: "~> 1.0"
-additional_extensions: true

data/.data/spec/schemas/proc_cert_class_schema.json

@@ -1,35 +0,0 @@
-{
-  "$schema": "http://json-schema.org/draft-07/schema#",
-  "$id": "v0.1",
-  "type": "object",
-  "required": ["$schema", "kind", "name", "long_name", "introduction"],
-  "additionalProperties": false,
-  "properties": {
-    "$schema": {
-      "const": "proc_cert_class_schema.json#"
-    },
-    "kind": {
-      "const": "processor certificate class"
-    },
-    "name": {
-      "type": "string",
-      "pattern": "^[A-Z][a-zA-Z0-9_]*$",
-      "description": "The short name of the class, used as a database key"
-    },
-    "long_name": {
-      "type": "string",
-      "description": "Descriptive name of the class"
-    },
-    "processor_kind": {
-      "enum": ["Generic Unprivileged", "Microcontroller", "Apps Processor"],
-      "description": "What kind of class is this?"
-    },
-    "introduction": {
-      "type": "string",
-      "description": "Asciidoc text containing the introduction prose for the class"
-    },
-    "$source": {
-      "$ref": "schema_defs.json#/$defs/$source"
-    }
-  }
-}