Quint Code Files

Added

• MCP Server Architecture:
• This release introduces the MCP (Model Context Protocol) server as the core of Quint Code, replacing the previous prompt-only approach. The server provides structured tools for AI assistants to interact with the FPF knowledge base.
• The MCP server has been restructured into cmd and internal packages for better organization and maintainability.
• New Commands:
• /q-audit: Visualize assurance tree with R-scores.
• /q-decay: Calculate epistemic debt from expired evidence.
• Command Updates:
• /q-actualize: Reconcile the knowledge base with recent code changes. This command has been updated for better performance and accuracy.
• Renamed Commands:
• /q2-check is now /q2-verify.
• /q3-research and /q3-test are consolidated into /q3-validate.
• /q1-add has been added for manually adding hypotheses.
• SQLite Database (quint.db):
• The project now uses SQLite for deterministic FPF, ensuring consistency and reproducibility.
• holons table now includes scope, kind, and cached_r_score columns to support advanced FPF features.
• evidence table now includes a valid_until column for evidence decay tracking.
• relations table now includes a congruence_level column for WLNK calculation.
• Trust & Assurance Calculator (B.3):
• Implemented the FPF B.3 standard for calculating trust and assurance.
• Weakest Link (WLNK): R-score is now capped by the lowest-scoring dependency in the evidence chain.
• Congruence Penalty: Low-congruence relations between artifacts now reduce the overall reliability score.
• Evidence Decay: Expired evidence, as determined by the valid_until field, now penalizes the R-score, introducing the concept of "epistemic debt."
• Cycle Detection: The calculator now detects and flags circular dependencies in the evidence graph.
• Typed Reasoning (Kind-CAL):
• Hypotheses are now classified by kind as either system (for code and architecture) or episteme (for knowledge and theory).
• Validation logic now branches based on the hypothesis kind, allowing for more targeted and relevant analysis.
• Characteristic Space (C.16):
• Success metrics are now defined upfront, before testing, as part of the Characteristic Space.
• These metrics are measured during the induction phase (/q3-validate).
• The results are recorded in the Design Rationale Record (DRR) for full traceability.
• CI/CD:
• A new GitHub Actions workflow has been added to automate the build and release process.
• Testing:
• Added integration tests for the assurance calculator to ensure correctness and stability.
• Error Handling:
• Improved error handling to surface previously-silent errors with warnings.

Changed

• Project Directory: Renamed from .fpf to .quint. Migration: run /q-actualize to migrate, then delete .fpf.
• Multi-platform Support:
• Installer now supports Claude Code, Cursor, Gemini CLI, and Codex CLI.
• Commands are now sourced from src/commands/ and built to platform-specific formats in dist/.

Removed

• Redundant Agents: Removed legacy standalone agent files for a cleaner codebase.