rdmpw3275m-changelog-20260906-0155-feat-20260901-29-verified-resolution-receipts
rdmpw3275m-changelog-20260906-0155-feat-20260901-29-verified-resolution-receipts
Implemented and verified the Verified Resolution Receipts auto-capture and re-confirmation engine in Tyrell (FEAT-20260901-29), establishing programmatic cryptographic proof bundles (commits, touched files, build exit codes, parsed test delta counts, and raw logs) for fleet ticket resolutions.
Scope
- Hosts: rdmpw3275m (execution/verification), rdmsm4x (canonical hub)
- Project: Tyrell (/Users/richh/dev/apps/Tyrell)
- Ticket: FEAT-20260901-29 (Closed / Resolved)
Changes
- Core Domain & Verification Engine
(
TyrellCore/Evidence):- Authored
ResolutionEvidenceModels.swift: Codable, Sendable domain models for VCS commits, build/test execution, bundle schemas, and bidirectional summary line formatters. - Authored
ResolutionEvidenceEngine.swift: actor coordinating Thread 0 isolation viaSubprocessRunner, concurrent >64 KB pipe draining, dual XCTest and Swift Testing output log parsing, streaming SHA-256 CryptoKit digest trees, POSIX0o444immutable bundle directory storage under~/dev/issues/evidence/<ticket-id>/<timestamp>/, and tamper detection.
- Authored
- CLI Subcommands (
tyrell evidence):- Authored
Sources/tyrell/EvidenceCommand.swift(267 lines):tyrell evidence capture <ticket-id>andtyrell evidence reconfirm <ticket-id>. - Integrated into
Sources/tyrell/Tyrell.swift(case "evidence"and standard help).
- Authored
- Stateless MCP Tools (
tyrell-mcp):- Registered and implemented
capture_resolution_evidenceandreconfirm_resolution_evidenceinSources/tyrell-mcp/MCPMain.swiftsupporting JSON-RPC 2.0.
- Registered and implemented
- Acceptance Verification:
- 53 unit and challenger tests passing (100% pass) under Swift 6 strict concurrency with zero compiler warnings.
- Empirical E2E testing verified:
tyrell evidence capturecreates complete bundle and SHA-256 digests.tyrell evidence reconfirmreportsCONFIRMEDon clean tree.tyrell evidence reconfirmreportsDRIFTEDwith test delta when tests are modified.- MCP
tools/callverified for both tools.
- Official resolution receipt bundle captured for
FEAT-20260901-29:[VERIFIED:280f601e1a69] commits:973a42d files:9 build:rc=0(0.14s) tests:39/39 bundle:~/dev/issues/evidence/FEAT-20260901-29/20260906-040028. - Ticket
FEAT-20260901-29resolved with official receipt.
Verification Evidence
- Build:
swift build -Xswiftc -warnings-as-errorspassed cleanly (0 warnings) acrosstyrell,tyrell-mcp, andTyrellCore. - Test Suites: 39 tests in
TyrellPackageTests.xctestpassed with 0 failures in 20.4s. - Commit:
973a42dabbba8364728edbe7a708cd7283142504in/Users/richh/dev/apps/Tyrell. - Evidence Bundle:
~/dev/issues/evidence/FEAT-20260901-29/20260906-040028synced tordmsm4x. - Promotion: All evidence sources, models, CLI, and test files synced
to
rdmsm4x:~/dev/apps/Tyrell.