Skip to content

test(p8-a3.1): prototype typed evidence report at internal boundary - #150

Merged
aetherxeg-source merged 7 commits into
mainfrom
research/p8-a3-typed-report-bridge-prototype
Oct 4, 2026
Merged

aetherxeg-source merged 7 commits into
mainfrom
research/p8-a3-typed-report-bridge-prototype

Conversation

@aetherxeg-source

Copy link
Copy Markdown
Contributor

Purpose

Execute R0-R3 of #149 as a test-only research prototype.

Design

The prototype is compiled only under cfg(test) and consumes the internal BackendObservation boundary directly, before the public raw-v2 return path discards typed collection-health information.

It emits a deterministic research report containing only already-known metadata:

  • recognized backend/profile identity;
  • typed collection health;
  • warning codes;
  • unsupported capabilities;
  • bounded successful fd-write propositions and guarantees;
  • explicit non-claims.

Non-expansion boundary

No new acquisition is added. The prototype does not collect or claim:

  • file contents;
  • exact byte counts;
  • before/after state roots;
  • custody/trusted time;
  • signatures as behavioral authority;
  • source-code provenance.

No public CLI, Action, baseline, policy, verdict, or raw-v2 schema is changed.

Tests

R0-R3 cover deterministic output, incomplete/ambiguous health, unsupported capability, laundering attacks, backend-name inflation, missing capability, process binding, repeated effects, profile mismatch, and a live Linux x86_64 native ptrace write path.

R4 remains full CI + P9.3 compatibility before any R5 decision.

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