Skip to content

Instantly share code, notes, and snippets.

View qrilka's full-sized avatar
🖥️
as always

Kirill Zaborsky qrilka

🖥️
as always
  • FP Complete
  • Arkhangelsk, Russia
View GitHub Profile
@qrilka
qrilka / SHA256SUMS
Created October 20, 2026 19:09
Exploderous #33: complete 2026-10-20 core mutation scan, remaining categories and reconciled evidence
16e5b452f4e36cc2c9c40831f11f1bde66ecfcdad79a11b8c41f71a7227018ff ./caught-regressions.md
2296dfecf6f7497249a8ddce4e28a9322a13ada4d067e75c8bbb9d411cd1b962 ./follow-ups.patch
ae4797816dd0fc74c4ebbc106a7036e55047c7f56b9d64130e4d90b6fd77be9b ./inventory.json
aa58a2c287bf1554dd00b9e6b3c5070fa1b87692ca9127edb277492235191615 ./metadata.json
56370431312e82459d9530f5d3320a2b1f3481ebed8e14e7489d5b7916a41bb3 ./missed.txt
ab498274d8e9a425a3358d1d46d01ba35fe14e84fb6ec853dfff58b9a3247b3a ./original-findings-disposition.json
8f8508abde17699771ed01689606f33483f597ce0605385c168cf142d58d62de ./outcomes.json
ca77c73e6bc1b6c1645f1589cb3058849f33d53723df7c3d2d0176fdaeec24f2 ./remaining-comparison.json
e0021aea189680260dedfabc440bfb70a6b3cc05dcc9d6879959740e0eefcf9e ./remaining-details.md
a9bc89996128c8b645ffaa477efb14063196a00c1d02165cfdf540500739c0f7 ./report.md
@qrilka
qrilka / detailed-report.md
Created October 19, 2026 15:00
exploderous #33: detailed technical mutation-findings report, retained as reference

Core mutation findings: remediation proposals for maintainer approval

Recommendation: approve focused behavior tests for simultaneous Character contact and the minimum-Footprint upward sweep, plus a fail-fast rewrite of the existing tick-waiting test. Investigate RNG guarantees separately. Consider only the two precisely scoped equivalence candidates below; approve each individually before any exclusion. No production defect in the unmutated core is established by this review.

This is the report-only deliverable for #33, using both #32 and the delivered manual workflow from #34. Nothing has been fixed, excluded, retuned, or rerun. Proposed checks below are future validation plans, not newly executed tests.

1. Evidence, coverage, and interpretation

@qrilka
qrilka / SHA256SUMS
Created October 19, 2026 14:53
exploderous #33: findings-review evidence audit and independent Standards/Spec reviews
e1471008ec63bf7c0a5608446cb876ce47a8da9694412481ca1d298305da16ea timeout-analysis.json
d781f48f118559a744f6efa0eb2d16273decbe2f9341220d5afdf98af9cd8fe1 survivor-analysis.json
6752bd6b52e88f4a49d0b2d4d6a23cc020785440cb57da1467f0e79debc23453 standards-review.md
39be32cbde13eac7f5522c884f99898fc92c6c4929fb2288e572eb29ad9dfdac spec-review.md
@qrilka
qrilka / SHA256SUMS
Created October 19, 2026 12:37
exploderous #33: preserved CI mutation evidence from run 39250881329 and comparison with #32
f26842d4d664d538a6a641f8bb8d38a2e7dfbef2f66bb4eed75d65e386aaab1a inventory.json
0fdeb0a15e66c7192cb2290692d85fa1dd3338d164a8ff5080f6e75cb4bc04c4 outcomes.json
83204b31439099db37db454d573b1a203d275075247f3cca5fa86c1446645d73 summary.md
8ccb712486d69062b8a3df544911c6dfda52e79478fe05b0a90845e7250c142e summary.json
c1f86b45f3dea59b6171027714b355ac74a48b0a9a3e85105bddcfbdf43b6186 metadata.json
8a16e46356178e3b40c26533832cc7b60c2728d5f7f92d9ced756202d5f7e82b baseline.log
3305d869bba4e39078c449f11072b6f1c2f5d2a4031a1daf48762d7561aa2264 console.log
be9316da807e6a68baf758856681a26ecbb92624bd74808fd709009fc7413e30 comparison.json
d3950119b420ba42886dc3809bf0fe4072ce63eda5a0d4bfe4b7c8c26bed5a4a comparison.tsv
ad3ac2ab2e12d6fc28f4f28ca0432d2568e5d5767c3f86683133615bc9d2ca81 survivor-logs.txt
@qrilka
qrilka / SHA256SUMS
Created October 19, 2026 09:54
exploderous #32: core mutation experiment at 7bc2447272f0 (446 mutations, 2026-10-19)
f26842d4d664d538a6a641f8bb8d38a2e7dfbef2f66bb4eed75d65e386aaab1a inventory.json
87d66a51b560f86bcf7c3be8eb521f7f570c2ac5129aecbbbd7c984b26b7aecc shuffled-mutants.json
d0ac87e88e356f4867ab165ace50955a7f0564a9859d88ef1a9f8b7a41e0f617 inventory-outcomes.tsv
bdbf4a3f44358a4b6c728089dfef38343e6cac64e2ff80d22c49d77cb48c00bb outcomes.json
ed90111e8471afe331c0713fd75478989013080232b089957f74bd33e64b7d90 survivor-timeout-evidence.md
3eb62f4a54ad06cb971bac495e91ded7674cab8c167c5e37476af5e49cc50529 survivor-logs.txt
b35a2ff07fd7734dc4a9ba59e5a5d9a50a84af742aefbc4b3549c98ade752750 timeout-logs.txt
282f83887d8462e47b1383fa9e81bd2f0b52e99baa4e9c712fb47165d4f556fc baseline.log
f6036cb2d31cfdd11a8867fa06967356495a8554cc5028d58dca65e8629d414c console.log
cbce427badd5d2e575e0e46884891d745262bd374e8495cab80e631a76701e4f environment.txt
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE OverloadedStrings #-}
import Codec.Xlsx as X
import qualified Data.ByteString.Lazy as L
import Control.Lens
import Data.Time.Clock.POSIX
main :: IO ()
main = do
ct <- getPOSIXTime
@qrilka
qrilka / syscalls.md
Last active June 14, 2020 19:06
ZuriHac 2020 hatrace: syscalls to implement

Easy

FS

  • change directory: chdir, fchdir
  • change permissions: chmod, fchmod, fchmodat
  • change ownership: chown, fchown, lchown, fchownat
  • duplicate file descriptors: dup, dup2, dup3
  • create file descriptor for even notifications: eventfd, eventfd2, the latter is used by GHC RTS
  • FS synchronization: fdatasync, fsync, sync, syncfs - could be useful for checking if writes done by a program are durable
qrilka@qdesktop ~/ws/h/pkg-db-problems $ ./test.sh
Up to date
Reading package info from "dist-newstyle/packagedb/ghc-8.6.3/sample-1.0.0-inplace.conf" ... done.
sample-1.0.0: Warning: haddock-interfaces: /home/qrilka/ws/h/pkg-db-problems/dist-newstyle/build/x86_64-linux/ghc-8.6.3/sample-1.0.0/doc/html/sample/sample.haddock doesn't exist or isn't a file
sample-1.0.0: Warning: haddock-html: /home/qrilka/ws/h/pkg-db-problems/dist-newstyle/build/x86_64-linux/ghc-8.6.3/sample-1.0.0/doc/html/sample doesn't exist or isn't a directory
Unregistring single package:
real 0m0,196s
user 0m0,175s
sys 0m0,020s
@qrilka
qrilka / log.txt
Created October 5, 2018 22:58
ByteCodeLink.lookupCE error
qrilka@qdesktop ~/ws/h/lookupCE-error $ stack build
lookupCE-error-0.0.0: configure (lib)
Configuring lookupCE-error-0.0.0...
lookupCE-error-0.0.0: build (lib)
Preprocessing library for lookupCE-error-0.0.0..
Building library for lookupCE-error-0.0.0..
[1 of 2] Compiling Types ( Types.hs, .stack-work/dist/x86_64-linux-tinfo6/Cabal-2.0.1.0/build/Types.o )
[2 of 2] Compiling Storage ( Storage.hs, .stack-work/dist/x86_64-linux-tinfo6/Cabal-2.0.1.0/build/Storage.o )
lookupCE-error-0.0.0: copy/register
Installing library in /home/qrilka/ws/h/lookupCE-error/.stack-work/install/x86_64-linux-tinfo6/lts-11.22/8.2.2/lib/x86_64-linux-ghc-8.2.2/lookupCE-error-0.0.0-COOGtDoxxSQ4wdi6kXNjQW
[Just (ChResponsePkgDbs [ChPkgGlobal,ChPkgSpecific "/home/qrilka/.stack/snapshots/x86_64-linux-tinfo6/lts-11.3/8.2.2/pkgdb",ChPkgSpecific "/home/qrilka/ws/h/haskell-code-explorer/.stack-work/install/x86_64-linux-tinfo6/lts-11.3/8.2.2/pkgdb"]),Just (ChResponseFlags [("libxml2",False)]),Just (ChResponseVersion "GHC" (Version {versionBranch = [8,2,2], versionTags = []})),Just (ChResponseList ["-fbuilding-cabal-package","-O","-outputdir",".stack-work/dist/x86_64-linux-tinfo6/Cabal-2.0.1.0/build","-odir",".stack-work/dist/x86_64-linux-tinfo6/Cabal-2.0.1.0/build","-hidir",".stack-work/dist/x86_64-linux-tinfo6/Cabal-2.0.1.0/build","-stubdir",".stack-work/dist/x86_64-linux-tinfo6/Cabal-2.0.1.0/build","-i","-i.stack-work/dist/x86_64-linux-tinfo6/Cabal-2.0.1.0/build","-i.stack-work/dist/x86_64-linux-tinfo6/Cabal-2.0.1.0/build/autogen","-i.stack-work/dist/x86_64-linux-tinfo6/Cabal-2.0.1.0/build/global-autogen","-isrc","-I.stack-work/dist/x86_64-linux-tinfo6/Cabal-2.0.1.0/build/autogen","-I.stack-work/dist/x86_64-linux-t