Merge branch 'master' into ryan/895-basket-tests

docs/.vuepress/config.js

@@ -120,6 +120,7 @@ module.exports = {
  {
  title: 'Ecocredit Module',
  collapsable: false,
+ sidebarDepth: 0,
  children: [
  {
  title: 'Overview',
@@ -130,12 +131,14 @@ module.exports = {
  '/modules/ecocredit/03_messages',
  '/modules/ecocredit/04_queries',
  '/modules/ecocredit/05_events',
- '/modules/ecocredit/06_client',
+ '/modules/ecocredit/06_types',
+ '/modules/ecocredit/07_client',
  ],
  },
  {
  title: 'Data Module',
  collapsable: false,
+ sidebarDepth: 0,
  children: [
  {
  title: 'Overview',

x/ecocredit/spec/02_state.md

@@ -4,26 +4,32 @@ The `ecocredit` module uses the `orm` package as an abstraction layer over the `
 
 ## Ecocredit Core
 
+<!-- listed alphabetically -->
+
+- [Batch](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Batch)
 - [BatchBalance](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.BatchBalance)
-- [BatchInfo](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.BatchInfo)
+- [BatchOrigTx](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.BatchOrigTx)
 - [BatchSequence](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.BatchSequence)
 - [BatchSupply](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.BatchSupply)
-- [ClassInfo](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.ClassInfo)
+- [Class](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Class)
 - [ClassIssuer](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.ClassIssuer)
 - [ClassSequence](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.ClassSequence)
 - [CreditType](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.CreditType)
+- [Project](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Project)
+- [ProjectSequence](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.ProjectSequence)
 
 ## Basket Submodule
 
+<!-- listed alphabetically -->
+
 - [Basket](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.Basket)
 - [BasketBalance](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.BasketBalance)
-- [BasketCredit](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.BasketCredit)
-- [DateCriteria](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.DateCriteria)
+- [BasketClass](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.BasketClass)
 
 ## Marketplace Submodule
 
+<!-- listed alphabetically -->
+
 - [AllowedDenom](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.AllowedDenom)
-- [BatchSelector](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.BatchSelector)
-- [BuyOrder](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.BuyOrder)
-- [BuyOrder.Selection](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.BuyOrder.Selection)
-- [ClassSelector](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.ClassSelector)
+- [Market](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.Market)
+- [SellOrder](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.SellOrder)

x/ecocredit/spec/03_messages.md

@@ -6,22 +6,35 @@ For examples on how to interact with state using the `regen` binary, see [regen
 
 ## Ecocredit Core
 
-- [CreateClass](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#CreateClass)
-- [CreateProject](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#CreateProject)
-- [CreateBatch](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#CreateBatch)
-- [Send](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#Send)
-- [Retire](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#Retire)
-- [Cancel](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#Cancel)
+<!-- listed alphabetically -->
+
+- [Cancel](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.Cancel)
+- [CreateBatch](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.CreateBatch)
+- [CreateClass](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.CreateClass)
+- [CreateProject](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.CreateProject)
+- [MintBatchCredits](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.MintBatchCredits)
+- [Retire](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.Retire)
+- [SealBatch](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.SealBatch)
+- [Send](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.Send)
+- [UpdateClassAdmin](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.UpdateClassAdmin)
+- [UpdateClassIssuers](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.UpdateClassIssuers)
+- [UpdateClassMetadata](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.UpdateClassMetadata)
+- [UpdateProjectAdmin](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.UpdateProjectAdmin)
+- [UpdateProjectMetadata](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Msg.UpdateProjectMetadata)
 
 ## Basket Submodule
 
-- [Create](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#Create)
-- [Put](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#Put)
-- [Take](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#Take)
+<!-- listed alphabetically -->
+
+- [Create](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.Msg.Create)
+- [Put](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.Msg.Put)
+- [Take](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.Msg.Take)
 
 ## Marketplace Submodule
 
-- [Sell](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#Sell)
-- [UpdateSellOrders](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#UpdateSellOrders)
-- [Buy](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#Buy)
-- [AllowAskDenom](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#AllowAskDenom)
+<!-- listed alphabetically -->
+
+- [BuyDirect](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.Msg.BuyDirect)
+- [CancelSellOrder](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.Msg.CancelSellOrder)
+- [Sell](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.Msg.Sell)
+- [UpdateSellOrders](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.Msg.UpdateSellOrders)

x/ecocredit/spec/04_queries.md

@@ -2,37 +2,43 @@
 
 The ecocredit module provides a query service for querying the state of the ecocredit module. The queries are defined in the proto files available on [Buf Schema Registry](https://buf.build/regen/regen-ledger).
 
-For examples on how to query state using gRPC and REST, see the [ecocredit client](06_client.md) documentation, and for examples using the `regen` binary, see [regen query ecocredit](../../commands/regen_query_ecocredit.html).
+For examples on how to query state using gRPC and REST, see the [ecocredit client](07_client.md) documentation, and for examples using the `regen` binary, see [regen query ecocredit](../../commands/regen_query_ecocredit.html).
 
 ## Ecocredit Core
 
-- [Classes](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#Classes)
-- [ClassInfo](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#ClassInfo)
-- [ClassIssuers](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#ClassIssuers)
-- [Projects](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#Projects)
-- [ProjectInfo](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#ProjectInfo)
-- [Batches](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#Batches)
-- [BatchesByClass](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#BatchesByClass)
-- [BatchInfo](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#BatchInfo)
-- [Balance](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#Balance)
-- [Supply](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#Supply)
-- [CreditTypes](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#CreditTypes)
-- [Params](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#Params)
+<!-- listed alphabetically -->
+
+- [Balance](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.Balance)
+- [Balances](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.Balances)
+- [Batch](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.Batch)
+- [Batches](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.Batches)
+- [BatchesByClass](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.BatchesByClass)
+- [BatchesByIssuer](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.BatchesByIssuer)
+- [Class](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.Class)
+- [Classes](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.Classes)
+- [ClassesByAdmin](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.ClassesByAdmin)
+- [ClassIssuers](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.ClassIssuers)
+- [CreditTypes](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.CreditTypes)
+- [Params](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.Params)
+- [Project](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.Project)
+- [Projects](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.Projects)
+- [Supply](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Query.Supply)
 
 ## Basket Submodule
 
-- [Basket](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#Basket)
-- [Baskets](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#Baskets)
-- [BasketBalance](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#BasketBalance)
-- [BasketBalances](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#BasketBalances)
+<!-- listed alphabetically -->
+
+- [Basket](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.Query.Basket)
+- [BasketBalance](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.Query.BasketBalance)
+- [BasketBalances](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.Query.BasketBalances)
+- [Baskets](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.Query.Baskets)
 
 ## Marketplace Submodule
 
-- [SellOrder](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#SellOrder)
-- [SellOrders](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#SellOrders)
-- [SellOrdersByBatchDenom](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#SellOrdersByBatchDenom)
-- [SellOrdersByAddress](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#SellOrdersByAddress)
-- [BuyOrder](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#BuyOrder)
-- [BuyOrders](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#BuyOrders)
-- [BuyOrdersByAddress](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#BuyOrdersByAddress)
-- [AllowedDenoms](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#AllowedDenoms)
+<!-- listed alphabetically -->
+
+- [AllowedDenoms](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.Query.AllowedDenoms)
+- [SellOrder](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.Query.SellOrder)
+- [SellOrders](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.Query.SellOrders)
+- [SellOrdersByAddress](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.Query.SellOrdersByAddress)
+- [SellOrdersByBatchDenom](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.Query.SellOrdersByBatchDenom)

x/ecocredit/spec/05_events.md

@@ -4,27 +4,35 @@ The ecocredit module emits events upon the successful execution of messages. The
 
 ## Ecocredit Core
 
+<!-- listed alphabetically -->
+
+- [EventAddCreditType](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventAddCreditType)
 - [EventCancel](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventCancel)
-- [EventClassAdminUpdated](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventClassAdminUpdated)
-- [EventClassIssuersUpdated](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventClassIssuersUpdated)
-- [EventClassMetadataUpdated](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventClassMetadataUpdated)
 - [EventCreateBatch](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventCreateBatch)
 - [EventCreateClass](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventCreateClass)
 - [EventCreateProject](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventCreateProject)
-- [EventReceive](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventReceive)
-- [EventRetire](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventRetire)
+- [EventMint](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventMint)
 - [EventRetire](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventRetire)
+- [EventSealBatch](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventSealBatch)
+- [EventTransfer](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventTransfer)
+- [EventUpdateClassAdmin](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventUpdateClassAdmin)
+- [EventUpdateClassIssuers](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventUpdateClassIssuers)
+- [EventUpdateClassMetadata](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventUpdateClassMetadata)
+- [EventUpdateProjectAdmin](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventUpdateProjectAdmin)
+- [EventUpdateProjectMetadata](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.EventUpdateProjectMetadata)
 
 ## Basket Submodule
 
+<!-- listed alphabetically -->
+
 - [EventCreate](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.EventCreate)
 - [EventPut](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.EventPut)
 - [EventTake](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.EventTake)
 
 ## Marketplace Submodule
 
-- [EventAllowAskDenom](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.EventAllowAskDenom)
-- [EventBuyOrderCreated](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.EventBuyOrderCreated)
-- [EventBuyOrderFilled](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.EventBuyOrderFilled)
+<!-- listed alphabetically -->
+
+- [EventAllowDenom](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.EventAllowDenom)
 - [EventSell](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.EventSell)
 - [EventUpdateSellOrder](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.EventUpdateSellOrder)

x/ecocredit/spec/06_types.md

@@ -0,0 +1,24 @@
+# Types
+
+The `ecocredit` module provides additional types used in multiple services or for governance.
+
+## Ecocredit Core
+
+<!-- listed alphabetically -->
+
+- [CreditTypeProposal](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.CreditTypeProposal)
+- [OriginTx](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.OriginTx)
+- [Params](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.v1#regen.ecocredit.v1.Params)
+
+## Basket Submodule
+
+<!-- listed alphabetically -->
+
+- [BasketCredit](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.BasketCredit)
+- [DateCriteria](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.basket.v1#regen.ecocredit.basket.v1.DateCriteria)
+
+## Marketplace Submodule
+
+<!-- listed alphabetically -->
+
+- [AllowDenomProposal](https://buf.build/regen/regen-ledger/docs/main:regen.ecocredit.marketplace.v1#regen.ecocredit.marketplace.v1.AllowDenomProposal)

x/ecocredit/spec/README.md

@@ -45,11 +45,12 @@ The marketplace submodule enables the creation and management of sell orders for
 ## Contents
 
 1. **[Concepts](01_concepts.md)**
-2. **[State](02_state.md)**
-3. **[Msg Service](03_messages.md)**
-3. **[Query Service](04_queries.md)**
-4. **[Events](05_events.md)**
-5. **[Client](06_client.md)**
+1. **[State](02_state.md)**
+1. **[Msg Service](03_messages.md)**
+1. **[Query Service](04_queries.md)**
+1. **[Events](05_events.md)**
+1. **[Types](06_types.md)**
+1. **[Client](07_client.md)**
 
 ## RFCs