# 490d C394–C403 reading index and restart guide

**All ten steps are complete. C404 has not been executed.** 24 September 2026.

Read the C403 synthesis and checkpoint first. Use the compact restart kit as the active packet. The continuation archive contains all ten sealed evidence packets and all 30 individual deliverables. Older archives remain selective reference libraries. Current corrections override stale archived next-step instructions.

## Main result

C394–C403 complete. The two primitive source E23→25 Noah comparisons have exact J return arrows at existing Flood pivots, but not P returns. A4096-trial coherent-family census, without529 or prior-PJ preselection, finds12 labelled E/J loops at six coordinate configurations. Two MT configurations also admit P returns and coincide with the lower-full430 common P/J repairs. Their shared G2 Noah source joins the two graphs into three vertices3031,3033,3035 and six operator arrows. Every admitted path fromu tov has affine formF(t)=v+E^e P^p J^j(t−u), with(v−u)/2=p+j−e. The402 paths through six arrows yield78 classes with endpoints retained as part of the classification; an algebraic proof gives the normal form for every finite admitted path. At each source vertex, complete P–E and J–E circuits commute with independent multipliers1750/(3K) and7500/(13K), K529. Individual E/P/J operators do not commute. The original17K branch obtained by+215 translation lacks required E pivots3271/3273. All ten common P/J source edges were checked: exactly the two lower regular edges admit an E return; no cumulative edge does. Across2238 circuit-generator/input trials in373 regular coordinates, only the fixed source point survives each circuit. Reduced denominators prove this for every nonempty positive circuit, excluding a global529-preserving chronology action. Source-table and variant reconstruction confirms all52 labelled record slots across12 loops. Endpoints, variants and scalar ratios are sourced; the new affine path grammar is a derived comparison, not an established prescription in the reviewed source passages. Whole950 biographies and a single physical seasonal action are not preserved. No new source endpoint, pivot, Gear scope or canonical graph edit was introduced.

## Read first

- [490d_C403_Source_E_P_J_Return_Loops_Three_Point_Grammar_and_529_Limits_Synthesis_20260924.md](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C403_Source_E_P_J_Return_Loops_Three_Point_Grammar_and_529_Limits_Synthesis_20260924.md)
- [490d_Mirror_Checkpoint_After_C403_20260924.md](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_Mirror_Checkpoint_After_C403_20260924.md)

## Ten-step locator

| Step | Report | Checkpoint | Evidence |
|---|---|---|---|
|C394 — Primitive E23-to25 edges: P/J and Mirror compatibility|[Report](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C394_Primitive_E23_to25_P_J_and_Mirror_Compatibility_20260924.md)|[Checkpoint](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_Mirror_Checkpoint_After_C394_20260924.md)|[Evidence ZIP](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C394_Evidence_20260924.zip)|
|C395 — E/J endpoint loops, affine fixed points and biography limits|[Report](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C395_E_J_Endpoint_Loops_Affine_Fixed_Points_and_Biography_Limits_20260924.md)|[Checkpoint](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_Mirror_Checkpoint_After_C395_20260924.md)|[Evidence ZIP](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C395_Evidence_20260924.zip)|
|C396 — Complete regular family census of E return loops|[Report](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C396_Regular_Family_Census_of_E_J_and_E_P_J_Return_Loops_20260924.md)|[Checkpoint](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_Mirror_Checkpoint_After_C396_20260924.md)|[Evidence ZIP](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C396_Evidence_20260924.zip)|
|C397 — Commuting affine circuits in the sourced E/P/J loops|[Report](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C397_Commuting_Affine_Circuits_in_Source_E_P_J_Loops_20260924.md)|[Checkpoint](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_Mirror_Checkpoint_After_C397_20260924.md)|[Evidence ZIP](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C397_Evidence_20260924.zip)|
|C398 — Plus215 transport of the E/P/J loop to the17K branch|[Report](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C398_Plus215_Transport_and_Original_17K_Loop_Boundary_20260924.md)|[Checkpoint](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_Mirror_Checkpoint_After_C398_20260924.md)|[Evidence ZIP](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C398_Evidence_20260924.zip)|
|C399 — Complete inverse-E closure test of common P/J source edges|[Report](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C399_Complete_Return_E_Closure_of_Common_P_J_Source_Edges_20260924.md)|[Checkpoint](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_Mirror_Checkpoint_After_C399_20260924.md)|[Evidence ZIP](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C399_Evidence_20260924.zip)|
|C400 — Three-vertex E/P/J source-path normal form|[Report](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C400_Three_Vertex_E_P_J_Source_Path_Normal_Form_20260924.md)|[Checkpoint](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_Mirror_Checkpoint_After_C400_20260924.md)|[Evidence ZIP](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C400_Evidence_20260924.zip)|
|C401 — Circuit source domain and529-lattice obstruction|[Report](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C401_Circuit_Source_Domain_and_529_Lattice_Obstruction_20260924.md)|[Checkpoint](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_Mirror_Checkpoint_After_C401_20260924.md)|[Evidence ZIP](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C401_Evidence_20260924.zip)|
|C402 — Source reconstruction and warrant of the return-loop grammar|[Report](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C402_Source_Reconstruction_and_Warrant_of_Return_Loop_Grammar_20260924.md)|[Checkpoint](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_Mirror_Checkpoint_After_C402_20260924.md)|[Evidence ZIP](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C402_Evidence_20260924.zip)|
|C403 — Source E/P/J return loops, three-point path grammar and limits of 529 transport|[Report](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C403_Source_E_P_J_Return_Loops_Three_Point_Grammar_and_529_Limits_Synthesis_20260924.md)|[Checkpoint](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_Mirror_Checkpoint_After_C403_20260924.md)|[Evidence ZIP](sandbox:/workspace/scratch/2cd312e78692/deliverables/490d_C403_Evidence_20260924.zip)|

## Restart checkpoint

Latest completed C403; C404 is unexecuted and outside this completed authorization. Use the C403 compact restart kit as the active packet; read synthesis/checkpoint then locator. C396 provides the unfiltered six-coordinate/twelve-label E/J loop census; C397 the two complete E/P/J loop graphs and same-center commuting circuits; C398 the absent3271/3273 E pivots on the original17K branch; C399 the complete ten-edge return-pivot closure; C400 the shared-source three-vertex path normal form; C401 the whole-source-domain and529-lattice obstruction; C402 the direct52-slot source reconstruction and warrant limits. The first complete graph has MT Noah3031 and3033, held E Noah3056, J Flood2433 and P Flood2893. The second adds2 to all these coordinates. E returns higher Noah to lower; P and J carry lower to higher. The central3033 is the identical MT G2 record, not a numerical alias. Closed-circuit multipliers are1750/1587 and7500/6877; only the fixed source basepoint remains in the373-coordinate regular menu under any nonempty positive circuit. No global2K/17K-preserving E/P/J action is established. Keep12 source labels distinct from six coordinate configurations, and preserve operator/pivot histories even when their affine maps coincide. LXX moving native CainanON and held theoreticalOFF must be stated per record; SP companion loops use the independent Flood-close boundary. Retain C393 source E/J Noah-to-Shem squares and finite strips, absent transported P pivots, and conditional500/600 to529 equivalence; C383 moving-P/J conditionD230h and17K+4 paired drift; C373 commonP/J source repair; C367 nativeNoah950 translation by19K; C343 Noah-held1058→1150→1250 and C363 source500/600 qualifications. K529,E25/23,P70/69; File02 J300/299 is gap conversion, not Residue Protocol or permission to transform dates globally. Global paired MirrorJanuaryAD1; local junctionJanuaryAD2; no civil yearzero. Regular Gears Noah/Shem/Flood only; no cumulative or upstream Gear. SP minus-one person companions remain local; Flood close is independent. SP primary Noah death retains inclusive/harmonic qualification;500/100 and502/98 remain valid. No added endpoint, phase, fitted anchor, global axis, primer reopening, canonical or graph edit. Corrected LXX8464 supplement is awareness only:1564→1700,2484→2700,920→1000; AD3746/2300 superseded. Original unprefixed reports, Engine reports and C-series are distinct. The earlier incompleteSeptember17 ZIP differs from the later verified intact original. Verification counts, labels, replays and coincident coordinates are not independent historical witnesses. Proposed C404 compares the new return-loop grammar with the already sourced C385–C388 Noah-to-Shem E/J strips, using only existing endpoints, pivots, contexts and phases; it has not been executed.

## Proposed next step — unexecuted

Compare the C400 three-vertex Noah return-loop grammar with the already sourced C385–C388 Noah-to-Shem E/J strips. Test whether the existing vertical E comparisons carry the admitted return paths and circuit normal forms to a source-qualified Shem graph, using only existing endpoints, pivots, chronology contexts and phases. Record any missing pivot or order obstruction. Do not extend Gear scope, add generated source points, or execute a general search.

The current authorization ends at C403. A new instruction is required before C404.

## Verification and access

All 30 individual deliverables were saved incrementally. All ten sealed ZIPs passed CRC, payload hash/size and certificate checks. Fresh isolated replay reproduced 20/20 main DATA/RESULTS outputs and the C403 alternate-method output. 1206 main checks, 207 frozen-input/predecessor authentication checks and 266 alternate-method forced-pivot, integer affine, dynamic-programming and source-reconstruction checks passed. These are verification counts, not independent witnesses; no new independent-agent review is claimed.

The compact kit contains complete C396, C397, C400, C401, C402 and C403 packets: the family census, complete circuits, three-vertex path grammar, whole-source-domain obstruction, direct source reconstruction and final synthesis. It also contains the prior C393 checkpoint/report, C265 reference checkpoint/certificate, and existing C343, C383 and C393 evidence ZIPs as selective references for the older E ladder, common P/J source graphs and Noah-to-Shem E/J strips. C403 freezes DATA, certificates, results and next-step decisions for all nine predecessor steps. File_18 and File_09 are frozen in each packet; File_02, File_46 and File_11 are included in C403. All historical next-step instructions are superseded by the current checkpoint.

Portable main replay: run `python3 C403/evidence/check.py --out replay` from the extracted compact kit; compare DATA.json and RESULTS.json with C403/evidence/. The additional check is `python3 C403/evidence/ROOT_SECOND_METHOD.py --sources C403/sources --out secondary_replay`. The other packets have the same main replay convention and their own README. Python3 standard library only.

The continuation archive contains all evidence ZIPs under `published/`, extracted packets under `steps/`, and completion and sealed-packet integrity records. PACKAGE_MANIFEST.json records every included payload hash and size. The separate completion/integrity JSON records the recovery ZIP checksums.

Actual File_18 and File_09 bytes match their retained hashes; File_02 and File_46 match their C393 frozen source manifest, and File_11 matches its C402 frozen source manifest. The C265 checkpoint is readable and its certificate hash matches the retained control. C-series, original unprefixed reports and Engine reports remain distinct. The earlier incomplete September17 local ZIP was not the later verified intact original. Immediate dependencies remain frozen and accessible.