Published sample, not live customer evidence

Access removed proof

Synthetic method sample from the OffSec suite. Not a public buyer product card on the catalogue. Not live customer evidence, not access mutation, and not universal access-elimination.

Method sample

Access removed proof

Situation: prove one named access-removal event with sanitised before/after observations, without claiming every shadow path is gone or that a credential can never still be used.

Product: OFFSEC-ACCESS-REMOVEDRun: pr_access_removed_demo_20260711130000Status: Synthetic, not liveNot a public product card

How to use this sample

  1. 1. Read the walkthrough

    Open BUYER_WALKTHROUGH.md for the inspection order of this synthetic access-removal package.

  2. 2. Compare before and after

    Inspect sanitised before/after observations for the admitted opaque subjects and access paths.

  3. 3. Read findings

    Findings name remaining or unresolved scope, not that every possible path was discovered.

  4. 4. Stay inside the boundary

    This sample does not revoke access, validate credentials, or prove compromise absence.

What you can inspect

  • sanitised before/after observations for one named event
  • findings for remaining or unresolved scope
  • receipt, evidence manifest, and hash sidecars
  • buyer walkthrough and historical reference output

Package files

Proofpack bytes are published as a .proofpack file (ZIP-compatible contents). Prefer the listed package files for browser inspection.

Legacy proofpack format

This sample uses an earlier proofpack format. It is not compatible with the current Bundle V1 verifier. A pinned historical verifier is not presently available. Downloads are preserved for historical inspection, not as a current verification result.

Boundaries

  • No access mutation, credential validation, secrets, or universal access-elimination claim.
  • Not a public catalogue product card: method/example only.
  • Not a compromise claim or compliance certification.
  • Synthetic trust keys only, not production signing custody.
  • Not live customer evidence, production verification for your environment, or compliance certification.
Sample: Access removed proof (method) | WitnessOps