https://github.com/TSavo/sugar
· scanned 2026-06-16 00:43 UTC (2 months, 1 week ago)
196 raw signals (0 security + 196 graph)
Last scanned 2 months, 1 week ago · v1 · 175 actionable findings from 1 signal source. 21 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.
All 7229 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 |
|---|---|---|---|
checkPositive |
software | healthy | tests/lsp/floor-fixture/python.py:5 |
callerSatisfiesPre |
software | healthy | tests/lsp/floor-fixture/python.py:11 |
callerViolatesPre |
software | healthy | tests/lsp/floor-fixture/python.py:16 |
callerWithLoop |
software | healthy | tests/lsp/floor-fixture/python.py:21 |
parse_headline |
software | healthy | scripts/check-coretests-invariants.py:37 |
grab |
software | healthy | scripts/check-coretests-invariants.py:38 |
i |
software | healthy | scripts/check-coretests-invariants.py:42 |
main |
software | healthy | scripts/check-coretests-invariants.py:72 |
classify |
software | healthy | scripts/bin-classify.py:63 |
build_sweeps |
software | healthy | scripts/bin-classify.py:73 |
main |
software | healthy | scripts/bin-classify.py:84 |
publishDiagnostics |
software | healthy | scripts/lsp-from-spec/server.mjs:publishDiagnostics |
checkKeys |
software | healthy | scripts/lsp-from-spec/parse.mjs:checkKeys |
parseDocument |
software | healthy | scripts/lsp-from-spec/parse.mjs:parseDocument |
parseDeclaration |
software | healthy | scripts/lsp-from-spec/parse.mjs:parseDeclaration |
parseFormula |
software | healthy | scripts/lsp-from-spec/parse.mjs:parseFormula |
parseLambda |
software | healthy | scripts/lsp-from-spec/parse.mjs:parseLambda |
parseTerm |
software | healthy | scripts/lsp-from-spec/parse.mjs:parseTerm |
parseSort |
software | healthy | scripts/lsp-from-spec/parse.mjs:parseSort |
applyDeBruijn |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:applyDeBruijn |
applyDeBruijnTerm |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:applyDeBruijnTerm |
canonicalizePredicates |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:canonicalizePredicat… |
removeImplies |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:removeImplies |
toNnf |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:toNnf |
pushNot |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:pushNot |
acNormalize |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:acNormalize |
normalizeKind |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:normalizeKind |
eqAtomic |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:eqAtomic |
mapChildren |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:mapChildren |
jcsBytes |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:jcsBytes |
jcsTermBytes |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:jcsTermBytes |
jcsString |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:jcsString |
jcsNumber |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:jcsNumber |
jcsRealLiteral |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:jcsRealLiteral |
jcsStringLiteral |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:jcsStringLiteral |
lexCompare |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:lexCompare |
canonicalize |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:canonicalize |
propertyHash |
software | healthy | scripts/lsp-from-spec/canonicalize.mjs:propertyHash |
jcs |
software | healthy | provenance/v1/sign-ceremony.py:38 |
main |
software | healthy | provenance/v1/sign-ceremony.py:50 |
main |
software | healthy | bootstrap/scripts/cid_stability_check.py:15 |
test_fake_llm_replaces_anonymous_concept_comments |
software | healthy | bootstrap/scripts/test_auto_name_anonymous_concepts.py:17 |
repo_root |
software | healthy | bootstrap/scripts/libsugar_surface_audit.py:33 |
rust_workspace |
software | healthy | bootstrap/scripts/libsugar_surface_audit.py:37 |
default_surface |
software | healthy | bootstrap/scripts/libsugar_surface_audit.py:41 |
discover_functions |
software | healthy | bootstrap/scripts/libsugar_surface_audit.py:47 |
build_emitter |
software | healthy | bootstrap/scripts/libsugar_surface_audit.py:56 |
classify_failure |
software | healthy | bootstrap/scripts/libsugar_surface_audit.py:65 |
run_one |
software | healthy | bootstrap/scripts/libsugar_surface_audit.py:83 |
main |
software | healthy | bootstrap/scripts/libsugar_surface_audit.py:118 |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
SHARED-LANGUAGE.md |
software | healthy | SHARED-LANGUAGE.md |
sugar.config.yaml |
software | healthy | sugar.config.yaml |
sugar-release.toml |
software | healthy | sugar-release.toml |
README.md |
software | healthy | README.md |
pnpm-lock.yaml |
software | healthy | pnpm-lock.yaml |
package.json |
software | healthy | package.json |
Makefile |
software | healthy | Makefile |
SUGAR-RENAME-CHARTER.md |
software | healthy | SUGAR-RENAME-CHARTER.md |
eq_and_desugar.spec.json |
software | healthy | menagerie/csharp-language-signature/specs/eq_and_desugar.sp… |
eq_or_desugar.spec.json |
software | healthy | menagerie/csharp-language-signature/specs/eq_or_desugar.spe… |
eq_for_desugar.spec.json |
software | healthy | menagerie/csharp-language-signature/specs/eq_for_desugar.sp… |
eq_seq_skip_left.spec.json |
software | healthy | menagerie/csharp-language-signature/specs/eq_seq_skip_left.… |
eq_seq_assoc.spec.json |
software | healthy | menagerie/csharp-language-signature/specs/eq_seq_assoc.spec… |
eq_seq_skip_right.spec.json |
software | healthy | menagerie/csharp-language-signature/specs/eq_seq_skip_right… |
eq_source_unit_desugar.spec.json |
software | healthy | menagerie/csharp-language-signature/specs/eq_source_unit_de… |
eq_not_desugar.spec.json |
software | healthy | menagerie/python-language-signature/specs/eq_not_desugar.sp… |
eq_and_desugar.spec.json |
software | healthy | menagerie/python-language-signature/specs/eq_and_desugar.sp… |
op_seq.spec.json |
software | healthy | menagerie/python-language-signature/specs/op_seq.spec.json |
eq_or_desugar.spec.json |
software | healthy | menagerie/python-language-signature/specs/eq_or_desugar.spe… |
language_signature_python.spec.json |
software | healthy | menagerie/python-language-signature/specs/language_signatur… |
op_source-unit.spec.json |
software | healthy | menagerie/python-language-signature/specs/op_source-unit.sp… |
op_add.spec.json |
software | healthy | menagerie/python-language-signature/specs/op_add.spec.json |
op_assign.spec.json |
software | healthy | menagerie/python-language-signature/specs/op_assign.spec.js… |
eq_source_unit_desugar.spec.json |
software | healthy | menagerie/python-language-signature/specs/eq_source_unit_de… |
op_and.spec.json |
software | healthy | menagerie/python-language-signature/specs/op_and.spec.json |
rust.rs |
software | healthy | tests/lsp/floor-fixture/rust.rs |
csharp.cs |
software | healthy | tests/lsp/floor-fixture/csharp.cs |
go.go |
software | healthy | tests/lsp/floor-fixture/go.go |
swift.swift |
software | healthy | tests/lsp/floor-fixture/swift.swift |
c.c |
software | healthy | tests/lsp/floor-fixture/c.c |
cpp.cpp |
software | healthy | tests/lsp/floor-fixture/cpp.cpp |
python.py |
software | healthy | tests/lsp/floor-fixture/python.py |
ruby.rb |
software | healthy | tests/lsp/floor-fixture/ruby.rb |
php.php |
software | healthy | tests/lsp/floor-fixture/php.php |
ir_types.rs |
software | healthy | generated/rust/ir_types.rs |
coq_compiler.rs |
software | healthy | generated/rust/coq_compiler.rs |
smt_compiler.rs |
software | healthy | generated/rust/smt_compiler.rs |
run.sh |
software | healthy | conformance/run.sh |
fixtures.toml |
software | healthy | conformance/fixtures.toml |
jokes.md |
software | healthy | docs/jokes.md |
INVARIANTS.md |
software | healthy | docs/INVARIANTS.md |
threat-model.md |
software | healthy | docs/security/threat-model.md |
what-binaryCid-does-not-catch.md |
software | healthy | docs/security/what-binaryCid-does-not-catch.md |
reporting-vulnerabilities.md |
software | healthy | docs/security/reporting-vulnerabilities.md |
multi-dimensional-pinning.md |
software | healthy | docs/security/multi-dimensional-pinning.md |
what-binaryCid-catches.md |
software | healthy | docs/security/what-binaryCid-catches.md |
adapter-trust.md |
software | healthy | docs/security/adapter-trust.md |
supply-chain.md |
software | healthy | docs/security/supply-chain.md |
solver-trust.md |
software | healthy | docs/security/solver-trust.md |
signature-and-non-repudiation.md |
software | healthy | docs/security/signature-and-non-repudiation.md |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
menagerie |
software | healthy | menagerie |
csharp-language-signature |
software | healthy | menagerie/csharp-language-signature |
specs |
software | healthy | menagerie/csharp-language-signature/specs |
python-language-signature |
software | healthy | menagerie/python-language-signature |
specs |
software | healthy | menagerie/python-language-signature/specs |
tests |
software | healthy | tests |
lsp |
software | healthy | tests/lsp |
floor-fixture |
software | healthy | tests/lsp/floor-fixture |
generated |
software | healthy | generated |
rust |
software | healthy | generated/rust |
conformance |
software | healthy | conformance |
docs |
software | healthy | docs |
security |
software | healthy | docs/security |
baselines |
software | healthy | docs/baselines |
superpowers |
software | healthy | docs/superpowers |
plans |
software | healthy | docs/superpowers/plans |
specs |
software | healthy | docs/superpowers/specs |
internal |
software | healthy | docs/internal |
postmortems |
software | healthy | docs/internal/postmortems |
audits |
software | healthy | docs/audits |
research |
software | healthy | docs/research |
self-application |
software | healthy | docs/self-application |
incidents |
software | healthy | docs/incidents |
plans |
software | healthy | docs/plans |
2026-04-23-fix-loop |
software | healthy | docs/plans/2026-04-23-fix-loop |
papers |
software | healthy | docs/papers |
contributing |
software | healthy | docs/contributing |
writing-a-kit |
software | healthy | docs/contributing/writing-a-kit |
writing-a-lift-adapter |
software | healthy | docs/contributing/writing-a-lift-adapter |
scripts |
software | healthy | scripts |
lsp-from-spec |
software | healthy | scripts/lsp-from-spec |
output |
software | healthy | scripts/output |
minted-from-ir |
software | healthy | scripts/output/minted-from-ir |
declarations |
software | healthy | scripts/output/minted-from-ir/declarations |
parseInt-mementos |
software | healthy | scripts/output/parseInt-mementos |
runtime-eval |
software | healthy | scripts/output/runtime-eval |
kit-install-verification |
software | healthy | scripts/output/kit-install-verification |
layered-bridges |
software | healthy | scripts/output/layered-bridges |
cross-language-divide |
software | healthy | scripts/output/cross-language-divide |
counterexample |
software | healthy | scripts/output/counterexample |
ts-kit-catalog |
software | healthy | scripts/output/ts-kit-catalog |
bridges |
software | healthy | scripts/output/ts-kit-catalog/bridges |
provenance |
software | healthy | provenance |
v1 |
software | healthy | provenance/v1 |
bootstrap |
software | healthy | bootstrap |
D7-v2 |
software | healthy | bootstrap/D7-v2 |
D7-v0 |
software | healthy | bootstrap/D7-v0 |
auto-named-concepts |
software | healthy | bootstrap/auto-named-concepts |
D7-v5 |
software | healthy | bootstrap/D7-v5 |
libsugar-py-v1 |
software | healthy | bootstrap/libsugar-py-v1 |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
GrammarParseError |
software | healthy | scripts/lsp-from-spec/parse.mjs:GrammarParseError |
AutoNameAnonymousConceptsTest |
software | healthy | bootstrap/scripts/test_auto_name_anonymous_concepts.py:16 |
Anchor |
software | healthy | bootstrap/scripts/auto_name_anonymous_concepts.py:54 |
TagOccurrence |
software | healthy | bootstrap/scripts/auto_name_anonymous_concepts.py:62 |
NamingTask |
software | healthy | bootstrap/scripts/auto_name_anonymous_concepts.py:73 |
StubNamer |
software | healthy | bootstrap/scripts/auto_name_anonymous_concepts.py:81 |
Phase5PyDriverV0Test |
software | healthy | bootstrap/phase5py/test_driver_v0.py:18 |
Phase5PyDriverV1Test |
software | healthy | bootstrap/phase5py/test_driver_v1.py:23 |
EmitPlan |
software | healthy | implementations/python/sugar-emit-python-unittest/src/sugar… |
Emission |
software | healthy | implementations/python/sugar-emit-python-unittest/src/sugar… |
TestCrossKitByteEquivalence |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_claim… |
TestLayeredShape |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_claim… |
TestErrors |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_claim… |
TestFromContractDecl |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_claim… |
TestAuthoring |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_claim… |
TestDeterminism |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_claim… |
TestBridge |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_claim… |
TestImplication |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_claim… |
TestContractSetCid |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_claim… |
TestPydanticLift |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_lift_… |
User |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_lift_… |
Score |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_lift_… |
Item |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_lift_… |
FieldInfo |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_lift_… |
FutureStmt |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_gramm… |
FutureExpr |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_gramm… |
TestDaemonProtocol |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_daemo… |
TestRoundTrip |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_proof… |
TestCrossKitByteEquivalence |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_proof… |
TestSigning |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_proof… |
TestContractDecorator |
software | healthy | implementations/python/sugar-lift-py-tests/tests/test_decor… |
TestUnittestStyle |
software | healthy | implementations/python/sugar-lift-py-tests/tests/fixtures/l… |
AuthoringKitAuthor |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
AuthoringLift |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
AuthoringLlm |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
ClaimEnvelopeError |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
EmptyContractError |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
EmptyOutBindingError |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
ClaimEnvelope |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
Server |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
Visitor |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
SameKitCallVisitor |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
FunctionBodyCallVisitor |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
WitnessVerifyRefusal |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
BrokenOracleError |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
ProductionWalkOutput |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
_FunctionPrecondition |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
_Binding |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
_CallsiteHit |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
WitnessOracleRefusal |
software | healthy | implementations/python/sugar-lift-py-tests/src/sugar_lift_p… |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
3.2.2.2 |
network | healthy | scripts/lsp-from-spec/canonicalize.mjs |
7.1.4.1 |
network | healthy | scripts/output/layered-bridges/02-ecma262.json |
3.2.2.3 |
network | healthy | implementations/rust/sugar-canonicalizer/tests/jcs_extended… |
127.0.0.1 |
network | healthy | examples/recognize-demo-python/src/recognize_demo_python/__… |
| Label | Layer | Status | Path |
|---|---|---|---|
port:62 |
network | healthy | implementations/java/sugar-lift-java-tests/tests/run.sh |
port:64 |
network | healthy | implementations/java/sugar-lift-java-tests/tests/run.sh |
port:512 |
network | healthy | examples/java-witness-recompute/run.sh |
port:1111 |
network | healthy | tools/spec-cid-lint.sh |
| Label | Layer | Status | Path |
|---|---|---|---|
postgres |
data | healthy | docs/papers/README.md |
sqlite |
data | healthy | docs/papers/README.md |
elasticsearch |
data | healthy | implementations/python/sugar-lift-py-tests/tests/fixtures/c… |
| Label | Layer | Status | Path |
|---|---|---|---|
vps::aws |
hardware | healthy | docs/papers/README.md |
vps::azure |
hardware | healthy | implementations/python/sugar-lift-py-tests/tests/fixtures/c… |
| Label | Layer | Status | Path |
|---|---|---|---|
repobility-clone-oynpj8af |
software | healthy | /tmp/repobility-clone-oynpj8af |
| Label | Layer | Status | Path |
|---|---|---|---|
celery |
data | healthy | implementations/python/sugar-lift-py-tests/tests/fixtures/c… |
| Label | Layer | Status | Path |
|---|---|---|---|
events |
data | healthy | examples/recognize-demo-python/src/recognize_demo_python/pe… |
| Label | Layer | Status | Path |
|---|---|---|---|
image::tools/portfolio/Dockerfile |
hardware | healthy | tools/portfolio/Dockerfile |
| Label | Layer | Status | Path |
|---|---|---|---|
auth::examples/itsdangerous-token-padding/run.sh |
security | healthy | examples/itsdangerous-token-padding/run.sh |
| Label | Layer | Status | Path |
|---|---|---|---|
gha::ci |
cicd | healthy | .github/workflows/ci.yml |
| Label | Layer | Status | Path |
|---|---|---|---|
acid-test |
cicd | healthy | .github/workflows/ci.yml |
This page is publicly accessible at:
https://repobility.com/scan/33e123b1-804e-41e5-a715-ba518efef913/
To check status programmatically (no auth required):
curl -s https://repobility.com/api/v1/public/scan/33e123b1-804e-41e5-a715-ba518efef913/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.