Rulings

the reference answers differently on two identical runs, so there is nothing stable to assert

ruled 2026-08-15 against rakudo-2026.07

• ((1,2)) ∖ (1/2) — operators/infix-u2216#0115
• ((1,2)) ∖ (0e0) — operators/infix-u2216#0116
• ((1,2)) ∖ (NaN) — operators/infix-u2216#0117
• ((1,2)) ∖ ("") — operators/infix-u2216#0118
• ((1,2)) ∖ (True) — operators/infix-u2216#0120
• ((1,2)) ∖ ({a=>1}) — operators/infix-u2216#0132
• ((1,2)) ∖ (False) — operators/infix-u2216#0236
• ((1,2)) ∖ (()) — operators/infix-u2216#0300
• ((1..3)) ∖ (0) — operators/infix-u2216#0382
• ((1..3)) ∖ (-1) — operators/infix-u2216#0384
• ((1..3)) ∖ (1/2) — operators/infix-u2216#0385
• ((1..3)) ∖ (0e0) — operators/infix-u2216#0386
• … and 2,591 more

the reference produced no usable answer for this cell

ruled 2026-08-15 against rakudo-2026.07

• (0) ∩ (any(1,2)) — operators/infix-u2229#0677
• (1) ∩ (any(1,2)) — operators/infix-u2229#0678
• (-1) ∩ (any(1,2)) — operators/infix-u2229#0679
• (1/2) ∩ (any(1,2)) — operators/infix-u2229#0680
• (0e0) ∩ (any(1,2)) — operators/infix-u2229#0681
• (NaN) ∩ (any(1,2)) — operators/infix-u2229#0682
• ("") ∩ (any(1,2)) — operators/infix-u2229#0683
• ("a") ∩ (any(1,2)) — operators/infix-u2229#0684
• (True) ∩ (any(1,2)) — operators/infix-u2229#0685
• (Any) ∩ (any(1,2)) — operators/infix-u2229#0686
• ((1,2)) ∩ (any(1,2)) — operators/infix-u2229#0687
• ({a=>1}) ∩ (any(1,2)) — operators/infix-u2229#0688
• … and 364 more

the value describes where it was evaluated (an EVAL frame name, a path, an object address) rather than what it is, so it is stable under the probe and still not an expectation

ruled 2026-08-16 against rakudo-2026.07

• (True).path — methods/Bool#0703
• (False).path — methods/Bool#0704
• (so(1)).path — methods/Bool#0705
• (not(1)).path — methods/Bool#0706
• ((1 == 1)).path — methods/Bool#0707
• ((1 == 2)).path — methods/Bool#0708
• (2**64).EVAL — methods/Int#0104
• (2**63-1).EVAL — methods/Int#0110
• (2**64).Int — methods/Int#0144
• (2**63-1).Int — methods/Int#0150
• (2**64).VAR — methods/Int#0204
• (2**63-1).VAR — methods/Int#0210
• … and 217 more

this crossing produces a Set, whose rendering order is not specified — the standing ruling of this suite is that unspecified order is never asserted, in either spelling

ruled 2026-08-19 against rakudo-2026.07

• 1 ∖ 2 — spelling/infix-u2216#0001
• 1∖2 — spelling/infix-u2216#0002
• 1 ∖ -1 — spelling/infix-u2216#0003
• 1∖-1 — spelling/infix-u2216#0004
• "a" ∖ "b" — spelling/infix-u2216#0005
• "a"∖"b" — spelling/infix-u2216#0006
• (1,2) ∖ (3,) — spelling/infix-u2216#0007
• (1,2)∖(3,) — spelling/infix-u2216#0008
• 1 ∩ 2 — spelling/infix-u2229#0001
• 1∩2 — spelling/infix-u2229#0002
• 1 ∩ -1 — spelling/infix-u2229#0003
• 1∩-1 — spelling/infix-u2229#0004
• … and 20 more

the reference implementation does not satisfy the program's own contract here (exit 0 with a last line of PASS) — it needs modules that are not installed, or exercises something only one engine implements; there is no reference observation to rule against

ruled 2026-08-14 against rakudo-2026.07

• # BROKE (during the arity-enforcement leg, caught by gates ar1/ar2): # enforcing "Calling foo(...) will never… — regression/arity-lax-callers#0001
• # Regression: an attribute type smiley (`has Int:D $.a` / `has Int:U $.a`) is # enforced on the slot's FINAL … — regression/attr-smiley-typecheck#0001
• #?requires CBOR::Simple # Regression: CBOR::Simple works end-to-end (byte-identical to Rakudo), plus the # un… — regression/cbor-and-nqp-buffer-ops#0001
• # From drilling JSON::Class in the v2 battery — six independent fixes, each a # construct real modules use at… — regression/class-traits-and-module-gates#0001
• # Regression: # 1. Statement modifiers inside a sigil contextualizer — `@(EXPR for LIST)`, # `@(EXPR i… — regression/contextualizer-modifiers-and-dir#0001
• #?requires Cro::HTTP::Router # Regression: the LIVE Cro hello-world server (batch 10) — a real # Cro::HTTP::S… — regression/cro-live-server#0001
• # Regression: NativeCall under --exe. Codegen had NO `is native` support — the # stub body `{ * }` compiled s… — regression/exe-nativecall#0001
• # Regression: --highlight treated #`( ... ) as a line comment, so the # continuation lines of a multi-line em… — regression/highlight-multiline-comment#0001
• # From drilling JSON::Class through its load chain — the module now LOADS in # full. Eight fixes; the ones ob… — regression/invocant-smiley-and-role-multis#0001
• # From the Cognates port (docs/rakupp-findings findings 2 and 3): `.elems`/`.end`/ # `.Bool`/`AT-POS` and eve… — regression/list-methods-no-copy#0001
• # MAIN command-line conventions — the full oracle matrix (Rakudo 2026.07), # reported as "rakupp demands =, R… — regression/main-args-conventions#0001
• # Regression: Meta-Object Protocol (.^ introspection) coverage. # - Attribute meta-objects: get_value / set… — regression/mop-metamodel#0001
• … and 16 more

the reference produced no usable answer for this cell (it crashed or did not terminate), so there is nothing to assert

ruled 2026-08-14 against rakudo-2026.07

• (0) ~~ (Nil) — operators/infix-smartmatch#0011
• (0) ~~ (Any) — operators/infix-smartmatch#0012
• (1) ~~ (Nil) — operators/infix-smartmatch#0026
• (1) ~~ (Any) — operators/infix-smartmatch#0027
• (0e0) ~~ (Nil) — operators/infix-smartmatch#0056
• (0e0) ~~ (Any) — operators/infix-smartmatch#0057
• (NaN) ~~ (Nil) — operators/infix-smartmatch#0071
• (NaN) ~~ (Any) — operators/infix-smartmatch#0072
• ("") ~~ (Nil) — operators/infix-smartmatch#0086
• ("") ~~ (Any) — operators/infix-smartmatch#0087
• ("0") ~~ (Nil) — operators/infix-smartmatch#0101
• ("0") ~~ (Any) — operators/infix-smartmatch#0102
• … and 10 more

the reference itself breaks this law at this cell (Bool::False vs Bool::True) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (0) <= (NaN) — laws/le-is-not-gt#0011
• (1) <= (NaN) — laws/le-is-not-gt#0022
• (-1) <= (NaN) — laws/le-is-not-gt#0033
• (2**64) <= (NaN) — laws/le-is-not-gt#0044
• (1/3) <= (NaN) — laws/le-is-not-gt#0055
• (0e0) <= (NaN) — laws/le-is-not-gt#0066
• (-0e0) <= (NaN) — laws/le-is-not-gt#0077
• (1e0) <= (NaN) — laws/le-is-not-gt#0088
• (Inf) <= (NaN) — laws/le-is-not-gt#0099
• (-Inf) <= (NaN) — laws/le-is-not-gt#0110
• (NaN) <= (0) — laws/le-is-not-gt#0111
• (NaN) <= (1) — laws/le-is-not-gt#0112
• … and 9 more

this crossing produces a Bag, whose rendering order is not specified — the standing ruling of this suite is that unspecified order is never asserted, in either spelling

ruled 2026-08-19 against rakudo-2026.07

• 1 ⊍ 2 — spelling/infix-u228d#0001
• 1⊍2 — spelling/infix-u228d#0002
• 1 ⊍ -1 — spelling/infix-u228d#0003
• 1⊍-1 — spelling/infix-u228d#0004
• "a" ⊍ "b" — spelling/infix-u228d#0005
• "a"⊍"b" — spelling/infix-u228d#0006
• (1,2) ⊍ (3,) — spelling/infix-u228d#0007
• (1,2)⊍(3,) — spelling/infix-u228d#0008
• 1 ⊎ 2 — spelling/infix-u228e#0001
• 1⊎2 — spelling/infix-u228e#0002
• 1 ⊎ -1 — spelling/infix-u228e#0003
• 1⊎-1 — spelling/infix-u228e#0004
• … and 4 more

the correctly-rounded double for acosech of this argument is 0.881373587019543; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (True).acosech — methods/Bool#0163
• (1).acosech — methods/Int#0272
• (1e0).acosech — methods/Num#0273
• (1).acosech — methods/Cool#0361
• (1e0).acosech — methods/Cool#0366
• (True).acosech — methods/Cool#0369
• (Duration.new(1)).acosech — methods/Duration#0105
• (<1e0>).acosech — methods/NumStr#0031
• (Order::More).acosech — methods/Order#0084
• (1/1).acosech — methods/Rat#0220
• (1).acosech — methods/Real#0169
• (1e0).acosech — methods/Real#0170
• … and 1 more

the correctly-rounded double for asinh of this argument is 0.881373587019543; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (True).asinh — methods/Bool#0217
• (1).asinh — methods/Int#0362
• (1e0).asinh — methods/Num#0363
• (1).asinh — methods/Cool#0496
• (1e0).asinh — methods/Cool#0501
• (True).asinh — methods/Cool#0504
• (Duration.new(1)).asinh — methods/Duration#0141
• (<1e0>).asinh — methods/NumStr#0040
• (Order::More).asinh — methods/Order#0111
• (1/1).asinh — methods/Rat#0292
• (1).asinh — methods/Real#0267
• (1e0).asinh — methods/Real#0268
• … and 1 more

the reference compiles this under -c and then refuses it when the program is actually built (X::TypeCheck::Argument+{X::Comp}); a value assertion has no lane to run in, so only the structural fact is asserted

ruled 2026-08-19 against rakudo-2026.07

• 1 o 2 — spelling/infix-o#0001
• 1 o -1 — spelling/infix-o#0003
• "a" o "b" — spelling/infix-o#0005
• "a"o"b" — spelling/infix-o#0006
• 1 ∘ 2 — spelling/infix-u2218#0001
• 1∘2 — spelling/infix-u2218#0002
• 1 ∘ -1 — spelling/infix-u2218#0003
• 1∘-1 — spelling/infix-u2218#0004
• "a" ∘ "b" — spelling/infix-u2218#0005
• "a"∘"b" — spelling/infix-u2218#0006

the correctly-rounded double for acosech of this argument is -0.881373587019543; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (-1).acosech — methods/Int#0273
• (-1e0).acosech — methods/Num#0274
• (-1).acosech — methods/Cool#0367
• (-1e0).acosech — methods/Cool#0374
• (<-1>).acosech — methods/IntStr#0062
• (Order::Less).acosech — methods/Order#0082
• (-1).acosech — methods/Real#0173

the correctly-rounded double for asinh of this argument is -0.881373587019543; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (-1).asinh — methods/Int#0363
• (-1e0).asinh — methods/Num#0364
• (-1).asinh — methods/Cool#0502
• (-1e0).asinh — methods/Cool#0509
• (<-1>).asinh — methods/IntStr#0080
• (Order::Less).asinh — methods/Order#0109
• (-1).asinh — methods/Real#0271

the reference itself breaks this law at this cell (0e0 vs -0e0) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (0e0) max (-0e0) — laws/max-commutes#0062
• (0e0) min (-0e0) — laws/min-commutes#0062
• ((-0e0), (-0e0)).sum — laws/sum-is-reduce#0073
• ((0) * (-1)) * (0e0) — laws/times-associates#0027
• ((-1) * (0)) * (0e0) — laws/times-associates#0153

the reference itself breaks this law at this cell (-0e0 vs 0e0) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (-0e0) max (0e0) — laws/max-commutes#0072
• (-0e0) min (0e0) — laws/min-commutes#0072
• -(0e0) — laws/negate-is-subtract#0006
• ((0e0) * (0)) * (-1) — laws/times-associates#0249
• ((0e0) * (-1)) * (0) — laws/times-associates#0267

the reference gives a different answer on two identical runs, so there is nothing stable to assert — typically an address inside .WHICH or an unordered container

ruled 2026-08-14 against rakudo-2026.07

• (Nil).WHICH.Str — methods/WHICH#0011
• (Any).WHICH.Str — methods/WHICH#0012
• (()).WHICH.Str — methods/WHICH#0013
• ((1,)).WHICH.Str — methods/WHICH#0014
• ({}).WHICH.Str — methods/WHICH#0015

the reference itself breaks this law at this cell (0e0 vs 0) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (0) max (0e0) — laws/max-commutes#0006
• (0) max (0e0) — laws/max-is-list-max#0006
• (0) min (0e0) — laws/min-commutes#0006
• (0) min (0e0) — laws/min-is-list-min#0006

the reference itself breaks this law at this cell (-0e0 vs 0) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (0) max (-0e0) — laws/max-commutes#0007
• (0) max (-0e0) — laws/max-is-list-max#0007
• (0) min (-0e0) — laws/min-commutes#0007
• (0) min (-0e0) — laws/min-is-list-min#0007

the reference itself breaks this law at this cell (1e0 vs 1) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (1) max (1e0) — laws/max-commutes#0019
• (1) max (1e0) — laws/max-is-list-max#0019
• (1) min (1e0) — laws/min-commutes#0019
• (1) min (1e0) — laws/min-is-list-min#0019

the reference itself breaks this law at this cell (0 vs 0e0) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (0e0) max (0) — laws/max-commutes#0056
• (0e0) max (0) — laws/max-is-list-max#0056
• (0e0) min (0) — laws/min-commutes#0056
• (0e0) min (0) — laws/min-is-list-min#0056

the reference itself breaks this law at this cell (0 vs -0e0) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (-0e0) max (0) — laws/max-commutes#0067
• (-0e0) max (0) — laws/max-is-list-max#0067
• (-0e0) min (0) — laws/min-commutes#0067
• (-0e0) min (0) — laws/min-is-list-min#0067

the reference itself breaks this law at this cell (1 vs 1e0) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (1e0) max (1) — laws/max-commutes#0079
• (1e0) max (1) — laws/max-is-list-max#0079
• (1e0) min (1) — laws/min-commutes#0079
• (1e0) min (1) — laws/min-is-list-min#0079

the correctly-rounded double for acosech of this argument is 0.023807274806122432; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (42).acosech — methods/Int#0276
• (42).acosech — methods/Cool#0373
• (<42>).acosech — methods/IntStr#0061
• (42).acosech — methods/Real#0180

the correctly-rounded double for acotanh of this argument is 0.02381402449462731; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (42).acotanh — methods/Int#0306
• (42).acotanh — methods/Cool#0418
• (<42>).acotanh — methods/IntStr#0067
• (42).acotanh — methods/Real#0222

the correctly-rounded double for log10 of this argument is 1.6232492903979006; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (42).log10 — methods/Int#1046
• (42).log10 — methods/Cool#1498
• (<42>).log10 — methods/IntStr#0219
• (42).log10 — methods/Numeric#0027

the correctly-rounded double for log10 of this argument is 0.3010299956639812; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• ([[1],[2]]).log10 — methods/Array#0844
• ((1,(2,3))).log10 — methods/List#0908
• (("a","b")).log10 — methods/List#0909
• (slip(1,2)).log10 — methods/Slip#0227

the reference itself breaks this law at this cell (0e0 vs NaN) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (0e0) max (NaN) — laws/max-commutes#0066
• (0e0) max (NaN) — laws/max-is-list-max#0066
• (0e0) min (NaN) — laws/min-commutes#0066

the reference itself breaks this law at this cell (-0e0 vs NaN) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (-0e0) max (NaN) — laws/max-commutes#0077
• (-0e0) max (NaN) — laws/max-is-list-max#0077
• (-0e0) min (NaN) — laws/min-commutes#0077

the reference itself breaks this law at this cell (1e0 vs NaN) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (1e0) max (NaN) — laws/max-commutes#0088
• (1e0) max (NaN) — laws/max-is-list-max#0088
• (1e0) min (NaN) — laws/min-commutes#0088

the reference itself breaks this law at this cell (Inf vs NaN) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (Inf) max (NaN) — laws/max-commutes#0099
• (Inf) max (NaN) — laws/max-is-list-max#0099
• (Inf) min (NaN) — laws/min-commutes#0099

the reference itself breaks this law at this cell (-Inf vs NaN) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (-Inf) max (NaN) — laws/max-commutes#0110
• (-Inf) max (NaN) — laws/max-is-list-max#0110
• (-Inf) min (NaN) — laws/min-commutes#0110

the reference itself breaks this law at this cell (NaN vs 0e0) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (NaN) max (0e0) — laws/max-commutes#0116
• (NaN) min (0e0) — laws/min-commutes#0116
• (NaN) min (0e0) — laws/min-is-list-min#0116

the reference itself breaks this law at this cell (NaN vs -0e0) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (NaN) max (-0e0) — laws/max-commutes#0117
• (NaN) min (-0e0) — laws/min-commutes#0117
• (NaN) min (-0e0) — laws/min-is-list-min#0117

the reference itself breaks this law at this cell (NaN vs 1e0) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (NaN) max (1e0) — laws/max-commutes#0118
• (NaN) min (1e0) — laws/min-commutes#0118
• (NaN) min (1e0) — laws/min-is-list-min#0118

the reference itself breaks this law at this cell (NaN vs Inf) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (NaN) max (Inf) — laws/max-commutes#0119
• (NaN) min (Inf) — laws/min-commutes#0119
• (NaN) min (Inf) — laws/min-is-list-min#0119

the reference itself breaks this law at this cell (NaN vs -Inf) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (NaN) max (-Inf) — laws/max-commutes#0120
• (NaN) min (-Inf) — laws/min-commutes#0120
• (NaN) min (-Inf) — laws/min-is-list-min#0120

the correctly-rounded double for log10 of this argument is 19.265919722494797; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (2**64).log10 — methods/Int#1044
• (2**64).log10 — methods/Cool#1495
• (2**64).log10 — methods/Numeric#0024

the correctly-rounded double for log2 of this argument is 1.584962500721156; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• ([1,2,3]).log2 — methods/Array#0850
• ((1,2,3)).log2 — methods/List#0915
• ((1..3).Seq).log2 — methods/Seq#0556

the correctly-rounded double for log10 of this argument is -0.3010299956639812; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (1/2).log10 — methods/Cool#1488
• (1/2).log10 — methods/Numeric#0017
• (1/2).log10 — methods/Rat#0878

the reference itself breaks this law at this cell ($((1, 2, 3).Seq) vs $(1, 2, 3)) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• ((1,2,3)).reverse.reverse — laws/reverse-is-involution#0003
• ((1..3)).reverse.reverse — laws/reverse-is-involution#0005

the correctly-rounded double for atanh of this argument is 0.34657359027997264; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (1/3).atanh — methods/Rat#0345
• (1/3).atanh — methods/Real#0307

an encoding name that is not a string must fail, and no argument makes non-termination correct; the reference spins forever instead of rejecting it, which is what turned one bad cell into an 87-minute stall while generating the method matrix

ruled 2026-08-15 against rakudo-2026.07

• "".encode(0) — hangs/str-encode-invalid-argument#0001

asinh(1) = ln(1+sqrt 2); the correctly-rounded double is 0.881373587019543, and the reference is one ULP below it

ruled 2026-08-16 against rakudo-2026.07

• (1).asinh — numeric/transcendental-correctly-rounded#0001

the correctly-rounded double for log10(0.5) is -0.3010299956639812; the reference is one ULP out

ruled 2026-08-16 against rakudo-2026.07

• (1/2).log10 — numeric/transcendental-correctly-rounded#0002

the correctly-rounded double for atanh(1/3) is 0.34657359027997264; the reference is one ULP out

ruled 2026-08-16 against rakudo-2026.07

• (1/3).atanh — numeric/transcendental-correctly-rounded#0003

the correctly-rounded double for atanh(1/10) is 0.10033534773107558; the reference is three ULP out, the largest gap seen

ruled 2026-08-16 against rakudo-2026.07

• (10).acotanh — numeric/transcendental-correctly-rounded#0004

the reference itself breaks this law at this cell ($(().Seq) vs $( )) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (()).reverse.reverse — laws/reverse-is-involution#0001

the reference itself breaks this law at this cell ($((1,).Seq) vs $(1,)) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• ((1,)).reverse.reverse — laws/reverse-is-involution#0002

the reference itself breaks this law at this cell ($((1, 2, 3).Seq) vs $[1, 2, 3]) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• ([1,2,3]).reverse.reverse — laws/reverse-is-involution#0004

the reference itself breaks this law at this cell ($((3, 1, 2).Seq) vs $(3, 1, 2)) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• ((3,1,2)).reverse.reverse — laws/reverse-is-involution#0006

the reference itself breaks this law at this cell ($(("a", "b").Seq) vs $("a", "b")) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted

ruled 2026-08-14 against rakudo-2026.07

• (<a b>).reverse.reverse — laws/reverse-is-involution#0007

the correctly-rounded double for acotanh of this argument is 0.10033534773107558; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (Instant.from-posix(0)).acotanh — methods/Instant#0032

the correctly-rounded double for atanh of this argument is -0.34657359027997264; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (-1/3).atanh — methods/Rat#0347

the correctly-rounded double for acosech of this argument is 0.6251451172504167; the reference is out by one or more units in the last place

ruled 2026-08-16 against rakudo-2026.07

• (<1.5>).acosech — methods/RatStr#0061

the reference produced no usable answer for this crossing (it crashed or did not terminate)

ruled 2026-08-14 against rakudo-2026.07

• do { gather { next; take "after" }.list.raku } — molecules/exit-nesting#0054