Constructor de Contractes del Proveïdor de Decision Gate
Construeix contractes de proveïdor que defineixin comprovacions de proveïdor (evidència consultable) amb regles de comparador en mode estricte. Aquesta eina mai no crida a la xarxa i mai no emmagatzema dades fora de la sessió del teu navegador.
Què produeix això
- Un contracte de proveïdor JSON (el fitxer que envies juntament amb un proveïdor MCP).
- Els comparadors en mode estricte permeten llistes basades en el tipus de valor retornat.
- Esquemes i metadades alineats amb el contracte de Decision Gate.
Model de validació
- El mode estricte aplica la matriu de compatibilitat del comparador derivada del tipus de valor retornat.
- El mode permissiu permet comparadors insegurs però els marca com a advertències.
- L’anàlisi de l’esquema i la validació del comparador es realitzen localment al navegador.
Espai de treball del constructor
El constructor interactiu es carrega a continuació. S’executa completament al vostre navegador, mai no crida a la xarxa i mai no emmagatzema dades fora de la vostra sessió.
Copiar JSONDescarregarRedimensionar el panell de vista prèviaRedimensionar la vista prèviaTutorialComposar seleccióNetejar seleccióCombina els mòduls de projecció d'AssetCore per inicialitzar un contracte complet de proveïdor.MòdulsInventari escalar més reixetes espacials 2D.0D + 2DEquilibris + espais per a l'estat d'inventari escalar.0D CoreTopologia de contenidor discret 1D.Reixeta 1DTopologia de contenidor 2D discreta.Reixeta 2DGeometria contínua 1D + 2D de punt fix.Geometria ContínuaTotes les projeccions discretes i continuades.Actiu Core completPreconfiguracionsComposició d'AssetCore carregada.Seleccioneu almenys un mòdul d'AssetCore.Advertències de composició: s'han detectat {count} discrepàncies.{templates} mòduls / {predicates} verificacionsSeleccioneu mòduls per composar un contracte.0D1D2DBalançContinuDiscretReixetaSlotsContenidors de saldo escalar amb quantitats de punt fix.0D BalançContenidors de slots per a ocupació discreta i mapeig de classes.0D SlotsGres de 1D discretes amb dades de cel·les indexades.Reixeta 1D (Discreta)Gresos 2D discretes amb geometria de cel·les i col·locació.Reixeta 2D (Discreta)Geometria contínua 1D amb segments de punt fix.1D ContinuGeometria 2D contínua amb rectangles de punt fix.2D Continu{count} comprovacionsComposició d'AssetCoreAquest constructor genera un contracte de proveïdor per a Decision Gate.Trieu una plantilla o definiu la identitat del proveïdor.Afegiu comprovacions del proveïdor i definiu els tipus de valors retornats i comparadors.Reviseu la validació, després descarregueu o copieu el contracte.Comença el teu contracte amb el proveïdorDefineix les verificacions del proveïdor i les regles de comparació.ID del proveïdor: {id}Constructor de contractes de proveïdorPlantillesComenceu amb una plantilla estricta i personalitzeu a partir d'allà.Nova comprovacióTipus d'ancoratgeAfegiu tipus d'ancoratge si el proveïdor emet ancoratges estables.ruta_fitxerAccionsComparadorsNom del xecEntrades del proveïdorTipus de valor retornat{count} seleccionatsEl mode estricte desactiva els comparadors que entren en conflicte amb el tipus de valor retornat.Seleccionat: {list}Encara no s'han seleccionat comparadors.Comparadors permesosTipus de contingutAfegiu almenys un tipus MIME.aplicació/jsonComprovar descripcióDescriu el valor retornat i quan s'hauria d'utilitzar.Expliqueu què retorna aquesta comprovació.DeterminismeDescriu si els resultats depenen del temps, d'un estat extern o es mantenen estables.EditarDetalls de la comprovació del proveïdorEncara no hi ha comprovacions de proveïdor. Afegiu-ne una per definir el vostre primer senyal.Seleccioneu o afegiu una comprovació de proveïdor per editar.DescripcióDescripció breuParàmetres (JSON){ "key": "value" }Resultat (JSON){ "ok": true }Afegir exempleEncara no hi ha exemples.Proporcionar paràmetres i resultats d'exemple per ajudar les eines i els autors.ExemplesExemple {index}Entrades del proveïdorMatriu de comparadorsComprovar nomUtilitzeu minúscules en format snake_case. Referenciat per escenaris (per exemple, team_id).per exemple, team_idDeclara ancoratges d'evidència i tipus de contingut retornats per aquesta comprovació.Sortides d'evidènciaEntrades del proveïdor opcionalsEntrades del proveïdor requeridesIndiqueu si s'han de proporcionar EvidenceQuery.params per obtenir el valor.Esquema d'entrada del proveïdorEliminarEliminar {name}? Això no es pot desfer.Eliminar la comprovació del proveïdorTipus de valor retornat{nom} | {tipus} | {comptador} comparadorsCada comprovació de proveïdor defineix un senyal consultable, el seu tipus de valor retornat i els comparadors permesos.Comprovacions del proveïdorTipus de valor retornat: {type}UnióComprovació sense títolComprovacions del proveïdor ({count})Comparadors seleccionatsValidació neta{count} error(s) encara necessiten atenció.Comprovar nomsCompletar la llista de verificacióIdentitat del proveïdorAfegiu un ID i un nom de proveïdor.Preparat per exportarPreparació per a l'exportacióNo disponible per a valors retornats de {type} en mode estricte.No és compatible amb els valors retornats de {type}.Comparator d'opt-in desactivat per política.Comparator d'opt-in habilitat per política.Comparator d'opt-in seleccionat sense habilitar la política.Feu clic per saltar al camp.Matriu de comparació de visualitzacióCancel·laEliminars'afegiran {count} comprovació(s).Cancel·laAplicar canvisNo s'han detectat canvis notables.Revisi què canviarà abans de substituir el seu contracte actual.Identitat del proveïdor: {name} ({id}){count} comprovació(s) seran eliminades.Aplicar {name}?desconegut{count} comprovació(s) seran actualitzades.RebutjarS'ha carregat el teu últim esborrany de constructor per aquesta pestanya.Borrador restauratDesat {time}Començar de nouEl nom de la comprovació és obligatori.El nom de la comprovació ha de ser en snake_case (lletres minúscules, números, guions baixos).L'esquema de configuració JSON no és vàlid: {error}{name}: exemple {index} dels paràmetres JSON és invàlid.{name}: exemple {index} resultat JSON és invàlid.JSON no vàlid.JSON no vàlid: {detail}Seleccioneu almenys un comparador per a {name}.Es requereix un ID de proveïdor.El nom del proveïdor és obligatori.Mode estricte: {name} utilitza {invalid} comparadors que no coincideixen amb un valor retornat de tipus {type}.AssetCore és un substrat de memòria estructurada determinista que emmagatzema l'estat del món en contenidors tipats. L'eina de composició et permet sembrar un contracte complet de proveïdor de Decision Gate a partir dels mòduls de projecció d'AssetCore.Trieu preconfiguracions per a configuracions comunes o seleccioneu mòduls individuals per construir un proveïdor personalitzat. El contracte compost inclou totes les comprovacions del proveïdor, esquemes i regles de comparador necessàries per consultar l'estat d'AssetCore.Què és la composició d'AssetCore?Documentació d'Asset CoreApreneu sobre el model de memòria deterministaGuia de desenvolupament del proveïdorConstruïu i proveu el vostre contracte de proveïdorCatàleg de plantilles d'AssetCoreNavega per tots els mòduls de projecció disponiblesEls mòduls es mapegen a les topologies del contenidor AssetCore (saldos, reixetes, geometria contínua)Les comprovacions del proveïdor estan prevalidades per a la compatibilitat amb el mode estricteEls contractes compostos estan llestos per a capabilities_path en decision-gate.tomlConstruir proveïdors de Decision Gate a partir de projeccions de memòria estructuradaComenceu amb un preset per prototipar ràpidament, després personalitzeu afegint o eliminant mòduls individuals.Composició d'AssetCoreCada mòdul representa una família de projeccions d'AssetCore. Seleccionar un mòdul afegeix les seves comprovacions de proveïdor, esquemes de resultats i comparadors en mode estricte al teu contracte compost.Els mòduls són independents i es poden combinar lliurement. El constructor fusiona automàticament les comprovacions de proveïdor que es superposen i valida la compatibilitat dels comparadors.Què són els mòduls d'AssetCore?Referència dels proveïdorsCom exposen els proveïdors les comprovacionsCatàleg de plantilles d'AssetCoreDocumentació detallada de verificació i esquema0D Equilibri: Quantitats de punt fix en contenidors escalar0D Slots: Ocupació discreta i mapeig de classesReixeta 1D / 2D: Indexació espacial basada en cel·lesGeometria contínua 1D / 2D: segments de geometria de punt fix i rectanglesFamílies de projecció individuals per a un control detallatPassa el cursor sobre una targeta de mòdul per veure el nombre de verificacions abans de seleccionar.Mòduls d'AssetCoreEls presets són paquets curats de mòduls d'AssetCore dissenyats per a topologies de contenidors específiques. Et proporcionen un contracte de proveïdor funcional amb un sol clic.Després d'aplicar un preset, encara pots afegir o eliminar mòduls individuals. Els presets són un punt de partida, no una restricció.Què són els presets d'AssetCore?Conceptes del model bàsicEntendre l'arquitectura de Decision GateCatàleg de plantilles d'AssetCoreVeure tots els mòduls inclosos en cada preset0D Core: Inventari escalar (saldos + espais)Reixeta 1D / 2D: contenidors espacials discretesContinu: Geometria de punt fix (línies, rectangles)AssetCore complet: Totes les projeccions combinadesPaquets de mòduls preconfigurats per a casos d'ús comunsEl preset "0D + 2D" és ideal per a jocs amb sistemes d'inventari i col·locació espacial en 2D.Preconfiguracions d'AssetCoreUtilitzeu aquest panell per anomenar la comprovació, descriure el seu comportament i establir el tipus de valor retornat.Els canvis actualitzen immediatament la vista prèvia del contracte i la validació.Com puc editar un control?Guia del constructorGuia de cada secció de l'editorDesenvolupament del proveïdorPatrons i exemples d'esquemaCanviar els noms de les comprovacions trenca els escenaris existentsLes descripcions haurien d'explicar el valor retornatEdita un control de proveïdor a la vegadaPreferiu comprovacions petites i enfocades en comptes de grans generalitzacions.Comprovar editorCada comprovació del proveïdor declara un nom, un tipus de valor retornat, comparadors permesos i entrades opcionals del proveïdor.Els predicats de l'escenari fan referència més tard a aquestes comprovacions pel seu nom quan es construeixen les portes.Què és una comprovació del proveïdor?Guia del constructorCom autoritzar contractes de proveïdorsAutoria de condicions de l'escenariCom utilitzen els escenaris les comprovacionsDesenvolupament del proveïdorImplementar proveïdors d'evidènciesComproveu que els noms es mapegen a EvidenceQuery.predicateEl tipus de valor retornat determina la compatibilitat del comparadorEls inputs són paràmetres necessaris per obtenir provesDefineix cada comprovació consultable que el teu proveïdor pot respondreCanviar els noms de les comprovacions més tard trenca els escenaris existents.Comprovacions del proveïdorEls comparadors decideixen com es prova EvidenceResult.value en ScenarioSpec.El mode estricte bloqueja els comparadors que no coincideixen amb el tipus de valor retornat.Què són els comparadors?Autoria de condicions de l'escenariCom s'apliquen els comparadors als escenarisFormes de dadesRegles de compatibilitat dels comparadorsComença amb equals i not_equalsAfegir ordenació només per a tipus numèrics o de dataDefineix com es comparen els valors retornats en els escenarisMantingueu la llista de comparadors petita per reduir l'ambigüitat dels escenaris.Comparadors permesosEls tipus d'ancoratge descriuen identificadors estables que podeu utilitzar per a la verificació o auditoria fora de línia. Els tipus de contingut declaren el tipus MIME de qualsevol càrrega d'evidència.Si el proveïdor no emet ancoratges, deixa els tipus d'ancoratge buits. Si el proveïdor retorna contingut que no és JSON, llista els tipus de contingut correctes.Què són les sortides d'evidència?Referència del registre d'auditoriaAuditoria d'evidències i ancoratgesDesenvolupament del proveïdorRequisits del contracte de capacitatEls tipus d'ancoratge permeten una traçabilitat d'auditoria.Els tipus de contingut suporten la divulgació i la correcció de les einesDeclara ancoratges i tipus de contingut retornats pel proveïdorPer a la majoria de proveïdors JSON, comenceu amb application/json i afegiu més només quan sigui necessari.Resultats de l'evidènciaEls exemples emparellen paràmetres amb resultats representatius perquè les eines puguin proporcionar orientació i validar les suposicions del comparador.Mantingueu els exemples mínims i deterministes. Eviteu secrets o dades en viu.Per què afegir exemples?Autoria de predicatsCom s'utilitzen els predicats per les comprovacions del proveïdorDesenvolupament del proveïdorGuia d'exemple de l'esquemaUtilitzeu un exemple per cada forma de resultat principalCoincidir amb les regles de params_required (omitir params quan no són necessaris)Els exemples ajuden els autors d'escenaris i les eines a validar expectativesEls exemples són opcionals però molt recomanats per a l'autoria de LLM.ExemplesAquesta vista prèvia coincideix amb l'esquema carregat des de capabilities_path.Copia o descarrega el JSON juntament amb el teu proveïdor MCP.Què és la vista prèvia?Configuració del proveïdorús del capabilities_pathDesenvolupament del proveïdorConstruir i enviar contractes de proveïdorEl contracte és la font de veritat per a les comprovacions del proveïdorMantingueu-ho versionat amb el codi del vostre proveïdorEl contracte del proveïdor JSON que consumeix Decision GateReexporta després de qualsevol canvi d'esquema.Vista prèvia del contracteL'ID del proveïdor és l'identificador estable utilitzat en EvidenceQuery.provider_id i en els predicats de ScenarioSpec.Nom i descripció ajuden els autors d'escenaris a entendre d'on proven les verificacions i on apareixen en la documentació.Què és la identitat del proveïdor?Configuració del proveïdorentrades del proveïdor decision-gate.tomlDesenvolupament del proveïdorCom construir proveïdors d'evidència MCPUtilitzeu identificadors de proveïdor en snake_case que coincideixin amb la vostra configuracióEls noms dels proveïdors són etiquetes llegibles per humansLes descripcions apareixen en la documentació i les eines generadesIdentifiqueu la font d'evidència utilitzada en escenarisCanviar els IDs del proveïdor trenca els escenaris existents.Identitat del proveïdorLes entrades del proveïdor es converteixen en EvidenceQuery.params quan s'executen els escenaris.Si es requereixen entrades, els escenaris les han de proporcionar; si no, els paràmetres s'han d'ometre.Què són les entrades del proveïdor?Protocol del proveïdorForma de sol·licitud/resposta d'EvidenceQueryDesenvolupament del proveïdorCom modelar les entrades del proveïdorUtilitzeu JSON Schema per validar els paràmetresEstabliu additionalProperties a false per seguretatInclou només les entrades que necessita el proveïdorParàmetres necessaris per obtenir el valorMantingueu els esquemes de paràmetres mínims i deterministes.Entrades del proveïdorAquest és el tipus d'EvidenceResult.value retornat pel proveïdor, no el valor esperat en un escenari.El mode estricte deriva els comparadors permesos d'aquest tipus.Quin és el tipus de valor retornat?Desenvolupament del proveïdorOrientació sobre l'esquema de contracteFormes de dadesCom influeixen els esquemes en la validacióEls formats de cadena (data, data-hora, uuid) canvien les regles del comparadorTipus d'unió intersequen conjunts de comparadorsTrieu el tipus més estret que coincideixi amb la sortidaDescriu el valor que retorna el proveïdorModela la sortida del proveïdor exactament per evitar errors en mode estricte.Tipus de valor retornatPunts clauRecursos relacionatsEls plantilles són contractes mínims de proveïdor no vinculats a AssetCore. Utilitzeu-los a l'hora de construir proveïdors per a punts d'HTTP, variables d'entorn o altres fonts de dades personalitzades.Cada plantilla demostra un patró de tipus de resultat diferent: banderes booleanes, codis d'estat numèrics o objectes estructurats. Expandeix a partir d'aquí a mesura que el teu proveïdor creixi.Què són les plantilles de Decision Gate?Guia del constructorGuia pas a pas per al constructorDesenvolupament del proveïdorImplementació del proveïdor de principi a fiGuia d'inici ràpidExecuta el teu primer escenari en minutsMínim: Comprovació d'un únic proveïdor booleàEstat HTTP: Comprovació d'enters parametritzatsInspecció d'Esquema: Comprovació d'objecte estructuratContractes inicials per a fonts de dades personalitzadesComenceu amb la plantilla Mínima per aprendre la forma del contracte, després avanceu cap a patrons més complexos.Plantilles de Decision GateExplica aquest tipus de valor retornatEl constructor reflecteix la validació estricta de DG MCP per detectar errors aviat.Feu clic a qualsevol problema per saltar al camp exacte.Per què veig problemes de validació?Formes de dadesReferència de validació del comparadorEls errors bloquegen l'exportació en mode estricteLes advertències indiquen desajustos en mode mirallComprovacions en mode estricte abans de l'exportacióResol els errors abans d'enviar un contracte.ValidacióContract aplicat.AplicarAquesta pàgina s'ha obert amb {name}. Aplica-ho per carregar el contracte.DescartarPlantilla llestaConfiguració del proveïdorComprovacions del proveïdorComprovar editorPrevisualitzacióProveïdorSaltar aAfegirEliminarD'acordTancarTipus de resultatOK = permès. opt-in = requereix alternances de validació.No permèsEls esquemes de resultats de la unió només permeten comparadors vàlids per a cada tipus enumerat.opt-inCada fila és una classe de tipus de resultat; cada columna és una família de comparadors.Matriu de compatibilitat de comparadorsAugmentar zoom{percent}%Acostar-seRestablirMode mirall (comparadors llegats)El mode mirall permet comparadors llegats però destaca els riscos de compatibilitat.Validació estricta (per defecte)El mode estricte desactiva els comparadors que conflicten amb el tipus de resultat.EnrereConstructordocuments de Decision GateImporta JSONNomena el proveïdor, després defineix les comprovacions i comparadors del proveïdor. El mode estricte manté els contractes segurs.No araIniciar el tutorialGuia pas a pasPrevisualitzacióValidacióRequereix validation.enable_deep_equals = true a decision-gate.toml.Habilita comparadors d'igualtat profundaRequereix validation.enable_lexicographic = true a decision-gate.toml.Habilitar comparadors lexicogràficsPolítica de comparadorConfigureu el transport i l'esquema de configuració per a decision-gate.toml.Configuració del proveïdorEsquema de configuració del proveïdorDescripció del proveïdorDescriu què pot retornar aquest proveïdor.ID del proveïdorDefine la metadada utilitzada per les consultes d'evidència i documents.Identitat del proveïdorUtilitzeu minúscules en format snake_case. Aquesta ID és referenciada per escenaris.per exemple, github_providerNom del proveïdorNom amigable per a l'usuari que es mostra en la documentació.per exemple, Proveïdor GitHubNotes del proveïdorAfegiu una notaTransportintegratmcpAfegir campPermetre propietats addicionalsAfegir valorAfegir variantDescripció del campFormatArticlesJSONRequeritEstructuratAquest esquema utilitza funcions no compatibles amb l'editor estructurat.{count} errorsVegeu el panell de validació per a més detalls.Vàlid{count} advertènciesContracte copiat.La còpia ha fallat.Descàrrega iniciada.s'han detectat {count} error(s).Contract importat.La importació ha fallat. JSON no vàlid.Sense problemes de validació.Plantilla carregada.{count} advertència(es).Retorna veritable quan el sistema està llest.Comprovació de proveïdor booleana única sense entrades de proveïdor.Aquest és un contracte inicial. Personalitzeu abans d'enviar.Sortida determinista només per a demostració.Proveïdor d'ExempleComprovació mínima del proveïdorRetorna metadades de càrrega analitzades.Comprovació del proveïdor de resultats estructurats amb entrades de proveïdor anidades.Assegureu-vos que els camps de resultat es mapen a una lògica de comparador estable.Inspecciona les càrregues i informa resultats estructurats.Inspector de SchemaInspecció de l'esquemaRetorna el codi d'estat HTTP per a una URL.Comprovació del proveïdor parametritzada que retorna un codi d'estat.Mantingueu els temps d'espera baixos per protegir l'avaluació de ScenarioSpec.Comprova codis d'estat remots mitjançant una llista d'acceptació controlada.Proveïdor d'Estat HTTPComprovació de l'estat HTTPUtilitzar plantillaTutorial complet.AcabarSegüentTornarPas {current} de {total}Utilitzeu per a llistes de cadenes, nombres o booleans. Els comparadors inclouen contains i in_set.{\"name\": \"rols\", \"result\": [\"admin\", \"editor\"]}Llista de valors escalarisUtilitzeu per a banderes i comprovacions binàries. Els comparadors d'igualtat i existència són típics.{\"name\": \"is_ready\", \"result\": true}Senyals de veritable/falsComparadors permesosUtilitzeu quan els resultats estan limitats a valors coneguts. Funciona bé amb equals i in_set.{\"name\": \"estat\", \"result\": \"aprovat\"}Conjunt fix de valorsExempleUtilitzeu per a comptatges, ID i quantitats escalades. S'apliquen comparadors d'ordenació.{\"name\": \"balance_amount_scaled\", \"result\": 150000}Nombres entersObre la matriu de comparadorsRepresenta dades que falten o que no estan disponibles. Els comparadors exists/not_exists són típics.{\"name\": \"env_value\", \"result\": null}Valors nuls o inexistentsUtilitzeu per a mesures amb fraccions. S'apliquen comparadors d'ordenació.{\"name\": \"temperature_c\", \"result\": 21.5}Nombres decimalsUtilitzeu per a valors anidats. Els comparadors són limitats; considereu extreure comprovacions escalar.{\"name\": \"payload_metadata\", \"result\": {\"version\": \"1.2.3\"}}Objectes JSON estructuratsUtilitzeu per a etiquetes, identificadors i text. Els comparadors d'ordenació estan desactivats en mode estricte.{\"name\": \"nom_equip\", \"result\": \"barcelona\"}Valors de textDates RFC 3339 (YYYY-MM-DD). Permet comparadors d'ordenació de dates.{\"name\": \"data_envio\", \"result\": \"2025-01-12\"}Dates del calendariCadenes de data i hora RFC 3339. Permet comparadors d'ordenació temporal.{\"name\": \"observed_at\", \"result\": \"2025-01-12T09:30:00Z\"}Segells de tempsIdentificadors opacs. Els comparadors d'igualtat i existència són típics.{\"name\": \"order_id\", \"result\": \"550e8400-e29b-41d4-a716-446655440000\"}Cadenes UUIDTipus de valor retornat: {type}Utilitzeu un esquema més específic quan sigui possible. El mode estricte tracta els tipus desconeguts de manera conservadora.{\"name\": \"valor\", \"result\": \"...\"}Tipus mixtes o desconegutsEls elements de l'array no són escalar. El mode estricte ho tracta com un resultat d'objecte.{name}: no s'han declarat tipus de contingut.Els IDs de proveïdor han de ser en minúscules i en format snake_case (lletres, números, guions baixos).Mode mirall: {name} utilitza {invalid} comparadors que no coincideixen amb un valor retornat de tipus {type}.