Skip to content

v0.1.0 — Generation 1: Pareto engine online

Choose a tag to compare

View all tags
@hyperpolymath hyperpolymath released this 28 Jul 15:30
· 36 commits to main since this release
Immutable release. Only release title and notes can be modified.
v0.1.0
This tag was signed with the committer’s verified signature.
hyperpolymath Jonathan D.A. Jewell
SSH Key Fingerprint: BJeGj94S8bh64mOnX5CuWu4f4HV7Mu9fCkPFHCPrk8g
Verified
Learn about vigilant mode.
bb95ab5
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

First generation-1 release: OikosBot is consumable as a GitHub Action.

Highlights

Pareto optimality is now executable (#42). The design's central economic criterion previously existed only as an unwired Haskell scaffold and an unexecuted Datalog spec. It now ships in the analysis path:

  • ε-tolerant dominance, frontier extraction, and dominated-by ranking — total functions, correcting the reference scaffold (unused weights, unnormalized distances, panic on empty input).
  • Min-max normalization per objective before any distance (gCO2e / joules / bytes are not commensurable), weights folded into the metric: ParetoScore = 100·(1 − weighted distance to frontier).
  • PR verdicts: oikosbot compare BASE HEAD → pareto-improvement / pareto-regression / trade-off / neutral, with per-objective deltas. Confidence-gated — heuristic estimates advise, only measured or calibrated figures may block.
  • Trade-off documentation (Pareto-Trade-off: trailer) is machine-checked; --check opts into enforcement. Advisory by default.
  • EconScore now follows ARCHITECTURE.adoc: 0.5·Pareto + 0.3·allocation (shadow prices) + 0.2·debt.
  • SARIF gains pareto_status / pareto_score / pareto_dominated_by.

.oikos.yml support (#42) — mode, thresholds, exclude globs, and language list are read via --config or auto-discovery, making the estate's existing consumer configs real.

GitHub Action (#43) — uses: hyperpolymath/oikosbot@v0.1.0 runs the published container (ghcr.io/hyperpolymath/oikos); no Rust toolchain needed. Modes: report, check, compare.

Positioning (#43) — docs/COMPARISON-climate-warrior.adoc compares OikosBot with the nearest GitHub Marketplace neighbour.

Known limits

Estimates are static heuristics (Confidence::Estimated), not measurements — which is exactly why the confidence gate exists. Languages: Rust, JavaScript, Python. The webhook GitHub App is not yet live; CI Action mode is the generation-1 surface.

Verified: workspace tests green; the published container was pulled and run end-to-end, producing valid SARIF 2.1.0 carrying the Pareto properties.

Assets 3
Loading