Engineering BlogCopy pageEngineering Blog Long-form engineering analysis: data provenance, verifiable systems, and the infrastructure of trust. September 24, 2026Why Buran Had Four Computers, Not Three — and What a Lean Proof AddsSeptember 16, 2026RFC 3161 vs OpenTimestamps: What Each Timestamp ProvesSeptember 7, 2026Intel TDX Remote Attestation Verifier Without Intel Trust AuthoritySeptember 6, 2026The Two MMLU Scores: What a Benchmark Name Does Not FixSeptember 6, 2026Tamper-Evident Audit Logs: Hash Chains, Merkle Trees, and External AnchoringSeptember 6, 2026AI Agent Audit Trail: What to Hash, What to Anchor, What to Bind to the FrameAugust 30, 2026FBI Open-Source Facial Recognition RFI (FBI-BSS-FRT): Two Accuracy QuestionsAugust 30, 2026FBI Image Capturing RFI: Which NARA FADGI Requirement Is NamedAugust 29, 2026DARPA COOP BAA: What Anchors "If and Only If the Device Physics Is Correct"August 29, 2026NIST NCCoE DevSecOps Live Document: What Does the Attestation Attest?August 26, 2026FBI CJIS Data Mesh RFI: What Its Traceability Requirement Does Not SpecifyAugust 25, 2026NIH N3C Data Enclave Sources Sought: What Crosses the Platform BoundaryAugust 25, 2026INL Reviewing Smarter RFI: Four Readings of "Every Output Traceable"August 16, 2026FBI TSC AI Sources Sought: What "Traceable Lineage" Actually RequiresLast updated on September 29, 2026Analog front-endContributions