Skip to content

feat: add derived-access qualification runner - #644

Merged
kevinswiber merged 1 commit into
mainfrom
feat/plan-0156-derived-access-runner
Jul 27, 2026
Merged

feat: add derived-access qualification runner#644
kevinswiber merged 1 commit into
mainfrom
feat/plan-0156-derived-access-runner

Conversation

@kevinswiber

Copy link
Copy Markdown
Member

Summary

  • add deterministic D0-128, L1, and L7 native smoke and lifecycle evidence modes
  • add retained-root preflight/bootstrap plus APFS L100/C262 scale and resource measurement modes
  • add raw-bound fragments, completion-last package assembly, and recursive verification that reconstruct every evaluator summary from typed receipts
  • keep the runner bench-gated and leave authoritative loose event/content storage and production routes unchanged

Validation

  • just check (3,056 passed, 2 declared skips)
  • cargo +stable nextest run --locked --features "bench longitudinal-counting" --no-tests pass (3,062 passed, 2 declared skips)
  • focused derived-access tests in default and counting builds
  • adversarial forged-receipt, forged-fragment, direct-package, and manifest-repair probes
  • just lint
  • just fmt
  • just derived-access-help
  • just derived-access-contract
  • just derived-access-smoke D0-128
  • git diff --check

Boundaries

This adds qualification-only tooling. It does not select or activate a storage profile, migrate data, persist body/search material, or change release behavior.

Add deterministic native smoke, lifecycle, retained-root, scale, resource, and completion-last evidence modes for the incremental derived-access falsifier. Reconstruct every evaluator summary from typed raw receipts so hand-authored evidence cannot cross fragment, assembly, or verification boundaries.
@kevinswiber
kevinswiber merged commit c02f3c9 into main Jul 27, 2026
20 checks passed
@kevinswiber
kevinswiber deleted the feat/plan-0156-derived-access-runner branch July 27, 2026 23:37
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