Autonomy verification limits
STATUS: ACTIVE
Demonstrates why universal, unbounded autonomy verification fails in the general case, and how to build bounded assurance that still produces usable guarantees.
- Emphasis
- Scope control, reductions, and repeatable verification from a clean environment.
- Link
- Repository
READOUT: VERIFY VIA README REPRO STEPS - CLEAN ENV - EXPECTED OUTPUTS
Security evidence pack
STATUS: ACTIVE
Evidence-driven security posture: risk framing, hardening actions, and verification notes organized for audit and reproduction.
- Emphasis
- Traceability, verification steps, and clear boundaries on claims.
- Link
- Repository
READOUT: EVIDENCE PACK FORMAT - COMMANDS RUN - LOGS - TRACEABLE ARTIFACTS
Deterministic course planner
STATUS: ACTIVE
Defensive ingestion and predictable behavior under constraint: validates prerequisites and outputs a sorted catalog deterministically.
- Emphasis
- Explicit data-structure choice, input validation, and repeatable build-run steps.
- Link
- Repository
READOUT: DETERMINISTIC OUTPUT - INPUT VALIDATION - BUILD RUN STEPS IN README
Test discipline (CS-320)
STATUS: ACTIVE
Deterministic services, JUnit suites, and JaCoCo enforcement to keep claims testable and changes auditable.
- Emphasis
- Regression discipline, coverage gates, and reproducible test runs in CI.
- Link
- Repository
READOUT: JUNIT - JACOCO - CI GATES - REGRESSION DISCIPLINE
UI-UX evidence locker (CS-319)
STATUS: ACTIVE
UI-UX evidence locker: traceability, risk register, and design tokens backed by a clear verification path.
- Emphasis
- Requirements-to-screen traceability, documentation discipline, and boundary statements on claims.
- Link
- Repository
READOUT: TRACEABILITY - RISK REGISTER - DESIGN TOKENS - REVIEWER FAST PATH
What this page is
STATUS: INFO
- This site
- Stakeholder briefing: how I operate, what I value, and where to find public evidence.
- GitHub
- The public record: runnable artifacts, documentation, and verification paths.
- Limits
- Unclassified only. Details that create risk are omitted by design.