stella-ops.org/git.stella-ops.org
1
0
Fork 0
Code Issues Pull Requests Actions 2 Releases Wiki Activity

docs: update sprint file with DET-005 to DET-014 progress

Browse Source 
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
This commit is contained in:
StellaOps Bot
2026-01-04 15:10:50 +02:00
parent a872da765d
commit ff3e32e0b0
1 changed files with 16 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
docs/implplan/SPRINT_20260104_001_BE_determinism_timeprovider_injection.md
View File

@@ -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<IGuidProvider, SystemGuidProvider>();
| 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.