hecks 3.13.0 → 3.14.0

data/lib/hecks/hecks/codebase.bluebook

@@ -38,13 +38,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -57,7 +57,7 @@ Hecks.bluebook "Hecks" do
 
     # A keyword of the language, or the keyword an argument belongs to.
     value_object "Word" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a word is named") { !value.to_s.empty? }
     end
@@ -94,7 +94,7 @@ Hecks.bluebook "Hecks" do
 
     # How a pairs argument is read, such as verbatim.
     value_object "Shape" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     lifecycle :status, default: "requested" do
@@ -641,13 +641,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -796,13 +796,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -971,13 +971,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -990,7 +990,7 @@ Hecks.bluebook "Hecks" do
 
     # A `CiGate` row of the Vocabulary chapter, by name.
     value_object "GateName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     lifecycle :status, default: "requested" do
@@ -1201,17 +1201,17 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Stage" do
-      attribute :value, String, pattern: '^[a-z][a-z0-9_]*$'
+      attribute :value, String, matches: :snake_name
 
       invariant("a stage is named") { !value.to_s.empty? }
     end
@@ -1355,13 +1355,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -1391,12 +1391,12 @@ Hecks.bluebook "Hecks" do
 
     # A revision a code comparison is made against.
     value_object "Ref" do
-      attribute :value, String, pattern: '^[^ \t\n\r]+$'
+      attribute :value, String, matches: :no_whitespace
     end
 
     # A JSON file.
     value_object "FilePath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("a file is named") { !value.to_s.empty? }
     end
@@ -1676,13 +1676,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -1891,13 +1891,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -2064,13 +2064,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -2090,19 +2090,19 @@ Hecks.bluebook "Hecks" do
 
     # A CI run's number.
     value_object "RunId" do
-      attribute :value, String, pattern: '^[0-9]+$'
+      attribute :value, String, matches: :digits
     end
 
     # A file, relative to the checkout or absolute.
     value_object "FilePath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("a file is named") { !value.to_s.empty? }
     end
 
     # Part of an example's description.
     value_object "ExampleText" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("an example is named") { !value.to_s.empty? }
     end
@@ -2114,7 +2114,7 @@ Hecks.bluebook "Hecks" do
 
     # A regular expression naming the specs to leave out.
     value_object "ExcludePattern" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # The tag filter, as the test runner spells it.
@@ -2390,13 +2390,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -2424,7 +2424,7 @@ Hecks.bluebook "Hecks" do
 
     # The name of one field of a construct.
     value_object "FieldName" do
-      attribute :value, String, pattern: '^[a-z][a-z0-9_]*$'
+      attribute :value, String, matches: :snake_name
     end
 
     # A local port a server listens on.
@@ -2633,13 +2633,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -2652,7 +2652,7 @@ Hecks.bluebook "Hecks" do
 
     # One word of a fact: a branch, a commit, whether a tag stands.
     value_object "Word" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Version" do
@@ -2968,13 +2968,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "Operation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Switch" do
@@ -2987,7 +2987,7 @@ Hecks.bluebook "Hecks" do
 
     # A branch name, or a commit.
     value_object "Word" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     # How long a lane has stood behind the lane it follows, or how long its row lets it.

data/lib/hecks/hecks/custodian.bluebook

@@ -27,14 +27,14 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "OperationKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("an operation is named") { !value.to_s.empty? }
     end
 
     # What the operation acts on: a domain directory, or a behaviors file or directory.
     value_object "Subject" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Script" do
@@ -42,7 +42,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "Verb" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     # One `name=value` word of the verb a run dispatches.
@@ -59,7 +59,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "HeaderName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Scheme" do
@@ -71,7 +71,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "PayloadFile" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Output" do
@@ -84,11 +84,11 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "PersonName" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "RoleName" do
-      attribute :value, String, pattern: '^[^ \t\n\r]+$'
+      attribute :value, String, matches: :no_whitespace
     end
 
     lifecycle :status, default: "requested" do
@@ -361,7 +361,7 @@ Hecks.bluebook "Hecks" do
 
     # The file listing the eras that should be running, one per line.
     value_object "ExpectedFile" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Seconds" do
@@ -371,7 +371,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "EraId" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "VersionText" do
@@ -546,14 +546,14 @@ policy "RecordTheEra" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a change is named") { !value.to_s.empty? }
     end
 
     # The domain whose journal is changed: its directory.
     value_object "DomainPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "OperationName" do
@@ -574,7 +574,7 @@ policy "RecordTheEra" do
 
     # Aggregate names, comma separated; every aggregate that keeps a journal when absent.
     value_object "AggregateList" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Switch" do
@@ -588,11 +588,11 @@ policy "RecordTheEra" do
     # The rehearsal a compute or rekey edge is approved on: the snapshot it ran against, the host
     # that ran it, whether it passed, and when.
     value_object "Snapshot" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "HostVersion" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Verdict" do

data/lib/hecks/hecks/hecks.bluebook

@@ -14,7 +14,7 @@ Hecks.bluebook "Hecks" do
     identified_by :version
 
     value_object "FindingKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Version" do
@@ -94,7 +94,7 @@ Hecks.bluebook "Hecks" do
     identified_by :digest
 
     value_object "Digest" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a digest is present") { !value.to_s.empty? }
     end

data/lib/hecks/hecks/rehearsal.bluebook

@@ -53,14 +53,14 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a rehearsal is named") { !value.to_s.empty? }
     end
 
     # The domain's directory: where its bluebooks and its `.world` stand.
     value_object "DomainPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # The Hecks the rehearsal must run on: a release (`3.9.0`) or a commit, whole or a prefix.
@@ -69,7 +69,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "HostVersion" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     # Which strategy the subject's world named for the copy of its data.

data/lib/hecks/hecks/tooling.bluebook

@@ -10,19 +10,19 @@ Hecks.bluebook "Hecks" do
     identified_by :domain
 
     value_object "DomainPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("a domain is named by its path") { !value.to_s.empty? }
     end
 
     value_object "ChapterName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a chapter is named") { !value.to_s.empty? }
     end
 
     value_object "AggregateName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("an aggregate is named") { !value.to_s.empty? }
     end
@@ -128,13 +128,13 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RunKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a run is named") { !value.to_s.empty? }
     end
 
     value_object "DomainList" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "ProfileName" do
@@ -254,7 +254,7 @@ Hecks.bluebook "Hecks" do
 
     # A directory: the source repository (`from`), or the project the files land in (`root`).
     value_object "Location" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Report" do
@@ -383,18 +383,18 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "RegistryKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a release is named") { !value.to_s.empty? }
     end
 
     value_object "PackageName" do
-      attribute :value, String, pattern: '^[a-z][a-z0-9_]*$'
+      attribute :value, String, matches: :snake_name
     end
 
     # The registry repository: the current directory when absent.
     value_object "Location" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Report" do
@@ -520,14 +520,14 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "LaunchKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a launch is named") { !value.to_s.empty? }
     end
 
     # Domain directories under the project, comma separated.
     value_object "DomainList" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Switch" do
@@ -546,12 +546,12 @@ Hecks.bluebook "Hecks" do
 
     # Where the new domain goes; the domain's snake-cased name under the current directory when absent.
     value_object "TargetDir" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # Who is interviewed; asked for at the terminal when absent.
     value_object "ExpertName" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Note" do
@@ -724,7 +724,7 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "BuildKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a build is named") { !value.to_s.empty? }
     end
@@ -737,18 +737,18 @@ Hecks.bluebook "Hecks" do
 
     # A generated module: the directory name a domain was built as.
     value_object "ModuleName" do
-      attribute :value, String, pattern: '^[a-z][a-z0-9_]*$'
+      attribute :value, String, matches: :snake_name
     end
 
     # A JSON file of steps for a domain to replay.
     value_object "ScriptPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # What a build is replayed through: `native`, `build` (the domain's own feature), a `.wasm`
     # module, or a binary.
     value_object "Artifact" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     # A Rust target triple: `<arch>-<vendor>-<os>` with an optional `-<env>`. The toolchain
@@ -759,7 +759,7 @@ Hecks.bluebook "Hecks" do
 
     # The directory a host build stages its files in.
     value_object "StagePath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Count" do
@@ -1014,14 +1014,14 @@ Hecks.bluebook "Hecks" do
     identified_by :run
 
     value_object "FuzzKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a sweep is named") { !value.to_s.empty? }
     end
 
     # A domain directory; a sweep with none covers every domain of a hecks checkout.
     value_object "DomainPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("a domain is named by its path") { !value.to_s.empty? }
     end
@@ -1054,7 +1054,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "BinaryPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Format" do
@@ -1062,7 +1062,7 @@ Hecks.bluebook "Hecks" do
     end
 
     value_object "OutputPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Report" do

data/lib/hecks/language/bluebook/aggregate.bluebook

@@ -440,6 +440,7 @@ Hecks.bluebook "Bluebook" do
       member keyword: "attribute",       context: "Aggregate", at: "",  named: "default",  kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "Aggregate", at: "",  named: "optional", kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "Aggregate", at: "",  named: "pattern",  kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "Aggregate", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "Aggregate", at: "",  named: "admits",   kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "Aggregate", at: "",  named: "one_of",   kind: "list",     required: "false", fills: "one_of"
       member keyword: "invariant",       context: "Aggregate", at: "1", named: "",         kind: "text",     required: "true",  fills: "description"

data/lib/hecks/language/bluebook/command.bluebook

@@ -368,6 +368,7 @@ Hecks.bluebook "Bluebook" do
       member keyword: "attribute",       context: "Command", at: "",  named: "default",   kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "Command", at: "",  named: "optional",  kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "Command", at: "",  named: "pattern",   kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "Command", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "Command", at: "",  named: "admits",    kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "Command", at: "",  named: "one_of",    kind: "list",     required: "false", fills: "one_of"
       # `reason` is required in practice; CommandBuilder#corrects_impl refuses its absence.

data/lib/hecks/language/bluebook/entity.bluebook

@@ -319,6 +319,7 @@ Hecks.bluebook "Bluebook" do
       member keyword: "attribute",       context: "Entity", at: "",  named: "default",  kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "Entity", at: "",  named: "optional", kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "Entity", at: "",  named: "pattern",  kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "Entity", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "Entity", at: "",  named: "admits",   kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "Entity", at: "",  named: "one_of",   kind: "list",     required: "false", fills: "one_of"
       member keyword: "reference_to",    context: "Entity", at: "1", named: "",         kind: "constant", required: "true",  fills: "type"

data/lib/hecks/language/bluebook/query.bluebook

@@ -229,6 +229,7 @@ Hecks.bluebook "Bluebook" do
       member keyword: "attribute",       context: "Query", at: "",  named: "default",  kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "Query", at: "",  named: "optional", kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "Query", at: "",  named: "pattern",  kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "Query", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "Query", at: "",  named: "admits",   kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "Query", at: "",  named: "one_of",   kind: "list",     required: "false", fills: "one_of"
       member keyword: "reference_to",    context: "Query", at: "1", named: "",         kind: "constant", required: "true",  fills: "type"