Last updated: 2026-05-02 (Session 7 closeout + Session 8 Phase A/A5/B3/A6 + Phase G v2 partial chain + reconstruction Tier-2)
This ledger captures scoped positive and negative statements about what DM3 is and is not, as evidenced by receipted experiments across Sessions 1–8 (live Phase G v2 chain in flight; backwards reconstruction lane at static Tier-2).
- A precompiled Rust binary,
dm3_runner, SHA-256daaaa84a052b60523bf9d63152f1154225abf119c279aa4b3aabf14487279672, executable on Red Magic 10 Pro. - A 380-vertex, C3-symmetric graph constructed via exact-rational 2D Sri Yantra plus a 3D toroidal-twist lift.
- A 72,960-dimensional (380 vertices × 192 features) relaxation dynamical system.
- The
harmonictask is bistable with HIGH basin(E≈88, Coh≈0.77)and LOW basin(E≈75, Coh≈0.88)at default parameters. - The
holographytask is monostable in a RETRY basin(E≈15, Coh≈0.72 at asym=0). - Basin selection at default harmonic parameters is IID Bernoulli with
p(HIGH) ≈ 0.34. - Across the Session 7 dynamics battery, harmonic
p(HIGH)remains statistically stable across six measured arms and 665 total episodes: S2H baseline(N=250), S7 cold(N=100), S7 hot(N=100), S8 battery(N=30), S8 bypass(N=70), and S5 basin volume(N=23). All arm-level Wilson 95% confidence intervals overlap the Session 5 baseline[25.5%, 43.7%].
- The binary exposes a self-evaluating six-gate campaign via
--task exp_r1_r4_campaign. - At defaults, three gates PASS
(EPSILON_CRIT, R4, WAKE_SLEEP_ALIGN)and three gates FAIL(R1, R2, R3). - The campaign is deterministic up to
run_sec. - The Session 7 smoke receipt fixes a default
--steps 5reproducibility fingerprint at canonical SHA9006df4ec02c8872b2037ce49ba9f2e9f27cfb7b92f62dfea5e7982d6be7d912. R1flips when--adj RandomAdj_v1.binis used.R2flips when--tags RegionTags_v2.binis used, andclaim_leveladvancesCL-0 → CL-1.- The 2×2 cross-control table is closed:
R1responds to--adj,R2responds to--tags, and the axes remain separable at default--steps 1. - The combined-axis configuration
RandomAdj_v1.bin + RegionTags_v2.bin + --steps 50flipsR1andR2together and raisesr4.transfer_ratiofrom1.369to2.678. - Session 7 final reporting closes a bit-level gate-layer substrate-null
battery across the tested smoke conditions. The local checkout keeps
the smoke fingerprint and harness tree visible, and keeps the
standalone directory-name mismatch explicit in
REPO_AGENT_FINDINGS.md. R3remains unreachable from the exposed CLI on the SY-default surface; requested--steps > 20does not raiseoperational_stepsabove10.
Hidden task inventory
Beyond harmonic and holography, the binary accepts 10 additional
task names:
interferenceholographic_memoryexp_r1_r4_campaignexp_i1exp_i2exp_h1_h2exp_k2_scarsexp_k3_truth_sensorresonance_r3resonance_v2
exp_k2_scarsis the first receipted positive learning line in Sessions 3–7.best_upliftrises0.010 → 0.075 → 0.273 → 1.324across--steps 1 → 5 → 10 → 20, then overfits at--steps 50.- Session 8 Phase A/A5/A6 refines that line:
--steps 20is a shoulder, not the peak. The one-step map across the 28→50 region is a trimodal sawtooth with local maxima at--steps 33(best_uplift = 1.873756),41(1.708374), and49(1.819397), sharp drops at33→34and41→43, and a final49→50cliff to0.000000. - At the μ baseline config
--steps 20 / SriYantraAdj_v1.bin / RegionTags_v1.bin,exp_k2_scarsis invariant acrossxnor_train,xnor_mini, andxnor_testin the mirrored Phase A logs. - Both adjacency topology and region-tag partition affect
exp_k2_scars: the Phase A cross-graph table givesSY+v1 = 1.324074,SY+v2 = 0.806000,RA+v1 = 1.341583, andRA+v2 = 0.000000at--steps 20. exp_k3_truth_sensordoes real internal work. Session 7 showed the exposed--sensor-strengthand--sensor-thresholdflags do not parameterize its KPI triple on the tested surface. Session 8 B3 shows--stepsdoes change baseline and gap values (75.0%reduction atsteps=1,79.4%atsteps=20), while selectedsensor_errorstays near22.3.resonance_r3does real work inside its task loop, but the exposed--stepsflag does not parameterize the emitted output.- Session 8 B3 identifies three
--steps-decorative task surfaces atsteps 1vs20:resonance_r3,resonance_v2, andexp_i2. This is scoped to those step values and default inputs.
- Path-independent at fixed config. The Phase G cell
G.6 path_dependencereports4/4 same-config canonical SHAs match across path A and B. DM3 exposes no observable cross-invocation state on the tested surface. This closes claimχ. - σ″ trimodal sawtooth is geometry-independent in shape. Phase G
G.2 trimodal_portabilityreportsverdict = PASS, summary = "trimodal shape preserved in 3/3 configs". All three preserved cross-controls (cfg-ARandomAdj_v1, cfg-BRegionTags_v2, cfg-Cxnor_mini) reproduce the σ″ peaks ats33 / s41 / s49and the cliff ats50 = 0.000000. σ″ promotes to CONFIRMED for shape; magnitudes are config-dependent and explicitly not promoted as portable. - Cliff at
s50is universal. All three G.2 configs returnp50 = 0.000000exactly. The cliff is the strongest universal feature on the tested surface; its fine structure isG.7's next deeper test (in flight at this update). - The
s50zero is a clippedbest_uplift, not absence of per-condition learning dynamics. The 2026-04-30 08:30 UTC G.7 in-flight logs show cfg-A complete ats50and cfg-B partial ats50: both returnbest_uplift = 0.000000by max-over-conditions clipping whilelesson=3per-condition uplifts go negative. cfg-A reproduces-0.201691atnoise=0.100and-0.219131atnoise=0.200across 3/3 receipts; the first completed cfg-Bs50receipt gives-1.803669and-1.860878. Direction is preserved across these two configs; magnitude remains config-bound. This is a scope note on the σ″ cliff, not an independent G.7 claim. - Cycle past the cliff. Phase G
G.1 cycle_probereportss56 best_uplift = 1.970840on the σ″ baseline, higher than the σ″ primary peaks33 = 1.873756. The49 → 50cliff is therefore not a permanent collapse. This is claimψ(CANDIDATE). - Cycle-7 mechanism (PARTIAL).
G.1.5 cycle_disambiguatorreports the multiplicity-7 sawtooth fits tighter than multiplicity-6 or -8 on the σ″ baseline. Recorded as suggestive; not promoted. - σ″ baseline determinism extension.
G.0.5 determinism_recheckreports10/10bit-exactbest_upliftreproductions at boths30ands33. Folded into the ξ evidence base.
The independent dm3-runner-reconstruction-2026-04-27/ lane closes
seven of eight pre-registered reconstruction hypotheses at static
Tier-2 evidence level. The eighth, R8, requires Tier-3 Android
execution tracing and remains the sovereign open gate. See
RECONSTRUCTION_TIER2_NOTE.md for the full evidence table and
CLAIMS.md "Reconstruction (static, Tier-2)" for the formal claim
block. The relevant IS statements for this surface are:
- The loaded
SriYantraAdj_v1.binfixture graph is exactlyP_95 ☐ K_4at parsed-fixture Tier-2 (380 vertices, 946 edges, degree histogram{4: 8, 5: 372}). - The default internal
dm3_runnerskeleton (build_helix_meru+build_dual_meru) is exactlyP_95 ☐ K_3at static-disassembly Tier-2 (285 vertices, 567 edges, degree histogram{3: 6, 4: 279}). - The two surfaces share the path base
P_95 = 2 · (12 · 4) − 1and are related by complete-graph fiber promotionK_3 → K_4. The loaded fixture's first Betti number is946 − 380 + 1 = 567, equal to the internalP_95 ☐ K_3edge count. This is an exact arithmetic identity, not a runtime coupling proof. RegionTags_v2.jsonis exactly the degree-4-root BFS shelling of the loaded fixture, withRING_k = min(distance // 5, 8) + 1. JSON mismatch count is zero against the host-side reconstruction.- The Laplacian spectrum of the loaded fixture is the closed-form
λ_k(P_95) + μ(K_4)withμ(K_4) ∈ {0, 4, 4, 4}. Fiedler value0.001093485318147902, λ_max7.9989065146818525. - The full automorphism group of the loaded fixture graph is
Aut(P_95 ☐ K_4) = C_2 × S_4, of order 48. The previously claimedC_3symmetry remains a sub-action of the naturalS_4action on the fourK_4fibers; it is preserved, but it is not the full automorphism group. - Static disassembly identifies a file-loaded L-branch surface in
generate_tags_v2andrun_spectral_analysis, distinct from the internalDm3State::initialize / build_dual_merudefault path. No static call from the L-branch callees toDm3State,build_dual_meru, orflatten_dual_verticeswas found. Whether any live task-run actually consumesRegionTags_v2.bin(legacy TAG2) versus only the JSON / current TAG3 writer path is the open R8 question.
exp_r1_r4_campaignoutputs are deterministic up torun_sec, with multiple canonical SHA equivalence classes catalogued across Sessions 6 and 7.exp_k2_scarspromoted KPI outputs are deterministic at fixed configurations across the mirrored Session 8 Phase A equivalence classes.- A5/A6 add cross-cell exact matches for
exp_k2_scarsat--steps 30,35,40, and45. - τ confirms ARM64 cross-platform determinism for
exp_k2_scarson the tested baseline values: RM10 native Android and Apple M1 Android ARM64 emulator emit bit-exactbest_upliftandmax_scar_weightat--steps {20,30,40,45,50}. - The
harmonictask is stochastic in selection but stable in distribution at the tested granularity.
- Not an AI system. No external agency, no general intelligence, no task-neutral cognition.
- Not a transformer-created bistability. H2 was killed; the graph geometry is sovereign.
- Not a tunable resonance computer.
--freqremains a null line on the tested harmonic surface. - Not a C3-asymmetric coupling. Claim γ remains retracted.
- Not a deterministic basin selector. Basin selection is IID at the promoted default surface.
- Not a system with multiple independently confirmed dynamical control
parameters. Confirmed exposed axes are narrow:
--asymmetryfor basin position,--adjfor R1,--tagsfor R2, and--stepsforexp_k2_scarsonly.
- Not a single E-continuum across tasks. Harmonic and holography are distinct regimes.
- Not a universal basin classifier. The Session 4 locked classifier
is valid only on asymmetry within
[−2, +2]. - Not a system whose harmonic basin selection shows a receipted coupling to the tested thermal or power-path interventions.
- Not a system where requesting
--steps > 20on the SY-default gate surface increasesoperational_stepsabove 10. - Not a system where
--sensor-strengthor--sensor-thresholdparameterizeexp_k3_truth_sensor. - Not a system where
--stepsparameterizesresonance_r3. - Not a system where
--steps 1versus--steps 20parameterizesresonance_v2orexp_i2on the tested default surface. - Not a system where every callable task responds to
--steps. - Not a system where parallelizing
dm3_runneryields throughput gain. That line was tested and discarded.
- Not a cognitive, spiritual, or mystical architecture. Sri Yantra, Bhupura, Lotus, Bindu, Om, Aum, and Meru are source vocabulary, not evidence.
- Not a broad “DM3 learns” claim. The promoted positive learning
result is narrow and task-specific to
exp_k2_scarsin the tested step window. - Not a system where
RandomAdj_v1.bin + RegionTags_v2.bin + --steps 20learns onexp_k2_scars. The mirrored Phase A logs showbest_uplift = 0.000000in all three repeats. This is scoped to--steps 20, not a ceiling claim for all RA+v2 settings. - Not a system whose peak
exp_k2_scarsuplift is at--steps 20,30, or40on the mapped baseline surface. A5/A6 move the candidate curve shape to a trimodal sawtooth with local maxima at33,41, and49. - Not a bimodal
exp_k2_scarslearning curve on the mapped baseline 28→50 surface; oldσandσ′wordings are rejected-before-promoted. - Not a system whose σ″ magnitudes are configuration-invariant.
Phase G
G.2shows the trimodal sawtooth shape is preserved across all three cross-controls, but cfg-B (RegionTags_v2) returns substantially weaker peaks (p33 = 0.995vs SY baselinep33 = 1.874) and zeros atp34andp43. The σ″ shape is geometry-independent; the σ″ values are not. - Not a system where fixed-config
exp_k2_scarsKPI output is stochastic on the mirrored Phase A equivalence classes. - Not a generally tunable CLI capability surface. Session 7 adds
narrow sensor-flag decorativeness for
exp_k3_truth_sensorand--stepsdecorativeness forresonance_r3; Session 8 B3 narrows that by showingexp_k3_truth_sensoris--steps-responsive in absolute values and adds scoped--steps-decorative candidates forresonance_v2andexp_i2. - Not a folder for commercial framing.
repo_stage/remains the scientific and receipted language lane.
- Not a complete reconstruction. R1–R7 are static Tier-2 evidence:
parsed fixtures, host-recomputed invariants, and static-disassembly
call-graph identity. R8 (Android argv / file-open / output trace
under live execution) remains
OPEN_TIER3_BLOCKED. Until R8 closes, the reconstruction is not authority-complete. - Not "the binary's runtime graph is
P_95 ☐ K_4." The parsed loaded fixture isP_95 ☐ K_4. Whether the live task actually consumes that fixture, generates an isomorphic graph, or combines fixture loading with runtime mutation is the R8 question. Static evidence favours independent file-load for the L-branch tag/spectral callees, but Tier-3 trace is still required. - Not a "Sri Yantra mystical geometry" claim at graph level. The graph is the Cartesian product of a 95-vertex path and a 4-clique. The geometric/Sri-Yantra vocabulary is source-history, preserved at the construction layer (claim α) and not re-promoted at the reconstruction layer.
- Not "transformer-static and graph-static both reconstructed."
The 192-wide
MicroTransformersurface is identified statically as a separate component but is not the subject of the R1–R7 graph reconstruction. Its interaction with the relaxation dynamics is not reconstructed at this surface. - Not "TAG2 is a live consumed file." The legacy
RegionTags_v2.binis TAG2/version 2; the current binary writer string is TAG3/version 3. Whether any live task consumes the legacy TAG2 file is the open R8 question; static evidence says only that the current writer is TAG3.
- The Session 7 closeout claim set is now
θ, ι, κ, λ, μ, ν, withδ.3visibly weakened. - The strongest public headline is the combination of:
first receipted positive learning (
μ), dynamics-layer substrate null (ι), and closed 2×2 gate cross-control (λ). - The gate-layer substrate-null closeout is carried with an explicit
repo seam: the engineer handover names standalone
S2_pinned / S4_airplane / S6_coredirectories that are not exposed verbatim in this checkout. That mismatch stays visible inREPO_AGENT_FINDINGS.md.
- Phase A is closed under a pure-scientific-learning frame in
docs/restart/DM3_SESSION8_PHASE_A_FINAL_REPORT_20260424.md. - The local mirror includes the A.1/A.2/A.3/A.4 receipt trees and
device_snapshot/bin/run_cell.sh. - The follow-on final report
docs/restart/DM3_SESSION8_PHASE_A5_B3_A6_FINAL_REPORT_20260425.mdcloses 57 additional A5/B3/A6 local per-run receipts. - The promoted Phase A/A5/B3/A6 lines are
ξfixed-config determinism,οsharp overfit cliff localized to49→50, andτARM64 cross-platform determinism. Candidate lines areπscoped dataset invariance,ρRA+v2+steps=20 zero learning,σ″trimodal sawtooth curve shape, andφthree scoped--steps-decorative tasks. - Old
σandσ′curve-shape wordings are rejected-before-promoted and remain visible as process wins, not active claims. - Count seam: the final report and summaries use 55 total-run
accounting, while the local mirror has 52 per-run receipt/log pairs.
The promoted numeric statements use the 52 local per-run logs and the
matching summary hashes; the later A5/B3/A6 chain adds 57 directly
mirrored per-run receipts. See
REPO_AGENT_FINDINGS.md. - The final report documents an airplane-mode deviation: 40 reported Phase A receipts were captured with airplane mode OFF. No receipt is quarantined, and the deviation remains visible.
- Engineering-side admissible finding: the old all-sensor thermal gate
on RM10 is not a trustworthy execution guard because the PMIC sensor
can stay hot long after CPU zones cool. The mirrored harness snapshot
now contains the CPU/GPU-only patched
run_cell.shand the pre-patch backup.
- Phase G v2 launched 2026-04-25 18:25:54 UTC. Master log on device
at
/data/local/tmp/dm3_harness/phase_g_chain.log. PRD atdocs/restart/DM3_PHASE_G_AUGMENTED_PRD_v2_REORDERED_20260425.md. - Closed cells with promoted ledger entries:
G.0PASS (pre-launch gates)G.0.5PASS (folded intoξ; 10/10 bit-exact ats30/s33)G.6PASS (claimχ, path-independence)G.1PASS (claimψ,s56 = 1.970840cycle past cliff, CANDIDATE)G.1.5PARTIAL (multiplicity-7 mechanism candidate, not promoted)G.2PASS (σ″ trimodal sawtooth shape geometry-independent across cfg-A / cfg-B / cfg-C cross-controls; promotes σ″ to CONFIRMED for shape; magnitudes config-dependent, not portable)
- The latest GitHub-resident G.7 pull remains the 2026-04-30 partial
snapshot: 22 immutable in-flight G.7 receipts, cfg-A complete at
15/15, cfg-B partial at 7/15, cfg-C pending at 0/15, and no
outcome.json. - The 2026-05-02 audit note reports that G.7 later closed on-device and G.3 is in flight. Those statuses are evidence handles only here: no G.7 verdict, G.3 class assignment, G.4, G.5, or G.5+ outcome is promoted without the chain-close handover and host-side receipt pull.
- Closed-cell evidence for
G.0.5,G.1, andG.1.5remains mirrored underartifacts/phase_S8_PG_followup_20260429T023308Z/. The 13:01 UTC partial pull underartifacts/phase_S8_PG_followup_20260429T130215Z/supersedes G.2 and G.6 evidence paths. The 08:30 UTC partial pull underartifacts/phase_S8_PG_followup_20260430T082723Z/is the latest G.7 GitHub-resident snapshot. The May 2 audit note is mirrored atdocs/restart/REPO_AGENT_NOTE_PHASE_G_G7_CLOSE_AND_G3_IN_FLIGHT_20260502T1838.md. The next ledger update for Phase G lands when the chain closes and the remaining cell receipts are pulled to host.
- Independent backwards-reconstruction lane:
dm3-runner-reconstruction-2026-04-27/. - Eight pre-registered reconstruction hypotheses
R1..R8atphase_05_falsification_harness/H1_H8_STATIC_PREFLIGHT.md. - R1–R7: PASS_STATIC_TIER2 (or PASS_STATIC_TIER2_DYNAMIC_OPEN for R6).
- R8:
OPEN_TIER3_BLOCKED. Tier-3 closure requires Android argv/openat/write trace under livedm3_runnerexecution and is parked until the live Phase G v2 chain closes. - See
RECONSTRUCTION_TIER2_NOTE.mdfor the full identity card, closed-form spectrum, RegionTags shelling formula, and runtime surface flow. - Until R8 closes, no claim of complete reconstruction is promoted on this surface.
Each session appends or revises lines with an explicit justification and
receipted basis. Removals require a written retraction or weakening that
remains visible in CLAIMS.md.