@vextlabs/theron-agent-sdk 0.3.0 → 0.3.1

package/dist/index.d.cts

@@ -1,10 +1,10 @@
-export { Agent, AgentConfig, AgentInstruction, AgentResult } from './agent/index.cjs';
-export { Council, CouncilConfig, CouncilOutput, Reconciler } from './council/index.cjs';
+export { Agent, AgentConfig, AgentInstruction, AgentResult, MarkdownAgentType, loadAllMarkdownAgents, loadMarkdownAgents, parseMarkdownAgent, subAgentToolName } from './agent/index.cjs';
+export { ClaimExtractor, Council, CouncilConfig, CouncilOutput, Reconciler, sentenceClaimExtractor } from './council/index.cjs';
 export { Session, SessionConfig, SessionEvent } from './session/index.cjs';
 export { InMemoryStore, Memory, MemoryQuery, MemoryRecord } from './memory/index.cjs';
 export { Tool, ToolContext, ToolSchema, defineTool } from './tools/index.cjs';
 export { Verifier, VerifierIssue, VerifierKernels, VerifierResult, defineVerifier } from './verifiers/index.cjs';
-export { ModelAdapter, Runner, RunnerConfig, RunnerEvent } from './runtime/index.cjs';
+export { CloudExecOptions, CloudExecResult, CloudSession, CloudSessionProvider, LocalCloudSession, LocalCloudSessionProvider, ModelAdapter, RunOptions, Runner, RunnerConfig, RunnerEvent } from './runtime/index.cjs';
 export { MCPClient, McpServerConfig, McpTool, collectMcpTools } from './mcp/index.cjs';
 export { TheronAdapterOptions, theron, theronAdapter } from './adapters/theron.cjs';
 export { InMemoryReceiptSink, Receipt, ReceiptEmitter, ReceiptEmitterConfig, ReceiptInput, ReceiptSigner, ReceiptSink, fileReceiptSink, httpReceiptSink } from './receipts/index.cjs';
@@ -12,6 +12,31 @@ export { BoundWorkingSetResult, ChatMessage, CompactHistoryOptions, CompactHisto
 export { BestOfNOptions, BestOfNResult, ChainOfVerificationOptions, ChainOfVerificationResult, MeasureLiftOptions, MeasureLiftResult, MixtureOfAgentsOptions, MixtureOfAgentsResult, ReflexionOptions, ReflexionResult, SelfConsistencyOptions, SelfConsistencyResult, SelfRefineOptions, SelfRefineResult, TreeOfThoughtsOptions, TreeOfThoughtsResult, bestOfN, chainOfVerification, measureLift, mixtureOfAgents, reflexion, selfConsistency, selfRefine, treeOfThoughts } from './patterns/index.cjs';
 export { z as zod } from 'zod';
 
+interface MarkdownSkill {
+    /** Slug used to invoke the skill (/<name>). Lowercased, kebab. */
+    name: string;
+    /** One-line summary the model uses to decide relevance. */
+    description: string;
+    /** The instruction pack — the Markdown body after the frontmatter. */
+    body: string;
+    /** Optional tool allowlist surfaced while the skill is active. */
+    allowedTools?: string[];
+    /** Optional per-skill model override. */
+    model?: string;
+    /** Source file path (for diagnostics / "where did this come from"). */
+    source: string;
+}
+/** Parse one SKILL.md file. Returns null if it lacks frontmatter or a body. */
+declare function parseMarkdownSkill(filename: string, content: string): MarkdownSkill | null;
+/** Load all SKILL.md files from a directory. Never throws. */
+declare function loadMarkdownSkills(dir: string): Promise<MarkdownSkill[]>;
+/**
+ * Load skills from both global (~/.theron/skills) and project-local
+ * (<project>/.theron/skills) directories. Project-local wins on name
+ * collisions. Never throws.
+ */
+declare function loadAllMarkdownSkills(projectDir?: string): Promise<MarkdownSkill[]>;
+
 /** OpenAI-compatible function tool definition (same shape as Anthropic via the `tools` field). */
 interface LocalToolDef {
     type: "function";
@@ -55,6 +80,40 @@ declare const MUTATING_LOCAL_TOOLS: ReadonlySet<string>;
  */
 declare function buildLocalToolSchemas(descriptions: Record<string, string>): LocalToolDef[];
 
-declare const VERSION = "0.3.0";
+type ReasoningTier = "arithmetic" | "cas_algebra" | "smt_z3" | "lean4_proof" | "test_suite" | "source_presence";
+interface ReasoningCertificate {
+    /** The oracle class. Each is a different execution class from the model. */
+    tier: ReasoningTier;
+    /** What to re-run to check this, e.g. "js_runtime" | "z3:4.13" | "lean4:4.9". */
+    oracle_id: string;
+    oracle_version: string;
+    /** sha256 of the canonical claim text fed to the oracle (binds the cert to the claim). */
+    claim_input_hash: string;
+    verdict: "PASS" | "FAIL" | "ABSTAIN";
+    verdict_detail: string;
+    /** What this cert PROVES. */
+    certifies: string;
+    /** MANDATORY — what this cert does NOT prove. Prevents over-reading the badge. */
+    does_not_certify: string;
+    oracle_ts: number;
+}
+/**
+ * Certify the arithmetic claims in `text` via JS re-computation (Tier 0, $0, sound).
+ * Returns PASS only if every "A op B = C" in the text re-computes; FAIL if any is
+ * wrong; ABSTAIN when there is NO arithmetic claim to check (never PASS prose).
+ */
+declare function certifyArithmetic(text: string): Promise<ReasoningCertificate>;
+/**
+ * Offline, vendor-independent re-check. Re-runs the SAME deterministic oracle on the
+ * claim text and confirms it reproduces the certificate's verdict AND that the claim
+ * text matches `claim_input_hash`. Anyone can run this with zero trust in Vext —
+ * that neutrality (verifier ≠ vendor) is the whole point.
+ */
+declare function verifyReasoningCertificate(cert: ReasoningCertificate, claimText: string): Promise<{
+    ok: boolean;
+    reasons: string[];
+}>;
+
+declare const VERSION = "0.3.1";
 
-export { LOCAL_TOOL_NAMES, LOCAL_TOOL_PARAMETERS, type LocalToolDef, MUTATING_LOCAL_TOOLS, VERSION, buildLocalToolSchemas };
+export { LOCAL_TOOL_NAMES, LOCAL_TOOL_PARAMETERS, type LocalToolDef, MUTATING_LOCAL_TOOLS, type MarkdownSkill, type ReasoningCertificate, type ReasoningTier, VERSION, buildLocalToolSchemas, certifyArithmetic, loadAllMarkdownSkills, loadMarkdownSkills, parseMarkdownSkill, verifyReasoningCertificate };

package/dist/index.d.ts

@@ -1,10 +1,10 @@
-export { Agent, AgentConfig, AgentInstruction, AgentResult } from './agent/index.js';
-export { Council, CouncilConfig, CouncilOutput, Reconciler } from './council/index.js';
+export { Agent, AgentConfig, AgentInstruction, AgentResult, MarkdownAgentType, loadAllMarkdownAgents, loadMarkdownAgents, parseMarkdownAgent, subAgentToolName } from './agent/index.js';
+export { ClaimExtractor, Council, CouncilConfig, CouncilOutput, Reconciler, sentenceClaimExtractor } from './council/index.js';
 export { Session, SessionConfig, SessionEvent } from './session/index.js';
 export { InMemoryStore, Memory, MemoryQuery, MemoryRecord } from './memory/index.js';
 export { Tool, ToolContext, ToolSchema, defineTool } from './tools/index.js';
 export { Verifier, VerifierIssue, VerifierKernels, VerifierResult, defineVerifier } from './verifiers/index.js';
-export { ModelAdapter, Runner, RunnerConfig, RunnerEvent } from './runtime/index.js';
+export { CloudExecOptions, CloudExecResult, CloudSession, CloudSessionProvider, LocalCloudSession, LocalCloudSessionProvider, ModelAdapter, RunOptions, Runner, RunnerConfig, RunnerEvent } from './runtime/index.js';
 export { MCPClient, McpServerConfig, McpTool, collectMcpTools } from './mcp/index.js';
 export { TheronAdapterOptions, theron, theronAdapter } from './adapters/theron.js';
 export { InMemoryReceiptSink, Receipt, ReceiptEmitter, ReceiptEmitterConfig, ReceiptInput, ReceiptSigner, ReceiptSink, fileReceiptSink, httpReceiptSink } from './receipts/index.js';
@@ -12,6 +12,31 @@ export { BoundWorkingSetResult, ChatMessage, CompactHistoryOptions, CompactHisto
 export { BestOfNOptions, BestOfNResult, ChainOfVerificationOptions, ChainOfVerificationResult, MeasureLiftOptions, MeasureLiftResult, MixtureOfAgentsOptions, MixtureOfAgentsResult, ReflexionOptions, ReflexionResult, SelfConsistencyOptions, SelfConsistencyResult, SelfRefineOptions, SelfRefineResult, TreeOfThoughtsOptions, TreeOfThoughtsResult, bestOfN, chainOfVerification, measureLift, mixtureOfAgents, reflexion, selfConsistency, selfRefine, treeOfThoughts } from './patterns/index.js';
 export { z as zod } from 'zod';
 
+interface MarkdownSkill {
+    /** Slug used to invoke the skill (/<name>). Lowercased, kebab. */
+    name: string;
+    /** One-line summary the model uses to decide relevance. */
+    description: string;
+    /** The instruction pack — the Markdown body after the frontmatter. */
+    body: string;
+    /** Optional tool allowlist surfaced while the skill is active. */
+    allowedTools?: string[];
+    /** Optional per-skill model override. */
+    model?: string;
+    /** Source file path (for diagnostics / "where did this come from"). */
+    source: string;
+}
+/** Parse one SKILL.md file. Returns null if it lacks frontmatter or a body. */
+declare function parseMarkdownSkill(filename: string, content: string): MarkdownSkill | null;
+/** Load all SKILL.md files from a directory. Never throws. */
+declare function loadMarkdownSkills(dir: string): Promise<MarkdownSkill[]>;
+/**
+ * Load skills from both global (~/.theron/skills) and project-local
+ * (<project>/.theron/skills) directories. Project-local wins on name
+ * collisions. Never throws.
+ */
+declare function loadAllMarkdownSkills(projectDir?: string): Promise<MarkdownSkill[]>;
+
 /** OpenAI-compatible function tool definition (same shape as Anthropic via the `tools` field). */
 interface LocalToolDef {
     type: "function";
@@ -55,6 +80,40 @@ declare const MUTATING_LOCAL_TOOLS: ReadonlySet<string>;
  */
 declare function buildLocalToolSchemas(descriptions: Record<string, string>): LocalToolDef[];
 
-declare const VERSION = "0.3.0";
+type ReasoningTier = "arithmetic" | "cas_algebra" | "smt_z3" | "lean4_proof" | "test_suite" | "source_presence";
+interface ReasoningCertificate {
+    /** The oracle class. Each is a different execution class from the model. */
+    tier: ReasoningTier;
+    /** What to re-run to check this, e.g. "js_runtime" | "z3:4.13" | "lean4:4.9". */
+    oracle_id: string;
+    oracle_version: string;
+    /** sha256 of the canonical claim text fed to the oracle (binds the cert to the claim). */
+    claim_input_hash: string;
+    verdict: "PASS" | "FAIL" | "ABSTAIN";
+    verdict_detail: string;
+    /** What this cert PROVES. */
+    certifies: string;
+    /** MANDATORY — what this cert does NOT prove. Prevents over-reading the badge. */
+    does_not_certify: string;
+    oracle_ts: number;
+}
+/**
+ * Certify the arithmetic claims in `text` via JS re-computation (Tier 0, $0, sound).
+ * Returns PASS only if every "A op B = C" in the text re-computes; FAIL if any is
+ * wrong; ABSTAIN when there is NO arithmetic claim to check (never PASS prose).
+ */
+declare function certifyArithmetic(text: string): Promise<ReasoningCertificate>;
+/**
+ * Offline, vendor-independent re-check. Re-runs the SAME deterministic oracle on the
+ * claim text and confirms it reproduces the certificate's verdict AND that the claim
+ * text matches `claim_input_hash`. Anyone can run this with zero trust in Vext —
+ * that neutrality (verifier ≠ vendor) is the whole point.
+ */
+declare function verifyReasoningCertificate(cert: ReasoningCertificate, claimText: string): Promise<{
+    ok: boolean;
+    reasons: string[];
+}>;
+
+declare const VERSION = "0.3.1";
 
-export { LOCAL_TOOL_NAMES, LOCAL_TOOL_PARAMETERS, type LocalToolDef, MUTATING_LOCAL_TOOLS, VERSION, buildLocalToolSchemas };
+export { LOCAL_TOOL_NAMES, LOCAL_TOOL_PARAMETERS, type LocalToolDef, MUTATING_LOCAL_TOOLS, type MarkdownSkill, type ReasoningCertificate, type ReasoningTier, VERSION, buildLocalToolSchemas, certifyArithmetic, loadAllMarkdownSkills, loadMarkdownSkills, parseMarkdownSkill, verifyReasoningCertificate };