WuJun Chen
Independent Researcher | RIME Program | 2026
This paper is Paper IX of the RIME program. It develops the typed deformation layer over Paper VIII's static SOF object language while keeping object deformations, observable records, wall pullbacks, and response diagnostics explicitly typed.
Problem. Paper VIII defines a SOF together with a marked sectorization, a labelled observable alphabet, and separate operator/word and Lie/Hall carriers. This paper asks how these typed static objects can be compared across a declared deformation family without conflating carrier changes, parameterization, or finite-cutoff observations.
Approach. We develop the corresponding observed dynamic layer. A separately supplied object deformation is a map
and declared observation maps produce
On an admissible chart, the observed family has the form
where
$$ R_1Y,\quad \mathrm{Route}dY,\quad W_dY, \quad D{\mathrm{word}}^{(\leq d_{\max})}(t), $$
and, independently,
Results. The paper proves the Observable Wall Pullback Theorem: under explicit
admissibility and local-constancy hypotheses, the wall of a discrete shadow is
contained in the pullback of the corresponding typed rank, support, collision,
or filtration discriminant. Equality requires pullback-exactness on the
selected chart; a transverse one-parameter crossing supplies a geometric
sufficient condition. An exact three-sector construction with equally
normalized generators separates first-order direct norm scaling from
second-order simple-commutator norm scaling under a declared threshold policy.
A second exact exponential model proves policy-relative half-response ordering
under a declared calibration, and a finite three-sector realization certifies
Boundary. The scope is deliberately narrow: the typed static language is shared, but observable dynamics and wall geometry remain species- and deformation-dependent. A deformation record does not generate its underlying object trajectory, and a mechanism label is not causal identification.
| Symbol | Meaning |
|---|---|
| declared source-object state space or class | |
|
|
ObjectDeformation, the separately supplied underlying object family |
ObjectTrajectory, the pullback of an object deformation along a declared ordered path |
|
| declared observation map at parameter |
|
| a declared SOF object from Paper VIII | |
SOFObservationRecord, the observed typed SOF object at deformation parameter |
|
DeformationRecord |
|
| deformation parameter space | |
| finite-rank Hermitian bundle on one typed deformation chart | |
| fibre of |
|
| fixed sector, operative-alphabet, and Lie label sets on a chart | |
| declared sector projectors, if the sectorization moves | |
| labelled operator alphabet, if the operator branch is present | |
| registered Lie generator family, if the Lie branch is present | |
| fixed Lie/Hall formal-expression filtration and depth convention on a chart | |
| comparison/extraction map into the fixed target |
|
| interface for declared deformation records | |
| positive associative word algebra generated by |
|
| observable star-closure generated by |
|
| sector-enriched star-closure generated by |
|
| $\mathscr R_{d,ij}Y$ | routed-product space from sector |
| $\mathscr W_{d,ij}Y$ | full-word corner space from sector |
| direct support for a labelled operator family | |
| routed-product shadow at route depth |
|
| full labelled word shadow at word length |
|
| exact first-hit depths in |
|
| truncated depth in |
|
| direct support for a registered Lie family | |
| projected simple-commutator support | |
| exact first-hit depth in a declared Hall/Lie filtration | |
| continuous target-space field for typed carrier |
|
| target-space feature map evaluated on |
|
| wall of a selected shadow |
|
| discriminant in the target space of |
|
| selected one-parameter trajectory through a chart | |
| threshold time relative to |
The symbols
Paper VIII answers the static question: what data constitute a SOF and which typed constructions are functorial under strict morphisms \cite{paper8}? This paper asks the next question:
How do selected SOF observables change along a declared deformation?
The answer cannot be a universal ladder. A deformation may move projectors,
move labelled operators, move both, or change only a concrete embedding while
leaving an abstract algebra type unchanged. Even for a single alphabet, the
positive word algebra
Schematically, the typed static data vary as
$$ t\longmapsto \bigl( Q(t),Y(t),E_Y(t), {\mathscr R_dY,\mathscr W_dY}{d\geq 1}, A_Y^+(t),A_Y^*(t),A{Q,Y}^*(t), X(t),\mathcal H \bigr), $$
with only the components present in the declared realization retained. This single notation does not merge their wall types. It instead separates direct support walls, routed-space rank walls, word-space dimension walls, star-algebra type walls, word-depth walls, and Lie-depth walls. Closure fields record what is ultimately generated; finite filtrations record how and at what first length it is generated.
The central distinction is:
Sectorization is source-dependent, while comparison data are chart-dependent. The typed object and deformation-record interfaces are shared; recorded observable response remains deformation- and observation-dependent.
The distinction is operational. An ObjectDeformation over
For an operator SOF, the available fields may include
$$ R_1Y,\quad \mathrm{Route}dY,\quad W_dY, \quad D{\mathrm{route}}^{(\leq d_{\max})}Y,\quad D_{\mathrm{word}}^{(\leq d_{\max})}Y. $$
For a separately registered Lie/Hall carrier, the available fields may include
These two lines represent parallel audit branches. No equality between word support, routed support, commutator support, and Lie depth is assumed. A promotion from one line to another needs a separate theorem or certificate.
The Boolean routed and word shadows sit over the actual moving corner spaces
$$ \mathscr R_{d,ij}Y \quad\text{and}\quad \mathscr W_{d,ij}Y. $$
Their dimensions and ranks can define walls even when a thresholded support shadow does not change. They must also be distinguished from the saturated corners
The first is positive-word saturated, the second is star-word saturated, and the third permits sector projectors as internal route separators.
For any declared route, word, or Hall filtration with level shadows
\inf{d\geq1:O_{\kappa,d}(t)=1} \in\mathbb N\cup{\infty}. $$
The corresponding cutoff record is a different field:
\begin{cases} D_\kappa(t),&D_\kappa(t)\leq d_{\max},\ \mathrm{unreached},&\text{otherwise}. \end{cases} $$
An exact finite first-hit depth
Exact infinity additionally requires an appropriate closure or saturation
certificate. A finite computation must therefore distinguish: first hit
certified at UNREACHED_AT_CUTOFF; neither denotes mathematical infinity. Consequently, a
cutoff wall
The following cases are distinct:
| Class | Moving data | Typical question |
|---|---|---|
| fixed sectors |
|
how does one family redistribute support? |
| moving sectors |
|
how does a changing coarse coordinate system alter shadows? |
| joint deformation | both |
which field is responsible for a wall? |
| positive word closure |
|
does positive-word saturation change? |
| observable star-closure |
|
does adjoint closure change the corner structure? |
| sector-enriched closure |
|
do marked routed corners change? |
| abstract star-algebra | a Wedderburn type of $A_Y^$ or $A_{Q,Y}^$ is compared | what is invisible to abstract type alone? |
An unchanged abstract Wedderburn type of either star-closure does not imply
that the marked sector corners remain unchanged; a changed concrete embedding
does not by itself imply a change in the abstract star-algebra type. No
Wedderburn claim is made for
The external results below provide precedents for dynamic phenomena. They are not theorems about SOF.
Xu, Vardi, and Safran prove a rate separation in ridge regression between a data-visible row-space component and an orthogonal component controlled only by weight decay \cite{xuVardiSafran2026grokking}. Writing
their result gives a fast channel driven by the empirical loss and a slow
channel driven by regularization. This provides a mechanism-separated
precedent for asking whether a comparable separation can be measured in
observable space, without identifying mechanism-labelled means that records are indexed by a declared source-side
mechanism label or partition; it does not mean that the mechanism has been
causally identified from the observations.
Prethermalization provides a precedent for fast transients followed by long plateaus and delayed visibility of slower effects \cite{abaninDeRoeckHoHuveneers2017prethermalization}. This motivates studying plateau observables in SOFs, but no prethermalization law is assumed here.
Kontsevich and Soibelman provide settings in which crossing a wall is accompanied by an exact transformation law \cite{kontsevichSoibelman2008stability}. The theorem below proves only a pullback inclusion for selected observable walls. An SOF wall-crossing transformation law remains open.
The static typed SOF object language is inherited from Paper VIII \cite{paper8}. Papers V and VII supply independent low-order channel and incidence interfaces \cite{paper5,paper7}; Paper VI supplies normality-gated pointwise registrations and a linearized research interface \cite{paper6}. These papers are compatible interfaces, not a linear proof chain.
The contribution here is the typed deformation layer: admissible deformation charts, response observables along declared trajectories, typed wall pullbacks, and rate constructions under declared policies. It does not promote continuous proxies to binary shadows, identify distinct carriers, or supply a universal wall-crossing law.
Let
The map may be generated by external dynamics, a parameter update, an
environmental process, or an intervention. Paper IX takes this map as input; it
does not infer or generate it. If
is an ObjectTrajectory. Thus ObjectTrajectory is an ordered-path
specialization of ObjectDeformation, not a synonym for every map
\operatorname{Observe}_{\eta,t}(S_t), $$
where
denotes a typed SOF object. The entries after the semicolon are optional
enrichments; the operator alphabet
The DeformationRecord of
(\mathcal F_t)_{t\in T}, $$
together with the declared charts, comparison maps, and policies used below. These are distinct types:
The notation
is meaningful pointwise, but it does not itself compare different fibres. Continuity, walls, and response times are properties of selected observed fields along this supplied record and are defined only after the required local comparison data have been supplied.
For a legacy record that does not source-address an underlying trajectory or
transition model, migration may retain the sampled DeformationRecord but
must record trajectory_provenance = LEGACY_RECORD_ONLY,
object_transition_model = NOT_DECLARED, and
causal_mechanism_status = NOT_ESTABLISHED. It cannot manufacture an
ObjectDeformation, an ObjectTrajectory, or a transition mechanism, and
it cannot reinterpret a mechanism label as causal identification.
Definition 1 (Typed Deformation Chart). Let
- a finite-rank Hermitian vector bundle
$\pi:\mathcal V\to U$ with fibre$V_t$ , together with a local trivialization whenever matrix coordinates are used; - fixed finite label sets
$I$ ,$A$ , and, when present,$G_0$ for sectors, operative letters, and Lie generators; - continuous sections
$Q_i(t),Y_a(t),X_g(t)\in\operatorname{End}(V_t)$ for the declared labels, where the$Q_i(t)$ form a complete orthogonal sectorization; - a fixed operative word convention, positive or explicitly star-completed,
and a fixed Lie/Hall formal-expression filtration
$\mathcal H={\mathcal H_d}_{d\geq0}$ and depth convention on$U$ ; - a fixed target space
$\mathcal E_\kappa$ and a declared continuous comparison/extraction map$\Theta_\kappa$ from the selected fibrewise carrier data into$\mathcal E_\kappa$ .
The resulting target-space field is
\Theta_\kappa\bigl( V_t,{Q_i(t)},{Y_a(t)};{X_g(t)},\mathcal H \bigr). $$
Only the components required by
Because a continuous finite-dimensional projector family has locally constant rank, a sector-rank change cannot occur inside one connected typed chart. Changes in sector rank, label sets, operative alphabets, word conventions, or Hall conventions are chart-transition or schema events. They are not ordinary walls of a fixed typed field unless an additional comparison construction is declared.
The notation
consists of:
- a parameter space
$T$ with marked endpoints$t_-$ and$t_+$ ; - a family $(\mathcal F_t){t\in T}$ satisfying
$\mathcal F{t_-}=\mathcal F$ and
$\mathcal F_{t_+}=\mathcal G$ after the declared endpoint identifications; - a typed deformation chart covering each domain on which a selected field is compared;
- endpoint comparison maps, and chart-transition data when the endpoint fibres or chart schema differ;
- a cutoff, threshold, and saturation convention where relevant.
These deformation records are not declared morphisms in a category. Concatenation would require a specified gluing rule, a reparameterization convention such as Moore paths, and a proof of associativity. None is imposed here. A deformation datum may be non-isometric or may change sector dimensions, but it must state which observables it preserves or tracks. The notation keeps the static strict category of Paper VIII separate from this declared dynamic comparison interface.
Principle (Deformation-Record Non-Intervention). A typed deformation record is obtained from a separately supplied object deformation through declared observation maps. Formation, differentiation, comparison, or serialization of the record does not generate the underlying trajectory or any object-state transition.
This is a type-level statement. Schematically,
and neither arrow is an object dynamics or intervention map. The interface does not claim that every software implementation is side-effect free; such a property requires separate execution controls.
For a selected carrier
- a
$\kappa$ -typed deformation chart is declared on$U$ ; - its comparison map defines a continuous field
$J_\kappa:U\to\mathcal E_\kappa$ ; - the threshold, cutoff, and saturation policy are fixed on
$U$ ; - the target-space feature map is locally constant away from its declared discriminant;
- any exact-depth claim states the closure or saturation certificate that
distinguishes
$\infty$ from cutoff-unreached.
Admissibility is diagnostic-specific: a family can be admissible for a continuous norm proxy yet inadmissible for a binary depth field.
A deformation of the Hall convention itself is outside the default chart
definition. Such a filtration-schema deformation requires level-identification
maps between the changing conventions and is registered as a schema event,
not silently treated as a value change of
The compact notation
is allowed only as an explicitly enumerated package. The individual fields have different meanings:
| Carrier | Field examples | Typical discriminant |
|---|---|---|
| operator |
|
block support threshold |
| routed | $\mathscr R_{d,ij}Y |
routed-product-space rank/support |
| word | $\mathscr W_{d,ij}Y$, $W_dY$, |
word-space rank or truncated first hit |
| positive associative closure | concrete algebra, corner, or dimension change; no automatic Wedderburn type | |
| star closures | $A_Y^(t)$, $A_{Q,Y}^(t)$ | concrete corner or finite-dimensional |
| Lie/Hall |
|
commutator rank/support or truncated Hall first hit |
The table is an audit order, not an implication diagram.
Let a deformation record be declared over
The associated observable trajectory is
\widehat O_\kappa\bigl(J_\kappa(\gamma(s))\bigr), \qquad s\in I_\gamma. $$
Thus, although a deformation family can be studied over a general topological parameter space, a response time is attached only to a selected ordered path. Different paths through the same family need not define the same trajectory.
Examples include:
$$
\begin{aligned}
& R_1Y,\ \mathrm{Route}dY,\ W_dY,\
& D{\mathrm{route}}^{(\leq d_{\max})}Y,
D_{\mathrm{word}}^{(\leq d_{\max})}Y,\
& R_1^{\mathrm{Lie}}(t),\ R_2^{\mathrm{Lie}}(t),
D_{\mathrm{Lie}}^{(\leq d_{\max})}(t),\
& P_d^{\mathrm{state}}(t),\ \mathrm{gap}(t),\ \mathrm{proxy}(t).
\end{aligned}
$$
The last line contains separately registered state, spectral, or proxy
observables, not automatic identifications with the operator or Lie branches.
In particular,
Let
\inf{s\in I_\gamma:s\geq s_0,\ O_{\kappa,\gamma}(s)\geq\eta}. $$
The extended-real convention is UNREACHED_ON_DECLARED_INTERVAL; it cannot
promote non-crossing on that interval to an intrinsic infinite response time.
UNREACHED_ON_DECLARED_INTERVAL is a response-measurement censoring value,
not the filtration result state UNREACHED_AT_CUTOFF. Under Compiler v1.0, it
is represented by an OBSERVED response-time finding with null numerical
value and a referenced sampling or trajectory policy declaring right
censoring; it is not a new generic result state.
Other response conventions, such as half-response or interval-censored wall
time, must be declared separately. Response times are defined only relative to
the chosen trajectory parameterization, observable normalization, norm,
orientation, and threshold policy. A nonlinear reparameterization of
For discrete shadows, a wall time may be interval-censored:
when the sampling grid identifies only the first interval containing the change. A proxy half-response is not a discrete wall time.
For a discrete shadow
For a selected trajectory
{s\in I_\gamma:O_{\kappa,\gamma} \text{ is not locally constant at }s}. $$
For a continuous field, the corresponding object is a declared discriminant where rank, support, collision, filtration type, or another qualitative regime changes. Both the continuous field and its threshold policy must be named explicitly.
Examples are
The notation
Theorem 1 (Observable Wall Pullback Inclusion). Let
be continuous. Let
Proof. Because
Definition 2 (Pullback-Exact Discriminant). The discriminant
Corollary 1 (Equality under Pullback-Exactness). Under the hypotheses of
Theorem 1, if
Proof. Theorem 1 gives one inclusion. Pullback-exactness makes every point
of the pullback a failure of local constancy, giving the reverse inclusion.
An ambient discriminant can fail to be pullback-exact when the deformation is constant inside it, tangent to it, or confined to one feature stratum. Thus ambient exactness alone does not imply equality. The theorem is a pullback statement for one selected carrier; it does not identify different carriers or prove that a typed wall exists for every deformation.
Proposition 1 (Transverse Trajectory Crossing). Suppose
then
Proof. Transversality to a locally separating hypersurface places the
trajectory on opposite local sides of the discriminant for parameters
arbitrarily close to
Call
is a local nonconstancy point of
Paper VI supplies a normality-gated interface for pointwise registrations and linearized computational certificates. In the notation used here, its spectral gates are relevant only on domains where the selected spectral construction is defined:
Those registrations may serve as inputs to a moving-field theory. They are not used here as a positive moving SOF instance, and the nonnormal fragmentation calculations do not support a universal wall hierarchy.
For a fixed sectorization, one may vary the labelled operator family:
The resulting fields are $R_1Y$, routed shadows, or word shadows only
after the route, word, threshold, and cutoff conventions are fixed. The moving
closure must be identified explicitly as
A Yang-like state-mixing family may be written
The associated plateau or mixing observable belongs to the registered state carrier. It need not equal an operator accessibility field. Here the family serves only to distinguish state deformation from operator deformation. No typed wall or rate law is inferred from the available plateau summaries.
Markov, graph, and quantum systems may vary transition operators, adjacency or Laplacian data, Hamiltonians, or gate families. Their registered shadows can include communicating-class profiles, connectedness, spectral gaps, or word/Lie accessibility. A discrete rewiring or an unstructured interpolation does not automatically define a smooth rate hierarchy. The carrier and deformation law must be declared before a wall or response time is compared.
In the neural diagnostic listed as Appendix A (A3), activation-induced sectors and trainable weight operators define a small SOF-like realization. The measured quantities are continuous block-norm proxies:
for direct blocks, simple-commutator blocks, and nested-commutator blocks.
These continuous proxies are not the typed binary fields
The audit uses the final declared sample
\frac{K_r(t)-K_r(0)} {K_r(t_{\mathrm{end}})-K_r(0)} $$
and reports the first sampled half-response
\min\left{ t\in\mathcal G: \widehat K_r^{\mathrm{end}}(t)\geq\frac12 \right}, $$
where
The default run gives
| Activation | pointwise cutoff audit | |||
|---|---|---|---|---|
| ReLU | 60 | 80 | 120 | |
| GeLU | 60 | 80 | 120 |
This is a computational observation of ordered proxy response times. The
pointwise triples report, in order, unsupported direct pairs, Lie-emergent
pairs, and cutoff-unreached Lie pairs. They do not define a temporal repair
event: the diagnostic does not coherently continue sector labels across
training time. In particular, it does not measure
The neural diagnostic exposes two layers:
No theorem identifies these layers. In particular,
without a threshold, margin, sector-stability, and filtration-compatibility result. We call the missing result the Observable Proxy Shadow Principle. It remains a Research Program rather than an assumption.
State mixing changes a state carrier, while an operator deformation changes a labelled alphabet or its concrete embedding. Similar scalar summaries do not identify the underlying typed fields. Accordingly, the Rubik generator-weight fragmentation/oscillation diagnostic is excluded from the typed evidence and from the present comparison.
For selected observables
are demonstrably separated. This rate separation is a property of the registered trajectory and policy, not of the underlying static SOF alone.
Let
Both declared generators are skew-Hermitian and have the same Frobenius scale
at
Proposition 2 (Exact Scale-Separated Threshold Construction). For the
declared generator normalization, trajectory parameterization, Frobenius norm,
and common threshold
Their first-crossing parameters are
respectively.
Proof. The identity
Consequently,
\eta^{-1/2}>1. $$
This construction separates the selected continuous direct and
simple-commutator block norms because they appear at different polynomial
orders along the declared trajectory. It is an existence construction, not an
intrinsic rate invariant of the underlying static SOF. Rescaling either
observable, changing the threshold, or nonlinearly reparameterizing the path
generally changes the ratio. It also does not prove a separation of Boolean
support walls or Lie depth. Appendix A (A1) validates the displayed matrices
and records zero formula residual at the default threshold
A second construction isolates policy-aligned response times without
introducing a new carrier. Assume that the finite limit
\frac{|K(t)-K(0)|}{|K(\infty)-K(0)|}. $$
Let
Proposition 3 (Calibrated Two-Channel Response Separation). Under the declared parameterization, normalized-displacement convention, and common half-response policy,
Proof. For
Appendix A (A2) realizes the two responses as normalized sector-to-sector block norms in a fixed three-sector SOF. With
the finite audit returns half-response times
The candidate hierarchy
is a cutoff-relative structured-dynamics hypothesis, not a universal law. A corresponding exact-depth hierarchy would require an exact closure or saturation certificate. The established evidence is deliberately narrower:
- Proposition 2 gives an exact two-level direct/commutator norm separation;
- Proposition 3 and its finite realization give a calibrated two-channel half-response separation under one declared policy;
- the NN run observes
$60<80<120$ for continuous proxies; - state mixing and unstructured interpolations remain distinct deformation interfaces rather than positive hierarchy evidence.
Consequently, no completed
The ridge-regression result yields
where the two directions are separated by the training mechanism. The observable-space analogue asks whether a declared mechanism-separated deformation record exhibits ordered response times in a typed carrier. Here the mechanism partition is supplied before observation; ordered recorded responses do not identify that mechanism causally. The objects are different, and no map from parameter directions to SOF fields is assumed.
The role of
| Claim | Status |
|---|---|
| Observable Wall Pullback Inclusion | Theorem |
| Equality under pullback-exactness | Theorem |
| Transverse Trajectory Crossing Criterion | Theorem |
| exact scale-separated threshold construction | Theorem |
| calibrated two-channel response separation | Theorem |
| calibrated three-sector block realization with half-response times |
Computational Certificate |
| NN ordering |
Computational Observation |
| NN proxy-to-discrete-shadow identification | Research Program |
| full typed rate hierarchy through truncated or exact |
Research Program |
| universal wall law or universal deformation geometry | Research Program |
The typed deformation record and
The following are not claimed:
- that one untyped
$R_1/R_2/D$ ladder exists for every SOF; - that a route, full word, commutator, or Lie depth is determined by another carrier without a bridge theorem;
- that Paper VI supplies a completed moving-field theorem;
- that numerical unreached values are infinity;
- that parameter-space and observable-space rates are identical;
- that NN proxies exhibit a temporal Lie-depth repair event;
- that Yang-like state mixing and operator deformation share a wall law;
- that every deformation is smooth or has one discriminant type;
- that the full
$\tau(R_1^{\mathrm{Lie}})<\tau(R_2^{\mathrm{Lie}}) <\tau(D_{\mathrm{Lie}}^{(\leq d_{\max})})$ hierarchy has been observed; - that response times are invariant under observable rescaling or trajectory reparameterization;
- that the Observable Proxy Shadow Principle has been proved;
- that a deformation record generates the underlying object deformation; or
- that mechanism-labelled observations establish causal identification.
Given a separately supplied object deformation, the static SOF language
extends to declared deformation records without merging operator/word,
Lie/Hall, state, or saturated-algebra carriers. The record describes a typed
observable response; it is not the generator of the underlying trajectory.
The wall-pullback theorem gives a general inclusion and identifies
pullback-exactness as the additional condition required for equality; a
transverse trajectory crossing supplies a geometric sufficient condition.
Proposition 2 supplies an exact parameterization- and normalization-relative
direct/commutator threshold construction. Proposition 3 supplies a calibrated
exponential half-response inequality, and its three-sector realization
certifies
The dynamic evidence supplied to the Paper X compiler follows the construction order
The arrows denote construction order, not implication.
The next theorem-level targets are:
- a weak/deformation morphism theory extending the
$\mathsf{SOF}_{\mathrm{def}}$ deformation-record interface; - a proxy-to-shadow theorem with margin and threshold hypotheses;
- a higher-depth structured-dynamics construction with separately controlled direct, commutator, and Lie-depth channels;
- a genuinely time-resolved
$D_{\mathrm{word}}^{(\leq d_{\max})}$ or$D_{\mathrm{Lie}}^{(\leq d_{\max})}$ repair audit, followed where possible by an exact saturation certificate; - wall-crossing formulae for restricted species.
These are open extensions, not premises of the results above.
The following repository artifacts support the exact response constructions, the finite three-sector certificate, and the neural proxy observations. The default directory is:
experiments/paper9/
All short paths below are relative to that directory.
| Artifact | Role | Short path |
|---|---|---|
| A1 | exact direct/commutator threshold construction | \path{rate_hierarchy.py} |
| A2 | calibrated exponential block-response realization | \path{calibrated_response.py} |
| A3 | training-coupled |
\path{nn_training_sof_tau.py} |
| A4 | fixed-weight activation/sectorization audit | \path{nn_activation_sof.py} |
| A5 | versioned result and claim-boundary validator | \path{validation/validate_results.py} |
| A6 | exact-construction and calibrated-response records | \path{results/rate_hierarchy.json}, \path{results/calibrated_response.json} |
| A7 | neural proxy and activation records | \path{results/nn_training_sof_tau.json}, \path{results/nn_activation_sof.json} |
| A8 | v2.1 object/record migration schema | \path{../../schemas/sofdeformation/deformation-record-migration-v2.1.schema.json} |
| A9 | conservative v2.1 semantic-type migrator | \path{validation/migrate_deformation_records_v2_1.py} |
| A10 | source-addressed v2.1 migration ledger | \path{results/deformation-record-migration-v2.1.json} |
The A1--A4 scripts are rebuild commands: they write candidate result files
under experiments/paper9/results/ and must be run only in a scratch copy or
staging area. They are not repository-non-intervening release verification.
A1 checks the exact formulas of Proposition 2. A2 supplies the finite
Computational Certificate associated with Proposition 3. A3 and A4 support
only their declared Computational Observations. For read-only release
verification, run A5 and A9 from the repository root; A5 checks the versioned
records and their stated numerical and status invariants, while A9 checks the
source-addressed migration ledger. A8 is the migration schema and A10 is the
promoted ledger. Together A8--A10 verify that the retained dynamic records are
typed as deformation records without inferring an object transition model or
causal mechanism.
All listed artifacts are available in the RIME repository.




