The exact source commit, tree, Sites version, deployment, and dual-domain verification are preserved.
PUBLIC RELEASE LEDGER / V140 COMPILE-TIME VIEW
Verified public releases
Completed rows bind a work unit to source, deployment, archive, route, and dual-domain evidence. The active V140 row intentionally has no self-predicted commit or deployment identifier inside its own published bytes.
- Verified releases
- 29
- First in ledger
- V111
- Latest verified
- V139
- Active contract
- V140
SEMIAGORA EVIDENCE OS / V140
One question. Five evidence moves.
Start at the stage closest to your work. Every route carries its evidence state, denominator, packet status, and stop condition forward.
0 validated claim-source edges. 384 metric contracts remain UNKNOWN. 3 post-V135 replay exceptions remain explicit.
READING THE LEDGER
Release verification boundary
Scope and acceptance criteria are fixed, but no release identifier or public-pass claim exists yet.
Public artifacts expose methods, lineage, hashes, limitations, and source links without importing restricted source bodies.
V120-V139 / DIRECT ANCESTRY
20 completed promotions
The published V140 bytes list exact completed releases through V139. V140 identifiers are sealed only in post-deployment evidence because a commit cannot contain its own hash.
Evidence-Gap & Experiment Planner
Convert an unresolved project gap into a deterministic structure-only plan while missing evidence, prerequisites, uncertainty, stop rules, and NOT_RUN states remain visible.
- Work unit
SA-INT-EVIDENCE-GAP-PLANNER-071- Source commit
0f7f6519547b127f83387c4657ae9b1aee03bcaf- Source tree
ec4a303168fecca327b89b5a6d0ffc64f75f15dc- Parent commit
7d8e34e4cdb993dd597f1be84f72a491181b70aa- Sites version
141 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_c7c4e883ed948191abf64524eed072fc- Deployment
appgdep_6a9c6483b7bc81919c56d63f65e5d7ab- Source archive
1105 files / 70C97152FEBE82E6BB9884B648FE203B4F957C0FEC2BC001A473A1D1D59B3212- Site archive
1102 files / 6467EC68E2C4191973A975434ED06D3752A5D6F800BDA1C03F1668B9B0B9062B- Public bytes
237,752,022- Boundary
structure-only-planning
Emerging Device, Memory & Integration Atlas
Mechanism, integration, measurement, reliability, and product readiness remain separate while held candidates, contradictions, rights, and replacement evidence stay visible.
- Work unit
SA-INT-EMERGING-DEVICE-MEMORY-070- Source commit
7d8e34e4cdb993dd597f1be84f72a491181b70aa- Source tree
225e45ea09b720a512a3c9cb986421becf85fc73- Parent commit
1703fe96d2a7ee6db3e59be08847415faa2c58e5- Sites version
140 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_b25c5a2427ec819189b27d00efff19fd- Deployment
appgdep_6a9c440a3bf48191a36d23b4851a4f3b- Source archive
1096 files / 44C06F61A2531BBF3E1A9635B85038D94B2FFE72F40AC5ED202B32FC00329311- Site archive
1095 files / 6CBBBF6FC5EC347787B2AB0ACFD75C9B1030C4E3E72B2CC00BF9827FBA5D4F1E- Public bytes
237,641,986- Boundary
evidence-dimensions-stay-separate
Device Modeling & Normalization Depth Pack
Geometry, normalization, bias, derivative rule, model lineage, residual split, variation meaning, and SPICE layer remain explicit before device metrics can be compared.
- Work unit
SA-DEV-MODEL-NORMALIZATION-069- Source commit
1703fe96d2a7ee6db3e59be08847415faa2c58e5- Source tree
82178cbb5addd66b678d1f9fb182bcfcd3e29144- Parent commit
e6eeda9eeb51b9e500752c2879daf886e6dbf929- Sites version
139 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_a9e7cae3fb488191bf275566800be64d- Deployment
appgdep_6a9c227247948191a64de9a007a67072- Source archive
1087 files / DA7E7D45DD074009DC774E22816359BDAA06F53DA80C8C9E7C8CB88BB654A037- Site archive
1085 files / 62C9BD66DAB6B6FD3A611609089E506C2BD617E1BA92FDE934E9D023AAB689B8- Public bytes
237,502,376- Boundary
device-comparison-requires-explicit-contract
Variability, Metrology & UQ Depth Pack
Eight deterministic teaching budgets preserve uncertainty class, evaluation method, measurement grain, denominator, covariance, PSD bandwidth, aperture, sampling, and hierarchy without turning uncertainty into a production decision.
- Work unit
SA-MET-VARIABILITY-UQ-068- Source commit
e6eeda9eeb51b9e500752c2879daf886e6dbf929- Source tree
f010e08f2152c04024041955a5a10cbc4ca018f4- Parent commit
4c27cb35f42563c535c6d61e8f310117a7559ec9- Sites version
138 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_ab5cc7b8444481918ba1eee4211a1d29- Deployment
appgdep_6a9bfd269628819181e9183c8f4e28df- Source archive
1078 files / EC35CDE0668FA876A7985FF52EB2C70368C337E1D1354E49AA20665CCF9690B9- Site archive
1075 files / 065ED33FE9758DCDACE9CE1B3321DD6B5682F57EEC1B1D7CB246ED26309EF44F- Public bytes
237,396,006- Boundary
uncertainty-budget-not-production-decision
Reproducibility Packet Registry
A deterministic four-state registry exposes exact replay requirements, packet hashes, public artifacts, regression history, and non-runnable reasons without promoting reproduction into scientific validation.
- Work unit
SA-INT-REPRODUCIBILITY-REGISTRY-067- Source commit
4c27cb35f42563c535c6d61e8f310117a7559ec9- Source tree
b6ba15c491b7166dfa73dd126963b4bea8e9f824- Parent commit
8689dacb1ba91d370bedc11d4c53c205503ebc40- Sites version
137 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_146344936ee88191ab3f08cf1029a829- Deployment
appgdep_6a9bdcb068f08191869d5b693958281a- Source archive
1069 files / 2D0E44F0F4A3E0F72D04A66358A828A2465ECACA4925962F3D80C3253295F6AE- Site archive
1065 files / B411C4C51704449EBEF9A8AD5A968595AEBD3B047F0FE374802849CE46CE1CE9- Public bytes
237,287,208- Boundary
reproduction-not-validation
Site-wide Evidence Knowledge Graph
A deterministic typed graph exposes explicit evidence paths, unresolved bridges, limitations, provenance, and next tests without generated evidence or causal inference.
- Work unit
SA-INT-EVIDENCE-KNOWLEDGE-GRAPH-066- Source commit
8689dacb1ba91d370bedc11d4c53c205503ebc40- Source tree
f7b3528afee05770afdb20e142d8ca0a2608a04d- Parent commit
4bdd5ec994006d07c3c170188c39d315eb30af5a- Sites version
136 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_a885515e5848819195269f274749f78d- Deployment
appgdep_6a9b10e35dc88191a991713bad11a6b2- Source archive
1057 files / 63EC92300DFD6E35C63CAE451C8F352DA2E48FC5588D071705715311CB140BBE- Site archive
1056 files / 4E9332CCF1C628018B94210B1F44654065697C825CFE048570BD42DFD49BED90- Public bytes
235,320,076- Boundary
explicit-evidence-edges-no-inference
Citation Provenance & Freshness System
A deterministic metadata layer keeps discovery links, citation completeness, source-body review, claim-edge validation, freshness, transport health, and change notices visibly separate.
- Work unit
SA-INT-CITATION-PROVENANCE-FRESHNESS-065- Source commit
fba62583f835bc669c02833fb6520ab3ba222155- Source tree
0b3c820e55f979f86fe8c123304053c67f27fbd0- Parent commit
e52262505f32594361b2850f1ac67b22ed7a0ddb- Sites version
134 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_dc3d6a574954819194d0698f279352ba- Deployment
appgdep_6a9aa1886df0819185e3d39a735dfcb5- Source archive
1046 files / 0EE07C5FE37B2FC4C3F5EC1EF5F2B02CA9ED08BBA2B3A9BF093145B573EE77D0- Site archive
1048 files / 34813796291369BE877202313FCD3A4ACE849453AE29BDF2B11C30A711C34EB1- Public bytes
199,077,002- Boundary
citation-provenance-not-claim-validation
Semiconductor Metric & Terminology Ontology
A deterministic contract layer exposes terms, aliases, units, denominators, grains, conditions, methods, and explicit compatibility before numeric comparison.
- Work unit
SA-KNOW-METRIC-ONTOLOGY-064- Source commit
e52262505f32594361b2850f1ac67b22ed7a0ddb- Source tree
b11763c94f09085854b8d1728361ec4758d9eac5- Parent commit
5b0bd60f6230407b5c9799ce0492e2d57b10aa03- Sites version
133 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_18b6bab65adc8191834f13c86d1e1761- Deployment
appgdep_6a9a81716a508191b88aaa634fbab538- Source archive
1036 files / 6479F9796797BE1D486F44A9DF5B76DA1DFA04C9B25BFBD528E5164C1DE0DFF5- Site archive
1041 files / 9E79537D36CC7191AF8E9CF50212C290188101236853544504593549D2349231- Public bytes
186,707,376- Boundary
metric-compatibility-not-scientific-validity
Knowledge Coverage & Gap Ledger
A deterministic cluster-level ledger exposes public metadata coverage, explicit gaps, denominators, and transparent review order without producing a scientific quality score.
- Work unit
SA-KNOW-COVERAGE-GAP-063- Source commit
5b0bd60f6230407b5c9799ce0492e2d57b10aa03- Source tree
1a8e3b718bd9fa73efaf3cb5e01de0c31d867134- Parent commit
8c6a2c5dda7f0f02171a3b82dc483ea4205a98f5- Sites version
132 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_0865bb22adf88191a306b5196030e9d2- Deployment
appgdep_6a9a5aa29ffc8191bc95573b28ead90c- Source archive
1026 files / 73BC2170131E05359C92282FD38BF2C52FFD46E78FDAAEEFC9F0C6F1A1554260- Site archive
1034 files / 10B3D01185479CFEA9614EEA02291BB36F3722A90AA672859B9B8D7B0872C6E9- Public bytes
184,564,598- Boundary
metadata-coverage-not-scientific-quality
Research Project Builder
A browser-local builder produces an inspectable research brief and structure-only reproducibility packet.
- Work unit
SA-INT-RESEARCH-PROJECT-BUILDER-062- Source commit
8c6a2c5dda7f0f02171a3b82dc483ea4205a98f5- Source tree
d34062ba7fb936a83e4b73973d784d469e1f31dd- Parent commit
28226eaf7a3e6b471dea17d0799a2c8897f4a93f- Sites version
131 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_69b7fb6cc8448191b5696c3c4975ec77- Deployment
appgdep_6a999c809fac8191b40639d837e86efb- Source archive
1017 files / F8493035B52F5BFB867D2BC07FA844770C834E42780E3E8226903BB584156122- Site archive
1027 files / 13AF7A7725F9008D359239668ED1CFEF9D78B0F70E3228DC15E6ABCD0AF7D329- Public bytes
183,926,700- Boundary
structure-only-research-project
SPICE Convergence And Evidence Literacy Lab
Rights-clean precomputed runs separate numerical convergence, metric stability, model validity, and signoff status.
- Work unit
SA-CIR-SPICE-CONVERGENCE-EVIDENCE-061- Source commit
28226eaf7a3e6b471dea17d0799a2c8897f4a93f- Source tree
ddbd0fb958286bc8e6ae0676b3705cf24e867df7- Parent commit
63f1fb5d8162979968c6c47759d34ad0db107f55- Sites version
130 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_23e2443e5e2881918da8c6c2afcc23ee- Deployment
appgdep_6a9970d7cb00819183c279edf4c61590- Source archive
1008 files / BE98B4C999BE9068DA24CD38196E9B1BB8E349176463FDCB5985FCD8A786F00C- Site archive
1020 files / 9D1DC2FF14D57346BDD0B35826022E45C40F231F4AA1239368C9FE02405A4450- Public bytes
183,834,474- Boundary
public-evidence-artifact
SRAM Variation And Corner Coverage Lab
A known-ground-truth synthetic lab separates variation levels and exposes how coverage choices affect SRAM margin interpretation.
- Work unit
SA-MEM-SRAM-VARIATION-COVERAGE-060- Source commit
63f1fb5d8162979968c6c47759d34ad0db107f55- Source tree
18f529d40bef0895f29e2ff888332de68f10b845- Parent commit
691cecd1ee21c84e3e4204e3f5866f6489a887f2- Sites version
129 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_c02dfa2b9a588191a7c2db867a5b5a0b- Deployment
appgdep_6a98dfb520dc81919adf17c4d401150d- Source archive
995 files / 9DBF2928CA5C8B77893CCB6F30542EB8A73A62D2CA30E31C0792CE390460F326- Site archive
1005 files / 7739EB83392DC617F6E299242FF57EF3F9F9D13294B2152FFF33AC1BBAA8C686- Public bytes
183,264,312- Boundary
public-evidence-artifact
LER/LWR To SRAM Variability Chain
A seeded synthetic chain exposes edge statistics, correlation, local-CD spread, and bounded device and SRAM proxy handoffs.
- Work unit
SA-PROC-LER-LWR-VARIABILITY-059- Source commit
691cecd1ee21c84e3e4204e3f5866f6489a887f2- Source tree
1c7bae803c0c001b0d2a4f53b1a463bed8d34003- Parent commit
74d6a75f1cc024a3cf247d58a688d9e392676705- Sites version
127 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_30faede7d3388191a17de9fed2672862- Deployment
appgdep_6a98ba1f11388191ad8fb602de88c254- Source archive
986 files / 38B48881AFE6C9AEBFAB3B9B2F0811B722BFDE9704BB4205DF94AFCFB794614C- Site archive
995 files / 66B11C1A62B0BD30F8B52F92535519E5C2706DB83A2E66A3D9B1B8D2017C558B- Public bytes
183,149,532- Boundary
public-evidence-artifact
Data Contract And Coverage Sandbox
A synthetic sandbox teaches and verifies data-contract decisions before analysis.
- Work unit
SA-INT-DATA-CONTRACT-COVERAGE-058- Source commit
74d6a75f1cc024a3cf247d58a688d9e392676705- Source tree
2af13f7d0cf54e105b09fa2ab8c8486291d4d7f2- Parent commit
1405362369bf986dfcde22573c328a2baa5c0c03- Sites version
126 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_c2bf273d010c81918638e51df56c505b- Deployment
appgdep_6a98948d1dd0819187f42d3a9384dc65- Source archive
977 files / 664C21ED492F59495CB008685B9B20FB454492C8278617F94E7F457EDFD85669- Site archive
985 files / DD8CA7B561FB0F7232CC71A2E5C1E2CD53A11EC341FA7CA31FA0BF79A60A26DA- Public bytes
183,098,356- Boundary
browser-local-structure-workspace
Scenario Comparison Notebook
A local notebook compares two to four compatible public replays and refuses misleading comparisons.
- Work unit
SA-INT-SCENARIO-COMPARE-NOTEBOOK-057- Source commit
1405362369bf986dfcde22573c328a2baa5c0c03- Source tree
f1f9ea87b2bdc09e8c5ba04f1c1ae0e176745142- Parent commit
429f4fad4dcfa2c05682fc68dbacc86213497030- Sites version
125 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_c1158e9528748191800ca1a06eca5716- Deployment
appgdep_6a986a270d28819198fbc00fe8cceabb- Source archive
968 files / D2E64DBED09E86432D7F16900A49319754F030CE181A9D23D34E8DEE52A29751- Site archive
978 files / A055E25E5170A8A4AAFF54F274420B2CC0E654F64546605C3583346C416BFAE8- Public bytes
183,008,350- Boundary
browser-local-structure-workspace
Claim-Evidence Workbench
A local workbench produces a verified claim-evidence matrix without judging scientific truth automatically.
- Work unit
SA-INT-CLAIM-EVIDENCE-WORKBENCH-056- Source commit
429f4fad4dcfa2c05682fc68dbacc86213497030- Source tree
83faa1fe0d36fd70d1f4165ef0b7392bf1a04d23- Parent commit
6b1487426cf0bf91d80b648f9460d88826ea64de- Sites version
124 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_9687db0a31e08191a43993bfe54def04- Deployment
appgdep_6a98263993dc8191a52b30a8dc96b5c7- Source archive
959 files / 7D50F821AC0DD8E696AB50145D6632316AB8AEAFFA63941E1A689EA1B99B1D00- Site archive
971 files / 02B408C61EA63387EC17082CF0301DDB15C85802B2ACBC0F7398502870110D67- Public bytes
182,761,168- Boundary
browser-local-structure-workspace
Causal Chain Navigator
A navigable process-to-device-to-circuit-to-system or yield graph exposes every bridge and limitation.
- Work unit
SA-INT-CAUSAL-CHAIN-NAVIGATOR-055- Source commit
6b1487426cf0bf91d80b648f9460d88826ea64de- Source tree
7b522de0e5212a1128e0a8b990c70dea4afd1ea4- Parent commit
21cec15fde8a5085be66e2411bf685e6ca3586f7- Sites version
123 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_262330154ce88191af1e3c323c723f10- Deployment
appgdep_6a97ac911ffc8191bb95c2a391aa94fa- Source archive
950 files / 973ECCB0713B24A47AC4794E0A1BDC69A398F4BCE9CFBAA1E6BFF010AFF99EAC- Site archive
964 files / 5A4C480407EA0814E66EBFDDBA44050297E9F596E2AA32BE7F396AD9390CD324- Public bytes
182,744,646- Boundary
public-navigation-synthesis
Role And Competency Paths
Eight role paths connect foundation, cross-domain practice, and evidence-ready checkpoints to public artifacts.
- Work unit
SA-INT-ROLE-PATHS-054- Source commit
21cec15fde8a5085be66e2411bf685e6ca3586f7- Source tree
9850cda8be764e5914778a0b9cd1b0701378656c- Parent commit
1307908328ff98b3e498276460bbb9e201369b8e- Sites version
122 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_fe8e5455c7b88191b6b7e313eb5feec6- Deployment
appgdep_6a977e4a305c81919240f8c319a9c1aa- Source archive
942 files / C8C95929FAD0438045AABAA0BED0804D4AE45B09E54ED15455544095FD1C7088- Site archive
958 files / 1316ACE395F5E6B4EEAC27FA59ED1A86FEA6A8645A056DE28E86C559229E7C6B- Public bytes
182,623,288- Boundary
public-navigation-synthesis
Guided Journey Router
A transparent deterministic router recommends an explainable path through existing v120 content.
- Work unit
SA-INT-GUIDED-JOURNEYS-053- Source commit
1307908328ff98b3e498276460bbb9e201369b8e- Source tree
430d133ea132b2ddfc6d6e3c82faf93c1a33ff37- Parent commit
8f08898b7e84c451a373a642b0b783e8cfcb87c4- Sites version
121 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_4ea09f9c1ec88191a895f4cc701a1e5a- Deployment
appgdep_6a96d86405d481919e96c901fc888bf7- Source archive
934 files / 500B99FA71159E015D6C09A41A4843B0972D87F893B28C2302A2A6BE0B22A8B4- Site archive
950 files / 5FAEE945C068519228FCA5204E9232585572583EDFDE976473763FC4AD35C25B- Public bytes
182,486,796- Boundary
public-navigation-synthesis
Knowledge atlas and public release ledger final integration
Unify goal-based entry paths, engineering domains, knowledge families, source boundaries, and verified release lineage.
- Work unit
SA-INT-V120-FINAL-INTEGRATION-052- Source commit
8f08898b7e84c451a373a642b0b783e8cfcb87c4- Source tree
c0c164cb276100e06a45e5cae113e223a599fc1c- Parent commit
a25425e00cd0e1aa4230de85883f6eaa88ddc9d8- Sites version
120 / appgprj_6a6f4d3affc0819189d99a8f29062540~appgver_8b82d164fe84819183e989377f2a06b5- Deployment
appgdep_6a9629cd37a48191a16e870638388c8d- Source archive
927 files / D0E11DAE2B907DE660522EF433FA44CAF6C3EEDBD69504D428B92A9CF6D97C60- Site archive
944 files / F929BF87BD1E3344D74AF69CD06C0261B5468417F7EFC142DE690699D5A8BED6- Public bytes
182,419,802- Boundary
public-navigation-synthesis
ACTIVE / COMPILE-TIME CONTRACT
V140 SemiAgora Evidence OS 1.0
Unify Learn, Trace, Compare, Reproduce, and Plan while every claim, metric, packet, exception, and stop condition retains its declared evidence state.
Open the V140 Evidence OS and move through Learn, Trace, Compare, Reproduce, and Plan while explicit claim, metric, packet, exception, and stop states remain visible.
compile-time-contract-release-identifiers-pending- Work unit
SA-INT-EVIDENCE-OS-072- Source commit
- Sealed after commit
- Source tree
- Sealed after commit
- Sites version
- Sealed after packaging
- Deployment
- Sealed after deployment
- Public verification
- Sealed after both-domain checks
- Required routes
- //knowledge-atlas/knowledge/search/releases
Seal the exact V140 commit, tree, archives, Sites version, deployment, public bytes, and dual-domain verification in immutable post-deployment evidence.
V111-V119 / EARLIER LEDGER
Nine retained foundations
Earlier evidence atlases, provenance, researcher-source, and accessibility releases remain available with their original identifiers.
Accessibility and quality consolidation
494/494 dual-domain pass
a25425e00cd0e1aa4230de85883f6eaa88ddc9d8Researcher source and citation workspace
492/492 dual-domain pass
685141447a26743e9fd44afee9945c27ae4ca9d8Evidence provenance and route-aware search
488/488 dual-domain pass
17613d350fc4c95dcd9d748c4f397e4b0d94d8a0Packaging and test evidence atlas
474/474 dual-domain pass
55d54e649fcb8f9038b7684c71501bbec4eb7cccFactory facilities and sustainability evidence atlas
412/412 dual-domain pass
83c42897b781ec8a1a3588bfa707b3c969ceec45Sensor, metrology, and control evidence atlas
364/364 dual-domain pass
3facc09197a57c8a45ccce7f066d13b3a5333358Patterning and module-flow evidence atlas
302/302 dual-domain pass
06f9ef1173ee3468be8bc5e86ab1f347414286a5Deposition evidence atlas
202/202 dual-domain pass
4e48e861aa308deae1afbe47714dd6d1573b224eEtch depth and selectivity evidence atlas
102/102 dual-domain pass
316a0747d635615adcd72eab4f06f30da464d311NON-CLAIMS
What completion does not mean
- The ledger is not a claim of production qualification, foundry approval, process readiness, scientific truth, or signoff.
- Release completion does not validate every linked external source body, user-entered state, or semiconductor topic.
- No account, arbitrary upload, server write, payment, private research intake, analytics, collaboration, or behavioral ranking workflow is enabled.
- Researcher marketplace and paid engagement remain deferred to the separately verified V200 planning horizon.
- V140 identifiers are not claimed inside its own compile-time bytes; immutable post-deployment evidence closes that row.
- V140 integrates public evidence states; it does not validate a source body, prove a claim, make UNKNOWN metrics comparable, or turn reproduction into signoff.