From 97eb32e2611f201f74f76c62eabc315ef450bb6f Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 7 Jul 2026 22:19:48 +0000 Subject: [PATCH] =?UTF-8?q?docs(knowledge):=20regrade=20banner=20on=20OGAR?= =?UTF-8?q?-VOCAB-SURFACE=20=E2=80=94=20kausal=20rows=20stale=20since=20#1?= =?UTF-8?q?68=20(council=20Q4)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The map was accurate at its pin (748ba11) but AT-CARRY-2 (#168/#49) landed after: lift_actions now populates kausal (Depends/Constrains/Onchange) + ActionDef.raises. R5 caught a next-session hazard: the handover names this doc required reading, and its 'kausal always None' rows are false at HEAD. Loud dated banner instead of silent row edits (the doc is a map at a pin); what IS still true at HEAD stays listed (body_source unset, Class.methods unassigned, THROW type slotless). --- docs/knowledge/OGAR-VOCAB-SURFACE.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/docs/knowledge/OGAR-VOCAB-SURFACE.md b/docs/knowledge/OGAR-VOCAB-SURFACE.md index 095881a..86c44d2 100644 --- a/docs/knowledge/OGAR-VOCAB-SURFACE.md +++ b/docs/knowledge/OGAR-VOCAB-SURFACE.md @@ -1,5 +1,17 @@ # OGAR vocabulary + lift-coverage surface (map, not a plan) +> **⚠ STALE ROWS — REGRADE 2026-07-07 (council R5-4).** This map was read at +> OGAR pin `748ba11` (pre-#168). Since then **AT-CARRY-2 landed** (OGAR #168 + +> ruff #49): `lift_actions` NOW populates `kausal` — Arm A +> `KausalSpec::Depends{paths}` from `Field::depends_on` for compute targets, +> Arm B `Constrains`/`Onchange` from the decorator facts, plus the new +> `ActionDef.raises` slot. Every row below saying kausal is "NEVER-SET" / +> "always None" describes the OLD pin, not OGAR main. Live proof: +> `src/ogar.rs::kausal_parity_pinned_ogar_vs_corpus_witness` + +> `tests/real_source_compile.rs` (92 kausal-carrying ActionDefs from the real +> account_move.py). Still true at HEAD: `body_source` never populated; +> `Class.methods` never assigned; THROW exception type has no slot. + **Source read.** Local `/home/user/OGAR` HEAD (`f5bb789`) predates PR #164's review-fix commit; `origin/main` (`0dad0c3201e4b...`, fetched via `git fetch origin main -q`) is **7 commits ahead** of the requested pin