Repository navigation
glove-parity: move the class-method layer to backup (D-CMR-RESET) - #1524
Conversation
The method layer built on 2026-10-12 was a second algebra beside the existing folds: MethodBody lowered per call through Filter::cmp over value lanes with fresh scratch, no Compiled, no lower_fused, no resident planes. billable_hours measured 430-480 us per call against 283 us for a scalar row loop. Its hops were foreign-key reads; the graph has none. Removed: method, call, decl, gremlin and awareness modules, their tests, fixtures and examples. Cargo.toml and glove-parity.yml return to their state before this session. basis.rs and the D-XGP tests stay (another session's work; green). Exact prior state: backup/session-011BMJ-2026-10-12 (and -chain2, -sagfix, -capstone for the open PRs). Inventory with keep/remove reasons: .claude/board/entries/2026-10-12-session-reset-inventory.md. STATUS_BOARD rows D-SAG-1-*, D-CMH-G1-* marked withdrawn; the two plans carry a withdrawal note. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
|
Warning Review limit reachedYour organization has reached its usage spending cap. Adjust your spending cap in the billing tab. Next included review available in 52 minutes. View limit details
Warning Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption. Comment |
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
…emoved Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Three docs still presented glove-parity's `method.rs` / `awareness.rs` as shipped after D-CMR-RESET moved them to backup/session-011BMJ-2026-10-12: - INTEGRATION_PLANS.md: the capstone, SAG-5 and SAG-1 index lines (append-only, so a dated note under each bullet). - software-awareness-provenance-parity.md: SoftwareGraph/MethodTable in the READ BY header, the crosswalk and the source map. - iam-substrate-sag-dir-sim-v1.md: the awareness.rs row (:29) and the "main's shipped EffectClass" sentence (:108). The notes name glove-parity::method::EffectClass explicitly: main still has an unrelated EffectClass (Cohen's d) in lance-graph-cognitive's search/certificate.rs, which a search would return as if the action-shape anchor had survived. Docs only; supersession index regenerates unchanged. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013z2e1YXkm6o6HNrDn5BPWA
docs: #1524 reset — root cause, D-CMR set-theory IR plan, ProposedMethod anchors, stale references
Summary
This PR removes the class-method layer from 2026-10-12 so it can be rebuilt on the existing folds.
It was the wrong design:
MethodBodywas lowered on every call intoFilter::cmpover value lanes, with fresh scratch each time. It used noCompiled, nolower_fusedand no resident planes.billable_hoursmeasured 430–480 µs per call; a scalar row loop takes 283 µs (1,048,576 rows, AVX-512, release).Removed:
method,call,decl,gremlinandawareness.Restored to their state before this session:
Cargo.toml(R2IL dependency removed) andglove-parity.yml(OGAR checkout removed).Kept: another session's D-XGP work:
basis.rs,tests/authority.rs,tests/canonical_front.rs.Backup. The exact prior state is on
backup/session-011BMJ-2026-10-12. The open PRs are backed up as well:-chain2(#1522),-sagfix(#1519),-capstone(#1523).Inventory.
.claude/board/entries/2026-10-12-session-reset-inventory.mdlists everything removed and everything kept, each with the reason.Board:
D-SAG-1-*andD-CMH-G1-*are marked withdrawn.What comes next (D-CMR)
A class method becomes a binding
classid × WideFieldMask → an existing fold. That fold is oneCompiledmask-risc program over resident planes and coordinate ranges. A call does no lowering and no allocation per call. Chained hops become coordinate-range intersections inside the same program.The companion ndarray change is AdaWorldAPI/ndarray#359, which removes
mask_gather_chain_u32.Test plan
cargo fmt --checkandcargo clippy --all-targets -- -D warnings(glove-parity)cargo test(glove-parity): authority 10 passed, canonical_front 6 passedCargo.tomlis byte-identical toedbdc459, the last commit before this sessionentries_index.py --checkpasses; the supersession index is regenerated🤖 Generated with Claude Code
https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh
Generated by Claude Code