MichaelYcJo

Issues somebody may already be working on are listed last. List everything by date

• 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  MichaelYcJo/SpecSeal#1139 · Opened Oct 28, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 35/100

  MichaelYcJo/SpecSeal#1128 · Opened Oct 28, 2026

• fix: seal settle --apply removes a work item whose open rows sit in a gaps.md outside its own directory

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 48/100

  MichaelYcJo/SpecSeal#1126 · Opened Oct 28, 2026

• fix: seal rules --check never reads a check: target wrapped onto the next line

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 72/100

  MichaelYcJo/SpecSeal#1125 · Opened Oct 28, 2026

• fix: the stamp is queued for a guarantee the pull request refuses, when an unclosed fence hides a second Verdict line

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 68/100

  MichaelYcJo/SpecSeal#1122 · Opened Oct 28, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  MichaelYcJo/SpecSeal#1121 · 1 comment · Opened Oct 28, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 38/100

  MichaelYcJo/SpecSeal#1107 · Opened Oct 28, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  MichaelYcJo/SpecSeal#1102 · 3 comments · Opened Oct 28, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 1-2 days Newbie friendliness 44/100

  MichaelYcJo/SpecSeal#1097 · Opened Oct 27, 2026

• test: the release-report job has never printed the process archive's row, since no seal/process/*.md exists yet

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 55/100

  MichaelYcJo/SpecSeal#1083 · Opened Oct 27, 2026

• fix: a config table's refusal names an HTML block left open where only Python's splitlines ended the line

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 1-2 days Newbie friendliness 25/100

  MichaelYcJo/SpecSeal#1075 · Opened Oct 27, 2026

• test: the whole suite has not run on Python 3.14; CI runs only the arm-check module there

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 64/100

  MichaelYcJo/SpecSeal#1065 · Opened Oct 27, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 55/100

  MichaelYcJo/SpecSeal#1064 · Opened Oct 27, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  MichaelYcJo/SpecSeal#1059 · Opened Oct 27, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 28/100

  MichaelYcJo/SpecSeal#1054 · Opened Oct 27, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 52/100

  MichaelYcJo/SpecSeal#1048 · Opened Oct 27, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 35/100

  MichaelYcJo/SpecSeal#1045 · 1 comment · Opened Oct 27, 2026

• chore: nothing yet shows whether SpecSeal needs verification beyond its commands and tests; the record decides each proposed verifier before any is built

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  MichaelYcJo/SpecSeal#1038 · 1 comment · Opened Oct 27, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  MichaelYcJo/SpecSeal#1020 · 1 comment · Opened Oct 24, 2026

• chore: nothing checks types, so the suite does a type checker's job; Python stays and a static type check joins CI

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 18/100

  MichaelYcJo/SpecSeal#951 · 1 comment · Opened Oct 14, 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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 Over a week Newbie friendliness 8/100

  MichaelYcJo/SpecSeal#947 · 3 comments · Opened Oct 14, 2026

• chore: refreshing .test_durations needs a measuring commit on a branch, where a workflow_dispatch input could run it

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 15/100

  MichaelYcJo/SpecSeal#914 · 2 comments · Opened Oct 13, 2026

• fix: mutation-check reports red when the mutant does not compile, so a syntax error passes for a caught defect

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  from-review

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  MichaelYcJo/SpecSeal#898 · Opened Oct 12, 2026