zotac/Netpulse_SasS
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Пісочниця: пояснити нуль в аудиті й додати пробу, яка щось доводить
All checks were successful
CI / hygiene (push) Successful in 9s
Details
CI / web (push) Successful in 1m4s
Details
CI / server (push) Successful in 1m5s
Details
CI / dbtest (push) Successful in 58s
Details
CI / agent (push) Successful in 53s
Details

Browse source 
«журнал аудиту 0 → 0 ok» читалось як доказ роботи журналу. Насправді
установник робить рівно три речі, і всі три — у переліку сліпих зон
(store.AuditBlindSpots): власник, строки зберігання, локальний зонд. Дані
пісочниця наливає прямим SQL, повз API. Нуль тут очікуваний.

Пробу лишено (покаже, якщо колись почнуть писати), але поруч тепер
сказано, що правило min на нулі не доводить нічого. І додано пробу, яка
доводить: спроби входу — самоперевірка заходить у продукт, порожня
таблиця означала б, що записування входів відвалилось.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
byrsapty 2026-08-29 00:30:54 +03:00
parent 3d5d1c6967
commit 6de46550ea
1 changed files with 15 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
netpulse
View file

@ -2902,6 +2902,20 @@ SQL
# звуження вона потрапила б у ті самі лічильники. Алерти рахуються по # звуження вона потрапила б у ті самі лічильники. Алерти рахуються по
# ДВОХ таблицях одразу — фоновий такт переносить погашені в # ДВОХ таблицях одразу — фоновий такт переносить погашені в
# alr.alerts_history, і рядок, що переїхав, це не втрачений рядок. # alr.alerts_history, і рядок, що переїхав, це не втрачений рядок.
# ЧОМУ «журнал аудиту» тут ЗАВЖДИ НУЛЬ, і це не поломка.
#
# Установник робить рівно три речі, і всі три — у переліку сліпих зон
# журналу (store.AuditBlindSpots): заводить власника (склад команди),
# ставить строки зберігання й підключає локальний зонд (дії системи).
# Дані пісочниця наливає прямим SQL, повз API. Тобто нуль — очікуваний
# результат, а не ознака, що аудит зламався.
#
# Проба лишена навмисно: якщо колись хтось почне писати аудит на
# установці, рядок це покаже. Але читати «0 → 0 ok» як доказ роботи
# журналу не можна — правило min на нулі не доводить нічого.
#
# А от «спроби входу» — доводять: самоперевірка заходить у продукт, і
# порожня таблиця тут означала б, що записування входів відвалилось.
sandbox_up_probes() { sandbox_up_probes() {
cat <<'EOF' cat <<'EOF'
хости_пісочниці|exact|SELECT count(*) FROM inv.devices WHERE name LIKE 'sb-sw-%' хости_пісочниці|exact|SELECT count(*) FROM inv.devices WHERE name LIKE 'sb-sw-%'
@ -2921,6 +2935,7 @@ sandbox_up_probes() {
типи_перевірок|min|SELECT count(*) FROM core.check_types типи_перевірок|min|SELECT count(*) FROM core.check_types
права|min|SELECT count(*) FROM core.permissions права|min|SELECT count(*) FROM core.permissions
журнал_аудиту|min|SELECT count(*) FROM core.audit_log журнал_аудиту|min|SELECT count(*) FROM core.audit_log
спроби_входу|min|SELECT count(*) FROM core.login_attempts
EOF EOF
} }