Skip to content

Commit 07bca08

Browse files
hyperpolymathclaude
andcommitted
docs(verisim-modular-experiment): mark renormalisation foldback APPLIED
Remark rem:agg-drift-renorm committed to main verisimdb's arcvix-octad-data-model.tex at §4.2. Updates FOLDBACK.adoc from NOT YET APPLIED → APPLIED 2026-04-05 with commit reference. Remaining pending foldback: normalizer regeneration strategies 6 → 8. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent f270f40 commit 07bca08

File tree

1 file changed

+11
-6
lines changed

1 file changed

+11
-6
lines changed

verisim-modular-experiment/docs/FOLDBACK.adoc

Lines changed: 11 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ Graph, Vector, Tensor, Semantic, Document, Temporal, **Provenance**, **Spatial**
2222
* `docs/deployment-modes.adoc` — "six modalities" wording
2323
* `docs/federation-readiness.adoc` — "six modality stores" + normalizer regeneration bullet list (6 → 8)
2424

25-
== Undocumented soundness requirement: aggregate-drift weight renormalisation (NOT YET APPLIED)
25+
== Undocumented soundness requirement: aggregate-drift weight renormalisation (APPLIED 2026-04-05)
2626

2727
*Finding:* Def. `def:agg-drift` requires `Σ w_{m1,m2} = 1` across 28 pairs.
2828
Per-octad absence is handled soundly by `d(⊥,·)=0` convention, but
@@ -31,11 +31,16 @@ change semantics between an octad with full shapes vs. an octad with
3131
some shapes absent, unless weights are explicitly renormalised over
3232
the present shapes.
3333

34-
*Suggested action:* add a paragraph in the TeX §4.2 (Formal Drift
35-
Metrics) documenting the renormalisation obligation, or prove that the
36-
current aggregate-drift formulation is sound without renormalisation
37-
(e.g., by treating absent pairs as contributing their weight to a
38-
"no-drift" term).
34+
*Applied:* Remark `rem:agg-drift-renorm` added to
35+
`arcvix-octad-data-model.tex` §4.2 immediately after the
36+
`def:agg-drift` definition, introducing per-federation weight
37+
renormalisation `ŵ_{m1,m2} = w_{m1,m2} / Σ w_{m'1,m'2}` over
38+
`{m'1,m'2} ⊆ modset'`. Notes equivalence with the "no-drift term"
39+
formulation when combined with the existing `d(·,⊥)=0` convention.
40+
41+
*Files affected:*
42+
43+
* `arcvix-octad-data-model.tex` — new `\begin{remark}` block at §4.2
3944

4045
== Normalizer regeneration strategies need 8, not 6 (NOT YET APPLIED)
4146

0 commit comments

Comments
 (0)