lazycodex-ai 5.1.44 → 5.1.46

package/packages/shared-skills/skills/ulw-research/scripts/rational.test.ts

@@ -0,0 +1,46 @@
+import { describe, expect, test } from "bun:test"
+
+import { add, div, eq, fromDecimal, mul, sigFigsOf, sub, toDecimal } from "./rational.mjs"
+
+describe("rational", () => {
+	test("keeps every digit of a long decimal through multiplication", () => {
+		const product = mul(fromDecimal("10000000000000000.1"), fromDecimal("3"))
+		expect(toDecimal(product)).toBe("30000000000000000.3")
+	})
+
+	test("rounds a recurring quotient to the requested significant figures", () => {
+		expect(toDecimal(div(fromDecimal("1"), fromDecimal("3")), 3)).toBe("0.333")
+		expect(toDecimal(div(fromDecimal("2"), fromDecimal("3")), 2)).toBe("0.67")
+		expect(toDecimal(fromDecimal("319999"), 2)).toBe("320000")
+		expect(toDecimal(fromDecimal("-2.5"), 1)).toBe("-3")
+	})
+
+	test("refuses an exact decimal for a recurring value", () => {
+		expect(() => toDecimal(div(fromDecimal("1"), fromDecimal("3")))).toThrow(RangeError)
+	})
+
+	test("add, sub and eq work on reduced fractions", () => {
+		const third = div(fromDecimal("1"), fromDecimal("3"))
+		expect(eq(add(third, add(third, third)), fromDecimal("1"))).toBe(true)
+		expect(toDecimal(sub(fromDecimal("0.3"), fromDecimal("0.1")))).toBe("0.2")
+		expect(eq(fromDecimal("1.50"), fromDecimal("1.5"))).toBe(true)
+		expect(eq(fromDecimal("1.5"), fromDecimal("1.6"))).toBe(false)
+	})
+
+	test("never routes values through floating point", () => {
+		const r = fromDecimal("0.1")
+		expect(typeof r.num).toBe("bigint")
+		expect(typeof r.den).toBe("bigint")
+		expect(() => fromDecimal("1e3")).toThrow()
+		expect(() => div(fromDecimal("1"), fromDecimal("0"))).toThrow(RangeError)
+	})
+
+	test("counts significant figures: decimals from the first nonzero digit, integers every digit", () => {
+		expect(sigFigsOf("3.2")).toBe(2)
+		expect(sigFigsOf("0.050")).toBe(2)
+		expect(sigFigsOf("320")).toBe(3)
+		expect(sigFigsOf("100")).toBe(3)
+		expect(sigFigsOf("20")).toBe(2)
+		expect(sigFigsOf("-1.0")).toBe(2)
+	})
+})

package/packages/shared-skills/skills/ulw-research/scripts/report-tools-commands.mjs

@@ -5,7 +5,7 @@ import { existsSync, readFileSync, statSync, writeFileSync } from "node:fs"
 import { dirname, join, resolve } from "node:path"
 
 import { CliError, parseArgs, readJsonFile, writeJsonAtomic } from "./cli-support.mjs"
-import { REPAIR_DEFAULTS } from "./contracts.mjs"
+import { GATE_NAMES, GATE_STATUSES, REPAIR_DEFAULTS } from "./contracts.mjs"
 import { parseLineageMode, parsePalette, renderDesignSpec } from "./design-spec.mjs"
 import { extractFromHtml, extractFromPath, fetchHtml } from "./format-extract.mjs"
 import { checkLayout } from "./gates-layout.mjs"
@@ -80,12 +80,16 @@ export function runLayoutProbe(argv) {
 }
 
 export function runRepairDecide(argv) {
-	const args = parseArgs(argv)
+	const args = parseArgs(argv, { repeatable: ["defects"] })
 	const statePath = args.required("state")
 	const now = nowFrom(args.flags)
-	const defectsInput = readJsonFile(args.required("defects"))
-	const defects = Array.isArray(defectsInput) ? defectsInput : defectsInput.defects
-	if (!Array.isArray(defects)) throw new CliError("--defects must be a JSON array or a check result with a defects array")
+	// Every --defects file (check result, fidelity record, or bare array) joins one defect list.
+	const defects = args.required("defects").flatMap((path) => {
+		const input = readJsonFile(path)
+		const list = Array.isArray(input) ? input : input.defects
+		if (!Array.isArray(list)) throw new CliError(`--defects ${path} must be a JSON array or a check result with a defects array`)
+		return list
+	})
 	const state = existsSync(statePath)
 		? deserializeState(readText(statePath))
 		: createTracker({
@@ -122,7 +126,7 @@ function manifestPath(flags) {
 	return join(sessionDirFrom(flags), outcome.MANIFEST_FILENAME)
 }
 
-export function runOutcome(argv) {
+export async function runOutcome(argv) {
 	const [sub, ...rest] = argv
 	const args = parseArgs(rest, { booleans: ["json"] })
 	const file = sub === "state" ? null : manifestPath(args.flags)
@@ -135,7 +139,7 @@ export function runOutcome(argv) {
 		}
 		case "set": {
 			const [format, status] = args.positionals
-			if (!format || !status) throw new CliError("usage: outcome set <format> <status> [--path p] [--reason r] [--pages n]")
+			if (!format || !status) throw new CliError("usage: outcome set <format> <status> [--path p] [--reason r] [--pages n] [--verified-by fidelity-defects.json] [--rendered-from source]")
 			const manifest = outcome.readManifest(file)
 			const detail = {}
 			if (args.flags.path !== undefined) {
@@ -144,13 +148,14 @@ export function runOutcome(argv) {
 			}
 			if (args.flags.reason !== undefined) detail.reason = args.flags.reason
 			if (args.flags.pages !== undefined) detail.pages = args.int("pages")
+			for (const [flag, key] of [["verified-by", "verifiedBy"], ["rendered-from", "renderedFrom"]]) if (args.flags[flag] !== undefined) detail[key] = resolve(args.flags[flag])
 			outcome.writeManifest(file, outcome.setDeliverable(manifest, format, status, { ...detail, now: nowFrom(args.flags) }))
 			return { json: { command: "outcome set", format, status }, exitCode: 0 }
 		}
 		case "gate": {
 			const [gate, status] = args.positionals
-			if (!gate || !status) throw new CliError("usage: outcome gate <static|layout|visual|proofread> <pass|fail|not_run>")
-			outcome.writeManifest(file, outcome.setGate(outcome.readManifest(file), gate, status))
+			if (!gate || !status) throw new CliError(`usage: outcome gate <${GATE_NAMES.join("|")}> <${GATE_STATUSES.join("|")}>`)
+			outcome.writeManifest(file, outcome.setGate(outcome.readManifest(file), gate, status, { reason: args.flags.reason, now: nowFrom(args.flags) }))
 			return { json: { command: "outcome gate", gate, status }, exitCode: 0 }
 		}
 		case "render": {
@@ -169,11 +174,17 @@ export function runOutcome(argv) {
 			return { json: { command: "outcome state", state }, summary: `state: ${state}`, exitCode: 0 }
 		}
 		case "verify": {
-			const result = outcome.verifyManifest(outcome.readManifest(file))
+			const manifest = outcome.readManifest(file)
+			const base = outcome.verifyManifest(manifest)
+			const { fidelityProblems } = await import("./fidelity-records.mjs")
+			const problems = [...base.problems, ...fidelityProblems(sessionDirFrom(args.flags), manifest)]
+			const result = { ok: problems.length === 0, problems }
 			return { json: { command: "outcome verify", ...result }, summary: `verify: ${result.ok ? "OK" : `${result.problems.length} problem(s)`}`, exitCode: result.ok ? 0 : 1 }
 		}
 		case "finish": {
 			const manifest = outcome.readManifest(file)
+			const refused = (await import("./fidelity-records.mjs")).fidelityProblems(sessionDirFrom(args.flags), manifest)
+			if (refused.length > 0) return { json: { command: "outcome finish", refused: true, problems: refused }, summary: `finish: refused (${refused.map((p) => p.code).join(", ")})`, exitCode: 1 }
 			const ledgerPath = args.flags.ledger ?? join(sessionDirFrom(args.flags), "sources-ledger.md")
 			const now = nowFrom(args.flags)
 			const facts = outcome.briefingFacts(manifest, existsSync(ledgerPath) ? readText(ledgerPath) : "", now)

package/packages/shared-skills/skills/ulw-research/scripts/report-tools.mjs

@@ -20,6 +20,15 @@ export const COMMANDS = Object.freeze([
 	"outcome finish",
 	"outcome briefing",
 	"format-extract",
+	"fact add",
+	"fact quote",
+	"fact retract",
+	"fact export",
+	"fact fill",
+	"fact verify",
+	"fact derive",
+	"source snapshot",
+	"claims index",
 ])
 
 export async function run(argv) {
@@ -36,6 +45,12 @@ export async function run(argv) {
 			return runOutcome(rest)
 		case "format-extract":
 			return runFormatExtract(rest)
+		case "fact":
+			return (await import("./fact-commands.mjs")).runFact(rest)
+		case "source":
+			return (await import("./source-commands.mjs")).runSource(rest)
+		case "claims":
+			return (await import("./source-commands.mjs")).runClaims(rest)
 		case "--help":
 		case "help":
 			if (rest.includes("--json")) return { json: { commands: COMMANDS }, exitCode: 0 }