Repository navigation

docs(oracles): ship setup, design, and review skills, with a prompt to try them - #7

Open

KyleAMathews wants to merge 88 commits into

mainfrom

docs/oracle-skills

Open

docs(oracles): ship setup, design, and review skills, with a prompt to try them#7
KyleAMathews wants to merge 88 commits into
mainfrom
docs/oracle-skills

Commits on Nov 10, 2026
- docs(oracles): ship setup, design, and review skills with the oracle checklist
  
  KyleAMathews
  and
  Isaac
  committed
  64448e1
- chore: add changeset for the oracle skills and docs
  
  KyleAMathews
  and
  Isaac
  committed
  25b8bbe
- docs(oracles): add one worked example per model style
  
  KyleAMathews
  and
  Isaac
  committed
  27a9ad7
- docs(oracles): use review and testing terms, not security terms
  
  KyleAMathews
  and
  Isaac
  committed
  045347f
- docs(oracles): restore the design-grammar step and add its card
  
  KyleAMathews
  and
  Isaac
  committed
  db3eb66
- docs(oracles): add oracles-evaluate-review and tighten the design loop
  
  KyleAMathews
  and
  Isaac
  committed
  15f03f6
- Merge remote-tracking branch 'origin/main' into docs/oracle-skills
  KyleAMathews
  committed
  8433d75
- docs(oracles): follow #6 in setup, and require a fixed seed
  
  KyleAMathews
  and
  Isaac
  committed
  f5011b0
- docs(oracles): fix what two fresh-agent validation runs hit
  
  KyleAMathews
  and
  Isaac
  committed
  8baf6e2
- Merge remote-tracking branch 'origin/main' into docs/oracle-skills
  KyleAMathews
  committed
  c165ff8
- docs(oracles): address the external review of the skills
  
  KyleAMathews
  and
  Isaac
  committed
  12ddccd
- Merge remote-tracking branch 'origin/main' into docs/oracle-skills
  KyleAMathews
  committed
  5b4eb68
- docs(oracles): mutant validity follows the TypeScript types
  
  KyleAMathews
  and
  Isaac
  committed
  62e8c42
Commits on Nov 11, 2026
- docs(oracles): fix what round-2 validation hit
  
  KyleAMathews
  and
  Isaac
  committed
  76057d9
- docs(oracles): point the refactor finding at design step 7
  
  KyleAMathews
  and
  Isaac
  committed
  5f573b9
- Merge remote-tracking branch 'origin/main' into docs/oracle-skills
  KyleAMathews
  committed
  7fe0578
- docs(oracles): the README example covers -0 and reaches zero gaps
  
  KyleAMathews
  and
  Isaac
  committed
  6bf40d8
- docs(oracles): fix what round-3 validation hit
  
  KyleAMathews
  and
  Isaac
  committed
  d6d4455
- docs(oracles): write the general law down, and trigger the design grammar
  
  KyleAMathews
  and
  Isaac
  committed
  573c671
- Merge remote-tracking branch 'origin/main' into docs/oracle-skills
  KyleAMathews
  committed
  dfc1123
- docs(oracles): boundary-condition thinking and adjacent forms
  
  KyleAMathews
  and
  Isaac
  committed
  3ac23b9
- docs(oracles): fill-in law sheet and round-4 validation fixes
  
  KyleAMathews
  and
  Isaac
  committed
  e50349e
- docs(oracles): interim rules for per-law kill credit and hoisted TypeScript
  
  KyleAMathews
  and
  Isaac
  committed
  23de737
- docs(oracles): round-5 fixes, prose law blocks, and the ownership split
  
  KyleAMathews
  and
  Isaac
  committed
  949c4f7
- docs(oracles): write the oracle file's prose laws first, then the code
  
  KyleAMathews
  and
  Isaac
  committed
  c0a7e71
- Merge remote-tracking branch 'origin/main' into docs/oracle-skills
  KyleAMathews
  committed
  91609b9
- docs(oracles): teach the gap CLI's exit codes, and round-5 setup fixes
  
  KyleAMathews
  and
  Isaac
  committed
  3dec7d5
- docs(oracles): interim rule for an unnamed default export in owns
  
  KyleAMathews
  and
  Isaac
  committed
  bd5b900
- docs(oracles): xo inline disables, other source dirs, and calls typed by an interface
  
  KyleAMathews
  and
  Isaac
  committed
  222a780
- docs(oracles): put everything on oracleProperty, and do not call declareOracle
  
  KyleAMathews
  and
  Isaac
  committed
  7ff006c
- Merge remote-tracking branch 'origin/main' into docs/oracle-skills
  KyleAMathews
  committed
  e34ab01
- docs(oracles): follow main 1bb905a (#15 to #19)
  
  KyleAMathews
  and
  Isaac
  committed
  9f255db
- Merge remote-tracking branch 'origin/main' into docs/oracle-skills
  KyleAMathews
  committed
  54f702c
- Merge remote-tracking branch 'origin/main' into docs/oracle-skills
  KyleAMathews
  committed
  c2a8757
- docs(oracles): pass --config for a non-default Vitest config name (#26)
  
  KyleAMathews
  and
  Isaac
  committed
  27f5367
- docs(oracles): a copy-and-paste prompt to try the package
  
  KyleAMathews
  and
  Isaac
  committed
  87cdf12
- docs(oracles): open the law block with what the oracle owns, then a hook
  
  KyleAMathews
  and
  Isaac
  committed
  833f7ca
- docs(oracles): sharper law block guidance from the round-6 rewrites
  
  KyleAMathews
  and
  Isaac
  committed
  e08ad18
- docs(oracles): start the law block with the contract as a short code block
  
  KyleAMathews
  and
  Isaac
  committed
  d366330
- docs(oracles): write the contract block as public calls and their results
  
  KyleAMathews
  and
  Isaac
  committed
  1c3a2f0
- docs(oracles): write a shared call once in the contract block
  
  KyleAMathews
  and
  Isaac
  committed
  86fd7c1
- docs(oracles): count results, not lines, in the contract block
  
  KyleAMathews
  and
  Isaac
  committed
  4284ba7
- docs(oracles): open the law block with what the oracle owns, then the code block
  
  KyleAMathews
  and
  Isaac
  committed
  714b3d6
- docs(oracles): keep the opening sentences to about 40 words
  
  KyleAMathews
  and
  Isaac
  committed
  a05cbba
- docs(oracles): rewrap the opening-sentences item
  
  KyleAMathews
  and
  Isaac
  committed
  9c5a3e2
- docs(oracles): write the law block for maintainers and serious users
  
  KyleAMathews
  and
  Isaac
  committed
  b5836fb
- docs(oracles): a guided first session, and the oracle file written once
  
  KyleAMathews
  and
  Isaac
  committed
  cf64491
- docs(oracles): rewrite the first session as a guided, probe-first walk to the aha
  
  KyleAMathews
  and
  Isaac
  committed
  8c8311e
- docs(oracles): restore what the rewrite dropped, and align start, setup, and design
  
  KyleAMathews
  and
  Isaac
  committed
  cc88112
- docs(oracles-start): old or other test runners, private worksheet labels, decisions as authority
  
  KyleAMathews
  and
  Isaac
  committed
  171bb54
- docs(oracles-start): pick the spot when asked to, and how to run a probe
  
  KyleAMathews
  and
  Isaac
  committed
  7294946
- docs(oracles-start): show a design for sign-off in plain lines
  
  KyleAMathews
  and
  Isaac
  committed
  3f1faf1
- docs(oracles-start): the opening says what the session will do before it asks
  
  KyleAMathews
  and
  Isaac
  committed
  1a0f29b
- docs(oracles-design): the law block does not tell the story of the session
  
  KyleAMathews
  and
  Isaac
  committed
  a04abba
- docs(oracles-start): approved potential laws are laws; gloss framework terms
  
  KyleAMathews
  and
  Isaac
  committed
  06706c6
- docs(oracles-start): the walk-through follows one bug through the file
  
  KyleAMathews
  and
  Isaac
  committed
  e1085aa
- docs(oracles): probes import source when the build is missing; fix-history is a start; config name without type module
  
  KyleAMathews
  and
  Isaac
  committed
  5d44534
- docs(oracles): the private worksheet says backing, not status; decisions as dated authority
  
  KyleAMathews
  and
  Isaac
  committed
  d614a44
- docs(oracles-start): list fast-check and vitest even when npm installed them as peers
  
  KyleAMathews
  and
  Isaac
  committed
  1d32560
- docs(oracles-start): what to do when Node cannot load the source for a probe
  
  KyleAMathews
  and
  Isaac
  committed
  88c759f
- docs(oracles-start): a commit message that states an intent is an authority to quote
  
  KyleAMathews
  and
  Isaac
  committed
  3b486ba
- docs(oracles-start): with no bug, show the oracle catching a planted one in a scratch copy
  
  KyleAMathews
  and
  Isaac
  committed
  84cdc75
- docs(oracles-start): the lint that waits is the oracles plugin, not the repository's own
  
  KyleAMathews
  and
  Isaac
  committed
  3dbf0eb
- docs(oracles-start): present the same way when the oracles found no bug
  
  KyleAMathews
  and
  Isaac
  committed
  4d421ca
- docs(oracles): one law per property; always show the contract; pin Vitest 4.1 in a first session
  
  KyleAMathews
  and
  Isaac
  committed
  00509ed
- docs(oracles): a decision as authority names who made it, with their GitHub login
  
  KyleAMathews
  and
  Isaac
  committed
  16426a7
- Merge origin/main into docs/oracle-skills
  
  KyleAMathews
  and
  Isaac
  committed
  95d3b99
- docs(oracles): match main: declareOracle is deleted, legacyCampaigns is removed
  
  KyleAMathews
  and
  Isaac
  committed
  fd3a799
- docs(oracles): probes learn what the oracle needs; a passing first oracle runs the gap check; the AGENTS.md block governs from the start
  
  KyleAMathews
  and
  Isaac
  committed
  4a85561
- docs(oracles-start): show the questions the probes will answer in the chat, before probing
  
  KyleAMathews
  and
  Isaac
  committed
  4749f61
- docs(oracles): resolve cross-file drift from the day's edits
  
  KyleAMathews
  and
  Isaac
  committed
  5bc7e2f
- docs(oracles-start): milestones to work toward; the engineer decides when the session ends
  
  KyleAMathews
  and
  Isaac
  committed
  da4d6da
- docs(oracles-start): move install and probe special cases to references/problems.md
  
  KyleAMathews
  and
  Isaac
  committed
  8f7f134
- docs(oracles): developer and maintainer as the two roles; terms reconciled; a preview feedback log
  
  KyleAMathews
  and
  Isaac
  committed
  9d16dbb
- docs(oracles-start): keep the preview feedback log in the repository, not the home directory
  
  KyleAMathews
  and
  Isaac
  committed
  1a9e80e
- docs(oracles-start): link to the AGENTS.md block in oracles-setup step 4
  
  KyleAMathews
  and
  Isaac
  committed
  835ec4b
- docs(oracles-start): when to ask for the GitHub login; create the feedback log at the start
  
  KyleAMathews
  and
  Isaac
  committed
  7d086f3
- docs(oracles): examples that do not prime a validation repository; the repo's module-type warning is harmless
  
  KyleAMathews
  and
  Isaac
  committed
  48ca60c
- docs(oracles-start): before production the lint rule means the repo's lint; no gap check on a failing oracle
  
  KyleAMathews
  and
  Isaac
  committed
  3512d0c
- docs(oracles-design): lint in a first session is the repository's own
  
  KyleAMathews
  and
  Isaac
  committed
  6001ec1
- docs(oracles-design): B6 does not forbid the check of a no-throw law
  
  KyleAMathews
  and
  Isaac
  committed
  0c2b7d7
- docs(oracles): always build the strongest model the laws need; never offer a weaker one as a choice
  
  KyleAMathews
  and
  Isaac
  committed
  68856a3
- docs(oracles): the package README is one sentence and the prompt
  
  KyleAMathews
  and
  Isaac
  committed
  0aff4dd
- docs(oracles-start): talk about the developer's code in its own terms, not the skill's
  
  KyleAMathews
  and
  Isaac
  committed
  bc4544c
- docs(oracles-start): examples from a fictional retry helper, not a repository under test
  
  KyleAMathews
  and
  Isaac
  committed
  2179c2f
- docs(oracles-start): present spots, explain every new word, oracle first then fix, close gaps until something turns up
  
  KyleAMathews
  and
  Isaac
  committed
  23af0bf
Commits on Nov 12, 2026
- docs(oracles-start): present findings as classes of bugs, never minimized
  
  KyleAMathews
  and
  Isaac
  committed
  daab435
- docs(oracles-start): the oracle captures and enforces design; walk-through after the first fix; gap filling toward full enforcement; ship or keep going
  
  KyleAMathews
  and
  Isaac
  committed
  9dbe4af

Commits

Commits on Nov 10, 2026

Commits on Nov 11, 2026

Commits on Nov 12, 2026