Ollama-Codex: Check-in [fdb2b84ecd]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview

Comment:	OCX: plan, precepts as guarded conditionals, parity contract, one CI command Intent: begin the parallel rebuild line decided on 2026-09-21. State the four causes and three axioms, derive sixteen precepts as conditionals with one guard spec each, fix the parity contract with trunk, and reset the tree so nothing from trunk's source carries over unstated. Trunk is untouched; the timeline keeps its history. Expression: PLAN.md (causes, axioms, precepts, parity contract, phases, working rules, decisions), README.md, shard.yml with an exact compiler pin, ci.cr as the one CI command with explicit host and merge-gate modes, src/ocx/question.cr (the question shape put to the maintainer), spec/guards/ (thirteen tree guards), host/ (three guards that inspect the running Fossil server, discovered from its own command line), gate/ (the parity gate). 337 trunk files removed on this branch. Demonstrates: crystal run ci.cr (16 precepts, 0 gaps; 25 examples green). crystal run ci.cr -- host fails today on I5 (three served repositories in WAL mode) and A4 (served CGI links resolve into a checkout), which are operator steps on the maintainer's word. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01QBEovXRBLmZ2rts65raJT7
Downloads:	Tarball \| ZIP archive
Timelines:	family \| ancestors \| descendants \| both \| ocx \| audited
Files:	files \| file ages \| folders
SHA3-256:	fdb2b84ecdc467b2e37344b6cbac2030b324a41b0a56f7a96813d538f3dc5519
User & Date:	fable 2026-09-21 18:03:26.360

Context

2026-09-21
18:06		Version the spec helper; guards read check-in comments from the database Intent: the first check-in omitted spec/spec_helper.cr (re-created at a path the same check-in deleted, so `add` skipped it), and its check-in guard read comments through the timeline command, which flattens lines. Both are corrected here rather than hidden by amending history. Expression: spec/spec_helper.cr is now versioned. It reads each branch check-in's hash and hex-encoded comment with one SQL query over event, blob, tagxref and mlink, replacing the timeline parse; the branch name comes from `fossil branch current`, never a constant. Demonstrates: crystal run ci.cr (spec/guards/checkin_spec.cr judges both check-ins on this branch; spec/guards/audit_spec.cr reports coverage over them) Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01QBEovXRBLmZ2rts65raJT7 check-in: e765fc4018 user: fable tags: ocx, audited
18:03		OCX: plan, precepts as guarded conditionals, parity contract, one CI command Intent: begin the parallel rebuild line decided on 2026-09-21. State the four causes and three axioms, derive sixteen precepts as conditionals with one guard spec each, fix the parity contract with trunk, and reset the tree so nothing from trunk's source carries over unstated. Trunk is untouched; the timeline keeps its history. Expression: PLAN.md (causes, axioms, precepts, parity contract, phases, working rules, decisions), README.md, shard.yml with an exact compiler pin, ci.cr as the one CI command with explicit host and merge-gate modes, src/ocx/question.cr (the question shape put to the maintainer), spec/guards/ (thirteen tree guards), host/ (three guards that inspect the running Fossil server, discovered from its own command line), gate/ (the parity gate). 337 trunk files removed on this branch. Demonstrates: crystal run ci.cr (16 precepts, 0 gaps; 25 examples green). crystal run ci.cr -- host fails today on I5 (three served repositories in WAL mode) and A4 (served CGI links resolve into a checkout), which are operator steps on the maintainer's word. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01QBEovXRBLmZ2rts65raJT7 check-in: fdb2b84ecd user: fable tags: ocx, audited
18:01		Create new branch named "ocx" check-in: 853d7bbb65 user: fable tags: ocx, audited

Changes

Deleted .claude/settings.json.

Deleted .claude/skills/deploy-verify/SKILL.md.

Changes to .fossil-settings/ignore-glob.

Deleted .gitignore.

Deleted AGENTS.md.

Deleted BACKLOG.md.

Deleted CONTRIBUTING.md.

Added PLAN.md.

Deleted PROGRESS.md.

Changes to README.md.

Deleted TODO.md.

Deleted bin/claude-mcp-session.

Changes to ci.cr.

Deleted config.yml.example.

Deleted docs/architecture.md.

Deleted docs/axiom-ledger.md.

Deleted docs/backup.md.

Deleted docs/beaglebadge-provisioning.md.

Deleted docs/browser-validation.md.

Deleted docs/console-contract.md.

Deleted docs/dependency-ledger.md.

Deleted docs/desktop-bridge-runbook.md.

Deleted docs/fossil-auth-cgi.md.

Deleted docs/fossil-native-conversations.md.

Deleted docs/fossil-operations-safety.md.

Deleted docs/isolated-task-checkouts.md.

Deleted docs/local-model-conditioning.md.

Deleted docs/mirror-sync-marks-adoption.md.

Deleted docs/model-build-flow.md.

Deleted docs/model-evaluation.md.

Deleted docs/multi-repo-phase2-manifest-sketch.md.

Deleted docs/multiproject-worker.md.

Deleted docs/precepts.txt.

Deleted docs/project-context.md.

Deleted docs/retire-checkout-root.md.

Deleted docs/review-checklist.md.

Deleted docs/run-chat-cgi.md.

Deleted docs/runtime-setup.md.

Deleted docs/saved-chat-storage.md.

Deleted docs/semantic-search-beginners-guide.md.

Deleted docs/session-isolation.md.

Deleted docs/ticket-workflow.md.

Deleted docs/vector-search.md.

Deleted docs/vision.md.

Deleted docs/write-topology.md.

Deleted fossil-skin/mainmenu.

Added gate/parity_gate_spec.cr.

Added host/deploy_spec.cr.

Added host/journal_mode_spec.cr.

Added host/served_writers_spec.cr.

Deleted model-evals/ab-20260707/README.md.

Deleted model-evals/ab-20260707/ab-run.sh.

Deleted model-evals/ab-20260707/aggregate.txt.

Deleted model-evals/ab-20260707/collect.py.

Deleted model-evals/ab-20260707/prompts/t1-full.md.

Deleted model-evals/ab-20260707/prompts/t1-min.md.

Deleted model-evals/ab-20260707/prompts/t2-full.md.

Deleted model-evals/ab-20260707/prompts/t2-min.md.

Deleted model-evals/ab-20260707/prompts/t3-full.md.

Deleted model-evals/ab-20260707/prompts/t3-min.md.

Deleted model-evals/ab-20260707/prompts/t4-full.md.

Deleted model-evals/ab-20260707/prompts/t4-min.md.

Deleted model-evals/ab-20260707/summary.tsv.

Deleted models/codex-crystal-gemma4.Modelfile.

Deleted models/codex-crystal-gemma4.system.md.

Deleted ollama.fossil.

Deleted prompts/claude-preprompt.md.

Deleted prompts/local-codex-preprompt.md.

Deleted schemas/codex-task-report.schema.json.

Deleted scripts/claude-mcp-session.sh.

Deleted scripts/sync-fossil.sh.

Deleted shard.lock.

Changes to shard.yml.

Deleted skills/agent-tool-supervisor/SKILL.md.

Deleted skills/fossil-cgi-agent-builder/SKILL.md.

Deleted skills/fossil-cgi-agent-builder/agents/openai.yaml.

Deleted skills/fossil-cgi-agent-builder/references/architecture.md.

Deleted skills/fossil-cgi-agent-builder/references/security.md.

Deleted skills/ollama-codex-runner/SKILL.md.

Deleted skills/ollama-codex-runner/agents/openai.yaml.

Deleted skills/ollama-codex-runner/references/orchestration.md.

Deleted skills/ollama-codex-runner/scripts/check_ollama.cr.

Deleted skin/apply-note.md.

Deleted skin/css.

Deleted skin/details.

Deleted skin/footer.

Deleted skin/header.

Deleted spec/activity_report_spec.cr.

Deleted spec/agent_runner_spec.cr.

Deleted spec/agent_tool_ops_spec.cr.

Deleted spec/agent_tool_spec.cr.

Deleted spec/ambient_resolution_guard_spec.cr.

Deleted spec/auth_spec.cr.

Deleted spec/axiom_ledger_spec.cr.

Deleted spec/badge_controller_spec.cr.

Deleted spec/badge_spec_run_spec.cr.

Deleted spec/bridge_jobs_spec.cr.

Deleted spec/capability_spec.cr.

Deleted spec/centralization_guard_spec.cr.

Deleted spec/cgi_integration_spec.cr.

Deleted spec/chat_agent_spec.cr.

Deleted spec/chat_workspace_spec.cr.

Deleted spec/checkout_log_sweep_spec.cr.

Deleted spec/checkout_sweep_spec.cr.

Deleted spec/ci_job_spec.cr.

Deleted spec/claude_stream_spec.cr.

Deleted spec/codex_stream_spec.cr.

Deleted spec/config_spec.cr.

Deleted spec/coordinator_digest_spec.cr.

Deleted spec/coordinator_tick_spec.cr.

Deleted spec/crystal_first_guard_spec.cr.

Deleted spec/daemon_poll_contention_spec.cr.

Deleted spec/dependency_ledger_spec.cr.

Deleted spec/deploy_checkout_hygiene_guard_spec.cr.

Deleted spec/docs_artifact_spec.cr.

Deleted spec/forgejo_mirror_survey_spec.cr.

Deleted spec/forum_ipc_spec.cr.

Deleted spec/forum_writer_spec.cr.

Deleted spec/fossil_chat_spec.cr.

Deleted spec/fossil_delta_spec.cr.

Deleted spec/fossil_fixture_env_pin_spec.cr.

Deleted spec/fossil_forum_spec.cr.

Deleted spec/fossil_identity_spec.cr.

Deleted spec/fossil_locked_spec.cr.

Deleted spec/fossil_subprocess_lockout_spec.cr.

Deleted spec/git_http_handler_spec.cr.

Deleted spec/glossary_spec.cr.

Added spec/guards/audit_spec.cr.

Added spec/guards/checkin_spec.cr.

Added spec/guards/config_state_spec.cr.

Added spec/guards/dependency_ledger_spec.cr.

Added spec/guards/environment_spec.cr.

Added spec/guards/ledger_spec.cr.

Added spec/guards/naming_spec.cr.

Added spec/guards/outcome_home_spec.cr.

Added spec/guards/parity_spec.cr.

Added spec/guards/question_spec.cr.

Added spec/guards/repository_neutral_spec.cr.

Added spec/guards/runner_adapter_spec.cr.

Added spec/guards/size_spec.cr.

Deleted spec/import_deploy_spec.cr.

Deleted spec/import_project_spec.cr.

Deleted spec/import_refresh_spec.cr.

Deleted spec/import_web_spec.cr.

Deleted spec/interop_spec.cr.

Deleted spec/isolated_task_spec.cr.

Deleted spec/isolation_runner_spec.cr.

Deleted spec/isolation_spec.cr.

Deleted spec/job_tools_spec.cr.

Deleted spec/jobs_launch_spec.cr.

Deleted spec/jobs_reports_spec.cr.

Deleted spec/jobs_stop_spec.cr.

Deleted spec/leftover_addremove_symlink_loop_spec.cr.

Deleted spec/limit_banner_spec.cr.

Deleted spec/live_events_spec.cr.

Deleted spec/markdown_spec.cr.

Deleted spec/mcp_server_capability_spec.cr.

Deleted spec/mcp_server_spec.cr.

Deleted spec/merge_authority_spec.cr.

Deleted spec/merge_deploy_spec.cr.

Deleted spec/mirror_sync_spec.cr.

Deleted spec/model_builder_spec.cr.

Deleted spec/model_provider_spec.cr.

Deleted spec/multiproject_acceptance_spec.cr.

Deleted spec/needs_you_spec.cr.

Deleted spec/node_profile_spec.cr.

Deleted spec/ollama_gpu_spec.cr.

Deleted spec/ollama_ps_spec.cr.

Deleted spec/ollama_tool_agent_spec.cr.

Deleted spec/paths_spec.cr.

Deleted spec/peer_bump_in_fossil_spec.cr.

Deleted spec/peer_influence_spec.cr.

Deleted spec/peer_manifest_spec.cr.

Deleted spec/peer_registry_spec.cr.

Deleted spec/peer_resolve_spec.cr.

Deleted spec/peer_sandbox_spec.cr.

Deleted spec/peer_views_spec.cr.

Deleted spec/peers_init_spec.cr.

Deleted spec/plan_check_spec.cr.

Deleted spec/preview_deploy_spec.cr.

Deleted spec/project_context_spec.cr.

Deleted spec/project_registry_spec.cr.

Deleted spec/provider_chat_spec.cr.

Deleted spec/provider_env_coordinator_spec.cr.

Deleted spec/provider_protocol_spec.cr.

Deleted spec/providers_spec.cr.

Deleted spec/render_budget_spec.cr.

Deleted spec/repo_bootstrap_spec.cr.

Deleted spec/repo_offline_spec.cr.

Deleted spec/repo_quarantine_spec.cr.

Deleted spec/repo_role_spec.cr.

Deleted spec/repo_write_lock_spec.cr.

Deleted spec/repository_health_spec.cr.

Deleted spec/robots_cgi_spec.cr.

Deleted spec/robots_parser_spec.cr.

Deleted spec/sandbox_secrets_spec.cr.

Deleted spec/served_peer_deploy_spec.cr.

Deleted spec/session_agent_spec.cr.

Deleted spec/session_claude_drive_spec.cr.

Deleted spec/session_store_spec.cr.

Deleted spec/shell_job_spec.cr.

Deleted spec/skin_render_spec.cr.

Deleted spec/spec_helper.cr.

Deleted spec/sync_repos_spec.cr.

Deleted spec/task_queue_spec.cr.

Deleted spec/task_worker_integration_spec.cr.

Deleted spec/task_worker_redeploy_spec.cr.

Deleted spec/task_worker_spec.cr.

Deleted spec/task_worker_workspace_lock_spec.cr.

Deleted spec/ticket_schema_rollout_spec.cr.

Deleted spec/ticket_triage_spec.cr.

Deleted spec/turn_watchdog_spec.cr.

Deleted spec/ui_spec.cr.

Deleted spec/vec_embed_roundtrip_spec.cr.

Deleted spec/vec_embedder_spec.cr.

Deleted spec/vec_indexer_spec.cr.

Deleted spec/vec_ingest_spec.cr.

Deleted spec/vec_manifest_spec.cr.

Deleted spec/vec_reindex_spec.cr.

Deleted spec/vec_resilience_spec.cr.

Deleted spec/vec_scan_timing_spec.cr.

Deleted spec/vec_search_hybrid_spec.cr.

Deleted spec/vec_search_spec.cr.

Deleted spec/vec_staleness_job_spec.cr.

Deleted spec/vec_staleness_spec.cr.

Deleted spec/vec_store_counts_spec.cr.

Deleted spec/vec_summarizer_spec.cr.

Deleted spec/worker_daemon_spec.cr.

Deleted spec/worker_service_spec.cr.

Deleted spec/write_topology_regen_spec.cr.

Deleted spec/write_topology_spec.cr.

Deleted src/activity_report.cr.

Deleted src/agent_runner.cr.

Deleted src/agent_tool.cr.

Deleted src/agent_tool_cli.cr.

Deleted src/agent_tool_main.cr.

Deleted src/auth.cr.

Deleted src/axiom_ledger.cr.

Deleted src/badge_controller.cr.

Deleted src/bootstrap.cr.

Deleted src/bridge_jobs.cr.

Deleted src/capability.cr.

Deleted src/chat_agent.cr.

Deleted src/chat_cgi_app.cr.

Deleted src/chat_workspace.cr.

Deleted src/checkout_sweep.cr.

Deleted src/claude_stream.cr.

Deleted src/codex_stream.cr.

Deleted src/config.cr.

Deleted src/crystal_first_guard.cr.

Deleted src/dependency_ledger.cr.

Deleted src/docs_builder.cr.

Deleted src/docs_cgi.cr.

Deleted src/docs_cgi_app.cr.

Deleted src/embedded_indexes.cr.

Deleted src/forgejo_mirror_survey.cr.

Deleted src/forum_ipc.cr.

Deleted src/forum_writer.cr.

Deleted src/fossil_bounded.cr.

Deleted src/fossil_chat.cr.

Deleted src/fossil_delta.cr.

Deleted src/fossil_forum.cr.

Deleted src/fossil_locked.cr.

Deleted src/git_http_handler.cr.

Deleted src/glossary.cr.

Deleted src/import_deploy.cr.

Deleted src/interop.cr.

Deleted src/isolated_task.cr.

Deleted src/isolation.cr.

Deleted src/jobs/launch.cr.

Deleted src/jobs/record.cr.

Deleted src/jobs/reports.cr.

Deleted src/jobs/stop.cr.

Deleted src/jobs/workspace.cr.

Deleted src/limit_banner.cr.

Deleted src/live_events.cr.

Deleted src/main.cr.

Deleted src/markdown.cr.

Deleted src/mcp_server.cr.

Deleted src/mcp_server_main.cr.

Deleted src/merge_authority.cr.

Deleted src/merge_deploy.cr.

Deleted src/mirror_sync.cr.

Deleted src/model_builder.cr.

Deleted src/model_provider.cr.

Deleted src/native_sandbox.cr.

Deleted src/needs_you.cr.

Deleted src/node_profile.cr.

Added src/ocx/question.cr.

Deleted src/ollama.cr.

Deleted src/ollama_codex.cr.

Deleted src/ollama_ps.cr.

Deleted src/ollama_task_runner.cr.

Deleted src/ollama_task_runner_cli.cr.

Deleted src/ollama_tool_agent.cr.

Deleted src/paths.cr.

Deleted src/peer_manifest.cr.

Deleted src/peer_registry.cr.

Deleted src/peer_views.cr.

Deleted src/plan_check.cr.

Deleted src/preview_deploy.cr.

Deleted src/project_context.cr.

Deleted src/project_registry.cr.

Deleted src/provider_chat.cr.

Deleted src/provider_env.cr.

Deleted src/provider_protocol.cr.

Deleted src/providers.cr.

Deleted src/repo_bootstrap.cr.

Deleted src/repo_live_signal.cr.

Deleted src/repo_offline.cr.

Deleted src/repo_quarantine.cr.

Deleted src/repo_write_lock.cr.

Deleted src/repository_health.cr.

Deleted src/repository_reference.cr.

Deleted src/robots_cgi.cr.

Deleted src/robots_cgi_app.cr.

Deleted src/robots_parser.cr.

Deleted src/robots_store.cr.

Deleted src/sandbox_secrets.cr.

Deleted src/served_peer_deploy.cr.

Deleted src/session_agent.cr.

Deleted src/session_store.cr.

Deleted src/stdlib_index_builder.cr.

Deleted src/sync_repos.cr.

Deleted src/task_analysis.cr.

Deleted src/task_notes.cr.

Deleted src/task_queue.cr.

Deleted src/task_queue_cli.cr.

Deleted src/task_worker.cr.

Deleted src/task_worker_main.cr.

Deleted src/test_server.cr.

Deleted src/ticket_schema_rollout.cr.

Deleted src/ticket_triage.cr.

Deleted src/turn_watchdog.cr.

Deleted src/ui.cr.

Deleted src/vec_chunker.cr.

Deleted src/vec_embedder.cr.

Deleted src/vec_indexer.cr.

Deleted src/vec_ingest.cr.

Deleted src/vec_manifest.cr.

Deleted src/vec_reindex.cr.

Deleted src/vec_search.cr.

Deleted src/vec_staleness.cr.

Deleted src/vec_staleness_job.cr.

Deleted src/vec_store.cr.

Deleted src/vec_summarizer.cr.

Deleted src/worker_daemon.cr.

Deleted src/worker_service.cr.

Deleted src/write_topology.cr.

Deleted start-fossil.sh.

Deleted tests/chat-cgi-test-plan.md.

Deleted tests/playwright/happy-path.spec.js.

Deleted tests/playwright/playwright.config.js.

Deleted tests/playwright/setup.js.

Deleted tools/generate_axiom_ledger.cr.

Deleted tools/generate_dependency_ledger.cr.

Deleted tools/generate_write_topology.cr.

Deleted tools/vec_bench.cr.

Deleted triage/active-tickets-2026-08-20.md.

Deleted unused.fossil.