@tea-agent/loop-agent 0.44.0-next.7 → 0.44.0-next.9

package/dist/task/source-prepare/source-provider-budget.js

@@ -0,0 +1,290 @@
+import { completedSourceExecutionSchema } from "./source-execution.js";
+import { currentFrontendSessionIdentity } from "../../workflows/dag/frontend-session-context.js";
+import { sha256OfCanonicalJson } from "../contract/hash.js";
+import { createHash, randomUUID } from "node:crypto";
+import { lstat, mkdir, readdir, rmdir } from "node:fs/promises";
+import path from "node:path";
+import { sourceProviderBudgetSchema as ledgerSchema } from "../../application/evaluation/budget.js";
+import { writeJsonAtomic } from "../../infrastructure/harness/atomic-write.js";
+import { readFileBoundarySafe } from "../../shared/path-safety.js";
+import { getTaskPaths, loadTaskConfig } from "../runtime.js";
+/** Read-only generation snapshot; never create a zero ledger over old receipts. */
+export async function readTaskSourceProviderBudget(input) {
+    const root = path.join(getTaskPaths(input.repoRoot, input.taskId).taskDir, "artifacts");
+    const file = path.join(root, "source-provider-budget.json");
+    const exists = await lstat(file).then(() => true).catch(error => { if (error.code === "ENOENT")
+        return false; throw error; });
+    if (!exists) {
+        const files = await readdir(path.join(root, "session-budget")).catch(error => { if (error.code === "ENOENT")
+            return []; throw error; });
+        if (files.length || input.expectedBudgetId)
+            throw Error("FRONTEND_PROVIDER_BUDGET_INVALID: missing bound source budget");
+        return undefined;
+    }
+    const ledger = ledgerSchema.parse(JSON.parse((await readFileBoundarySafe({ boundaryRoot: root, targetPath: file, label: "source provider budget" })).toString("utf8")));
+    validateBinding(input, ledger);
+    return ledger;
+}
+function validateBinding(input, ledger) {
+    if (ledger.taskId !== input.taskId || ledger.maxProviderRequests !== input.maxProviderRequests || input.expectedBudgetId && ledger.budgetId !== input.expectedBudgetId || input.minimumReservedRequests !== undefined && ledger.reservedRequests < input.minimumReservedRequests)
+        throw Error("FRONTEND_PROVIDER_BUDGET_INVALID: source budget binding changed");
+}
+/** The short filesystem critical section spans read, admission and atomic
+ * persistence. A stale lock is never stolen on an age heuristic. */
+async function transact(input, reserve) {
+    if (!/^[A-Za-z0-9][A-Za-z0-9._-]*$/.test(input.taskId) || !Number.isSafeInteger(input.maxProviderRequests) || input.maxProviderRequests < 1)
+        throw Error("FRONTEND_PROVIDER_BUDGET_INVALID: invalid source budget identity or limit");
+    await loadTaskConfig(input.repoRoot, input.taskId); // never recreate a missing task
+    const root = path.join(getTaskPaths(input.repoRoot, input.taskId).taskDir, "artifacts");
+    const rootStat = await lstat(root);
+    if (!rootStat.isDirectory() || rootStat.isSymbolicLink())
+        throw Error("FRONTEND_PROVIDER_BUDGET_INVALID: source artifact directory is not a real directory");
+    const file = path.join(root, "source-provider-budget.json");
+    const lock = path.join(root, ".source-provider-budget.lock");
+    let held = false;
+    try {
+        for (let attempt = 0; attempt < 100; attempt++) {
+            try {
+                await mkdir(lock);
+                held = true;
+                break;
+            }
+            catch (error) {
+                if (error.code !== "EEXIST")
+                    throw error;
+                await new Promise(resolve => setTimeout(resolve, 10));
+            }
+        }
+        if (!held)
+            throw Error("FRONTEND_PROVIDER_BUDGET_BUSY: source budget lock unavailable");
+        let ledger;
+        try {
+            await lstat(file);
+            ledger = ledgerSchema.parse(JSON.parse((await readFileBoundarySafe({ boundaryRoot: root, targetPath: file, label: "source provider budget" })).toString("utf8")));
+        }
+        catch (error) {
+            if (error.code !== "ENOENT")
+                throw Error(`FRONTEND_PROVIDER_BUDGET_INVALID: ${error instanceof Error ? error.message : String(error)}`);
+            if (input.expectedBudgetId)
+                throw Error("FRONTEND_PROVIDER_BUDGET_INVALID: bound task budget is missing");
+            // Existing attempts cannot be silently imported as zero-cost history.
+            const previous = await readdir(path.join(root, "session-budget")).catch(error => {
+                if (error.code === "ENOENT")
+                    return [];
+                throw error;
+            });
+            if (previous.length)
+                throw Error("FRONTEND_PROVIDER_BUDGET_INVALID: source receipts have no bound budget");
+            ledger = { schemaVersion: 1, taskId: input.taskId, budgetId: randomUUID(), maxProviderRequests: input.maxProviderRequests, reservedRequests: 0 };
+        }
+        validateBinding(input, ledger);
+        if (reserve) {
+            if (ledger.reservedRequests >= ledger.maxProviderRequests)
+                throw Error("FRONTEND_PROVIDER_BUDGET_EXHAUSTED: source request quota reached");
+            const identity = currentFrontendSessionIdentity();
+            if (identity) {
+                if (identity.executionKind !== "model" || identity.taskId && identity.taskId !== input.taskId)
+                    throw Error("FRONTEND_PROVIDER_BUDGET_INVALID: request belongs to another session/task");
+                const key = `${identity.runId ?? "task"}:${identity.sessionId}`;
+                const previous = ledger.requestSessions?.[key];
+                if (previous && sha256OfCanonicalJson(previous.identity) !== sha256OfCanonicalJson(identity))
+                    throw Error("FRONTEND_PROVIDER_BUDGET_INVALID: session identity changed");
+                ledger.requestSessions ??= {};
+                ledger.requestSessions[key] = { identity, reservedRequests: (previous?.reservedRequests ?? 0) + 1 };
+            }
+            ledger.reservedRequests++;
+        }
+        // A failed write grants no admission. A successful reservation is never refunded.
+        await writeJsonAtomic(file, ledger, { repoRoot: input.repoRoot });
+        return ledger;
+    }
+    finally {
+        if (held)
+            await rmdir(lock);
+    }
+}
+export async function reserveTaskSourceProviderRequest(input) {
+    try {
+        await transact(input, true);
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        throw Error(message.startsWith("FRONTEND_PROVIDER_") ? message : `FRONTEND_PROVIDER_BUDGET_PERSIST_FAILED: ${message}`);
+    }
+}
+/** Initialize before the adapter writes its first incomplete session receipt. */
+export async function openTaskSourceProviderBudget(input) {
+    await transact(input, false);
+    return () => reserveTaskSourceProviderRequest(input);
+}
+/** Check the closed set of source sessions registered by durable admission.
+ * Receipt copies deduplicate only when their contents are identical. */
+export function summarizeBoundSourceUsage(ledger, receipts) {
+    ledgerSchema.parse(ledger);
+    const diagnostics = [];
+    const sessions = Object.values(ledger.requestSessions ?? {});
+    const sources = sessions.filter(session => session.identity.runId === null);
+    const unattributedRequests = ledger.reservedRequests - sessions.reduce((sum, session) => sum + session.reservedRequests, 0);
+    if (unattributedRequests)
+        diagnostics.push("unattributed-task-requests");
+    const byId = new Map();
+    for (const receipt of receipts) {
+        if (receipt.identity.runId !== null)
+            continue;
+        const key = receipt.identity.sessionId;
+        const previous = byId.get(key);
+        if (previous && sha256OfCanonicalJson(previous) !== sha256OfCanonicalJson(receipt))
+            diagnostics.push(`conflicting-source-receipt:${key}`);
+        byId.set(key, receipt);
+        if (!sources.some(session => session.identity.sessionId === key))
+            diagnostics.push(`unbound-source-receipt:${key}`);
+    }
+    let totalTokens = 0;
+    for (const session of sources) {
+        const receipt = byId.get(session.identity.sessionId);
+        if (!receipt || session.identity.taskId !== ledger.taskId || !session.identity.sourceDigest || sha256OfCanonicalJson(session.identity) !== sha256OfCanonicalJson(receipt.identity)) {
+            diagnostics.push(`source-session-binding:${session.identity.sessionId}`);
+            continue;
+        }
+        if (receipt.completion !== "complete" || !receipt.terminal || receipt.actual.requestCount !== session.reservedRequests)
+            diagnostics.push(`source-session-incomplete:${session.identity.sessionId}`);
+        const tokens = receipt.actual.totalTokens;
+        if (tokens === null || !Number.isFinite(tokens) || tokens < 0)
+            diagnostics.push(`source-tokens-unknown:${session.identity.sessionId}`);
+        else
+            totalTokens += tokens;
+        if (receipt.attempts.length && (receipt.attempts.some(attempt => attempt.completion !== "complete" || attempt.actual?.requestCount == null || attempt.actual?.totalTokens == null) || receipt.attempts.reduce((sum, attempt) => sum + (attempt.actual?.requestCount ?? 0), 0) !== session.reservedRequests || receipt.attempts.reduce((sum, attempt) => sum + (attempt.actual?.totalTokens ?? 0), 0) !== tokens))
+            diagnostics.push(`source-attempt-usage-mismatch:${session.identity.sessionId}`);
+    }
+    return { complete: diagnostics.length === 0, diagnostics, sourceSessions: sources.length, sourceRequests: sources.reduce((sum, session) => sum + session.reservedRequests, 0), unattributedRequests, totalTokens: diagnostics.length ? null : totalTokens };
+}
+const receiptHash = (bytes) => createHash("sha256").update(bytes).digest("hex");
+/** Freeze actual bytes, not a caller-supplied token total. Concurrent changes
+ * remain diagnostic evidence rather than a cheaper snapshot. */
+export async function freezeTaskSourceUsage(input, ledger) {
+    const root = path.join(getTaskPaths(input.repoRoot, input.taskId).taskDir, "artifacts");
+    const evidence = { receipts: [], executions: [], diagnostics: [] };
+    try {
+        const files = await readdir(path.join(root, "session-budget")).catch(error => { if (error.code === "ENOENT")
+            return []; throw error; });
+        for (const name of files.sort()) {
+            const relative = `session-budget/${name}`;
+            const bytes = await readFileBoundarySafe({ boundaryRoot: root, targetPath: path.join(root, relative), label: "source usage receipt" });
+            evidence.receipts.push({ path: relative, sha256: receiptHash(bytes), content: bytes.toString("utf8") });
+        }
+        const executionIds = new Set(Object.values(ledger.requestSessions ?? {}).filter(row => row.identity.runId === null).map(row => row.identity.sourceExecutionId).filter((id) => !!id));
+        for (const id of [...executionIds].sort()) {
+            const relative = `source-executions/${id}.json`;
+            const bytes = await readFileBoundarySafe({ boundaryRoot: root, targetPath: path.join(root, relative), label: "source execution" });
+            evidence.executions.push({ path: relative, sha256: receiptHash(bytes), content: bytes.toString("utf8") });
+        }
+        for (const ref of [...evidence.receipts, ...evidence.executions]) {
+            const bytes = await readFileBoundarySafe({ boundaryRoot: root, targetPath: path.join(root, ref.path), label: "source usage receipt" });
+            if (receiptHash(bytes) !== ref.sha256)
+                throw Error("source-receipt-changed-during-freeze");
+        }
+        const after = await readTaskSourceProviderBudget(input);
+        if (sha256OfCanonicalJson(after ?? null) !== sha256OfCanonicalJson(ledger))
+            throw Error("source-ledger-changed-during-freeze");
+    }
+    catch (error) {
+        evidence.diagnostics.push(error instanceof Error ? error.message : String(error));
+    }
+    return evidence;
+}
+export function summarizeFrozenSourceUsage(binding) {
+    const diagnostics = [...(binding.evidence?.diagnostics ?? [])];
+    const receipts = [];
+    if (!binding.evidence)
+        diagnostics.push("missing-frozen-source-evidence");
+    for (const ref of binding.evidence?.receipts ?? []) {
+        try {
+            if (!/^session-budget\/[^/\\]+\.json$/.test(ref.path) || receiptHash(ref.content) !== ref.sha256)
+                throw Error("source-receipt-hash-or-path");
+            const receipt = JSON.parse(ref.content);
+            if (receipt.schemaVersion !== 2 || receipt.policyVersion !== "frontend-session-observation-v2" || !receipt.identity || receipt.identity.runId !== null || !receipt.actual || !Array.isArray(receipt.attempts) || !Number.isFinite(Date.parse(receipt.startedAt)) || !receipt.finishedAt || Date.parse(receipt.finishedAt) < Date.parse(receipt.startedAt) || !Number.isFinite(Date.parse(receipt.finishedAt)))
+                throw Error("invalid-source-receipt");
+            receipts.push(receipt);
+        }
+        catch {
+            diagnostics.push(`invalid-frozen-source-receipt:${ref.path}`);
+        }
+    }
+    const executions = new Map();
+    const required = new Set(Object.values(binding.ledger.requestSessions ?? {}).filter(row => row.identity.runId === null).map(row => row.identity.sourceExecutionId).filter((id) => !!id));
+    for (const ref of binding.evidence?.executions ?? []) {
+        try {
+            if (receiptHash(ref.content) !== ref.sha256)
+                throw Error("execution hash");
+            const execution = completedSourceExecutionSchema.parse(JSON.parse(ref.content));
+            if (ref.path !== `source-executions/${execution.executionId}.json` || execution.taskId !== binding.ledger.taskId || !required.has(execution.executionId) || executions.has(execution.executionId))
+                throw Error("execution identity");
+            executions.set(execution.executionId, execution);
+        }
+        catch {
+            diagnostics.push(`invalid-source-execution:${ref.path}`);
+        }
+    }
+    for (const id of required)
+        if (!executions.has(id))
+            diagnostics.push(`missing-source-execution:${id}`);
+    for (const receipt of receipts) {
+        const id = receipt.identity.sourceExecutionId;
+        if (!id) {
+            diagnostics.push(`unregistered-source-execution:${receipt.identity.sessionId}`);
+            continue;
+        }
+        const execution = executions.get(id);
+        if (!execution || Date.parse(receipt.startedAt) < Date.parse(execution.startedAt) || Date.parse(receipt.finishedAt) > Date.parse(execution.finishedAt) || (execution.phase === "semantic-intake") !== (receipt.identity.phase === "semantic-intake"))
+            diagnostics.push(`source-execution-session-mismatch:${receipt.identity.sessionId}`);
+    }
+    const relation = (snapshot) => {
+        if (!binding.contract)
+            return "unbound";
+        if (snapshot.revision === null && snapshot.canonicalHash === null && snapshot.observedCanonicalHash === null)
+            return "pre-contract";
+        if (snapshot.revision === null || snapshot.canonicalHash === null || snapshot.observedCanonicalHash !== snapshot.canonicalHash)
+            return "conflict";
+        if (snapshot.revision > binding.contract.revision)
+            return "future-revision";
+        if (snapshot.revision < binding.contract.revision)
+            return "prior-revision";
+        return snapshot.canonicalHash === binding.contract.canonicalHash ? "current" : "conflict";
+    };
+    const executionContracts = [...executions.values()].map(execution => ({ executionId: execution.executionId, before: relation(execution.beforeContract), after: relation(execution.afterContract) }));
+    for (const row of executionContracts)
+        if ([row.before, row.after].some(value => ["unbound", "conflict", "future-revision"].includes(value)))
+            diagnostics.push(`source-execution-contract:${row.executionId}`);
+    try {
+        const usage = summarizeBoundSourceUsage(binding.ledger, receipts);
+        diagnostics.push(...usage.diagnostics);
+        // Non-source requests in a task-lifetime ledger have not been priced by
+        // this source-only proof. Keep their existing unknown-cost marker.
+        if (binding.ledger.reservedRequests !== usage.sourceRequests)
+            diagnostics.push("non-source-task-cost-unproven");
+        return { ...usage, executionContracts, complete: diagnostics.length === 0, diagnostics, totalTokens: diagnostics.length ? null : usage.totalTokens };
+    }
+    catch {
+        return { executionContracts, complete: false, diagnostics: [...diagnostics, "invalid-source-usage"], sourceSessions: null, sourceRequests: null, unattributedRequests: null, totalTokens: null };
+    }
+}
+/** Evaluation checks the original files against the frozen generation bytes.
+ * It never reads today's task ledger as yesterday's cost. */
+export async function verifyFrozenSourceUsage(repoRoot, binding) {
+    const summary = summarizeFrozenSourceUsage(binding);
+    const diagnostics = [...summary.diagnostics];
+    const root = path.join(getTaskPaths(repoRoot, binding.ledger.taskId).taskDir, "artifacts");
+    for (const ref of [...(binding.evidence?.receipts ?? []), ...(binding.evidence?.executions ?? [])]) {
+        try {
+            if (!/^(?:session-budget|source-executions)\/[^/\\]+\.json$/.test(ref.path))
+                throw Error("invalid path");
+            const bytes = await readFileBoundarySafe({ boundaryRoot: root, targetPath: path.join(root, ref.path), label: "frozen source usage" });
+            if (receiptHash(bytes) !== ref.sha256)
+                throw Error("changed receipt");
+        }
+        catch {
+            diagnostics.push(`source-evidence-missing-or-changed:${ref.path}`);
+        }
+    }
+    return { ...summary, complete: diagnostics.length === 0, diagnostics, totalTokens: diagnostics.length ? null : summary.totalTokens };
+}

package/dist/worker/console/operator-actions.js

@@ -2789,7 +2789,6 @@ export async function dispatchOperatorAction(ctx, req) {
                     reconcileAction,
                     "--reason",
                     reason,
-                    "--json",
                 ],
             });
             await finalizeMutationGateReceipt(ctx, gated.receiptId, accepted);

package/dist/worker/console/operator-user-error.js

@@ -114,7 +114,7 @@ const CONTEXT_TRANSFER_CODE_COPY = [
     },
     {
         pattern: /\bOPERATION_NEEDS_RECONCILE\b/,
-        copy: "当前操作的执行结果尚未确认，需要先核对（OPERATION_NEEDS_RECONCILE）。请查看操作记录和相关任务状态，核对实际执行结果后再决定后续操作；确认前请勿重复提交。",
+        copy: "当前操作的执行结果尚未确认，需要先核对（OPERATION_NEEDS_RECONCILE）。请查看操作记录和相关任务状态，核对实际执行结果后再决定后续操作；确认前请勿重复提交。"
     },
     {
         pattern: /\bCONTEXT_EXPORT_FAILED\b/,

package/dist/worker/console/prd-intake-bridge.js

@@ -1,3 +1,4 @@
+import { capabilityBoundarySchema } from "../../task/config-types.js";
 /**
  * Console PRD Intake Bridge (design 2026-08-11-console-prd-intake-bridge).
  * Maps task-side intake artifacts / projected source into Console DraftStore
@@ -119,20 +120,9 @@ export function parseEngineeringBoundaryFromParams(p) {
     };
     const allowedPaths = asList(p.allowedPaths ?? p.allowedPath);
     const forbiddenPaths = asList(p.forbiddenPaths ?? p.forbiddenPath);
-    const capabilityBoundaryRaw = p.capabilityBoundary;
-    const capabilityBoundary = capabilityBoundaryRaw && typeof capabilityBoundaryRaw === "object" && !Array.isArray(capabilityBoundaryRaw)
-        ? {
-            allowed: Array.isArray(capabilityBoundaryRaw.allowed)
-                ? capabilityBoundaryRaw.allowed.filter((x) => typeof x === "string" && x.trim().length > 0)
-                : undefined,
-            forbidden: Array.isArray(capabilityBoundaryRaw.forbidden)
-                ? capabilityBoundaryRaw.forbidden.filter((x) => typeof x === "string" && x.trim().length > 0)
-                : undefined,
-            requiredClauses: Array.isArray(capabilityBoundaryRaw.requiredClauses)
-                ? capabilityBoundaryRaw.requiredClauses.filter((x) => typeof x === "string" && x.trim().length > 0)
-                : undefined,
-        }
-        : undefined;
+    const capabilityBoundary = p.capabilityBoundary === undefined
+        ? undefined
+        : capabilityBoundarySchema.parse(p.capabilityBoundary);
     const interactionIds = asList(p.interactionIds ?? p.interactionId);
     const requirementOwnership = Array.isArray(p.requirementOwnership)
         ? p.requirementOwnership
@@ -206,7 +196,7 @@ export function parseEngineeringBoundaryFromParams(p) {
         ...(forbiddenPaths.length > 0 ? { forbiddenPaths } : {}),
         ...(verifyCommands.length > 0 ? { verifyCommands } : {}),
         ...(requirementOwnership?.length ? { requirementOwnership } : {}),
-        ...(capabilityBoundary && ((capabilityBoundary.allowed?.length ?? 0) + (capabilityBoundary.forbidden?.length ?? 0)) > 0
+        ...(capabilityBoundary
             ? { capabilityBoundary }
             : {}),
         ...(interactionIds.length > 0 ? { interactionIds } : {}),

package/dist/worker/console/static/assets/{abnfDiagram-N423BO3Z-DTuku_-7.js → abnfDiagram-N423BO3Z-r1NAPU_5.js}

@@ -1 +1 @@
-import{g as p,r as u,d as a}from"./chunk-6Q2QTUOP-Caso6uN7.js";import{p as f}from"./chunk-JWPE2WC7-DiMqZQ_8.js";import{_ as n,l as o}from"./mermaid.core-DF6mMPJ9.js";import{M as c,b as d}from"./cynefin-VYW2F7L2-C-NKFflx.js";import"./index-DWKejNVJ.js";var v=d().RailroadAbnf.parser.LangiumParser,i=n(e=>{const r=e.alternatives.map(g);return r.length===1?r[0]:{type:"choice",alternatives:r}},"transformAlternation"),g=n(e=>{const r=e.elements.map(y);return r.length===1?r[0]:{type:"sequence",elements:r}},"transformConcatenation"),b=n(e=>{if(e.includes("*")){const[t,s]=e.split("*"),l=t?parseInt(t,10):0,m=s?parseInt(s,10):1/0;return{min:l,max:m}}const r=parseInt(e,10);return{min:r,max:r}},"parseRepeat"),y=n(e=>{const r=A(e.primary);if(!e.repeat)return r;const{min:t,max:s}=b(e.repeat);return t===0&&s===1?{type:"optional",element:r}:{type:"repetition",element:r,min:t,max:s}},"transformElement"),A=n(e=>{switch(e.$type){case"AbnfStringLiteral":return{type:"terminal",value:e.value};case"AbnfNumVal":return{type:"terminal",value:e.value};case"AbnfRuleName":return{type:"nonterminal",name:e.name};case"AbnfGroup":return i(e.element);case"AbnfOptionalGroup":return{type:"optional",element:i(e.element)};default:throw new Error(`Unsupported ABNF primary node: ${e.$type}`)}},"transformPrimary"),P=n(e=>({name:e.name,definition:i(e.definition)}),"transformRule"),h=n(e=>{f(e,a),e.title&&a.setTitle(e.title),e.rules.map(r=>a.addRule(P(r)))},"populateDb"),R={parse:n(e=>{a.clear(),o.debug("[ABNF Parser] Starting Langium parse");const r=v.parse(e);if(r.lexerErrors.length>0||r.parserErrors.length>0)throw new c(r);const t=r.value;o.debug("[ABNF Parser] Parsed rules:",t.rules.length),h(t),o.debug("[ABNF Parser] Parse complete")},"parse"),parser:{yy:a}},B={parser:R,db:a,renderer:u,styles:p};export{B as diagram};
+import{g as p,r as u,d as a}from"./chunk-6Q2QTUOP-DfzjRD5y.js";import{p as f}from"./chunk-JWPE2WC7-C3sQMMYr.js";import{_ as n,l as o}from"./mermaid.core-4P9yPC9c.js";import{M as c,b as d}from"./cynefin-VYW2F7L2-DktIuDWs.js";import"./index-CTMZsDmh.js";var v=d().RailroadAbnf.parser.LangiumParser,i=n(e=>{const r=e.alternatives.map(g);return r.length===1?r[0]:{type:"choice",alternatives:r}},"transformAlternation"),g=n(e=>{const r=e.elements.map(y);return r.length===1?r[0]:{type:"sequence",elements:r}},"transformConcatenation"),b=n(e=>{if(e.includes("*")){const[t,s]=e.split("*"),l=t?parseInt(t,10):0,m=s?parseInt(s,10):1/0;return{min:l,max:m}}const r=parseInt(e,10);return{min:r,max:r}},"parseRepeat"),y=n(e=>{const r=A(e.primary);if(!e.repeat)return r;const{min:t,max:s}=b(e.repeat);return t===0&&s===1?{type:"optional",element:r}:{type:"repetition",element:r,min:t,max:s}},"transformElement"),A=n(e=>{switch(e.$type){case"AbnfStringLiteral":return{type:"terminal",value:e.value};case"AbnfNumVal":return{type:"terminal",value:e.value};case"AbnfRuleName":return{type:"nonterminal",name:e.name};case"AbnfGroup":return i(e.element);case"AbnfOptionalGroup":return{type:"optional",element:i(e.element)};default:throw new Error(`Unsupported ABNF primary node: ${e.$type}`)}},"transformPrimary"),P=n(e=>({name:e.name,definition:i(e.definition)}),"transformRule"),h=n(e=>{f(e,a),e.title&&a.setTitle(e.title),e.rules.map(r=>a.addRule(P(r)))},"populateDb"),R={parse:n(e=>{a.clear(),o.debug("[ABNF Parser] Starting Langium parse");const r=v.parse(e);if(r.lexerErrors.length>0||r.parserErrors.length>0)throw new c(r);const t=r.value;o.debug("[ABNF Parser] Parsed rules:",t.rules.length),h(t),o.debug("[ABNF Parser] Parse complete")},"parse"),parser:{yy:a}},B={parser:R,db:a,renderer:u,styles:p};export{B as diagram};

package/dist/worker/console/static/assets/{arc-CQbCsSqb.js → arc-dT5T4sVL.js}

@@ -1 +1 @@
-import{Y as ln,$ as an,a0 as F,a1 as q,a2 as j,a3 as un,a4 as y,a5 as tn,a6 as J,a7 as _,a8 as rn,a9 as o,aa as on,ab as sn,ac as fn}from"./mermaid.core-DF6mMPJ9.js";function cn(l){return l.innerRadius}function yn(l){return l.outerRadius}function gn(l){return l.startAngle}function dn(l){return l.endAngle}function mn(l){return l&&l.padAngle}function pn(l,h,I,D,v,A,z,a){var O=I-l,i=D-h,n=z-v,d=a-A,u=d*O-n*i;if(!(u*u<y))return u=(n*(h-A)-d*(l-v))/u,[l+u*O,h+u*i]}function U(l,h,I,D,v,A,z){var a=l-I,O=h-D,i=(z?A:-A)/J(a*a+O*O),n=i*O,d=-i*a,u=l+n,s=h+d,f=I+n,c=D+d,B=(u+f)/2,t=(s+c)/2,m=f-u,g=c-s,R=m*m+g*g,T=v-A,P=u*c-f*s,S=(g<0?-1:1)*J(on(0,T*T*R-P*P)),Y=(P*g-m*S)/R,$=(-P*m-g*S)/R,w=(P*g+m*S)/R,p=(-P*m+g*S)/R,x=Y-B,e=$-t,r=w-B,C=p-t;return x*x+e*e>r*r+C*C&&(Y=w,$=p),{cx:Y,cy:$,x01:-n,y01:-d,x11:Y*(v/T-1),y11:$*(v/T-1)}}function hn(){var l=cn,h=yn,I=j(0),D=null,v=gn,A=dn,z=mn,a=null,O=ln(i);function i(){var n,d,u=+l.apply(this,arguments),s=+h.apply(this,arguments),f=v.apply(this,arguments)-un,c=A.apply(this,arguments)-un,B=rn(c-f),t=c>f;if(a||(a=n=O()),s<u&&(d=s,s=u,u=d),!(s>y))a.moveTo(0,0);else if(B>tn-y)a.moveTo(s*F(f),s*q(f)),a.arc(0,0,s,f,c,!t),u>y&&(a.moveTo(u*F(c),u*q(c)),a.arc(0,0,u,c,f,t));else{var m=f,g=c,R=f,T=c,P=B,S=B,Y=z.apply(this,arguments)/2,$=Y>y&&(D?+D.apply(this,arguments):J(u*u+s*s)),w=_(rn(s-u)/2,+I.apply(this,arguments)),p=w,x=w,e,r;if($>y){var C=sn($/u*q(Y)),K=sn($/s*q(Y));(P-=C*2)>y?(C*=t?1:-1,R+=C,T-=C):(P=0,R=T=(f+c)/2),(S-=K*2)>y?(K*=t?1:-1,m+=K,g-=K):(S=0,m=g=(f+c)/2)}var G=s*F(m),H=s*q(m),L=u*F(T),M=u*q(T);if(w>y){var N=s*F(g),Q=s*q(g),V=u*F(R),W=u*q(R),E;if(B<an)if(E=pn(G,H,V,W,N,Q,L,M)){var X=G-E[0],Z=H-E[1],b=N-E[0],k=Q-E[1],nn=1/q(fn((X*b+Z*k)/(J(X*X+Z*Z)*J(b*b+k*k)))/2),en=J(E[0]*E[0]+E[1]*E[1]);p=_(w,(u-en)/(nn-1)),x=_(w,(s-en)/(nn+1))}else p=x=0}S>y?x>y?(e=U(V,W,G,H,s,x,t),r=U(N,Q,L,M,s,x,t),a.moveTo(e.cx+e.x01,e.cy+e.y01),x<w?a.arc(e.cx,e.cy,x,o(e.y01,e.x01),o(r.y01,r.x01),!t):(a.arc(e.cx,e.cy,x,o(e.y01,e.x01),o(e.y11,e.x11),!t),a.arc(0,0,s,o(e.cy+e.y11,e.cx+e.x11),o(r.cy+r.y11,r.cx+r.x11),!t),a.arc(r.cx,r.cy,x,o(r.y11,r.x11),o(r.y01,r.x01),!t))):(a.moveTo(G,H),a.arc(0,0,s,m,g,!t)):a.moveTo(G,H),!(u>y)||!(P>y)?a.lineTo(L,M):p>y?(e=U(L,M,N,Q,u,-p,t),r=U(G,H,V,W,u,-p,t),a.lineTo(e.cx+e.x01,e.cy+e.y01),p<w?a.arc(e.cx,e.cy,p,o(e.y01,e.x01),o(r.y01,r.x01),!t):(a.arc(e.cx,e.cy,p,o(e.y01,e.x01),o(e.y11,e.x11),!t),a.arc(0,0,u,o(e.cy+e.y11,e.cx+e.x11),o(r.cy+r.y11,r.cx+r.x11),t),a.arc(r.cx,r.cy,p,o(r.y11,r.x11),o(r.y01,r.x01),!t))):a.arc(0,0,u,T,R,t)}if(a.closePath(),n)return a=null,n+""||null}return i.centroid=function(){var n=(+l.apply(this,arguments)+ +h.apply(this,arguments))/2,d=(+v.apply(this,arguments)+ +A.apply(this,arguments))/2-an/2;return[F(d)*n,q(d)*n]},i.innerRadius=function(n){return arguments.length?(l=typeof n=="function"?n:j(+n),i):l},i.outerRadius=function(n){return arguments.length?(h=typeof n=="function"?n:j(+n),i):h},i.cornerRadius=function(n){return arguments.length?(I=typeof n=="function"?n:j(+n),i):I},i.padRadius=function(n){return arguments.length?(D=n==null?null:typeof n=="function"?n:j(+n),i):D},i.startAngle=function(n){return arguments.length?(v=typeof n=="function"?n:j(+n),i):v},i.endAngle=function(n){return arguments.length?(A=typeof n=="function"?n:j(+n),i):A},i.padAngle=function(n){return arguments.length?(z=typeof n=="function"?n:j(+n),i):z},i.context=function(n){return arguments.length?(a=n??null,i):a},i}export{hn as d};
+import{Y as ln,$ as an,a0 as F,a1 as q,a2 as j,a3 as un,a4 as y,a5 as tn,a6 as J,a7 as _,a8 as rn,a9 as o,aa as on,ab as sn,ac as fn}from"./mermaid.core-4P9yPC9c.js";function cn(l){return l.innerRadius}function yn(l){return l.outerRadius}function gn(l){return l.startAngle}function dn(l){return l.endAngle}function mn(l){return l&&l.padAngle}function pn(l,h,I,D,v,A,z,a){var O=I-l,i=D-h,n=z-v,d=a-A,u=d*O-n*i;if(!(u*u<y))return u=(n*(h-A)-d*(l-v))/u,[l+u*O,h+u*i]}function U(l,h,I,D,v,A,z){var a=l-I,O=h-D,i=(z?A:-A)/J(a*a+O*O),n=i*O,d=-i*a,u=l+n,s=h+d,f=I+n,c=D+d,B=(u+f)/2,t=(s+c)/2,m=f-u,g=c-s,R=m*m+g*g,T=v-A,P=u*c-f*s,S=(g<0?-1:1)*J(on(0,T*T*R-P*P)),Y=(P*g-m*S)/R,$=(-P*m-g*S)/R,w=(P*g+m*S)/R,p=(-P*m+g*S)/R,x=Y-B,e=$-t,r=w-B,C=p-t;return x*x+e*e>r*r+C*C&&(Y=w,$=p),{cx:Y,cy:$,x01:-n,y01:-d,x11:Y*(v/T-1),y11:$*(v/T-1)}}function hn(){var l=cn,h=yn,I=j(0),D=null,v=gn,A=dn,z=mn,a=null,O=ln(i);function i(){var n,d,u=+l.apply(this,arguments),s=+h.apply(this,arguments),f=v.apply(this,arguments)-un,c=A.apply(this,arguments)-un,B=rn(c-f),t=c>f;if(a||(a=n=O()),s<u&&(d=s,s=u,u=d),!(s>y))a.moveTo(0,0);else if(B>tn-y)a.moveTo(s*F(f),s*q(f)),a.arc(0,0,s,f,c,!t),u>y&&(a.moveTo(u*F(c),u*q(c)),a.arc(0,0,u,c,f,t));else{var m=f,g=c,R=f,T=c,P=B,S=B,Y=z.apply(this,arguments)/2,$=Y>y&&(D?+D.apply(this,arguments):J(u*u+s*s)),w=_(rn(s-u)/2,+I.apply(this,arguments)),p=w,x=w,e,r;if($>y){var C=sn($/u*q(Y)),K=sn($/s*q(Y));(P-=C*2)>y?(C*=t?1:-1,R+=C,T-=C):(P=0,R=T=(f+c)/2),(S-=K*2)>y?(K*=t?1:-1,m+=K,g-=K):(S=0,m=g=(f+c)/2)}var G=s*F(m),H=s*q(m),L=u*F(T),M=u*q(T);if(w>y){var N=s*F(g),Q=s*q(g),V=u*F(R),W=u*q(R),E;if(B<an)if(E=pn(G,H,V,W,N,Q,L,M)){var X=G-E[0],Z=H-E[1],b=N-E[0],k=Q-E[1],nn=1/q(fn((X*b+Z*k)/(J(X*X+Z*Z)*J(b*b+k*k)))/2),en=J(E[0]*E[0]+E[1]*E[1]);p=_(w,(u-en)/(nn-1)),x=_(w,(s-en)/(nn+1))}else p=x=0}S>y?x>y?(e=U(V,W,G,H,s,x,t),r=U(N,Q,L,M,s,x,t),a.moveTo(e.cx+e.x01,e.cy+e.y01),x<w?a.arc(e.cx,e.cy,x,o(e.y01,e.x01),o(r.y01,r.x01),!t):(a.arc(e.cx,e.cy,x,o(e.y01,e.x01),o(e.y11,e.x11),!t),a.arc(0,0,s,o(e.cy+e.y11,e.cx+e.x11),o(r.cy+r.y11,r.cx+r.x11),!t),a.arc(r.cx,r.cy,x,o(r.y11,r.x11),o(r.y01,r.x01),!t))):(a.moveTo(G,H),a.arc(0,0,s,m,g,!t)):a.moveTo(G,H),!(u>y)||!(P>y)?a.lineTo(L,M):p>y?(e=U(L,M,N,Q,u,-p,t),r=U(G,H,V,W,u,-p,t),a.lineTo(e.cx+e.x01,e.cy+e.y01),p<w?a.arc(e.cx,e.cy,p,o(e.y01,e.x01),o(r.y01,r.x01),!t):(a.arc(e.cx,e.cy,p,o(e.y01,e.x01),o(e.y11,e.x11),!t),a.arc(0,0,u,o(e.cy+e.y11,e.cx+e.x11),o(r.cy+r.y11,r.cx+r.x11),t),a.arc(r.cx,r.cy,p,o(r.y11,r.x11),o(r.y01,r.x01),!t))):a.arc(0,0,u,T,R,t)}if(a.closePath(),n)return a=null,n+""||null}return i.centroid=function(){var n=(+l.apply(this,arguments)+ +h.apply(this,arguments))/2,d=(+v.apply(this,arguments)+ +A.apply(this,arguments))/2-an/2;return[F(d)*n,q(d)*n]},i.innerRadius=function(n){return arguments.length?(l=typeof n=="function"?n:j(+n),i):l},i.outerRadius=function(n){return arguments.length?(h=typeof n=="function"?n:j(+n),i):h},i.cornerRadius=function(n){return arguments.length?(I=typeof n=="function"?n:j(+n),i):I},i.padRadius=function(n){return arguments.length?(D=n==null?null:typeof n=="function"?n:j(+n),i):D},i.startAngle=function(n){return arguments.length?(v=typeof n=="function"?n:j(+n),i):v},i.endAngle=function(n){return arguments.length?(A=typeof n=="function"?n:j(+n),i):A},i.padAngle=function(n){return arguments.length?(z=typeof n=="function"?n:j(+n),i):z},i.context=function(n){return arguments.length?(a=n??null,i):a},i}export{hn as d};