Register batch 3 + Stage-1 research note + SPEC-05 (spec-kit)#13
Merged
Conversation
Closes the six candidates carried since the canonical-set authoring session and validated by PR #8: - DEC-22 walkthrough joins the canonical set (§0 contract-defect rule binds) - DEC-23 per-stage demo moments as a standing exit requirement - DEC-24 seam v0.2 additions ratified (GET /objects?class=, delta-on-every knowledge write, POST /select) - DEC-25 G6 propagation honesty as a standing seam invariant - DEC-26 findings ledger joins the canonical set (sole home of findings) - DEC-27 SME checkpoints as standing thesis-transition gates Batch-propagation sweep (register-first): constitution bump 1.0.0 → 1.1.0 with Sync Impact Report and G1–G6; seam contract §G v0.4 (G6 ratified); concept §6 candidates struck through to their DEC ids and §4 table updated; walkthrough/findings status lines to canonical; build-plan and comms-plan candidate pointers resolved; README map and CLAUDE.md current-phase line. Closes #9 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015AJq2cV6gzdbKRAEQHNeuJ
…h mapping DEC-11 gate for Stage 1. Decides the ConfidenceBand → band-width mapping DEC-16 deferred here: - ICD 203's two axes (estimative-probability lexicon vs low/moderate/high confidence) must not be conflated; band width tracks the quantity, confidence tracks the sourcing, so width cannot be derived from confidence. - The honest coupling is a minimum-relative-width floor (low 0.25 / moderate 0.10 / high 0; r = (hi−lo)/max(|lo|,|hi|), no midpoint), which every vignette band already clears — enforced as a warning lint at POST /knowledge, recalibrated after Checkpoint 1 (DEC-27). - Vignette questions confirmed doctrinally shaped across JIPOE steps 1–4. - REMIT NF10/K2 re-derivation datum (confidence bounds vs derives width) routed to the findings ledger candidate channel (DEC-3). Propagates the decision into knowledge model §3 and the ConfidenceBand LinkML annotation note (deferred → decided); knowledge model v0.2. Part of #10 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015AJq2cV6gzdbKRAEQHNeuJ
Instantiates SPEC-05 through the spec-kit toolchain (process decision 2026-07-12, from Stage 1 onward), seeded from the build-plan Stage-1 description with its exit criteria as acceptance scenarios: - specs/005-knowledge-service/spec.md — five user stories (K10 refusal / demo moment P1, K8 waiver P2, banded rendering P2, K9 supersede P3, K12 contest P3), FR-001…016, SC-001…007, all citing register DEC ids and invariants G1/G2/G3/G5. - plan.md — Constitution Check (Principles I–VI, G-invariant applicability), real src/ layout reusing store/trace/canonical/validate/components. - research.md, data-model.md, contracts/knowledge-service.md, quickstart.md. - tasks.md — TDD-first per constitution gate 2 (contract-invariant tests confirmed failing before implementation), organised by user story. - checklists/requirements.md — spec quality checklist (validated). Syncs the DEC-16 confidence→band-width decision into the LinkML schema description (docs §11 + schema/*.yaml, extracted verbatim) and regenerates src/generated/types.ts. typecheck + 57 tests green. Part of #10 (SPEC-05 spec-kit gate; implementation of tasks.md remains). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015AJq2cV6gzdbKRAEQHNeuJ
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Works the open queue in dependency order, register-first: ratify the pending register candidates, then open Stage 1 through its two hard gates (research note, then spec-kit). Closes the actionable-by-Claude items now that PR #8 is merged.
Issue #9 — Ratify register batch 3 (ASSAY-DEC-22…27)
Closes the six candidates carried in
assay-concept.md§6.6–6.11 and validated by PR #8:assay-walkthrough.mdjoins the canonical set; its §0 contract-defect rule now bindsGET /objects?class=, delta-on-every-knowledge-write,POST /select)assay-findings.mdjoins the canonical set as the sole home of findingsBatch-propagation sweep (same change): constitution 1.0.0 → 1.1.0 with a Sync Impact Report and G1–G6; seam contract §G v0.4 (G6 ratified); concept §6 candidates struck through to their DEC ids and §4 table updated; walkthrough/findings status lines to canonical; build-plan and comms-plan candidate pointers resolved; README map and CLAUDE.md current-phase line.
Closes #9.
Issue #10 — Stage 1: research note, then SPEC-05 via spec-kit
DEC-11 research gate —
docs/research/01-knowledge.md:r = (hi−lo)/max(|lo|,|hi|), no midpoint) — every vignette band already clears it. Enforced as a warning lint, recalibrated after SME Checkpoint 1 (DEC-27).schema/*.yaml) and regeneratedsrc/generated/types.ts.SPEC-05 via spec-kit —
specs/005-knowledge-service/(numbered 005 to match the SPEC-## convention; no git branch created — work stays on this branch):spec.md— five prioritised user stories (K10 refusal/demo moment P1, K8 waiver P2, banded rendering P2, K9 supersede P3, K12 contest P3), FR-001…016, SC-001…007, citing register DEC ids and invariants G1/G2/G3/G5.plan.md— Constitution Check across Principles I–VI with G-invariant applicability; realsrc/layout reusing store/trace/canonical/validate/components.research.md,data-model.md,contracts/knowledge-service.md,quickstart.md,checklists/requirements.md.tasks.md— TDD-first per constitution quality gate 2 (contract-invariant tests confirmed failing before implementation), organised by user story with[P]parallelism.Addresses #10's research + spec-kit gates. Implementation of
tasks.mdis deliberately left as the next step — issue #10 notes review feedback may redirect Stage 1, so the spec/plan land for review before code is written against them (the spec-kit rhythm).Validation
npm run genclean (only the intended ConfidenceBand comment sync);npm run typecheckclean;npm test— 57 passed. No source behaviour changed in this PR; it is documentation, register, and spec-kit planning artefacts plus the regenerated type comment.🤖 Generated with Claude Code
https://claude.ai/code/session_015AJq2cV6gzdbKRAEQHNeuJ
Generated by Claude Code