session: 2026-05-15 state — V4-3 complete, is_bottom fix, PyPI publish in progress, glossary/stats live

Author: Douglas Jones

sessions/2026-05-15.md

@@ -0,0 +1,145 @@
+# Session State — 2026-05-15
+
+## Workspace
+
+Five active projects in the CodifideEcoSystem workspace:
+- `/Users/douglasjones/Projects/CodifideProgrammingLanguage` — Codifide programming language
+- `/Users/douglasjones/Projects/publicsite` — codifide.com (Vercel, live)
+- `/Users/douglasjones/Projects/codifide-health` — healthcare analytics platform (private)
+- `/Users/douglasjones/Projects/DecodeTheSign` — iOS parking app (private, paused)
+- `/Users/douglasjones/Projects/agentic-stage-gate-governance` — governance template (public)
+
+---
+
+## What was completed this session
+
+### Site updates (publicsite)
+
+- **Email notice banner** added to index.html — "We apologize if you sent us an email
+  this week…" — to be removed Sunday May 17.
+- **Glossary page** (`/glossary`) — 40+ terms across 6 sections (Language, Data & Formats,
+  Healthcare, Infrastructure, Governance, General). Live search filter. Added to nav on
+  all pages.
+- **Stats dashboard** (`/stats`) — live metrics from GitHub (stars, forks, watchers, issues,
+  latest release, release downloads), PyPI (downloads by period, latest version), and
+  registry (symbol count, health status). Auto-fetches on page load with timestamp.
+- **Live counters on main page** — GitHub stars and PyPI downloads added to the lang-stats
+  strip on index.html.
+- **Server-side GitHub proxy** (`/api/github_stats.py`) — avoids CORS and rate limits.
+  `GITHUB_TOKEN` added to Vercel env vars.
+- **Stats nav link** added to all pages.
+- **Vercel Blob private store fixed** — root cause: API v12 requires `x-vercel-blob-access`
+  header and `/?pathname=` URL format (not v7 query params). Fixed in
+  `api/codifide/store/blob_store.py`.
+
+### Registry — V4-3 complete
+
+- All 5 pipeline symbols now live at codifide.com/registry:
+  - `classify_content` — `sha256:377099c5…`
+  - `moderate` — `sha256:1bbe69ba…`
+  - `route_message` — `sha256:68c15e11…`
+  - `run_pipeline` — `sha256:93155272…`
+  - `composed_pipeline` — `sha256:311ba990…`
+- End-to-end verified: `python3 -m codifide run pipeline_composed.cod --registry https://codifide.com` returns `blocked`.
+- `docs/REGISTRY.md` updated with all 5 identities.
+- V4-3-2 and V4-3-5 marked complete in `.kiro/specs/v4-language/tasks.md`.
+
+### Language — is_bottom interpreter fix
+
+- **Bug:** `is_bottom` was raising `BottomPropagationError` when receiving a bottom value —
+  the opposite of its purpose. The interpreter's `_call_primitive` treated it like any
+  other primitive.
+- **Fix:** `is_bottom` is now exempt from the propagation check in `interpreter.py`.
+- **Tests:** 7 new tests in `IsBottomTests` class in `tests/test_runtime.py` covering:
+  literal bottom, normal value, direct-call on refusing function, direct-call on
+  non-refusing function, `BottomWithReason`, bind pattern, conditional expression.
+- **Quickref updated:** `docs/AGENT_QUICKREF.md` — removed outdated WRONG/RIGHT framing;
+  both patterns now work.
+
+### RPC adversarial test gaps closed
+
+Three new tests added to `tests/test_server.py`:
+- `test_post_unknown_path_404` — POST to unknown path returns 404
+- `test_head_malformed_identity_404` — HEAD on malformed identity returns 404
+- `test_imports_corrupt_stored_object_returns_500` — GET /imports with corrupt stored object returns 500
+
+### PyPI publish pipeline
+
+- CI workflow updated: `pip install -e "." pytest hypothesis` (removed `[blob]` extra
+  which required Python ≥3.10 but CI tests 3.9).
+- `PYPI_API_TOKEN` added as GitHub Actions secret.
+- CI was failing with 403 Forbidden — secret was missing. Fixed and re-triggered.
+- **Status at session end:** CI run in progress (`503d298`). Tests passed on previous
+  run; publish job should succeed this run. PyPI package not yet confirmed live.
+
+### Dependabot PRs merged (all 5)
+
+- #5 sha2 0.10 → 0.11
+- #6 criterion 0.5 → 0.8
+- #7 actions/setup-python v5 → v6
+- #8 actions/checkout v4 → v6
+- #9 github/codeql-action v3 → v4
+
+### Persona and doc updates
+
+All 5 persona catch-up sections updated to v4.0 in `.kiro/steering/personas/`:
+- `glyph.md`, `quill.md`, `sable.md`, `axiom.md`, `relay.md`
+
+`pip install codifide` added as primary install path to:
+- `docs/FOR_AGENTS.md`
+- `GETTING_STARTED.md`
+
+### GitHub Discussions
+
+Two announcements posted:
+- [#10 — v3.0](https://github.com/codifide/codifide-programming-language/discussions/10)
+- [#11 — v4.0](https://github.com/codifide/codifide-programming-language/discussions/11)
+
+---
+
+## Open items for next session
+
+| # | Item | Priority | Notes |
+|---|------|----------|-------|
+| 1 | Confirm PyPI package live | P1 | CI run `503d298` in progress at session end; check `pip install codifide` |
+| 2 | Remove email notice banner | P3 | Sunday May 17 — remove from `index.html` and deploy |
+| 3 | New agent case study | P2 | Validate v4.0 adoption improvements; Relay's KPI unvalidated |
+| 4 | Sable audit of stats proxy | P3 | `/api/github_stats.py` — unauthenticated fallback behavior, timeout |
+| 5 | DecodeTheSign TODO items | — | Map coverage, blank-screen-after-scan bug, StoreKit/CloudKit |
+
+---
+
+## Key files changed this session
+
+| File | Change |
+|------|--------|
+| `codifide/runtime/interpreter.py` | `is_bottom` exempt from `BottomPropagationError` check |
+| `tests/test_runtime.py` | 7 new `IsBottomTests` |
+| `tests/test_server.py` | 3 new adversarial tests |
+| `docs/AGENT_QUICKREF.md` | `is_bottom` docs corrected |
+| `docs/REGISTRY.md` | All 5 symbol identities |
+| `docs/FOR_AGENTS.md` | `pip install codifide` install section |
+| `GETTING_STARTED.md` | `pip install codifide` install section |
+| `.kiro/specs/v4-language/tasks.md` | V4-3-2 and V4-3-5 marked complete |
+| `.kiro/steering/personas/*.md` | All 5 catch-up sections updated to v4.0 |
+| `.github/workflows/ci.yml` | `pip install -e "." pytest hypothesis`; checkout@v6; setup-python@v6 |
+| `publicsite/glossary.html` + `glossary.css` | New glossary page |
+| `publicsite/stats.html` + `stats.css` + `stats.js` | New stats dashboard |
+| `publicsite/api/github_stats.py` | Server-side GitHub proxy |
+| `publicsite/api/codifide/store/blob_store.py` | Vercel Blob v12 API fix |
+| `publicsite/index.html` | Live counters, Stats nav link, email notice banner |
+| `publicsite/vercel.json` | `/glossary`, `/stats`, `/api/github-stats` routes |
+
+---
+
+## NFR baselines (current)
+
+| Metric | Value |
+|--------|-------|
+| Python tests | 461 passing, 0 skipped |
+| `dispatch-check` | exits 0 |
+| Capability manifest hash | `sha256:341b82f074cc59f929415cf571bfe27da5127270ebb86618f575fe107514ffe1` |
+| Registry symbols live | 5 |
+| GitHub stars | 1 |
+| PyPI | publish in progress |
+| Site | codifide.com — live, all pages deployed |