A&AD: The Accounting Manifold & Provenance by Design

Version 1.5 — The Hoffman Manifold & 7 Habits of W3C Provenance flow.png Architecture W3C PROV-O & RDF 1.2 Prolog / LPS Rules Engine Altova Suite & W3C XForms

Evolución integral del pipeline contable hacia un Manifold Bidireccional de certeza matemática. Consolida la captura en origen (Shift-Left) mediante curaduría humana asistida (W3C XForms + BaseX), la inferencia legalista libre de alucinaciones (SWI-Prolog / LPS sobre PUC 2650 y PCGE 2026), y el blindaje inmutable de procedencia W3C PROV-O / RDF 1.2 sobre TerminusDB y Algorand.

⚡ Novedades Arquitectónicas Principales de la Versión 1.5:

1. Cristalización de flow.png de Charles Hoffman Resolución epistemológica del "GAP": convergencia de documentos heterogéneos (UBL, CSV, contratos JPEG/PDF) en un único Standard Structured Business Events Journal. A partir de allí, libros diarios, mayores, balance de comprobación y estados financieros son proyecciones deterministas.
2. Los 7 Hábitos de la Procedencia por Diseño (22-Oct-2026) Implementación de las directrices de The Inference Engineer validadas por Hoffman: registro del evento en el momento del acto, bitemporalidad (Valid Time vs. Transaction Time), reificación con IRIs explícitos RDF 1.2, inmutabilidad append-only en TerminusDB (never overwrite; supersede) y rechazo en frontera (SHACL Fail Loudly).
3. Deducción Multijurisdiccional con SWI-Prolog / LPS El hecho económico REA (ISO 15944-4) actúa como invariante universal. El motor Prolog infiere las dinámicas contables tanto de Colombia (Decreto 2650 de 1993) como de Perú (PCGE 2026 / NIIF 18: doble imputación de Naturaleza y Destino analítico), garantizando partida doble estricta ($\sum D = \sum C$).
4. Sinergia Altova Suite & Estación HITL XForms Articulación de la tríada Altova: XMLSpy (Esquema canónico BusinessEvent_XBRLGL_REA.xsd), Altova StyleVision (Diseño visual y compilación XSLT de papeles de trabajo) y Altova MapForce (JE2XBRLG2JSONLDV4.mfd generando 70 instancias canónicas JSON-LD sin colisiones de ID).
1

Ingesta & Evidencia

Momento 0 & Hash

Captura de documentos heterogéneos (UBL, CSV, JPEGs, PDFs). Sellado de evidencia con hash criptográfico SHA-256 y anclaje bitemporal $T_0$ en Algorand.

2

Curaduría HITL

W3C XForms / BaseX

Pre-poblado semántico por IA/OCR de recursos, eventos y agentes (REA). El auditor humano curador valida en split-screen y firma antes de iniciar mutaciones.

3

Deducción Lógica

Prolog / LPS Rules

Inferencia determinista de cuentas y asientos (PUC D.2650 o PCGE 2026 NIIF 18). Verificación matemática de partida doble (∑ Débitos = ∑ Créditos) y prueba formal.

4

Transmutación

MapForce / StyleVision

Transformación canónica a XBRL GL y serialización a 70 instancias JSON-LD sin colisiones de `@id`. Generación de papeles de trabajo con XSLT compilado.

5

Grafo Bitemporal

TerminusDB / DFRNT

Inyección al grafo inmutable con W3C PROV-O y RDF 1.2. Reconciliación continua, aduana SHACL Fail-Loudly y auditoría zero-shot con agentes de IA.

Topología del Manifold Contable & Pipeline de Procedencia

Modelo Isomórfico a Charles Hoffman (flow.png) + W3C PROV-O
graph TD D1["Documento Estructurado - Facturas UBL"] -->|Extraccion Directa| EXT["Extractor Multimodal - BaseX XQuery + OCR"] D2["Documento No Estructurado - CSV / ERP"] -->|Transmutacion| EXT D3["Documento Presentacion - Cheques / Pagares"] -->|Vision Semantica| EXT EXT -->|Calculo de Huella| HASH["Evidencia Criptografica - SHA-256 + Algorand T0"] HASH -->|Pre-poblado| XF["Estacion de Curaduria - W3C XForms"] XF -->|Validacion y Firma| CURATOR["Auditor Humano Curador - HITL"] CURATOR -->|Evento Economico REA Aprobado| SBVR["Vocabulario y Reglas - OMG SBVR 1.5"] SBVR -->|Clausulas de Horn| PL["Motor SWI-Prolog / LPS - PUC 2650 / PCGE 2026"] PL -->|Verificacion| POKA{"Aduana Kirchhoff - Partida Doble"} POKA -->|Asiento Aprobado| BEJ["Standard Structured Business Events Journal"] POKA -.->|Descuadre o Regla Invalida| REJ["Rechazo y Alerta Inmediata"] BEJ -->|Proyeccion 1| GJ["General Journal - Libro Diario"] GJ -->|Mayorizacion| GL["General Ledger - Libro Mayor"] GL -->|Agrupacion| TB["Trial Balance - Balance de Comprobacion"] TB -->|Papeles de Trabajo| LS["Lead Schedule - Hojas de Trabajo"] LS -->|Estados Formales| FS["Financial Statements - Estados Financieros"] BEJ -->|Mapeo Canonico| MF["Altova MapForce - JE2XBRLG2JSONLDV4"] LS -->|Diseno Visual Editorial| SV["Altova StyleVision - Reportes XSLT"] MF -->|Compuerta SHACL 1.2| TDB["TerminusDB / DFRNT Knowledge Graph"] TDB -->|Vinculacion Ontologica| PROVO["Audit Evidence Graph - W3C PROV-O y RDF 1.2"] PROVO -.->|Linaje Completo de Procedencia| HASH classDef cInput fill:#1e293b,stroke:#475569,stroke-width:2px,color:#f8fafc classDef cHitl fill:#0369a1,stroke:#38bdf8,stroke-width:2px,color:#ffffff classDef cLogic fill:#b45309,stroke:#f59e0b,stroke-width:2px,color:#ffffff classDef cManifold fill:#0f766e,stroke:#14b8a6,stroke-width:2px,color:#ffffff classDef cGraph fill:#4338ca,stroke:#818cf8,stroke-width:2px,color:#ffffff classDef cAlert fill:#be123c,stroke:#f43f5e,stroke-width:2px,color:#ffffff class D1,D2,D3 cInput class EXT,HASH,XF,CURATOR cHitl class SBVR,PL,POKA cLogic class BEJ,GJ,GL,TB,LS,FS cManifold class MF,SV,TDB,PROVO cGraph class REJ cAlert

🛡️ Implementación Técnica de los 7 Hábitos de la Procedencia por Diseño

# Hábito de Procedencia Estándar W3C / OMG Implementación Concreta en el Stack DFRNT
1 Registro en el Momento del Acto W3C PROV-O (prov:Activity) Captura instantánea de la evidencia en BaseX con cálculo de SHA-256 pre-transformación.
2 Bitemporalidad (Dos Relojes) + Actor W3C OWL-Time / Bitemporal Segregación entre Valid Time (fecha jurídica) y Transaction Time (commit inmutable TerminusDB).
3 Enlace por Referencia con IRIs W3C RDF 1.2 (Reifiers ~IRI) Reificación formal sin campos de texto ciego; cada EntryDetail porta un `@id` canónico unívoco.
4 Mensaje Porta su Propio Linaje W3C JSON-LD / PROV-O La carga útil viaja con prov:wasDerivedFrom apuntando al hash y al origen de la transacción.
5 Fuentes como Entidades & Trust Score LPS Fluents / Bayesian Score Registro de fuentes externas con monitoreo de fiabilidad continua en Prolog; alerta si el score decae.
6 Nunca Sobrescribir; Superseder TerminusDB Git Architecture Grafo inmutable append-only: los ajustes usan prov:wasRevisionOf preservando el historial completo.
7 Rechazo en Frontera (Fail Loudly) W3C SHACL 1.2 / Poka-Yoke La aduana SHACL y Prolog bloquean de forma determinista cualquier dato huérfano de evento o descuadrado.