{"schema_version":"onlylabs.public_signal.v1","title":"Amazon (Nova) Writing: EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","description":"Amazon (Nova) writing signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/50af815d-c9e4-4f62-8f18-fb20ed2c559c","json_url":"https://onlylabs.fyi/signals/50af815d-c9e4-4f62-8f18-fb20ed2c559c/signal.json","generated_at":"2026-06-11T07:01:02.901631+00:00","org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab","category_label":"Frontier lab","dossier_url":"https://onlylabs.fyi/labs/amazon","dossier_json_url":"https://onlylabs.fyi/labs/amazon/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/50af815d-c9e4-4f62-8f18-fb20ed2c559c","signal_json":"https://onlylabs.fyi/signals/50af815d-c9e4-4f62-8f18-fb20ed2c559c/signal.json","source":"https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation","lab_dossier":"https://onlylabs.fyi/labs/amazon","lab_dossier_json":"https://onlylabs.fyi/labs/amazon/dossier.json","analysis":"https://onlylabs.fyi/analysis/amazon","analysis_json":"https://onlylabs.fyi/analysis/amazon/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/amazon/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":"https://onlylabs.fyi/topics/talking","topic_signals_json":"https://onlylabs.fyi/topics/talking/signals.json","topic_feed":"https://onlylabs.fyi/topics/talking/feed.xml","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":"Amazon (Nova) published EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation. This talking signal gives public context for research themes, product direction, policy, or launch framing. onlylabs links this event to 0 captured evidence pages and 6 related writing signals. It also maps to Safety and policy in the data-business radar.","signal_desk":"talking","source_context":{"source_url":"https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation","source_host":"amazon.science","occurred_at":"2026-06-10T15:00:00+00:00","first_seen_at":"2026-06-11T07:01:02.901631+00:00","date_source":"rss.item_date","context":null},"context_markers":[{"label":"Lab","value":"Amazon (Nova)","source":"signal"},{"label":"Signal desk","value":"talking","source":"signal"},{"label":"Source host","value":"amazon.science","source":"source"},{"label":"Radar lane","value":"Safety and policy","source":"radar"},{"label":"Matched term","value":"security","source":"radar"},{"label":"Watch term","value":"Safety and alignment","source":"evidence"}],"evidence_coverage":{"target_pages":1,"captured_pages":0,"readable_pages":0,"capture_methods":[],"missing_page_urls":["https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation"],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":null},"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":13,"reason":"Amazon (Nova) has a writing signal matching safety and policy."},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/50af815d-c9e4-4f62-8f18-fb20ed2c559c/signal.json","dossier_json":"https://onlylabs.fyi/labs/amazon/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/amazon/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/amazon/evidence.json","topic_signals_json":"https://onlylabs.fyi/topics/talking/signals.json","topic_feed":"https://onlylabs.fyi/topics/talking/feed.xml","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 public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.","evidence_focus":["post title","source URL","captured page text","HN traction","linked model or paper references","publication date"],"extraction_questions":["Which themes are labs choosing to explain publicly?","Which posts are attracting outside discussion?","Which writing reframes a recent release, model, hiring wave, or policy stance?","Which posts mention data, evals, infrastructure, safety, or deployment workflows?"],"signal_questions":["What public theme, launch framing, or research direction does this writing signal expose?","Which themes are labs choosing to explain publicly?","Which posts are attracting outside discussion?","Which data-business lane explains this signal: Safety and policy?","Do the 6 related writing signals show a repeated pattern?"],"output_fields":["org","theme","public_framing","traction","data_business_lane","evidence_url"],"data_business_relevance":"Public writing supplies the narrative layer over raw signals and helps identify which frontier-lab priorities are becoming externally legible.","required_sources":[{"label":"signal_json","url":"https://onlylabs.fyi/signals/50af815d-c9e4-4f62-8f18-fb20ed2c559c/signal.json","required":true},{"label":"source","url":"https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/amazon/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/amazon/evidence.json","required":false},{"label":"topic_signals_json","url":"https://onlylabs.fyi/topics/talking/signals.json","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 Amazon (Nova)'s writing signal \"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation\" for frontier lab strategy and data-business implications."},"semantic_triples":[{"subject":"Amazon (Nova)","predicate":"published","object":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","text":"Amazon (Nova) published EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"is classified as","object":"writing signal","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation is classified as writing signal."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"belongs to","object":"talking desk","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation belongs to talking desk."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has evidence coverage","object":"0 captured evidence pages","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has evidence coverage 0 captured evidence pages."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"matches data-business lanes","object":"Safety and policy","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation matches data-business lanes Safety and policy."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has captured page count","object":"0","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has captured page count 0."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has readable page count","object":"0","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has readable page count 0."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has related signal count","object":"6","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has related signal count 6."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has analysis playbook objective","object":"Turn public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has analysis playbook objective Turn public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has source host","object":"amazon.science","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has source host amazon.science."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has lab","object":"Amazon (Nova)","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has lab Amazon (Nova)."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has signal desk","object":"talking","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has signal desk talking."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has source host","object":"amazon.science","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has source host amazon.science."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has radar lane","object":"Safety and policy","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has radar lane Safety and policy."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has matched term","object":"security","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has matched term security."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has watch term","object":"Safety and alignment","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has watch term Safety and alignment."}]},"intelligence":{"signal_desk":"talking","answer":"Amazon (Nova) published EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation. This talking signal gives public context for research themes, product direction, policy, or launch framing. onlylabs links this event to 0 captured evidence pages and 6 related writing signals. It also maps to Safety and policy in the data-business radar.","semantic_triples":[{"subject":"Amazon (Nova)","predicate":"published","object":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","text":"Amazon (Nova) published EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"is classified as","object":"writing signal","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation is classified as writing signal."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"belongs to","object":"talking desk","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation belongs to talking desk."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"has evidence coverage","object":"0 captured evidence pages","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation has evidence coverage 0 captured evidence pages."},{"subject":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","predicate":"matches data-business lanes","object":"Safety and policy","text":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation matches data-business lanes Safety and policy."}]},"signal":{"id":"50af815d-c9e4-4f62-8f18-fb20ed2c559c","url":"https://onlylabs.fyi/signals/50af815d-c9e4-4f62-8f18-fb20ed2c559c","json_url":"https://onlylabs.fyi/signals/50af815d-c9e4-4f62-8f18-fb20ed2c559c/signal.json","source_url":"https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation","title":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","summary":"Amazon (Nova) published a writing signal. onlylabs watches public writing for research themes, product direction, and model-launch context.","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-06-10T15:00:00+00:00","first_seen_at":"2026-06-11T07:01:02.901631+00:00","date_source":"rss.item_date","evidence_coverage":{"target_pages":1,"captured_pages":0,"readable_pages":0,"capture_methods":[],"missing_page_urls":["https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation"],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation"]},"facets":{},"traction":{"github_stars":null,"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":13,"matched_terms":["security"],"reason":"Amazon (Nova) has a writing signal matching safety and policy."}},"primary_evidence_page":null,"evidence_pages":[],"related_signals":[{"id":"54aa0928-e2d8-42a7-bd35-35ffd86960ff","url":"https://onlylabs.fyi/signals/54aa0928-e2d8-42a7-bd35-35ffd86960ff","source_url":"https://www.amazon.science/blog/graviton5s-improved-design-increases-speed-and-energy-efficiency-beyond-moores-law","title":"Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-06-10T15:00:00+00:00","first_seen_at":"2026-06-11T07:01:02.901631+00:00","date_source":"rss.item_date"},{"id":"ca203ab5-0b26-4cf4-842a-b6974d959a3c","url":"https://onlylabs.fyi/signals/ca203ab5-0b26-4cf4-842a-b6974d959a3c","source_url":"https://www.amazon.science/blog/real-world-grounding-in-agentic-ai","title":"Real-world grounding in agentic AI","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-06-08T19:00:00+00:00","first_seen_at":"2026-06-09T07:00:03.169623+00:00","date_source":"rss.item_date"},{"id":"7aa6e2f0-9f45-4d83-ae57-da5d76968332","url":"https://onlylabs.fyi/signals/7aa6e2f0-9f45-4d83-ae57-da5d76968332","source_url":"https://www.amazon.science/blog/bridging-intent-and-execution-in-agentic-systems","title":"Bridging intent and execution in agentic systems","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-06-08T17:00:00+00:00","first_seen_at":"2026-06-09T07:00:03.169623+00:00","date_source":"rss.item_date"},{"id":"1745a0a9-a045-456c-a1f7-f4123168fe17","url":"https://onlylabs.fyi/signals/1745a0a9-a045-456c-a1f7-f4123168fe17","source_url":"https://www.amazon.science/blog/ground-truth-is-a-process-not-a-dataset","title":"Ground truth is a process, not a dataset","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-06-03T15:56:57+00:00","first_seen_at":"2026-06-05T20:58:33.860301+00:00","date_source":"rss.item_date"},{"id":"870cabf1-8131-4b1a-ad15-4b6173ce2bdc","url":"https://onlylabs.fyi/signals/870cabf1-8131-4b1a-ad15-4b6173ce2bdc","source_url":"https://www.amazon.science/blog/how-flat-is-replacing-fat-in-aws-data-center-networks","title":"How flat is replacing fat in AWS data center networks","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-05-28T10:30:00+00:00","first_seen_at":"2026-06-05T20:58:33.860301+00:00","date_source":"rss.item_date"},{"id":"175148e8-db47-458e-a21b-166f4a96c8e8","url":"https://onlylabs.fyi/signals/175148e8-db47-458e-a21b-166f4a96c8e8","source_url":"https://www.amazon.science/research-awards/latest-news/fall-2025-amazon-research-awards-recipients-announced","title":"Amazon Research Awards recipients announced","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-05-27T17:21:51+00:00","first_seen_at":"2026-06-05T20:58:33.860301+00:00","date_source":"rss.item_date"}]}