docs(knowledge): staleness banner on OGAR-VOCAB-SURFACE — kausal rows stale since #168 (council Q4)#27
Conversation
…tale since #168 (council Q4) 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).
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: serverGenReqId_1a58fe03-7721-4c71-b0bd-47a20637f9c8) |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 97eb32e261
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| > `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. |
There was a problem hiding this comment.
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 👍 / 👎.
2 participants
What
Council Q4 tail (
docs/COUNCIL-5+3-2026-07-07.md): the study-fleet mapdocs/knowledge/OGAR-VOCAB-SURFACE.mdwas accurate at its pin (OGAR748ba11) but has been stale since AT-CARRY-2 (OGAR #168 / ruff #49) landed —lift_actionsnow populatesKausalSpec(Depends/Constrains/Onchange) andActionDef.raises, so the doc's "kausal alwaysNone" rows are false at OGAR HEAD.R5 flagged this as a next-session hazard: the living handover names this doc as required reading, and a reader trusting the stale rows would re-plan already-done work.
Fix is a loud, dated banner at the top — not silent row edits — because the doc is a map at a pin, and what IS still true at HEAD (
body_sourceunset,Class.methodsshape) stays listed. Append-only ledger discipline.Docs-only; no code paths touched.
🤖 Generated with Claude Code
https://claude.ai/code/session_01Fy8D6Boh4ZBaHSBpadSENN
Generated by Claude Code