hecks 3.13.0 → 3.14.0

data/lib/hecks/language/bluebook/shape.bluebook

@@ -19,14 +19,14 @@ Hecks.bluebook "Bluebook" do
     end
 
     value_object "ValueObjectName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a value object is named") { !value.to_s.empty? }
     end
 
     value_object "ShapeField" do
-      attribute :name,    String, pattern: '[^ \t\n\r]'
-      attribute :type,    String, pattern: '[^ \t\n\r]'
-      attribute :list,    String, pattern: '[^ \t\n\r]'
+      attribute :name,    String, matches: :present
+      attribute :type,    String, matches: :present
+      attribute :list,    String, matches: :present
       attribute :optional, String, optional: true
       attribute :pattern,  String, optional: true
       # optional: a declaration with no default has none
@@ -40,8 +40,8 @@ Hecks.bluebook "Bluebook" do
     end
 
     value_object "Assertion" do
-      attribute :description, String, pattern: '[^ \t\n\r]'
-      attribute :canonical,   String, pattern: '[^ \t\n\r]'
+      attribute :description, String, matches: :present
+      attribute :canonical,   String, matches: :present
       invariant("an assertion description is present") { !description.to_s.empty? }
       invariant("an assertion canonical form is present") { !canonical.to_s.empty? }
     end
@@ -59,7 +59,7 @@ Hecks.bluebook "Bluebook" do
     end
 
     value_object "Pair" do
-      attribute :key,   String, pattern: '[^ \t\n\r]'
+      attribute :key,   String, matches: :present
       attribute :value, String
       # Keys must be named; values may be empty or numeric.
       invariant("a pair key is present") { !key.to_s.empty? }
@@ -230,6 +230,7 @@ Hecks.bluebook "Bluebook" do
       member keyword: "attribute",       context: "ValueObject", at: "",  named: "default",  kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "ValueObject", at: "",  named: "optional", kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "ValueObject", at: "",  named: "pattern",  kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "ValueObject", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "ValueObject", at: "",  named: "admits",   kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "ValueObject", at: "",  named: "one_of",   kind: "list",     required: "false", fills: "one_of"
       member keyword: "invariant",       context: "ValueObject", at: "1", named: "",         kind: "text",     required: "true",  fills: "description"

data/lib/hecks/language/hecksagon/port_operation.bluebook

@@ -80,6 +80,7 @@ Hecks.bluebook "Hecksagon" do
       member keyword: "attribute",       context: "PortOperation", at: "",  named: "default",  kind: "literal",  required: "false", fills: "default"
       member keyword: "attribute",       context: "PortOperation", at: "",  named: "optional", kind: "flag",     required: "false", fills: "optional"
       member keyword: "attribute",       context: "PortOperation", at: "",  named: "pattern",  kind: "text",     required: "false", fills: "pattern"
+      member keyword: "attribute",       context: "PortOperation", at: "",  named: "matches",  kind: "symbol",   required: "false", fills: "matches"
       member keyword: "attribute",       context: "PortOperation", at: "",  named: "admits",   kind: "text",     required: "false", fills: "admits"
       member keyword: "attribute",       context: "PortOperation", at: "",  named: "one_of",   kind: "list",     required: "false", fills: "one_of"
       member keyword: "emits",           context: "PortOperation", at: "1", named: "", kind: "text", required: "true", fills: "emits"

data/lib/hecks/quality_control/quality_control.bluebook

@@ -54,13 +54,13 @@ Hecks.bluebook "QualityControl" do
     attribute :reason,     TargetReason
 
     value_object "TargetReference" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a target is referenced") { !value.to_s.empty? }
     end
 
     # Required: a name can be disputed, a path can be opened.
     value_object "TargetPath" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a target says where it is") { !value.to_s.empty? }
     end
 
@@ -87,7 +87,7 @@ Hecks.bluebook "QualityControl" do
     end
 
     value_object "TargetReason" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("shelving a target says why") { !value.to_s.empty? }
     end
 
@@ -99,7 +99,7 @@ Hecks.bluebook "QualityControl" do
 
     # One mode name, as `EligibleFor`'s argument; a query attribute, never stored.
     value_object "Capability" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a mode is named") { !value.to_s.empty? }
     end
 
@@ -300,7 +300,7 @@ Hecks.bluebook "QualityControl" do
     end
 
     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
@@ -361,12 +361,12 @@ Hecks.bluebook "QualityControl" do
     attribute :checks,    list_of(Check)
 
     value_object "SweepReference" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a sweep is referenced") { !value.to_s.empty? }
     end
 
     value_object "Engineer" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a sweep says who ran it") { !value.to_s.empty? }
     end
 
@@ -381,13 +381,13 @@ Hecks.bluebook "QualityControl" do
     end
 
     value_object "SweepNotes" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       # The number is in the sentence because the sentence is the refusal message.
       invariant("a sweep says what it learned, in at least 40 characters") { value.to_s.size >= 40 }
     end
 
     value_object "WaiverReason" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a waived gate says why") { !value.to_s.empty? }
     end
 
@@ -395,7 +395,7 @@ Hecks.bluebook "QualityControl" do
     # literals, so `spec/quality_control_spec.rb` pins the two equal. "nobody" is refused: unsigned
     # is anonymous.
     value_object "WaivedBy" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a gate is waived by a person, never by the loop") { value != "qa_sweep" }
       invariant("a waiver is signed") { value != "nobody" }
     end
@@ -418,13 +418,13 @@ Hecks.bluebook "QualityControl" do
     end
 
     value_object "Subject" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a check names what it put to the system") { !value.to_s.empty? }
     end
 
     # Written before the answer exists: an expectation fitted to the answer cannot be surprised.
     value_object "Expectation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a check says what it expected") { !value.to_s.empty? }
     end
 
@@ -637,37 +637,37 @@ Hecks.bluebook "QualityControl" do
     end
 
     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 "DataPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("a data directory is named by its path") { !value.to_s.empty? }
     end
 
     value_object "DatabaseName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a database is named") { !value.to_s.empty? }
     end
 
     value_object "RoleName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a role is named") { !value.to_s.empty? }
     end
 
     value_object "SchemaName" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a schema is named") { !value.to_s.empty? }
     end
 
     value_object "StepVerb" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a step names its verb") { !value.to_s.empty? }
     end
@@ -770,7 +770,7 @@ Hecks.bluebook "QualityControl" do
     attribute :window,        StaleAfter
 
     value_object "BugReference" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a bug is referenced") { !value.to_s.empty? }
     end
 
@@ -783,56 +783,56 @@ Hecks.bluebook "QualityControl" do
     # value object sharing a word with any aggregate resolves to that class once the other domain
     # boots.
     value_object "BugTitle" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a bug is titled") { !value.to_s.empty? }
     end
 
     # Required at `Log`, which is what makes the one absolute rule absolute.
     value_object "Demonstration" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a bug is proven by a test somebody can re-run") { !value.to_s.empty? }
     end
 
     value_object "Symptom" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a bug says what actually happened") { !value.to_s.empty? }
     end
 
     value_object "Expectation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a bug says what should have happened") { !value.to_s.empty? }
     end
 
     value_object "BugSite" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("an investigation names where the bug lives") { !value.to_s.empty? }
     end
 
     value_object "BugCause" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("an investigation says why the code is wrong") { !value.to_s.empty? }
     end
 
     # 7 to 40 hex: a fix that lives only in a working tree is not a fix.
     value_object "CommitRef" do
-      attribute :value, String, pattern: '^[0-9a-fA-F]{7,40}$'
+      attribute :value, String, matches: :git_sha
     end
 
     # What was actually run, e.g. "rspec --order random, 1335 examples, 0 failures, seed 12345":
     # a count and a seed are checkable, "tests pass" is not.
     value_object "Verification" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a verification says what was actually run") { !value.to_s.empty? }
     end
 
     value_object "BugReason" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("stopping on a bug says why") { !value.to_s.empty? }
     end
 
     # Who decides and what would unblock it, so "deferred" does not become "forgotten".
     value_object "NextStep" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("stopping on a bug says what would move it") { !value.to_s.empty? }
     end
 
@@ -842,14 +842,14 @@ Hecks.bluebook "QualityControl" do
     end
 
     value_object "WaiverReason" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a waived gate says why") { !value.to_s.empty? }
     end
 
     # Redeclared, as elsewhere in this file; the "qa_sweep" literal is pinned to AUTOMATED_ENGINEER
     # by spec.
     value_object "WaivedBy" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a gate is waived by a person, never by the loop") { value != "qa_sweep" }
       invariant("a waiver is signed") { value != "nobody" }
     end
@@ -881,7 +881,7 @@ Hecks.bluebook "QualityControl" do
     # Not an `Engineer`: that type defaults to "nobody" (an unclaimed bug is held by nobody), which
     # would let a report omit its submitter. This type has no default and refuses "nobody".
     value_object "Submitter" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a bug is reported by somebody") { value != "nobody" }
     end
@@ -1237,27 +1237,27 @@ Hecks.bluebook "QualityControl" do
     attribute :reason,      AngleReason
 
     value_object "AngleReference" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("an angle is referenced") { !value.to_s.empty? }
     end
 
     # The number is in the sentence because the sentence is the refusal; 60 characters trips a
     # stub.
     value_object "AnglePremise" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("an angle says enough to be acted on without its proposer in the room, in at least 60 characters") { value.to_s.size >= 60 }
     end
 
     # A Bug reference, ADR number or named gap that a reader can check for themselves.
     value_object "AngleCitation" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("an angle cites something concrete, not a mood") { !value.to_s.empty? }
     end
 
     # Not an `Engineer`, for the reason `Submitter` is not: that default would let authorship go
     # unrecorded.
     value_object "Proposer" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("an angle is proposed by somebody") { value != "nobody" }
     end
 
@@ -1268,13 +1268,13 @@ Hecks.bluebook "QualityControl" do
 
     # What came of it (a Target, a PR number, a domain path); set once, at `Build`.
     value_object "AngleResolution" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a built angle says what actually got built") { !value.to_s.empty? }
     end
 
     # Redeclared as `Target::Shelve` does: a discard with no reason looks like a lead nobody read.
     value_object "AngleReason" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("discarding an angle says why") { !value.to_s.empty? }
     end
 
@@ -1401,7 +1401,7 @@ Hecks.bluebook "QualityControl" do
     attribute :max_attempts, MaxAttempts
 
     value_object "TicketReference" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a ticket is referenced") { !value.to_s.empty? }
     end
 
@@ -1410,7 +1410,7 @@ Hecks.bluebook "QualityControl" do
     end
 
     value_object "TicketTitle" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a ticket is titled") { !value.to_s.empty? }
     end
 
@@ -1421,7 +1421,7 @@ Hecks.bluebook "QualityControl" do
     end
 
     value_object "TicketBody" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a ticket says something") { !value.to_s.empty? }
     end
 
@@ -1647,22 +1647,22 @@ Hecks.bluebook "QualityControl" do
     end
 
     value_object "PatchUrl" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a patch says where it lives") { !value.to_s.empty? }
     end
 
     value_object "PatchBranch" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a patch says which branch it is on") { !value.to_s.empty? }
     end
 
     # Recorded at `Open` so the commit is in hand when the PR needs checking, as `Bug.commit` is.
     value_object "CommitRef" do
-      attribute :value, String, pattern: '^[0-9a-fA-F]{7,40}$'
+      attribute :value, String, matches: :git_sha
     end
 
     value_object "PatchTitle" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a patch is titled") { !value.to_s.empty? }
     end
 
@@ -1840,23 +1840,23 @@ Hecks.bluebook "QualityControl" do
     end
 
     value_object "ImprovementUrl" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("an improvement says where it lives") { !value.to_s.empty? }
     end
 
     value_object "ImprovementBranch" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("an improvement says which branch it is on") { !value.to_s.empty? }
     end
 
     # Redeclared per aggregate. Absent until `Land`: there is nothing to watch until a commit
     # exists.
     value_object "CommitRef" do
-      attribute :value, String, pattern: '^[0-9a-fA-F]{7,40}$'
+      attribute :value, String, matches: :git_sha
     end
 
     value_object "ImprovementTitle" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("an improvement is titled") { !value.to_s.empty? }
     end
 
@@ -1977,11 +1977,11 @@ Hecks.bluebook "QualityControl" do
     attribute :summary, RunSummary
 
     value_object "CommitRef" do
-      attribute :value, String, pattern: '^[0-9a-fA-F]{7,40}$'
+      attribute :value, String, matches: :git_sha
     end
 
     value_object "RunSummary" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
       invariant("a run says what it ran and what came back") { !value.to_s.empty? }
     end
 

data/lib/hecks/site/bluebook/site.bluebook

@@ -129,14 +129,14 @@ Hecks.bluebook "Site" 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
 
     # A project directory, whose `bluebook/` holds the chapter that declares the route table.
     value_object "DomainPath" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
 
       invariant("a project is named by its path") { !value.to_s.empty? }
     end
@@ -144,7 +144,7 @@ Hecks.bluebook "Site" do
     # A directory or file anywhere on disk, relative to where the command runs: where routes.ts is
     # written when not in the project's generated/ directory, or the template to rewrite in place.
     value_object "Location" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # The file extension of the generated module: `ts` (routes.ts), or `mts` (routes.mts), which
@@ -164,12 +164,12 @@ Hecks.bluebook "Site" do
 
     # Path patterns, comma separated: the behaviours a change is about to add to the live distribution.
     value_object "PathList" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # Policy references and the ids they stand for live, as `!Ref Name=id`, comma separated.
     value_object "PolicyRefs" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # A running site's address, `https://example.org`: what `check_site` sends its requests to.

data/lib/hecks/sme/bluebook/sme.bluebook

@@ -30,37 +30,37 @@ Hecks.bluebook "SME" do
     attribute :accepted_actions, Tally
 
     value_object "Reference" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     # The domain being discovered, spelled as its bluebook will spell it. Many interviews, with
     # different experts on different days, name the same subject; the domain is not modelled here.
     value_object "Subject" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     # Who is being interviewed.
     value_object "Expert" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Question" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # The expert's answer in their own words.
     value_object "Answer" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # A label for grouping exchanges ("lending rules"); optional on every exchange.
     value_object "Topic" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     value_object "Exchange" do
-      attribute :question, String, pattern: '[^\t\n\r]'
-      attribute :answer,   String, pattern: '[^\t\n\r]'
+      attribute :question, String, matches: :not_empty
+      attribute :answer,   String, matches: :not_empty
       attribute :topic,    String, optional: true
     end
 
@@ -76,7 +76,7 @@ Hecks.bluebook "SME" do
     end
 
     value_object "Name" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     # How many findings of a kind were accepted.
@@ -86,7 +86,7 @@ Hecks.bluebook "SME" do
     end
 
     value_object "Statement" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # Whether an action brings its thing into being, as opposed to happening to one that exists.
@@ -97,12 +97,12 @@ Hecks.bluebook "SME" do
     # A list the expert gave in a breath, comma separated: the values a field may take, or the
     # fields an action needs to be told. Absent when the expert gave none.
     value_object "Listing" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # Who may do an action, in the expert's words ("a maintainer", "QA engineer").
     value_object "Actor" do
-      attribute :value, String, pattern: '[^\t\n\r]'
+      attribute :value, String, matches: :not_empty
     end
 
     # A thing the domain keeps track of, and the field that identifies one: an aggregate to be.

data/lib/hecks/tickets/bluebook/tickets.bluebook

@@ -32,7 +32,7 @@ Hecks.bluebook "Tickets" do
     identified_by :finding
 
     value_object "FindingKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
 
       invariant("a finding is named") { !value.to_s.empty? }
     end
@@ -65,7 +65,7 @@ Hecks.bluebook "Tickets" do
     # The same finding refiled by the QA loop carries the same fingerprint, so a report of it while an
     # open finding holds it changes nothing.
     value_object "Fingerprint" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     value_object "Number" do
@@ -239,7 +239,7 @@ Hecks.bluebook "Tickets" do
     end
 
     value_object "FindingKey" do
-      attribute :value, String, pattern: '[^ \t\n\r]'
+      attribute :value, String, matches: :present
     end
 
     lifecycle :status, default: "draft" do

data/lib/hecks/version.rb

@@ -1,5 +1,5 @@
 module Hecks
   # Read directly by the gemspec, so this file must never require the
   # rest of the gem (its dependencies aren't resolved yet at that point).
-  VERSION = "3.13.0".freeze
+  VERSION = "3.14.0".freeze # rust/host/HECKS_RELEASE names the same release
 end