siy · siy · Feb 1, 2026 · Jan 27, 2026 · Jan 27, 2026 · Jan 27, 2026
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,4 +18,16 @@ jobs:
           distribution: 'temurin'
           cache: maven
 
-      - run: mvn verify -B -Djbct.skip -pl '!slice-processor-tests'
+      # Install modules individually to break cyclic dependency
+      - name: Install parent POM
+        run: mvn install -B -N -Djbct.skip=true
+
+      - name: Install jbct-core
+        run: mvn install -B -DskipTests -pl jbct-core -Djbct.skip=true
+
+      - name: Install jbct-maven-plugin
+        run: mvn install -B -DskipTests -pl jbct-maven-plugin -Djbct.skip=true
+
+      # Note: slice-processor modules excluded - they depend on unpublished Aether libraries
+      - name: Build and test core modules
+        run: mvn verify -B -pl jbct-core,jbct-cli -Djbct.skip=true
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -19,8 +19,18 @@ jobs:
           distribution: 'temurin'
           cache: maven
 
+      # Install modules individually to break cyclic dependency
+      - name: Install parent POM
+        run: mvn install -B -N -Djbct.skip=true
+
+      - name: Install jbct-core
+        run: mvn install -B -DskipTests -pl jbct-core -Djbct.skip=true
+
+      - name: Install jbct-maven-plugin
+        run: mvn install -B -DskipTests -pl jbct-maven-plugin -Djbct.skip=true
+
       - name: Build
-        run: mvn package -DskipTests -Djbct.skip -B
+        run: mvn package -B -DskipTests -pl jbct-cli -Djbct.skip=true
 
       - name: Create or update release
         env:

diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,9 +1,57 @@
 # Changelog
 
+## [0.6.0] - 2026-01-29
+
+### Added
+- Init: groupId validation for `jbct init -g` parameter (validates Java package name format)
+
+### Changed
+- Slice init: added tinylog dependencies (2.7.0) in test scope
+- Slice init: added tinylog.properties configuration file in test resources
+- Build: Bump Aether to 0.8.1
+- CI: Re-enabled slice-processor-tests module
+- Slice init: Java version 21 to 25
+- Slice init: updated default versions (Pragmatica Lite 0.11.1, Aether 0.8.1, JBCT 0.6.0)
+- Slice init: implementation pattern changed to record-based (nested record in interface)
+- Slice init: removed Config dependency from template (factory now parameterless)
+- Slice init: added annotation processor configuration to maven-compiler-plugin
+- Slice init: added compilerArgs with `-Aslice.groupId` and `-Aslice.artifactId`
+- Slice init: removed separate *Impl.java, SampleRequest.java, SampleResponse.java files
+- Slice init: Request/Response/Error records now nested in @Slice interface
+- Slice init: removed "Sample" prefix from Request/Response records
+- Slice init: inner implementation record uses lowercased slice name, not "Impl"
+- Init: version resolution uses running binary version as minimum (overrides GitHub API if newer)
+- Init: version comparison uses Result-based `Number.parseInt()` from pragmatica-lite
+
+### Fixed
+- RFC-0004 compliance: removed non-standard slice-api.properties generation
+- RFC-0004 compliance: slice manifests now include `slice.interface` property
+- RFC-0004 compliance: renamed `impl.artifactId` to `slice.artifactId` in manifests
+- RFC-0007 compliance: infrastructure dependencies now accessed via InfraStore instead of being proxied
+- CollectSliceDepsMojo: now scans META-INF/slice/*.manifest instead of slice-api.properties
+- VerifySliceMojo: validates manifest files instead of slice-api.properties
+- PackageSlicesMojo: reads slice metadata from .manifest files
+- SliceProjectValidator: checks for .manifest files instead of slice-api.properties
+- SliceManifest: reads `slice.artifactId` property (was incorrectly reading `impl.artifactId`)
+- PackageSlicesMojo: fixed JAR naming bug (empty artifact prefix in JAR names)
+- PackageSlicesMojo: fixed JAR overwriting bug (multiple slices now create separate JARs)
+- FactoryClassGenerator: infrastructure deps (CacheService, etc.) now use InfraStore.instance().get()
+- FactoryClassGenerator: only slice dependencies are proxied via SliceInvokerFacade
+- FactoryClassGenerator: reduced flatMap chain depth (e.g., 13 to 3 for UrlShortener with mixed deps)
+- PackageSlicesMojo: bytecode transformation replaces UNRESOLVED versions with actual versions (strips semver prefix ^/~)
+- Slice init: `ValidationError` now extends `Cause` (required for `Result.failure`)
+- Slice init: added missing `Cause` import to template
+- Slice init: `Promise.success()` instead of `Promise.successful()`
+- Slice init: implemented `message()` method in `ValidationError.EmptyValue`
+- Slice init: test template now uses monadic composition instead of `.unwrap()`
+- FactoryClassGenerator: infra flatMaps now use proper nesting for variable scoping
+- GenerateBlueprintMojo: UNRESOLVED dependency edges now properly resolved in graph traversal
+- CollectSliceDepsMojo: improved base.artifact validation (rejects spaces, slashes)
+
 ## [0.5.0] - 2026-01-20
 
 ### Added
-- Security: `SecurityError` sealed interface with `PathTraversal`, `InvalidUrl`, `UntrustedDomain` error types
+- Security: `SecurityError` sealed interface with `PathTraversalDetected`, `UrlRejected`, `DomainRejected` error types
 - Slice verify: dependency scope validation for Aether runtime libraries
   - `jbct:verify-slice` now fails if `org.pragmatica-lite` or `org.pragmatica-lite.aether` dependencies are not `provided` scope
   - Prevents accidental bundling of runtime libraries in slice JARs
@@ -110,8 +158,6 @@
 
 ## [0.4.7] - 2026-01-10
 
-### Added
-
 ### Changed
 - Build: bump Pragmatica Lite to 0.9.10
 - Docs: update README with missing CLI options (--config, --version, --artifact-id, etc.)
@@ -128,8 +174,6 @@
 
 ## [0.4.6] - 2026-01-05
 
-### Added
-
 ### Changed
 - Build: bump Pragmatica Lite to 0.9.7
 - Slice processor: refactored models to use `Result<T>` instead of exceptions (JBCT compliance)
@@ -148,23 +192,15 @@
 
 ## [0.4.5] - 2026-01-02
 
-### Added
-
 ### Changed
 - Build: bump Pragmatica Lite to 0.9.4
 
-### Fixed
-
 ## [0.4.4] - 2026-01-01
 
-### Added
-
 ### Changed
 - AI tools: update to JBCT v2.0.10 with Pragmatica Lite Core 0.9.3
 - Build: bump Pragmatica Lite to 0.9.3
 
-### Fixed
-
 ## [0.4.3] - 2025-12-31
 
 ### Added
@@ -188,10 +224,6 @@
 
 ## [0.4.2] - 2025-12-30
 
-### Added
-
-### Changed
-
 ### Fixed
 - Parser: `record` as contextual keyword - works as method name, type name, field type, variable type
 

diff --git a/CLAUDE.md b/CLAUDE.md
@@ -17,6 +17,36 @@ Relevant RFCs:
 
 To invoke: Use the `/jbct` skill or spawn the `jbct-coder` agent via the Task tool.
 
+## Versioning Policy
+
+Until release 1.0, backward compatibility is not guaranteed. Breaking changes are acceptable for JBCT compliance improvements.
+
+## JBCT Pattern Exceptions
+
+The following deviations from strict JBCT patterns are accepted in this codebase:
+
+### Resource Loading Null Checks
+
+Classpath resource loading uses direct null checks instead of Option pattern due to try-with-resources complexity:
+
+```java
+try (var in = Class.class.getResourceAsStream(path)) {
+    if (in == null) {
+        return Causes.cause("Resource not found").result();
+    }
+    // use stream
+}
+```
+
+**Affected files:**
+- `JarInstaller.java:226` - Copying wrapper scripts
+- `ProjectInitializer.java:189` - Loading templates
+- `SliceProjectInitializer.java:226` - Loading templates
+- `GitHubVersionResolver.java:55` - Loading version properties
+- `Version.java:18` - Loading version properties
+
+**Rationale:** Wrapping InputStream in Option requires splitting into two methods to handle try-with-resources correctly. The added complexity outweighs the benefit for adapter-layer code.
+
 ## Project Overview
 CLI tool and Maven plugin for JBCT (Java Backend Coding Technology) code formatting and linting.
 
@@ -37,6 +67,7 @@ jbct-cli/
 jbct format <path>      # Format Java files
 jbct lint <path>        # Analyze for JBCT compliance
 jbct check <path>       # Format check + lint (for CI)
+jbct score <path>       # Calculate JBCT compliance score (0-100)
 jbct upgrade            # Update CLI from GitHub Releases
 jbct init [dir]         # Create new JBCT project + install AI tools
 jbct init --slice [dir] # Create new Aether slice project
@@ -68,11 +99,121 @@ JBCT-RET-01 = "error"
 JBCT-VO-01 = "warning"
 ```
 
+## JBCT Compliance Scoring
+
+The `jbct score` command calculates a 0-100 compliance score based on lint violations across 6 weighted categories.
+
+### Usage
+
+```bash
+# CLI
+jbct score <path>                    # Terminal output with progress bars
+jbct score --format json <path>      # JSON output
+jbct score --format badge <path>     # SVG badge
+jbct score --baseline 75 <path>      # Fail if score < 75
+
+# Maven
+mvn jbct:score
+mvn jbct:score -Djbct.score.baseline=75
+```
+
+### Scoring Formula
+
+**Category score:**
+```
+weighted_violations = Σ(count[severity] × multiplier[severity])
+  ERROR:   × 2.5
+  WARNING: × 1.0
+  INFO:    × 0.3
+
+category_score = 100 × (1 - weighted_violations / checkpoints)
+```
+
+**Overall score:**
+```
+overall_score = Σ(category_score[i] × weight[i])
+```
+
+### Scoring Categories
+
+| Category           | Weight | Rules Included |
+|--------------------|--------|----------------|
+| Return Types       | 25%    | JBCT-RET-01, JBCT-RET-02, JBCT-RET-03, JBCT-NEST-02, JBCT-RES-01 |
+| Null Safety        | 20%    | JBCT-NULL-01, JBCT-NULL-02 |
+| Exception Hygiene  | 20%    | JBCT-EXC-01, JBCT-EXC-02, JBCT-NAME-02 |
+| Pattern Purity     | 15%    | JBCT-PAT-01, JBCT-NEST-01, JBCT-CHAIN-01, JBCT-IMPORT-01, JBCT-FQN-01, JBCT-DOMAIN-01, JBCT-LOOP-01, JBCT-LOG-01, JBCT-LOG-02 |
+| Factory Methods    | 10%    | JBCT-VO-01, JBCT-VO-02, JBCT-VO-03, JBCT-VO-04, JBCT-ERR-01, JBCT-NAME-01, JBCT-PARSE-01 |
+| Lambda Compliance  | 10%    | JBCT-LAM-01, JBCT-LAM-02, JBCT-LAM-03, JBCT-LAM-04, JBCT-STATIC-01 |
+
+### Output Formats
+
+**Terminal** (default):
+```
+╔═══════════════════════════════════════════════════╗
+║     JBCT COMPLIANCE SCORE: 85/100            ║
+╠═══════════════════════════════════════════════════╣
+║  RETURN TYPES       █████████████████░░░  85%    ║
+║  NULL SAFETY        ████████████████░░░░  80%    ║
+║  EXCEPTION HYGIENE  ██████████████████░░  90%    ║
+║  PATTERN PURITY     ███████████████░░░░░  75%    ║
+║  FACTORY METHODS    ████████████████████ 100%    ║
+║  LAMBDA COMPLIANCE  ██████████████████░░  90%    ║
+╚═══════════════════════════════════════════════════╝
+```
+
+**JSON**:
+```json
+{
+  "score": 85,
+  "breakdown": {
+    "return_types": 85,
+    "null_safety": 80,
+    "exception_hygiene": 90,
+    "pattern_purity": 75,
+    "factory_methods": 100,
+    "lambda_compliance": 90
+  },
+  "filesAnalyzed": 42
+}
+```
+
+**Badge** (SVG):
+- Color: green (≥75), yellow (≥60), orange (≥50), red (<50)
+- Format: `JBCT | 85/100`
+
+### CI Integration
+
+Use `--baseline` to enforce minimum score in CI:
+
+```bash
+jbct score --baseline 75 src/main/java || exit 1
+```
+
+Or with Maven:
+
+```xml
+<plugin>
+    <groupId>org.pragmatica-lite</groupId>
+    <artifactId>jbct-maven-plugin</artifactId>
+    <version>0.6.0</version>
+    <executions>
+        <execution>
+            <goals>
+                <goal>score</goal>
+            </goals>
+            <configuration>
+                <baseline>75</baseline>
+            </configuration>
+        </execution>
+    </executions>
+</plugin>
+```
+
 ## Key Dependencies
 
-- **pragmatica-lite:core** (0.9.10) - Result, Option, Promise types
-- **pragmatica-lite:http-client** (0.9.10) - HTTP operations for upgrade/update
-- **pragmatica-lite:toml** (0.9.10) - TOML configuration parsing
+- **pragmatica-lite:core** (0.11.2) - Result, Option, Promise types
+- **pragmatica-lite:http-client** (0.11.2) - HTTP operations for upgrade/update
+- **pragmatica-lite:toml** (0.11.2) - TOML configuration parsing
 - **java-peglib** - PEG parser generator for CST-based parsing
 - **picocli** - CLI framework
 
@@ -181,27 +322,37 @@ http.sendString(request)
 
 ## Build Commands
 
+**Important**: This project uses its own jbct-maven-plugin (dogfooding), creating a dependency cycle. All reactor builds require `-Djbct.skip=true` to avoid the cycle error.
+
 ```bash
 # Compile
-mvn compile
+mvn compile -Djbct.skip=true
 
 # Run tests
-mvn test
+mvn test -Djbct.skip=true
 
 # Build distribution (creates tar.gz/zip)
-mvn package -DskipTests
+mvn package -DskipTests -Djbct.skip=true
 
-# Full verify (includes jbct:check)
-mvn verify
+# Full verify
+mvn verify -Djbct.skip=true
 
-# Format all source files
-mvn jbct:format
+# Format all source files (run on single module)
+mvn jbct:format -pl jbct-core
 
-# Check formatting and lint
-mvn jbct:check
+# Check formatting and lint (run on single module)
+mvn jbct:check -pl jbct-core
 ```
 
-**Note**: This project uses its own jbct-maven-plugin (dogfooding). The `jbct:check` goal runs automatically during `mvn verify`.
+### Installing to Local Repository
+
+Due to the dependency cycle, install modules individually:
+
+```bash
+mvn install -DskipTests -pl jbct-core -Djbct.skip=true
+mvn install -DskipTests -pl jbct-maven-plugin -Djbct.skip=true
+mvn install -DskipTests -pl jbct-cli,slice-processor,slice-processor-tests -Djbct.skip=true
+```
 
 ## Distribution
 
@@ -340,7 +491,18 @@ Note: Proxy records for dependencies are generated as local records inside the f
 
 ### HTTP Routing Generation
 
-When `routes.toml` exists in the slice package resources, generates HTTP route handling:
+When `routes.toml` exists in the slice package resources, generates HTTP route handling.
+
+**Dependency requirement**: New projects created with `jbct init --slice` include `http-routing-adapter` automatically. For existing projects adding routing, add:
+```xml
+<dependency>
+    <groupId>org.pragmatica-lite.aether</groupId>
+    <artifactId>http-routing-adapter</artifactId>
+    <version>${aether.version}</version>
+    <scope>provided</scope>
+</dependency>
+```
+Compilation fails if `routes.toml` exists without this dependency.
 
 **Config location:** `src/main/resources/{slicePackage}/routes.toml`