From 59ae6abe251c4e592cf5272df969de778af5d795 Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 7 Jul 2026 22:19:10 +0000 Subject: [PATCH] =?UTF-8?q?le-contract:=20regrade=20L6=20=E2=80=94=20SPOG?= =?UTF-8?q?=20ruling=20recorded=20(was=20'[H]=20semantics=20open=20/=20odo?= =?UTF-8?q?o=20=3F')?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The operator ruled L6 on 2026-07-06 (odoo-transpile briefing: the 12-byte payload's 3x(8:8:8:8) quads = three subject:predicate:object:graph SPOG quads, the Odoo factoring; canon text carried in odoo-rs sprint doc + PR #21/#24). The mark was never updated here — caught by the odoo-rs 5+3 council (2026-07-07): a reviewer treated the stale '[H] odoo ?' as a live blocker. Regraded in place per the doc's own convention. Honest residue kept open: the attribute->byte-position assignor (the name->slot projection rule slot-purity SS2 implies) exists for NO layout yet. --- .claude/v3/soa_layout/le-contract.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.claude/v3/soa_layout/le-contract.md b/.claude/v3/soa_layout/le-contract.md index 50b7ab29..c385d397 100644 --- a/.claude/v3/soa_layout/le-contract.md +++ b/.claude/v3/soa_layout/le-contract.md @@ -58,7 +58,7 @@ Every 12-byte payload is exactly one of these; the classview selects which. | L3 | rails | 6 × (8:8) | `mereology : taxonomy` | generic mereology:taxonomy plane (as dictated) | | L4 | palette pairs | 6 × (8:8) | `palette256²` — **CAM_PQ "digital" new style** | each byte pair indexes the 256×256 palette distance/compose tables (bgz17 lineage); similarity = ONE table read | | L5 | triplets | 4 × (8:8:8) | SPO-style triplets | four 3-byte triples | -| L6 | quads | 3 × (8:8:8:8) | odoo-shaped relations | **[H] semantics open** — operator marked "odoo ?"; do not implement semantics before a ruling | +| L6 | quads | 3 × (8:8:8:8) | **SPOG** — three subject:predicate:object:graph quads (the Odoo factoring) | **RULED** (operator, 2026-07-06, odoo-transpile briefing §A3: "3×(8:8:8:8) SPOG (ODOO)"; consumed by odoo-rs — the former "odoo ?" mark is resolved). Byte shape = `CascadeShape::G3D4`; the attribute→byte-position assignor is the named remaining code (no owner yet, odoo-rs council 2026-07-07) | | L7 | absolute location | 2 × 48-bit | `hhtl ++ helix` | hhtl(48) = HEEL\|HIP\|TWIG (3×u16); helix(48) = helix place code. Together = absolute location, **two hemispheres** — see q2 FMA for usage | | L8 | location, old style | 2 × 48-bit | `helix ++ CAM_PQ` — **CAM_PQ "analog" old style** | the harvest facet `helix-place(6) \| cam-pq(6)` — the 6-byte canonical CAM-PQ, NOT the 16-byte turbovec residue | @@ -130,7 +130,7 @@ similarity function. Two styles coexist: key is literally an L7 facet (payload = absolute location) or a sibling layout is a ground-truth question for the envelope reconciliation — do not unify silently in code. -- **L6 semantics** await an operator ruling (the "odoo ?" mark). +- ~~**L6 semantics** await an operator ruling (the "odoo ?" mark).~~ **RULED 2026-07-06**: L6 = 3×SPOG quads (subject:predicate:object:graph), the Odoo factoring — see the regraded table row above. Open residue: the attribute→byte-position assignor (name→slot projection rule per §2 slot-purity) does not exist yet for any layout. ## §3b Two-level LE contract + the jc-pillar validation gate (operator, 2026-07-02)