.{
    .{
        .id = "implementation-cli-entry",
        .revision = 9,
        .sources = .{
            .{
                .path = "src/main.zig",
                .sha256 = "1bbee84d1be27ce97a1bc1b42d745d9285fc1c103f4d6e72ab1dc7528d63ac4a",
            },
        },
        .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 = "4d644a33f1e111fbcd3c4e4945039f9afa25dda898c6b535912166dcd982c232",
            },
        },
        .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 = 4,
        .sources = .{
            .{
                .path = "src/plan.zig",
                .sha256 = "1f0b1c0e2d8e893c96793922fef969967e4413987a2613b4016fd501dc48a440",
            },
        },
        .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 = 6,
        .sources = .{
            .{
                .path = "src/tui.zig",
                .sha256 = "f01708ae14202541e6a54aa1b5ea9bb1d822a8216d93b96e702d5f3c0c6d7be8",
            },
        },
        .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 },
        },
    },
}