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