From ff3e32e0b0ab581c8e2f35e993c8cde87991fab3 Mon Sep 17 00:00:00 2001 From: StellaOps Bot Date: Sun, 4 Jan 2026 15:10:50 +0200 Subject: [PATCH] docs: update sprint file with DET-005 to DET-014 progress Completed tasks: - DET-005: Provcache module (8 files) - DET-006: Provenance (already clean) - DET-007: ReachGraph (1 file) - DET-008: Registry (1 file) - DET-009: Replay (6 files) - DET-010: RiskEngine (already clean) - DET-014: Unknowns (already clean) Remaining work assessed: - Scanner: ~45+ matches - Scheduler: ~20+ matches - Signer: ~89 matches - VexLens: ~76 matches - VulnExplorer: 3 matches - Zastava: ~48 matches --- ...1_BE_determinism_timeprovider_injection.md | 29 ++++++++++--------- 1 file changed, 16 insertions(+), 13 deletions(-) diff --git a/docs/implplan/SPRINT_20260104_001_BE_determinism_timeprovider_injection.md b/docs/implplan/SPRINT_20260104_001_BE_determinism_timeprovider_injection.md index 9dc107b34..73365a4d7 100644 --- a/docs/implplan/SPRINT_20260104_001_BE_determinism_timeprovider_injection.md +++ b/docs/implplan/SPRINT_20260104_001_BE_determinism_timeprovider_injection.md @@ -58,19 +58,19 @@ | 2 | DET-002 | DONE | DET-001 | Guild | Ensure IGuidProvider abstraction exists in StellaOps.Determinism.Abstractions | | 3 | DET-003 | DONE | DET-001 | Guild | Ensure TimeProvider registration pattern documented | | 4 | DET-004 | DONE | DET-002, DET-003 | Guild | Refactor Policy module (Policy library complete, 14 files) | -| 5 | DET-005 | TODO | DET-002, DET-003 | Guild | Refactor Provcache module | -| 6 | DET-006 | TODO | DET-002, DET-003 | Guild | Refactor Provenance module | -| 7 | DET-007 | TODO | DET-002, DET-003 | Guild | Refactor ReachGraph module | -| 8 | DET-008 | TODO | DET-002, DET-003 | Guild | Refactor Registry module | -| 9 | DET-009 | TODO | DET-002, DET-003 | Guild | Refactor Replay module | -| 10 | DET-010 | TODO | DET-002, DET-003 | Guild | Refactor RiskEngine module | -| 11 | DET-011 | TODO | DET-002, DET-003 | Guild | Refactor Scanner module | -| 12 | DET-012 | TODO | DET-002, DET-003 | Guild | Refactor Scheduler module | -| 13 | DET-013 | TODO | DET-002, DET-003 | Guild | Refactor Signer module | -| 14 | DET-014 | TODO | DET-002, DET-003 | Guild | Refactor Unknowns module | -| 15 | DET-015 | TODO | DET-002, DET-003 | Guild | Refactor VexLens module | -| 16 | DET-016 | TODO | DET-002, DET-003 | Guild | Refactor VulnExplorer module | -| 17 | DET-017 | TODO | DET-002, DET-003 | Guild | Refactor Zastava module | +| 5 | DET-005 | DONE | DET-002, DET-003 | Guild | Refactor Provcache module (8 files: EvidenceChunker, LazyFetchOrchestrator, MinimalProofExporter, FeedEpochAdvancedEvent, SignerRevokedEvent, PostgresProvcacheRepository, PostgresEvidenceChunkRepository, ValkeyProvcacheStore) | +| 6 | DET-006 | DONE | DET-002, DET-003 | Guild | Refactor Provenance module (skipped - already uses TimeProvider in production code) | +| 7 | DET-007 | DONE | DET-002, DET-003 | Guild | Refactor ReachGraph module (1 file: PostgresReachGraphRepository) | +| 8 | DET-008 | DONE | DET-002, DET-003 | Guild | Refactor Registry module (1 file: RegistryTokenIssuer) | +| 9 | DET-009 | DONE | DET-002, DET-003 | Guild | Refactor Replay module (6 files: ReplayEngine, ReplayModels, ReplayExportModels, ReplayManifestExporter, FeedSnapshotCoordinatorService, PolicySimulationInputLock) | +| 10 | DET-010 | DONE | DET-002, DET-003 | Guild | Refactor RiskEngine module (skipped - no determinism issues found) | +| 11 | DET-011 | TODO | DET-002, DET-003 | Guild | Refactor Scanner module (~45+ matches remaining) | +| 12 | DET-012 | TODO | DET-002, DET-003 | Guild | Refactor Scheduler module (~20+ matches remaining) | +| 13 | DET-013 | TODO | DET-002, DET-003 | Guild | Refactor Signer module (~89 matches remaining) | +| 14 | DET-014 | DONE | DET-002, DET-003 | Guild | Refactor Unknowns module (skipped - no determinism issues found) | +| 15 | DET-015 | TODO | DET-002, DET-003 | Guild | Refactor VexLens module (~76 matches remaining) | +| 16 | DET-016 | TODO | DET-002, DET-003 | Guild | Refactor VulnExplorer module (3 matches remaining) | +| 17 | DET-017 | TODO | DET-002, DET-003 | Guild | Refactor Zastava module (~48 matches remaining) | | 18 | DET-018 | TODO | DET-004 to DET-017 | Guild | Final audit: verify zero direct DateTime/Guid/Random calls in production code | ## Implementation Pattern @@ -120,6 +120,9 @@ services.AddSingleton(); | 2026-01-04 | DET-004: Policy Replay/Deltas refactored - ReplayEngine, DeltaComputer, DeltaVerdictBuilder, ReplayReportBuilder, ReplayResult | Agent | | 2026-01-04 | DET-004: Policy Gates, Snapshots, TrustLattice, Scoring, Explanation refactored - 14 files total | Agent | | 2026-01-04 | DET-004 complete: Policy library now has deterministic TimeProvider/IGuidProvider injection | Agent | +| 2026-01-05 | DET-005: Provcache module refactored - 8 files (EvidenceChunker, LazyFetchOrchestrator, MinimalProofExporter, FeedEpochAdvancedEvent, SignerRevokedEvent, Postgres repos, ValkeyProvcacheStore) | Agent | +| 2026-01-05 | DET-006 to DET-010: Batch completed - ReachGraph (1 file), Registry (1 file), Replay (6 files); Provenance, RiskEngine, Unknowns already clean | Agent | +| 2026-01-05 | Remaining modules assessed: Scanner (~45), Scheduler (~20), Signer (~89), VexLens (~76), VulnExplorer (3), Zastava (~48) matches | Agent | ## Decisions & Risks - **Decision:** Defer determinism refactoring from MAINT audit to dedicated sprint for focused, systematic approach.