specs-team/specs-mechanism-monitoring-e2ee-auditor archive