Zj{9dZddlmZddlZddlZddlZddlZddlm Z ej dZ ddZ dd Z dd Zdd Zdd Zdd ZddZddZddZddZdZdZdZdS)z Adversarial Stress Harness for Milestone 1: Game Design Matrix & Core Contracts. Author: Empirical Challenger 1 Role: critic, specialist ) annotationsN)GameDesignMatrixServicec#Ktd}|d|V|dS)zCProvides an in-memory matrix service populated with canonical data.:memory:db_pathTforceN)rseed_canonical_dataclose)services BC:\Projects\FreeExile\tests\unit\test_challenger_m1_adversarial.pymatrix_servicersI&j999G d+++ MMM MMOOOOOrrcJ|5}|}tjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYddddS#1swxYwYdS)zJVerifies party_size outside [1, 6] is rejected by SQLite CHECK constraint.zJINSERT INTO party_scaling_matrix VALUES (0, 1.0, 0, 0, 0, 0, 15.0, 'zero')NzSINSERT INTO party_scaling_matrix VALUES (7, 4.0, 180, 300, 300, 180, 15.0, 'seven')zJINSERT INTO party_scaling_matrix VALUES (-1, 1.0, 0, 0, 0, 0, 15.0, 'neg')_get_connectioncursorpytestraisessqlite3IntegrityErrorexecuterconncurs r*test_party_scaling_size_boundary_rejectionrs=  ' ' ) ) fTkkmm ]71 2 2 f f KKd e e e f f f f f f f f f f f f f f f]71 2 2 o o KKm n n n o o o o o o o o o o o o o o o]71 2 2 f f KKd e e e f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f}3DA* D*A. .D1A. 2!DB5) D5B9 9D<B9 =!DD4 DD DD DDDc8|5}|}tjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYtjtj5|d dddn #1swxYwYddddS#1swxYwYdS) zTVerifies hp_multiplier < 1.0 and negative bonuses are rejected by CHECK constraints.zHUPDATE party_scaling_matrix SET hp_multiplier = 0.5 WHERE party_size = 1NzIUPDATE party_scaling_matrix SET hp_multiplier = -1.0 WHERE party_size = 1zJUPDATE party_scaling_matrix SET exp_bonus_pct = -10.0 WHERE party_size = 2zSUPDATE party_scaling_matrix SET item_quantity_bonus_pct = -5.0 WHERE party_size = 2zWUPDATE party_scaling_matrix SET currency_quantity_bonus_pct = -5.0 WHERE party_size = 2zLUPDATE party_scaling_matrix SET rarity_bonus_pct = -5.0 WHERE party_size = 2zHUPDATE party_scaling_matrix SET nearby_radius = 0.0 WHERE party_size = 1zJUPDATE party_scaling_matrix SET nearby_radius = -15.0 WHERE party_size = 1rrs r1test_party_scaling_negative_multipliers_rejectionr ,s  ' ' ) )fTkkmm ]71 2 2 d d KKb c c c d d d d d d d d d d d d d d d]71 2 2 e e KKc d d d e e e e e e e e e e e e e e e]71 2 2 f f KKd e e e f f f f f f f f f f f f f f f]71 2 2 o o KKm n n n o o o o o o o o o o o o o o o]71 2 2 s s KKq r r r s s s s s s s s s s s s s s s]71 2 2 h h KKf g g g h h h h h h h h h h h h h h h]71 2 2 d d KKb c c c d d d d d d d d d d d d d d d ]71 2 2 f f KKd e e e f f f f f f f f f f f f f f f/ffffffffffffffffffs13JA* J*A. .J1A. 2!JB5) J5B9 9J<B9 =!JD4 JD JD !J)E ? J E JE !J4F JF JF !J?G! J!G% %J(G% )!J H, J,H0 0J3H0 4!JI7+ J7I; ;J>I; ?JJJc|5}|}tjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYddddS#1swxYwYdS)z5Verifies invalid loot allocation values are rejected.zMINSERT INTO loot_allocation_modes VALUES ('NEG_TIME', 'Neg', -1.0, 0, 'desc')NzLINSERT INTO loot_allocation_modes VALUES ('BAD_PERM', 'Bad', 0.0, 2, 'desc')rrs r%test_loot_allocation_modes_rejectionsr"Is  ' ' ) )hTkkmm ]71 2 2 i i KKg h h h i i i i i i i i i i i i i i i]71 2 2 h h KKf g g g h h h h h h h h h h h h h h h hhhhhhhhhhhhhhhhhhsY3C A* C *A. .C 1A. 2!C B5) C 5B9 9C <B9 =C  CCc|5}|}tjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYddddS#1swxYwYdS)zDVerifies invalid teleport configs are rejected by CHECK constraints.zJINSERT INTO teleport_configs VALUES ('NEG_CAST', -3.5, 10.0, 1, 1, 'desc')NzHINSERT INTO teleport_configs VALUES ('NEG_CD', 3.5, -10.0, 1, 1, 'desc')zIINSERT INTO teleport_configs VALUES ('BAD_MOVE', 3.5, 10.0, 2, 1, 'desc')zHINSERT INTO teleport_configs VALUES ('BAD_DMG', 3.5, 10.0, 1, 2, 'desc')rrs r test_teleport_configs_rejectionsr$Us  ' ' ) ) dTkkmm ]71 2 2 f f KKd e e e f f f f f f f f f f f f f f f]71 2 2 d d KKb c c c d d d d d d d d d d d d d d d]71 2 2 e e KKc d d d e e e e e e e e e e e e e e e]71 2 2 d d KKb c c c d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d ds3E#A* E#*A. .E#1A. 2!E#B5) E#5B9 9E#<B9 =!E#D4 E#D E#D !E#)E ? E# E E#E E##E'*E'cJ|5}|}tjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYtjtj5|ddddn #1swxYwYddddS#1swxYwYdS)zDVerifies invalid quarantine rules are rejected by CHECK constraints.zQINSERT INTO portal_quarantine_rules VALUES ('NEG_PORT', 'ZONE', 1, 1, -1, 'desc')NzPINSERT INTO portal_quarantine_rules VALUES ('BAD_BOSS', 'ZONE', 2, 1, 6, 'desc')zRINSERT INTO portal_quarantine_rules VALUES ('BAD_SECRET', 'ZONE', 1, 2, 6, 'desc')rrs r'test_portal_quarantine_rules_rejectionsr&gs=  ' ' ) ) nTkkmm ]71 2 2 m m KKk l l l m m m m m m m m m m m m m m m]71 2 2 l l KKj k k k l l l l l l l l l l l l l l l]71 2 2 n n KKl m m m n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n nrc|5}|}|ddddn #1swxYwY|d}|J|jdksJdS)z^Adversarial Finding: SQLite schema allows empty mode_id string because no length check exists.zWINSERT INTO loot_allocation_modes VALUES ('', 'Empty Mode', 0.0, 0, 'Empty string key')N)rrrget_loot_allocation_modemode_id)rrrrows r4test_loot_allocation_empty_mode_id_allowed_by_schemar,zs  ' ' ) )oTkkmm mnnnooooooooooooooo  1 1" 5 5C ??? ;"      *A  AAc|5}|}|ddddn #1swxYwY|d}|J|jdksJdS)zYAdversarial Finding: action_type has no enum check, allowing arbitrary fake action types.zXINSERT INTO teleport_configs VALUES ('EXPLOIT_TELEPORT', 3.5, 10.0, 1, 1, 'Fake target')NEXPLOIT_TELEPORT)rrrget_teleport_config action_type)rrrcfgs r=test_teleport_configs_arbitrary_action_type_allowed_by_schemar3s  ' ' ) )pTkkmm noooppppppppppppppp  , ,-? @ @C ??? ?0 0 0 0 0 0 0r-c|t|d}t|d}|dusJtd|d|dS)z Checks whether verify_matrix_integrity() exists on GameDesignMatrixService. Worker's handoff and prompt specifically cited verify_matrix_integrity(). verify_matrix_integrityvalidate_game_design_integrityTzhas verify_matrix_integrity: z&, has validate_game_design_integrity: N)hasattrprint)r has_verify has_validates r,test_verify_matrix_integrity_method_presencer;s[ )BCCJ>+KLLL 4     j* j j\h j jkkkkkrc|5}|}|ddddn #1swxYwY|}t d|jD}t d|jD}t d|d||o|dus JddS) z Adversarial Attack: Corrupt currency_quantity_bonus_pct and rarity_bonus_pct at party_size=6 to 0.0%. Does validate_game_design_integrity() catch this? z UPDATE party_scaling_matrix SET currency_quantity_bonus_pct = 0.0, rarity_bonus_pct = 0.0 WHERE party_size = 6 Nc3BK|]}d|vVdS)currencyNlower.0vs r zGtest_currency_and_rarity_non_monotonic_detection_gap..s/MMa* 1MMMMMMrc3BK|]}d|vVdS)rarityNr?rAs rrDzGtest_currency_and_rarity_non_monotonic_detection_gap..s/II!AGGII-IIIIIIrzCurrency violation caught: z, Rarity violation caught: Tz9Service properly checks currency and rarity monotonicity!rrrr6any violationsr8)rrrreportcurrency_caught rarity_caughts r4test_currency_and_rarity_non_monotonic_detection_gaprMs&  ' ' ) ) Tkkmm                     : : < .s(II!(A-IIIIIIrzSecret chamber exploit caught: FzURevealed gap: Service query only checks WHERE zone_type IN ('WILDERNESS', 'DUNGEON')!rG)rrrrJ secret_caughts r3test_secret_chamber_quarantine_bypass_detection_gaprSs  ' ' ) ) Tkkmm                     : : < .worker_readsZ ((++ +    MM!   44444 s A=A max_workersc:g|]}SrQsubmit)rB_executorr]s r z@test_in_memory_service_thread_safety_failure..s%BBBA8??;//BBBrNrzNExpected ProgrammingError due to check_same_thread=True on :memory: connectionc3JK|]}t|tjVdS)N) isinstancerProgrammingError)rBrZs rrDz?test_in_memory_service_thread_safety_failure..s/GG1z!W566GGGGGGr) rr concurrentfuturesThreadPoolExecutorrangeresultr lenrH)rkfr[rer\r]s @@@@r,test_in_memory_service_thread_safety_failurerqsW "* 5 5 5C$''' F   . .1 . = =BBBBBqBBB  A HHJJJJ  IIKKK v;;???l??? GGGGG G GGG GGGs6BBBcd t|dz t}|dg}gfd tjd5 fdt d D}|D]-}|}|||. d d d n #1swxYwY| td ks Jd t|d ksJtd |DsJd S)zQ Tests concurrent readers on a file-based SQLite database with WAL mode. ztest_concurrent.dbrTr c t}|d}||r|jndS#t$r"}||fYd}~dSd}~wwxYw)Nr)rrWr party_sizerXrY) worker_id reader_svcr+rZdb_filer[s rreaderz5test_file_database_concurrent_readers..readers 0AAAJ..q11C      %(23>>d 2    MM9a. ) ) )44444 sAA A3A..A3 r_c<g|]}|SrQrb)rBirerys rrfz9test_file_database_concurrent_readers..s'AAA!8??61--AAArNrzConcurrent reads had errors: c3"K|] }|dkV dS)rtNrQ)rBrs rrDz8test_file_database_concurrent_readers..s&''!qAv''''''r) strrr rjrkrlrmrnrYr roall) tmp_pathr\resultsrkrpresrxr[rerys @@@@r%test_file_database_concurrent_readersrs(1122G !' 2 2 2C$'''G F   . .2 . > >$(AAAAAuRyyAAA $ $A((**Cs### $$$$$$$$$$$$$$$$IIKKK v;;!   EVEE    w<<2     ''w''' ' ''' '''s'A CCCc  t|dz t}|dd d g  fd} fd}tjd 5}g}t d D]T}||||||||U|D]}|  d d d n #1swxYwY| td d dt  dksJ dksJd S)z Tests concurrent read and write operations under WAL mode on file database. Verifies database locking and contention behavior. ztest_read_write.dbrTr rcl t}|5}|dd|fdddn #1swxYwY|dz dS#t $r#}d||fYd}~dSd}~wwxYw)NrzDUPDATE party_scaling_matrix SET description = ? WHERE party_size = 1zWorker rVwrite)rrrrr rXrY)rvw_svcrrZrx lock_errors write_counts r writer_taskz=test_file_database_concurrent_read_write..writer_task!s< 8+G<<.reader_task,s 7+G<<>>> ??????s1BC>>DD)rr)__doc__ __future__rconcurrent.futuresrjosrr'server.world.game_design_matrix_servicerfixturerrr r"r$r&r,r3r;rMrSrqrrrQrrrs #"""""  KKKKKK f f f fffff: h h h hdddd$ n n n n&1111 l l l l tttt6{{{{2HHH8(((D/////r