E2E + Readiness + Bench

e2e.yml

301 workflow runs

feat: schema versioning, safe_unwrap distinction, ADJUST contractile,…
completed successfully:
E2E + Readiness + Bench#51:Commitfd90d2bpushedbyhyperpolymath
main
Apr 25, 20265m 25s
fix(assail): skip .ipkg files in Idris ProofDrift; add Chapel detector
cancelled:
E2E + Readiness + Bench#50:Commit945e5f9pushedbyhyperpolymath
main
Apr 25, 20264m 1s
feat(assail): structural FFI safe-wrapper detector + Rule 13 suppression
completed successfully:
E2E + Readiness + Bench#49:Commitd381541pushedbyhyperpolymath
main
Apr 18, 20265m 23s
feat(assail): user-classification registry flips audited findings to …
completed successfully:
E2E + Readiness + Bench#48:Commit315917bpushedbyhyperpolymath
main
Apr 18, 20265m 34s
feat(assail/rocq): classify scaffold parameters as non-postulates
completed successfully:
E2E + Readiness + Bench#47:Commit6d6822apushedbyhyperpolymath
main
Apr 18, 20265m 14s
fix(analyzer): clear 4 -Wunused-variable warnings + latent bug
completed successfully:
E2E + Readiness + Bench#46:Commit9288e17pushedbyhyperpolymath
main
Apr 17, 20265m 24s
fix(assail): TODO-in-string-literal FP closed (Task #23)
failed:
E2E + Readiness + Bench#45:Commitb8d177dpushedbyhyperpolymath
main
Apr 17, 20265m 10s
test(corpus): 12-case UnboundedAllocation regression corpus (Task #25)
failed:
E2E + Readiness + Bench#44:Commit8b12fecpushedbyhyperpolymath
main
Apr 17, 20265m 18s
feat(assail): word-boundary detector for UnboundedAllocation (Task #25)
failed:
E2E + Readiness + Bench#43:Commite199ef3pushedbyhyperpolymath
main
Apr 17, 20264m 59s
fix(bounds): .take(LIMIT) on config/report/analyzer reads (batch 2/2)
failed:
E2E + Readiness + Bench#42:Commit804a25dpushedbyhyperpolymath
main
Apr 17, 20266m 40s
fix(bounds): .take(LIMIT) on external-input reads (batch 1/N)
failed:
E2E + Readiness + Bench#41:Commit6941ef7pushedbyhyperpolymath
main
Apr 17, 20264m 45s
fix(assail): close CryptoMisuse self-reference FP (use code_only not …
failed:
E2E + Readiness + Bench#40:Commit4c1c128pushedbyhyperpolymath
main
Apr 17, 20264m 54s
refactor: VQL -> VCL rename to match estate-wide convention
failed:
E2E + Readiness + Bench#39:Commit24b91b4pushedbyhyperpolymath
main
Apr 17, 20265m 49s
fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken)
cancelled:
E2E + Readiness + Bench#38:Commit0abfd40pushedbyhyperpolymath
main
Apr 17, 20268s
feat(assail): broaden #[cfg(test)] mod strip; recognise .take() as re…
failed:
E2E + Readiness + Bench#37:Commit30132b6pushedbyhyperpolymath
main
Apr 17, 20262h 2m 44s
feat(assail): strip #[cfg(test)] mod bodies before Rust keyword scan
cancelled:
E2E + Readiness + Bench#36:Commit9eda513pushedbyhyperpolymath
main
Apr 17, 202628m 55s
fix(assail): tighten UnboundedAllocation Rust heuristic (72→6 on 007)
failed:
E2E + Readiness + Bench#35:Commit317a0e9pushedbyhyperpolymath
main
Apr 17, 20263m 13s
feat(assail): JIT-aware classification for mem::transmute (Rust)
failed:
E2E + Readiness + Bench#34:Commit72e96a7pushedbyhyperpolymath
main
Apr 17, 202611m 25s
test(analyze_rust): add missing browser_extension field to test fixture
cancelled:
E2E + Readiness + Bench#33:Commit017fc69pushedbyhyperpolymath
main
Apr 17, 202620m 2s
fix(assail): strip comments before counting unsafe/FFI patterns
cancelled:
E2E + Readiness + Bench#32:Commit6f18cafpushedbyhyperpolymath
main
Apr 17, 20267m 0s
chore: M5 CI/Workflow Sweep - final synchronisation
failed:
E2E + Readiness + Bench#31:Commit1982b3dpushedbyhyperpolymath
main
Apr 16, 20261h 13m 40s
feat: add browser extension support
completed successfully:
E2E + Readiness + Bench#30:Commitccd4027pushedbyhyperpolymath
main
Apr 15, 20262m 47s
chore: gitignore Chapel binary
completed successfully:
E2E + Readiness + Bench#29:Commite1c9f74pushedbyhyperpolymath
main
Apr 12, 20269m 39s
feat(v2.5.0): crypto_misuse JWT sig bypass + proof_drift Coq extracti…
completed successfully:
E2E + Readiness + Bench#28:Commit1723745pushedbyhyperpolymath
main
Apr 12, 20262m 42s
feat(storage): wire VeriSimDB HTTP push via direct verisim-api
completed successfully:
E2E + Readiness + Bench#27:Commit728688apushedbyhyperpolymath
main
Apr 12, 20263m 12s

Navigation Menu

E2E + Readiness + Bench

301 workflow runs

feat: schema versioning, safe_unwrap distinction, ADJUST contractile,…

fix(assail): skip .ipkg files in Idris ProofDrift; add Chapel detector

feat(assail): structural FFI safe-wrapper detector + Rule 13 suppression

feat(assail): user-classification registry flips audited findings to …

feat(assail/rocq): classify scaffold parameters as non-postulates

fix(analyzer): clear 4 -Wunused-variable warnings + latent bug

fix(assail): TODO-in-string-literal FP closed (Task #23)

test(corpus): 12-case UnboundedAllocation regression corpus (Task #25)

feat(assail): word-boundary detector for UnboundedAllocation (Task #25)

fix(bounds): .take(LIMIT) on config/report/analyzer reads (batch 2/2)

fix(bounds): .take(LIMIT) on external-input reads (batch 1/N)

fix(assail): close CryptoMisuse self-reference FP (use code_only not …

refactor: VQL -> VCL rename to match estate-wide convention

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken)

feat(assail): broaden #[cfg(test)] mod strip; recognise .take() as re…

feat(assail): strip #[cfg(test)] mod bodies before Rust keyword scan

fix(assail): tighten UnboundedAllocation Rust heuristic (72→6 on 007)

feat(assail): JIT-aware classification for mem::transmute (Rust)

test(analyze_rust): add missing browser_extension field to test fixture

fix(assail): strip comments before counting unsafe/FFI patterns

chore: M5 CI/Workflow Sweep - final synchronisation

feat: add browser extension support

chore: gitignore Chapel binary

feat(v2.5.0): crypto_misuse JWT sig bypass + proof_drift Coq extracti…

feat(storage): wire VeriSimDB HTTP push via direct verisim-api

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for E2E + Readiness + Bench

301 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.