Forge Research | Programme Synthesis Status

The 2025 Forge report describes an experimental synthesis programme, not production readiness, and publishes no benchmark results.

What is Dweve Forge?

Forge is Dweve’s program-synthesis research programme. The 2025 report records an experimental system, not a production-ready release, and contains no published benchmark results.

  • Forge research access is separate from a supported product, general licence or release commitment.
  • The 2025 report does not establish production readiness and publishes no benchmark results.
  • Any future synthesis result needs a bounded specification, verification evidence, target details and a reproducible measurement plan.

Choose the audience that matches your question

The page contains three selectable readings of the same subject.

For consumers

Forge is Dweve research into program synthesis for bounded tasks. The 2025 report describes an experiment, not a production-ready product, and gives no published benchmark result.

For businesses

Forge studies whether synthesis can find a better implementation under a defined contract. The 2025 report records no production readiness and no published benchmark results.

For engineers

Forge is a research programme for typed candidate search and bounded verification. Its 2025 report is explicit that the system is not production ready and publishes no benchmark results.

Gníomhaire códaithe agus cúnamh oibreora. Tá méadrachtaí taispeána samplach.

Teirminéal, cuardach, lint, tástáil, git, agus eile.

Cuimhníonn sé ar do chódchiste agus comhthéacs foirne.

Comhoibríonn gníomhairí speisialaithe thar ábhair imní.

Ritheann polasaithe, seiceálacha, agus tástálacha i gcónaí.

Déan athbhreithniú ar difs, iarr athruithe, síniú deiridh.

Athsheinn aon seisiún beart ar bheart nuair is gá athbhreithniú.

Bain an garda + teorainn le hathiarratais

Gníomhairí uathrialacha a scríobhann cód agus a choinníonn admhálacha

chun déileáil le amanna amuigh líonra, freagraí 5xx, agus coinníollacha sábháilte-idempotent. Cúntóir íon, tástáilte go hiomlán.

is é an toradh é, agus taifeadtar é mar aon.

Trí bhealach ar féidir le duine freagra a thabhairt. Ní ghlacann an cuardach le haon cheann acu leis féin.

Na cúig shampla a soláthraíodh agus conas a fhreagraíonn an dá iarrthóir iad

léann sé an seicheamh folamh mar rud lasmuigh den ionchur ceadaithe

léann sé an seicheamh folamh mar a bhfuil méid neodrach aige

beirt iarrthóirí, dhá phointe stad macánta, tuairiscithe araon mar atá siad

teoiric fhoirmiúil lasmuigh den chonradh reatha

Aon iompar ar sprioc nach n-ainmníonn an taifead.

Gurb iad na céannachtaí taifeadta na cinn a tháirg an rith.

graf, plean, déantán agus toradh ag roinnt taifead amháin

Aon airí nár chódaigh an conradh, agus aon déantán astaithe.

Na séimeantaic a códaíodh agus na toimhdí a phionnáil an paicéad.

tá na toimhdí pionnáilte agus liostaithe

Iompar thar an gceangal, nár cuardaíodh riamh.

Gurb é an fearann dearbhaithe an ceann a n-úsáidfear an toradh laistigh de.

tá an fearann dearbhaithe leis an éileamh

Iompar ar aon ionchur lasmuigh den tacar taifeadta.

Gurb ionann na cásanna dearbhaithe agus an t-iompar a bhfuil cúram ar an taighdeoir faoi.

Ní dhearna sé ach an teanga a ainmniú as ar tógadh an t-iarrthóir.

Go dtagraíonn an cruthúnas, an graf, plean Kera agus céannacht an toraidh dá chéile.

An airí siombalach tacaithe, cruthaithe thar na séimeantaic chódaithe.

Gach luach i bhfearann críochta dearbhaithe, gan teip.

Gach cás coincréiteach a dhearbhaigh an paicéad, rite agus comparáide.

Cineálacha, cruthanna, éifeachtaí, úinéireacht agus an comhéadan dearbhaithe.

Baineann an suaitheantas le clár amháin beacht

Ar ais go dtí an lipéad struchtúrach soiléir

An suaitheantas céanna tar éis céim amháin a athrú

Tóg ceann ar bith de na cúig cinn seo ar shiúl agus is ráiteas difriúil é.

An suaitheantas agus na cúig chuid a dearbhaíonn sé

Ní deir sé faic faoi uimhríocht dheachúlach.

Toradh foirmiúil, agus seiceáil ar leith air.

Slánuimhreacha amháin, agus rud ar bith lasmuigh den chlár.

Seasann sé do gach slánuimhir sa raon dearbhaithe.

Tá ró amháin roinnte. Tá gach freagracht eile ar thaobh amháin go díreach den teorainn.

Is struchtúr iad na scáthchruthanna, ní foinse. Is suíomhanna coibhneasta ar aon teorainn iad faid na ribíní.

Tá iarrthóir E faoi cheannas ag iarrthóir D ar an tacar cuspóirí gníomhach

Is rogha é Cothrom freisin, agus taifeadtar mar rogha é.

Tá gach ceann de na ceithre cinn seo ceart, mar sin is rogha é seo agus ní rangú é.

Is lú a thugann B suas ar aon tomhas amháin.

Ritheann C ar an raon is leithne de mheaisíní tacaithe.

Bogann B an méid is lú sonraí, agus tógann sé níos faide le críochnú.

Críochnaíonn A go luath, agus coinníonn sé an méid is mó sonraí agus é ag obair.

Fágann D athscríobh amháin ar lár le go mbeidh sé simplí le seiceáil.

Coinníonn A an méid is mó sonraí agus é ag obair.

Níl aon lána ar an gclár seo a chríochnaíonn le cód fallback ginte. Críochnaíonn gach ceann acu le toradh ainmnithe agus an duine a bhfuil an chéad ghluaiseacht eile aige.

gan ionadaíocht ag an gconradh fíoraithe

tagann an toradh laistigh de fhuinneog sheasta ama chlog

d'fhéadfadh iontráil cheartaitheach an t-iomlán a laghdú

tá an toradh cruinn go dtí an t-aonad deireanach

ní laghdaíonn an t-iomlán riamh de réir mar a chuirtear iontrálacha leis

fanann gach méid laistigh den raon dearbhaithe

Coinnigh gach léamh laistigh den raon sábháilte

deir sé cé chomh láidir agus a sheiceáil sé

D'fhéadfadh an freagra a bheith gan aon chlár

Comparáid a aistríonn chuig pacáiste eile turgnaimh.

Trasnaíonn an dá líne, agus sin an fáth nach bhfuil ceachtar iarrthóir mar fhreagra leis féin.

Is é an chill fholamh an t-éileamh: rinneadh castacht chruthúnais a shamhaltú agus níor tomhaiseadh riamh é.

Áit inar féidir le haschur samhail seasamh in ionad tomhais.

Ceithre chuspóir, dhá iarrthóir, turgnamh amháin

Suímh choibhneasta ar thurgnamh amháin, is airde is costasaí.

Scór amháin ar féidir an dá iarrthóir a rangú de réir.

leanann an rith ar aghaidh faoin gcéannacht chéanna

FIANAISE A GCAITHEANN AN CHÉAD IARRTHÓIR EILE SÁSÚ A DHÉANAMH

Sásaíonn an tríú hiarrthóir gach oibleagáid taifeadta. Ní aimsíonn an fíoraitheoir aon ionchur sáraitheach laistigh den fhearann tacaithe agus tugann sé cruthúnas ar ais lena thoimhdí liostaithe in aice leis.

DEIMHNITHE GO FOIRMIÚIL, toimhdí liostaithe

do gach x in i32, móide an dá chás taifeadta

Caithfidh an dara hiarrthóir na samplaí agus an cás ró-shreafa a shásamh le chéile. Leathnaíonn sé an t-idirmheánach sula n-iolraíonn sé, agus tugann an fíoraitheoir dara cás ar ais nár shocraigh an tsonraíocht riamh: ionchur folamh.

do gach x in i32, móide an cás taifeadta

Sásaíonn an chéad iarrthóir na trí shampla a soláthraíodh. Cuardaíonn an fíoraitheoir iomlán i32 agus tugann sé ionchur nithiúil amháin ar ais ina bhfágann an táirge scálaithe an raon dearbhaithe.

ní dhéanann aon rud ar an mbileog seo na ceithre chuspóirí a chomhdhlúthú in aon uimhir amháin

cosán iniúchta níos faide, ag fáil oiriúnacht sprice níos leithne ina ionad sin

cosán iniúchta níos faide, ag fáil gluaiseacht níos ísle ina ionad sin

cosán iniúchta níos faide ná an ball roghnaithe ar an tsraith ghníomhach

Léann clár rialaithe an teorainn chéanna feadh na haise fianaise agus tógann sé ball D.

ritheann sé ar níos lú spriocanna tacaithe, ag trádáil leithead ar chosán iniúchta

ritheann sé ar níos lú spriocanna tacaithe, ag trádáil leithead ar ghluaiseacht

ritheann sé ar níos lú spriocanna tacaithe ná an ball roghnaithe

Léann eastát scaipthe ar chrua-earraí measctha an teorainn chéanna feadh na haise sprice agus tógann sé ball C.

bogann sé níos mó sonraí, agus coinníonn sé díorthú níos giorra ina ionad sin

bogann sé níos mó sonraí, scaipthe ar níos mó spriocanna tacaithe

bogann sé níos mó sonraí ná an ball roghnaithe ar an tsraith ghníomhach

Léann imscaradh atá srianta ag trácht cuimhne an teorainn chéanna feadh na haise gluaiseachta agus tógann sé ball B.

latency samhaltaithe níos airde, agus ní í a chosán iniúchta níos giorra an ais

latency samhaltaithe níos airde, agus ní í a leithead atá á íoc anseo

latency samhaltaithe níos airde ná an ball roghnaithe ar an tsraith ghníomhach

Léann foireann innealtóireachta le meaisín sprice amháin an teorainn feadh na haise latency agus tógann sí ball A.

suíomhanna coibhneasta amháin, gan figiúirí tomhaiste

Slonn amháin leathnaithe ina cheithre aicme fhoirmeacha coibhéiseacha, leis an gcosán chuig an sprioc eastósctha roghnaithe lasta agus imeall amháin diúltaithe tarraingthe ach gan é a lasadh riamh

Slonn leathnaithe ina líonra foirmeacha coibhéiseacha, le coinníollacha ar na himill

Maidir le heastóscadh le haghaidh iniomparthachta, tógtar an laghdú láidreachta agus an t-athrú leagain ina ionad. Ritheann sé níos mó oibríochtaí ná an fhoirm ailgéabrach agus sroicheann sé an tacar is leithne de spriocanna tacaithe.

Maidir le heastóscadh le haghaidh gluaiseachta, iompraítear an chéim ailgéabrach chéanna ar aghaidh isteach san aicme chomhleáite. Ritheann sé níos lú oibríochtaí ná an fhoirm leagain agus coinníonn sé an ghluaiseacht chuimhne is ísle de na trí cinn.

Maidir le heastóscadh le haghaidh folaigh, tógtar an fhoirm ailgéabrach agus stadann sé ann. Ritheann sé an líon is lú oibríochtaí agus bogann sé níos mó sonraí ná an fhoirm chomhleáite, agus tá sé i dteideal an choinníll leithid a cruthaíodh.

Éilíonn ardú céime fianaise, ní rialú. Níl an ghné seo ar fáil i ngach stát ar an mbord seo, arb é sin an riail atá á tarraingt.

nód amháin athraithe, agus filleann an lipéad ar an bhfoirm mhaith

réigiún snámhach an ghraif chéanna, nach ionadaíonn an ionchódú seo dó

seimeantacht shlánuimhir bheacht agus réigiún a dhearbhaigh an paicéad a bheith íon

gach ionchur is féidir leis an teoiric fhoirmiúil a chur in iúl

an caidreamh ionchódaithe ar fud an réimse iomláin thacaithe

cruthaíodh caidreamh uilíoch tacaithe faoi na toimhdí luaite

aon ionchur lasmuigh den tacar soláthraithe, lena n-áirítear an coinníoll cainníochtaithe

an t-iompar tagartha a soláthraíodh leis an bpaicéad, laistigh dá réimse féin

na hionchuir sholáthraithe, ceann ar cheann

na cásanna coincréiteacha atá scríofa sa tsonraíocht

ritheadh na cásanna coincréiteacha dearbhaithe agus níor éilíodh aon rud thar sin

iompar ar phróifíl sprice nach n-ainmníonn an nasc forghníomhaithe

an teaghlach uimhriúil agus na héifeachtaí a cheadaigh an paicéad, araon pinned

an raon ionchuir dhearbhaithe ar phróifíl sprice tacaithe amháin