Patrones de integración Monotone-DAG

Patrones para integrar agentes y aplicaciones.

Ejecuciones independientes sobre una ley

Registre una ley de escenario inmutable, luego cree un RunKey distinto por agente, trabajo o actividad de inquilino. El progreso, los intentos, las presentaciones y las intenciones nunca cruzan ejecuciones simplemente porque la ley es compartida.

Ejecución compartida con varios agentes

Todos los escritores leen el encabezado aceptado exacto y las clasificaciones de etapa. Un escritor presenta una mutación completa contra ese encabezado. Si otro escritor se compromete primero, el escritor obsoleto no se compromete a nada, lee el nuevo encabezado y vuelve a derivar. La atribución de apertura nunca implica propiedad; los principales autorizados por separado pueden evaluar la etapa.

Frontera lista paralela

Cuando una finalización desbloquea 2a, 2b y 2c, la frontera informa los tres. Un arnés puede abrir uno, varios o ninguno. DG nunca elige una rama, cancela hermanos o infiere exclusividad de la adyacencia. Las elecciones de dominio exclusivas deben expresarse como evidencia/ley aceptada explícita, no como comportamiento gráfico oculto.

Coordinador externo

Un coordinador puede implementar arrendamientos, asignación, afinidad, robo de trabajo y política de conteo de agentes utilizando:

  • encabezados de ejecución exactos;
  • conjuntos ReadyUnopened, OpenIncomplete y Completed;
  • IDs de etapa explícitos e IDs de operación estables;
  • historia aceptada y conflictos tipados.

Esos registros de coordinación permanecen fuera de Xarxa y del estado de etapa semántica.

Evidencia entre escenarios

La familia OSS actual no acuña testigos de hechos especializados entre escenarios. Una observación de proveedor genérico no debe representarse como prueba de ley/ejecución/encabezado externo propiedad de DG. Un hecho externo admitido futuro debe vincular identidades exactas de ley externa, ejecución, encabezado y frescura. No oculte la ejecución recursiva dentro de un proveedor o evaluador; la orquestación multi-escenario propiedad de DG permanece diferida.

Exportación de runpack

Exportar runpack v6 solo después de que exista el encabezado aceptado deseado. La autoridad de exportación captura ese punto de control histórico exacto, por lo que las mutaciones posteriores no pueden cambiar el sujeto. El repositorio local configurado está basado en capacidades y publica objetos dirigidos por contenido antes del manifiesto.

Verifique solo el material local empaquetado o explícitamente suministrado. El constructor de verificación independiente reproduce la historia aceptada, compara el estado actual y todas las familias de registros indexados, y emite cada fila en el registro de reclamaciones cerrado. Trate cada fila de acuerdo con su método exacto y requisitos previos. La evidencia de solo digestión no puede soportar la reproducción semántica; la integridad del contenido no establece la autenticidad de la fuente, la actualidad, la resistencia a retrocesos, el despacho o la implementación.