Crafter.Review/implementations/Crafter.Review-Core.cpp

81 lines
3 KiB
C++
Raw Permalink Normal View History

// SPDX-License-Identifier: AGPL-3.0-only
// SPDX-FileCopyrightText: Copyright (C) 2026 Catcrafts®
module Crafter.Review:Core_impl;
import :Core;
import :Platform;
import :Text;
import :Crypto;
import std;
namespace fs = std::filesystem;
namespace Crafter::Review {
namespace {
std::optional<fs::path>& HomeOverride() {
static std::optional<fs::path> home;
return home;
}
bool HoldsLenses(const fs::path& dir) {
std::error_code error;
return !dir.empty() && fs::is_directory(dir / "process" / "lenses", error);
}
fs::path FindHome() {
if (!Platform::InSandbox()) {
if (const std::optional<std::string> configured = Platform::GetEnv("CRAFTER_REVIEW_HOME"); configured && !configured->empty()) {
if (HoldsLenses(*configured)) return *configured;
throw std::runtime_error(std::format("CRAFTER_REVIEW_HOME={} holds no process/lenses", *configured));
}
}
const fs::path exe = Platform::SelfExe();
const fs::path installed = exe.parent_path().parent_path() / "share" / "crafter-review";
if (HoldsLenses(installed)) return installed;
// <checkout>/bin/crafter.review-exe-<variant>/crafter-review
const fs::path variant = exe.parent_path();
if (variant.filename().string().starts_with("crafter.review-exe-") && variant.parent_path().filename() == "bin") {
const fs::path checkout = variant.parent_path().parent_path();
if (HoldsLenses(checkout)) return checkout;
}
throw std::runtime_error(std::format("no process/lenses beside {} (neither {} nor a checkout's bin/): set CRAFTER_REVIEW_HOME", exe.string(), installed.string()));
}
}
std::string_view Version() {
return CRAFTER_REVIEW_VERSION;
}
std::string DriverLine() {
return std::format("crafter-review {} (prompt v{})", Version(), PromptVersion);
}
feat(pipeline): the pure pipeline, checked against its goldens The modules that turn a frozen range into passes and passes into a verdict: :Schema, :Tools (the DENY, git and base lists, a leaf, so the config and the pool both read them), :Plan, :Artifact, :Inventory, :Dispositions, :State, :Normalize, :Stream, :Prompt, :Config, and the URL half of :PgWire. Units, jobs, results, the config and the claude stream stay JSON from end to end, so every key keeps its place; :Text gives JSON values truthiness, get, ==, membership and Str(), and throws Dyn::Error under a name for each kind of unexpected data. Exactness where the bytes are seen: - the stream classifiers are hand-written scanners with case-insensitive folds (the Kelvin sign is a k), Unicode \b and \s, and `.` stopping at \n; the SQL call detection takes `<exe> sql` with any path before it; - config problems carry the JSON scanner's and the UTF-8 decoder's own texts, positions included; - a float total is Neumaier's compensated sum, and the build passes -ffp-contract=off: -march=native would fuse a*b+c; - `crafter-review inventory` and `config` print what the goldens record, byte for byte (the fixture and 14 configs, broken ones included); a message names this binary as the command to run. tests/Goldens: the recorded answers over the fixtures next to them (the commits fixture, a rich versioned series with CRLF, a folded subject, Markdown headings in and out of fences, the code-key rewrites); the suite compares 2304 results as DumpFile writes them, so a key out of order fails too. All agree. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-31 06:48:55 +01:00
std::string Invocation() {
if (Platform::InSandbox()) return "flatpak run net.catcrafts.CrafterReview";
return Platform::SelfExe().string();
}
const fs::path& Home() {
if (!HomeOverride()) HomeOverride() = FindHome();
return *HomeOverride();
}
void SetHome(fs::path home) {
HomeOverride() = std::move(home);
}
fs::path LensDir() {
return Home() / "process" / "lenses";
}
std::vector<std::pair<std::string, std::string>> CharterHashes() {
std::vector<std::pair<std::string, std::string>> hashes;
std::error_code error;
for (const fs::directory_entry& entry : fs::directory_iterator(LensDir(), error)) {
if (entry.path().extension() != ".md") continue;
hashes.emplace_back(entry.path().filename().string(), Sha256Hex(Dyn::ReadText(entry.path())));
}
std::ranges::sort(hashes);
return hashes;
}
}