Kevin Crutt commited on
Commit ·
28db7fd
1
Parent(s): a163ddd
liris: tighten Acer catch33 boundary regression labels
Browse files- docs/LIRIS-BHX-EXPANSION-CATCH34-TEST-COVERAGE-PATCH-2026-06-11.hbp +6 -0
- docs/LIRIS-BHX-EXPANSION-CATCH34-TEST-COVERAGE-PATCH-2026-06-11.hbp.sha256 +1 -0
- tests/brown-hilbert-expansion-stress.unit.test.mjs +2 -2
- tests/brown-hilbert-expansion-stress.unit.test.mjs.sha256 +1 -1
- tests/supervisor-collision-router.system.test.mjs +1 -0
- tests/supervisor-collision-router.system.test.mjs.sha256 +1 -1
docs/LIRIS-BHX-EXPANSION-CATCH34-TEST-COVERAGE-PATCH-2026-06-11.hbp
ADDED
|
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
LIRISBHXC34HDR|host=liris|date=2026-06-11|topic=Brown-Hilbert-expansion-catch33-boundary-test-coverage-tightening|responds_to=acer-a163ddd-boundary-hardening|json=0
|
| 2 |
+
LIRISBHXC34ACCEPT|acer_function_readback=SOUND|isDecimalPowerString_patch_still_correct=1|acer_boundary_intent=ACCEPTED-test-coverage-should-enforce-not-narrate|json=0
|
| 3 |
+
LIRISBHXC34CATCH|finding=acer-added-boundary-test-had-two-test-label-mismatches|F1=last-pos-9-case-used-exponent-201-for-a-201-char-string-so-it-failed-by-short-length-before-testing-final-byte|F2=right-last-char-wrong-length-case-ended-with-9-so-it-tested-wrong-last-char-plus-wrong-length-not-the-named-case|json=0
|
| 4 |
+
LIRISBHXC34PATCH|file=tests/brown-hilbert-expansion-stress.unit.test.mjs|fix1=last-pos-9-now-uses-exponent-200-so-length-is-correct-and-final-byte-is-the-only-fault|fix2=wrong-length-case-now-uses-all-zero-tail-with-too-long-length-so-last-byte-is-correct|json=0
|
| 5 |
+
LIRISBHXC34SCOPE|no_function_change=1|no_10min_rerun_needed=1|prior_claim_boundary_unchanged=address-coordinate-invariants-tested-NOT-enumeration|json=0
|
| 6 |
+
LIRISBHXC34FTR|state=TEST_COVERAGE_LABELS_NOW_MATCH_PROBES|json=0
|
docs/LIRIS-BHX-EXPANSION-CATCH34-TEST-COVERAGE-PATCH-2026-06-11.hbp.sha256
ADDED
|
@@ -0,0 +1 @@
|
|
|
|
|
|
|
| 1 |
+
1313B11C003AD1E315BDB4B639B8CD85C764B276D265959D0CB638DC1683DA5F LIRIS-BHX-EXPANSION-CATCH34-TEST-COVERAGE-PATCH-2026-06-11.hbp
|
tests/brown-hilbert-expansion-stress.unit.test.mjs
CHANGED
|
@@ -35,9 +35,9 @@ test('decimal power proof rejects nonzero tail digits, not just second ones', ()
|
|
| 35 |
// mid-tail case above would not catch) and a wrong LEADING digit (guards the
|
| 36 |
// s[0]==='1' check, which no other case here exercises).
|
| 37 |
test('decimal power proof guards the tail-last-position and leading-digit boundaries', () => {
|
| 38 |
-
assert.equal(isDecimalPowerString(`1${'0'.repeat(199)}9`,
|
| 39 |
assert.equal(isDecimalPowerString(`1${'0'.repeat(200)}1`, 201), false); // stray 1 at the final index
|
| 40 |
assert.equal(isDecimalPowerString(`2${'0'.repeat(200)}`, 200), false); // wrong leading digit
|
| 41 |
assert.equal(isDecimalPowerString(`0${'0'.repeat(200)}`, 200), false); // leading zero
|
| 42 |
-
assert.equal(isDecimalPowerString(`1${'0'.repeat(201)}
|
| 43 |
});
|
|
|
|
| 35 |
// mid-tail case above would not catch) and a wrong LEADING digit (guards the
|
| 36 |
// s[0]==='1' check, which no other case here exercises).
|
| 37 |
test('decimal power proof guards the tail-last-position and leading-digit boundaries', () => {
|
| 38 |
+
assert.equal(isDecimalPowerString(`1${'0'.repeat(199)}9`, 200), false); // stray 9 at the final index
|
| 39 |
assert.equal(isDecimalPowerString(`1${'0'.repeat(200)}1`, 201), false); // stray 1 at the final index
|
| 40 |
assert.equal(isDecimalPowerString(`2${'0'.repeat(200)}`, 200), false); // wrong leading digit
|
| 41 |
assert.equal(isDecimalPowerString(`0${'0'.repeat(200)}`, 200), false); // leading zero
|
| 42 |
+
assert.equal(isDecimalPowerString(`1${'0'.repeat(201)}`, 200), false); // correct last char but wrong length
|
| 43 |
});
|
tests/brown-hilbert-expansion-stress.unit.test.mjs.sha256
CHANGED
|
@@ -1 +1 @@
|
|
| 1 |
-
|
|
|
|
| 1 |
+
5CF8A4214E705CAA7E2FC09477A6B068E1F0B1015855E91600505FE780A1B89C brown-hilbert-expansion-stress.unit.test.mjs
|
tests/supervisor-collision-router.system.test.mjs
CHANGED
|
@@ -78,6 +78,7 @@ const sealedFiles = [
|
|
| 78 |
'docs/BROWN-HILBERT-EXPANSION-STRESS-2026-06-11.hbp',
|
| 79 |
'docs/LIRIS-BHX-EXPANSION-CATCH33-PATCH-2026-06-11.hbp',
|
| 80 |
'docs/ACER-BHX-EXPANSION-CATCH33-VERIFIED-2026-06-11.hbp',
|
|
|
|
| 81 |
'docs/LIRIS-FROZEN-SLICE-PREIMAGE-READBACK-2026-06-11.hbp',
|
| 82 |
'docs/LIRIS-QUANT-HUGE-MESSAGE-BENCH-READBACK-2026-06-11.hbp',
|
| 83 |
'docs/LIRIS-FROZEN-SLICE-REBIND-READBACK-2026-06-11.hbp',
|
|
|
|
| 78 |
'docs/BROWN-HILBERT-EXPANSION-STRESS-2026-06-11.hbp',
|
| 79 |
'docs/LIRIS-BHX-EXPANSION-CATCH33-PATCH-2026-06-11.hbp',
|
| 80 |
'docs/ACER-BHX-EXPANSION-CATCH33-VERIFIED-2026-06-11.hbp',
|
| 81 |
+
'docs/LIRIS-BHX-EXPANSION-CATCH34-TEST-COVERAGE-PATCH-2026-06-11.hbp',
|
| 82 |
'docs/LIRIS-FROZEN-SLICE-PREIMAGE-READBACK-2026-06-11.hbp',
|
| 83 |
'docs/LIRIS-QUANT-HUGE-MESSAGE-BENCH-READBACK-2026-06-11.hbp',
|
| 84 |
'docs/LIRIS-FROZEN-SLICE-REBIND-READBACK-2026-06-11.hbp',
|
tests/supervisor-collision-router.system.test.mjs.sha256
CHANGED
|
@@ -1 +1 @@
|
|
| 1 |
-
|
|
|
|
| 1 |
+
72C0F0CC15EBB3D18EC31F685D6C2342E072D47FC951AE92BECE535B09D1D82A supervisor-collision-router.system.test.mjs
|