PRAKSIS · INSTITUTO DE INVESTIGACIÓN E INGENIERÍA DE SISTEMAS

Realidad medida en terreno, arquitectura probada en software.

Diseñamos esquemas relacionales de datos, modelos epistémicos de cinco estados y arquitecturas multiagente gobernadas por humanos para estaciones apícolas, telemetría alpina y plataformas web institucionales.

450–1,100 m Valle de Osmaniye · ArtvinColonyOS v3.2 16 Tablas Relacionales68.44 km / +3,515 m Sandras 70K
BANCO DE INGENIERÍA · ESQUEMA, TELEMETRÍA Y VERIFICACIÓN

Esquemas vivos, compuertas de telemetría y bucles deterministas de agentes.

Seleccione cualquiera de nuestros cuatro flujos centrales de ingeniería para inspeccionar la auditoría humano-agente, el diff verificado y el veredicto de la compuerta.

COL-302Validado en campo · v3.2Ciclo 2026-S2 · AKS 080000845618
1 / 4
SPEC-01InnoDBcolonies ≠ hives

Desacoplamiento temporal entre la colonia biológica y la caja física

Introduce intervalos hive_occupancies y registros de cuadros de 5 estados para que el linaje materno siga a la colonia viva tras divisiones primaverales y cambios de caja en el valle de Osmaniye (450–1.100 m).

Flujo de auditoría y eventos
  • Estación de campo · KemalpaşaSe registró deriva de linaje materno tras división de primavera14 Jun · 09:42

    Al trasladar la colonia COL-2026-KMP-014 de la caja MKR-019 a la MKR-042, el historial de la reina quedó atrapado en la caja antigua.

  • Domain Knowledge AgentGenerada migración temporal SPEC-01 y esquema de 5 estados14 Jun · 11:05

    Se añadieron restricciones de intervalo en hive_occupancies y la regla NULL ≠ 0 para conteos de Varroa omitidos por lluvia.

  • Verification GateSuperadas 16 tablas InnoDB y disparadores BEFORE DELETE14 Jun · 11:08

    Cero solapamientos de colmena activa; las pruebas de inmutabilidad append-only en colony_events pasaron al 100 %.

  • Firma del Arquitecto de SistemasColonyOS v3.2.0 promovido a producción en la estación14 Jun · 11:30

    Los registros históricos de inspección migraron sin pérdidas conservando su trazabilidad epistémica de 5 estados.

schema/colonyos/004_temporal_hive_occupancy.sql+14-6
CREATE TABLE hive_occupancies (
  occupancy_id CHAR(26) PRIMARY KEY,
  colony_id VARCHAR(32) NOT NULL REFERENCES colonies(id),
  hive_code VARCHAR(16) NOT NULL REFERENCES hives(code),
  valid_from DATETIME NOT NULL,
  valid_until DATETIME NULL,
  epistemic_state ENUM('NULL','N/A','UNKNOWN','SUSPECT','VERIFIED') NOT NULL
);
Resumen de tarea multiagente
VERIFIED GATE
Instrucción de tarea

Separar la tabla indexada por caja en colonies, hives y hive_occupancies según SPEC-01, y bloquear en el esquema la coerción silenciosa a cero de controles de Varroa no medidos (NULL).

⊙ COL-302 · schema/colonyos/004_temporal_hive_occupancy.sql
Tiempo de compuerta: 2m 44s · 0 infracciones de esquema

Se separó la identidad biológica de la colonia respecto al mobiliario de madera y se blindaron los cuadros F01–F10 con trazabilidad de 5 estados.

Diff verificado de código y esquema+14 -6
main → verified/col-302
Inspeccionar sistema
TERRENOS EMPÍRICOS Y LÁMINAS DE TELEMETRÍA

Software probado dentro de la altitud y la ecología, no en maquetas abstractas.

La estación biológica del valle de Osmaniye (Kemalpaşa / Artvin) y el recorrido alpino del monte Sandras (Köyceğiz / Muğla) son los terrenos físicos donde se validan las arquitecturas de datos de Praksis.

Estación apícola biológica Makriyal en el valle de Osmaniye, Kemalpaşa, Artvin
Estación I+D de Campo Makriyal y Asignación Temporal de Colmenas41.48°N, 41.53°E · Valle de Osmaniye · 450–1.100 m · AKS: 080000845618 · Procedencia: SPEC-01 · makriyalaricilik.com · AKS 080000845618

Registra intervalos `colonies ≠ hives`, linajes maternos de reinas caucásicas (Apis mellifera caucasica) y trazabilidad de lotes en franjas de castaño y tilo.

Recorrido de alta montaña de Sandras Ultra Trail
Perfil GPX Verificado de 68,44 km y Compuerta ITRA KM-Esfuerzo (103,59)37.07°N, 28.84°E · Etapa Ağla – Lago Kartal, Köyceğiz · 1.070–2.060 m · Procedencia: SPEC-03 · sandrasultra.org · Archivo GPX 70K

Aísla saltos GNSS de cañón para obtener +3.515 m de desnivel positivo, horarios deterministas de cierre por puesto y control de material obligatorio.

Inspección en campo de abeja reina caucásica y cuadro de cría
Continuidad de Cría, Desempeño de Reinas y Matriz de 28 Casos41.48°N, 41.53°E · Valle de Osmaniye · Ecotipo Caucásico Regional · Procedencia: SPEC-02 · makriyalaricilik.com/koloni-sagligi/

Contrasta simetría de cría abierta/operculada, arcos de polen y celdas reales frente a 28 familias diferenciales (C01–C28) y umbrales de derivación veterinaria.

Análisis epistémico de cinco estados en protocolo de laboratorio y campo
Disciplina de 5 Estados (NULL · N/A · UNKNOWN · SUSPECT · VERIFIED)41.48°N, 41.53°E · Estación Valle de Osmaniye · Línea de Análisis · Procedencia: SPEC-04 · Libro de Auditoría ColonyOS v3.2

Protocolo en cuadros F01–F10 y análisis de muestras que impide forzar valores no medidos a cero y sella cada registro con método y margen visual de ±0,5 cuadros.

ESQUEMA ARQUITECTÓNICO · DESACOPLAMIENTO DE ENTIDADES

¿Por qué Colonia ≠ Colmena y GPX Crudo ≠ Altitud Verificada?

El software convencional ata la colonia viva al número de caja y suma rebotes GPS como ascenso real. Praksis erradica esa corrupción mediante relaciones temporales hive_occupancy y cuarentena de picos SUSPECT.

SPEC-01 · TEMPORAL ENTITY SPLITcoloniesCOL-2026-KMP-014hivesMKR-042 (Slot)hive_occupancy · append-onlyF10: NULL (Unmeasured ≠ 0)F01: VERIFIED · 0.0% VarroaSPEC-03 · SANDRAS 68.44 KM / +3,515 M D+SUSPECT spike2,060m KartalKM-Effort = km + (D+ / 100) = 103.59 · 16h Cutoff
METODOLOGÍA · THEORIA ⇄ POIESIS ⇄ PRAXIS

Disciplina de esquema que jamás convierte lo no medido en cero.

En los sistemas de Praksis, el modelado formal (Theoria), la construcción técnica (Poiesis) y la acción responsable en campo (Praxis) operan como un bucle cerrado donde cada anomalía refina el esquema.

01
Theoria

Especificación formal de límites de entidad, relaciones temporales y estados epistémicos.

02
Poiesis

Restricciones relacionales SQL, libros de eventos append-only y compuertas deterministas.

03
Praxis

Operación real bajo inspecciones apícolas interrumpidas por lluvia y telemetría a 2.060 m.

SPEC-04 · EPISTEMIC-DATA-V1.0Taxonomía Epistémica de 5 Estados
ESTADOETIQUETASEMÁNTICA EN ESQUEMA
NULLNo medidoNo inspeccionado durante esa visita de campo; prohibida su coerción silenciosa a cero (0).
N/ANo aplicableEstructuralmente inválido para la etapa biológica, categoría de carrera o ranura actual.
UNKNOWNOrigen no verificadoRegistro externo o histórico sin marca temporal ni observador verificable.
SUSPECTEn cuarentenaPico de GPS/sensor o lectura anómala aislada antes del cálculo aguas abajo.
VERIFIEDVerificadoObservación cuya fuente, tiempo, método y tolerancia superaron las compuertas del esquema.
CLIENTES Y DESPLIEGUES EN PRODUCCIÓN

Plataformas y arquitecturas de campo en producción activa.

Estación biológica Makriyal en el valle de Osmaniye, Kemalpaşa
Makriyal
Estación biológica de campo·Valle de Osmaniye, Kemalpaşa / Artvin · 450–1.100 m · AKS: 080000845618

Cómo Makriyal desacopló las colonias vivas de las cajas de madera en 16 tablas relacionales

Núcleo relacional de 16 tablas que opera en cinturones de castaño y tilo, separando la colonia biológica viva del mobiliario físico de madera.

Leer historia
Recorrido alpino de alta montaña de Sandras Ultra Trail
Sandras Ultra
Telemetría alpina de resistencia·Etapa Ağla – Lago Kartal, Köyceğiz / Muğla · 1.070–2.060 m

Cuarentena de 19 picos GPS de cañón en 3.328 puntos para fijar cortes de 103,59 KM-Esfuerzo

Unifica la verificación topográfica, las ventanas de cierre de avituallamientos y las máquinas de estado de aptitud médica en cinco distancias (70K, 50K, 24K, 10K, 5K) en el monte Sandras.

Leer historia
Arquitectura SSR sin rastreadores y disciplina de entrega de Praksis Web Lab
web.praksis
Sistemas Web y Entrega Institucional·Altındağ / Ankara · Unidad de Ingeniería Web y Sistemas

Plataformas SSR multilingües sin rastreadores y con simetría contractual en tiempo de compilación

Arquitecturas web institucionales con seguridad de tipos combinadas con la máquina de estados Praksis Workspace para evitar desviaciones de alcance.

Leer historia
SEDE ANKARA · INGENIERÍA INSTITUCIONAL E I+D

¿Planifica una plataforma web de alta integridad o arquitectura de datos de campo?