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 22 Closed 22 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 22 Closed 22 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 0: Phase 0 documentation

docs

phase-0

#63 by erikinkinen was merged 2026-03-03 14:08:28 +01:00

main

Phase 0 AES — Active Workboard

Phase 0: Determinism and invariant test suite

phase-0

tests

#62 by erikinkinen was merged 2026-03-03 13:23:20 +01:00

main

Phase 0 AES — Active Workboard

Phase 0: CLI: simulate and export

cli

phase-0

#61 by erikinkinen was merged 2026-03-03 13:20:59 +01:00

main

Phase 0 AES — Active Workboard

Phase 0: Metrics framework

metrics

phase-0

#60 by erikinkinen was merged 2026-03-03 13:12:51 +01:00

main

Phase 0 AES — Active Workboard

Phase 0: Residual authority detection (baseline)

metrics

oracle

phase-0

#59 by erikinkinen was merged 2026-03-03 12:38:56 +01:00

main

Phase 0 AES — Active Workboard

Phase 0: Ground-truth reachability analysis

metrics

oracle

phase-0

#58 by erikinkinen was merged 2026-03-03 11:27:56 +01:00

main

Phase 0 AES — Active Workboard

Phase 0: Snapshot hashing and equality

core

phase-0

tests

#57 by erikinkinen was merged 2026-03-03 11:09:19 +01:00

main

Phase 0 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: Workloads

phase-0

tests

workload

#54 by erikinkinen was merged 2026-02-17 08:49:37 +01:00

main

Phase 0 AES — Active Workboard 0 / 4

Phase 0: Workload generator interface

phase-0

tests

workload

#53 by erikinkinen was merged 2026-02-17 08:23:04 +01:00

main

Phase 0 AES — Active Workboard 0 / 4

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: Subject and object node storage

core

phase-0

#46 by erikinkinen was merged 2026-02-17 04:47:40 +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

Fix: Code and documentation formatting

bug

phase-0

#44 by erikinkinen was merged 2026-02-04 11:21:20 +01:00

main

Phase 0 AES — Active Workboard 3 / 3