skrypt-ai 0.8.0 → 0.8.1

package/dist/claims/reporter.js

@@ -0,0 +1,65 @@
+const GREEN = '\x1b[32m';
+const YELLOW = '\x1b[33m';
+const DIM = '\x1b[2m';
+const BOLD = '\x1b[1m';
+const RESET = '\x1b[0m';
+/**
+ * Print claims report to terminal
+ */
+export function printClaimsReport(claims) {
+    console.log(`\n${BOLD}Semantic Claims Report${RESET}\n`);
+    // Group by type
+    const byType = new Map();
+    for (const c of claims) {
+        if (!byType.has(c.type))
+            byType.set(c.type, []);
+        byType.get(c.type).push(c);
+    }
+    // Type breakdown
+    console.log(`  ${BOLD}Claims by Type${RESET}`);
+    for (const [type, typeClaims] of byType) {
+        console.log(`    ${type.padEnd(20)} ${typeClaims.length}`);
+    }
+    console.log('');
+    // Testability
+    const testable = claims.filter(c => c.testable);
+    const untestable = claims.filter(c => !c.testable);
+    console.log(`  Testable: ${GREEN}${testable.length}${RESET} | Untestable: ${DIM}${untestable.length}${RESET}`);
+    console.log('');
+    // Group by source file
+    const byFile = new Map();
+    for (const c of claims) {
+        const key = c.source.file;
+        if (!byFile.has(key))
+            byFile.set(key, []);
+        byFile.get(key).push(c);
+    }
+    console.log(`  ${BOLD}Claims by File${RESET}`);
+    for (const [file, fileClaims] of byFile) {
+        const shortPath = file.length > 50 ? '...' + file.slice(-47) : file;
+        console.log(`    ${shortPath.padEnd(52)} ${fileClaims.length} claims`);
+    }
+    console.log('');
+    // Sample claims (first 5 testable)
+    const samples = testable.slice(0, 5);
+    if (samples.length > 0) {
+        console.log(`  ${BOLD}Sample Claims${RESET}`);
+        for (const c of samples) {
+            console.log(`    ${YELLOW}[${c.type}]${RESET} "${c.text.slice(0, 80)}${c.text.length > 80 ? '...' : ''}"`);
+            console.log(`      ${DIM}confidence: ${(c.confidence * 100).toFixed(0)}% | ${c.source.section}${RESET}`);
+            if (c.suggestedTest) {
+                const testPreview = c.suggestedTest.split('\n')[0].slice(0, 60);
+                console.log(`      ${DIM}test: ${testPreview}...${RESET}`);
+            }
+            console.log('');
+        }
+    }
+    // Summary
+    console.log(`${BOLD}  Total: ${claims.length} claims extracted (${testable.length} testable)${RESET}\n`);
+}
+/**
+ * Format claims as JSON
+ */
+export function formatClaimsJson(claims) {
+    return JSON.stringify({ claims, total: claims.length, testable: claims.filter(c => c.testable).length }, null, 2);
+}

package/dist/claims/store.d.ts

@@ -0,0 +1,13 @@
+import { Claim, ClaimsFile } from './types.js';
+/**
+ * Read claims from the store
+ */
+export declare function readClaims(projectDir: string): ClaimsFile | null;
+/**
+ * Write claims to the store
+ */
+export declare function writeClaims(projectDir: string, claims: Claim[]): void;
+/**
+ * Merge new claims with existing, deduplicating by ID
+ */
+export declare function mergeClaims(existing: Claim[], newClaims: Claim[]): Claim[];

package/dist/claims/store.js

@@ -0,0 +1,51 @@
+import { readFileSync, writeFileSync, existsSync, mkdirSync } from 'fs';
+import { join, dirname } from 'path';
+const CLAIMS_PATH = '.skrypt/claims.json';
+/**
+ * Read claims from the store
+ */
+export function readClaims(projectDir) {
+    const filePath = join(projectDir, CLAIMS_PATH);
+    if (!existsSync(filePath))
+        return null;
+    try {
+        const content = readFileSync(filePath, 'utf-8');
+        return JSON.parse(content);
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Write claims to the store
+ */
+export function writeClaims(projectDir, claims) {
+    const filePath = join(projectDir, CLAIMS_PATH);
+    mkdirSync(dirname(filePath), { recursive: true });
+    const file = {
+        version: 1,
+        extractedAt: new Date().toISOString(),
+        claims: dedup(claims),
+    };
+    writeFileSync(filePath, JSON.stringify(file, null, 2));
+}
+/**
+ * Merge new claims with existing, deduplicating by ID
+ */
+export function mergeClaims(existing, newClaims) {
+    const byId = new Map();
+    for (const c of existing)
+        byId.set(c.id, c);
+    for (const c of newClaims)
+        byId.set(c.id, c); // new claims override
+    return [...byId.values()];
+}
+function dedup(claims) {
+    const seen = new Set();
+    return claims.filter(c => {
+        if (seen.has(c.id))
+            return false;
+        seen.add(c.id);
+        return true;
+    });
+}

package/dist/claims/types.d.ts

@@ -0,0 +1,34 @@
+/**
+ * A testable claim extracted from documentation
+ */
+export interface Claim {
+    id: string;
+    type: 'behavioral' | 'constraint' | 'integration' | 'performance' | 'error_handling';
+    text: string;
+    source: {
+        file: string;
+        section: string;
+        line: number;
+    };
+    confidence: number;
+    testable: boolean;
+    suggestedTest?: string;
+    status: 'extracted' | 'verified' | 'failed' | 'untestable';
+}
+/**
+ * Claims store file (.skrypt/claims.json)
+ */
+export interface ClaimsFile {
+    version: 1;
+    extractedAt: string;
+    claims: Claim[];
+}
+/**
+ * Options for claim extraction
+ */
+export interface ClaimOptions {
+    file?: string;
+    type?: Claim['type'];
+    json?: boolean;
+    verify?: boolean;
+}

package/dist/claims/types.js

@@ -0,0 +1 @@
+export {};