Dashboard
Your morning desk — git status for review and ticketing.
local · trusted deployment
Working tree291 changed
.config/clippy.tomldeleted
.config/committed.tomldeleted
.config/deny.tomldeleted
.config/fly.tomldeleted
.config/nextest.tomldeleted
.config/pre-commit.yamldeleted
.config/rumdl.tomldeleted
.config/tracey/config.styxdeleted
.config/typos.tomldeleted
.dockerignoredeleted
.gitattributesdeleted
.github/workflows/CD.ymldeleted
.github/workflows/CI.ymldeleted
.github/workflows/Lint.ymldeleted
.gitignoredeleted
.gitvendorsdeleted
.zed/settings.jsondeleted
COPYRIGHTdeleted
Cargo.lockdeleted
Cargo.tomldeleted
Dockerfiledeleted
LICENSE-APACHEdeleted
LICENSE-MITdeleted
README.adocdeleted
docker/entrypoint.shdeleted
docker/nginx.confdeleted
docs/abstractions.adocdeleted
docs/design.adocdeleted
docs/development-plan.adocdeleted
docs/faq.adocdeleted
docs/ideas.adocdeleted
docs/spec/anchor.adocdeleted
docs/spec/effect.adocdeleted
docs/spec/gate.adocdeleted
docs/spec/lens.adocdeleted
docs/spec/meta-ref.adocdeleted
docs/spec/model.adocdeleted
docs/spec/overview.adocdeleted
docs/spec/query.adocdeleted
docs/spec/receive.adocdeleted
docs/spec/roots.adocdeleted
docs/spec/sync.adocdeleted
docs/web-workbench-plan.adocdeleted
editors/zed/Cargo.lockdeleted
editors/zed/Cargo.tomldeleted
editors/zed/README.adocdeleted
editors/zed/extension.tomldeleted
editors/zed/src/lib.rsdeleted
verify/README.adocdeleted
verify/alloy/README.adocdeleted
verify/alloy/binding.alsdeleted
verify/alloy/gate_rules.alsdeleted
verify/alloy/objects.alsdeleted
verify/exercise.mddeleted
verify/ledger.adocdeleted
Needs attention
1 open issueIssues+ New
Remove Complexity from Design Accretion#d95e29c · openHistory — main
3dc5750specporcelain grammar, presentation derivation, and form parity rules; sync abstractions porcelain listing27 days ago7f591e8attrs, model, forge, cli: derive entity output from facet shapes via ents attributes28 days ago6173bfbmodel, anchor, cli, web: canonical lowercase display for status, member state, and projection28 days ago