jsi 0.8.2 → 0.9.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 1afec35b87d23f2fba8a85b82c2064cce1c3e2121b312ecbb9a484df161647a0
-  data.tar.gz: 90a488102c7f238fc9f983ee2a702699d2bf09af583942698a682a7e2c577be1
+  metadata.gz: 4f2957a6c197645dfb23fd3aaccd510203eb1dc437cbac88a51ad67d51f96d1d
+  data.tar.gz: 47f22bc77a8c2927262d92eeb79c40671100a8669d5847674b96af01d05d2820
 SHA512:
-  metadata.gz: 66dd7b0af2007287d3d5ed34644f14ca8600671a8d09c3568345846f395426d37d250aa1b33c5e711d27591173b3ca5997186129dc248d8b0eaaab801c60a5da
-  data.tar.gz: 21df5cc4f501977db1d65b2a675f2e22c138b82658b069f35924ea1bdadf768a9d6a6aa7496d3f91b220c02fe25fc45626aed01decf380b5dd6db89663c9ab1d
+  metadata.gz: 0d50b67c3ad1dfd95c9aa0c41d5a728506f03e36422254b19d3c30dc90f0477d9a72d5e8c798347b51cde405a0a4c60e291f38bb0227afa113febfa7988ed9e6
+  data.tar.gz: adee61e63e13c3d71f03fd98a499ec58497007e5c1aceebb0589d31d29566c0821a33f54f864f73cdefc5bf3421a49e72483cefc2b63f9ad9db561449d01668c

data/.yardopts

@@ -1,6 +1,7 @@
 --main README.md
 --markup=markdown
---markup-provider=commonmarker
+--markup-provider=redcarpet
 --no-private
 --hide-void-return
-{lib}/**/*.rb
+--files docs/**/*.md
+lib/**/*.rb

data/CHANGELOG.md

@@ -1,6 +1,11 @@
-# v0.8.2
-
-- bugfix
+# v0.9.0
+
+- JSON Schema draft 2020-12 (JSI::JSONSchemaDraft202012)
+- new architecture for Schema with Dialect, Vocabulary, Element
+- Base#jsi_conf / Base::Conf
+- JSI.translator
+- Base#jsi_valid!, Schema#instance_valid!
+- much more
 
 # v0.8.1
 

data/LICENSE.md

@@ -1,8 +1,7 @@
-Copright © [Ethan](https://github.com/notEthan/) <ethan.jsi@unth.net>
+JSI Copyright © [Ethan](https://github.com/notEthan/) <ethan.jsi@unth.net>, licensed under the terms of the [GNU Affero General Public License version 3](https://www.gnu.org/licenses/agpl-3.0.html).
 
-[<img align="right" src="https://github.com/notEthan/jsi/raw/master/resources/icons/AGPL-3.0.png">](https://www.gnu.org/licenses/agpl-3.0.html)
+[<img align="right" src="https://www.gnu.org/graphics/agplv3-155x51.png">](https://www.gnu.org/licenses/agpl-3.0.html)
 
-JSI is licensed under the terms of the [GNU Affero General Public License version 3](https://www.gnu.org/licenses/agpl-3.0.html).
 
 GNU Affero General Public License
 =================================

data/README.md

@@ -1,18 +1,20 @@
 # JSI: JSON Schema Instantiation
 
-![Test CI Status](https://github.com/notEthan/jsi/actions/workflows/test.yml/badge.svg?branch=stable)
+![Test CI Status](https://github.com/notEthan/jsi/actions/workflows/test.yml/badge.svg?branch=main)
 [![Coverage Status](https://coveralls.io/repos/github/notEthan/jsi/badge.svg)](https://coveralls.io/github/notEthan/jsi)
 
 JSI offers an Object-Oriented representation for JSON data using JSON Schemas. Given your JSON Schemas, JSI constructs Ruby modules and classes which are used to instantiate your JSON data. These modules let you use JSON with all the niceties of OOP such as property accessors and application-defined instance methods.
 
 To learn more about JSON Schema see <https://json-schema.org/>.
 
-JSI marries object-oriented programming with JSON Schemas by associating a module with each schema, and extending every instance described by a schema with that module. When an application adds methods to a schema module, those methods can be used on its instances.
+JSI marries object-oriented programming with JSON Schemas by associating a module with each schema, and constructing every instance described by a schema to be an instance of that module. When an application adds methods to a schema module, those methods can be used on the schema's instances.
 
 A JSI instance aims to offer a fairly unobtrusive wrapper around its JSON data, which is usually a Hash (JSON Object) or Array described by one or more JSON Schemas. JSI instances have accessors for property names described by schemas, schema validation, and other nice things. Mostly though, you use a JSI as you would use its underlying data, calling the same methods (e.g. `#[]`, `#map`, `#repeated_permutation`) and passing it to anything that duck-types expecting `#to_ary` or `#to_hash`.
 
 Note: The canonical location of this README is on [RubyDoc](http://rubydoc.info/gems/jsi/). When viewed on [Github](https://github.com/notEthan/jsi/), it may be inconsistent with the latest released gem, and Yardoc links will not work.
 
+JSI documents a {file:docs/Glossary.md Glossary} of relevant terms.
+
 ## Example
 
 Words are boring, let's code. You can follow along from the code blocks - install the gem (`gem install jsi`), load an irb (`irb -r jsi`), and copy/paste/hack.
@@ -38,7 +40,8 @@ properties:
 We pass that to {JSI.new_schema} which will instantiate a JSI Schema which represents it:
 
 ```ruby
-# this would usually load YAML or JSON; the schema object is inlined for copypastability.
+# this would usually load YAML or JSON; the schema content
+# is inlined here for copypastability.
 contact_schema = JSI.new_schema({"$schema" => "http://json-schema.org/draft-07/schema", "description" => "A Contact", "type" => "object", "properties" => {"name" => {"type" => "string"}, "phone" => {"type" => "array", "items" => {"type" => "object", "properties" => {"location" => {"type" => "string"}, "number" => {"type" => "string"}}}}}})
 ```
 
@@ -64,7 +67,8 @@ So, if we construct an instance like:
 
 ```ruby
 bill = Contact.new_jsi(
-  # this would typically load JSON or YAML; the schema instance is inlined for copypastability.
+  # this would usually load JSON or YAML; the instance content
+  # is inlined for copypastability.
   {"name" => "bill", "phone" => [{"location" => "home", "number" => "555"}], "nickname" => "big b"},
   # note: bill is mutable to demonstrate setters below; the default is immutable.
   mutable: true
@@ -115,17 +119,28 @@ bad = Contact.new_jsi({'phone' => [{'number' => [5, 5, 5]}]})
 #     }
 #   ]
 # }
-bad.phone.jsi_validate
-# => #<JSI::Validation::FullResult
-#  @validation_errors=
-#   #<Set: {#<JSI::Validation::Error
-#      message: "instance type does not match `type` value",
-#      keyword: "type",
-#      schema: #{<JSI (JSI::JSONSchemaDraft07) Schema> "type" => "string"},
-#      instance_ptr: JSI::Ptr["phone", 0, "number"],
-#      instance_document: {"phone"=>[{"number"=>[5, 5, 5]}]}
-#   >,
-#  ...
+bad.phone[0].jsi_validate
+# =>
+# #<JSI::Validation::Result::Full (INVALID)
+#   validation errors: JSI::Set[
+#     #<JSI::Validation::Error
+#       message: "instance object properties are not all valid against corresponding `properties` schemas",
+#       instance: {"number" => [5, 5, 5]},
+#       instance_ptr: JSI::Ptr["phone", 0],
+#       keyword: "properties",
+#       schema uri: JSI::URI["#/properties/phone/items"],
+#       nested_errors: JSI::Set[
+#         #<JSI::Validation::Error
+#           message: "instance type does not match `type` value",
+#           instance: [5, 5, 5],
+#           instance_ptr: JSI::Ptr["phone", 0, "number"],
+#           keyword: "type",
+#           schema uri: JSI::URI["#/properties/phone/items/properties/number"],
+#           nested_errors: JSI::Set[]
+#         >
+#       ]
+#     >
+#   ]
 # >
 ```
 
@@ -147,8 +162,8 @@ There's plenty more JSI has to offer, but this should give you a pretty good ide
 
 - `JSI::Base` is the base class for each JSI schema class representing instances of JSON Schemas.
 - a "JSI Schema" is a JSON Schema, instantiated as (usually) a JSI::Base described by a meta-schema (see the section on meta-schemas below). A JSI Schema is an instance of the module `JSI::Schema`.
-- a "JSI Schema Module" is a module which represents one schema, dynamically created by that Schema. Instances of that schema are extended with its JSI schema module. applications may reopen these modules to add functionality to JSI instances described by a given schema.
-- a "JSI schema class" is a subclass of `JSI::Base` representing one or more JSON schemas. Instances of such a class are described by all of the represented schemas. A JSI schema class includes the JSI schema module of each represented schema.
+- a "JSI Schema Module" is a module associated with one schema, dynamically created by that schema. Instances of that schema are ruby instances of its JSI schema module. Applications may reopen these modules to add functionality to JSI instances described by the schema.
+- a "JSI schema class" is a subclass of `JSI::Base` representing any number of JSON schemas. Instances of such a class are described by all of the represented schemas. A JSI schema class includes the JSI schema module of each represented schema.
 - "instance" is a term that is significantly overloaded in this space, so documentation will attempt to be clear what kind of instance is meant:
   - a schema instance refers broadly to a data structure that is described by a JSON schema.
   - a JSI instance (or just "a JSI") is a ruby object instantiating a JSI schema class (subclass of `JSI::Base`). This wraps the content of the schema instance (see `JSI::Base#jsi_instance`), and ties it to the schemas which describe the instance (`JSI::Base#jsi_schemas`).
@@ -163,6 +178,15 @@ JSI supports these JSON Schema specification versions:
 | Draft 4 | `http://json-schema.org/draft-04/schema#` | {JSI::JSONSchemaDraft04} |
 | Draft 6 | `http://json-schema.org/draft-06/schema#` | {JSI::JSONSchemaDraft06} |
 | Draft 7 | `http://json-schema.org/draft-07/schema#` | {JSI::JSONSchemaDraft07} |
+| Draft 2020-12 | `https://json-schema.org/draft/2020-12/schema` | {JSI::JSONSchemaDraft202012} |
+
+Caveats:
+
+- Regular expressions are interpreted by Ruby's Regexp class, whereas JSON Schema recommends interpreting these as ECMA 262 regular expressions. Certain expressions behave differently, particularly `^` and `$`.
+- The `format` keyword does not perform validation. This may be implemented in the future.
+- Draft 2020-12: `$schema` has no effect except at the document root ([#341](https://github.com/notEthan/jsi/issues/341))
+- Draft 7: Keywords `contentMediaType` and `contentEncoding` do not perform validation.
+- Draft 4: `$ref` is only used as a reference from schemas - it will not be followed when used on objects that are not schemas. This is consistent with specifications since Draft 4, but in Draft 4 the [JSON Reference](https://datatracker.ietf.org/doc/html/draft-pbryan-zyp-json-ref-03) specification would allow `$ref` to be used anywhere. JSI does not do this.
 
 ## JSI and Object Oriented Programming
 
@@ -198,7 +222,7 @@ For `#name` and `#name=`, we're overriding existing accessor methods. note the u
 
 Working with subschemas to add methods is just about as easy as with root schemas.
 
-You can subscript or use property accessors on a JSI schema module to refer to the schema modules of its subschemas, e.g.:
+You can use `#[]` or property accessors on a JSI schema module to refer to the schema modules of its subschemas, e.g.:
 
 ```ruby
 Contact.properties['phone'].items
@@ -249,24 +273,20 @@ The classes used to instantiate JSIs are dynamically generated subclasses of JSI
 
 JSI instances are immutable by default. Mutable JSIs may be instantiated using the `mutable` param of `new_jsi`. Immutable JSIs are much more performant, because mutation may change what schemas apply to nodes in a document, and checking for that is costly. It is not recommended to instantiate large documents as mutable; their JSI instances become unusably slow.
 
+If you are parsing with JSON.parse or YAML.load, it is recommended to pass the `freeze: true` option to these, which lets JSI skip making a frozen copy.
+
 ## Registration
 
-In order for references across documents (generally from a `$ref` schema keyword) to resolve, JSI provides a registry (a {JSI::SchemaRegistry}) which associates URIs with schemas (or resources containing schemas). The default registry is accessible on {JSI.schema_registry}.
+In order for references across documents (generally from a `$ref` schema keyword) to resolve, JSI provides a registry (a {JSI::Registry}) which associates URIs with schemas (or resources containing schemas). The default registry is accessible on {JSI.registry}.
 
-Schemas instantiated with `.new_schema`, and their subschemas, are by default registered with `JSI.schema_registry` if they are identified by an absolute URI. This can be controlled by params `register` and `schema_registry`.
+Schemas instantiated with `.new_schema`, and their subschemas, are by default registered with `JSI.registry` if they are identified by an absolute URI. This can be controlled by the `register` param and `registry` configuration.
 
-Schemas can automatically be lazily loaded by registering a block which instantiates them with {JSI::SchemaRegistry#autoload_uri} (see its documentation).
+Schemas can automatically be lazily loaded by registering a block which instantiates them with {JSI::Registry#autoload_uri} (see its documentation).
 
 ## Validation
 
 JSI implements all required features, and many optional features, for validation according to supported JSON Schema specifications. To validate instances, see methods {JSI::Base#jsi_validate}, {JSI::Base#jsi_valid?}, {JSI::Schema#instance_validate}, {JSI::Schema#instance_valid?}.
 
-The following optional features are not completely supported:
-
-- The `format` keyword does not perform any validation.
-- Regular expressions are interpreted by Ruby's Regexp class, whereas JSON Schema recommends interpreting these as ECMA 262 regular expressions. Certain expressions behave differently, particularly `^` and `$`.
-- Keywords `contentMediaType` and `contentEncoding` do not perform validation.
-
 ## Meta-Schemas
 
 A meta-schema is a schema that describes schemas. Likewise, a schema is an instance of a meta-schema.
@@ -281,7 +301,7 @@ A really excellent place to use JSI is when dealing with serialized columns in A
 
 Let's say you're sticking to JSON types in the database - you have to do so if you're using JSON columns, or JSON serialization, and if you have dealt with arbitrary yaml- or marshal-serialized objects in ruby, you have probably found that approach has its shortcomings when the implementation of your classes changes.
 
-But if your database contains JSON, then your deserialized objects in ruby are likewise Hash / Array / basic types. You have to use subscripts instead of accessors, and you don't have any way to add methods to your data types.
+But if your database contains JSON, then your deserialized objects in ruby are likewise Hash / Array / simple types. You have to use `#[]` instead of accessors, and you don't have any way to add methods to your data types.
 
 JSI gives you the best of both with {JSI::JSICoder}. This coder dumps objects which are simple JSON types, and loads instances of a specified JSON Schema. Here's an example, supposing a `users` table with a JSON column `contact_info` to be instantiated using the `Contact` schema module defined in the Example section above:
 
@@ -295,9 +315,26 @@ Now `user.contact_info` will be instantiated as a `Contact` JSI instance, from t
 
 See the gem [`arms`](https://github.com/notEthan/arms) if you wish to serialize the dumped JSON-compatible objects further as text.
 
-## Keying Hashes (JSON Objects)
+## Hash keys (JSON Object property names)
+
+For JSI instances containing Hashes, their keys should be strings. Hashes keyed with symbols are popular in Ruby, but this is not compatible with JSON.
+
+JSI generally does not accommodate symbol keys. However, the syntax for Hash literals with symbol keys (`key: "value"` or `"key": "value"` rather than `"key" => "value"`) conveniently resembles JSON such that you can often paste JSON right into your Ruby (apart from Ruby's `nil` vs JSON's `null`). To enable this, JSI offers key conversion on instantiation: methods `new_jsi` and `new_schema` take a boolean param `stringify_symbol_keys` to recursively convert. This _only_ affects instantiation - no key conversion is done once the JSI has been initialized, e.g. by {JSI::Base#[]} or any methods of {JSI::Base::HashNode}.
+
+```ruby
+# instantiate schema s and instance j, converting keys
+s = JSI.new_schema(
+  # valid JSON
+  {
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "type": "array"
+  },
+  stringify_symbol_keys: true,
+)
+j = s.new_jsi([{"foo": "bar"}, {"foo": "baz"}], stringify_symbol_keys: true)
+```
 
-Unlike Ruby, JSON only supports string keys. It is recommended to use strings as hash keys for all JSI instances, but JSI does not enforce this, nor does it do any key conversion. You may also use [ActiveSupport::HashWithIndifferentAccess](https://api.rubyonrails.org/classes/ActiveSupport/HashWithIndifferentAccess.html) as the instance of a JSI in order to gain the benefits that offers over a plain hash. Note that activesupport is not a dependency of jsi and would be required separately for this.
+Third party libraries such as [ActiveSupport::HashWithIndifferentAccess](https://api.rubyonrails.org/classes/ActiveSupport/HashWithIndifferentAccess.html) or [Hashie](https://github.com/hashie/hashie) with [IndifferentAccess](https://github.com/hashie/hashie#indifferentaccess) exist to make symbol keys interchangeable with string keys. A JSI can be instantiated with an indifferent Hash as its content, but there will be various inconsistencies when accessing values with a string vs a symbol, and this is not recommended or supported.
 
 ## Contributing
 
@@ -305,7 +342,7 @@ Issues and pull requests are welcome on GitHub at https://github.com/notEthan/js
 
 ## License
 
-[<img align="right" src="https://github.com/notEthan/jsi/raw/v0.3.0/resources/icons/AGPL-3.0.png">](https://www.gnu.org/licenses/agpl-3.0.html)
+[<img align="right" src="https://www.gnu.org/graphics/agplv3-155x51.png">](https://www.gnu.org/licenses/agpl-3.0.html)
 
 JSI is licensed under the terms of the [GNU Affero General Public License version 3](https://www.gnu.org/licenses/agpl-3.0.html).
 

data/docs/Glossary.md

@@ -0,0 +1,313 @@
+# Glossary
+
+
+## Background
+
+The terminology JSI uses comes from a number of sources:
+
+- [JSON Schema](https://json-schema.org/) and its [specifications](https://json-schema.org/specification-links.html)
+  - The [JSON Schema Glossary](https://json-schema.org/learn/glossary.html)
+- [JSON](https://www.json.org/) and its specification
+- Tree data structure ([Wikipedia](https://en.wikipedia.org/wiki/Tree_(data_structure)))
+- Object-oriented programming ([Wikipedia](https://en.wikipedia.org/wiki/Object-oriented_programming))
+- The Ruby programming language
+- [JSON Pointer](https://www.rfc-editor.org/rfc/rfc6901)
+
+The terminology from these can be contradictory, e.g. 'object' in JSON meaning what is a Hash in Ruby, but 'object' in Ruby meaning any object as in object-oriented programming. This glossary aims to clarify any ambiguity and introduce any terms which may not be familiar to the reader.
+
+
+## Terms
+
+
+### JSI
+
+[JSI]: #jsi
+[a JSI]: #jsi
+
+JSI is the name of this library. As a [countable](https://en.wikipedia.org/wiki/Count_noun), "a JSI" refers to the library's instantiation of an instance described by a set of [schema]s. This is a Ruby instance of {JSI::Base}, and also an instance of the [schema module] belonging to each schema that describes it (its {JSI::Base#jsi_schemas}).
+
+
+### node
+
+[node]: #node
+
+A node is part of a [document] at a location identified by a [pointer].
+
+In JSI a node generally means [a JSI] - a {JSI::Base} instance is often referred to just as "a JSI", but is referred to as a node in the context of its relationship to other nodes in its document.
+
+
+### node content
+
+[content]: #node_content
+
+The content of a [node] is the parsed JSON instance.
+It is generally a Ruby Hash, Array, String, Integer, Float or BigDecimal, true, false, or nil.
+
+This content is referred to as the 'instance' in relation to [schema]s that describe it.
+
+See {JSI::Base#jsi_node_content} (also aliased as {JSI::Base#jsi_instance}.
+
+
+### document
+
+[document]: #document
+
+The document is the [content] of the [root] [node].
+
+See {JSI::Base#jsi_document}.
+
+
+### root
+
+[root]: #root
+
+A [node] representing the whole of a [document].
+
+Its [pointer] is empty (has zero [token]s).
+
+See {JSI::Base#jsi_root_node}.
+
+
+### child
+
+[child]: #child
+
+A [node] immediately below another node, its [parent]. Identified by one [token] relative to the parent.
+
+See {JSI::Base#[]} and {JSI::Base#jsi_child_node}.
+
+
+### parent
+
+[parent]: #parent
+
+A [node] immediately above some number of other nodes, its [child]ren. Only a [hash/object] or [array] can be a parent.
+
+See {JSI::Base#jsi_parent_node}.
+
+
+### descendent
+
+[descendent]: #descendent
+
+A [node] anywhere below another node, its [ancestor]. Identified by a relative [pointer]. A node is considered to be a descendent of itself (at an empty relative pointer).
+
+See {JSI::Base#jsi_descendent_node}, {JSI::Base#jsi_each_descendent_node}.
+
+
+### ancestor
+
+[ancestor]: #ancestor
+
+A [node] above any number of other nodes, its [descendent]s. A node is considered to be an ancestor of itself, and the [root] node is an ancestor of every node in the [document].
+
+See {JSI::Base#jsi_ancestor_nodes}.
+
+
+### token
+
+[token]: #token
+
+An [array] [index] or [hash/object] [key/property name] that identifies a child node of its parent. Generally a String or non-negative Integer. [JSON Pointer](https://www.rfc-editor.org/rfc/rfc6901) calls this a "reference token".
+
+A sequence of tokens comprises a [pointer].
+
+
+### pointer
+
+[pointer]: #pointer
+
+A sequence of [token]s which identifies a [descendent] of a [node], instantiated as a {JSI::Ptr}.
+
+[JSON Pointers](https://www.rfc-editor.org/rfc/rfc6901) are parsed to JSI pointers.
+
+A pointer may be referred to as 'absolute' when identifying a descendent of the root node (see {JSI::Base#jsi_ptr}), or 'relative' identifying a descendent of any ancestor node (such as the pointer passed to {JSI::Base#jsi_descendent_node}).
+
+
+### hash/object
+
+[hash/object]: #hash_object
+
+In JSON, an object; in Ruby, a Hash, or something [implicitly convertible](https://docs.ruby-lang.org/en/master/implicit_conversion_rdoc.html) with `#to_hash`.
+
+In JSI, a [node] whose content is a Hash/`#to_hash`, and which is a {JSI::Base::HashNode}). These nodes are largely used as one would use a Hash, aiming to replicate Hash's API, as well being implicitly convertible with `#to_hash`.
+
+A hash/object has [child] nodes on each [key/property name].
+
+
+### array
+
+[array]: #array
+
+In JSON, an array; in Ruby, an Array, or something [implicitly convertible](https://docs.ruby-lang.org/en/master/implicit_conversion_rdoc.html) with `#to_ary`.
+
+In JSI, a [node] whose content is an Array/`#to_ary`, and which is a {JSI::Base::ArrayNode}). These nodes are largely used as one would use an Array, aiming to replicate Array's API, as well being implicitly convertible with `#to_ary`.
+
+An array has [child] nodes on each [index].
+
+
+### key/property name
+
+[key/property name]: #key_property_name
+
+A [token] identifying a [child] of a [hash/object] [node]. In Ruby, a Hash key; in JSON Schema, an object property name. Property names are always strings in JSON. Note that symbols are not compatible and generally should not be used.
+
+Property names can be described by schemas (using the `propertyNames` keyword), and can be JSI instances of those schemas. See {JSI::Base::HashNode#jsi_each_propertyName}.
+
+
+### index
+
+[index]: #index
+
+A [token] identifying a [child] of an [array] [node]. A non-negative integer. This may be represented in string form in a [pointer].
+
+
+### instance
+
+[instance]: #instance
+
+A heavily-overloaded term. Context should make it clear in what sense it is being used. 'Instance' can refer to an *object* or a *relationship*, in Ruby or JSON Schema or JSI instantiation:
+
+  - JSON Schema: the *instance* (JSON data) is an *instance* (relationship) of JSON Schemas that describe it
+  - Ruby: the *instance* (an Object) is an *instance* (relationship) of a Class and included Modules
+  - JSI: the *instance* ([a JSI]) is an *instance* (relationship) of [JSI Schemas][schema]
+
+These all operate in parallel in JSI: a JSI instance represents a JSON instance, it is described by JSI Schemas which represent JSON Schemas, and it is a Ruby instance of the [JSI Schema Modules][schema module] of the schemas that describe it.
+
+
+### schema
+
+[schema]: #schema
+
+A JSI Schema is [a JSI] that represents a JSON Schema. It is a Ruby instance of {JSI::Base} and the module {JSI::Schema}.
+
+A schema describes a set of [instance]s. Any JSI instance that is described by a given schema is a Ruby instance of that schema's [schema module].
+
+A schema is described by a [meta-schema] and is a Ruby instance of that meta-schema's [schema module].
+
+
+### schema module
+
+[schema module]: #schema_module
+
+A JSI Schema Module is a Ruby module associated with a particular [schema]. Any JSI instance that is described by that schema is a Ruby instance of the schema's schema module. This is a {JSI::SchemaModule}.
+
+See {JSI::Schema#jsi_schema_module}.
+
+A JSI Schema Module is not to be confused with the module {JSI::Schema} - a schema *is* a Ruby instance of the module JSI::Schema, and it *has* a JSI Schema Module. The module JSI::Schema is included on the JSI Schema module of a [meta-schema].
+
+
+### meta-schema
+
+[meta-schema]: #meta-schema
+
+A meta-schema is a [schema] that describes schemas, i.e. [instance]s of the meta-schema are schemas.
+
+As with any other JSI instance, a JSI schema is an instance of the [schema module] of the meta-schema that describes it. The meta-schema's schema module defines the functionality for its instances to behave as schemas. It includes the module {JSI::Schema}.
+
+A meta-schema is described by a meta-schema, which may be itself or another meta-schema. Examples of self-describing meta-schemas are the JSON Schema meta-schemas. An example of the latter is the [schema describing the OpenAPI v3.0 Schema object](https://github.com/OAI/OpenAPI-Specification/blob/3.0.3/schemas/v3.0/schema.yaml#L203), which describes schemas in OpenAPI documents, but is itself described by the JSON Schema draft-04 meta-schema.
+
+A self-describing meta-schema is a Ruby instance of its own schema module.
+
+A meta-schema has a [dialect] that defines the functionality of the schemas it describes.
+
+In JSI, a meta-schema is a {JSI::Base} that is a {JSI::Schema::MetaSchema}. Its schema module is a {JSI::SchemaModule::MetaSchemaModule}, and includes {JSI::Schema}. See also {JSI::Schema#describes_schema?} and {JSI::Schema#describes_schema!}.
+
+
+### dialect
+
+[dialect]: #dialect
+
+A dialect defines all the keywords of a JSON Schema, how they operate, and any other aspects of schema behavior. It consists of a set of one or more [vocabularies][vocabulary]. Note that while not all specifications of dialects use the terms 'dialect' or 'vocabulary', JSI uses these abstractions for all supported specifications.
+
+Examples of dialects include:
+- Each published JSON Schema specification
+- variants of JSON Schema defined by OpenAPI 2.x and 3.x
+- custom dialects composed of vocabularies specified using the `$vocabulary` keyword
+
+A dialect defines some or all of:
+
+- a set of keywords
+- those keywords' behavior and interactions with other keywords
+- non-keyword behaviors of a schema (e.g. boolean schemas)
+- division of keywords into vocabularies
+- how vocabularies operate
+- a [meta-schema] that describes/validates instances of the schema the dialect defines
+
+Represented as a {JSI::Schema::Dialect}.
+
+
+### vocabulary
+
+[vocabulary]: #vocabulary
+
+A vocabulary is one part of a [dialect]'s definition of schema keywords and behaviors. Dialects are composed of one or more vocabularies.
+
+A dialect whose specification does not define vocabularies is implemented using one vocabulary. Vocabularies were not defined for JSON Schema up to draft 07.
+
+Represented as a {JSI::Schema::Vocabulary}.
+
+
+### resource
+
+[resource]: #resource
+
+A resource, or schema resource, is either:
+
+- A [schema] that is identified by an absolute URI (typically declared with an id keyword)
+- The root of a document containing schemas, whether or not the root is itself a schema. (Technically the root of any document can be considered a resource, but it is only useful when the document contains schemas.)
+
+For a given node, its *resource root* is the nearest ancestor that is a resource - this is distinct from the [root] node of the whole document.
+
+Relative URIs and [pointer]s used by a schema (e.g. in `$ref` or `$id`) are resolved relative to its resource root and that resource's id.
+
+See {JSI::Schema#schema_resource_root}.
+
+
+### schema application
+
+[schema application]: #schema_application
+
+The computation of the [schema]s that apply describing a particular [node]. This involves resolving `$ref`s, choosing what conditional schemas apply (e.g. which subschema of a `oneOf` applies), and recursing down children applying child applicator schemas. The steps of this process:
+
+- **root indicated schemas**: Application begins with the schemas (usually just one schema) indicated as describing the [root]. `#new_jsi` is invoked on a {JSI::SchemaSet} of the indicated schemas, or more commonly on one schema or [schema module]. These are the root's {JSI::Base#jsi_indicated_schemas}.
+- **root applied schemas**: [in-place application] is performed on each of the root's indicated schemas to compute its applied schemas.
+- Descending from the root to the given node, for each [token] of the node's [pointer]:
+  - **child indicated schemas**: [child application] is performed on each applied schema of the parent on the current token. This results in the child's indicated schemas.
+  - **child applied schemas**: [in-place application] is performed on each of the child's indicated schemas to compute its applied schemas.
+
+The schemas that apply describing the node are the result of the final in-place application.
+
+
+### child application
+
+[child application]: #child_application
+
+The computation of subschemas of a given schema that describe a [child] of an instance on a given [token]. These come from subschemas defined on child applicator keywords such as `properties` and `items`. The result may be an empty schema set if no such keywords are present or none apply.
+
+
+### in-place application
+
+[in-place application]: #in_place_application
+
+The expansion of a schema to a set of **applied schemas** for a given instance. "In-place" means all the schemas apply to the same location in the instance, in contrast to [child application]. This is a recursive process.
+
+- If the schema contains a `$ref` keyword, *and* the specification for the schema is draft-07 or older:
+  - The reference is resolved.
+  - In-place application recurses on the resolved schema.
+  - The rest of the schema is ignored. The schema does not apply itself, and any other applicator keywords are ignored (none should be present).
+
+  The resulting applied schemas are the resolved schema's in-place applicator schemas.
+
+- Otherwise:
+  - The schema applies itself (it is added to the set of applied schemas).
+  - Any in-place applicator keywords (`anyOf`, `dependencies`, etc.) are evaluated for subschemas that apply to the instance. References are resolved from `$ref` or `$dynamicRef`, if present. For each such schema, in-place application recurses.
+
+  The resulting applied schemas consist of each recursively applied in-place applicator schema.
+
+
+### validation
+
+[validation]: #validation
+
+The process of determining whether a given [instance] is valid against the [schema]s that describe it, or collecting validation errors indicating why the instance is not valid. See {JSI::Base#jsi_valid?}, {JSI::Base#jsi_validate}, {JSI::Base#jsi_valid!}, {JSI::Schema#instance_valid?}, {JSI::Schema#instance_validate}, {JSI::Schema#instance_valid!}.

data/jsi.gemspec

@@ -20,6 +20,7 @@ Gem::Specification.new do |spec|
     'jsi.gemspec',
     *Dir['lib/**/*'],
     *Dir['\\{resources\\}/schemas/**/*'],
+    *Dir['docs/**/*'],
   ].reject { |f| File.lstat(f).ftype == 'directory' }
 
   spec.require_paths = ["lib"]

data/lib/jsi/base/mutability.rb

@@ -15,6 +15,8 @@ module JSI
     private
 
     def jsi_mutability_initialize
+      @child_node_by_token_map = method(:jsi_child_node_by_token_compute)
+      @child_node_map = jsi_memomap(key_by: Base::BY_TOKEN, &method(:jsi_child_node_compute))
     end
 
     def jsi_memomap_class
@@ -34,6 +36,8 @@ module JSI
     private
 
     def jsi_mutability_initialize
+      @child_node_by_token_map = jsi_memomap(&method(:jsi_child_node_by_token_compute))
+      @child_node_map = method(:jsi_child_node_compute)
       @jsi_node_content = @jsi_ptr.evaluate(@jsi_document)
     end