{"claim":{"id":"urn:vlsi:claim:2046b5235ffe36d8ae00c5d4149bed662f6df0b37cd8e0a27d70a8f3565c778c","ontologyVersion":"semiconductor/1.3.0","subjectId":"urn:vlsi:entity:0879feec-fdc1-553c-bc8c-615a02af224f","predicate":"DOCUMENTS_USE_OF","objectId":"urn:vlsi:entity:f8168dfe-ea7c-537a-a995-d003ed1a21cb","value":null,"qualifiers":{"qualification":"Upstream documented; not executed by Hub","scope":"The Yosys README links SBY as its formal verification front-end; installed solvers and supported syntax remain separate requirements.","sourceRevision":"3c94637a1857e61d07ac47f0346ba0804233abb3","targetVersion":"unknown","upstreamRelationshipId":"yosys:integrates_with:symbiyosys"},"status":"SUPPORTED","reviewedStatus":"SUPPORTED","confidence":{"version":"evidence-index/1.0.0","score":85,"eligible":true,"factors":{"authority":45,"direct":15,"independence":0,"extraction":10,"resolution":15,"supportingEvidence":1,"independentOrigins":1,"refuted":false},"interpretation":"Rule-based evidence index, not a calibrated probability; verification is a separate reviewed status."},"temporal":{"kind":"unknown","from":null,"to":null,"basis":"The source establishes a scoped registry listing or documented integration at its observed revision. Publication, Git commit, retrieval and shuttle labels do not establish a relationship validity period."},"firstObservedAt":"2026-10-14T00:04:17.557Z","recordedAt":"2026-10-14T00:04:17.557Z","lastEvidenceCheckedAt":"2026-10-14T00:04:17.557Z","lastVerifiedAt":null,"revision":1,"assessmentId":"urn:vlsi:assessment:0d225092-eb4a-494f-8807-e28b7bca68bd","review":{"actorId":"checked-catalog-source-adapter","actorKind":"adapter","reason":"Evidence ingested by official-registry-and-pinned-documents/1.0.0. Explicit upstream evidence only. No fabrication, validation, successful tapeout, measured performance, arbitrary-version interoperability or production qualification is inferred."},"conflicts":[],"evidence":[{"id":"urn:vlsi:evidence:9caef99452e11f49b0033304b147d1ebf5785a0651403b1f7ae24c245a080e19","claim_id":"urn:vlsi:claim:2046b5235ffe36d8ae00c5d4149bed662f6df0b37cd8e0a27d70a8f3565c778c","source_id":"urn:vlsi:source:24400ac5743d30e43e813888f5e72df3f3d57c3cc0620108f038fe01dbb48160","stance":"supports","locator":"README / Web Site and Other Resources","paraphrase":"The Yosys README links SBY as its formal verification front-end; installed solvers and supported syntax remain separate requirements.","method":"deterministic-adapter","extraction_certainty":1,"resolution_certainty":1,"observed_at":"2026-10-14T00:04:17.557Z","ingestion_key":"checked-catalog-connections/2026-10-14/v1/133","url":"https://raw.githubusercontent.com/YosysHQ/yosys/3c94637a1857e61d07ac47f0346ba0804233abb3/README.md","title":"yosys pinned upstream documentation","publisher":"Official yosys repository","tier":"A","is_primary":1,"independence_group":"github:YosysHQ/yosys","published_at":null,"retrieved_at":"2026-10-13T23:58:55.163Z","rights":"reference-only","rights_note":"Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms.","content_hash":"6872d8d07706deeccb1817bc1883238a7dbb34cfa25774e5abbc0348bf3a58a5"}]},"assessments":[{"id":"urn:vlsi:assessment:0d225092-eb4a-494f-8807-e28b7bca68bd","claim_id":"urn:vlsi:claim:2046b5235ffe36d8ae00c5d4149bed662f6df0b37cd8e0a27d70a8f3565c778c","revision":1,"previous_id":null,"status":"SUPPORTED","valid_kind":"unknown","valid_from":null,"valid_to":null,"temporal_basis":"The source establishes a scoped registry listing or documented integration at its observed revision. Publication, Git commit, retrieval and shuttle labels do not establish a relationship validity period.","checked_at":"2026-10-14T00:04:17.557Z","confidence":85,"confidence_version":"evidence-index/1.0.0","factors_json":"{\"authority\":45,\"direct\":15,\"extraction\":10,\"independence\":0,\"independentOrigins\":1,\"refuted\":false,\"resolution\":15,\"supportingEvidence\":1}","reason":"Evidence ingested by official-registry-and-pinned-documents/1.0.0. Explicit upstream evidence only. No fabrication, validation, successful tapeout, measured performance, arbitrary-version interoperability or production qualification is inferred.","actor_id":"checked-catalog-source-adapter","actor_kind":"adapter","recorded_at":"2026-10-14T00:04:17.557Z"}]}