TY - RPRT TI - Attestable Audit: Property-Based Attestation for Proprietary Workloads without Artifact Disclosure AU - Takuma Imamura PY - 2026 UR - https://arxiv.org/abs/2610.04480 ID - 2610.04480 ER -