diff --git a/.decapod/governance/plan.json b/.decapod/governance/plan.json deleted file mode 100644 index 0a395f7..0000000 --- a/.decapod/governance/plan.json +++ /dev/null @@ -1,28 +0,0 @@ -{ - "schema_version": "1.0.0", - "title": "Thin Dactyl SQLite and Neon application driver", - "intent": "Ship one congruent read(sql, params) and write(sql, params) facade for read/write-heavy applications over local SQLite and Vercel Neon. Use private adapters, typed values, normalized rows, affected counts, and typed errors; exclude schema administration, transactions, query analysis or rewriting, retries, analytics, and business intelligence.", - "state": "APPROVED", - "todo_ids": [ - "code_01kzb14pzzgekyfs" - ], - "proof_hooks": [ - "cargo fmt --all -- --check", - "cargo clippy --all-targets --all-features -- -D warnings", - "cargo test --all-features", - "cargo test" - ], - "unknowns": [], - "human_questions": [], - "stop_conditions": [ - "Stop if the SQLite and Neon read/write contracts cannot remain congruent without adding backend administration or query intelligence." - ], - "unresolved_contradictions": [], - "deferred_questions": [], - "constraints": { - "forbidden_paths": [], - "file_touch_budget": null - }, - "phases": [], - "updated_at": "1786003599Z" -} \ No newline at end of file diff --git a/.decapod/governance/trajectory.json b/.decapod/governance/trajectory.json deleted file mode 100644 index 9a08a3a..0000000 --- a/.decapod/governance/trajectory.json +++ /dev/null @@ -1,203 +0,0 @@ -{ - "schema_version": "1.1.0", - "run_id": "validation_01KZB2S1AFQ708TDRS6BAR17TH", - "intent_id": "intent:validation_01KZB2S1AFQ708TDRS6BAR17TH", - "task_id": "code_01kzb14pzzgekyfs", - "original_intent": "Produce proof artifacts for a repository validation completion.", - "derived_intent": "Run the bounded validation gates and bind the successful receipt to a trajectory.", - "destination": "validation completion", - "current_phase": "validation", - "next_transitions": [ - "publish" - ], - "active_boundaries": [ - "Repository validation and tracked proof artifacts" - ], - "repo_scope": [ - ".decapod/governance/trajectory.json", - ".decapod/governance/validation.json" - ], - "inspected_files": [], - "modified_files": [ - ".decapod/governance/trajectory.json", - ".decapod/governance/validation.json" - ], - "declared_commands": [ - "decapod validate" - ], - "tool_calls": [], - "checks": [ - { - "name": "decapod validate", - "status": "passed" - } - ], - "evidence": [ - "validation epoch ve_df73bc67cd796539 completed with zero failures", - "validation epoch ve_f4d27fb540d3293f completed with zero failures" - ], - "shortcut_risk_signals": [], - "unresolved_assumptions": [], - "proof_status": "passed", - "verdicts": { - "intent_alignment": "supported", - "boundary_discipline": "supported", - "shortcut_risk": "supported", - "completion_proof": "supported" - }, - "artifact_hash": "sha256:29be254e0d8124eeed6b0522b83978dc186078370eae86ac9e05c9d22bfa8413", - "custody": { - "schema_version": "1.0.0", - "intents": { - "intent:validation_01KZB2S1AFQ708TDRS6BAR17TH": { - "id": "intent:validation_01KZB2S1AFQ708TDRS6BAR17TH", - "raw_intent": "Produce proof artifacts for a repository validation completion.", - "refined_intent": "Run the bounded validation gates and bind the successful receipt to a trajectory.", - "acceptance_criteria": [], - "constraints": [ - ".decapod/governance/trajectory.json", - ".decapod/governance/validation.json" - ], - "assumptions": [], - "boundaries": [ - "Repository validation and tracked proof artifacts" - ], - "out_of_scope": [], - "proof_requirements": [], - "status": "refined", - "created_sequence": 1, - "updated_sequence": 3 - } - }, - "events": [ - { - "sequence": 2, - "event_id": "event:2", - "intent_id": "intent:validation_01KZB2S1AFQ708TDRS6BAR17TH", - "kind": "created" - }, - { - "sequence": 3, - "event_id": "event:3", - "intent_id": "intent:validation_01KZB2S1AFQ708TDRS6BAR17TH", - "kind": "refined" - }, - { - "sequence": 4, - "event_id": "event:4", - "intent_id": "intent:validation_01KZB2S1AFQ708TDRS6BAR17TH", - "kind": "trajectory_step_recorded", - "detail": "trajectory:validation_01KZB2S1AFQ708TDRS6BAR17TH" - }, - { - "sequence": 5, - "event_id": "event:5", - "intent_id": "intent:validation_01KZB2S1AFQ708TDRS6BAR17TH", - "kind": "trajectory_step_recorded", - "detail": "trajectory:validation_01KZB2S1AFQ708TDRS6BAR17TH" - }, - { - "sequence": 6, - "event_id": "event:6", - "intent_id": "intent:validation_01KZB2S1AFQ708TDRS6BAR17TH", - "kind": "trajectory_step_recorded", - "detail": "trajectory:validation_01KZB2S1AFQ708TDRS6BAR17TH" - }, - { - "sequence": 7, - "event_id": "event:7", - "intent_id": "intent:validation_01KZB2S1AFQ708TDRS6BAR17TH", - "kind": "trajectory_step_recorded", - "detail": "trajectory:validation_01KZB2S1AFQ708TDRS6BAR17TH" - } - ], - "trajectories": { - "validation_01KZB2S1AFQ708TDRS6BAR17TH": { - "id": "validation_01KZB2S1AFQ708TDRS6BAR17TH", - "intent_id": "intent:validation_01KZB2S1AFQ708TDRS6BAR17TH", - "evidence_only": true, - "steps": [ - { - "sequence": 4, - "action": "validation", - "command": "decapod validate", - "scope": [ - ".decapod/governance/trajectory.json", - ".decapod/governance/validation.json" - ], - "observations": [ - ".decapod/governance/trajectory.json", - ".decapod/governance/validation.json", - "validation epoch ve_f4d27fb540d3293f completed with zero failures" - ], - "proof_refs": [ - "decapod validate" - ], - "validation_findings": [], - "custody_event_id": "event:4" - }, - { - "sequence": 5, - "action": "validation", - "command": "decapod validate", - "scope": [ - ".decapod/governance/trajectory.json", - ".decapod/governance/validation.json" - ], - "observations": [ - ".decapod/governance/trajectory.json", - ".decapod/governance/validation.json", - "validation epoch ve_f4d27fb540d3293f completed with zero failures" - ], - "proof_refs": [ - "decapod validate" - ], - "validation_findings": [], - "custody_event_id": "event:5" - }, - { - "sequence": 6, - "action": "validation", - "command": "decapod validate", - "scope": [ - ".decapod/governance/trajectory.json", - ".decapod/governance/validation.json" - ], - "observations": [ - ".decapod/governance/trajectory.json", - ".decapod/governance/validation.json", - "validation epoch ve_df73bc67cd796539 completed with zero failures" - ], - "proof_refs": [ - "decapod validate" - ], - "validation_findings": [], - "custody_event_id": "event:6" - }, - { - "sequence": 7, - "action": "validation", - "command": "decapod validate", - "scope": [ - ".decapod/governance/trajectory.json", - ".decapod/governance/validation.json" - ], - "observations": [ - ".decapod/governance/trajectory.json", - ".decapod/governance/validation.json", - "validation epoch ve_df73bc67cd796539 completed with zero failures" - ], - "proof_refs": [ - "decapod validate" - ], - "validation_findings": [], - "custody_event_id": "event:7" - } - ] - } - }, - "summaries": {}, - "knowledge_candidates": [], - "next_sequence": 7 - } -} \ No newline at end of file diff --git a/CHANGELOG.md b/CHANGELOG.md index df745d0..45518d1 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -144,6 +144,16 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - Initial commit ## Unreleased +## [0.4.0](https://github.com/DecapodLabs/dactyl/compare/dactyl-db-v0.3.0...dactyl-db-v0.4.0) - 2026-08-06 + +### Added + +- make dactyl a thin application read write driver ([#48](https://github.com/DecapodLabs/dactyl/pull/48)) + +### Other + +- Update Decapod version in README + - *(dactyl-db)* reduce the public contract to congruent application `read` / `write` operations for SQLite and Neon, remove the proc-macro/query-analysis layer, and replace the rusqlite facade with a private SQLite C-API driver diff --git a/Cargo.lock b/Cargo.lock index c918395..284408a 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -142,7 +142,7 @@ dependencies = [ [[package]] name = "dactyl-db" -version = "0.3.0" +version = "0.4.0" dependencies = [ "axum", "libsqlite3-sys", diff --git a/Cargo.toml b/Cargo.toml index de353a7..13df3f0 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "dactyl-db" -version = "0.3.0" +version = "0.4.0" edition = "2021" rust-version = "1.75" license = "MIT"