ResearchSkillFortify supply chain verificationWweb·medium signalXBlueskyLinkedInCopy linkFormal verification for AI skill supply chains. 540 skills scanned, 96.95% F1, 100% precision, 0% FP. Processes 1000-node graphs in <100ms. References ClawHavoc campaign (1200+ malicious skills). arXiv 2603.00195↳ Follow the threadStack layer / ContrastThe Post-Training Method, Not the Data, Decides How Refusal Is Computed Inside a ModelarXiv 2609.03887Stack layer / Threat patternA Blockchain-Anchored Black Box for Agent Workflows, Explicitly Scoped to Evidence Rather Than PreventionarXiv 2609.04017Policy dependency / Stack layerIntuit's Bedrock failover agent cut disaster recovery from hours to about 20 minutes across thousands of microservicesAWS Machine Learning BlogStack layer / Threat patternFIDO2's Real Weakness Is the Environment Around It, Not the CryptographyarXiv 2609.03789Stack layer / ContrastAn Upstream Agent's Wrong Claim Captures 54.2% of Answers When It Arrives FirstarXiv 2609.03425Stack layer / ContrastAstra's hallucination numbers are the buried result: AA-Omniscience 92% to 51%, internal benchmark 12.2% to 4.2%Artificial AnalysisStack layer / ContrastEpistemic Warrant Rates an Individual LLM Recommendation When There Is No Ground Truth to Check It AgainstarXiv 2609.04127Stack layer / ContrastSemantic Similarity Misses the Model Diversity That Actually Predicts Correlated FailurearXiv 2609.03422