Phase 2: freshness core + optimistic verify-and-rerun loop - #1

Merged

KaiCode2 merged 32 commits into

phase-1-engine-seamfrom

phase-2-freshness

Jun 17, 2026

Commits on Jun 14, 2026

Phase 2: add spec + roadmap design-of-record

KaiCode2
and
claude
committed
a47789e
Phase 2 (step 1): clock-agnostic SlotObservationTracker + FreshnessParams

KaiCode2
and
claude
committed
dc47336
Phase 2 (step 2): Validity/FreshnessRegistry, clocks, policies

KaiCode2
and
claude
committed
bffdb15
Phase 2 (step 3): verify_slots, purge_account, fetcher + overlay seams

KaiCode2
and
claude
committed
71f8aa5
Phase 2 (step 4): FreshnessController + SpeculativeSim optimistic loop

KaiCode2
and
claude
committed
4725020
Phase 2 (step 5): docs, offline example, README, re-exports, ROADMAP

KaiCode2
and
claude
committed
320d148
Phase 2 review: output field, controller cleanup, clock advance

KaiCode2
and
claude
committed
dc375f0

Commits on Jun 15, 2026

Phase 2 review: make the test suite pin freshness contracts

KaiCode2
and
claude
committed
ed92b1c
Phase 2: add freshness optimistic-loop benchmarks

KaiCode2
and
claude
committed
8ab2532
Phase 2 review fixes (F1-F7) + in-progress engine/OSS-prep work

KaiCode2
and
claude
committed
00653d2

Commits on Jun 16, 2026

Phase 3: state-update primitives (Pillar B.1) + relative RMW + audit remediation

KaiCode2
and
claude
committed
81efa6b
Phase 3 fix-review: extend account_state-awareness to the snapshot + account-info paths

KaiCode2
and
claude
committed
55acddf
Phase 2 review + round-2 fixes: validator trust contract + account-axis account_state

KaiCode2
and
claude
committed
d027bb3
Phase 4: add event-pipeline spec (Pillar B.2)

KaiCode2
and
claude
committed
286d5e4
Phase 4: acceptance tests (red contract) for the event pipeline

KaiCode2
and
claude
committed
c3efe40
Phase 4 step 1: SlotMasked cold-aware masked-write vocabulary

KaiCode2
and
claude
committed
52d956b
Phase 4 steps 2-5: events module, decoders, pipeline

KaiCode2
and
claude
committed
5f28db2
Phase 4: offline example, benchmark, docs (overseer deliverables)

KaiCode2
and
claude
committed
0749dfb
Phase 4: differential ground-truth test for the event processor

KaiCode2
and
claude
committed
d7adfd2
Merge pull request #3 from KaiCode2/phase-4-event-pipeline
KaiCode2
authored
80eb91f
Phase 5: spec (COW snapshots, Pillar A) + red acceptance contract

KaiCode2
and
claude
committed
b95f5f8
Phase 5: copy-on-write snapshots (Pillar A) + overlay reuse

KaiCode2
and
claude
committed
3c407c6

Commits on Jun 17, 2026

Configurable EVM shared-memory pre-allocation (SharedMemoryCapacity)

KaiCode2
and
claude
committed
776fe3e
Deflake the drop-abort freshness test with a deterministic gate

KaiCode2
and
claude
committed
eb0bad6
Phase 5 review fixes: prune stale COW code_by_hash + doc/test gaps

KaiCode2
and
claude
committed
85c3cf8
Merge pull request #6 from KaiCode2/fix-flaky-freshness-drop-abort
KaiCode2
authored
0379c28
Merge pull request #5 from KaiCode2/configurable-shared-memory
KaiCode2
authored
a140fc6
address known issues
KaiCode2
committed
6e317c5
Deflake into_optimistic freshness abort test
KaiCode2
committed
149e4dd
Merge pull request #7 from KaiCode2/codex/phase-5-known-issues-top5
KaiCode2
authored
0a2a9c9
Merge pull request #4 from KaiCode2/phase-5-cow-snapshots
KaiCode2
authored
66213c5
Merge pull request #2 from KaiCode2/phase-3-state-updates
KaiCode2
authored
7304697