# Verification log for the P2AB restricted/fidelity searches — generated 2026-10-07T18:27:34Z
# validator: p2ab_search_validate.py (independent re-implementation: per-voxel frozen P1 gate, crop critical sets, set-based BFS) — results = val/*.json
PASS  inclusion                                    {"A_HIST<=A_PATH": [0, 0], "B_PATH<=A_PATH": [0, 0], "B_HIST<=B_PATH": [0, 0], "B_HIST<=A_HIST": [0, 0], "F2<=F1": [15, 0], "F1<=F0": [27, 0], "F2<=F0": [15, 0]}
PASS  qind_A_HIST_0of1                             60 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_A_PATH_0of1                             120 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_B_HIST_0of1                             60 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_B_PATH_0of1                             120 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_F0_0of1                                 120 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_F1_0of1                                 120 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_F2_0of1                                 120 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  rootmoves_0of8                               1308 (system,row) root counts and 273 STUCK blocks agree
PASS  rootmoves_1of8                               888 (system,row) root counts and 225 STUCK blocks agree
PASS  rootmoves_2of8                               768 (system,row) root counts and 256 STUCK blocks agree
PASS  rootmoves_3of8                               1644 (system,row) root counts and 333 STUCK blocks agree
PASS  rootmoves_4of8                               816 (system,row) root counts and 233 STUCK blocks agree
PASS  rootmoves_5of8                               768 (system,row) root counts and 260 STUCK blocks agree
PASS  rootmoves_6of8                               1164 (system,row) root counts and 316 STUCK blocks agree
PASS  rootmoves_7of8                               804 (system,row) root counts and 222 STUCK blocks agree
PASS  structure_A_HIST                             680 targets, 2040 rows, 0 path rows
PASS  structure_A_PATH                             680 targets, 2040 rows, 0 path rows
PASS  structure_B_HIST                             680 targets, 2040 rows, 0 path rows
PASS  structure_B_PATH                             680 targets, 2040 rows, 0 path rows
PASS  structure_F0                                 680 targets, 699 rows, 1547 path rows
PASS  structure_F1                                 680 targets, 1390 rows, 98 path rows
PASS  structure_F2                                 680 targets, 1903 rows, 51 path rows
PASS  witness_F0_0of12                             57 witnesses replayed on the full volume
PASS  witness_F0_10of12                            56 witnesses replayed on the full volume
PASS  witness_F0_11of12                            56 witnesses replayed on the full volume
PASS  witness_F0_1of12                             57 witnesses replayed on the full volume
PASS  witness_F0_2of12                             57 witnesses replayed on the full volume
PASS  witness_F0_3of12                             56 witnesses replayed on the full volume
PASS  witness_F0_4of12                             56 witnesses replayed on the full volume
PASS  witness_F0_5of12                             56 witnesses replayed on the full volume
PASS  witness_F0_6of12                             56 witnesses replayed on the full volume
PASS  witness_F0_7of12                             56 witnesses replayed on the full volume
PASS  witness_F0_8of12                             56 witnesses replayed on the full volume
PASS  witness_F0_9of12                             56 witnesses replayed on the full volume
PASS  witness_F1_0of1                              27 witnesses replayed on the full volume
PASS  witness_F2_0of1                              15 witnesses replayed on the full volume
ALL PASS

# postcheck (p2ab_search_postcheck.py) — post/postcheck.json
PASS F0_vs_P2B_RunA 699 block-tier rows / 699 P2B rows, 1547 path rows (P2B 1547), 0 diffs
PASS nstates_A_HIST<=A_PATH 2015 comparable rows, 0 violations
PASS nstates_B_PATH<=A_PATH 2015 comparable rows, 0 violations
PASS nstates_B_HIST<=B_PATH 2040 comparable rows, 0 violations
PASS nstates_B_HIST<=A_HIST 2040 comparable rows, 0 violations
PASS nstates_F2<=F1 710 comparable rows (both complete), 0 violations
PASS F0_nrfr0_witness_implies_F1 3 F0 witnesses with NRFR=0, 0 not matched by F1 PURE_FOUND (or earlier CAP)
PASS layout_A_PATH_limit40 1-shard vs 3/4-shard vs production(16/32-shard) identical on 120 rows, 0 path rows
PASS layout_F2_limit40 1-shard vs 3/4-shard vs production(16/32-shard) identical on 104 rows, 3 path rows

# adhoc_checks.txt
F2 found rows: 15 | in F1 found (same tier): 13 | in F0 found (same tier): 3
lstar F1 <= F2 on common rows: True | lstar F0 <= F1: True
F1-found targets not F2-found: 13
F1 found rows: F0 lstar vs F1 lstar: Counter({('2', '4'): 12, ('F0:no-row', '3'): 7, ('F0:no-row', '5'): 3, ('2', '2'): 3, ('F0:no-row', '4'): 2})
F1/F2 found net_rem / net_add / net_added_voxel_reverted / net_removed_voxel_restored:
  F1 Counter({('1', '1', '1', '0'): 16, ('1', '2', '1', '0'): 9, ('1', '3', '1', '0'): 1, ('1', '4', '1', '0'): 1})
  F2 Counter({('1', '2', '1', '0'): 8, ('1', '1', '1', '0'): 4, ('1', '3', '1', '0'): 1, ('1', '4', '1', '0'): 1, ('2', '4', '2', '0'): 1})
A_PATH root moves per target (tier A) histogram: [('1', 39), ('2', 4), ('4', 1)]

# environment: 3.13.15 numpy 2.5.3; production shards run with PYTHONHASHSEED=0 on a 2-core VM

# supplementary full-coverage independent BFS (amended validator, val_full/)
PASS  qind_A_PATH_0of1                             204 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_B_PATH_0of1                             241 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_F1_0of2                                 45 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_F1_1of2                                 45 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_F2_0of4                                 301 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_F2_1of4                                 301 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_F2_2of4                                 301 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
PASS  qind_F2_3of4                                 301 sampled rows (seed 20261008) identical in status/n_states/levels/stats/path
ALL PASS
