IO Terminal Migration Abort Audit 20260805T182200Z 5A8172E1
- Run timestamp/slug token:
2026-08-05T18:22:00Z / 5a8172e1
- Project:
silicon-yard/xcku5p-2ffvb676i
- Project title:
XCKU5P-2FFVB676I
- Published part UID:
4df57091-77f5-4686-b524-a64180aff8a6
- Outcome: ABORTED / NO MUTATION BY THIS GUARDED RUN
Selection predicate
Exact component property Part Type == Terminal and case-sensitive designator prefix IO_.
Live census and validation gates
- Complete schematic census: 676 components, all reported as Terminal; 0 nets.
- Exact
IO_ population: 280 records, paginated 50/50/50/50/50/30.
- Unique selected designators: 280.
- Pin Number format observed: Excel-style uppercase row letters plus positive numeric column.
- Intended algorithm: normalize letters to Excel rowIndex (
A=1..Z=26, AA=27...), parse positive integer column, reject missing/malformed/non-positive or duplicate normalized coordinates, sort by (rowIndex,column), assign ranks 1..280.
Abort blocker and concurrency evidence
A stable immutable pre-state could not be frozen. While this run was executing, numerous concurrent rewriteComponentProperties commits and project-file create/update/delete/rename operations occurred. The project-file count changed from 1 at preflight to 32 after the guarded worker settled. Recent commits included #02e1ad5b, #beb8a2f0, #c1078fca, #22626a0b, #fb728d40, #faa0add1, #a8eaadde, #06d0589c, and #418a8f72, all terminal property rewrites by another actor. Selected records visibly drifted after the baseline read (for example Pin Group/Section values changed from User I/O to IO, descriptions changed, and orders changed). Therefore the required full 280-record preservation proof and guarded post-state comparison were impossible.
Mutation/reconciliation ledger
- Guarded-run terminal/property writes: 0.
- Guarded-run batches: 0.
- First verification residuals: not applicable; mutation was not started.
- Focused reconciliation retries: 0.
- Final residual certification: not performed because live concurrent drift continued.
Preservation and rank proofs
- Non-target preservation: no mutation by this guarded run.
- Selected non-target-property and suffix preservation: cannot be certified against a stable baseline because of concurrent external rewrites.
- Rank uniqueness/range/order: cannot be certified in the drifting final state.
Samples from gathered live baseline
- Beginning-coordinate sample:
IO_1, Pin Number A9.
- Middle sample: selected records around rows M/N/P were present and validly formatted.
- End-coordinate sample:
IO_L3N_T0L_N5_AD15N_64, Pin Number AF25.
Required completion criteria
- Exactly 280 validated records: census passed, but stable full-record validation/preservation capture was invalidated by drift.
- Only allowed mutations: passed vacuously for this guarded run (0 writes).
- Final required residuals zero: not established.
- Preservation checks: not established.
- Audit durability: subject to immediate list/readback verification below.
This is a new abort audit; it does not claim migration completion.