engineering/arborist
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

#000071: dav1d review 2026-06-01 — REJECT-AS-WRITTEN, GO-with-rewrite

Browse source 
The 1026-line de-novo response arrives after #000070 was corrected
from fixed Anchor6 to generic AnchorN/WorldDimensionGrammar. The
bridge concept is valid and necessary; the Joseph6-coupled framing
is now wrong. Same pattern as #000070's review: §§1-8 preserved as
the design log of what was reviewed; new §0 carries the corrected
spec.

Verdict matrix (12 rows in §0 decision table):
  ✅ GO: bridge concept (Agreement / Translation / Embassy), Phase 1
        doc-only, bridge_seed@v1 deferred to Phase 2, no audit_mode,
        no SQL, bridge atlas Phase 3.
  ❌ REWRITE: #000070-as-Joseph6-sibling → AnchorN sibling;
            chain_id=governance_policy_hash → composite ChainRoot
            with optional v7-W fields (null sentinels for language-
            only QA chains); single event_type='bridge' → typed
            schemas per kind; privacy as Phase 3+ footnote → Phase 1
            vocabulary (4 classes); #000059 "already-shipped"
            overclaim → proposed/structurally-aligned unless repo
            confirms.
  ❌ REJECT: doc-only Phase 1 flipping #000013 to "kernel_in_progress"
           — correct status is "bridge_grammar_specified"; kernel_
           in_progress is for actual kernel landings.

Five bridge outcomes (was three):
  Agreement   — grammars match on invariant set
  Translation — hash-pinned adapter proves the mapping
  Embassy     — foreign object hosted with limited rights
  Quarantine  — NEW: bridge attempted, invariant validation FAILED,
                record the rejection so future attempts see what broke
  No-bridge   — NEW: grammars genuinely incompatible, explicit
                declaration that no bridge will exist

Composite ChainRoot identity:
  chain_id = SHA256(canonical({
      chain_id_version, history_root, governance_policy_hash,
      canonicalization_version, schema_version, chunking_version,
      world_manifest_hash, world_dimension_grammar_hash,
      axiom_pack_hash, optional_verifier_policy_hash
  }))
Language-only chains: three v7-W fields are null sentinels →
chain_id collapses to existing identity. v7-W chains: all mandatory.

Phase 1 deliverable (corrected):
  1. Substrate-paper extension §"World-bridge grammar" (5 outcomes
     with typed witness shapes + composite ChainRoot + privacy
     vocabulary + sovereignty rule + #000070 cross-ref + retro-
     validation appendix with corrected shipped/proposed framing)
  2. Optional namespace stub arborist/world/bridge/__init__.py
     (STATUS = "namespace_reserved")
  3. NO kernels / NO bridge_seed canonicalization / NO SQL / NO
     cache-key dimension / NO new audit_mode / NO verifier change /
     NO KATs
  4. #000013 status bumps to "bridge_grammar_specified", NOT
     "kernel_in_progress"

Sovereignty rule survives unchanged (chain law local, bridge law
treaty-only, no bridge overwrites native chain law — guard against
forced-unity failure mode). Hash-pinned translators survive
unchanged. Topic-named under arborist/world/bridge/ unchanged.

Full review archived at:
  docs/dav1d-reviews/000071-world-bridge-grammar--2026-06-01.txt
This commit is contained in:
russell@unturf.com 2026-06-01 07:13:23 -04:00
parent 862662b903
commit ca7577f680
No known key found for this signature in database
3 changed files with 1226 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/TICKETS.md
View file

File diff suppressed because one or more lines are too long

1026
docs/dav1d-reviews/000071-world-bridge-grammar--2026-06-01.txt Normal file
View file

File diff suppressed because it is too large Load diff

204
docs/tickets/ticket-000071-world-bridge-grammar.md
View file

@ -1,8 +1,11 @@
# Ticket #000071 — World-bridge grammar (Joseph 3-bridge inter-chain framework)
# Ticket #000071 — World-bridge grammar for AnchorN / v7-W inter-chain treaties
**Status:** open · awaiting dav1d review + fox go/no-go ·
**doc-only Phase 1** (paper + retro-validation of shipped primitives;
no kernel code lands on go)
**Status:** open · **dav1d REJECT-AS-WRITTEN + GO-with-rewrite (2026-06-01)** ·
doc-first Phase 1. Original Joseph6-coupled spec rejected; corrected
AnchorN/WorldDimensionGrammar reframe in §0 below. §§1-8 preserve the
original proposal as the design log of what was reviewed.
**Original title kept in design log:** "World-bridge grammar (Joseph
3-bridge inter-chain framework)".
**Opened:** 2026-05-31
**Scope:** Spec the bridge-grammar layer for v7-W. **Joseph (@TrudoJo)**'s
second framework (2026-05-31): every chain has its own world-rules
@ -53,7 +56,198 @@ target.
---
## 1. Problem statement
## 0. Dav1d review verdict (2026-06-01) — REJECT-AS-WRITTEN, GO-WITH-REWRITE
Full review at `docs/dav1d-reviews/000071-world-bridge-grammar--2026-06-01.txt`
(1026 lines). The bridge concept is valid and necessary; the
Joseph6-coupled framing is now wrong (#000070 has been rewritten as
generic AnchorN/WorldDimensionGrammar — see ticket #000070 §0).
### 0.1 Direct verdict
```text
Original #000071 as written:
REJECT AS WRITTEN.
Corrected #000071:
REWRITE AND PROCEED as doc-first / spec-first Phase 1.
Reason:
Bridge idea is valid.
"Fixed Joseph6 / six-dimensional axis" dependency is now wrong.
Must be rewritten around AnchorN + WorldDimensionGrammar.
```
### 0.2 Corrected #000070 ↔ #000071 axis split
```
#000070 (intra-world state instantiation):
one chain/world grammar determines its own state-space
AnchorN + WorldDimensionGrammar + AxiomPack + Manifest →
canonical world-state records
#000071 (inter-world treaty grammar):
two chains with different histories, rules, grammars, manifests,
translators, or canonicalization_versions exchange commitments
without either chain overwriting the other's local law
decide: agreement | translation | embassy | quarantine | no_bridge
```
Bridge grammar operates between **ChainRoots whose world grammars
may be AnchorN-derived**. It does NOT assume six fields, does NOT
assume position/scale/rotation/material/relation/behavior. It bridges
**grammar-rooted worlds**, not Joseph6 worlds.
### 0.3 Decision table
| component | original ticket | verdict | correction |
|---|---|---|---|
| bridge concept (Agreement/Translation/Embassy) | valid | ✅ GO | add **Quarantine** + **No-bridge** as first-class outcomes |
| Phase 1 doc-only | mostly correct | ✅ GO | namespace stub optional |
| `bridge_seed@v1` deferred to Phase 2 | correct | ✅ GO | keep deferred |
| no new `audit_mode` | correct | ✅ GO | keep hard |
| no SQL Phase 1 | correct | ✅ GO | keep hard |
| bridge atlas Phase 3 | correct | ✅ GO | keep deferred |
| **#000070 as Joseph6 sibling** | **wrong** | ❌ REWRITE | replace with AnchorN/WorldDimensionGrammar |
| **`chain_id = governance_policy_hash`** | **insufficient** | ❌ REWRITE | composite ChainRoot (history_root + governance_policy_hash + canonicalization_version + schema_version + chunking_version + world_manifest_hash + world_dimension_grammar_hash + axiom_pack_hash + optional verifier_policy_hash) |
| **doc-only flips #000013 → `kernel_in_progress`** | **wrong** | ❌ REJECT | use `bridge_grammar_specified`; kernel_in_progress is for actual kernel landings |
| **"already shipped" claim on #000059** | **overclaim** | ❌ REWRITE | mark proposed/structurally aligned unless repo confirms shipped |
| **single `event_type='bridge'` body** | **too flat** | ❌ REWRITE | typed bridge event schemas per kind (agreement / translation / embassy) |
| **privacy as Phase 3+ footnote** | **too weak** | ❌ REWRITE | promote to Phase 1: vocabulary defined now, code later |
### 0.4 Five bridge outcomes (was three)
The original ticket recognized Agreement / Translation / Embassy.
Dav1d adds two more as FIRST-CLASS outcomes:
| kind | when it applies | witness shape |
|---|---|---|
| **Agreement** | grammars match on the shared invariant set | src_chain_id · tgt_chain_id · shared_invariant_root · object_or_pack_root · no_translator sentinel |
| **Translation** | grammars differ but a hash-pinned adapter proves the mapping | src_chain_id · tgt_chain_id · translator_id · translator_manifest_hash · input_root · output_root · translation_policy_hash |
| **Embassy** | foreign object hosted with limited rights | foreign_chain_id · host_chain_id · foreign_object_commitment · rights_mask · embassy_contract_hash · expiry_or_decay · no_warrant_promotion flag |
| **Quarantine** (new) | bridge attempted but invariant validation FAILED — record the rejection so future attempts can see what broke | src_chain_id · tgt_chain_id · attempted_bridge_kind · invariant_violation_root · quarantine_until · revisit_policy_hash |
| **No-bridge** (new) | grammars genuinely incompatible — explicit declaration that no bridge will exist | src_chain_id · tgt_chain_id · incompatibility_root · explanation_hash |
Phase 1 defines one abstract `bridge` event family; Phase 3 implements
typed bridge event bodies per kind.
### 0.5 Composite ChainRoot identity (replaces `chain_id = governance_policy_hash`)
```
chain_id = SHA256(canonical({
chain_id_version,
history_root, # provenance / audit chain root
governance_policy_hash, # arborist QA-policy identity (v9.8)
canonicalization_version,
schema_version,
chunking_version,
world_manifest_hash, # NULL for language-only chains
world_dimension_grammar_hash, # NULL for language-only chains
axiom_pack_hash, # NULL for language-only chains
optional_verifier_policy_hash
}))
```
For **language-only QA chains** (today's arborist), the three v7-W
fields are null sentinels — `chain_id` collapses to existing identity.
For **v7-W chains** with a `WorldDimensionGrammar`, all three are
mandatory. This keeps backward compat AND extends cleanly to the
spatial/temporal axis.
### 0.6 Privacy as first-class (Phase 1 vocabulary)
Promoted from "Phase 3+ later" to Phase 1 paper-must-define. Minimum
classes:
| class | semantic |
|---|---|
| `public_bridge` | bridge existence + endpoints visible |
| `redacted_bridge` | bridge existence visible; endpoint identities hidden or committed |
| `zk_bridge` | proof of valid bridge without revealing full chain identifiers / invariant set |
| `private_bridge` | only peers with group keys can inspect bridge metadata |
No code now; vocabulary must exist before `bridge_seed@v1`
canonicalization is frozen (else the field shape rotates everything).
### 0.7 #000013 status discipline (correction)
The original ticket said Phase 1 (doc-only) would flip #000013 from
`namespace_reserved` to `kernel_in_progress`. Dav1d rejects: doc-only
extensions are not kernel progress. Correct transitions:
```
After #000071 Phase 1 (doc-only):
#000013 status: bridge_grammar_specified (or v7-W-paper-extended)
After #000070 AnchorN implementation:
#000013 status: world_object_kernel_in_progress
After #000071 bridge_seed / atlas implementation:
#000013 status: bridge_kernel_in_progress
```
### 0.8 #000059 overclaim correction
The original ticket claimed three "already-shipped" arborist
primitives as retroactive validators of the Joseph-bridge pattern.
Dav1d corrects per repo evidence:
| bridge kind | original mapping | corrected mapping |
|---|---|---|
| Agreement | "#000066 graft-receipt mode = shipped" | #000066 graft/cold-pack overlay — shipped OR scaffolded (check repo for current status) |
| Translation | "#000056 Operation Sandwich = shipped" | #000056 — shipped if landed; otherwise specified-and-testable |
| Embassy | "#000059 bounded-ingestion graveyard = shipped" | #000059 — proposed / structurally aligned, NOT "already shipped" unless repo evidence confirms |
Don't call all three "already-shipped" unless code evidence supports
that exact status. The structural alignment claim still holds; only
the shipped-vs-proposed framing was wrong.
### 0.9 Corrected Phase 1 deliverables
```
1. Substrate-paper extension (the bulk of Phase 1)
docs/_source/merkle-agi-v7w-spatial-temporal.rst
new section: "World-bridge grammar"
- Five bridge outcomes (Agreement / Translation / Embassy /
Quarantine / No-bridge) with typed witness shapes
- Composite ChainRoot identity (replaces the
governance_policy_hash-only chain_id)
- Privacy class vocabulary (4 classes)
- Sovereignty rule (chain law local, bridge law treaty-only)
- Cross-ref to #000070 AnchorN axis
- Retroactive-validation appendix (with corrected #000059
"structurally aligned, not shipped" framing)
2. Optional namespace stub
arborist/world/bridge/__init__.py
STATUS = "namespace_reserved"
3. NO kernels
4. NO bridge_seed canonicalization (deferred to Phase 2)
5. NO SQL
6. NO cache-key dimension
7. NO new audit_mode
8. NO verifier change
9. NO KATs yet
10. #000013 status field bumps to "bridge_grammar_specified",
NOT "kernel_in_progress"
```
### 0.10 What changes for the implementer
The original §§3-4 ("Recommendation" + "Implementation sketch") frame
this as Joseph6-sibling work. Those stay in the design log as
reference; **what actually ships follows §0 above** — AnchorN-grammar
agnostic bridges, five outcomes (not three), composite ChainRoot,
privacy classes defined upfront.
The original sovereignty rule, hash-pinned translators, and
no-new-audit_mode discipline all SURVIVE the rewrite — they're the
parts the review explicitly preserves.
---
## 1. Problem statement *(original design log — what was reviewed)*
### 1.1 What #000013 left undefined (axis 2)