{"schema_version":"onlylabs.public_signal.v1","title":"Microsoft Repo: microsoft/verismo","description":"Microsoft repo signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/043bffaa-8c71-4f40-83b5-5c9b714c501f","json_url":"https://onlylabs.fyi/signals/043bffaa-8c71-4f40-83b5-5c9b714c501f/signal.json","generated_at":"2026-06-11T03:56:39.136924+00:00","org":{"slug":"microsoft","name":"Microsoft","category":"frontier-lab","category_label":"Frontier lab","dossier_url":"https://onlylabs.fyi/labs/microsoft","dossier_json_url":"https://onlylabs.fyi/labs/microsoft/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/043bffaa-8c71-4f40-83b5-5c9b714c501f","signal_json":"https://onlylabs.fyi/signals/043bffaa-8c71-4f40-83b5-5c9b714c501f/signal.json","source":"https://github.com/microsoft/verismo","lab_dossier":"https://onlylabs.fyi/labs/microsoft","lab_dossier_json":"https://onlylabs.fyi/labs/microsoft/dossier.json","analysis":"https://onlylabs.fyi/analysis/microsoft","analysis_json":"https://onlylabs.fyi/analysis/microsoft/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/microsoft/evidence.json","category":"https://onlylabs.fyi/frontier","category_json":"https://onlylabs.fyi/frontier.json","category_feed":"https://onlylabs.fyi/frontier/feed.xml","category_signals_json":"https://onlylabs.fyi/signals.json","topic":null,"topic_signals_json":null,"topic_feed":null,"data_business":{"radar":"https://onlylabs.fyi/data-radar","radar_json":"https://onlylabs.fyi/data-radar.json","opportunities":"https://onlylabs.fyi/opportunities","opportunities_json":"https://onlylabs.fyi/opportunities.json","lanes":[{"key":"safety","label":"Safety and policy","url":"https://onlylabs.fyi/data-radar/safety","json_url":"https://onlylabs.fyi/data-radar/safety/signals.json"}]}},"answer_pack":{"answer":"Microsoft published microsoft/verismo (Rust). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo microsoft/verismo · language Rust. onlylabs links this event to 1 captured evidence page and 6 related repo signals. It also maps to Safety and policy in the data-business radar.","signal_desk":"repos","source_context":{"source_url":"https://github.com/microsoft/verismo","source_host":"github.com","occurred_at":"2024-03-08T22:07:34+00:00","first_seen_at":"2026-06-06T01:49:41.740219+00:00","date_source":"source","context":"Rust"},"context_markers":[{"label":"Lab","value":"Microsoft","source":"signal"},{"label":"Signal desk","value":"repos","source":"signal"},{"label":"Source host","value":"github.com","source":"source"},{"label":"Repository","value":"microsoft/verismo","source":"source"},{"label":"Language","value":"Rust","source":"source"},{"label":"Stars","value":"67","source":"traction"},{"label":"Radar lane","value":"Safety and policy","source":"radar"},{"label":"Matched term","value":"security","source":"radar"},{"label":"Watch term","value":"Infrastructure","source":"evidence"},{"label":"Watch term","value":"Safety and alignment","source":"evidence"}],"evidence_coverage":{"target_pages":1,"captured_pages":1,"readable_pages":1,"capture_methods":["plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://github.com/microsoft/verismo"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-06-11T03:56:39.136924+00:00"},"data_business":{"matches":true,"lanes":[{"key":"safety","label":"Safety and policy","url":"https://onlylabs.fyi/data-radar/safety","json_url":"https://onlylabs.fyi/data-radar/safety/signals.json"}],"matched_terms":["security"],"score":14,"reason":"Microsoft has a repo signal matching safety and policy."},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/043bffaa-8c71-4f40-83b5-5c9b714c501f/signal.json","dossier_json":"https://onlylabs.fyi/labs/microsoft/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/microsoft/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/microsoft/evidence.json","topic_signals_json":null,"topic_feed":null,"category_signals_json":"https://onlylabs.fyi/signals.json","data_radar_json":"https://onlylabs.fyi/data-radar.json","opportunities_json":"https://onlylabs.fyi/opportunities.json"},"analysis_playbook":{"objective":"Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.","evidence_focus":["repo name","owner","description","language","stars","source URL","first seen time","data, eval, infra, safety, and product terms"],"extraction_questions":["What technical area does this repository expose?","Does the repo imply eval, data, infrastructure, agent, or deployment work?","Is the repo new evidence for a lab direction that is not yet in writing or releases?","Which related signals should an analyst inspect next?"],"signal_questions":["What does this new repository reveal before a formal announcement exists?","What technical area does this repository expose?","Does the repo imply eval, data, infrastructure, agent, or deployment work?","Which data-business lane explains this signal: Safety and policy?","Do the 6 related repo signals show a repeated pattern?"],"output_fields":["org","repo","technical_theme","data_business_lane","evidence_url"],"data_business_relevance":"New repositories can expose organization build priorities early, especially around internal tooling, eval infrastructure, data systems, deployment, and agent workflows.","required_sources":[{"label":"signal_json","url":"https://onlylabs.fyi/signals/043bffaa-8c71-4f40-83b5-5c9b714c501f/signal.json","required":true},{"label":"source","url":"https://github.com/microsoft/verismo","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/microsoft/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/microsoft/evidence.json","required":true},{"label":"topic_signals_json","url":null,"required":false},{"label":"data_radar_json","url":"https://onlylabs.fyi/data-radar.json","required":true}],"expected_output":["one-paragraph source-grounded interpretation","data-business implication","confidence and missing evidence","recommended next source to inspect"],"prompt_seed":"Using only the linked onlylabs JSON, captured source context, and cited evidence, analyze Microsoft's repo signal \"microsoft/verismo\" for frontier lab strategy and data-business implications."},"semantic_triples":[{"subject":"Microsoft","predicate":"published repo","object":"microsoft/verismo","text":"Microsoft published repo microsoft/verismo."},{"subject":"microsoft/verismo","predicate":"is classified as","object":"repo signal","text":"microsoft/verismo is classified as repo signal."},{"subject":"microsoft/verismo","predicate":"belongs to","object":"repos desk","text":"microsoft/verismo belongs to repos desk."},{"subject":"microsoft/verismo","predicate":"has context","object":"Rust","text":"microsoft/verismo has context Rust."},{"subject":"microsoft/verismo","predicate":"has evidence coverage","object":"1 captured evidence page","text":"microsoft/verismo has evidence coverage 1 captured evidence page."},{"subject":"microsoft/verismo","predicate":"matches data-business lanes","object":"Safety and policy","text":"microsoft/verismo matches data-business lanes Safety and policy."},{"subject":"microsoft/verismo","predicate":"has captured page count","object":"1","text":"microsoft/verismo has captured page count 1."},{"subject":"microsoft/verismo","predicate":"has readable page count","object":"1","text":"microsoft/verismo has readable page count 1."},{"subject":"microsoft/verismo","predicate":"has related signal count","object":"6","text":"microsoft/verismo has related signal count 6."},{"subject":"microsoft/verismo","predicate":"has analysis playbook objective","object":"Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.","text":"microsoft/verismo has analysis playbook objective Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.."},{"subject":"microsoft/verismo","predicate":"has source host","object":"github.com","text":"microsoft/verismo has source host github.com."},{"subject":"microsoft/verismo","predicate":"has lab","object":"Microsoft","text":"microsoft/verismo has lab Microsoft."},{"subject":"microsoft/verismo","predicate":"has signal desk","object":"repos","text":"microsoft/verismo has signal desk repos."},{"subject":"microsoft/verismo","predicate":"has source host","object":"github.com","text":"microsoft/verismo has source host github.com."},{"subject":"microsoft/verismo","predicate":"has repository","object":"microsoft/verismo","text":"microsoft/verismo has repository microsoft/verismo."},{"subject":"microsoft/verismo","predicate":"has language","object":"Rust","text":"microsoft/verismo has language Rust."},{"subject":"microsoft/verismo","predicate":"has stars","object":"67","text":"microsoft/verismo has stars 67."},{"subject":"microsoft/verismo","predicate":"has radar lane","object":"Safety and policy","text":"microsoft/verismo has radar lane Safety and policy."},{"subject":"microsoft/verismo","predicate":"has matched term","object":"security","text":"microsoft/verismo has matched term security."}]},"intelligence":{"signal_desk":"repos","answer":"Microsoft published microsoft/verismo (Rust). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo microsoft/verismo · language Rust. onlylabs links this event to 1 captured evidence page and 6 related repo signals. It also maps to Safety and policy in the data-business radar.","semantic_triples":[{"subject":"Microsoft","predicate":"published repo","object":"microsoft/verismo","text":"Microsoft published repo microsoft/verismo."},{"subject":"microsoft/verismo","predicate":"is classified as","object":"repo signal","text":"microsoft/verismo is classified as repo signal."},{"subject":"microsoft/verismo","predicate":"belongs to","object":"repos desk","text":"microsoft/verismo belongs to repos desk."},{"subject":"microsoft/verismo","predicate":"has context","object":"Rust","text":"microsoft/verismo has context Rust."},{"subject":"microsoft/verismo","predicate":"has evidence coverage","object":"1 captured evidence page","text":"microsoft/verismo has evidence coverage 1 captured evidence page."},{"subject":"microsoft/verismo","predicate":"matches data-business lanes","object":"Safety and policy","text":"microsoft/verismo matches data-business lanes Safety and policy."}]},"signal":{"id":"043bffaa-8c71-4f40-83b5-5c9b714c501f","url":"https://onlylabs.fyi/signals/043bffaa-8c71-4f40-83b5-5c9b714c501f","json_url":"https://onlylabs.fyi/signals/043bffaa-8c71-4f40-83b5-5c9b714c501f/signal.json","source_url":"https://github.com/microsoft/verismo","title":"microsoft/verismo","summary":"Microsoft published a new repository. onlylabs watches repos for tooling, eval, infra, and model-adjacent work.","context":"Rust","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"microsoft","name":"Microsoft","category":"frontier-lab"},"occurred_at":"2024-03-08T22:07:34+00:00","first_seen_at":"2026-06-06T01:49:41.740219+00:00","date_source":"source","evidence_coverage":{"target_pages":1,"captured_pages":1,"readable_pages":1,"capture_methods":["plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://github.com/microsoft/verismo"]},"facets":{"repo":"microsoft/verismo","language":"Rust"},"traction":{"github_stars":67,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":null,"hf_likes":null},"data_radar":{"lanes":[{"key":"safety","label":"Safety and policy","url":"https://onlylabs.fyi/data-radar/safety"}],"score":14,"matched_terms":["security"],"reason":"Microsoft has a repo signal matching safety and policy."}},"primary_evidence_page":{"url":"https://github.com/microsoft/verismo","final_url":"https://github.com/microsoft/verismo","title":"microsoft/verismo repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T03:56:39.136924+00:00","bytes":15439,"raw_path":"0940b47f5becf3e57a64d43d43adc7e185dbb5adfebdd40860f5c8b22ed0a361.json","content_hash":"b7cbe0bd5a0094192d495650ef506d690586f65b34e00be062737f76bbdb2e2b","excerpt_chars":1200,"truncated":true,"excerpt":"microsoft/verismo Description: A formally verified security module for AMD confidential VMs Language: Rust License: MIT Stars: 67 Forks: 7 Open issues: 1 Created: 2024-03-08T22:07:34Z Pushed: 2026-06-10T19:41:45Z Default branch: main Fork: no Archived: no README: VeriSMo: A formally verified security module for AMD confidential VMs. This repo includes the code for VeriSMo project. 📰 News * **mid-2026 — Copilot-assisted refresh**: verismo now builds and verifies against the latest Verus toolchain. * **~10× faster verification**: CI finishes the full proof in ~3 minutes (previously ~30 minutes). * **Soundness cleanup**: dropped `assume()` workarounds and unsound proofs that had been added to work around bugs in older Verus. 🗞️ READ before using the code * The code here is a research prototype originally built between 2022-2024; The build and verification still work in this project. However it may not work with current HyperV due to ABI mismatch. The steps to run it in a VM is not tested in recent release; * We recommend using this repository as a reference to explore what is possible for low-level verified code (rust-based kernel). For production or ongoing development, please..."},"evidence_pages":[{"url":"https://github.com/microsoft/verismo","final_url":"https://github.com/microsoft/verismo","title":"microsoft/verismo repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T03:56:39.136924+00:00","bytes":15439,"raw_path":"0940b47f5becf3e57a64d43d43adc7e185dbb5adfebdd40860f5c8b22ed0a361.json","content_hash":"b7cbe0bd5a0094192d495650ef506d690586f65b34e00be062737f76bbdb2e2b","excerpt_chars":1200,"truncated":true,"excerpt":"microsoft/verismo Description: A formally verified security module for AMD confidential VMs Language: Rust License: MIT Stars: 67 Forks: 7 Open issues: 1 Created: 2024-03-08T22:07:34Z Pushed: 2026-06-10T19:41:45Z Default branch: main Fork: no Archived: no README: VeriSMo: A formally verified security module for AMD confidential VMs. This repo includes the code for VeriSMo project. 📰 News * **mid-2026 — Copilot-assisted refresh**: verismo now builds and verifies against the latest Verus toolchain. * **~10× faster verification**: CI finishes the full proof in ~3 minutes (previously ~30 minutes). * **Soundness cleanup**: dropped `assume()` workarounds and unsound proofs that had been added to work around bugs in older Verus. 🗞️ READ before using the code * The code here is a research prototype originally built between 2022-2024; The build and verification still work in this project. However it may not work with current HyperV due to ABI mismatch. The steps to run it in a VM is not tested in recent release; * We recommend using this repository as a reference to explore what is possible for low-level verified code (rust-based kernel). For production or ongoing development, please..."}],"related_signals":[{"id":"8afe79f4-378b-4748-9e2a-3cf5e3253fdb","url":"https://onlylabs.fyi/signals/8afe79f4-378b-4748-9e2a-3cf5e3253fdb","source_url":"https://github.com/microsoft/Dev-Trio","title":"microsoft/Dev-Trio","context":null,"kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"microsoft","name":"Microsoft","category":"frontier-lab"},"occurred_at":"2026-06-08T03:41:01+00:00","first_seen_at":"2026-06-08T07:01:04.198092+00:00","date_source":"source"},{"id":"9e75fa50-dba7-4b77-9faf-166c323e3dff","url":"https://onlylabs.fyi/signals/9e75fa50-dba7-4b77-9faf-166c323e3dff","source_url":"https://github.com/microsoft/amplifier-app-paperclip","title":"microsoft/amplifier-app-paperclip","context":"TypeScript","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"microsoft","name":"Microsoft","category":"frontier-lab"},"occurred_at":"2026-06-04T21:13:41+00:00","first_seen_at":"2026-06-05T20:58:41.438741+00:00","date_source":"source"},{"id":"76cacf33-54b2-4074-bec0-23944d8fb67c","url":"https://onlylabs.fyi/signals/76cacf33-54b2-4074-bec0-23944d8fb67c","source_url":"https://github.com/microsoft/create-github-app-token-via-key-vault","title":"microsoft/create-github-app-token-via-key-vault","context":"TypeScript","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"microsoft","name":"Microsoft","category":"frontier-lab"},"occurred_at":"2026-06-04T18:22:49+00:00","first_seen_at":"2026-06-05T20:58:41.438741+00:00","date_source":"source"},{"id":"b2f7bcbd-9db3-4785-8a2a-2e0e0cb22ed2","url":"https://onlylabs.fyi/signals/b2f7bcbd-9db3-4785-8a2a-2e0e0cb22ed2","source_url":"https://github.com/microsoft/Enterprise-AI-Analytics-Pipeline","title":"microsoft/Enterprise-AI-Analytics-Pipeline","context":null,"kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"microsoft","name":"Microsoft","category":"frontier-lab"},"occurred_at":"2026-06-04T16:48:58+00:00","first_seen_at":"2026-06-05T20:58:41.438741+00:00","date_source":"source"},{"id":"51a9ec5d-5f14-45d9-b57a-db362b5d1ace","url":"https://onlylabs.fyi/signals/51a9ec5d-5f14-45d9-b57a-db362b5d1ace","source_url":"https://github.com/microsoft/fabric-org-app-template","title":"microsoft/fabric-org-app-template","context":"TypeScript","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"microsoft","name":"Microsoft","category":"frontier-lab"},"occurred_at":"2026-06-03T18:26:42+00:00","first_seen_at":"2026-06-05T20:58:41.438741+00:00","date_source":"source"},{"id":"f26025da-153f-4d27-851c-7b4892602810","url":"https://onlylabs.fyi/signals/f26025da-153f-4d27-851c-7b4892602810","source_url":"https://github.com/microsoft/amplifier-bundle-amplifier-online","title":"microsoft/amplifier-bundle-amplifier-online","context":null,"kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"microsoft","name":"Microsoft","category":"frontier-lab"},"occurred_at":"2026-06-03T17:26:20+00:00","first_seen_at":"2026-06-05T20:58:41.438741+00:00","date_source":"source"}]}