mirror of
https://github.com/morluto/rea.git
synced 2026-11-07 15:26:25 +00:00
郭立 Guo Li
7590b50801
Construct integer formats directly while preserving bounds, refinements, metadata and current shared schema owners. Keep Incur-dependent CLI numeric coercion declarations unchanged. Verify canonical advertisements, 126 numeric boundary cases, 974 actual CLI parser cases, broad source tests and real public-artifact SDK workflows. Record 72 normal tasks and 12 separate owned-inspector heap diagnostics with whole-family resource bounds; distinguish SDK spans and asymmetric audit overhead. Generate numerical report sections from receipts and reject stale tables through documentation conformance checks. Closes #6236. Current-head CI and Greptile pass; actionable review findings are addressed. Codex review was unavailable due repository usage limits.
46 lines
1.6 KiB
TypeScript
46 lines
1.6 KiB
TypeScript
import { z } from "zod";
|
|
import { digestSchema } from "./digests.js";
|
|
import { absoluteLocalPathStringSchema } from "./localPath.js";
|
|
import { webScriptExportManifestSchema } from "./webScriptExport.js";
|
|
|
|
/** Select one source from an existing captured-script export. */
|
|
export const selectedWebScriptInputSchema = z.strictObject({
|
|
manifest_path: absoluteLocalPathStringSchema.describe(
|
|
"Absolute export_web_scripts manifest path",
|
|
),
|
|
script_index: z.int().min(0).describe("Zero-based index in manifest.scripts"),
|
|
});
|
|
export type SelectedWebScriptInput = z.output<
|
|
typeof selectedWebScriptInputSchema
|
|
>;
|
|
|
|
/** Exact identity of one local file, independently read as bytes. */
|
|
export const webArtifactFileSchema = z.strictObject({
|
|
path: z.string().min(1),
|
|
sha256: digestSchema,
|
|
bytes: z.int().min(0),
|
|
});
|
|
|
|
/** Artifact-port report shared by capture-derived analyses. */
|
|
export const selectedWebScriptArtifactsSchema = z.strictObject({
|
|
manifest: webScriptExportManifestSchema,
|
|
manifestFile: webArtifactFileSchema,
|
|
sourceFile: webArtifactFileSchema,
|
|
source: z.string(),
|
|
});
|
|
export type SelectedWebScriptArtifacts = z.output<
|
|
typeof selectedWebScriptArtifactsSchema
|
|
>;
|
|
|
|
/** Preserve original capture authority and completeness alongside the actual manifest identity. */
|
|
export const capturedWebManifestIdentitySchema = webArtifactFileSchema.extend({
|
|
reported_output_directory: z.string(),
|
|
...webScriptExportManifestSchema.pick({
|
|
capture_path: true,
|
|
capture_sha256: true,
|
|
capture_kind: true,
|
|
capture_completeness: true,
|
|
source_evidence_id: true,
|
|
}).shape,
|
|
});
|