Proof of Process (PoP): Forensic Appraisal and Security Model

Introduction The value of Proof of Process (PoP) evidence lies in the Verifier's ability to distinguish biological effort from algorithmic simulation. This document provides the normative framework for forensic appraisal, defining the appraisal logic required to generate a Writers Authenticity Report (WAR).

Jitter Seal: Captured Behavioral Entropy Verifiers appraisal behavioral entropy (jitter) to establish a biological binding to the document. entropy-source, ; 1=keystroke, 2=pause, 3=mouse 2 => bstr, ; jitter-digest (compressed) 3 => bstr .size 32, ; hmac-binding to content } ]]>

Entropy Thresholds For a checkpoint to be considered "Biologically Bound," the JitterDigest MUST contain at least a minimum threshold of min-entropy (H_min). For ENHANCED profiles, this protocol RECOMMENDS H_min = 128 bits per 1,000 characters of input.

Forensic Assessment Mechanisms

SNR (Signal-to-Noise Ratio) Analysis:: Verifying the 1/f fractal noise signature of human motor signals to detect machine-clocked synthetic injection. Biological noise exhibits non-linear variance that is computationally expensive to simulate.
Cognitive Load Correlation (CLC):: To defeat high-fidelity AI jitter models, Verifiers MUST correlate timing patterns with semantic complexity. Human authors exhibit increased inter-keystroke intervals (IKI) during the composition of high-entropy segments (e.g., complex technical definitions).
Mechanical Turk Detection:: Analyzes intra-checkpoint correlation (C_intra) to detect "robotic pacing"—where an automated system maintains a machine-clocked editing rate regardless of content complexity.
Error Topology Analysis:: Human authors exhibit characteristic patterns: Localized corrections near recent insertions, and fractal self-similarity in revision patterns across different time scales.

Forgery Cost Bounds (Quantified Security) Forgery cost bounds provide a Verifier with a lower bound on the computational resources required to forge an Evidence Packet. The cost (C_total) is computed as:

C_vdf: Iterations * Joules per iteration * Energy Cost. The sequential nature of VDFs ensures time cannot be "bought" with parallel compute.
C_entropy: Effort required to synthesize biological noise that satisfies SNR and CLC constraints via high-fidelity AI modeling.
C_hardware: Pro-rated cost of discrete TPMs or high-bandwidth memory interfaces required for MHSF acceleration.

Absence Proofs: Negative Evidence Absence proofs assert that certain events did NOT occur during the monitored session.

Type 1: Computationally-Bound: Verifiable from the evidence chain alone (e.g., "Max single delta size < 100 bytes").
Type 2: Monitoring-Dependent: Requires trust in AE monitoring (e.g., "No content was pasted from unauthorized sources").
Type 3: Environmental: Assertions about system state (e.g., "No debugger attached" or "Hardware temperature remained within T_min/T_max").

Tool Receipt Protocol (AI Attribution) When external tools contribute content, the PoP framework enables a "compositional provenance" model:

Receipt Signing: The Tool signs a "Receipt" containing its identity and a commitment to the generated content.
Binding: The Attester records a PASTE event in the transcript referencing the Tool Receipt.
Countersigning: The Attester binds the Receipt into the next human-driven checkpoint, anchoring the automated work into the linear human effort.

Privacy and Inclusivity Verifiers MUST support Evidence Quantization to mitigate stylometric de-anonymization risks. Additionally, Verifiers MUST support Accessibility Modes for authors using assistive technologies, ensuring they are not systematically excluded.