feat: code domain leverages core invariants, query engine, manifests, provenance, CRDT annotations, and op-log

- Extract domain-agnostic InvariantChecker protocol and BaseReport/BaseViolation types into muse/core/invariants.py; MidiChecker updated to satisfy the protocol - Extract generic commit-history walk into muse/core/query_engine.py (CommitEvaluator, walk_history, format_matches) - Code domain: max_complexity, no_circular_imports, no_dead_exports, test_coverage_floor invariant rules (muse/plugins/code/_invariants.py) - Code domain: hierarchical FileEntry/ModuleManifest/PackageManifest/CodeManifest for partial re-parse (muse/plugins/code/manifest.py) - Code domain: query DSL evaluator with TypeGuard-narrowed CodeField/CodeOp Literals (_code_query.py) - Code domain: op-log integration recording PatchOp/child ops into the append-only log (_op_log_integration.py) - CommitRecord gains format_version=5, reviewed_by (ORSet), test_runs (GCounter), agent provenance fields - CLI: muse annotate, muse check, muse code-check, muse code-query commands added and wired into app.py - muse commit wires --agent-id/--model-id/--toolchain-id/--sign env-driven provenance - tomli fallback removed (Python 3.12 ships tomllib in stdlib); zero type: ignore, zero Any, zero bare collections - 1396 tests green; mypy strict + typing_audit --max-any 0 both pass

G Gabriel Cardona <gabriel@tellurstori.com> · 1d ago Mar 19, 2026 · 766ee24d · parent e51a1033

oldest

newest 42%

Snapshot Diff

202 files in tree

+51 ~63 -5

docs/agent-provenance.md .md

docs/crdt-music-rga.md .md

docs/entity-identity.md .md

docs/music-query-dsl.md .md

docs/op-log.md .md

docs/reference/code-domain.md .md

muse/cli/commands/annotate.py .py

muse/cli/commands/check.py .py

muse/cli/commands/code_check.py .py

muse/cli/commands/code_query.py .py

muse/cli/commands/midi_check.py .py

muse/cli/commands/midi_query.py .py

muse/core/invariants.py .py

muse/core/op_log.py .py

muse/core/provenance.py .py

muse/core/query_engine.py .py

muse/plugins/code/_code_query.py .py

muse/plugins/code/_invariants.py .py

muse/plugins/code/_op_log_integration.py .py

muse/plugins/code/manifest.py .py

muse/plugins/midi/__init__.py .py

muse/plugins/midi/_crdt_notes.py .py

muse/plugins/midi/_invariants.py .py

muse/plugins/midi/_midi_query.py .py

muse/plugins/midi/_query.py .py

muse/plugins/midi/entity.py .py

muse/plugins/midi/manifest.py .py

muse/plugins/midi/midi_diff.py .py

muse/plugins/midi/midi_merge.py .py

muse/plugins/midi/plugin.py .py

tests/test_annotate_command.py .py

tests/test_callgraph.py .py

tests/test_code_commands.py .py

tests/test_code_invariants.py .py

tests/test_code_manifest.py .py

tests/test_code_query.py .py

tests/test_coordination.py .py

tests/test_core_invariants.py .py

tests/test_core_query_engine.py .py

tests/test_crdt.py .py

tests/test_entity.py .py

tests/test_indices.py .py

tests/test_manifest.py .py

tests/test_music_invariants.py .py

tests/test_music_query.py .py

tests/test_op_log.py .py

tests/test_predicate.py .py

tests/test_property_based.py .py

tests/test_provenance.py .py

tests/test_refactor_classify.py .py

tests/test_sem_ver.py .py

README.md .md

docs/README.md .md

docs/architecture/muse-vcs.md .md

docs/demo/tour-de-force-script.md .md

docs/guide/crdt-reference.md .md

docs/guide/plugin-authoring-guide.md .md

docs/protocol/muse-domain-concepts.md .md

docs/protocol/muse-protocol.md .md

docs/protocol/muse-variation-spec.md .md

docs/reference/muse-attributes.md .md

docs/reference/museignore.md .md

docs/reference/type-contracts.md .md

muse/cli/app.py .py

muse/cli/commands/commit.py .py

muse/cli/commands/domains.py .py

muse/cli/commands/harmony.py .py

muse/cli/commands/init.py .py

muse/cli/commands/merge.py .py

muse/cli/commands/mix.py .py

muse/cli/commands/note_blame.py .py

muse/cli/commands/note_hotspots.py .py

muse/cli/commands/note_log.py .py

muse/cli/commands/notes.py .py

muse/cli/commands/piano_roll.py .py

muse/cli/commands/query.py .py

muse/cli/commands/query_history.py .py

muse/cli/commands/show.py .py

muse/cli/commands/transpose.py .py

muse/cli/commands/velocity_profile.py .py

muse/core/attributes.py .py

muse/core/crdts/lww_register.py .py

muse/core/crdts/rga.py .py

muse/core/diff_algorithms/__init__.py .py

muse/core/diff_algorithms/lcs.py .py

muse/core/diff_algorithms/numerical.py .py

muse/core/diff_algorithms/set_ops.py .py

muse/core/diff_algorithms/tree_edit.py .py

muse/core/merge_engine.py .py

muse/core/op_transform.py .py

muse/core/schema.py .py

muse/core/store.py .py

muse/domain.py .py

muse/plugins/code/_refactor_classify.py .py

muse/plugins/code/plugin.py .py

muse/plugins/registry.py .py

muse/plugins/scaffold/plugin.py .py

pyproject.toml .toml

tests/test_cli_coverage_gaps.py .py

tests/test_cli_plugin_dispatch.py .py

tests/test_core_attributes.py .py

tests/test_core_ignore.py .py

tests/test_core_merge_engine.py .py

tests/test_core_store.py .py

tests/test_crdts.py .py

tests/test_diff_algorithms.py .py

tests/test_domain_schema.py .py

tests/test_midi_diff.py .py

tests/test_music_midi_merge.py .py

tests/test_music_plugin.py .py

tests/test_op_transform.py .py

tests/test_plugin_apply_and_checkout.py .py

tests/test_plugin_registry.py .py

tests/test_structured_delta.py .py

muse/plugins/music/__init__.py .py

muse/plugins/music/_query.py .py

muse/plugins/music/midi_diff.py .py

muse/plugins/music/midi_merge.py .py

muse/plugins/music/plugin.py .py

Older refactor: remove supercharge/god-tier/singularity references fro… daf9b815 All commits Newer chore: add .hypothesis/ to .gitignore 545d8f02

Comments

No comments yet. Be the first to start the discussion.