https://github.com/yuitokyouni/PROV-ABM-atlas
· scanned 2026-06-16 01:08 UTC (2 months, 1 week ago)
39 raw signals (0 security + 39 graph)
Last scanned 2 months, 1 week ago · v1 · 25 actionable findings from 1 signal source. 14 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.
All 312 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.
| Label | Layer | Status | Path |
|---|---|---|---|
_dev_cfg |
software | healthy | tests/integration/test_smoke.py:19 |
test_run_one_end_to_end |
software | healthy | tests/integration/test_smoke.py:41 |
test_run_one_reproducible_output_digest |
software | healthy | tests/integration/test_smoke.py:84 |
_valid_prov |
software | healthy | tests/unit/test_validator.py:15 |
test_reported_provenance_accepted |
software | healthy | tests/unit/test_validator.py:31 |
test_non_reported_reach_rejected |
software | healthy | tests/unit/test_validator.py:36 |
test_unknown_reach_claim_rejected |
software | healthy | tests/unit/test_validator.py:41 |
test_missing_field_rejected |
software | healthy | tests/unit/test_validator.py:46 |
test_reproducibility_from_reported_ok |
software | healthy | tests/unit/test_validator.py:54 |
test_causal_claims_from_reported_rejected |
software | healthy | tests/unit/test_validator.py:62 |
test_invariance_needs_may_not_must |
software | healthy | tests/unit/test_validator.py:68 |
test_counterfactual_needs_must_not_may |
software | healthy | tests/unit/test_validator.py:75 |
test_exact_attribution_needs_exact |
software | healthy | tests/unit/test_validator.py:82 |
_gaussian |
software | healthy | tests/unit/test_sf_battery.py:15 |
test_battery_keys |
software | healthy | tests/unit/test_sf_battery.py:19 |
test_iid_gaussian_has_low_return_acf |
software | healthy | tests/unit/test_sf_battery.py:26 |
test_constant_returns_degenerate_safe |
software | healthy | tests/unit/test_sf_battery.py:33 |
test_garch_persistence_in_unit_interval_ish |
software | healthy | tests/unit/test_sf_battery.py:40 |
_setup |
software | healthy | tests/unit/test_market.py:13 |
test_price_update_formula |
software | healthy | tests/unit/test_market.py:25 |
test_market_step_aggregates_ed_and_logreturn |
software | healthy | tests/unit/test_market.py:34 |
test_run_simulation_shape_and_action_bounds |
software | healthy | tests/unit/test_market.py:44 |
test_run_simulation_reproducible_same_seed |
software | healthy | tests/unit/test_market.py:53 |
test_different_seed_diverges |
software | healthy | tests/unit/test_market.py:62 |
test_l2_capture_records_ctx_calls |
software | healthy | tests/unit/test_market.py:71 |
test_provabm_version |
software | healthy | tests/unit/test_package_skeleton.py:9 |
test_atlas_protocols_importable |
software | healthy | tests/unit/test_package_skeleton.py:13 |
_two_gaussians |
software | healthy | tests/unit/test_classifiers.py:18 |
test_summary_separable_high_accuracy |
software | healthy | tests/unit/test_classifiers.py:27 |
test_summary_identical_is_chance |
software | healthy | tests/unit/test_classifiers.py:32 |
test_ir_separable_high_accuracy |
software | healthy | tests/unit/test_classifiers.py:41 |
test_ir_identical_is_chance |
software | healthy | tests/unit/test_classifiers.py:46 |
test_cnn_separable_high_accuracy |
software | healthy | tests/unit/test_classifiers.py:54 |
ar1 |
software | healthy | tests/unit/test_classifiers.py:59 |
test_config_hash_deterministic |
software | healthy | tests/unit/test_provenance.py:20 |
test_output_sha256 |
software | healthy | tests/unit/test_provenance.py:25 |
test_uuid7_unique_and_sortable |
software | healthy | tests/unit/test_provenance.py:32 |
test_output_basename_naming |
software | healthy | tests/unit/test_provenance.py:39 |
test_prov_path_sidecar |
software | healthy | tests/unit/test_provenance.py:44 |
test_recorder_roundtrip_passes_validator |
software | healthy | tests/unit/test_provenance.py:48 |
_obs |
software | healthy | tests/property/test_reach_properties.py:22 |
_orders |
software | healthy | tests/property/test_reach_properties.py:26 |
test_reported_reach_is_union_of_step_inputs |
software | healthy | tests/property/test_reach_properties.py:31 |
test_reach_monotone_in_inputs |
software | healthy | tests/property/test_reach_properties.py:42 |
test_no_order_means_empty_reach |
software | healthy | tests/property/test_reach_properties.py:48 |
test_reach_groups_by_step |
software | healthy | tests/property/test_reach_properties.py:52 |
test_unimplemented_reach_flavors_raise |
software | healthy | tests/property/test_reach_properties.py:64 |
_make_ctx |
software | healthy | tests/property/test_ctx_invariants.py:24 |
test_random_reproducible_under_same_seed |
software | healthy | tests/property/test_ctx_invariants.py:30 |
test_random_in_unit_interval |
software | healthy | tests/property/test_ctx_invariants.py:39 |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
README.md |
software | healthy | README.md |
CLAUDE.md |
software | healthy | CLAUDE.md |
.pre-commit-config.yaml |
software | healthy | .pre-commit-config.yaml |
pyproject.toml |
software | healthy | pyproject.toml |
LICENSE |
software | healthy | LICENSE |
test_smoke.py |
software | healthy | tests/integration/test_smoke.py |
test_validator.py |
software | healthy | tests/unit/test_validator.py |
test_sf_battery.py |
software | healthy | tests/unit/test_sf_battery.py |
test_market.py |
software | healthy | tests/unit/test_market.py |
test_package_skeleton.py |
software | healthy | tests/unit/test_package_skeleton.py |
test_classifiers.py |
software | healthy | tests/unit/test_classifiers.py |
test_provenance.py |
software | healthy | tests/unit/test_provenance.py |
test_reach_properties.py |
software | healthy | tests/property/test_reach_properties.py |
test_ctx_invariants.py |
software | healthy | tests/property/test_ctx_invariants.py |
prov_abm_design_notes.md |
software | healthy | docs/prov_abm_design_notes.md |
p1_paper_draft_v0.md |
software | healthy | docs/p1_paper_draft_v0.md |
program_claims_v1.md |
software | healthy | docs/program_claims_v1.md |
overview_plain.md |
software | healthy | docs/overview_plain.md |
experimental_design_v0.3.md |
software | healthy | docs/experimental_design_v0.3.md |
model_contract_v0.md |
software | healthy | docs/model_contract_v0.md |
abm_b2_intervention_survey.md |
software | healthy | docs/research/abm_b2_intervention_survey.md |
reproduce.sh |
software | healthy | scripts/reproduce.sh |
protocols.py |
software | healthy | atlas/protocols.py |
__init__.py |
software | healthy | atlas/__init__.py |
README.md |
software | healthy | atlas/README.md |
__init__.py |
software | healthy | provabm/__init__.py |
ctx.py |
software | healthy | provabm/ctx.py |
capture.py |
software | healthy | provabm/capture.py |
validator.py |
software | healthy | provabm/validator.py |
reach.py |
software | healthy | provabm/reach.py |
provenance.py |
software | healthy | provabm/provenance.py |
__init__.py |
software | healthy | toy/__init__.py |
classifiers.py |
software | healthy | toy/classifiers.py |
sf_battery.py |
software | healthy | toy/sf_battery.py |
calibration.py |
software | healthy | toy/calibration.py |
observation.py |
software | healthy | toy/observation.py |
market.py |
software | healthy | toy/market.py |
intervention.py |
software | healthy | toy/intervention.py |
analysis.py |
software | healthy | toy/analysis.py |
__init__.py |
software | healthy | toy/models/__init__.py |
lm.py |
software | healthy | toy/models/lm.py |
ci.py |
software | healthy | toy/models/ci.py |
types.py |
software | healthy | toy/models/types.py |
zi.py |
software | healthy | toy/models/zi.py |
sg.py |
software | healthy | toy/models/sg.py |
fw.py |
software | healthy | toy/models/fw.py |
__init__.py |
software | healthy | toy/agents/__init__.py |
herd.py |
software | healthy | toy/agents/herd.py |
base.py |
software | healthy | toy/agents/base.py |
trend.py |
software | healthy | toy/agents/trend.py |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
Mechanism |
software | healthy | atlas/protocols.py:24 |
Response |
software | healthy | atlas/protocols.py:38 |
Battery |
software | healthy | atlas/protocols.py:50 |
Ctx |
software | healthy | provabm/ctx.py:28 |
CaptureLevel |
software | healthy | provabm/capture.py:19 |
CtxEventKind |
software | healthy | provabm/capture.py:30 |
CtxEvent |
software | healthy | provabm/capture.py:40 |
CaptureSink |
software | healthy | provabm/capture.py:54 |
ValidationError |
software | healthy | provabm/validator.py:29 |
ClaimType |
software | healthy | provabm/validator.py:33 |
ReachClaim |
software | healthy | provabm/reach.py:24 |
RunProvenance |
software | healthy | provabm/provenance.py:106 |
ProvenanceRecorder |
software | healthy | provabm/provenance.py:132 |
CalibratedPair |
software | healthy | toy/calibration.py:29 |
HerdCandidate |
software | healthy | toy/calibration.py:124 |
InterventionScheme |
software | healthy | toy/observation.py:65 |
MarketParams |
software | healthy | toy/market.py:65 |
RunResult |
software | healthy | toy/market.py:78 |
Market |
software | healthy | toy/market.py:89 |
InterventionSpec |
software | healthy | toy/intervention.py:15 |
LMParams |
software | healthy | toy/models/lm.py:38 |
LMAdapter |
software | healthy | toy/models/lm.py:67 |
CIParams |
software | healthy | toy/models/ci.py:31 |
CIAdapter |
software | healthy | toy/models/ci.py:64 |
MatchVerdict |
software | healthy | toy/models/types.py:14 |
MarketData |
software | healthy | toy/models/types.py:21 |
CanonicalIntervention |
software | healthy | toy/models/types.py:41 |
CalibrationArtifact |
software | healthy | toy/models/types.py:49 |
SimulatedMarketData |
software | healthy | toy/models/types.py:60 |
FactResult |
software | healthy | toy/models/types.py:74 |
DeltaFact |
software | healthy | toy/models/types.py:85 |
GroundTruthDelta |
software | healthy | toy/models/types.py:96 |
NaturalExperimentRecord |
software | healthy | toy/models/types.py:109 |
MatchResult |
software | healthy | toy/models/types.py:122 |
ComplexitySpec |
software | healthy | toy/models/types.py:134 |
CellResult |
software | healthy | toy/models/types.py:143 |
ModelAdapter |
software | healthy | toy/models/types.py:158 |
ZIParams |
software | healthy | toy/models/zi.py:32 |
ZIAdapter |
software | healthy | toy/models/zi.py:45 |
SGParams |
software | healthy | toy/models/sg.py:30 |
SGAdapter |
software | healthy | toy/models/sg.py:52 |
FWParams |
software | healthy | toy/models/fw.py:33 |
FWAdapter |
software | healthy | toy/models/fw.py:60 |
HComponent |
software | healthy | toy/agents/herd.py:29 |
HerdAgent |
software | healthy | toy/agents/herd.py:36 |
Agent |
software | healthy | toy/agents/base.py:18 |
TComponent |
software | healthy | toy/agents/trend.py:31 |
TrendAgent |
software | healthy | toy/agents/trend.py:38 |
RunSet |
software | healthy | experiments/runners/equivalence_check.py:33 |
RunArtifacts |
software | healthy | experiments/runners/run_one.py:39 |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
tests |
software | healthy | tests |
integration |
software | healthy | tests/integration |
unit |
software | healthy | tests/unit |
property |
software | healthy | tests/property |
docs |
software | healthy | docs |
research |
software | healthy | docs/research |
scripts |
software | healthy | scripts |
atlas |
software | healthy | atlas |
provabm |
software | healthy | provabm |
toy |
software | healthy | toy |
models |
software | healthy | toy/models |
agents |
software | healthy | toy/agents |
.github |
software | healthy | .github |
workflows |
software | healthy | .github/workflows |
experiments |
software | healthy | experiments |
conf |
software | healthy | experiments/conf |
agents |
software | healthy | experiments/conf/agents |
market |
software | healthy | experiments/conf/market |
runners |
software | healthy | experiments/runners |
| Label | Layer | Status | Path |
|---|---|---|---|
repobility-clone-93the8yc |
software | healthy | /tmp/repobility-clone-93the8yc |
| Label | Layer | Status | Path |
|---|---|---|---|
gha::ci |
cicd | healthy | .github/workflows/ci.yml |
| Label | Layer | Status | Path |
|---|---|---|---|
test |
cicd | healthy | .github/workflows/ci.yml |
This page is publicly accessible at:
https://repobility.com/scan/25f36ae5-6aae-427c-a57a-ceacdbc23b70/
To check status programmatically (no auth required):
curl -s https://repobility.com/api/v1/public/scan/25f36ae5-6aae-427c-a57a-ceacdbc23b70/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.