Skip to content

refactor(evidence): share inventory producer primitives - #95

Open
doublewhy wants to merge 3 commits into
devfrom
94-REP-005-shared-inventory
Open

refactor(evidence): share inventory producer primitives#95
doublewhy wants to merge 3 commits into
devfrom
94-REP-005-shared-inventory

Conversation

@doublewhy

Copy link
Copy Markdown

Plain-language summary

  • Context: feat(cli): verify offline evidence bundle integrity #93 introduces a generic offline integrity verifier, while existing CLI and CybORG producers already emit the same four-field inventory entries.
  • Problem: Producers duplicated byte-level inventory mechanics, and CybORG semantic verification did not first prove generic transitive integrity.
  • Fix: Add private simulator-free inventory primitives, preserve producer wrappers and exact bytes, and run generic integrity before backend-local semantic recomputation.

Issues closed

Closes #94

Verification

  • Focused inventory, generic-verifier, and CybORG reproduction suite: 67 passed.
  • Exact canonical JSON bytes and legacy media types are frozen for both current producer wrappers.
  • Generic tamper rejection is proven to occur before backend semantic parsing.
  • Ruff formatting/checks passed; strict mypy passed across 87 source files.
  • Repository policy, REP-005 requirement governance, identity policy, ADR immutability, 40 tooling tests, and all five optional-extra typecheck lanes passed under Python 3.12.
  • The macOS ARM canonical base lane reached 491 passed / 21 skipped, then reproduced an existing parent-branch CybORG source-snapshot test failure; the same test fails unchanged on feat(cli): verify offline evidence bundle integrity #93. Authoritative Ubuntu CI remains required after retargeting.
  • git diff --check passed.

Merge order

ADR boundary

ADR-002 permits shared mechanical plumbing but keeps RAES and backend modules authoritative. The new private module imports no simulator or RAES contract and defines no schema, protocol, aggregate, privacy rule, semantic check, or scientific claim. ADR-003's single-distribution boundary remains unchanged.

Base automatically changed from 92-REP-005-offline-bundle-verifier to dev August 14, 2026 19:30
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