Fix CI failures in PR #566

Author: coderabbitai[bot]

bots/rhodibot/canon/pin.toml

@@ -10,14 +10,14 @@
 # reviewable commit.
 #
 # To re-pin: copy the new criteria file over `rsr-criteria-v2.a2ml`, update the
-# three version fields, the digest, and the `categories`, `criteria` and
+# version fields, the digest, and the `categories`, `criteria` and
 # `weight_sum` shape fields below, then run `cargo test`. The canon's own
 # arithmetic is re-checked on parse, so a half-copied file fails rather than
 # silently losing criteria.
 #
 # One discrepancy to be aware of, recorded rather than resolved here: the
-# release in `canon.lock` is 2.0.4 while the criteria file's own `[meta]
-# version` still reads 2.0.0-draft. Both are quoted below so the pin describes
+# release in `canon.lock` is 2.1.1 while the criteria file's own `[meta]
+# version` reads 2.1.0-draft. Both are quoted below so the pin describes
 # the artefact rather than a story about it. `canon.lock` also cannot be pinned
 # by commit: its `commit` field is still the all-zero placeholder with the
 # comment "fill at release".
@@ -26,17 +26,17 @@
 repo = "hyperpolymath/standards"
 path = "0-canon/rsr/rsr-criteria-v2.a2ml"
 slot = "criteria"
-canon_version = "2.0.4"
-criteria_version = "2.0.0-draft"
-released = "2026-09-17"
-pinned = "2026-09-19"
-sha256 = "37cb5f679b414f6ee99c6bb62c460fd5349ff7d50cc1dab25b1e1a8e8d3c7bb9"
+canon_version = "2.1.1"
+criteria_version = "2.1.0-draft"
+released = "2026-09-19"
+pinned = "2026-09-22"
+sha256 = "6a5aa8857bd0d0d58ef48827938ca17c251b6b854dacf59d306388d61694d82a"
 
 # The shape of the pinned revision, checked after parsing as well as by digest.
 # A rule set that silently shrinks is the failure mode that matters: these
 # numbers make shrinking a test failure rather than a quieter scorecard.
 categories = 11
-criteria = 74
+criteria = 78
 weight_sum = 88
 
 # The release's second artefact: the gate table. It says which capabilities a
@@ -49,10 +49,10 @@ weight_sum = 88
 repo = "hyperpolymath/standards"
 path = ".machine_readable/template-capability-gates.toml"
 slot = "gates"
-version = "0.2.0"
-released = "2026-09-17"
-pinned = "2026-09-19"
-sha256 = "b65ce75438c42d01bedf0325b9a97f1a575064866158b4340d7427fca911dd1b"
+version = "0.3.0"
+released = "2026-09-19"
+pinned = "2026-09-22"
+sha256 = "e70efd2f53c9445e30da4baf770366f04a4a84ffd844a01426e587e565b53e6a"
 
 # The shape of the pinned table. A vocabulary that shrank would leave profiles
 # declaring the lost words unparseable, and criteria gated on them permanently

bots/rhodibot/canon/rsr-criteria-v2.a2ml

@@ -18,13 +18,24 @@
 
 [meta]
 spec = "rhodium-standard-repositories"
-version = "2.0.0-draft"
+version = "2.1.0-draft"
 status = "draft"                 # draft | stable ; MUST NOT be cited as ratified until §Ratification passes
 supersedes = "1.0.0"
-date = "2026-07-03"
+date = "2026-09-19"
 authority = "RSR-SPEC-v2.adoc"
 normative-oracle = "hypatia:rsr-conformance"   # the ONE checker; all others are non-normative (see [oracle])
 dialect = "a2ml-record"          # dogfoods a2ml/RECORD-DIALECT-SPEC.adoc
+#
+# 2.1.0-draft (2026-09-19): ADDITIVE MINOR (rule-minor: may add criteria
+# or capability gates; must not make a previously-conforming repo
+# non-conforming at the same tier). Adds the julia-gated criteria
+# 5.2.3-5.2.6. Rationale: the capability vocabulary named `julia` with
+# no criteria to gate on, so a repo declaring `julia` + `library` was
+# scored with nothing language-shaped at all - the 33-repo .jl estate
+# was invisible to the oracle by construction. All four criteria gate
+# on `julia`, so no repo that does not declare `julia` has its
+# applicable set change: the MINOR's non-regression obligation holds
+# by the gate itself. Owner ruling 2026-09-19: approved.
 
 [versioning]
 # Fixes the v1.0 "immutable forever" model, which estate reality already broke.
@@ -167,6 +178,10 @@ criteria = [
   { id = "5.1.6", name = "no-node-npm",   desc = "No Node/npm/bun runtime deps (use Deno)",                       tier = "bronze", gate = "universal", detect = "cicd_rules/nodejs_detected",    template_ref = ".github/workflows/runtime-policy.yml" },
   { id = "5.2.1", name = "spark-ready",   desc = "Rust projects designed to admit SPARK/Ada modules",             tier = "rhodium", gate = "rust",     detect = "manual",                        template_ref = "-" },
   { id = "5.2.2", name = "proofs-clean",  desc = "No believe_me / sorry / Admitted in load-bearing proofs",       tier = "gold",   gate = "formal-proofs", detect = "proof_obligation/no_holes", template_ref = "verification/" },
+  { id = "5.2.3", name = "julia-package", desc = "Project.toml: stable uuid (derived or assigned, never regenerated), [compat] closure incl. the julia floor and bounds for every extra, licence consistent with LICENSE", tier = "silver", gate = "julia", detect = "rsr-conformance/julia_package", template_ref = "archetypes/julia-library/overlay/Project.toml.in" },
+  { id = "5.2.4", name = "julia-ci",      desc = "Julia CI workflow with a version matrix that includes the [compat] julia floor, running Pkg.test()", tier = "bronze", gate = "julia", detect = "rsr-conformance/julia_ci",     template_ref = "archetypes/julia-library/overlay/.github/workflows/julia-ci.yml.in" },
+  { id = "5.2.5", name = "julia-aqua",    desc = "Aqua in [extras]+[targets] and green in CI (package-shape / compat / ambiguity gate); Aqua.test_all failure blocks", tier = "gold",   gate = "julia", detect = "rsr-conformance/julia_aqua",   template_ref = "archetypes/julia-library/overlay/test/runtests.jl" },
+  { id = "5.2.6", name = "julia-docs",    desc = "Documenter build wired for a julia repo that declares docs-site (docs/Project.toml + docs/make.jl + docs/src/ + build workflow); declared docs-site without a build is a VESTIGIAL-class defect the gate must catch", tier = "silver", gate = "julia", detect = "rsr-conformance/julia_docs",   template_ref = "archetypes/julia-library/overlay/.github/workflows/julia-docs.yml.in" },
 ]
 
 [[category]]

bots/rhodibot/canon/template-capability-gates.toml

@@ -10,7 +10,7 @@
 # Arrays are kept single-line so the checker can parse them with grep.
 
 [meta]
-version = "0.2.0"
+version = "0.3.0"
 policy = "0-canon/TEMPLATE-APPLICABILITY-POLICY.adoc"
 
 [capabilities]
@@ -39,6 +39,14 @@ paths = ["README.adoc", "EXPLAINME.adoc|docs/EXPLAINME.adoc", "LICENSE", "SECURI
 "Cargo.lock" = "rust"
 "src/**/*.rs" = "rust"
 ".github/workflows/rust-ci.yml" = "rust"
+# Julia library modules (the julia-library archetype's overlay; the
+# #634 reference variant measured 2026-08-25: the language-specific
+# delta is exactly these files). test/ (singular) is the Julia
+# convention; rust uses tests/ and is ungated here by design.
+"Project.toml" = "julia"
+"test/" = "julia"
+".github/workflows/julia-ci.yml" = "julia"
+".github/workflows/julia-docs.yml" = "julia"
 "src/interface/ffi/" = "ffi"
 "abi.ipkg" = "abi"
 "src/interface/abi/|src/interface/Abi/" = "abi"

bots/rhodibot/src/canon.rs

@@ -797,7 +797,7 @@ mod tests {
     fn parses_the_vendored_canon() {
         let canon = vendored();
         assert_eq!(canon.categories.len(), 11, "the canon has 11 categories");
-        assert_eq!(canon.criterion_count(), 74);
+        assert_eq!(canon.criterion_count(), 78);
         assert_eq!(canon.weight_sum(), 88);
         assert_eq!(canon.declared_weight_sum, Some(88));
         assert_eq!(canon.tiers.bronze, 75);
@@ -813,7 +813,7 @@ mod tests {
         assert_eq!(pin.source.repo, "hyperpolymath/standards");
         assert_eq!(pin.source.sha256, digest_of(VENDORED_CRITERIA));
         assert_eq!(pin.source.categories, 11);
-        assert_eq!(pin.source.criteria, 74);
+        assert_eq!(pin.source.criteria, 78);
         assert_eq!(pin.source.weight_sum, 88);
     }
 
@@ -848,7 +848,7 @@ mod tests {
             .criteria()
             .filter(|c| c.capability().is_some())
             .count();
-        assert_eq!(gated, 26, "criteria gated on a declared capability");
+        assert_eq!(gated, 30, "criteria gated on a declared capability");
     }
 
     // ---- fail-closed ---------------------------------------------------------
@@ -959,7 +959,7 @@ criteria = [
 
     #[test]
     fn a_canon_without_a_version_is_rejected() {
-        let source = VENDORED_CRITERIA.replacen("version = \"2.0.0-draft\"", "", 1);
+        let source = VENDORED_CRITERIA.replacen("version = \"2.1.0-draft\"", "", 1);
         let error = Canon::parse(&source).expect_err("a versionless canon must not parse");
         assert!(
             format!("{error:#}").contains("no [meta] version"),

bots/rhodibot/src/canon/profile.rs

@@ -491,7 +491,7 @@ version = \"2.0.4\"
     #[test]
     fn the_vendored_gate_table_has_the_expected_shape() {
         let table = gates();
-        assert_eq!(table.version(), "0.2.0");
+        assert_eq!(table.version(), "0.3.0");
         assert_eq!(
             table.known_count(),
             28,

bots/rhodibot/src/canon/report.rs

@@ -440,9 +440,9 @@ mod tests {
             CanonReport::build("acme/widgets", &canon(), &gates(), &files(COMPLIANT), None)
                 .expect("the report builds");
 
-        // The vendored canon: 74 criteria, 26 gated on a capability.
-        assert_eq!(report.criteria, 74);
-        assert_eq!(report.not_applicable, 26);
+        // The vendored canon: 78 criteria, 30 gated on a capability.
+        assert_eq!(report.criteria, 78);
+        assert_eq!(report.not_applicable, 30);
         assert_eq!(report.scored, 22);
         assert_eq!(report.not_file_questions, 26);
         assert_eq!(
@@ -630,7 +630,7 @@ mod tests {
 
         let value = serde_json::to_value(&report).expect("serialises");
         assert_eq!(value["subject"], "acme/widgets");
-        assert_eq!(value["criteria"], 74);
+        assert_eq!(value["criteria"], 78);
         assert!(value["counts"]["deprecated"].as_u64().unwrap() > 0);
         assert!(
             value["findings"]

bots/rhodibot/tests/canon_lockstep.rs

@@ -67,7 +67,7 @@ fn the_rule_set_the_pilot_is_quoted_from() {
     let canon = Canon::vendored().expect("the canon parses");
 
     assert_eq!(canon.categories.len(), 11, "weighted categories");
-    assert_eq!(canon.criterion_count(), 74, "criteria in total");
+    assert_eq!(canon.criterion_count(), 78, "criteria in total");
     assert_eq!(
         canon.weight_sum(),
         88,
@@ -77,7 +77,7 @@ fn the_rule_set_the_pilot_is_quoted_from() {
     let bronze = canon.criteria().filter(|c| c.tier == Tier::Bronze).count();
     let gold = canon.criteria().filter(|c| c.tier == Tier::Gold).count();
     let rhodium = canon.criteria().filter(|c| c.tier == Tier::Rhodium).count();
-    assert_eq!((bronze, gold, rhodium), (17, 29, 4));
+    assert_eq!((bronze, gold, rhodium), (18, 30, 4));
 
     // The honest half of the coverage story: the canon says outright that these
     // have no automated detection. A tool that reported them as passing would
@@ -91,7 +91,7 @@ fn the_rule_set_the_pilot_is_quoted_from() {
         .criteria()
         .filter(|c| c.capability().is_some())
         .count();
-    assert_eq!(gated, 26);
+    assert_eq!(gated, 30);
 
     // What a repository with no declared capabilities is measured on at bronze.
     assert_eq!(canon.universal_criteria_up_to(Tier::Bronze).count(), 17);
@@ -214,7 +214,7 @@ fn capability_gates_split_the_file_presence_criteria() {
 
     assert_eq!(
         scored.len() + inapplicable.len(),
-        31,
+        33,
         "the number of criteria whose description names files changed"
     );
     assert!(

dashboard/src/main.rs

@@ -175,7 +175,11 @@ async fn report_handler(
 
     match format.to_lowercase().as_str() {
         "html" => (StatusCode::OK, [("content-type", "text/html")], report),
-        "json" => (StatusCode::OK, [("content-type", "application/json")], report),
+        "json" => (
+            StatusCode::OK,
+            [("content-type", "application/json")],
+            report,
+        ),
         _ => (StatusCode::OK, [("content-type", "text/plain")], report),
     }
 }
@@ -211,10 +215,7 @@ async fn websocket_handler(
 }
 
 /// Handle WebSocket connection
-async fn websocket_connection(
-    mut socket: axum::extract::ws::WebSocket,
-    state: AppState,
-) {
+async fn websocket_connection(mut socket: axum::extract::ws::WebSocket, state: AppState) {
     use axum::extract::ws::Message;
     use tokio::time::{interval, Duration};
 

robot-repo-automaton/src/catalog.rs

@@ -114,7 +114,8 @@ impl ErrorCatalog {
     /// Convert from S-expression value
     fn from_sexpr(value: &Value) -> Result<Self> {
         // Expect (define error-catalog '(...))
-        let _list = value.as_cons()
+        let _list = value
+            .as_cons()
             .ok_or_else(|| Error::CatalogParse("Expected list at top level".into()))?;
 
         // Navigate to the catalog content
@@ -163,7 +164,8 @@ impl ErrorCatalog {
                     if sym == "define" {
                         // Third element should be the quoted list
                         if let Some(quoted) = items[2].as_cons() {
-                            let quoted_items: Vec<&Value> = quoted.iter().map(|c| c.car()).collect();
+                            let quoted_items: Vec<&Value> =
+                                quoted.iter().map(|c| c.car()).collect();
                             if !quoted_items.is_empty() {
                                 if let Some(quote_sym) = quoted_items[0].as_symbol() {
                                     if quote_sym == "quote" && quoted_items.len() > 1 {

robot-repo-automaton/src/confidence.rs

@@ -308,21 +308,36 @@ fn is_protected_file(target: &str) -> bool {
 
     // Exact protected filenames (case-insensitive check on basename)
     let protected_names = [
-        "TODO.md", "TODO.adoc", "TODO.txt",
-        "BLOCKERS.md", "BLOCKERS.adoc",
-        "CHANGELOG.md", "CHANGELOG.adoc",
-        "README.md", "README.adoc", "README.rst",
-        "TOPOLOGY.md", "TOPOLOGY.adoc",
-        "ARCHITECTURE.md", "ARCHITECTURE.adoc",
-        "ROADMAP.md", "ROADMAP.adoc",
+        "TODO.md",
+        "TODO.adoc",
+        "TODO.txt",
+        "BLOCKERS.md",
+        "BLOCKERS.adoc",
+        "CHANGELOG.md",
+        "CHANGELOG.adoc",
+        "README.md",
+        "README.adoc",
+        "README.rst",
+        "TOPOLOGY.md",
+        "TOPOLOGY.adoc",
+        "ARCHITECTURE.md",
+        "ARCHITECTURE.adoc",
+        "ROADMAP.md",
+        "ROADMAP.adoc",
     ];
-    if protected_names.iter().any(|&p| p.eq_ignore_ascii_case(basename)) {
+    if protected_names
+        .iter()
+        .any(|&p| p.eq_ignore_ascii_case(basename))
+    {
         return true;
     }
 
     // Protected extensions — checkpoint and manifest files
     let protected_extensions = [".scm", ".a2ml"];
-    if protected_extensions.iter().any(|ext| basename.ends_with(ext)) {
+    if protected_extensions
+        .iter()
+        .any(|ext| basename.ends_with(ext))
+    {
         return true;
     }
 
@@ -630,7 +645,10 @@ mod tests {
 
         assert_eq!(config.classify_fix(&issue, &fix), ConfidenceLevel::High);
         // And the decision should be AutoApply
-        assert!(matches!(config.decide(&issue, &fix), FixDecision::AutoApply));
+        assert!(matches!(
+            config.decide(&issue, &fix),
+            FixDecision::AutoApply
+        ));
     }
 
     #[test]
@@ -654,11 +672,13 @@ mod tests {
             assert_eq!(
                 config.classify_fix(&issue, &fix),
                 ConfidenceLevel::Medium,
-                "Expected Medium at confidence={}", confidence
+                "Expected Medium at confidence={}",
+                confidence
             );
             assert!(
                 matches!(config.decide(&issue, &fix), FixDecision::Propose { .. }),
-                "Expected Propose at confidence={}", confidence
+                "Expected Propose at confidence={}",
+                confidence
             );
         }
     }
@@ -674,7 +694,8 @@ mod tests {
             assert_eq!(
                 config.classify_fix(&issue, &fix),
                 ConfidenceLevel::Low,
-                "Expected Low at confidence={}", confidence
+                "Expected Low at confidence={}",
+                confidence
             );
         }
     }
@@ -686,16 +707,25 @@ mod tests {
         // High confidence Delete -> AutoApply
         let issue_high = make_issue("TEST", 0.97);
         let fix = make_fix(FixAction::Delete, "stale.txt");
-        assert!(matches!(config.decide(&issue_high, &fix), FixDecision::AutoApply));
+        assert!(matches!(
+            config.decide(&issue_high, &fix),
+            FixDecision::AutoApply
+        ));
 
         // Medium confidence Delete -> Propose
         let issue_medium = make_issue("TEST", 0.80);
-        assert!(matches!(config.decide(&issue_medium, &fix), FixDecision::Propose { .. }));
+        assert!(matches!(
+            config.decide(&issue_medium, &fix),
+            FixDecision::Propose { .. }
+        ));
 
         // Low confidence Delete -> also Propose (not Skip, since Low >= Low)
         // (Skip only occurs when the action is somehow forced below the propose floor,
         // which is not reachable in current logic — Low always Proposes)
         let issue_low = make_issue("TEST", 0.30);
-        assert!(matches!(config.decide(&issue_low, &fix), FixDecision::Propose { .. }));
+        assert!(matches!(
+            config.decide(&issue_low, &fix),
+            FixDecision::Propose { .. }
+        ));
     }
 }