astra-abse/t113-s3
Allwinner T113-S3 / JLCPCB C5197687: native saved fanout, LCD top, storage right, 127 perimeter exits, 30 decoupling capacitors, connected GND planes; clean DRC and shorts, all 29 vias connected.
- Version
- 1.2.0
- License
- MIT
- Stars
- 0
scripts/verify-cloud.ts
import { auditRoutingSource } from "./audit-routing-source";
import assert from "node:assert/strict";
import { readFile } from "node:fs/promises";
import { runAllChecks } from "@tscircuit/checks";
import { auditFanout } from "./audit";
import { auditConnectivity } from "./connectivity";
import { checkCopperClearance } from "./copper-clearance";
import { circuitHash } from "./circuit-hash";
const report = JSON.parse(await readFile("reports/verification.json", "utf8"));
const json = JSON.parse(await readFile("dist/index/circuit.json", "utf8"));
assert.equal(
report.status,
"PASS",
"Publishing requires a successful full local verification",
);
assert.equal(
circuitHash(json),
report.circuitSha256,
"Cloud artifact differs from the locally verified circuit; rerun the full checks",
);
await auditRoutingSource();
auditFanout(json);
auditConnectivity(json);
assert.deepEqual(await runAllChecks(json), []);
assert.deepEqual(checkCopperClearance(json).violations, []);
console.log(
"PASS: cloud circuit exactly matches the fully checked local artifact; DRC, clearance and ground/via connectivity are clean.",
);