Hastra AUTO

Verifier note: panel 1/3 confirmed (agreement=1) | gpt-family: unsupported — The report confirms that the audited code had an initialize-instruction flaw involving missing validation of the program update authority, but it does not establish the deployed programs' upgradeabili | anthropic-family: confirmed — The claimed quote appears verbatim in the archived audit report as a Medium-severity finding: 'missing program update authority validation in the initialize instruction (creating a race condition wher | gpt-family: unsupported — The claimed atomic value for upgradeability is blank. The source discusses missing validation of the program update authority during initialization and says the issue was later resolved, but it does n

Verifier note: panel 1/2 confirmed (agreement=2) | openai/gpt-5.6-terra: confirmed — The cited Hastra Terms of Use page identifies itself as “Terms of Use” and states that the DeFi application and related services are “provided by Signum Ltd.” It further defines Signum Ltd. as a Briti | anthropic/claude-sonnet-5: unsupported — The underlying reference itself checks out — hastra.io/terms does host a page titled 'Terms of Use' that governs the Hastra DeFi application, so the document_terms_of_use value (Hastra Terms of Use at

Verifier note: panel 1/2 confirmed (agreement=1) | openai/gpt-5.6-terra: contradicted — The source confirms that an AUTO→USDC exit is multi-step across both programs: AUTO is redeemed to wYLDS in vault-stake-auto, then wYLDS is converted to USDC through vault-mint’s operator-mediated req | anthropic/claude-sonnet-5: confirmed — The source explicitly states 'Returning to USDC is a multi-step process across both programs' and details Phase 1 (redeem AUTO for wYLDS, single-step/atomic) and Phase 2 (wYLDS→USDC via vault-mint's a

Verifier note: panel 0/2 confirmed (agreement=2) | openai/gpt-5.6-terra: contradicted — The audit supports that Hastra has account freeze/thaw, whitelisted-withdrawal, and two-step-redemption controls. However, it does not support the specific Solana vault-stake claim that there are up t | anthropic/claude-sonnet-5: unsupported — Only one of the two cited sources (the Sherlock audit PDF) was actually re-fetched and its content matches the claimed quote almost verbatim: 'regulatory-compliance controls (account freeze/thaw, whit

Verifier note: panel 0/3 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The fetched AUTO help page supports that AUTO is transferable (“Yes, AUTO is fully transferable as an SPL token on So[...lana]”). However, the supplied live content does not substantiate the asserted | anthropic/claude-sonnet-5: unsupported — The live fetch of help.hastra.io/auto/what-is-auto confirms the transferability quote verbatim: 'Yes, AUTO is fully transferable as an SPL token on Solana.' However, the second cited source (github.co | openai/gpt-5.6-terra: contradicted — The Hastra help page states that AUTO is “fully transferable as an SPL token on Solana,” supporting the general characterization. However, the cited vault/staking repository states that designated adm

Verifier note: panel 0/2 confirmed (agreement=2) | openai/gpt-5.6-terra: contradicted — The Hastra AUTO source expressly states that the auto loans sit in a “bankruptcy remote-trust” and labels this protection “Bankruptcy remoteness.” It further says the structure is designed to isolate | anthropic/claude-sonnet-5: contradicted — The Hastra source explicitly and repeatedly states that the auto loan structure IS bankruptcy remote: it describes 'Bankruptcy remoteness' as one of the named structural protections, states the loans

Verifier note: panel 0/3 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The cited Terms support that Signum Ltd. is a BVI company, referred to as “Hastra,” and is a wholly owned subsidiary of Provenance Cayman Foundation; they also describe Signum/Hastra as providing the | anthropic/claude-sonnet-5: unsupported — The BVI/Cayman legal-vehicle structure and the auto-loan Delaware statutory trust/MRA details are directly confirmed by the fetched pages, matching the quoted language almost verbatim. However, the cl | openai/gpt-5.6-terra: unsupported — The sources support that Signum Ltd. is a BVI company, is described as “Hastra” in the Terms, and is wholly owned by Provenance Cayman Foundation. They also expressly support that the auto loans sit i

Verifier note: panel 0/2 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The fetched Hastra terms support that the protocol is provided by Signum Ltd., a British Virgin Islands company, and restrict use by U.S. residents, citizens, and persons located in the United States | anthropic/claude-sonnet-5: unsupported — The two fetched sources confirm several individual sub-claims: hastra.io/terms confirms Signum Ltd. is BVI-organized and that users must not be U.S. persons; the SEC S-1/A confirms Figure Certificate

Verifier note: panel 0/3 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The fetched SEC proxy supports Michael Tannenbaum as Figure Technology Solutions’ CEO and director, and identifies Ronald Chillemi as Chief Legal Officer and Corporate Secretary. It also names Michael | anthropic/claude-sonnet-5: unsupported — The two re-fetched sources support parts of the claim but not all of it. The Businesswire piece confirms Cagney's move from CEO to Executive Chairman and Tannenbaum's appointment as CEO, and the SEC D | openai/gpt-5.6-terra: unsupported — The re-fetched SEC proxy supports Michael Tannenbaum as Chief Executive Officer and Director and Ronald Chillemi as Chief Legal Officer and Corporate Secretary. It also identifies June Ou as a directo

Verifier note: panel 0/2 confirmed (agreement=2) | openai/gpt-5.6-terra: contradicted — The cited AUTO page says Figure Forge issues participation tokens representing pro-rata claims on auto-loan-pool cash flows. It does not say that a holder’s wYLDS is such a pro-rata claim. Conversely, | anthropic/claude-sonnet-5: unsupported — The fiduciary/custody disclaimer portion is verbatim-confirmed by hastra.io/terms ('Hastra does not act as a custodian of user funds' and 'Hastra owes no fiduciary duties or liabilities to you'). The

Verifier note: panel 0/2 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The fetched page is titled “Terms of Use” and states that its terms govern the Hastra DeFi application and Protocol, which are provided by Signum Ltd. (defined as “Hastra”). It also expressly discusse | anthropic/claude-sonnet-5: unsupported — The fetched Terms of Use page does confirm that Signum Ltd. (a BVI company, wholly owned subsidiary of Provenance Cayman Foundation) provides the Terms governing the DeFi application/Protocol at hastr

Verifier note: panel 1/3 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The sources support that Hastra is operated by Signum Ltd., a BVI company; that its terms prohibit U.S. persons and persons in comprehensively sanctioned (as well as certain unlawful/registration-trig | anthropic/claude-sonnet-5: confirmed — The Hastra Terms of Use page directly confirms: (1) the protocol restricts access to non-US persons and lists numerous sanctioned jurisdictions (matching the claimed quote verbatim), (2) the operating | openai/gpt-5.6-terra: unsupported — Hastra’s Terms support the core eligibility restriction for its Site/Protocol: users must not be U.S. residents, citizens, or persons located in the United States or territories, and must not be in co

Verifier note: panel 0/2 confirmed (agreement=1) | openai/gpt-5.6-terra: contradicted — The source confirms that conversion of wYLDS to USDC is operator-mediated and follows a two-call `request_redeem` / `complete_redeem` flow, with batching minimums and possible banking-hours delays. Ho | anthropic/claude-sonnet-5: unsupported — The source confirms that converting wYLDS to USDC (Phase 2) is indeed a two-step, operator/admin-mediated process (request_redeem/complete_redeem) and not instant — this matches the claim's core asser

Verifier note: panel 1/2 confirmed (agreement=1) | openai/gpt-5.6-terra: unsupported — The report directly supports that Figure engaged Informal Systems for a security audit of Hastra’s vault-mint and vault-stake Solana programs, conducted in two phases from September 24 to November 18, | anthropic/claude-sonnet-5: confirmed — The cited PDF explicitly states that Figure engaged Informal Systems in September 2025 to conduct a comprehensive security audit of the Hastra vault-mint and vault-stake Solana programs, and details t

Verifier note: panel 1/2 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The fetched endpoint is a JSON feed at the cited `/por` path and does contain timestamped token/card data, including `vaulted_wylds`, `vault_balance_by_chain`, supply, price, and ratio fields. Its dis | anthropic/claude-sonnet-5: confirmed — The re-fetched JSON from the cited endpoint contains all the listed keys: "wylds_card", "prime_card", "auto_card", "hastra_account_card" as top-level objects, and "vaulted_wylds", "current_price", "ra

Verifier note: panel 0/2 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The SEC prospectus expressly states that “UMB Bank n.a. member FDIC, is custodian of FCC’s assets pursuant to a custody agreement.” Hastra’s terms expressly state both that it “holds YLDS as collatera | anthropic/claude-sonnet-5: unsupported — Most sub-claims are confirmed verbatim: UMB Bank N.A. (FDIC member) is confirmed as FCC's custodian per the SEC prospectus; Hastra's terms page confirms it holds YLDS as collateral for wYLDS and expli

Verifier note: panel 0/2 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The fetched Hastra page supports Agora Data’s role as AUTO-loan originator, underwriter, and servicer, and supports Figure/Figure Forge’s structuring, credit-enhancement, and Democratized Prime market | anthropic/claude-sonnet-5: unsupported — Only two of the four cited sources were actually re-fetched (help.hastra.io/auto/what-is-auto and the SEC 497 filing); the x.com/HastraFi source was not fetched/verified. Of the claims that can be che

Verifier note: panel 1/2 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — Hastra’s Terms directly support that Signum Ltd. is organized under BVI law, is doing business as “Hastra,” is a wholly owned subsidiary of Provenance Cayman Foundation, and provides the Hastra DeFi a | anthropic/claude-sonnet-5: confirmed — All three cited quotes are verified verbatim in the re-fetched sources. hastra.io/terms confirms Signum Ltd. (BVI) is the entity referred to as 'Hastra,' operating the Site/Protocol, and is stated to

Verifier note: panel 0/2 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The AUTO integration guide supports the core mechanics: AUTO is a share-based position; yield accrues via an appreciating Chainlink-sourced AUTO/wYLDS exchange rate; rewards are periodically added to | anthropic/claude-sonnet-5: unsupported — The first quote is verified verbatim in the AUTO Solana integration guide, which does describe an appreciating Chainlink-sourced exchange rate and explicitly states 'on Solana yield does not require a

Verifier note: panel 1/3 confirmed (agreement=1) | openai/gpt-5.6-terra: unsupported — The cited URL is a live JSON API endpoint and its path ends in `/por`, but the fetched content never expands “por” as “proof-of-reserves” or explicitly identifies the endpoint as a Hastra Pulse proof- | anthropic/claude-sonnet-5: unsupported — The document asserts this URL is the 'Hastra Pulse proof-of-reserves live API endpoint' and cites the quote 'por.' However, the live JSON returned by the endpoint never contains the literal string 'po | google/gemini-3.6-flash: confirmed — The live API endpoint at https://hastra.io/hastra-pulse/public/api/v1/por returns JSON data detailing supply, vault balances, reserve ratios, and holder stats across various cards/tokens, confirming i

Verifier note: panel 1/3 confirmed (agreement=1) | openai/gpt-5.6-terra: unsupported — The cited SEC filing confirms that it is Figure Certificate Company’s Form S-1 registration statement, Amendment No. 6 (i.e., an S-1/A), filed February 18, 2025. However, the fetched content does not | anthropic/claude-sonnet-5: confirmed — The fetched document is an SEC Form S-1/A (Amendment No. 6) filed by Figure Certificate Company on February 18, 2025, matching the claimed document type, issuer, and FY2025 filing date. The registrant | google/gemini-3.6-flash: unsupported — The cited text does not contain the quoted string 'Figure Certificate Co - Form S-1/A - FY2025'. The registrant is listed as 'FIGURE CERTIFICATE COMPANY', the document is Amendment No. 6 to Form S-1 f

Verifier note: panel 0/3 confirmed (agreement=1) | openai/gpt-5.6-terra: contradicted — The fetched SEC EDGAR page does not identify CIK 0001974395 as “Figure Certificate Co” and states “There is no filings data for this organization” and “Please use the Company or Person Lookup to find | anthropic/claude-sonnet-5: contradicted — The claim asserts that CIK 1974395 corresponds to 'Figure Certificate Co' and that this entity has an S-1 filing (333-275154) with an amendment no. 6 dated 2025-02-18. The cited quote 'Figure Certific | google/gemini-3.6-flash: unsupported — The re-fetched EDGAR page for CIK 0001974395 returned an empty company landing page without entity details and does not contain the quoted text 'Figure Certificate Co'.

Verifier note: panel 0/3 confirmed (agreement=1) | openai/gpt-5.6-terra: unsupported — The cited SEC document is a Figure Technology Solutions, Inc. definitive proxy statement (Schedule 14A) dated April 24, 2026. However, the fetched content contains no disclosure of a Software License | anthropic/claude-sonnet-5: contradicted — The cited SEC filing at that URL/accession number is a DEF 14A (Definitive Proxy Statement) for Figure Technology Solutions' 2026 Annual Meeting of Stockholders, dated April 24, 2026. It covers direct | google/gemini-3.6-flash: unsupported — The provided SEC filing text (DEF 14A Proxy Statement dated April 24, 2026) does not contain the quoted statement nor any references to Signum Ltd., Hastra, or a Software License Agreement.

Verifier note: panel 0/3 confirmed (agreement=1) | openai/gpt-5.6-terra: unsupported — The fetched SEC content supports that the filing is tagged for FY 2025 and contains a 2025-12-31 reporting period, but the excerpt does not state “ANNUAL REPORT,” identify the issuer by its full legal | anthropic/claude-sonnet-5: unsupported — The re-fetched content from the cited SEC.gov URL consists entirely of XBRL/inline-XBRL data tags, entity identifiers, and context references (e.g., dei:DocumentFiscalYearFocus, us-gaap:CommonClassAMe | google/gemini-3.6-flash: unsupported — The cited source text provided in the prompt does not contain the quoted phrase 'ANNUAL REPORT'.

Verifier note: panel 1/2 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The fetched page confirms that it is titled “Terms of Use,” governs access to and use of Hastra’s DeFi application and related services, and identifies Signum Ltd. as organized under British Virgin Is | anthropic/claude-sonnet-5: confirmed — The live fetch of https://hastra.io/terms shows the Terms of Use are indeed provided by Signum Ltd., described as 'a company organized under the laws of the British Virgin Islands ("Hastra")', and the

Verifier note: panel 1/2 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — The fetched page is an AUTO Solana programmatic integration guide and expressly details “The Redemption Lifecycle,” including that the AUTO-to-wYLDS redemption has no unbonding period/queue (with unbo | anthropic/claude-sonnet-5: confirmed — The cited page is titled '[AUTO] Hastra SOL Programmatic Integration Guide' and is a technical integration guide. It contains a section explicitly headed 'The Redemption Lifecycle: AUTO → wYLDS → USDC

Verifier note: re-adjudicated 2026-08-03T12:52:15.183Z from rejected status | panel 0/4 confirmed (agreement=4) | gpt-family: unsupported — The archived integration guide confirms an operator-mediated wYLDS-to-USDC request/complete flow and describes a user-specific RedemptionRequest PDA, but it does not state the claimed liquidity rule, | anthropic-family: unsupported — Only one of the three cited quotes appears in the archived content. The help.hastra.io quote 'recommended path is to stop at wYLDS' is verified verbatim, and the AUTO integration guide corroborates th | kimi-family: unsupported — Several key elements of the claim rest on quotes not present in the archived snapshots. The hastra.io quote 'USDC pending. Once complete, you will be able to redeem more wYLDS' does not appear in the | gpt-family: unsupported — The claimed atomic value for redemption_cap is blank. The archived sources describe an operator-mediated wYLDS-to-USDC redemption process and a current $2,000 batching minimum, but they do not state a

Verifier note: re-adjudicated 2026-08-03T12:40:46.226Z from rejected status | panel 0/3 confirmed (agreement=3) | gpt-family: unsupported — The sources establish a 1:1 USDC-to-wYLDS conversion ratio, but that does not establish a zero mint/redeem fee. The buying guide explicitly tells users to review “Any applicable fees” and separately i | anthropic-family: unsupported — The claim fee_mint_redeem = 0 is inferred from silence, not stated. The AUTO integration guide never specifies a mint/redeem fee (the claimant's own quote admits 'No fees or caps are explicitly specif | kimi-family: unsupported — Neither source explicitly states that mint/redeem fees are zero. The claimed quote from the integration guide concedes 'No fees or caps are explicitly specified in the document,' which is an admission

Verifier note: panel 0/3 confirmed (agreement=1) | openai/gpt-5.6-terra: contradicted — The fetched page attributes AI-powered underwriting to Agora Data and states that “Agora handles origination, underwriting, and servicing.” It describes Figure’s role as sourcing and diligencing the t | anthropic/claude-sonnet-5: unsupported — The fetched page describes Agora as the originator using its own 'AI-powered underwriting framework,' and states Figure's role is limited to structuring, credit enhancement, and capital markets infras | google/gemini-3.6-flash: unsupported — The provided text mentions that Agora originates auto loans through an AI-powered underwriting framework and that Figure sources and diligences the originator. However, it does not state that Figure p

Verifier note: panel 0/3 confirmed (agreement=1) | openai/gpt-5.6-terra: unsupported — The re-fetched SEC content is an XBRL/metadata extract showing a FY 2025 filing, but it does not include the quoted auditor-report language or otherwise identify an independent auditor, the audited co | anthropic/claude-sonnet-5: unsupported — The re-fetched content from the cited SEC filing URL consists entirely of raw XBRL context/tag metadata (entity identifiers, date contexts, unit definitions, etc.) and does not contain the claimed quo | google/gemini-3.6-flash: unsupported — The provided source snippet consists of XBRL data tags and financial line-item identifiers from Figure Technology Solutions' Form 10-K filing. It does not contain the auditor's report text, the quote

Verifier note: panel 0/3 confirmed (agreement=1) | openai/gpt-5.6-terra: contradicted — The PDF supports that Sherlock performed a collaborative engagement dated April 9–12, 2026 and lists the four named Ethereum files in its stated scope. However, the claimed finding totals improperly a | anthropic/claude-sonnet-5: contradicted — The claim asserts that the April 9–12, 2026 engagement alone (covering only the four named Ethereum contracts) produced 4 Medium findings (2 resolved, 2 acknowledged) and 11 Low/Info resolved. The sou | google/gemini-3.6-flash: contradicted — The claim misattributes the combined findings of two separate engagements across two blockchains to a single audit timeframe and scope. The 4 Medium (2 resolved, 2 acknowledged) and 11 Low/Info findin

Verifier note: panel 0/2 confirmed (agreement=2) | openai/gpt-5.6-terra: unsupported — Hastra’s live Terms support that tax consequences may arise from acquiring, staking, earning, or disposing of digital assets; that the user is solely responsible for their tax obligations; and that Ha | anthropic/claude-sonnet-5: unsupported — The re-fetched hastra.io/terms content fully confirms the first quote verbatim (Tax Risk section: 'Acquiring, staking, earning wYLDS on, and disposing of digital assets may have tax consequences in yo

Verifier note: panel 0/3 confirmed (agreement=5) | openai/gpt-5.6-terra: contradicted — The Hastra page supports that Hastra distributes DeFi yield; AUTO uses Democratized Prime; Figure Connect uses DART; Figure Forge creates participation tokens; Figure operates Democratized Prime; and | anthropic/claude-sonnet-5: unsupported — The fetched help.hastra.io page substantiates most of the mechanical claims (DeFi distribution layer routing yield from Figure's on-chain lending stack, Figure Connect/DART, Figure Forge participation | google/gemini-3.6-flash: unsupported — The cited sources support that Hastra is a DeFi distribution layer routing yield from Figure's on-chain lending stack, that Figure utilizes Figure Connect (DART registry), Figure Forge, and the Democr

Verifier note: panel 0/2 confirmed (agreement=2) | openai/gpt-5.6-terra: contradicted — The Hastra page supports that wYLDS is backed 1:1 by YLDS in Hastra’s reserve. However, it identifies YLDS as an SEC-registered yield-bearing stablecoin “minted by Figure Loans, LLC,” not as a face-am | anthropic/claude-sonnet-5: unsupported — The Hastra help-page does confirm the core 1:1 backing claim verbatim ('Each wYLDS is backed 1:1 with YLDS held in Hastra's reserve'), but the rest of the atomic claim is not substantiated by the fetc

Verifier note: panel 0/3 confirmed (agreement=4) | openai/gpt-5.6-terra: contradicted — The Hastra page supports the core yield narrative: AUTO exposes holders to consumer-auto-loan interest; the loans involve near-prime/subprime credit; the underlying loans are said to generate approxim | anthropic/claude-sonnet-5: unsupported — Most elements of the claim are directly supported by the fetched pages: the ~20% net coupon on auto loans, the ~9% target yield to AUTO holders, the 50bp Hastra platform fee, the 50bp Figure Markets b | google/gemini-3.6-flash: unsupported — The claim states that the Democratized Prime marketplace sets the pool lending rate via an 'hourly utilization-based auction', whereas the fetched Hastra documentation states that the rate is set cont

Verifier note: panel 0/3 confirmed (agreement=4) | openai/gpt-5.6-terra: unsupported — The fetched Hastra sources support the AUTO mechanism: staking wYLDS mints AUTO and programmatically directs the YLDS backing into Democratized Prime’s auto pool; the pool includes near-prime and subp | anthropic/claude-sonnet-5: contradicted — Most elements of the claim are well supported by the fetched pages: AUTO's backing by near-prime/subprime Agora Data auto loans, staking wYLDS to fund Democratized Prime lending, tokenization via Figu | google/gemini-3.6-flash: unsupported — While almost all material claims regarding the underlying auto loan composition (originated by Agora Data, near-prime and subprime credit), tokenization (Figure Connect, DART, Figure Forge participati