Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Scope slice 0 as guards made independent then src reset, with audit and deploy as slice 0.5 Intent: Record stone's decision (ba2c79940b): make the guards independent of src/ by moving what they need into spec/support/, reset src/ to nothing, use the existing audit binary meanwhile, and rebuild audit and deploy as a slice before slice 1, under precept C1 (File Boundedness) and precept A2 (Artifact Audit). Expression: docs/slices.md's slice 0 now names the three parts of spec/ that use the library (spec_helper through OCX::Checkout, question_spec through OCX::Question, provenance_spec through OCX::Deploy and the deploy tool's source) and what becomes of each; says the release's audit binary records verdicts meanwhile and that deploy was never a binary, so staging waits for its slice; and adds slice 0.5, audit and deploy. Demonstrates: the release directory holds audit and no deploy binary (listed with ls); grep of spec/ finds library use only in spec/spec_helper.cr, spec/guards/question_spec.cr and spec/guards/provenance_spec.cr; spec/guards/documents_spec.cr and spec/guards/size_spec.cr pass (docs/slices.md 165 lines); crystal run ci.cr green, 232 examples. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | ocx-human-feedback |
| Files: | files | file ages | folders |
| SHA3-256: |
ae8abac268f9ee31988d8bb626b35e1b |
| User & Date: | opus-ocx 2026-10-03 16:57:42.045 |
Context
|
2026-10-03
| ||
| 17:30 | Slice 0: reset src/ to nothing, keeping the guards, CI, documents and data Intent: Begin the rebuild on a new ocx2 branch as stone chose (ba2c79940b, 7fcdcca8bf) and docs/slices.md scopes it: the guards are made independent of src/, then src/ and tools/ are emptied, keeping the documentation, every guard, CI, the data files and the gap lists, with scripts/ untouched, under precept C1 (File Boundedness) and precept A1 (Visible Evidence). Expression: The clone reader the guards use (checkout, checkins, repository) and the question parser move into spec/support/; the check-in guard lists a check-in's tree with fossil ls instead of decoding manifests; src/, tools/, spec/ocx/ and spec/runners/ are removed (118 files). Guards that pinned removed files now hold any code that returns to their rule and keep a planted refutation (confinement, environment, external programs, survey, sourcing); provenance waits for the deploy slice through a new awaiting_slice list in docs/precepts/exceptions.json. The data that named source files shrinks with it: exceptions, the coverage ratchet, modules.json and its generated modules.md, facts.json, the survey and its gaps, docs/interfaces.md (30 rows now pinned by none since the reset), and the precepts' unrefuted gaps. ci.cr formats only directories that exist and skips coverage while src/ is empty; shard.yml builds only the scripts/ targets. AGENTS.md, USAGE.md, HISTORY.md and docs/slices.md say so; AGENTS.md points at the accepted release's task and audit binaries. Demonstrates: crystal run ci.cr on the reset tree: green, 88 examples, 0 failures, precept ledger 19 precepts and 0 gaps, coverage skipped with src/ empty, 0 tools build; scripts/ has no changes. check-in: a7b8ae7ebd user: opus-ocx tags: ocx2 | |
| 16:57 | Scope slice 0 as guards made independent then src reset, with audit and deploy as slice 0.5 Intent: Record stone's decision (ba2c79940b): make the guards independent of src/ by moving what they need into spec/support/, reset src/ to nothing, use the existing audit binary meanwhile, and rebuild audit and deploy as a slice before slice 1, under precept C1 (File Boundedness) and precept A2 (Artifact Audit). Expression: docs/slices.md's slice 0 now names the three parts of spec/ that use the library (spec_helper through OCX::Checkout, question_spec through OCX::Question, provenance_spec through OCX::Deploy and the deploy tool's source) and what becomes of each; says the release's audit binary records verdicts meanwhile and that deploy was never a binary, so staging waits for its slice; and adds slice 0.5, audit and deploy. Demonstrates: the release directory holds audit and no deploy binary (listed with ls); grep of spec/ finds library use only in spec/spec_helper.cr, spec/guards/question_spec.cr and spec/guards/provenance_spec.cr; spec/guards/documents_spec.cr and spec/guards/size_spec.cr pass (docs/slices.md 165 lines); crystal run ci.cr green, 232 examples. Leaf check-in: ae8abac268 user: opus-ocx tags: ocx-human-feedback | |
| 16:29 | Scope the first rebuild slices in docs/slices.md Intent: Answer ec2-user's scoping request (a001dc306e) for slice 0 (the reset), slice 1 (one ocx2 binary with CLI, CGI, MCP and hook entry styles chosen by argv[0]) and slice 2 (one fenced definition record and a simple daemon), with the needs each wrapper must validate and the references behind them, under precept C6 (Explicit Arguments) and precept C7 (Pinned Interfaces). Expression: docs/slices.md lists what slice 0 keeps, found by tracing requires: the documents, CI, guards and gates, and the 9 library files of 57 that spec_helper, three guards and the audit and deploy tools need; and the data files that name source files exactly and must shrink in the same check-in. For slice 1 it gives the entry names, a command class enumerated by a macro as the single source of each command's documentation and maintained example, the context each style fills from its own inputs (citing Fossil's server-extension and hook documentation), the undirected run's usage and status, and a hook log for feedback. For slice 2 it gives the fenced unit record, why the reader must accept fencing (69bf7e7e9a was skipped), and the daemon's job. Demonstrates: spec/guards/documents_spec.cr renders docs/slices.md with every link resolving and spec/guards/size_spec.cr passes (138 lines); fossil help hook confirms hook test and hook status; crystal run ci.cr green, 232 examples, coverage 96.4%, 10 tools build. check-in: 2a99b12de4 user: opus-ocx tags: ocx-human-feedback | |
Changes
Changes to docs/slices.md.