Scriptor
A running cell that explains its contracts from Java source. Requirements, annotations, tests and generated documents form one reviewable flow.
Public documentation · No login required31declared requirements
13with implementation and test links
31passing test cases
18visible trace gaps
The complete generation flow
- Write the component contract in
package-info.java. - Reference stable IDs using
@Requirementon methods and tests. - Compile the references and run behavioral verification.
- Generate HTML, Markdown, JSON and PDF with a pinned doclet and annotation processor.
- This cell serves those build artifacts through its own HTTP boundary.
Inspect this build
- Read the component contracts
- Follow requirements into annotated source and tests
- Download the generated contracts PDF
- Structured requirement traces
- Behavioral verification summary
- Generator revision and source hashes
- Live cell health
- SOLA composition standard, Draft 0.3
What the evidence establishes
The identity and public documentation components demonstrate the annotation flow. Other components retain visible gaps. Test results record observed behavior with synthetic data; annotation links alone do not prove correctness. This build has no formal composition proof.
Build e6d405156e69f9f5 · Runtime composition: zero v5 plus the public documentation brick.