bailing1961/asx-equity-analyst

Verified ASX Equity Analyst

A verification-first analyst for Australian (ASX / Cboe) equities. Every number is computed by a deterministic tool, checked by symbolic 4C rules (SWI-Prolog), and traced to a source — or the system STOPS and tells you why, rather than guessing.

• —PASS / FAIL / STOPPED — a three-valued outcome; it never fabricates a number.
• —Naive vs verified — see what a typical price-only number misses (franking credits, dividends, the Woodside in-specie spin-off, the CBA off-market buy-back).
• —Audit trail — every distribution with its source and licensing status.

Verification is deterministic (Prolog + Python) — the numbers don't depend on an LLM. An optional GLM-4-Flash narration (set the GLM_API_KEY Space secret) only explains the result; it never computes or verifies.

This is an educational demonstration. Not investment advice. Not an AFSL service.

Layout

• —app.py — Gradio app (display only).
• —render.py — pure HTML render helpers.
• —src/, skill/ — vendored analyst package (run ./vendor.sh from the repo to refresh). packages.txt installs SWI-Prolog for the verifier.
• —fixtures/ — pre-computed example Results (instant, robust to a flaky feed).