test(judge): close accepted-type and ownership gaps

README.md

@@ -93,14 +93,17 @@ print(fixed_item_calibration.best)
   strict structured parsing. A judge result becomes an IRT row only through
   LLMJudgeResult.to_irt_row() with at least two criteria, followed by
   validate_irt_response_matrix() for a multi-item dichotomous or explicitly
-  categorized polytomous matrix. Equal-width score projection is experimental;
-  category-count and prompt-perturbation calibration are required. See
-  [ADR 0005](https://github.com/ContextualWisdomLab/contextual-orchestrator/blob/89bd5bf73319dd21f2be1f094eb2639bb8ead8f3/docs/planning/adrs/0005-irt-response-matrix-contract.md) and
-  [ADR 0006](https://github.com/ContextualWisdomLab/contextual-orchestrator/blob/89bd5bf73319dd21f2be1f094eb2639bb8ead8f3/docs/planning/adrs/0006-polytomous-llm-judge-bias-calibration.md) and
-  [ADR 0008](https://github.com/ContextualWisdomLab/contextual-orchestrator/blob/2b65d5c0f3d6bd64a9e05818f1f9286e98c334c1/docs/planning/adrs/0008-fast-judge-review-hardening.md).
+  categorized polytomous matrix. Equal-width direct K-way projection is
+  experimental; opt-in `category_method="cumulative_threshold"` evaluates each
+  ordered boundary with a strict Boolean vector and derives the category in the
+  adapter. Category-count and prompt-perturbation calibration remain required
+  for both methods. See
+  [ADR 0005](https://github.com/ContextualWisdomLab/contextual-orchestrator/blob/1b7dbd2a46533f41072def1fb94283147134cab5/docs/planning/adrs/0005-irt-response-matrix-contract.md),
+  [ADR 0006](https://github.com/ContextualWisdomLab/contextual-orchestrator/blob/1b7dbd2a46533f41072def1fb94283147134cab5/docs/planning/adrs/0006-polytomous-llm-judge-bias-calibration.md), and
+  [ADR 0008](https://github.com/ContextualWisdomLab/contextual-orchestrator/blob/1b7dbd2a46533f41072def1fb94283147134cab5/docs/planning/adrs/0008-fast-judge-review-hardening.md).
   Cross-repository exact-head review, structured Strix evidence, and merge
-  policy are recorded in [contextual-orchestrator ADR 0004](https://github.com/ContextualWisdomLab/contextual-orchestrator/blob/befa094784e37947841948fb42016de7e6b965ab/docs/planning/adrs/0004-pr-review-merge-loop.md) and
-  [ADR 0009 dependency cooldown](https://github.com/ContextualWisdomLab/contextual-orchestrator/blob/befa094784e37947841948fb42016de7e6b965ab/docs/planning/adrs/0009-supply-chain-dependency-cooldown.md).
+  policy are recorded in [contextual-orchestrator ADR 0004](https://github.com/ContextualWisdomLab/contextual-orchestrator/blob/1b7dbd2a46533f41072def1fb94283147134cab5/docs/planning/adrs/0004-pr-review-merge-loop.md) and
+  [ADR 0009 dependency cooldown](https://github.com/ContextualWisdomLab/contextual-orchestrator/blob/1b7dbd2a46533f41072def1fb94283147134cab5/docs/planning/adrs/0009-supply-chain-dependency-cooldown.md).
 - Standalone HTML reports for saved fit or dimensionality diagnostics.
 - Automated benchmark evidence reports from release-acceptance timing.
 - Release evidence index reports that tie dist artifact hashes, acceptance,

crates/mlsirm-core/src/jmle_opt.rs

@@ -170,6 +170,16 @@ where
             break;
         }
 
+        // L-BFGS needs a function-reduction stopping rule as well as a gradient
+        // rule. Near a well-resolved optimum, gradients can remain above a
+        // strict tolerance while the accepted objective improvement is already
+        // negligible at the problem's scale; continuing until the next Armijo
+        // search cannot find a representable decrease misclassifies numerical
+        // convergence as a line-search failure. This relative reduction mirrors
+        // the conventional L-BFGS-B `ftol` criterion.
+        let objective_scale = obj.abs().max(next_obj.abs()).max(1.0);
+        let relative_reduction = (obj - next_obj) / objective_scale;
+
         let mut s = vec![0.0; n];
         let mut y_delta = vec![0.0; n];
         for i in 0..n {
@@ -194,6 +204,10 @@ where
         loglik = next_loglik;
         trace.push(obj);
         loglik_trace.push(loglik);
+        if relative_reduction <= tolerance {
+            status = "converged".into();
+            break;
+        }
     }
     Ok((x, trace, loglik_trace, status))
 }
@@ -344,6 +358,20 @@ mod tests {
         assert!((x[1] + 1.0).abs() < 1e-4);
     }
 
+    #[test]
+    fn lbfgs_accepts_relative_objective_convergence() {
+        let mut obj = |x: &[f64]| {
+            let d = x[0] - 1.0;
+            let value = 1_000_000.0 + 0.5 * d * d;
+            Ok((value, vec![d], -value))
+        };
+        let (x, trace, _, status) =
+            lbfgs(&[0.0], &mut obj, 10, 1e-6, 5).expect("lbfgs");
+        assert_eq!(status, "converged");
+        assert_eq!(trace.len(), 2);
+        assert!((x[0] - 1.0).abs() < 1e-12);
+    }
+
     #[test]
     fn adam_lbfgs_sequence_runs() {
         let mut obj = quadratic();
@@ -352,7 +380,7 @@ mod tests {
                 .expect("seq");
         assert!(n_iter >= 1);
         assert!(!t.is_empty());
-        assert!(status == "converged" || status == "max_iter_reached" || status == "line_search_failed");
+        assert!(status == "converged" || status == "max_iter_reached");
         assert!((x[0] - 1.0).abs() < 0.1);
     }
 
@@ -362,4 +390,4 @@ mod tests {
         let err = run_optimizer(&[0.0, 0.0], &mut obj, "sgd", 2, 0.01, 1e-6, 5).unwrap_err();
         assert!(err.contains("unsupported"));
     }
-}
+}

docs/adr/0013-continuous-execution-and-documentation-governance.md

@@ -65,6 +65,15 @@ A substantive contract change is documentation-complete only when every applicab
 
 Documentation does not replace implementation. Conversely, unresolved architecture ambiguity is a product defect and may be selected as the next executable work item when product branches are blocked.
 
+## Current review finding and remediation
+
+An active review found that the documentation matrix called the Proposed
+canonical PyO3/public-export registry the native-entrypoint source of truth
+while protected main still used separate initializers and package export
+paths. The matrix must state target architecture and protected-main behavior
+separately until ADR-0011 is implemented; the active PR applies that wording
+correction.
+
 ## Consequences
 
 ### Positive