Skip to content

Releases: hyperpolymath/oikosbot

Release list

v0.1.3 — Versioned, attestable container releases

v0.1.3 — Versioned, attestable container releases Latest
Latest

Choose a tag to compare

View all tags
@hyperpolymath hyperpolymath released this 29 Aug 01:37
Immutable release. Only release title and notes can be modified.
v0.1.3
3fdad0c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

Full Changelog: v0.1.2...v0.1.3

Contributors

hyperpolymath
Assets 3
Loading

v0.1.0 — Generation 1: Pareto engine online

v0.1.0 — Generation 1: Pareto engine online

Choose a tag to compare

View all tags
@hyperpolymath hyperpolymath released this 28 Jul 15:30
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.

Loading