{"claim":{"id":"urn:vlsi:claim:0f0b5873ecc2f040ed5d2a15c8282d9a6eef52c0d06410fd63bf2be4547a623f","ontologyVersion":"semiconductor/1.3.0","subjectId":"urn:vlsi:entity:f8168dfe-ea7c-537a-a995-d003ed1a21cb","predicate":"DEPENDS_ON","objectId":"urn:vlsi:entity:0879feec-fdc1-553c-bc8c-615a02af224f","value":null,"qualifiers":{"qualification":"Upstream documented; not executed by Hub","scope":"SymbiYosys describes itself as a front-end for Yosys-based formal verification flows; solver and frontend selection affect applicability.","sourceRevision":"b1a1e98cba941ec8433f8dc27f416cd7bb7f14be","targetVersion":"unknown","upstreamRelationshipId":"symbiyosys:depends_on:yosys"},"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:a9052cc6-8197-4fc1-9abb-4b050138116f","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:ce871640669725ef724000251123b342d24fa69b62a439092b09dad563cf084e","claim_id":"urn:vlsi:claim:0f0b5873ecc2f040ed5d2a15c8282d9a6eef52c0d06410fd63bf2be4547a623f","source_id":"urn:vlsi:source:da8f3eba895439591fae6dfe8b58034cb9f2493d6af04e1f7234dcfe0cc15fd4","stance":"supports","locator":"README / Introduction","paraphrase":"SymbiYosys describes itself as a front-end for Yosys-based formal verification flows; solver and frontend selection affect applicability.","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/sby/b1a1e98cba941ec8433f8dc27f416cd7bb7f14be/README.md","title":"symbiyosys pinned upstream documentation","publisher":"Official symbiyosys repository","tier":"A","is_primary":1,"independence_group":"github:YosysHQ/sby","published_at":null,"retrieved_at":"2026-10-13T23:58:55.160Z","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":"34f7038a82a95846692e455a57ff3fb4f682594c670bc65b5f4462c863ad3dd3"}]},"assessments":[{"id":"urn:vlsi:assessment:a9052cc6-8197-4fc1-9abb-4b050138116f","claim_id":"urn:vlsi:claim:0f0b5873ecc2f040ed5d2a15c8282d9a6eef52c0d06410fd63bf2be4547a623f","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"}]}