55229f6604
- Lock solver model to kimi-k2.6 independent of unit-type router - Executor prompt no longer requires checkpoint tool call - Add dedicated solver pass that reads executor transcript and emits canonical checkpoint - Classify executor refusals as blocker outcomes (already partially implemented) - Classify no-op iterations (continue with zero work) as missing-checkpoint-retry - Add tests for executor prompt block, solver pass prompt, no-op detection, and no-op assessment Fixes sf-mp34nxb6-27zdx7 |
||
|---|---|---|
| .. | ||
| 0000-purpose-to-software-compiler.md | ||
| 0001-promote-only-sf-state.md | ||
| 0002-sf-schedule-pull-based.md | ||
| 0075-uok-gate-architecture.md | ||
| 0076-uok-memory-integration.md | ||
| 0077-spec-runtime-evidence-schema-separation.md | ||
| 0078-vault-credential-resolution.md | ||
| 0079-autonomous-solver-executor-separation.md | ||
| README.md | ||
docs/adr/
Accepted architecture decision records (ADRs).
Start with ADR-0000: SF Is a Purpose-to-Software Compiler. It is the foundational product/architecture decision; later ADRs refine pieces of that contract.
What belongs here
- Final, accepted architectural decisions that affect the project.
- Decisions that have been promoted from
.sf/DECISIONS.md.
What does NOT belong here
- Draft decisions still under discussion.
- Implementation plans (use
docs/plans/). - Specifications (use
docs/specs/).
Naming convention
0001-<slug>.md — zero-padded four digits, auto-numbered by sf plan promote --to docs/adr.
0000-* is reserved for foundational doctrine that later ADRs depend on.