Public scan — anyone with this URL can view this analysis. Sign up to track your own repos privately, run scheduled re-scans, and get AI fix prompts via your dashboard.
Sign up free Scan another repo

TheAxiomFoundation/axiom-compose

https://github.com/TheAxiomFoundation/axiom-compose · scanned 2026-06-16 00:33 UTC (2 months, 2 weeks ago)

17 raw signals (6 security + 11 graph)

File as issue Image
UNIFIED Repobility · multi-layer engine · AI coders

Complete repo analysis

Last scanned 2 months, 2 weeks ago · v1 · 17 actionable findings from 2 signal sources. 25 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
95.0
/100
Security checks
95
6 findings
System graph
95
44.4% cov · 11 findings
Critical
1
click to filter
Agents
10
0 votes
Crowd
0
reported
Severity distribution — click a segment to filter
Active filters: excluding tests × Reset all
Severity: Critical 1 High 3 Medium 2 Low 7 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 6 System graph 11 Crowd 0 Layer: Quality 13 Software 3 Frontend 1

All 196 nodes from the latest scan, grouped by kind. Each node is a unit the engine identified (file, function, endpoint, table…). Most users won't need this view — it's primarily for debugging the engine's graph extraction or for AI agents that want to enumerate the project structure.

LabelLayerStatusPath
test_sum_terms_builds_generic_rule software healthy tests/test_transformations.py:6
test_any_of_builds_generic_judgment_rule software healthy tests/test_transformations.py:20
test_table_lookup_with_extension_is_parameterized software healthy tests/test_transformations.py:35
test_derived_relation_builds_filtered_entity_rule software healthy tests/test_transformations.py:54
test_data_relation_builds_runtime_relation_rule software healthy tests/test_transformations.py:80
test_derived_formula_builds_explicit_bridge_rule software healthy tests/test_transformations.py:99
test_conditional_value_builds_generic_rule software healthy tests/test_transformations.py:124
test_derived_relation_rejects_missing_source_relation software healthy tests/test_transformations.py:146
test_unknown_pattern_fails_loudly software healthy tests/test_transformations.py:163
test_consumer_builds_index_once_then_composes_minimal_spec software healthy tests/test_consumer_contract.py:4
test_real_ca_snap_composition_resolves_across_repos software healthy tests/test_real_program_ca_snap.py:35
test_real_ca_snap_composition_compiles_through_engine software healthy tests/test_real_program_ca_snap.py:52
_compose_ca_snap software healthy tests/test_real_program_ca_snap.py:89
_external_path software healthy tests/test_real_program_ca_snap.py:102
test_load_spec_normalizes_lists_to_tuples software healthy tests/test_spec.py:10
test_spec_requires_outputs software healthy tests/test_spec.py:22
_module software healthy tests/test_corpus_index.py:12
_rule software healthy tests/test_corpus_index.py:20
test_minimal_spec_discovers_output_producer_and_formula_dep… software healthy tests/test_corpus_index.py:28
test_formula_dependency_resolution_is_bounded_by_explicit_i… software healthy tests/test_corpus_index.py:90
test_formula_dependency_is_not_guessed_from_jurisdiction_de… software healthy tests/test_corpus_index.py:122
test_index_is_built_once_and_reused_by_compose software healthy tests/test_corpus_index.py:146
test_missing_output_producer_fails_with_scope_diagnostic software healthy tests/test_corpus_index.py:165
test_ambiguous_same_jurisdiction_producers_fail software healthy tests/test_corpus_index.py:175
test_corpus_index_records_producers_and_consumed_identifiers software healthy tests/test_corpus_index.py:196
test_repo_loader_builds_cacheable_index_once_from_rulespec_… software healthy tests/test_corpus_index.py:213
_rule software healthy tests/test_coverage.py:15
test_returns_unreferenced_eligibility_rules software healthy tests/test_coverage.py:23
test_transitive_references_credit_coverage software healthy tests/test_coverage.py:40
test_derived_relation_predicate_is_followed software healthy tests/test_coverage.py:55
test_format_error_lists_rule_names software healthy tests/test_coverage.py:75
_module software healthy tests/test_coverage.py:89
_make_corpus software healthy tests/test_coverage.py:93
test_compose_raises_on_uncovered_eligibility_rules software healthy tests/test_coverage.py:114
test_compose_passes_when_eligibility_chain_complete software healthy tests/test_coverage.py:163
test_compose_acknowledged_incomplete_suppresses_error software healthy tests/test_coverage.py:209
test_non_eligibility_outputs_are_not_checked software healthy tests/test_coverage.py:253
_write software healthy tests/test_monorepo_layout.py:49
_monorepo software healthy tests/test_monorepo_layout.py:54
_legacy software healthy tests/test_monorepo_layout.py:61
test_monorepo_root_yields_prefixed_targets software healthy tests/test_monorepo_layout.py:69
test_monorepo_and_legacy_layouts_load_identical_targets software healthy tests/test_monorepo_layout.py:75
test_composition_from_monorepo_matches_legacy software healthy tests/test_monorepo_layout.py:81
test_programs_dir_in_monorepo_is_not_a_jurisdiction software healthy tests/test_monorepo_layout.py:97
test_real_rulespec_us_oasdi_composition_is_stable software healthy tests/test_real_program_oasdi.py:13
test_real_rulespec_us_oasdi_composition_round_trips_through… software healthy tests/test_real_program_oasdi.py:34
test_real_rulespec_us_oasdi_matches_policyengine software healthy tests/test_real_program_oasdi.py:38
_external_path software healthy tests/test_real_program_oasdi.py:45
_run_axiom_oasdi_case software healthy tests/test_real_program_oasdi.py:55
_run_policyengine_oasdi_case software healthy tests/test_real_program_oasdi.py:110

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

LabelLayerStatusPath
README.md software healthy README.md
pyproject.toml software healthy pyproject.toml
test_transformations.py software healthy tests/test_transformations.py
test_consumer_contract.py software healthy tests/test_consumer_contract.py
test_real_program_ca_snap.py software healthy tests/test_real_program_ca_snap.py
test_spec.py software healthy tests/test_spec.py
test_corpus_index.py software healthy tests/test_corpus_index.py
test_coverage.py software healthy tests/test_coverage.py
test_monorepo_layout.py software healthy tests/test_monorepo_layout.py
test_real_program_oasdi.py software healthy tests/test_real_program_oasdi.py
test_universal_specs.py software healthy tests/test_universal_specs.py
test_scope_validation.py software healthy tests/test_scope_validation.py
test_core.py software healthy tests/test_core.py
co-snap-spec.yaml software healthy tests/fixtures/co-snap-spec.yaml
ny-snap-spec.yaml software healthy tests/fixtures/ny-snap-spec.yaml
oasdi-wage-tax-spec.yaml software healthy tests/fixtures/oasdi-wage-tax-spec.yaml
eitc-spec.yaml software healthy tests/fixtures/eitc-spec.yaml
ctc-spec.yaml software healthy tests/fixtures/ctc-spec.yaml
simple-benefit.yaml software healthy tests/fixtures/simple-benefit.yaml
fiit-spec.yaml software healthy tests/fixtures/fiit-spec.yaml
simple-benefit.rulespec.yaml software healthy tests/golden/simple-benefit.rulespec.yaml
architecture.md software healthy docs/architecture.md
adding-a-program.md software healthy docs/adding-a-program.md
co-snap-synthesis-classification.md software healthy docs/co-snap-synthesis-classification.md
migration-readiness.md software healthy docs/migration-readiness.md
widen-auto-gate-program-token.fixed.md software healthy changelog.d/widen-auto-gate-program-token.fixed.md
real-corpus-ca-snap.added.md software healthy changelog.d/real-corpus-ca-snap.added.md
monorepo-jurisdiction-dirs.added.md software healthy changelog.d/monorepo-jurisdiction-dirs.added.md
any-of-transformation.added.md software healthy changelog.d/any-of-transformation.added.md
monorepo-ci-seam-tests.changed.md software healthy changelog.d/monorepo-ci-seam-tests.changed.md
scope-existence-validation.added.md software healthy changelog.d/scope-existence-validation.added.md
ci.yml software healthy .github/workflows/ci.yml
__init__.py software healthy src/axiom_compose/__init__.py
coverage.py software healthy src/axiom_compose/coverage.py
spec.py software healthy src/axiom_compose/spec.py
cli.py software healthy src/axiom_compose/cli.py
core.py software healthy src/axiom_compose/core.py
transformations.py software healthy src/axiom_compose/transformations.py

LabelLayerStatusPath
SpecError software healthy src/axiom_compose/spec.py:12
TransformationSpec software healthy src/axiom_compose/spec.py:17
ProgramSpec software healthy src/axiom_compose/spec.py:25
ComposeError software healthy src/axiom_compose/core.py:17
ConceptRegistryLike software healthy src/axiom_compose/core.py:21
RuleSpecModule software healthy src/axiom_compose/core.py:48
Producer software healthy src/axiom_compose/core.py:57
CorpusIndex software healthy src/axiom_compose/core.py:66
CorpusState software healthy src/axiom_compose/core.py:74
RunnableProgram software healthy src/axiom_compose/core.py:84
TransformationError software healthy src/axiom_compose/transformations.py:14

LabelLayerStatusPath
tests software healthy tests
fixtures software healthy tests/fixtures
golden software healthy tests/golden
docs software healthy docs
changelog.d software healthy changelog.d
.github software healthy .github
workflows software healthy .github/workflows
src software healthy src
axiom_compose software healthy src/axiom_compose

LabelLayerStatusPath
repobility-clone-i4uom5uq software healthy /tmp/repobility-clone-i4uom5uq

LabelLayerStatusPath
gha::ci cicd healthy .github/workflows/ci.yml

LabelLayerStatusPath
test cicd healthy .github/workflows/ci.yml
For AI agents: Voting guide (TP/FP) MCP manifest Stdio wrapper SARIF Integrate Findings queue Vote TP/FP on findings to calibrate the engine.
For AI agents + API integrations
Email me when this repo regresses
Free. We re-scan periodically; new criticals → your inbox. No signup required for the scan itself.
API access

This page is publicly accessible at: https://repobility.com/scan/f1d282e4-8386-4faa-b826-137aace88f83/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/f1d282e4-8386-4faa-b826-137aace88f83/

Important — please don't re-submit the same URL repeatedly. The submission endpoint is idempotent: re-submitting the same git URL returns this same scan_token, not a new one. To re-scan this repo, sign up free and use the dashboard.