Skip to content

docs(knowledge): staleness banner on OGAR-VOCAB-SURFACE — kausal rows stale since #168 (council Q4) #27

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AdaWorldAPI merged 1 commit into from
Jul 7, 2026
+12 −0
Merged

docs(knowledge): staleness banner on OGAR-VOCAB-SURFACE — kausal rows stale since #168 (council Q4) #27

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions docs/knowledge/OGAR-VOCAB-SURFACE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.

@chatgpt-codex-connector chatgpt-codex-connector Bot Jul 7, 2026

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Remove the stale THROW-slot claim

For readers using this banner against OGAR main, this clause keeps row #17 marked as an unsolved carrier gap even though the same banner cites the newly added ActionDef.raises slot; on OGAR main that slot carries the exception/error type names from Function::raises, so the THROW exception type is no longer slotless. Leaving this as “Still true at HEAD” will make the next-session plan re-file already-completed upstream work.

Useful? React with 👍 / 👎.


**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
Expand Down