liris: read back zeta implementation

docs/LIRIS-ZETA-IMPLEMENTATION-READBACK-2026-06-11.hbp

@@ -0,0 +1,7 @@
+LIRISZETAIMPLRBHDR|host=liris|date=2026-06-11|pulled_commit=9de08fa|topic=liris-readback-byte-match-and-counter-verify-zeta-engine-4-implementation|json=0
+LIRISZETAIMPLRBVERIFY|pyramid_at_pull=125of125_PASS|zeta_parity=BYTE_MATCH|forcing_sweep=9589_pairs_0_violations|binder_cross_import=READ_AND_TESTED|json=0
+LIRISZETAIMPLRBACCEPT|catch31_small_primes=HONORED|acer_self_catch32_external_lane_mode=REAL_AND_ACCEPTED|necessary_not_sufficient=CONFIRMED(nonconsecutive-5-13-can-be-FORCED_CONSISTENT-so-validator-never-proves-consecutiveness)|json=0
+LIRISZETAIMPLRBFINDING|F1=external-lane-mode-ignored-HBP-string-lanes-because-only-Number.isInteger-was-accepted;claimedLaneB-string-2-on-11-13-returned-FORCED_CONSISTENT-instead-of-FORCING_VIOLATION|verdict=REAL_PATCHED|json=0
+LIRISZETAIMPLRBPATCH|F1=claimedLane-helper-accepts-canonical-strings-0-1-2+numbers;malformed-supplied-lanes-become-FORCING_VIOLATION-not-absence|tests=string-corrupt+string-truthful+malformed-string-added|selftest=16of16|json=0
+LIRISZETAIMPLRBSTATE|zeta=IMPLEMENTED_AND_BYTE_MATCHED_WITH_ONE_EXTERNAL-LANE_STRING_PATCH|ready_for_acer_readback=1|next=acer-rerun-125plus-tests-and-close-Zeta-or-counter-catch|json=0
+LIRISZETAIMPLRBFTR|state=ENGINE4_ZETA_READBACK_PATCHED_READY_FOR_ACER_COUNTER_VERIFY|json=0

docs/LIRIS-ZETA-IMPLEMENTATION-READBACK-2026-06-11.hbp.sha256

@@ -0,0 +1 @@
+E55D79990E132F0BA80B4A46D455859972BC3911771C745164825E2128A65585  LIRIS-ZETA-IMPLEMENTATION-READBACK-2026-06-11.hbp

tests/supervisor-collision-router.system.test.mjs

@@ -69,6 +69,7 @@ const sealedFiles = [
   'docs/LIRIS-ZETA-MEDIANSKETCH-SPEC-VERDICT-2026-06-11.hbp',
   'docs/ZETA-QUANT-PARITY-BASELINE-2026-06-11.hbp',
   'docs/ACER-ZETA-IMPLEMENTATION-2026-06-11.hbp',
+  'docs/LIRIS-ZETA-IMPLEMENTATION-READBACK-2026-06-11.hbp',
   'docs/LIRIS-FROZEN-SLICE-PREIMAGE-READBACK-2026-06-11.hbp',
   'docs/LIRIS-QUANT-HUGE-MESSAGE-BENCH-READBACK-2026-06-11.hbp',
   'docs/LIRIS-FROZEN-SLICE-REBIND-READBACK-2026-06-11.hbp',

tests/supervisor-collision-router.system.test.mjs.sha256

@@ -1 +1 @@
-31EB85CA79B771001A848A8C11B5AA1F99C74E11AEECFE9753EB24AC70BEACC5  supervisor-collision-router.system.test.mjs
+6F9ED15A081CF6E7433436FDF7E49DA3B44DFBBC65E71A4CC8CF01F38D301D14  supervisor-collision-router.system.test.mjs

tests/zeta-quant.unit.test.mjs

@@ -48,6 +48,11 @@ test('validator is necessary-not-sufficient: catches corrupted external lanes on
   assert.equal(zetaTransition(11, 13).verdict, 'FORCED_CONSISTENT');
   // a corrupted recorded lane is caught
   assert.equal(zetaTransition(11, 13, { claimedLaneB: 2 }).verdict, 'FORCING_VIOLATION');
+  // HBP records parse as strings, so canonical string lanes must be checked too
+  assert.equal(zetaTransition(11, 13, { claimedLaneB: '2' }).verdict, 'FORCING_VIOLATION');
+  assert.equal(zetaTransition(11, 13, { claimedLaneA: '2', claimedLaneB: '1' }).verdict, 'FORCED_CONSISTENT');
+  // malformed supplied lanes are corruption, not absence
+  assert.equal(zetaTransition(11, 13, { claimedLaneB: 'lane2' }).verdict, 'FORCING_VIOLATION');
   // non-prime inputs are not-applicable, never violation
   assert.equal(zetaTransition(4, 6).verdict, 'NOT_APPLICABLE');
 });

tests/zeta-quant.unit.test.mjs.sha256

@@ -1 +1 @@
-4DEB644A5B22A6EF2C7800B0731923AFAA3D7B9DA1E2284924FAD3E44E26B96A  zeta-quant.unit.test.mjs
+1874FB204423FDD051BE9559A5DB46A161BB8070611A624A9E8C2C15F39A07A5  zeta-quant.unit.test.mjs

tools/behcs/zeta-quant.hbp

@@ -1,9 +1,9 @@
 ZETAQUANTHDR|host=acer|component=quant-engine-4-zeta|tool=tools/behcs/zeta-quant.mjs|purpose=number-theoretic-prime-lane-cylinder-address-quant|spec=ZETAQUANTSPEC-2026-06-11(liris-signed-27a921c)|json=0
 ZETAQUANTLAW|lane=index-mod-3(three-phase-cylinder-fold-permutation-invariant-21/12/33-digit-sum)|ppow=von-Mangoldt-class-via-shared-classifyBhIndex|prime_residence=mod-6-classes-1-and-5-for-primes-gt-3+small-prime-exception-2-and-3(liris-catch-31)|cylinder=ring-floor(index/6)+phase-index-mod-6|json=0
 ZETAQUANTFORCING|gap-mod-6-determines-lane-transition|0=same-lane|2=lane2-to-1(twins)|4=lane1-to-2(cousins)|scope=NECESSARY-NOT-SUFFICIENT-never-proves-consecutiveness|verdicts=FORCED_CONSISTENT/FORCING_VIOLATION/NOT_APPLICABLE|json=0
-ZETAQUANTEXTERNALLANE|acer-implementation-finding=FORCING_VIOLATION-is-UNREACHABLE-for-self-computed-lanes(forcing-law-is-a-theorem-for-real-primes-gt-3)|fix=zetaTransition-accepts-opts.claimedLaneA/claimedLaneB-external-recorded-lanes-so-the-validator-CATCHES-CORRUPTION(a-recorded-lane-contradicting-the-value-true-lane)|without-external-lanes=CONFIRMER-only|json=0
+ZETAQUANTEXTERNALLANE|acer-implementation-finding=FORCING_VIOLATION-is-UNREACHABLE-for-self-computed-lanes(forcing-law-is-a-theorem-for-real-primes-gt-3)|fix=zetaTransition-accepts-opts.claimedLaneA/claimedLaneB-external-recorded-lanes-so-the-validator-CATCHES-CORRUPTION(a-recorded-lane-contradicting-the-value-true-lane)|liris-readback-fix=canonical-HBP-string-lanes-0..2-honored+malformed-supplied-lanes-violate-not-ignored|without-external-lanes=CONFIRMER-only|json=0
 ZETAQUANTSWEEP|forcingSweep-sieves-primes-to-100000-checks-every-consecutive-prime-gt-3-pair|RESULT=primes-9592+primes_gt3-9590+pairs-9589+violations-0+gap_mod6(0=3852,2=2869,4=2868-sum-9589)|re-proves-the-sealed-theorem-on-every-pyramid-run-both-machines|json=0
 ZETAQUANTSAFETY|integer-only-no-floats-no-clock|classification=INFORMATIONAL-never-gating-v1|p3-collision-reserve=PROPOSAL-pending-canon-mint|no-engine-edit-in-Asolaria|domain=0..999999-matches-binder|json=0
-ZETAQUANTVERIFY|required=node-check+node-test+self-test(15/15)+parity-byte-compare+cross-import-lane-agreement-vs-binder|parity_baseline=docs/ZETA-QUANT-PARITY-BASELINE-2026-06-11.hbp|json=0
-ZETAQUANTSHA|gate_sha256=9188232D5BBA8AD6D1CFB51253A39D3A2654DD45C380374D06512C8C28C76FF5|test_sha256=4DEB644A5B22A6EF2C7800B0731923AFAA3D7B9DA1E2284924FAD3E44E26B96A|json=0
+ZETAQUANTVERIFY|required=node-check+node-test+self-test(16/16)+parity-byte-compare+cross-import-lane-agreement-vs-binder|parity_baseline=docs/ZETA-QUANT-PARITY-BASELINE-2026-06-11.hbp|json=0
+ZETAQUANTSHA|gate_sha256=55900D929DAD9902BB1DC73C6AAED4CFAB0D3D13234BA8BF8E28F6DD34449530|test_sha256=1874FB204423FDD051BE9559A5DB46A161BB8070611A624A9E8C2C15F39A07A5|json=0
 ZETAQUANTFTR|state=ENGINE_4_ZETA_SHIPPED_STANDALONE_MODULE_READY_FOR_LIRIS_BYTE_MATCH|json=0

tools/behcs/zeta-quant.hbp.sha256

@@ -1 +1 @@
-D809B27CDF98FBDC0F02DB43B41E923A2EEC3D025711D53FD8A524E2DC58D16B  zeta-quant.hbp
+48FC5664DF771137CA098B90700198A461DEB20975BDD0C0C3A8BAE550CCC7F7  zeta-quant.hbp

tools/behcs/zeta-quant.mjs

@@ -24,6 +24,15 @@ export const DOMAIN_MAX = 999999; // matches binder classifyBhIndex domain
 export const SWEEP_LIMIT = 100000;
 
 const FORCED = Object.freeze({ 0: 'same-lane', 2: 'lane2-to-1', 4: 'lane1-to-2' });
+const INVALID_LANE = Symbol('invalid-lane');
+
+function claimedLane(opts, key, fallback) {
+  if (!opts || typeof opts !== 'object' || !Object.prototype.hasOwnProperty.call(opts, key)) return fallback;
+  const value = opts[key];
+  if (Number.isInteger(value)) return value;
+  if (typeof value === 'string' && /^[0-2]$/.test(value)) return Number(value);
+  return INVALID_LANE;
+}
 
 function isPrime(n) {
   if (!Number.isInteger(n) || n < 2) return false;
@@ -78,9 +87,11 @@ export function zetaTransition(a, b, opts = {}) {
     || !(gapMod6 in FORCED)) {
     return { ...result, verdict: 'NOT_APPLICABLE' };
   }
-  // lanes under test: external claim if supplied, else the value-true lanes
-  const laneA = Number.isInteger(opts.claimedLaneA) ? opts.claimedLaneA : ca.lane;
-  const laneB = Number.isInteger(opts.claimedLaneB) ? opts.claimedLaneB : cb.lane;
+  // lanes under test: external claim if supplied, else the value-true lanes.
+  // HBP-parsed external rows carry lanes as strings, so canonical "0".."2"
+  // must be honored. A supplied malformed lane is corruption, not absence.
+  const laneA = claimedLane(opts, 'claimedLaneA', ca.lane);
+  const laneB = claimedLane(opts, 'claimedLaneB', cb.lane);
   const laneTruthful = laneA === ca.lane && laneB === cb.lane;
   const forcedOk = (gapMod6 === 0 && laneA === laneB)
     || (gapMod6 === 2 && laneA === 2 && laneB === 1)
@@ -156,6 +167,8 @@ export function selfTest() {
   // sits on lane 2 and the forcing check fires.
   add('corrupted-external-lane-caught', zetaTransition(11, 13, { claimedLaneB: 2 }).verdict === 'FORCING_VIOLATION');
   add('truthful-external-lane-consistent', zetaTransition(11, 13, { claimedLaneA: 2, claimedLaneB: 1 }).verdict === 'FORCED_CONSISTENT');
+  add('hbp-string-external-lanes-honored', zetaTransition(11, 13, { claimedLaneA: '2', claimedLaneB: '2' }).verdict === 'FORCING_VIOLATION'
+    && zetaTransition(11, 13, { claimedLaneA: '2', claimedLaneB: '1' }).verdict === 'FORCED_CONSISTENT');
   add('sweep-zero-violations', forcingSweep().violations === 0);
   add('sweep-pair-count-matches-sealed-9589', forcingSweep().pairs === 9589);
   add('out-of-domain-none', zetaClassify(1000000).lane === 'none');

tools/behcs/zeta-quant.mjs.sha256

@@ -1 +1 @@
-9188232D5BBA8AD6D1CFB51253A39D3A2654DD45C380374D06512C8C28C76FF5  zeta-quant.mjs
+55900D929DAD9902BB1DC73C6AAED4CFAB0D3D13234BA8BF8E28F6DD34449530  zeta-quant.mjs