091dceec1d
An issue was a Gitea row that happened to be cached locally: its identity was the tracker's number (42.md), its dependencies were tracker numbers (depends: [#12]), and a local issue existed only as a draft that push deleted on success. Nothing could be planned or tracked without a tracker. Split into layers, with knowledge flowing one way: skills/issue DOMAIN what an issue is: format, validation, dep graph ^ offline; stdlib imports only, no subprocess | imports skills/sync BRIDGE map.py md <-> Gitea JSON, pure, no I/O _gitea.py login pin, api, pagination, filters skills/use REFERENCE tea CLI docs for non-issue entities skills/issue never imports skills/sync. Delete the sync layer and the domain keeps working. Identity is now a slug derived from the title (wire-sqlc-appclick.md) and is stable across retitles and pushes. Tracker numbers live in a `gitea:` field, never in a file name and never in `depends:`; the pair is indexed in .remote.json, which is a cache over the files, not a second source of truth. Behavior changes: - Pushing is additive. The file is never deleted; it gains gitea:/url:/ synced: and origin: flips from local to gitea. `origin: local` is a durable state, not a pending one. - Pushes go in topological order so dependencies get numbers first. - The dependency graph is computed offline from `depends:` metadata; body prose is passed through unchanged in both directions rather than being rewritten between slugs and #N. - `origin` is domain-owned (whether work exists elsewhere is a fact about the work); the handle and how to reach it stay with sync. Script moves: issue_get.py -> sync/pull.py issue_push.py -> sync/push.py issue_list.py -> sync/remote.py issue_index.py -> issue/issue_index.py _tea.py -> split into issue/issue.py, sync/map.py, sync/_gitea.py New: issue/issue_new.py, issue/issue_check.py, issue/issue_tree.py, and sync/comment.py — comment posting was the last issue operation still hand-rolled through raw `tea api`. references/issue-format.md moves to skills/issue/references/format.md; label hex colors move out of it into map.py, since a color is how a tracker paints a chip, not what an issue is. Verified: offline path end to end (new, check, tree, index, push --dry-run) and read-only against Gitea (remote listing, pull with mapping, comment guard). Write paths of push.py and comment.py are not exercised here. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
70 lines
2.2 KiB
Python
70 lines
2.2 KiB
Python
#!/usr/bin/env python3
|
|
"""
|
|
issue_check.py — validate issues against the canonical format. Offline.
|
|
|
|
The same check the sync layer runs before it pushes anything, available on its
|
|
own so a local-only issue can be held to the format without a tracker being
|
|
involved. Errors mean malformed; warnings mean it deviates from its type's
|
|
template or its graph looks suspect.
|
|
|
|
issue_check.py every issue in the store
|
|
issue_check.py wire-sqlc one issue
|
|
issue_check.py --quiet exit code only (0 clean, 1 errors)
|
|
|
|
Format reference: ../references/format.md
|
|
"""
|
|
import argparse
|
|
import os
|
|
import sys
|
|
|
|
sys.path.insert(0, os.path.dirname(os.path.abspath(__file__)))
|
|
import issue # noqa: E402
|
|
|
|
|
|
def main():
|
|
ap = argparse.ArgumentParser(description="Validate local issues (offline)")
|
|
ap.add_argument("ids", nargs="*", help="ids to check (default: all)")
|
|
ap.add_argument("--quiet", action="store_true", help="exit code only")
|
|
ap.add_argument("--strict", action="store_true", help="treat warnings as errors")
|
|
ap.add_argument("--out", default=issue.ISSUE_ROOT, help="store root (default: tmp/issues)")
|
|
args = ap.parse_args()
|
|
|
|
issues = issue.load_all(args.out)
|
|
ids = args.ids or sorted(issues)
|
|
for i in ids:
|
|
if i not in issues:
|
|
sys.exit("issue_check.py: no issue %r in %s" % (i, args.out))
|
|
if not ids:
|
|
sys.exit("issue_check.py: store %s is empty" % args.out)
|
|
|
|
known = set(issues)
|
|
bad = 0
|
|
for i in ids:
|
|
err, warn = issue.validate(issues[i], known_ids=known)
|
|
if args.strict:
|
|
err, warn = err + warn, []
|
|
if err:
|
|
bad += 1
|
|
if args.quiet:
|
|
continue
|
|
if not err and not warn:
|
|
print("ok %s" % i)
|
|
continue
|
|
for e in err:
|
|
print("ERROR %s: %s" % (i, e))
|
|
for w in warn:
|
|
print("warn %s: %s" % (i, w))
|
|
|
|
for c in issue.find_cycles(issue.graph(issues)):
|
|
bad += 1
|
|
if not args.quiet:
|
|
print("ERROR cycle: %s" % " -> ".join(c))
|
|
|
|
if not args.quiet:
|
|
print("%d issue(s) checked, %d with errors" % (len(ids), bad))
|
|
return 1 if bad else 0
|
|
|
|
|
|
if __name__ == "__main__":
|
|
sys.exit(main())
|