Skip to content

Axioval 0.1.0

Latest

Choose a tag to compare

@GeneralPawz GeneralPawz released this 31 Aug 23:30
· 90 commits to main since this release

Added

  • Initial source-neutral engine workspace and architecture contract.
  • Fail-closed runtime registry-drift and duplicate package rejection.
  • Dependency-policy, canonical snapshot identity, and workspace package-verification gates.
  • Exact source-neutral connectivity graphs with deterministic width-constrained traversal.
  • Backend-neutral metric-routing requests, bounded shortest-distance evidence, and request-bound blocked verdicts.
  • Backend-neutral free-area, directional-clearance, and constrained placement-search evidence contracts.
  • Complete walkable-region snapshots with deterministic three-valued width-constrained routing.
  • Explicit deterministic report outcomes for missing services, backend outages, incomplete/invalid evidence, and resource limits.
  • Exact grounded free-floor circle and rectangle capabilities backed by the source-neutral free-space service.
  • Exact property-to-property comparison capability slice with independent candidate selectors, request-bound relationship selection, target factors, each / at_least_one, and evidence-backed missing-information behavior.
  • Exact request-bound property resolution for both present values and conclusive absence evidence, including cross-object substitution rejection, finite numeric validation, and fail-closed property selector evaluation.
  • Source-neutral canonical SI quantity dimensions, boxed selector-valued parameters, and exact relationship-selection requests bound to a checked object and complete candidate universe.

Fixed

  • Placement offset bounds no longer admit tolerance-expanded witnesses; supported found placements now require exact frame-bound whole-base support evidence.