Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 1 addition & 7 deletions frontend/src/app/api/inflow-lab/[...path]/route.ts
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ const AUTH_SESSION_COOKIE = "__Host-regengine_session";
const ALLOWED_METHODS = new Set(["GET", "POST"]);
const JSON_CONTENT_TYPES = ["application/json", "application/problem+json"];

type BoundaryMode = "simulator" | "mock-export" | "live-export";
type BoundaryMode = "simulator" | "live-export";
type EndpointContract = {
name: "health" | "status" | "records" | "lineage" | "run" | "reset" | "fixture" | "export";
boundary: BoundaryMode;
Expand Down Expand Up @@ -118,12 +118,6 @@ function endpointContract(path: string, method: string): EndpointContract | null
if (method === "POST" && path === "/api/simulate/reset") {
return { name: "reset", boundary: "simulator", stream: false };
}
if (method === "GET" && path === "/api/mock/regengine/export/fda-request") {
return { name: "export", boundary: "mock-export", stream: true };
}
if (method === "GET" && path === "/api/mock/regengine/export/epcis") {
return { name: "export", boundary: "mock-export", stream: true };
}
if (method === "GET" && path === "/api/regengine/export/fda-request") {
return { name: "export", boundary: "live-export", stream: true };
}
Expand Down
10 changes: 5 additions & 5 deletions frontend/src/app/proof/page.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -112,7 +112,7 @@ export default function ProofPage() {
</Link>
</Button>
<Button asChild variant="secondary" size="lg">
<Link href="/sdk/verify_chain.py">Get the verifier</Link>
<a href="/sdk/verify_chain.py" download>Get the verifier</a>
</Button>
</div>
</div>
Expand Down Expand Up @@ -176,9 +176,9 @@ export default function ProofPage() {
<code className="font-mono text-[0.8125rem]">verify_chain.py</code> reads the manifest, recomputes each declared file&apos;s SHA-256, and rebuilds the Merkle root using the same algorithm RegEngine ships in <code className="font-mono text-[0.8125rem]">services/shared/merkle_tree.py</code>. If those values disagree with the included manifest, the script exits non-zero.
</p>
<Button asChild variant="secondary" size="lg" className="mt-6">
<Link href="/sdk/verify_chain.py">
<a href="/sdk/verify_chain.py" download>
<Terminal aria-hidden="true" strokeWidth={1.75} /> Open verify_chain.py
</Link>
</a>
</Button>
</div>
<Transcript title="Three-step verify">
Expand All @@ -204,9 +204,9 @@ export default function ProofPage() {
<code className="font-mono text-[0.8125rem]">audit-bundle-tampered.zip</code> contains a changed CSV while the manifest&apos;s declared hash remains unchanged. Run the verifier against it and watch it exit non-zero. This demonstrates detection of changed file bytes against an unchanged manifest; replacing both the file and manifest is outside this check.
</p>
<Button asChild variant="secondary" size="lg" className="mt-6">
<Link href="/proof/audit-bundle-tampered.zip">
<a href="/proof/audit-bundle-tampered.zip" download>
<Download aria-hidden="true" strokeWidth={1.75} /> Download audit-bundle-tampered.zip
</Link>
</a>
</Button>
</div>
<Transcript title="Tampered output">
Expand Down
Loading
Loading