{"schema_version":"onlylabs.public_signal.v1","title":"Amazon (Nova) Repo: amazon-science/barrier-free-synch-proof","description":"Amazon (Nova) repo signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/2b367c4f-a329-4a00-a477-f9d075f50ea1","json_url":"https://onlylabs.fyi/signals/2b367c4f-a329-4a00-a477-f9d075f50ea1/signal.json","generated_at":"2026-09-09T18:48:21.973Z","evidence_latest_fetched_at":"2026-09-01T07:02:49.168126+00:00","signal_first_seen_at":"2026-09-01T07:00:39.827452+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/2b367c4f-a329-4a00-a477-f9d075f50ea1","signal_json":"https://onlylabs.fyi/signals/2b367c4f-a329-4a00-a477-f9d075f50ea1/signal.json","source":"https://github.com/amazon-science/barrier-free-synch-proof","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":null,"topic_signals_json":null,"topic_feed":null,"data_business":null},"answer_pack":{"answer":"Amazon (Nova) published amazon-science/barrier-free-synch-proof (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo amazon-science/barrier-free-synch-proof · language Lean. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","signal_desk":"repos","source_context":{"source_url":"https://github.com/amazon-science/barrier-free-synch-proof","source_host":"github.com","occurred_at":"2026-08-28T07:43:48+00:00","first_seen_at":"2026-09-01T07:00:39.827452+00:00","date_source":"source","context":"Lean"},"context_markers":[{"label":"Lab","value":"Amazon (Nova)","source":"signal"},{"label":"Signal desk","value":"repos","source":"signal"},{"label":"Source host","value":"github.com","source":"source"},{"label":"Repository","value":"amazon-science/barrier-free-synch-proof","source":"source"},{"label":"Language","value":"Lean","source":"source"},{"label":"Watch term","value":"RL environments","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/amazon-science/barrier-free-synch-proof"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-09-01T07:02:49.168126+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/2b367c4f-a329-4a00-a477-f9d075f50ea1/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":null,"topic_feed":null,"category_signals_json":"https://onlylabs.fyi/signals.json","data_radar_json":null,"opportunities_json":null},"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?","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/2b367c4f-a329-4a00-a477-f9d075f50ea1/signal.json","required":true},{"label":"source","url":"https://github.com/amazon-science/barrier-free-synch-proof","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":true},{"label":"topic_signals_json","url":null,"required":false},{"label":"data_radar_json","url":null,"required":false}],"expected_output":["one-paragraph source-grounded interpretation","category-specific 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 repo signal \"amazon-science/barrier-free-synch-proof\" for frontier lab strategy."},"semantic_triples":[{"subject":"Amazon (Nova)","predicate":"published repo","object":"amazon-science/barrier-free-synch-proof","text":"Amazon (Nova) published repo amazon-science/barrier-free-synch-proof."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"is classified as","object":"repo signal","text":"amazon-science/barrier-free-synch-proof is classified as repo signal."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"belongs to","object":"repos desk","text":"amazon-science/barrier-free-synch-proof belongs to repos desk."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has context","object":"Lean","text":"amazon-science/barrier-free-synch-proof has context Lean."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has evidence coverage","object":"1 captured evidence page","text":"amazon-science/barrier-free-synch-proof has evidence coverage 1 captured evidence page."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has captured page count","object":"1","text":"amazon-science/barrier-free-synch-proof has captured page count 1."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has readable page count","object":"1","text":"amazon-science/barrier-free-synch-proof has readable page count 1."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has related signal count","object":"6","text":"amazon-science/barrier-free-synch-proof has related signal count 6."},{"subject":"amazon-science/barrier-free-synch-proof","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":"amazon-science/barrier-free-synch-proof 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":"amazon-science/barrier-free-synch-proof","predicate":"has source host","object":"github.com","text":"amazon-science/barrier-free-synch-proof has source host github.com."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has lab","object":"Amazon (Nova)","text":"amazon-science/barrier-free-synch-proof has lab Amazon (Nova)."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has signal desk","object":"repos","text":"amazon-science/barrier-free-synch-proof has signal desk repos."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has source host","object":"github.com","text":"amazon-science/barrier-free-synch-proof has source host github.com."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has repository","object":"amazon-science/barrier-free-synch-proof","text":"amazon-science/barrier-free-synch-proof has repository amazon-science/barrier-free-synch-proof."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has language","object":"Lean","text":"amazon-science/barrier-free-synch-proof has language Lean."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has watch term","object":"RL environments","text":"amazon-science/barrier-free-synch-proof has watch term RL environments."}]},"intelligence":{"signal_desk":"repos","answer":"Amazon (Nova) published amazon-science/barrier-free-synch-proof (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo amazon-science/barrier-free-synch-proof · language Lean. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","semantic_triples":[{"subject":"Amazon (Nova)","predicate":"published repo","object":"amazon-science/barrier-free-synch-proof","text":"Amazon (Nova) published repo amazon-science/barrier-free-synch-proof."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"is classified as","object":"repo signal","text":"amazon-science/barrier-free-synch-proof is classified as repo signal."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"belongs to","object":"repos desk","text":"amazon-science/barrier-free-synch-proof belongs to repos desk."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has context","object":"Lean","text":"amazon-science/barrier-free-synch-proof has context Lean."},{"subject":"amazon-science/barrier-free-synch-proof","predicate":"has evidence coverage","object":"1 captured evidence page","text":"amazon-science/barrier-free-synch-proof has evidence coverage 1 captured evidence page."}]},"signal":{"id":"2b367c4f-a329-4a00-a477-f9d075f50ea1","url":"https://onlylabs.fyi/signals/2b367c4f-a329-4a00-a477-f9d075f50ea1","json_url":"https://onlylabs.fyi/signals/2b367c4f-a329-4a00-a477-f9d075f50ea1/signal.json","source_url":"https://github.com/amazon-science/barrier-free-synch-proof","title":"amazon-science/barrier-free-synch-proof","summary":"Amazon (Nova) published a new repository. onlylabs watches repos for tooling, eval, infra, and model-adjacent work.","context":"Lean","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-08-28T07:43:48+00:00","first_seen_at":"2026-09-01T07:00:39.827452+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/amazon-science/barrier-free-synch-proof"]},"facets":{"repo":"amazon-science/barrier-free-synch-proof","language":"Lean"},"traction":{"github_stars":0,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"is_primary":true,"source_match":true,"url":"https://github.com/amazon-science/barrier-free-synch-proof","final_url":"https://github.com/amazon-science/barrier-free-synch-proof","title":"amazon-science/barrier-free-synch-proof repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-09-01T07:02:49.168126+00:00","bytes":25821,"raw_path":"bfde97c90d3bd44b0ac5109b374b132fed62e316ff1631b6c0f2927a449a262c.json","content_hash":"d1a9f7b997587aff5057c7bc24bb6b7449ab7cd5eb46b2d9c0a6c755650e526d","excerpt_chars":1200,"truncated":true,"excerpt":"amazon-science/barrier-free-synch-proof Language: Lean License: NOASSERTION Stars: 0 Forks: 0 Open issues: 0 Created: 2026-08-28T07:43:48Z Pushed: 2026-08-31T18:08:32Z Default branch: main Fork: no Archived: no README: A Barrier-Free Synchronization Algorithm for Multi-Engine AI Accelerators ======================================================================== Getting Started --------------- This artifact accompanies the paper: > Chungha Sung, Nikil V. Shyamsunder, Hanliang Zhang, Daniel Kroening, and Joonwon Choi. > *A Barrier-Free Synchronization Algorithm for Multi-Engine AI Accelerators*. > ACM/IEEE International Symposium on Code Generation and Optimization (CGO '27), 2027. It contains the Lean 4 development that proves the paper's per-loop semaphore allocation correct. Every section, equation, and theorem reference below points into that paper. This code is being released solely for academic and scientific reproducibility purposes, in support of the methods and findings described in the associated publication. Pull requests are not being accepted in order to maintain the code exactly as it was used in the paper. Directory Content - `SemaAlloc`: + **`Main.lean`: Definition..."},"evidence_pages":[],"related_signals":[{"id":"e8e96e5d-2f5e-422f-920c-d144dbd14697","url":"https://onlylabs.fyi/signals/e8e96e5d-2f5e-422f-920c-d144dbd14697","source_url":"https://github.com/amazon-science/XplainRecommendation","title":"amazon-science/XplainRecommendation","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-09-01T17:52:15+00:00","first_seen_at":"2026-09-02T07:03:03.056589+00:00","date_source":"source"},{"id":"05f4fa3c-078d-4998-9275-a7619afa08a9","url":"https://onlylabs.fyi/signals/05f4fa3c-078d-4998-9275-a7619afa08a9","source_url":"https://github.com/amazon-science/NLPActiveTesting","title":"amazon-science/NLPActiveTesting","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-08-28T21:42:36+00:00","first_seen_at":"2026-08-30T07:00:36.09908+00:00","date_source":"source"},{"id":"1cc9feaf-a28c-4227-930d-f5789179f90c","url":"https://onlylabs.fyi/signals/1cc9feaf-a28c-4227-930d-f5789179f90c","source_url":"https://github.com/amazon-science/QUORUM","title":"amazon-science/QUORUM","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-08-27T06:24:04+00:00","first_seen_at":"2026-08-30T07:00:36.09908+00:00","date_source":"source"},{"id":"7f933b03-e9a5-4c59-a8ef-fc16a03bbcac","url":"https://onlylabs.fyi/signals/7f933b03-e9a5-4c59-a8ef-fc16a03bbcac","source_url":"https://github.com/amazon-science/ammo","title":"amazon-science/ammo","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-08-19T20:59:32+00:00","first_seen_at":"2026-08-28T07:00:36.884606+00:00","date_source":"source"},{"id":"b3f84721-d556-48b0-8eae-42f9154ae3b2","url":"https://onlylabs.fyi/signals/b3f84721-d556-48b0-8eae-42f9154ae3b2","source_url":"https://github.com/amazon-science/data-turnstile","title":"amazon-science/data-turnstile","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-07-29T17:59:14+00:00","first_seen_at":"2026-08-25T07:01:35.782527+00:00","date_source":"source"},{"id":"d4faf15c-0608-4c05-a350-734eefc8e553","url":"https://onlylabs.fyi/signals/d4faf15c-0608-4c05-a350-734eefc8e553","source_url":"https://github.com/amazon-science/Self-Evolving-Agents-Double-Ratchet","title":"amazon-science/Self-Evolving-Agents-Double-Ratchet","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-07-29T03:15:00+00:00","first_seen_at":"2026-07-29T07:01:28.174961+00:00","date_source":"source"}]}