@tangle-network/sandbox-cli 0.21.23 → 0.21.24

package/dist/graph-viewer/report.js

@@ -0,0 +1,392 @@
+import { recordSchema as e } from "./record.js";
+import { z as t } from "zod";
+//#region src/report.ts
+var n = t.iso.datetime({ offset: !0 }), r = t.url().refine((e) => /^https?:\/\//i.test(e), "Use an HTTP or HTTPS source URL"), i = [
+	"supported",
+	"hypothesis",
+	"unresolved",
+	"refuted"
+], a = t.object({
+	label: t.string().optional(),
+	path: t.string().min(1).optional(),
+	url: r.optional(),
+	sha256: t.string().regex(/^[0-9a-f]{64}$/).optional(),
+	line: t.number().int().positive().optional(),
+	eventId: t.string().min(1).optional(),
+	excerpt: t.string().optional(),
+	asOf: n.optional()
+}).catchall(t.unknown()).refine((e) => e.path || e.url || e.eventId, "Evidence needs a source path, URL, or recorded event"), o = t.object({
+	id: t.string().min(1),
+	statement: t.string().min(1),
+	title: t.string().min(1).optional(),
+	status: t.enum(i),
+	method: t.string().optional(),
+	evidence: t.array(a),
+	limitations: t.array(t.string()).default([])
+}).catchall(t.unknown()).superRefine((e, t) => {
+	(e.status === "supported" || e.status === "refuted") && !e.evidence.length && t.addIssue({
+		code: "custom",
+		path: ["evidence"],
+		message: "A supported or refuted assessment needs evidence"
+	});
+}), s = t.object({
+	id: t.string().min(1),
+	question: t.string(),
+	status: t.enum([
+		"observed",
+		"unavailable",
+		"not_applicable"
+	]),
+	answer: t.string().optional(),
+	evidence: t.array(a),
+	asOf: n.optional(),
+	why: t.string().optional(),
+	record: t.string().optional()
+}).superRefine((e, t) => {
+	e.status === "observed" && !e.evidence.length && t.addIssue({
+		code: "custom",
+		path: ["evidence"],
+		message: "An observed answer needs evidence"
+	});
+}), c = t.object({
+	id: t.string().min(1),
+	kind: t.enum([
+		"check",
+		"negative-finding",
+		"wait",
+		"resources",
+		"next-step",
+		"context"
+	]),
+	title: t.string(),
+	body: t.string(),
+	evidence: t.array(a)
+}), l = t.object({
+	id: t.string().min(1),
+	path: t.string().min(1),
+	title: t.string().min(1),
+	content: t.string(),
+	sha256: t.string().regex(/^[0-9a-f]{64}$/).optional(),
+	kind: t.enum([
+		"knowledge",
+		"report",
+		"code",
+		"data"
+	]).default("knowledge")
+}).catchall(t.unknown()), u = t.object({
+	id: t.string().min(1),
+	label: t.string().min(1),
+	value: t.string().nullable(),
+	unit: t.string().optional(),
+	coverage: t.string().optional(),
+	source: a.optional(),
+	section: t.string().optional(),
+	comparable: t.boolean().nullable().optional(),
+	note: t.string().optional(),
+	why: t.string().optional(),
+	record: t.string().optional()
+}).catchall(t.unknown()), d = t.object({
+	id: t.string().min(1),
+	title: t.string().min(1),
+	summary: t.string().optional()
+}), f = t.object({
+	text: t.string().nullable(),
+	comparable: t.boolean().nullable().optional(),
+	note: t.string().optional(),
+	href: t.string().optional()
+}), p = t.object({
+	id: t.string().min(1),
+	section: t.string().min(1),
+	title: t.string().min(1),
+	columns: t.array(t.string()),
+	rows: t.array(t.array(f)),
+	source: a.optional()
+}), m = t.object({
+	id: t.string().min(1),
+	question: t.string(),
+	state: t.string(),
+	threshold: t.string().optional(),
+	instances: t.array(t.object({
+		sentence: t.string(),
+		value: t.string().nullable().optional(),
+		evidence: t.array(a)
+	}))
+}), h = t.object({
+	field: t.string().min(1),
+	why: t.string(),
+	record: t.string()
+}), g = t.object({
+	id: t.string().min(1),
+	label: t.string().min(1),
+	href: t.string().optional(),
+	ending: t.string().nullable(),
+	reason: t.string().nullable().optional(),
+	wallHours: t.number().nullable(),
+	agentHours: u,
+	hoursByOutcome: t.record(t.string(), t.number()).nullable(),
+	triesByOutcome: t.record(t.string(), t.number()).nullable().optional(),
+	best: t.string().nullable().optional(),
+	cost: t.string().nullable().optional()
+}), _ = t.object({
+	schema: t.literal("agent-research-report.v1"),
+	id: t.string().min(1),
+	title: t.string().min(1),
+	generatedAt: n,
+	summary: t.string(),
+	assessmentBy: t.string().optional(),
+	window: t.object({
+		from: n,
+		to: n,
+		label: t.string().optional()
+	}).optional(),
+	limitations: t.array(t.string()).default([]),
+	freshness: t.object({
+		state: t.enum([
+			"current",
+			"stale",
+			"error"
+		]),
+		checkedAt: n,
+		message: t.string(),
+		lastSuccessfulAt: n.optional()
+	}).optional(),
+	questionCoverage: t.array(s).default([]),
+	plays: t.array(t.object({
+		id: t.string().min(1),
+		title: t.string().min(1),
+		summary: t.string(),
+		updatedAt: n.nullable(),
+		status: t.string().nullable(),
+		claims: t.array(o),
+		limitations: t.array(t.string()).default([]),
+		sources: t.array(a).default([]),
+		observations: t.array(c).default([]),
+		questionCoverage: t.array(s).default([]),
+		record: e.optional(),
+		documents: t.array(l).default([]),
+		metrics: t.array(u).default([]),
+		href: t.string().optional(),
+		verdict: t.object({
+			sentence: t.string(),
+			status: t.string().nullable(),
+			evidence: t.array(a)
+		}).optional(),
+		sections: t.array(d).optional(),
+		tables: t.array(p).optional(),
+		runs: t.array(g).optional(),
+		rules: t.array(m).optional(),
+		unknowns: t.array(h).optional()
+	}).catchall(t.unknown()))
+}).catchall(t.unknown()).superRefine((e, t) => {
+	e.window && Date.parse(e.window.from) >= Date.parse(e.window.to) && t.addIssue({
+		code: "custom",
+		path: ["window"],
+		message: "The report window must end after it starts"
+	}), new Set(e.plays.map((e) => e.id)).size !== e.plays.length && t.addIssue({
+		code: "custom",
+		path: ["plays"],
+		message: "Play IDs must be unique"
+	});
+	for (let [n, r] of e.questionCoverage.entries()) r.evidence.some((e) => e.eventId) && t.addIssue({
+		code: "custom",
+		path: ["questionCoverage", n],
+		message: "Report-wide evidence needs a path or URL; event references belong to one play"
+	});
+	for (let [n, r] of e.plays.entries()) {
+		new Set(r.claims.map((e) => e.id)).size !== r.claims.length && t.addIssue({
+			code: "custom",
+			path: [
+				"plays",
+				n,
+				"claims"
+			],
+			message: "Claim IDs must be unique within a play"
+		});
+		for (let e of ["documents", "metrics"]) new Set(r[e].map((e) => e.id)).size !== r[e].length && t.addIssue({
+			code: "custom",
+			path: [
+				"plays",
+				n,
+				e
+			],
+			message: "IDs must be unique within a section"
+		});
+		new Set(r.documents.map((e) => e.path)).size !== r.documents.length && t.addIssue({
+			code: "custom",
+			path: [
+				"plays",
+				n,
+				"documents"
+			],
+			message: "Document paths must be unique within a play"
+		});
+		let e = new Set(r.record?.events.map((e) => e.id));
+		for (let [i, a] of r.metrics.entries()) a.source?.eventId && !e.has(a.source.eventId) && t.addIssue({
+			code: "custom",
+			path: [
+				"plays",
+				n,
+				"metrics",
+				i,
+				"source",
+				"eventId"
+			],
+			message: "Evidence event must exist in this play record"
+		});
+		for (let i of ["observations", "questionCoverage"]) {
+			new Set(r[i].map((e) => e.id)).size !== r[i].length && t.addIssue({
+				code: "custom",
+				path: [
+					"plays",
+					n,
+					i
+				],
+				message: "IDs must be unique within a section"
+			});
+			for (let [a, o] of r[i].entries()) for (let [r, s] of o.evidence.entries()) s.eventId && !e.has(s.eventId) && t.addIssue({
+				code: "custom",
+				path: [
+					"plays",
+					n,
+					i,
+					a,
+					"evidence",
+					r,
+					"eventId"
+				],
+				message: "Evidence event must exist in this play record"
+			});
+		}
+		for (let [i, a] of r.sources.entries()) a.eventId && !e.has(a.eventId) && t.addIssue({
+			code: "custom",
+			path: [
+				"plays",
+				n,
+				"sources",
+				i,
+				"eventId"
+			],
+			message: "Evidence event must exist in this play record"
+		});
+		for (let [i, a] of r.claims.entries()) for (let [r, o] of a.evidence.entries()) o.eventId && !e.has(o.eventId) && t.addIssue({
+			code: "custom",
+			path: [
+				"plays",
+				n,
+				"claims",
+				i,
+				"evidence",
+				r,
+				"eventId"
+			],
+			message: "Evidence event must exist in this play record"
+		});
+	}
+});
+function v(e) {
+	return _.parse(e);
+}
+function y(e, t, n) {
+	return (n === "all" || e.status === n) && [
+		e.statement,
+		e.method,
+		...e.limitations,
+		...e.evidence.flatMap((e) => [
+			e.label,
+			e.path,
+			e.url,
+			e.excerpt
+		])
+	].filter(Boolean).join("\n").toLowerCase().includes(t.trim().toLowerCase());
+}
+function b(e) {
+	let t = {
+		"\\": "\\textbackslash{}",
+		"{": "\\{",
+		"}": "\\}",
+		$: "\\$",
+		"&": "\\&",
+		"#": "\\#",
+		"%": "\\%",
+		_: "\\_",
+		"~": "\\textasciitilde{}",
+		"^": "\\textasciicircum{}"
+	};
+	return e.replace(/[\\{}$&#%_~^]/g, (e) => t[e]);
+}
+function x(e, t) {
+	let n = t === void 0 ? e.plays : e.plays.filter((e) => e.id === t);
+	if (t !== void 0 && !n.length) throw Error("Unknown play: " + t);
+	let r = (e) => e.split(/(\S{32,})/u).map((e) => /^\S{32,}$/u.test(e) ? Array.from(e).map(b).join("\\allowbreak{}") : b(e)).join(""), i = (e) => r(e) + "\n\n", a = (e) => e.length ? "\\begin{itemize}\n" + e.map((e) => "\\item " + r(e)).join("\n") + "\n\\end{itemize}\n" : "", o = (e) => [
+		e.label,
+		e.path,
+		e.line === void 0 ? "" : "line " + e.line,
+		e.url,
+		e.eventId ? "event " + e.eventId : "",
+		e.sha256 ? "SHA-256 " + e.sha256 : "",
+		e.excerpt ? "Excerpt: " + e.excerpt : ""
+	].filter(Boolean).join(" · "), s = (e) => e.length ? ["\\subsection*{Question coverage}", ...e.flatMap((e) => [
+		i(e.id + " · " + e.status + " · " + e.question),
+		e.answer ? i(e.answer) : "",
+		a(e.evidence.map(o))
+	])].join("\n") : "";
+	return [
+		"\\documentclass[11pt]{article}",
+		"% Compile with LuaLaTeX and the DejaVu fonts (TeX Live dejavu package).",
+		"\\usepackage{fontspec}",
+		"\\setmainfont{DejaVuSans.ttf}[BoldFont=DejaVuSans-Bold.ttf,ItalicFont=DejaVuSans-Oblique.ttf,BoldItalicFont=DejaVuSans-BoldOblique.ttf]",
+		"\\tracinglostchars=3",
+		"\\usepackage[margin=25mm]{geometry}",
+		"\\usepackage{enumitem}",
+		"\\setlist{nosep}",
+		"\\setlength{\\emergencystretch}{3em}",
+		"\\setlength{\\parindent}{0pt}",
+		"\\setlength{\\parskip}{0.4em}",
+		"\\raggedright",
+		"\\title{" + r(t === void 0 ? e.title : n[0].title) + "}",
+		"\\author{\\parbox{0.9\\textwidth}{\\centering " + r(e.assessmentBy ?? "Research report") + "}}",
+		"\\date{" + r(e.generatedAt) + "}",
+		"\\begin{document}",
+		"\\maketitle",
+		i(e.summary),
+		e.window ? i("Observation window: " + (e.window.label ?? "") + " · " + e.window.from + " to " + e.window.to) : "",
+		i("Assessment labels are the report author's judgments, not independent verification."),
+		a(e.limitations),
+		e.freshness ? i("Report freshness: " + e.freshness.state + " · checked " + e.freshness.checkedAt + " · " + e.freshness.message) : "",
+		s(e.questionCoverage),
+		...n.flatMap((e) => [
+			"\\section{" + r(e.title) + "}",
+			i("Play: " + e.id + " · State: " + (e.status ?? "Unknown") + " · Updated: " + (e.updatedAt ?? "Unknown")),
+			i(e.summary),
+			a(e.limitations),
+			...e.metrics.length ? ["\\subsection*{Recorded measurements}", ...e.metrics.flatMap((e) => [
+				i(e.label + ": " + (e.value ?? "Unknown") + (e.value !== null && e.unit ? " " + e.unit : "")),
+				e.coverage ? i(e.coverage) : "",
+				e.source ? a([o(e.source)]) : ""
+			])] : [],
+			...e.documents.length ? [
+				"\\subsection*{Retained documents}",
+				i("Full document contents are retained in the HTML reader and JSON download."),
+				a(e.documents.map((e) => e.title + " · " + e.path + (e.sha256 ? " · SHA-256 " + e.sha256 : " · hash unknown")))
+			] : [],
+			...e.claims.flatMap((e) => [
+				"\\subsection{" + r(e.status + ": " + e.statement) + "}",
+				e.method ? i("Method: " + e.method) : "",
+				a(e.limitations),
+				e.evidence.length ? a(e.evidence.map(o)) : i("No supporting evidence supplied.")
+			]),
+			e.sources.length ? "\\subsection*{Play sources}\n" + a(e.sources.map(o)) : "",
+			...e.observations.flatMap((e) => [
+				"\\subsection*{" + r(e.kind + ": " + e.title) + "}",
+				i(e.body),
+				a(e.evidence.map(o))
+			]),
+			s(e.questionCoverage),
+			i(e.record ? "Trace: " + e.record.runId + ". Capture " + (e.record.coverage.completeOriginalCapture ? "marked complete by producer." : "incomplete or unknown.") + " Cost: " + e.record.coverage.cost : "No event record was supplied. Topology, activity, and cost are unknown.")
+		]),
+		"\\end{document}",
+		""
+	].join("\n");
+}
+//#endregion
+export { y as claimMatches, i as claimStatuses, b as escapeLatex, a as evidenceReferenceSchema, v as parseResearchReport, x as reportToLatex, l as researchDocumentSchema, u as researchMetricSchema, _ as researchReportSchema, m as researchRuleSchema, g as researchRunSchema, d as researchSectionSchema, p as researchTableSchema, h as researchUnknownSchema };

package/dist/graph-viewer/research-publication.js

@@ -0,0 +1,35 @@
+import { parseRecord as e } from "./record.js";
+import { z as t } from "zod";
+//#region src/adapters/research-publication.ts
+var n = t.object({
+	schema: t.literal("research-publication.events.v1"),
+	nodes: t.array(t.object({
+		id: t.string(),
+		label: t.string(),
+		parent: t.string().nullable(),
+		kind: t.enum([
+			"runtime",
+			"native",
+			"finding"
+		]),
+		runtimeNodeId: t.string().optional(),
+		runtimeJoin: t.string().optional()
+	}).catchall(t.unknown()))
+}).catchall(t.unknown());
+function r(t) {
+	let r = n.parse(t);
+	return e({
+		...r,
+		schema: "agent-record.v1",
+		nodes: r.nodes.map((e) => ({
+			...e,
+			kind: e.kind === "runtime" ? "agent" : e.kind === "native" ? "session" : "finding",
+			agentId: e.runtimeNodeId,
+			joinBasis: e.runtimeJoin,
+			...e.kind === "runtime" ? { role: e.parent ? "Worker" : "Director" } : {},
+			...e.label.startsWith("verifier-") ? { assignment: "Verification" } : {}
+		}))
+	});
+}
+//#endregion
+export { r as fromResearchPublication };

package/dist/graph-viewer/run-files-C1NgzM0l.js

@@ -0,0 +1,82 @@
+import { f as e } from "./RunOverview-DJQDAMIx.js";
+import { z as t } from "zod";
+//#region src/workspace/run-files.ts
+var n = {
+	path: t.string(),
+	href: t.string(),
+	bytes: t.number().nonnegative().nullable(),
+	sha256: t.string().regex(/^[a-f0-9]{64}$/).nullable(),
+	kind: t.string(),
+	source: t.enum([
+		"knowledge",
+		"output",
+		"attachment",
+		"submitted result",
+		"receipt"
+	]),
+	objectId: t.string().optional()
+}, r = t.object(n).catchall(t.unknown()), i = r.extend({ alternates: t.array(r).optional() }), a = t.object({
+	schema: t.literal("agent-workspace.run-files.v1"),
+	runId: t.string(),
+	generatedAt: t.string(),
+	version: t.string().regex(/^[a-f0-9]{40}$/).nullable(),
+	scope: t.literal("retained_artifacts"),
+	scopeDetails: t.string(),
+	complete: t.boolean(),
+	state: t.enum([
+		"available",
+		"partial",
+		"unavailable"
+	]),
+	reason: t.string().nullable(),
+	items: t.array(i),
+	history: t.object({
+		state: t.enum(["available", "unavailable"]),
+		reason: t.string().nullable(),
+		complete: t.boolean().optional(),
+		omittedVersions: t.number().nonnegative().nullable().optional(),
+		versions: t.array(t.object({
+			commit: t.string().regex(/^[a-f0-9]{40}$/),
+			label: t.string(),
+			at: t.string().nullable(),
+			subject: t.string()
+		}).catchall(t.unknown()))
+	}).catchall(t.unknown()),
+	source: t.object({
+		runDocumentStale: t.union([t.boolean(), t.object({
+			asOf: t.string().nullable(),
+			refreshing: t.literal(!0)
+		}).catchall(t.unknown())]).optional(),
+		meaning: t.string()
+	}).catchall(t.unknown()),
+	provenanceHref: t.string()
+}).catchall(t.unknown());
+function o(e, t, n, r) {
+	let i = a.parse(e);
+	if (i.runId !== t || i.version !== n) throw Error("The file inventory does not match the requested run and version.");
+	let o = /* @__PURE__ */ new Set();
+	for (let e of i.items) {
+		if (o.has(e.path)) throw Error("The file inventory contains duplicate paths.");
+		o.add(e.path);
+		for (let n of [e, ...e.alternates ?? []]) {
+			if (n.path !== e.path || !n.path || n.path.startsWith("/") || /[\\\u0000-\u001f]/.test(n.path) || n.path.split("/").some((e) => e === ".." || e === "." || !e)) throw Error("The file inventory contains an invalid retained path.");
+			let i = `${r}/runs/${encodeURIComponent(t)}/`, a = "https://agent-workspace.invalid", o = new URL(n.href, a), s = new URL(i, a);
+			if (o.origin !== s.origin || ![
+				"final/",
+				"page/",
+				"artifact/",
+				"receipt/"
+			].some((e) => n.href.startsWith(i + e) && o.pathname.startsWith(s.pathname + e))) throw Error("The file inventory contains a content route outside this run.");
+		}
+	}
+	if (i.provenanceHref !== `/run/${encodeURIComponent(t)}?section=profiles`) throw Error("The file inventory provenance does not match this run.");
+	return i;
+}
+function s(t) {
+	return typeof window > "u" ? null : e(t.href, window.location.href);
+}
+function c(e, t) {
+	return !!(e?.version && e.state === "available" && e.complete && t.source === "knowledge" && t.path.startsWith("pages/") && !e.items.some((e) => e.path === t.path));
+}
+//#endregion
+export { c as n, s as r, o as t };