{ "module": "libraries", "featureCount": 26, "lastUpdatedUtc": "2026-02-13T20:30:00Z", "features": { "advisory-lens": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/advisory-lens.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. AdvisoryLens.Tests: 19/19 passed. CaseMatcher semantic matching, LensResult ranking, DI registration verified."] }, "canonicalization-version-markers-for-content-addressed-hashing": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/canonicalization-version-markers-for-content-addressed-hashing.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Canonical.Json.Tests: 61/61, Canonicalization.Tests: 16/16. Versioned canonicalization, hash stability, version extraction verified."] }, "determinism-gate-testing-infrastructure": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/determinism-gate-testing-infrastructure.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Testing.Determinism.Tests: 45/45, TestKit.Tests: 158/158. CanonicalJsonAssert, SnapshotAssert, DeterministicRandom, storage idempotency verified."] }, "deterministic-replay-contract": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/deterministic-replay-contract.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Replay.Core.Tests: 1/1, Resolver.Tests: 44/44. CAS validation, manifest versioning, deterministic hash computation verified."] }, "distro-specific-version-comparators": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/distro-specific-version-comparators.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. VersionComparison.Tests: 94/94, DistroIntel.Tests: 49/49. Debian dpkg, RPM EVR, APK comparators with proof lines verified."] }, "doctor-health-check-plugins": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/doctor-health-check-plugins.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Doctor.Plugins.Integration.Tests: 16/16. Attestation, verification, integration plugins verified."] }, "edge-explanation-types-for-reachgraph": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/edge-explanation-types-for-reachgraph.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. ReachGraph.Tests: 60/60. EdgeExplanationType enum, deduplication, canonical serialization, DSSE signing verified."] }, "eidas-qualified-timestamp-support": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/eidas-qualified-timestamp-support.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. EIDAS.Tests: 25/25. TSP client, qualified timestamp verification, local signing/verification verified."] }, "evidence-graph-with-validation": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/evidence-graph-with-validation.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Resolver.Tests: 44/44. Tarjan cycle detection, implicit data detection, 4-phase resolution, GraphDigest verified."] }, "evidence-size-budgets-with-retention-tiers": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/evidence-size-budgets-with-retention-tiers.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Evidence.Tests: 24/24. Budget tracking, retention tier migration, auto-pruning, compression tiers verified."] }, "iguidprovider-determinism-abstraction-library": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/iguidprovider-determinism-abstraction-library.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. TestKit.Tests: 158/158. IGuidProvider, SequentialGuidProvider, DI extensions, ResolverBoundaryAttribute verified."] }, "ocsp-crl-certificate-status-provider": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/ocsp-crl-certificate-status-provider.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Cryptography.Tests: 330/330. OCSP client, CRL fetcher, revocation status, response caching verified."] }, "policy-lock-generator": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/policy-lock-generator.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. DeltaVerdict.Tests: 152/152. PolicyLock generation, rule hash computation, validation, TimeProvider injection verified."] }, "provcache-signer-aware-invalidation-and-evidence-chunk-paging-with-air-gap-expor": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/provcache-signer-aware-invalidation-and-evidence-chunk-paging-with-air-gap-expor.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Provcache.Tests: 217/217, Provcache.Postgres.Tests: 16/16, Provcache.Valkey.Tests: 11/11. Signer-aware invalidation, chunk paging, revocation ledger verified."] }, "provenance-cache-with-verikey-composite-hash": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/provenance-cache-with-verikey-composite-hash.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Provcache.Tests: 217/217. VeriKey composite hash, DecisionDigest, read-through cache, write-behind queue verified."] }, "replay-manifest": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/replay-manifest.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Replay.Core.Tests: 1/1. Manifest versioning, export pipeline, DSSE-signed bundles, CAS integration verified."] }, "replayable-evidence-packs": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/replayable-evidence-packs.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. AuditPack.Tests: 52/52. AuditPack build/write/read, ReplayExecutor drift tracking, DSSE attestation verified."] }, "risk-scoring-rubric-with-gate-verdicts": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/risk-scoring-rubric-with-gate-verdicts.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. DeltaVerdict.Tests: 152/152. GateEvaluator allow/warn/block, EPSS integration, VEX-aware scoring, adversarial validation verified."] }, "rpm-evr-version-comparison": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/rpm-evr-version-comparison.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. VersionComparison.Tests: 94/94. RPM EVR parsing, rpmvercmp algorithm, tilde semantics, proof line generation verified."] }, "runtime-purity-enforcement": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/runtime-purity-enforcement.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Resolver.Tests: 44/44. PureEvaluationContext, prohibited accessors, injected providers, AmbientAccessViolationException verified."] }, "shared-testkit-library-with-deterministic-infrastructure": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/shared-testkit-library-with-deterministic-infrastructure.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. TestKit.Tests: 158/158. TestCategories, DeterministicTime, DeterministicRandom, fixtures, assertions, blast-radius verified."] }, "stellaverdict-unified-artifact-with-json-ld-context": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/stellaverdict-unified-artifact-with-json-ld-context.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. DeltaVerdict.Tests: 152/152. StellaVerdict JSON-LD, VerdictAssemblyService, content-addressed VerdictId, policy path verified."] }, "triage-quality-kpi-collector-infrastructure": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/triage-quality-kpi-collector-infrastructure.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Metrics.Tests: 25/25. KpiCollector multi-domain collection, reachability/runtime/explainability/replay KPIs verified."] }, "unified-deterministic-resolver": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/unified-deterministic-resolver.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Resolver.Tests: 44/44. 4-phase resolution, Tarjan SCC, topological ordering, PureEvaluationContext, GraphDigest verified."] }, "unified-ievidence-interface-with-cross-module-adapters": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/unified-ievidence-interface-with-cross-module-adapters.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. Evidence.Core.Tests: 113/113. IEvidence interface, EvidenceRecord content-addressed ID, cross-module adapters, IEvidenceStore verified."] }, "verdict-bundle-builder": { "status": "done", "tier": 2, "retryCount": 0, "sourceVerified": true, "buildVerified": true, "e2eVerified": true, "skipReason": null, "lastRunId": "run-001", "lastUpdatedUtc": "2026-02-13T20:30:00Z", "featureFile": "docs/features/checked/libraries/verdict-bundle-builder.md", "notes": ["[2026-02-13T20:30:00Z] done: run-001 Tier 0/1/2d passed. DeltaVerdict.Tests: 152/152. VerdictBundleBuilder, DSSE signing, Rekor anchoring, scoring manifest versioning verified."] } }, "summary": { "done": 26, "not_implemented": 0, "blocked": 0, "failed": 0, "skipped": 0, "queued": 0, "checking": 0 } }