Chủ sở hữu

MichaelYcJo

Đăng nhập để theo dõi

Đã lập chỉ mục 1 kho mã nguồn · Xem trên GitHub

SpecSeal
Specs, sealed — an implement/review agent chain with hook enforcement, an evidence ledger with drift detection, and a tool-agnostic revie...

Python · 1 star

Phù hợp cho người mới Tất cả

Đang mở Tất cả

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

chore: a hung macOS pytest shard is cancelled at the job's 15-minute timeout with no log, so nothing names the case it hung on
Đang mở
- Có gì không ổn?
bug

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100

MichaelYcJo/SpecSeal#1187 · Mở ngày 29/10/2026
fix: seal payload follows an @ line inside a fenced code block, which Claude Code does not import
Đang mở
- Có gì không ổn?
bug

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 83/100

MichaelYcJo/SpecSeal#1185 · Mở ngày 29/10/2026
fix: /agentic:update reads ~/.claude where CLAUDE_CONFIG_DIR moves the plugins and the CLAUDE.md the installer writes
Đang mở
- Có gì không ổn?
bug

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100

MichaelYcJo/SpecSeal#1184 · Mở ngày 29/10/2026
chore: review whether a plugin SessionStart hook should replace the preset block's @ line as the core's way into a session, compared with A1 as it runs after #1177
Đang mở
- Có gì không ổn?
hooks-gates

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

MichaelYcJo/SpecSeal#1183 · 1 bình luận · Mở ngày 29/10/2026
test: four readers take a closing keyword inside an HTML comment as a claim, and nobody has checked whether GitHub does
Đang mở
- Có gì không ổn?
measurement

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

MichaelYcJo/SpecSeal#1181 · Mở ngày 29/10/2026
test: the behaviour suite no longer tells the agent it is evaluated, and no side has measured whether the agent behaves differently without the words
Đang mở
- Có gì không ổn?
measurement

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

MichaelYcJo/SpecSeal#1180 · Mở ngày 29/10/2026
test: TOKEN_MARGIN is applied to a token figure whose spread between two takes of one tree has never been measured
Đang mở
- Có gì không ổn?
measurement

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

MichaelYcJo/SpecSeal#1179 · Mở ngày 29/10/2026
test: no paid run has graded the crafter's and sealer's rule cases since 0.24.x changed them, and no trace has been read for the skill preamble's base directory
Đang mở
- Có gì không ổn?
measurement

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

MichaelYcJo/SpecSeal#1178 · Mở ngày 29/10/2026
chore: flow measurement — after 0.24.2
Đang mở
- Có gì không ổn?
flow-measurement measurement

Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 72/100

MichaelYcJo/SpecSeal#1176 · 10 bình luận · Mở ngày 29/10/2026
chore: the seal draws a horned owl with ear tufts, where the owl of Minerva it stands for is a round-headed little owl
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100

MichaelYcJo/SpecSeal#1174 · Mở ngày 29/10/2026
docs: CLAUDE.md's values hold two single-rule applications, and writing-style still makes a near-miss spelling a refusal the first value no longer asks for
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100

MichaelYcJo/SpecSeal#1170 · Mở ngày 29/10/2026
chore: checks turn judgments an agent can make, whether two things mean the same or give the same result, into script grammar, and each new near miss costs a review round
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

MichaelYcJo/SpecSeal#1167 · 1 bình luận · Mở ngày 29/10/2026
chore: readings kept for upgrades from long-past releases, the old CLAUDE.md block markers, the old workflow clone line and the bootstrap's 0.3.x and pre-rename roots, carry a removal no issue schedules
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 24/100

MichaelYcJo/SpecSeal#1154 · Mở ngày 29/10/2026
feat: the release note stacks the seal image, an at-a-glance table and every category expanded, 35 KB of vertical scroll; it opens with the owl and the stamp's results side by side, and each category folds under its count
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

MichaelYcJo/SpecSeal#1153 · Mở ngày 29/10/2026
fix: replay_targets.py reads round records only in the 0.22.x layout, so its default run has found none since 0.23.0
Đang mở
- Có gì không ổn?
Độ khó 4/5 1-2 ngày Mức phù hợp với người mới 53/100

MichaelYcJo/SpecSeal#1150 · Mở ngày 29/10/2026
chore: a blocked or failed step was answered with a new mark twice, in 0.22.x and in #1020, because CONTRIBUTING's list of mechanisms that must name what they remove leaves marks out; the list gains line grammars, labels and marks
Đang mở
- Có gì không ổn?
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 68/100

MichaelYcJo/SpecSeal#1149 · 2 bình luận · Mở ngày 29/10/2026
chore: a work item writes up to nine records that restate one another, and documents serve more than one reader; each record and document is given its reader, its home facts and its marks, and what restates goes
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

MichaelYcJo/SpecSeal#1148 · 2 bình luận · Mở ngày 29/10/2026
chore: CLAUDE.md says a fact has one source and every other place links to it, and each drifted copy was found by hand one kind at a time; the kinds of restatement are measured and each gets a link, a check, a written rule or nothing
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100

MichaelYcJo/SpecSeal#1147 · Mở ngày 29/10/2026
feat: a released entry reaches its work only through a hidden work-item id the settle then removes, and the settle removes it without knowing the note carries it; each entry links its pull request, and the settle keeps a directory its published note does not carry
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

MichaelYcJo/SpecSeal#1139 · Mở ngày 28/10/2026
docs: seven readers pass shapes the one-issue flow never writes and no document says so, and one policy sentence states a direction the config reader does not take
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

MichaelYcJo/SpecSeal#1128 · Mở ngày 28/10/2026
fix: seal settle --apply removes a work item whose open rows sit in a gaps.md outside its own directory
Đang mở
- Có gì không ổn?
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100

MichaelYcJo/SpecSeal#1126 · Mở ngày 28/10/2026
fix: seal rules --check never reads a check: target wrapped onto the next line
Đang mở
- Có gì không ổn?
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100

MichaelYcJo/SpecSeal#1125 · Mở ngày 28/10/2026
fix: the stamp is queued for a guarantee the pull request refuses, when an unclosed fence hides a second Verdict line
Đang mở
- Có gì không ổn?
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100

MichaelYcJo/SpecSeal#1122 · Mở ngày 28/10/2026
fix: chain-check passes an open finding inside a closed fence, a round record named Round-2.md, and a guarantee whose original: line is misspelt
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

MichaelYcJo/SpecSeal#1121 · 1 bình luận · Mở ngày 28/10/2026
test: the sealer's five paid evals have not run since the sealer began with seal pr-body --check; one paid run grades them against the last
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 38/100

MichaelYcJo/SpecSeal#1107 · Mở ngày 28/10/2026
docs: the README grew one section at a time for SpecSeal and never met AgenticSeal or its owl; both editions are rewritten for a first reader, last in 0.24.0
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

MichaelYcJo/SpecSeal#1102 · 3 bình luận · Mở ngày 28/10/2026
test: the replay and seeded eval cases rebuild 0.22.x trees that the session start now migrates, and nobody has measured what a side reads in them
Đang mở
- Có gì không ổn?
Độ khó 4/5 1-2 ngày Mức phù hợp với người mới 44/100

MichaelYcJo/SpecSeal#1097 · Mở ngày 27/10/2026
test: the release-report job has never printed the process archive's row, since no seal/process/*.md exists yet
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100

MichaelYcJo/SpecSeal#1083 · Mở ngày 27/10/2026
fix: a config table's refusal names an HTML block left open where only Python's splitlines ended the line
Đang mở
- Có gì không ổn?
Độ khó 4/5 1-2 ngày Mức phù hợp với người mới 25/100

MichaelYcJo/SpecSeal#1075 · Mở ngày 27/10/2026
test: the whole suite has not run on Python 3.14; CI runs only the arm-check module there
Đang mở
- Có gì không ổn?
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 64/100

MichaelYcJo/SpecSeal#1065 · Mở ngày 27/10/2026
fix: a no-break space after a closing fence run closes the fence for every reader of the shared rule, and CommonMark does not close it
Đang mở
- Có gì không ổn?
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100

MichaelYcJo/SpecSeal#1064 · Mở ngày 27/10/2026
feat: a repository whose own seal/ belongs to something else can keep the records only in local mode, unshared; the person names another root, recorded outside it, and every reader resolves it
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

MichaelYcJo/SpecSeal#1059 · Mở ngày 27/10/2026
feat: settle folds only the plugin's own records, so decisions written in other directories stay scattered beside the policy root; the settle skill asks which other directories to fold, and the person decides what of them becomes policy
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 28/100

MichaelYcJo/SpecSeal#1054 · Mở ngày 27/10/2026
feat: the sealer re-runs a sample of the crafter's claims and leaves the rest on its word, 23 of 28 mutation claims in #955; it checks every executed claim against the implementer's transcript and re-runs a sample
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100

MichaelYcJo/SpecSeal#1048 · Mở ngày 27/10/2026
chore: the settle re-homes every unmeasured row as an issue, and 20 of the 27 it opened in 0.22.4 were closed as not planned the same day; a measurement no record asks for closes its row and opens nothing
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

MichaelYcJo/SpecSeal#1045 · 1 bình luận · Mở ngày 27/10/2026
chore: nothing yet shows whether SpecSeal needs verification beyond its commands and tests; the record decides each proposed verifier before any is built
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

MichaelYcJo/SpecSeal#1038 · 1 bình luận · Mở ngày 27/10/2026
fix: when one kind of finding recurs across review rounds, each fix pass fixes one instance and the next round finds the next; a check reads the recurrence and owes the whole class
Đang mở
- Có gì không ổn?
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

MichaelYcJo/SpecSeal#1020 · 1 bình luận · Mở ngày 24/10/2026
chore: nothing checks types, so the suite does a type checker's job; Python stays and a static type check joins CI
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 18/100

MichaelYcJo/SpecSeal#951 · 1 bình luận · Mở ngày 14/10/2026
chore: nothing yet shows whether 0.22.0 made development lighter; measure agent reads, CI time and review rounds on 0.22.1's small changes against the 0.21.x numbers
Đang mở
- Có gì không ổn?
Độ khó 4/5 Hơn một tuần Mức phù hợp với người mới 8/100

MichaelYcJo/SpecSeal#947 · 3 bình luận · Mở ngày 14/10/2026
chore: refreshing .test_durations needs a measuring commit on a branch, where a workflow_dispatch input could run it
Đang mở
- Có gì không ổn?
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 15/100

MichaelYcJo/SpecSeal#914 · 2 bình luận · Mở ngày 13/10/2026
fix: mutation-check reports red when the mutant does not compile, so a syntax error passes for a caught defect
Đang mở
- Có gì không ổn?
from-review

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

MichaelYcJo/SpecSeal#898 · Mở ngày 12/10/2026
fix: a head run that pytest stopped with exit 0 still seals
Đang mở
- Có gì không ổn?
hooks-gates

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

MichaelYcJo/SpecSeal#883 · 1 bình luận · Mở ngày 8/10/2026
test: arm-check's put-back guard has an unpinned branch and a doubled full stop, and two comments name the wrong cause
Đang mở
- Có gì không ổn?
agents-skills from-review

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100

MichaelYcJo/SpecSeal#710 · Mở ngày 1/10/2026
fix: a 0.3.x work item behind a relative link is named as no work item and stamped over, so no start ever moves it
Đang mở
- Có gì không ổn?
bug from-review hooks-gates

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

MichaelYcJo/SpecSeal#709 · Mở ngày 1/10/2026
test: mutation-check's restore after a refused or timed-out baseline is held by no case, and two descriptions are behind the code
Đang mở
- Có gì không ổn?
agents-skills from-review

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

MichaelYcJo/SpecSeal#706 · Mở ngày 1/10/2026
arm-check's CI-leg guard can count a job that runs none of its cases
Đang mở
- Có gì không ổn?
bug

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

MichaelYcJo/SpecSeal#687 · Mở ngày 29/9/2026
docs: a release's number follows the commit prefix and the milestone's name, not what an installing repository experiences
Đang mở
- Có gì không ổn?
documentation release

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

MichaelYcJo/SpecSeal#653 · Mở ngày 28/9/2026
fix: a ) glued to the operator after it hides a command from the read family, and the tokenizer reopens at every edge
Đang mở
- Có gì không ổn?
bug from-review measurement

Độ khó 4/5 1-2 ngày Mức phù hợp với người mới 25/100

MichaelYcJo/SpecSeal#652 · Mở ngày 28/9/2026
chore: three claims wait on an event nothing schedules — hooks on Windows, the conformance evals, the release guard's real refusal
Đang mở
- Có gì không ổn?
measurement

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

MichaelYcJo/SpecSeal#578 · 1 bình luận · Mở ngày 24/9/2026
design: a reviewing agent spawned two of its own and moved the tree off the branch it was reviewing
Đang mở
- Có gì không ổn?
agents-skills

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

MichaelYcJo/SpecSeal#143 · Mở ngày 23/9/2026

MichaelYcJo

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Có gì không ổn?

Nhận issue mới trong hộp thư của bạn