Ownership and guarantees

This page defines ownership boundaries, modification rights, and the guarantees associated with FalconSmith libraries.

These boundaries are intentional. They exist to provide clarity, protect long-term maintainability, and ensure a clean separation between the generated system and the engine that produces it.

Ownership of delivered libraries

Clients fully own the libraries generated using FalconSmith.

• All project-specific Python source code
• All native source code written for the project
• All compiled native artifacts
• All documentation and test suites

Clients may use, modify, redistribute, and maintain this code independently, with no technical dependency on FalconSmith for runtime operation.

FalconSmith engine: ownership and transparency

FalconSmith is a proprietary engineering engine owned by its author.

The engine is delivered alongside the generated library for execution, inspection, and verification.

All FalconSmith engine components are provided as plain-text source files. There are no compiled binaries, encrypted payloads, or black-box components.

Engine operations — including environment creation, native compilation, verification, documentation generation, and diagnostics — are implemented using readable, inspectable scripts.

Libraries are generated using an internal factory system that is not delivered, licensed, or embedded in client repositories.

Clients receive the generated library together with a transparent, embedded engine execution layer. Ownership of the FalconSmith engine itself is not transferred.

The delivered library is fully functional as a standalone system. FalconSmith is not required for runtime execution.

Use and modification of the engine

Clients may use the embedded FalconSmith engine as delivered, subject to contractual terms.

Inspection of engine code is inherent to delivery.

Modifications to the engine do not transfer ownership and shift responsibility for correctness, maintenance, and verification to the modifying party.

Scope of guarantees

FalconSmith guarantees apply only to libraries that are built, maintained, and verified using the unmodified engine and its enforced structural invariants.

• Structural integrity of the generated project
• Correct native integration
• Accurate, reproducible documentation
• Deterministic verification behavior

Guarantees are explicit: if the engine or enforced structure is modified, guarantees no longer apply automatically.

Collaboration and engine evolution

Clients interested in extending or improving FalconSmith are encouraged to collaborate.

Improvements may be incorporated into the engine by agreement, with ownership of FalconSmith retained by its author.

This model enables shared progress without fragmenting the engine or weakening its guarantees.

Verification context

Verification reflects the state of the system at the time it is executed.

Successful verification asserts compliance with FalconSmith invariants at that specific point in time.

Summary

FalconSmith delivers complete, client-owned libraries generated by a proprietary, fully transparent engineering engine designed for long-term maintainability.

Clients own their libraries. The FalconSmith engine remains owned by its author.

This model balances transparency, enforceable guarantees, and long-term architectural integrity.