← Pranav Bhave

Evidence ledger

Every technical claim the site renders with an evidence marker, in envelope form. This page is generated from claims.yaml by generate_ledger.py; CI regenerates it and fails on drift, verifies commit↔URL bindings, executes the executable review triggers against live evidence, and enforces each claim's freshness window — on every push and weekly. Triggers marked manual are honestly beyond CI's reach.

Schema v0.2 Last owner review: 2026-08-20 8 claims CI runs ↗
CC-001 Supported within scope · Machine-generated, owner-executed

cc.kernel.strict.frechet_bounds computes Fréchet–Hoeffding endpoint bounds for composed binary guardrail failure from declared marginals; for marginals (0.10, 0.10) it returns [0.0, 0.10] for the AND event and [0.10, 0.20] for OR.

Scope
The kernel module at the bound commit. Reproduced from a clean clone (venv, pip install, execute, assert) on 2026-08-20, and re-reproduced by CI on every push and weekly. No claim about any deployed system.
Binding
Cubits11/cc-framework @ 21f5ff68
Output recorded verbatim in /essays/when-marginals-are-not-enough/; continuously reproduced by scripts/reproduce_cc001.py in CI.
Dimensions
visibilityPublicprovenanceMachine-generated, owner-executedsupport roleExecuted outputmaturityReleased
Reviewed
2026-08-20 · window 120 days
Triggers
  • executable fires when the kernel module on the default branch diverges from the bound revision
  • manual kernel semantics change outside the bound module file
Non-claims
  • does not certify any stacked system as safe
  • does not recover or estimate the unknown dependence
  • does not select a point inside the returned interval
CC-002 Supported within scope · Owner-authored, public

CC-Framework maintains a claim-boundary manifest mapping its public claims to validation lanes, supporting files, and explicit non-claims.

Scope
The manifest file at the bound commit on the default branch.
Binding
CLAIM_BOUNDARY_MANIFEST.md @ 3e22c39d
Dimensions
visibilityPublicprovenanceOwner-authored, publicsupport roleDocumentmaturityReleased
Reviewed
2026-08-20 · window 120 days
Triggers
  • executable fires when the manifest on the default branch is rewritten or moved
Non-claims
  • the manifest's existence does not validate the claims it scopes
GA-001 Supported within scope · Lab repository, public

Ghost-Ark is a verifier and measurement harness for the provenance limits of AI-governance receipts — a research artifact of the S2 Lab, Penn State — whose stated thesis is that a receipt identifies an execution only up to the kernel of its canonicalizer.

Scope
The repository README and thesis document at the bound commit.
Binding
00_THESIS.md @ 98c90d82
Dimensions
visibilityPublicprovenanceLab repository, publicsupport roleDocumentmaturityIn development
Reviewed
2026-08-20 · window 120 days
Triggers
  • executable fires when the thesis document on the default branch changes
Non-claims
  • a verifying receipt does not establish that the governed action was safe, authorized, or semantically correct
  • not hardened for deployment; not post-quantum secure
AS-001 Publicly untested · Owner-attested

Assay is an early-stage experiment in enclave-attested media processing on AWS Nitro Enclaves, investigating which provenance claims a verifier can and cannot derive from attestation.

Scope
Owner statement only; the artifact is private.
Support
No public artifact yet, by declaration.
Dimensions
visibilityPrivateprovenanceOwner-attestedsupport roleNone publicmaturityExperimental
Reviewed
2026-08-20 · window 120 days
Triggers
  • manual public artifact released
Non-claims
  • no public evidence is offered; nothing about completeness, security, or provenance-chain origin is established
  • attestation cannot establish a file's history prior to the first attested operation
GV-001 Supported within scope · Owner-authored, public

Ghost Visualizer is a seven-scene React/Vite visual essay ("Why AI Safety Scores Lie") that computes marginals, OR composition, Fréchet–Hoeffding bounds, endpoint witnesses, and a receipt object from deterministic sample rows, with an Evidence Mode for inspection.

Scope
The repository at the bound commit. Runs locally; there is no hosted deployment, so the site links source, not a live demo.
Binding
Cubits11/ghost-visualizer @ 3fbe3efc
Dimensions
visibilityPublicprovenanceOwner-authored, publicsupport roleRepository READMEmaturityIn development
Reviewed
2026-08-20 · window 120 days
Triggers
  • executable fires when the README on the default branch is reframed
  • manual hosted deployment added — the site may then link a live demo
Non-claims
  • not an AI-safety certificate; no deployment-readiness claim
BIO-001 Publicly untested · Owner-attested

B.S. Computer Science, Pennsylvania State University, May 2026, with a minor in Cybersecurity; research supervised by Dr. Peng Liu (IST 496, Aug–Dec 2025).

Scope
Biographical fact. Owner-attested; publicly untested by design.
Support
Stated on resume; institutional verification available on request.
Dimensions
visibilityPrivateprovenanceOwner-attestedsupport roleNone publicmaturityStable
Reviewed
2026-08-20 · window 365 days
Triggers
  • manual annual review
Non-claims
  • no public registry link is provided; the site does not present this as third-party verified
CRED-001 Publicly untested · Owner-attested

Holds AWS Certified Cloud Practitioner and AWS Certified AI Practitioner; SAA-C03 and Security — Specialty are in progress.

Scope
Owner-attested; verification IDs available on request.
Dimensions
visibilityPrivateprovenanceOwner-attestedsupport roleNone publicmaturityStable
Reviewed
2026-08-20 · window 180 days
Triggers
  • manual certification expiry or a new certification earned
Non-claims
  • "in progress" asserts intent and preparation, not partial credential
SITE-001 Supported within scope · Owner-verified

This site's palette token pairs were computed to pass WCAG AA contrast (most AAA), and manual QA passes covered light/dark themes, desktop and mobile layouts, keyboard focus, reduced motion, and no-JS rendering, as recorded in DESIGN.md.

Scope
Manual and scripted checks recorded in DESIGN.md. No instrumented field performance data exists — the site runs no analytics by design.
Binding
DESIGN.md
Mutable link by design; the local-content trigger below detects edits.
Dimensions
visibilityPublicprovenanceOwner-verifiedsupport roleSite documentmaturityReleased
Reviewed
2026-08-21 · window 120 days
Triggers
  • executable fires when DESIGN.md changes without a registry re-review
  • manual site redesign
Non-claims
  • no field CLS/LCP/CrUX measurements are claimed
  • "zero third-party runtime requests" describes page code, not hosting infrastructure (GitHub Pages, DNS, TLS remain dependencies)