Skip to content

TOPOLOGY.md

Latest commit

 

History

History
111 lines (97 loc) · 6.95 KB

TOPOLOGY.md

File metadata and controls

111 lines (97 loc) · 6.95 KB

Aspasia — Project Topology

System Architecture

              ┌─────────────────────────────────┐
              │         STATISTEASE (Julia)      │
              │  Computes statistical results    │
              └──────────────┬──────────────────┘
                             │ JSON transaction
                             ▼
              ┌─────────────────────────────────┐
              │          ASPASIA (Octave)       │
              │   Independent Neurosymbolic      │
              │   Statistical Auditor            │
              │                                  │
              │  ┌───────────────────────────┐   │
              │  │ PHASE 1: Numerical        │   │
              │  │ (Octave recomputation)    │   │
              │  └─────────┬─────────────────┘   │
              │  ┌─────────▼─────────────────┐   │
              │  │ PHASE 2: Ontological      │   │
              │  │ (Prolog + DeepProbLog)    │   │
              │  └─────────┬─────────────────┘   │
              │  ┌─────────▼─────────────────┐   │
              │  │ PHASE 3: Interpretation   │   │
              │  │ (Prolog + Octave)         │   │
              │  └─────────┬─────────────────┘   │
              │  ┌─────────▼─────────────────┐   │
              │  │ LOGTALK KNOWLEDGE BASE    │   │
              │  │ (learns, self-tracks)     │   │
              │  └───────────────────────────┘   │
              └──────────────┬──────────────────┘
                             │ Audit report
                             ▼
              ┌─────────────────────────────────┐
              │           USER                   │
              │  Sees BOTH result and audit      │
              └──────────────┬──────────────────┘
                             │ (on disagreement)
                             ▼
              ┌─────────────────────────────────┐
              │      ECHIDNA (Arbitrator)        │
              │  Formal proof verification       │
              │  GraphQL API — neutral ground    │
              └─────────────────────────────────┘

Three-Body Governance

         StatistEase ◄──────────── echidna ──────────────► Aspasia
         (computes)                 (arbitrates)            (audits)
              │                        ▲                       │
              └────────── disagree? ───┘────── disagree? ──────┘

Completion Dashboard

COMPONENT                          STATUS              NOTES
─────────────────────────────────  ──────────────────  ─────────────────────────────────
NUMERICAL VERIFICATION (Octave)
  Descriptive stats verify          ██████████ 100%    Full cross-check
  t-test verify (Welch)             ██████████ 100%    Independent computation
  ANOVA verify                      ██████████ 100%    SS decomposition
  Chi-square verify                 ██████████ 100%    Expected freq + Cramer's V
  Pearson correlation verify        ██████████ 100%    Fisher z CI
  Regression verify (OLS)           ██████████ 100%    Normal equations
  Mann-Whitney verify               ██████████ 100%    Rank computation
  Kruskal-Wallis verify             ██████████ 100%    H-statistic

ONTOLOGICAL REASONING (Prolog)
  Statistical test ontology          ██████████ 100%    Stevens scales + prereqs
  DeepProbLog probabilistic rules    ██████████ 100%    Confidence scoring
  P-value / effect size reasoning    ██████████ 100%    ASA 2016 + Cohen 1988

AUDIT ENGINE
  Three-phase pipeline               ██████████ 100%    Num + onto + interp
  Governance model                   ██████████ 100%    Auditor, non-blocking
  Logtalk knowledge base             ██████████ 100%    Learning + self-tracking
  StatistEase bridge                 ██████████ 100%    JSON transaction reader

RESOLUTION LADDER
  NIST StRD reference check          ██████████ 100%    Certified values (McCullough)
  Arbitrary precision recompute      ██████████ 100%    Neumaier compensated summation
  Interval arithmetic enclosure      ██████████ 100%    Conservative rounding analysis
  Perturbation / sensitivity         ██████████ 100%    Ill-conditioning detection
  Symbolic verification              ██████████ 100%    Exact sorted summation
  Human escalation report            ██████████ 100%    Full evidence trail

PLANNED
  echidna arbitration                ░░░░░░░░░░   0%    GraphQL integration
  Tests                              ░░░░░░░░░░   0%    Not yet written

─────────────────────────────────────────────────────────────────────────────
OVERALL:                            █████████░  90%    Core engine + resolution complete

Key Dependencies

GNU Octave ──► Aspasia ──► SWI-Prolog ──► Logtalk
                  │
                  ├──► StatistEase (JSON read-only)
                  └──► echidna (arbitration, planned)