Labels Milestones

Search syntax

is:open	Open
is:closed	Closed
is:all	All
author:<username>	Filter by the author
assignee:<username>	Filter by assigned user
review:<username>	Filter by user who reviewed
mentions:<username>	Filter by mentioned user
sort:<by>:[asc|desc]	Sort by: created/comments/updated/deadline
modified:[>|<]<date>	Filter by last modified date

Cancel

New pull request

0 Open 16 Closed 16 All

Label

Show archived labels

Use Alt + Click to exclude labels

All labels No label

bug

cli

core

docs

event

experiment

figure

invariant

metrics

oracle

phase-0

phase-1

phase-2

phase-3

phase-4

phase-5

phase-6

provenance

revocation

tests

workload

Milestone

All milestones No milestones

Open milestones

Phase 1 Phase 2 Phase 3 Phase 4 Phase 5 Phase 6

Closed milestones

Phase 0

Project

All projects No project

Open projects

AES — Active Workboard

Author

All authors

Assignee

All assignees No assignee

erikinkinen

Sort

Relevance Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

0 Open 16 Closed 16 All

Label

Clear labels

bug

cli

core

docs

event

experiment

figure

invariant

metrics

oracle

phase-0

phase-1

phase-2

phase-3

phase-4

phase-5

phase-6

provenance

revocation

tests

workload

Milestone

No milestone

Open milestones

Phase 1

Phase 2

Phase 3

Phase 4

Phase 5

Phase 6

Closed milestones

Phase 0

Projects

Clear projects

Open projects

AES — Active Workboard

Assignee

Clear assignees

No assignee

erikinkinen

Phase 1: Experiment hygiene and threats-to-validity checks

invariant

phase-1

tests

#83 by erikinkinen was merged 2026-03-06 15:50:54 +01:00

main

Phase 1 AES — Active Workboard

Phase 1: Strategy equivalence and sanity checks

invariant

phase-1

tests

#74 by erikinkinen was merged 2026-03-06 10:35:07 +01:00

main

Phase 1 AES — Active Workboard 2 / 2

Phase 1: Revocation strategy interface

invariant

phase-1

revocation

#69 by erikinkinen was merged 2026-03-05 12:43:51 +01:00

main

Phase 1 AES — Active Workboard 3 / 3

Phase 1: Revocation event types and API

invariant

phase-1

revocation

#66 by erikinkinen was merged 2026-03-03 15:45:50 +01:00

main

Phase 1 AES — Active Workboard

Phase 1: Capability use semantics

event

invariant

phase-1

#65 by erikinkinen was merged 2026-03-03 15:07:15 +01:00

main

Phase 1 AES — Active Workboard

Phase 1: Phase 1 specification and invariants

docs

invariant

phase-1

#64 by erikinkinen was merged 2026-03-03 14:29:15 +01:00

main

Phase 1 AES — Active Workboard

Phase 0: Replay and snapshot reconstruction

core

invariant

phase-0

#56 by erikinkinen was merged 2026-03-03 10:43:49 +01:00

main

Phase 0 AES — Active Workboard

Phase 0: Event log format v0

event

invariant

phase-0

#55 by erikinkinen was merged 2026-03-03 10:21:52 +01:00

main

Phase 0 AES — Active Workboard

Phase 0: Deterministic simulation engine

core

invariant

phase-0

tests

#52 by erikinkinen was merged 2026-02-17 07:54:34 +01:00

main

Phase 0 AES — Active Workboard 0 / 4

Phase 0: Add delta unit tests

event

invariant

phase-0

tests

#51 by erikinkinen was merged 2026-02-17 07:23:48 +01:00

main

Phase 0 AES — Active Workboard 6 / 6

Phase 0: Event application API

event

invariant

phase-0

#50 by erikinkinen was merged 2026-02-17 06:46:39 +01:00

main

Phase 0 AES — Active Workboard 6 / 6

Phase 0: Event taxonomy v0

event

invariant

phase-0

#49 by erikinkinen was merged 2026-02-17 06:11:24 +01:00

main

Phase 0 AES — Active Workboard 7 / 7

Phase 0: Graph indexing and integrity

core

invariant

phase-0

#48 by erikinkinen was merged 2026-02-17 05:58:48 +01:00

main

Phase 0 AES — Active Workboard 5 / 5

Phase 0: Capability edge representation

core

invariant

phase-0

#47 by erikinkinen was merged 2026-02-17 05:23:29 +01:00

main

Phase 0 AES — Active Workboard 6 / 6

Phase 0: authority model specification and invariants

docs

invariant

phase-0

#45 by erikinkinen was merged 2026-02-04 12:47:57 +01:00

main

Phase 0 AES — Active Workboard 3 / 3

Phase 0: stable ID types, deterministic RNG, and common utilities

core

invariant

phase-0

#42 by erikinkinen was merged 2026-02-04 10:10:23 +01:00

main

Phase 0 AES — Active Workboard 9 / 9