Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion docs/CONTRACTS.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,8 @@

## Contracts and Model Requirements

This document describes required model shape and contract expectations.

- Model contract: A `model` object should describe dependencies and structure.
- Sections guidance: Top-level `sections` are recommended to structure DSL content.
Canonical governance file: docs/governance/CONTRACTS.md
Canonical governance file: docs/governance/CONTRACTS.md
2 changes: 1 addition & 1 deletion docs/OPERATIONAL_READINESS.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ This document defines readiness gates and expectations for operational execution

- Tests Attached: Tests must be present and linked to checklist items to consider a spec "ready".
- Spec Fuzz Stability: Small syntactic variations should not change the generated checklist materially.
Canonical governance file: docs/governance/OPERATIONAL_READINESS.md
Canonical governance file: docs/governance/OPERATIONAL_READINESS.md
46 changes: 41 additions & 5 deletions docs/decision_log.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,43 @@
Canonical governance file: docs/governance/decision_log.md
Decision Log

## 2025-12-15: SE v1 Contract Freeze
This file records major governance decisions and rationale for the ShieldCraft
project. It exists to satisfy governance artifact checks used by the engine's
test suite and CI. No production semantics are contained here; it is intentionally
minimal for CI verification.
# RFC Decision Log

- Freeze: conversion_state ladder (`ACCEPTED`, `CONVERTIBLE`, `STRUCTURED`, `VALID`, `READY`) declared frozen for SE v1.
- Rationale: provide stable author and tooling contracts for release.
- Action: Documented in `docs/SE_V1_CLOSED.md`. Any changes require schema bump and explicit decision.
Authoritative decisions made on 2025-12-13 (Phase 13 kickoff). All decisions recorded are spec-only; implementation requires separate PRs referencing RFC approvals.

## rfc-generator-version-contract.md
- Decision: APPROVE
- Rationale: A strict generator lockfile and `metadata.generator_version` requirement enforce reproducibility and CI safety. Explicit `generator_version` reduces surprises in preflight and ensures traceability.
- Effective scope: Spec-only; requires linter/migration guidance and CLI flags for a migration window.
- Blocking dependencies: `generators/lockfile.json` management and CI upgrade; adoption plan must include a migration tool.

## rfc-allowed-checklist-types.md
- Decision: APPROVE (with migration guard)
- Rationale: A canonical `type` enum prevents ad-hoc types and supports deterministic codegen and classification.
- Effective scope: Spec-only (schema change); migration scripts and `--lenient-types` flag should be implemented in a follow-up PR.
- Blocking dependencies: Adoption plan for migration, PRs to update schema and linter rules.

## rfc-pointer-map-semantics.md
- Decision: APPROVE
- Rationale: Canonical id-based pointers for arrays improve readability and determinism; providing `raw_ptr` ensures backward compatibility for consumers of numeric indices.
- Effective scope: Spec-only; requires pointer_map migration and test fixture updates.
- Blocking dependencies: Migration scripts to map numeric pointers to canonical pointers, and update pointer_map consumers.

## rfc-checklist-pointer-normalization.md
- Decision: APPROVE
- Rationale: Checklist extraction should include scalar leaf nodes and `requires_code` to enable correct codegen routing and ensure no items are inadvertently omitted.
- Effective scope: Spec-only; affects checklist schema and generator preflight validation.
- Blocking dependencies: Pointer map semantics RFC and allowed types RFC (to determine classification rules).

## rfc-bootstrap-artifacts.md
- Decision: APPROVE
- Rationale: Clear bootstrap artifact emission semantics reduce ambiguity and ensure self-host runs produce predictable bootstrap outputs and `summary.json` for CI/instrumentation.
- Effective scope: Spec-only; impacts self-host run contract and generator preflight.
- Blocking dependencies: Allowed checklist types RFC (defines bootstrap types), pointer normalization RFC (ensures pointer mapping for bootstrap tasks).

## Audit: Check for unambiguous decision status
- All RFCs above are provided with explicit decisions and rationale. There are no implicit approvals.
- Deferred RFCs: None.
1 change: 0 additions & 1 deletion pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@ packages = [{include = "shieldcraft", from = "src"}]
[tool.poetry.dependencies]
python = "^3.9"
jsonschema = "^4.21.1"
jinja2 = "^3.1"

[tool.poetry.dev-dependencies]
pytest = "^7.0.0"
Expand Down
Loading