89 lines
4 KiB
Markdown
89 lines
4 KiB
Markdown
# Compact Summary - 3-Lang Depth PropGraph Unification - 2026-07-06
|
|
|
|
**Branch:** feat/3lang-depth-proposition-graph-unification
|
|
**Top commit:** 29284fae feat: implement phases 1-5 3-lang depth unification (antiunif root, default depth, contemplation prop, graph helper)
|
|
**Working tree:** Dirty (feature + cleanup). See git status below.
|
|
|
|
## Git Status (short)
|
|
M AGENTS.md
|
|
D HANDOFF-antigravity-2026-07-01.md
|
|
M chat/pack_resolver.py
|
|
M chat/runtime.py
|
|
M core/cognition/pipeline.py
|
|
M docs/README.md
|
|
M docs/handoff_template.md
|
|
M generate/contemplation/pass_manager.py
|
|
M generate/graph_planner.py
|
|
M generate/problem_frame_contracts.py
|
|
M recognition/anti_unifier.py
|
|
AM recognition/depth_canonical.py
|
|
M skills/core-bootstrap.md
|
|
M teaching/contemplation.py
|
|
M tests/test_construction_affordances.py
|
|
M tests/test_construction_proposal_seam.py
|
|
M tests/test_oov_pipeline.py
|
|
M tests/test_percent_partition_proposal.py
|
|
?? docs/handoffs/legacy/
|
|
?? plan.md
|
|
|
|
Key touched (feature): pack_resolver (DEPTH_PACKS), runtime/pipeline (depth wiring + oov context), anti_unifier + new depth_canonical (root-aware), graph_planner (depth fields + get_node_depths), contemplation/pass_manager + problem_frame_contracts (propagation), realizer-adjacent.
|
|
|
|
## Work Status
|
|
- Phases 1-5 COMPLETE for 3-lang (en/he/grc) depth on PropGraph spine (see plan.md for details).
|
|
- Root-aware anti-unif (nid-keyed, no proxy).
|
|
- Default node_depths in pipeline/oov.
|
|
- Depth propagation (runtime → teaching/contemplation → generate/pass_manager/contracts, immutable).
|
|
- Graph helpers (graph_anti_unify, PropositionGraph.get_node_depths()).
|
|
- Real tests + evidence (non-empty 3lang ctx/root from "define אמת", id matches, fresh trace stable, etc.).
|
|
- Verification (latest):
|
|
- Cognition: 122 passed, 1 skipped.
|
|
- Spine tests (anti/depth/pipeline/graph/contemplate): green.
|
|
- Broad (oov|anti|prop|realizer): 524 passed.
|
|
- verify_lane_shas.py: 7/9 match. **Only demo_composition + public_demo drifted** (intentional — touched listed files; re-pin later).
|
|
- Fresh trace on Hebrew OOV: stable.
|
|
- plan.md is current (includes post-impl verification + SHA watch items).
|
|
|
|
## Changes & Why
|
|
Intentional: add language/root/depth to PropGraph so it travels the cognitive path for hebrew_greek_textual_reasoning (and 3-lang in general).
|
|
|
|
This changes outputs captured by demo lanes → expected SHA drifts.
|
|
|
|
Core remains stable (trace on fresh, cognition lanes, other pinned SHAs).
|
|
|
|
## Watch Items (from verification)
|
|
- demo_composition + public_demo SHA drifts (expected/intentional from spine changes).
|
|
- Re-pin: `python scripts/verify_lane_shas.py --update && python scripts/generate_claims.py` when current active slice done or pre-PR.
|
|
- Monitor: run verify after any output-affecting change.
|
|
- Fresh trace_hash stability on 3-lang OOV cases.
|
|
- hebrew_greek domain (already reasoning-capable, 0 gaps) — this work makes it real.
|
|
|
|
No other issues. No core regression.
|
|
|
|
## New-Session Quick Start
|
|
1. `git status --porcelain -b; git log --oneline -1`
|
|
2. `python3 scripts/verify_lane_shas.py`
|
|
3. `python -m pytest -q --tb=no -k "cognition or oov or anti_unifier or depth_canonical or graph_anti"`
|
|
4. Fresh trace spot-check (see COMPACT_STRATEGY.md for the one-liner).
|
|
5. Read: AGENTS.md (Session Continuity), plan.md, this compact.
|
|
|
|
## Next R&D
|
|
- Continue the current active part of the unification.
|
|
- Shape around: core lanes stay green, depth effects visible/traceable in 3-lang, document intentional demo changes.
|
|
- When slice feels done: re-pin + claims, then PR.
|
|
|
|
## Key Files
|
|
- plan.md (living plan + evidence)
|
|
- docs/COMPACT_STRATEGY.md (process)
|
|
- docs/session-compacts/ (this file)
|
|
- tests/test_oov_pipeline.py + construction tests
|
|
- scripts/capture_spine_evidence.sh + scratch logs
|
|
|
|
## Invariants
|
|
- Fresh trace stable on 3-lang.
|
|
- Core + spine tests green.
|
|
- Only expected demo drifts.
|
|
- Immutability, no forbidden normalization, exact recall.
|
|
|
|
**Use this + plan.md to seed a new thread. Continue R&D there. Re-pin as part of finishing the slice/PR prep.**
|
|
|
|
(Archive/delete once progressed in new thread.)
|