Phase 0: Workloads #54

Merged

erikinkinen merged 4 commits from 0-workloads into main

2026-02-17 08:49:37 +01:00

erikinkinen commented

2026-02-17 08:48:31 +01:00

Owner

Closes #12, #13

Summary

Adds deterministic delegation workload generators (linear chain and branching k-ary) plus growth and determinism tests. This expands workload coverage for authority depth/shape experiments without changing core semantics.

Scope

Included

Linear delegation chain workload with accumulate/transfer modes and rights policies.
Branching delegation workload with depth/fanout parameters and optional transfer deletes.
Growth tests for linear chains.
Determinism tests for branching workload.
Workload library build updated to compile new sources.

Explicitly excluded

Changes to core authority semantics or event preconditions.
New CLI/runner integration for workloads.
Documentation updates in docs/.

Design intent

Maintain Phase 0 invariants by generating events solely through the Engine, keep deterministic sequences by ignoring RNG, and provide minimal, composable workload shapes for depth and branching studies. Delegation uses existing DelegateCap semantics and respects rights attenuation rules.

Phase discipline

Phase 0: introduces deterministic workload generators and tests without altering semantic authority rules. No reserved-but-absent fields added.

Verification

Tests pass
Model is internally consistent
Documentation updated
No regressions in existing functionality

Notes

Branching generator uses a breadth-first k-ary delegation order.
Determinism tests compare full event histories between runs with the same seed.

Closes #12, #13 --- ## Summary Adds deterministic delegation workload generators (linear chain and branching k-ary) plus growth and determinism tests. This expands workload coverage for authority depth/shape experiments without changing core semantics. --- ## Scope ### **Included** - Linear delegation chain workload with accumulate/transfer modes and rights policies. - Branching delegation workload with depth/fanout parameters and optional transfer deletes. - Growth tests for linear chains. - Determinism tests for branching workload. - Workload library build updated to compile new sources. ### **Explicitly excluded** - Changes to core authority semantics or event preconditions. - New CLI/runner integration for workloads. - Documentation updates in docs/. --- ## Design intent Maintain Phase 0 invariants by generating events solely through the Engine, keep deterministic sequences by ignoring RNG, and provide minimal, composable workload shapes for depth and branching studies. Delegation uses existing DelegateCap semantics and respects rights attenuation rules. --- ## Phase discipline Phase 0: introduces deterministic workload generators and tests without altering semantic authority rules. No reserved-but-absent fields added. --- ## Verification - [ ] Tests pass - [ ] Model is internally consistent - [ ] Documentation updated - [ ] No regressions in existing functionality --- ## Notes - Branching generator uses a breadth-first k-ary delegation order. - Determinism tests compare full event histories between runs with the same seed.

erikinkinen added 4 commits

2026-02-17 08:48:31 +01:00