New pull request
Phase 1: Experiment hygiene and threats-to-validity checks
All checks were successful
ci / smoke (push) Successful in 1m26s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 1m26s
clang-format / check-format (pull_request) Successful in 10s
markdownlint / markdown-lint (pull_request) Successful in 10s
invariant
phase-1
tests
#83 by erikinkinen was merged 2026-03-06 15:50:54 +01:00 Phase 1 AES — Active Workboard
Phase 1: Enhance plotting functionality in plot_phase1_figures.py
All checks were successful
ci / smoke (push) Successful in 1m21s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 1m20s
clang-format / check-format (pull_request) Successful in 10s
markdownlint / markdown-lint (pull_request) Successful in 9s
figure
phase-1
#82 by erikinkinen was merged 2026-03-06 15:06:54 +01:00 Phase 1 AES — Active Workboard
Phase 1: Strategy-Differentiating Revocation Artifacts and Figure Pipeline
All checks were successful
ci / smoke (push) Successful in 58s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 1m0s
clang-format / check-format (pull_request) Successful in 10s
markdownlint / markdown-lint (pull_request) Successful in 9s
cli
experiment
figure
metrics
phase-1
#81 by erikinkinen was merged 2026-03-06 13:49:09 +01:00 Phase 1 AES — Active Workboard
Phase 1: Plot and figure generation pipeline
All checks were successful
ci / smoke (push) Successful in 53s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 53s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
figure
metrics
phase-1
#78 by erikinkinen was merged 2026-03-06 12:39:52 +01:00 Phase 1 AES — Active Workboard 5 / 5
Phase 1: Batch runner for Phase 1 sweeps
All checks were successful
ci / smoke (push) Successful in 22s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 22s
clang-format / check-format (pull_request) Successful in 10s
markdownlint / markdown-lint (pull_request) Successful in 9s
cli
experiment
phase-1
#77 by erikinkinen was merged 2026-03-06 12:02:47 +01:00 Phase 1 AES — Active Workboard
Phase 1: Phase 1 revocation outcome metrics
All checks were successful
clang-format / check-format (pull_request) Successful in 10s
markdownlint / markdown-lint (pull_request) Successful in 9s
ci / smoke (push) Successful in 21s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 20s
metrics
phase-1
#76 by erikinkinen was merged 2026-03-06 11:21:43 +01:00 Phase 1 AES — Active Workboard 3 / 3
Phase 1: Revocation-focused workloads
All checks were successful
ci / smoke (push) Successful in 20s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 20s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
experiment
phase-1
workload
#75 by erikinkinen was merged 2026-03-06 11:00:01 +01:00 Phase 1 AES — Active Workboard 3 / 3
Phase 1: Strategy equivalence and sanity checks
All checks were successful
ci / smoke (push) Successful in 19s
clang-format / check-format (push) Successful in 10s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 19s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
invariant
phase-1
tests
#74 by erikinkinen was merged 2026-03-06 10:35:07 +01:00 Phase 1 AES — Active Workboard 2 / 2
Phase 1: Strategy D: epoch / indirection revocation
All checks were successful
ci / smoke (pull_request) Successful in 18s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
ci / smoke (push) Successful in 18s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
phase-1
revocation
#73 by erikinkinen was merged 2026-03-06 10:19:31 +01:00 Phase 1 AES — Active Workboard 3 / 3
Phase 1: Strategy C: lineage-based revocation (basic)
All checks were successful
ci / smoke (push) Successful in 18s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 11s
ci / smoke (pull_request) Successful in 19s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
phase-1
provenance
revocation
#72 by erikinkinen was merged 2026-03-06 09:51:16 +01:00 Phase 1 AES — Active Workboard 3 / 3
Phase 1: Strategy B: lazy invalidate-on-use revocation
All checks were successful
ci / smoke (push) Successful in 18s
ci / smoke (pull_request) Successful in 18s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
phase-1
revocation
#71 by erikinkinen was merged 2026-03-05 13:59:02 +01:00 Phase 1 AES — Active Workboard 3 / 3
Phase 1: Strategy A: eager traversal revocation
All checks were successful
ci / smoke (push) Successful in 18s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 18s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 10s
oracle
phase-1
revocation
#70 by erikinkinen was merged 2026-03-05 13:35:14 +01:00 Phase 1 AES — Active Workboard 2 / 2
Phase 1: Revocation strategy interface
All checks were successful
ci / smoke (push) Successful in 17s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 17s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
invariant
phase-1
revocation
#69 by erikinkinen was merged 2026-03-05 12:43:51 +01:00 Phase 1 AES — Active Workboard 3 / 3
Phase 1: Revocation cost accounting framework
All checks were successful
ci / smoke (push) Successful in 17s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 9s
ci / smoke (pull_request) Successful in 17s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
metrics
phase-1
#68 by erikinkinen was merged 2026-03-05 11:52:31 +01:00 Phase 1 AES — Active Workboard 4 / 4
Phase 1: Ground-truth revocation oracle
All checks were successful
ci / smoke (push) Successful in 16s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 16s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
metrics
oracle
phase-1
#67 by erikinkinen was merged 2026-03-05 10:30:01 +01:00 Phase 1 AES — Active Workboard 3 / 3
Phase 1: Revocation event types and API
All checks were successful
ci / smoke (push) Successful in 17s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 16s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 9s
invariant
phase-1
revocation
#66 by erikinkinen was merged 2026-03-03 15:45:50 +01:00 Phase 1 AES — Active Workboard
Phase 1: Capability use semantics
All checks were successful
ci / smoke (push) Successful in 15s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 16s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 10s
event
invariant
phase-1
#65 by erikinkinen was merged 2026-03-03 15:07:15 +01:00 Phase 1 AES — Active Workboard
Phase 1: Phase 1 specification and invariants
All checks were successful
ci / smoke (push) Successful in 15s
clang-format / check-format (push) Successful in 9s
markdownlint / markdown-lint (push) Successful in 10s
ci / smoke (pull_request) Successful in 15s
clang-format / check-format (pull_request) Successful in 9s
markdownlint / markdown-lint (pull_request) Successful in 10s
docs
invariant
phase-1
#64 by erikinkinen was merged 2026-03-03 14:29:15 +01:00 Phase 1 AES — Active Workboard