repositories / termux-janitor
termux-janitor
Interactive cleanup assistant for Termux: transparent, safe, confirmed disk reclamation.
owned by admin
spec/model/implementation.zon
Raw.{
.{
.id = "implementation-cli-entry",
.revision = 10,
.sources = .{
.{
.path = "src/main.zig",
.sha256 = "3fb229b0fd8cc03017ffe072cfcdfd6a03dafb566740550fff911cb66374ee24",
},
},
.realizes = .{
.{ .id = "obligation-cli-help-success", .revision = 1 },
.{ .id = "obligation-cli-help-stdout", .revision = 1 },
.{ .id = "obligation-cli-help-options", .revision = 1 },
.{ .id = "obligation-cli-help-manual-sync", .revision = 1 },
.{ .id = "obligation-cli-help-stderr-empty", .revision = 1 },
.{ .id = "obligation-cli-help-no-fixture-mutation", .revision = 1 },
.{ .id = "obligation-cli-version-success", .revision = 1 },
.{ .id = "obligation-cli-version-stdout", .revision = 1 },
.{ .id = "obligation-cli-version-charset", .revision = 1 },
.{ .id = "obligation-cli-version-stderr-empty", .revision = 1 },
.{ .id = "obligation-cli-version-no-fixture-mutation", .revision = 1 },
.{ .id = "obligation-cli-usage-diagnostic", .revision = 1 },
.{ .id = "obligation-cli-usage-no-stdout", .revision = 1 },
.{ .id = "obligation-cli-usage-no-fixture-mutation", .revision = 1 },
.{ .id = "obligation-cli-term-status", .revision = 1 },
.{ .id = "obligation-cli-term-diagnostic", .revision = 1 },
.{ .id = "obligation-cli-term-no-stdout", .revision = 1 },
.{ .id = "obligation-cli-term-no-fixture-mutation", .revision = 1 },
},
},
.{
.id = "implementation-cli-arguments",
.revision = 1,
.sources = .{
.{
.path = "src/cli.zig",
.sha256 = "f07f4c25b1878ec87cf8e6a164a24d6cd1d3d7db56559a53758fba95410b19fa",
},
},
.realizes = .{
.{ .id = "obligation-cli-usage-status", .revision = 1 },
.{ .id = "obligation-cli-usage-echo-bound", .revision = 1 },
.{ .id = "obligation-cli-usage-echo-sanitized", .revision = 1 },
},
},
.{
.id = "implementation-config",
.revision = 1,
.sources = .{
.{
.path = "src/config.zig",
.sha256 = "18337cd93ae8e66bc1684f30fe94e240d2c395cb58a4c99041e65bad98d62cd3",
},
},
.realizes = .{
.{ .id = "obligation-requirement-tj-config-01", .revision = 1 },
.{ .id = "obligation-requirement-tj-config-02", .revision = 1 },
.{ .id = "obligation-requirement-tj-config-03", .revision = 1 },
.{ .id = "obligation-requirement-tj-config-04", .revision = 1 },
.{ .id = "obligation-requirement-tj-config-05", .revision = 1 },
.{ .id = "obligation-requirement-tj-config-06", .revision = 1 },
.{ .id = "obligation-requirement-tj-config-07", .revision = 1 },
},
},
.{
.id = "implementation-runlog",
.revision = 1,
.sources = .{
.{
.path = "src/runlog.zig",
.sha256 = "6bbb9ec8418d0122d3d6840cbfa0fe7f1160602bcb809b90f7751f6ef0eb0b25",
},
},
.realizes = .{
.{ .id = "obligation-requirement-tj-log-01", .revision = 1 },
.{ .id = "obligation-requirement-tj-log-02", .revision = 1 },
.{ .id = "obligation-requirement-tj-log-03", .revision = 1 },
.{ .id = "obligation-requirement-tj-log-04", .revision = 1 },
.{ .id = "obligation-requirement-tj-log-05", .revision = 1 },
.{ .id = "obligation-requirement-tj-log-06", .revision = 1 },
},
},
.{
.id = "implementation-scan",
.revision = 2,
.sources = .{
.{
.path = "src/scan.zig",
.sha256 = "29079d7fd2dc10c877badce98f17092ccbcc19f066bb754d8101488dbc368b38",
},
},
.realizes = .{
.{ .id = "obligation-requirement-tj-scan-01", .revision = 1 },
.{ .id = "obligation-requirement-tj-scan-02", .revision = 1 },
.{ .id = "obligation-requirement-tj-scan-03", .revision = 1 },
.{ .id = "obligation-requirement-tj-scan-04", .revision = 1 },
.{ .id = "obligation-requirement-tj-scan-05", .revision = 1 },
.{ .id = "obligation-requirement-tj-scan-06", .revision = 1 },
.{ .id = "obligation-requirement-tj-scan-07", .revision = 1 },
.{ .id = "obligation-requirement-tj-scan-08", .revision = 1 },
.{ .id = "obligation-requirement-tj-scan-09", .revision = 1 },
.{ .id = "obligation-requirement-tj-scan-10", .revision = 1 },
.{ .id = "obligation-requirement-tj-scan-11", .revision = 1 },
.{ .id = "obligation-requirement-tj-link-01", .revision = 1 },
.{ .id = "obligation-requirement-tj-link-02", .revision = 1 },
.{ .id = "obligation-requirement-tj-link-03", .revision = 1 },
.{ .id = "obligation-requirement-tj-link-04", .revision = 1 },
.{ .id = "obligation-requirement-tj-size-01", .revision = 1 },
.{ .id = "obligation-requirement-tj-size-02", .revision = 1 },
.{ .id = "obligation-requirement-tj-size-03", .revision = 1 },
.{ .id = "obligation-requirement-tj-size-04", .revision = 1 },
.{ .id = "obligation-requirement-tj-size-05", .revision = 1 },
.{ .id = "obligation-requirement-tj-size-06", .revision = 1 },
.{ .id = "obligation-requirement-tj-size-07", .revision = 1 },
.{ .id = "obligation-requirement-tj-size-08", .revision = 1 },
},
},
.{
.id = "implementation-classify",
.revision = 1,
.sources = .{
.{
.path = "src/classify.zig",
.sha256 = "2feb72a39ae2f4fe2c4e1dc46240508f6c6d4f55a3ae910b2de786f1976bf69f",
},
},
.realizes = .{
.{ .id = "obligation-requirement-tj-class-01", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-02", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-05", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-06", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-07", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-08", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-09", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-10", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-11", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-12", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-13", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-15", .revision = 1 },
.{ .id = "obligation-requirement-tj-class-16", .revision = 1 },
},
},
.{
.id = "implementation-plan",
.revision = 5,
.sources = .{
.{
.path = "src/plan.zig",
.sha256 = "b99c016e4f45199e1a94aed2a874fbe93b3b8e6135da1c6a479e3d6858298218",
},
},
.realizes = .{
.{ .id = "obligation-requirement-tj-plan-01", .revision = 1 },
.{ .id = "obligation-requirement-tj-plan-02", .revision = 1 },
.{ .id = "obligation-requirement-tj-plan-03", .revision = 1 },
.{ .id = "obligation-requirement-tj-plan-04", .revision = 1 },
.{ .id = "obligation-requirement-tj-plan-05", .revision = 1 },
.{ .id = "obligation-requirement-tj-plan-06", .revision = 1 },
.{ .id = "obligation-requirement-tj-plan-07", .revision = 1 },
.{ .id = "obligation-requirement-tj-plan-08", .revision = 1 },
.{ .id = "obligation-requirement-tj-plan-09", .revision = 1 },
.{ .id = "obligation-requirement-tj-plan-11", .revision = 1 },
.{ .id = "obligation-requirement-tj-exec-01", .revision = 1 },
.{ .id = "obligation-requirement-tj-exec-02", .revision = 1 },
.{ .id = "obligation-requirement-tj-exec-03", .revision = 1 },
.{ .id = "obligation-requirement-tj-exec-04", .revision = 1 },
.{ .id = "obligation-requirement-tj-exec-05", .revision = 1 },
.{ .id = "obligation-confirm-accepted", .revision = 1 },
.{ .id = "obligation-confirm-plan-identity", .revision = 1 },
.{ .id = "obligation-confirm-no-early-mutation", .revision = 1 },
.{ .id = "obligation-confirm-no-plan-widening", .revision = 1 },
},
},
.{
.id = "implementation-tui",
.revision = 11,
.sources = .{
.{
.path = "src/tui.zig",
.sha256 = "71e5c0768d1422e7fc31fbdb940cf378c90bdf88624efac1bc712b11cdd603a6",
},
},
.realizes = .{
.{ .id = "obligation-requirement-tj-ui-01", .revision = 1 },
.{ .id = "obligation-requirement-tj-ui-02", .revision = 1 },
.{ .id = "obligation-requirement-tj-ui-03", .revision = 1 },
.{ .id = "obligation-requirement-tj-ui-04", .revision = 1 },
.{ .id = "obligation-requirement-tj-ui-05", .revision = 1 },
.{ .id = "obligation-requirement-tj-ui-06", .revision = 1 },
.{ .id = "obligation-requirement-tj-ui-07", .revision = 1 },
.{ .id = "obligation-requirement-tj-ui-08", .revision = 1 },
.{ .id = "obligation-requirement-tj-ui-09", .revision = 1 },
.{ .id = "obligation-requirement-tj-ui-10", .revision = 1 },
.{ .id = "obligation-requirement-tj-ui-11", .revision = 1 },
.{ .id = "obligation-requirement-tj-ui-12", .revision = 1 },
.{ .id = "obligation-requirement-tj-term-02", .revision = 1 },
.{ .id = "obligation-requirement-tj-term-03", .revision = 1 },
.{ .id = "obligation-requirement-tj-term-05", .revision = 1 },
.{ .id = "obligation-requirement-tj-term-06", .revision = 1 },
.{ .id = "obligation-requirement-tj-term-07", .revision = 1 },
.{ .id = "obligation-requirement-tj-term-08", .revision = 1 },
.{ .id = "obligation-requirement-tj-term-09", .revision = 1 },
.{ .id = "obligation-requirement-tj-term-10", .revision = 1 },
},
},
.{
.id = "implementation-adapter-pkg",
.revision = 5,
.sources = .{
.{
.path = "src/adapter_pkg.zig",
.sha256 = "2494772f3d4fa2f420ae859773dd6065b8f2ec0cc1755837aab041e2a4e9f0d1",
},
},
.realizes = .{
.{ .id = "obligation-requirement-tj-adapt-01", .revision = 1 },
.{ .id = "obligation-requirement-tj-adapt-02", .revision = 1 },
.{ .id = "obligation-requirement-tj-adapt-03", .revision = 1 },
.{ .id = "obligation-requirement-tj-adapt-04", .revision = 1 },
.{ .id = "obligation-requirement-tj-adapt-05", .revision = 1 },
.{ .id = "obligation-requirement-tj-adapt-06", .revision = 1 },
.{ .id = "obligation-requirement-tj-adapt-07", .revision = 1 },
.{ .id = "obligation-adapt-effect-change-membership", .revision = 1 },
.{ .id = "obligation-adapt-effect-change-hooks", .revision = 1 },
.{ .id = "obligation-adapt-effect-change-cache-scope", .revision = 1 },
.{ .id = "obligation-adapt-effect-change-no-admission", .revision = 1 },
.{ .id = "obligation-requirement-tj-adapt-08", .revision = 1 },
.{ .id = "obligation-requirement-tj-adapt-10", .revision = 1 },
.{ .id = "obligation-requirement-tj-adapt-11", .revision = 1 },
.{ .id = "obligation-requirement-tj-adapt-12", .revision = 1 },
.{ .id = "obligation-requirement-tj-adapt-13", .revision = 1 },
},
},
.{
.id = "implementation-android-allowlist",
.revision = 1,
.sources = .{
.{
.path = "src/android_allowlist.zig",
.sha256 = "d908813eb135c5eb4cd99a88100d46cda1d7f0d6762c2a2b149577197fd18b1c",
},
},
.realizes = .{
.{ .id = "obligation-android-allowlist-identities", .revision = 1 },
.{ .id = "obligation-android-allowlist-roles", .revision = 1 },
.{ .id = "obligation-android-allowlist-no-base-addon", .revision = 1 },
},
},
}