Skip to content

docs(tdx-hydro): record seven-basin verdict ledger - #213

Merged
CooperBigFoot merged 1 commit into
pce/close-the-seven-basin-coverage-gap/milestone-6from
pce/close-the-seven-basin-coverage-gap/m6-s2
Aug 10, 2026
Merged

docs(tdx-hydro): record seven-basin verdict ledger#213
CooperBigFoot merged 1 commit into
pce/close-the-seven-basin-coverage-gap/milestone-6from
pce/close-the-seven-basin-coverage-gap/m6-s2

Conversation

@CooperBigFoot

Copy link
Copy Markdown
Owner

Summary

  • Add the canonical seven-basin verdict ledger. The committed JSON is the single verdict authority.
  • Keep the two provenance identities separate: adapter version 0.1.0 at git revision bca87d8adb0651d130bde9c7dfcf3947427cfa24 identifies the examined adapter build, while the adjudicator at bd2606c1dd268eee8f87327008411bf73a08d1b7 derived the verdicts.
  • Derive each verdict from measurements recorded in the ledger. The README carries the derivation rules needed to recompute them.
  • Treat both evidence trees as read-only. Before-and-after metadata inventories verified that both remained unchanged.

Validation

All five repository gates pass:

  • cargo fmt --check
  • cargo clippy --workspace --all-targets -- -D warnings
  • cargo check --workspace --all-targets
  • cargo test --workspace
  • cargo build --workspace

The full adapter suite reports Ran 112 tests ... OK.

Scope

This step transmits no source-defect report, contacts no external party, touches no S3, provisions nothing, deletes nothing, and begins no downstream compilation or assembly.

The ledger records one verdict for each of the seven absent processing basins, preserved byte-for-byte from adjudicator stdout.

adapter_version 0.1.0 and git_revision bca87d8 identify the examined adapter build, while the adjudicator at bd2606c derived the verdicts.

Both evidence trees were read only and verified unchanged by a before-and-after metadata inventory.
@CooperBigFoot
CooperBigFoot force-pushed the pce/close-the-seven-basin-coverage-gap/m6-s2 branch from 27c100b to 26d8ad6 Compare August 10, 2026 09:30
@CooperBigFoot
CooperBigFoot merged commit f4f660b into pce/close-the-seven-basin-coverage-gap/milestone-6 Aug 10, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant